...added 100000 constraints in 1 seconds.
...added 200000 constraints in 2 seconds.
...added 300000 constraints in 2 seconds.
...added 400000 constraints in 3 seconds.
...added 500000 constraints in 3 seconds.
...added 600000 constraints in 3 seconds.
...done in 4 seconds.


Writing problem data to `adage.lp'...
1935069 lines were written
GLPK Simplex Optimizer, v4.47
657079 rows, 1539 columns, 11413351 non-zeros
*     0: obj =   0.000000000e+00  infeas =  0.000e+00 (0)
*   500: obj =   0.000000000e+00  infeas =  0.000e+00 (0)
*  1000: obj =   0.000000000e+00  infeas =  0.000e+00 (0)
*  1500: obj =   3.571428571e-01  infeas =  6.631e-08 (0)
*  2000: obj =   4.000000000e-01  infeas =  4.369e-10 (0)
*  2500: obj =   4.062500000e-01  infeas =  3.639e-08 (0)
*  3000: obj =   4.067796610e-01  infeas =  9.566e-09 (0)
*  3500: obj =   4.090909091e-01  infeas =  2.927e-10 (0)
*  4000: obj =   4.090909091e-01  infeas =  8.852e-11 (0)
*  4500: obj =   4.090909091e-01  infeas =  1.225e-10 (0)
*  5000: obj =   4.090909091e-01  infeas =  9.293e-11 (0)
*  5500: obj =   4.090909091e-01  infeas =  1.132e-10 (0)
*  6000: obj =   4.090909091e-01  infeas =  6.610e-11 (0)
*  6500: obj =   4.090909091e-01  infeas =  5.501e-11 (0)
*  7000: obj =   4.090909091e-01  infeas =  1.142e-10 (0)
*  7500: obj =   4.090909091e-01  infeas =  4.406e-11 (0)
*  8000: obj =   4.110576923e-01  infeas =  5.038e-09 (0)
*  8500: obj =   4.117647059e-01  infeas =  5.789e-11 (0)
*  9000: obj =   4.117647059e-01  infeas =  4.921e-11 (0)
*  9500: obj =   4.120171674e-01  infeas =  4.732e-11 (0)
* 10000: obj =   4.120171674e-01  infeas =  5.316e-11 (0)
* 10500: obj =   4.122042341e-01  infeas =  6.088e-11 (0)
* 11000: obj =   4.122245913e-01  infeas =  3.004e-10 (0)
* 11500: obj =   4.122641509e-01  infeas =  1.703e-10 (0)
* 12000: obj =   4.122641509e-01  infeas =  2.578e-10 (0)
* 12500: obj =   4.125000000e-01  infeas =  2.133e-10 (0)
* 13000: obj =   4.125000000e-01  infeas =  2.912e-10 (0)
* 13500: obj =   4.125000000e-01  infeas =  1.193e-10 (0)
* 14000: obj =   4.125000000e-01  infeas =  1.396e-10 (0)
* 14500: obj =   4.125000000e-01  infeas =  1.041e-10 (0)
* 15000: obj =   4.125000000e-01  infeas =  6.088e-11 (0)
* 15361: obj =   4.125000000e-01  infeas =  4.879e-11 (0)
OPTIMAL SOLUTION FOUND
MAXIMUM Lower Bound: w = 0.4125000000

Values on the Variables:
x[0] =    7 /   48
x[1] =    0 /    1
x[2] =  -23 /   48
x[3] =    2 /   15
x[4] =    0 /    1
x[5] =    0 /    1
x[6] =    7 /   48
x[7] =    1 /  480
x[8] = -113 /  480
x[9] =    7 /   48
x[10] =  -89 /  480
x[11] =    0 /    1
x[12] =    0 /    1
x[13] = -173 /  480
x[14] =   71 /  480
x[15] =    7 /   48
x[16] = -173 /  480
x[17] =   -7 /   48
x[18] =    2 /   15
x[19] =  -23 /   48
x[20] =    0 /    1
x[21] =   -1 /  480
x[22] = -103 /  240
x[23] =    0 /    1
x[24] =    7 /   48
x[25] = -103 /  240
x[26] =  -59 /  240
x[27] =    0 /    1
x[28] =   -1 /  480
x[29] =    0 /    1
x[30] =   -7 /  240
x[31] =    1 /  480
x[32] =    1 /   96
x[33] =  -47 /  240
x[34] =    0 /    1
x[35] =    1 /   96
x[36] =  -13 /  480
x[37] =    0 /    1
x[38] =  -49 /  240
x[39] =  -23 /  240
x[40] =    0 /    1
x[41] =  -31 /   96
x[42] =    0 /    1
x[43] =  -47 /  240
x[44] = -131 /  480
x[45] =    0 /    1
x[46] =   -1 /   80
x[47] =    0 /    1
x[48] =   -1 /   80
x[49] =  -59 /  240
x[50] =    0 /    1
x[51] =    0 /    1
x[52] =  -53 /  120
x[53] =  -47 /  240
x[54] =    0 /    1
x[55] =  -13 /   60
x[56] =   -1 /   10
x[57] =  -11 /   96
x[58] =    0 /    1
x[59] =    0 /    1
x[60] =    0 /    1
x[61] =  -63 /  160
x[62] =    0 /    1
x[63] =    0 /    1
x[64] =  -17 /   96
x[65] =  -59 /  240
x[66] =    0 /    1
x[67] =   -7 /   48
x[68] =    0 /    1
x[69] =    0 /    1
x[70] =   17 /  240
x[71] =  -17 /   80
x[72] =    0 /    1
x[73] =  -63 /  160
x[74] =   23 /  160
x[75] =  -11 /   96
x[76] =  -17 /   96
x[77] =    0 /    1
x[78] =    0 /    1
x[79] =    0 /    1
x[80] =  -71 /  240
x[81] =   -5 /   48
x[82] =    0 /    1
x[83] =  -47 /  240
x[84] =  -33 /  160
x[85] =    0 /    1
x[86] = -103 /  480
x[87] =    1 /   96
x[88] =    0 /    1
x[89] = -221 /  480
x[90] =  -33 /  160
x[91] =    0 /    1
x[92] = -131 /  480
x[93] =    1 /   96
x[94] =    0 /    1
x[95] = -233 /  480
x[96] =  -33 /  160
x[97] =  -47 /  480
x[98] =  -29 /  120
x[99] =   -5 /   48
x[100] =  -47 /  480
x[101] =  -37 /   96
x[102] = -191 /  480
x[103] =    0 /    1
x[104] =   17 /  160
x[105] = -119 /  480
x[106] =    0 /    1
x[107] =    0 /    1
x[108] =  -13 /   32
x[109] =    0 /    1
x[110] =    0 /    1
x[111] = -119 /  480
x[112] =  -17 /   96
x[113] =  -21 /  160
x[114] = -191 /  480
x[115] =  119 /  480
x[116] =    0 /    1
x[117] =   -2 /   15
x[118] =   17 /  240
x[119] =  -17 /   80
x[120] =  -13 /   32
x[121] =    0 /    1
x[122] =   23 /  160
x[123] = -119 /  480
x[124] =  -17 /   96
x[125] =    0 /    1
x[126] = -191 /  480
x[127] =   83 /  240
x[128] =  -43 /  480
x[129] =  -17 /   96
x[130] =   47 /  480
x[131] =  -47 /  240
x[132] =  -13 /   32
x[133] =   83 /  240
x[134] = -103 /  480
x[135] =  -17 /   96
x[136] =   47 /  480
x[137] =  -83 /  240
x[138] = -191 /  480
x[139] =   83 /  240
x[140] = -131 /  480
x[141] =   -1 /   16
x[142] =   47 /  480
x[143] = -233 /  480
x[144] =  -13 /   32
x[145] =  119 /  480
x[146] =  -29 /  120
x[147] =  -17 /   96
x[148] =    0 /    1
x[149] =  -37 /   96
x[150] =   71 /  480
x[151] =   -1 /   80
x[152] =   -1 /   10
x[153] =  -11 /   96
x[154] =   -1 /   80
x[155] =    0 /    1
x[156] =   -7 /  120
x[157] =   -1 /   80
x[158] =  -17 /   96
x[159] =    0 /    1
x[160] =   -1 /   80
x[161] = -203 /  480
x[162] =   -7 /  120
x[163] =    0 /    1
x[164] =   -1 /   10
x[165] =    0 /    1
x[166] =    0 /    1
x[167] =   -5 /   16
x[168] =   -7 /  120
x[169] =   -1 /   10
x[170] =   -5 /   48
x[171] =  -11 /   96
x[172] =   -1 /   10
x[173] = -119 /  480
x[174] =   71 /  480
x[175] =  -71 /  480
x[176] =   -1 /   10
x[177] =  -11 /   96
x[178] =  -71 /  480
x[179] =    0 /    1
x[180] =   -7 /  120
x[181] =    0 /    1
x[182] =   -1 /    6
x[183] =    0 /    1
x[184] =    0 /    1
x[185] =  -33 /   80
x[186] =   -7 /  120
x[187] =    0 /    1
x[188] =   -7 /   40
x[189] =    0 /    1
x[190] =    0 /    1
x[191] =  -31 /   80
x[192] =   -7 /  120
x[193] =  -29 /  120
x[194] =    0 /    1
x[195] =  -11 /   96
x[196] =  -29 /  120
x[197] =  -23 /  160
x[198] =    0 /    1
x[199] =  -11 /   40
x[200] =   17 /  160
x[201] =    0 /    1
x[202] = -121 /  480
x[203] =    0 /    1
x[204] =   -1 /  120
x[205] =  -11 /   40
x[206] =  -17 /   96
x[207] =    0 /    1
x[208] = -121 /  480
x[209] =  -37 /  120
x[210] =    0 /    1
x[211] =  -21 /   80
x[212] =   -1 /   10
x[213] =   11 /   96
x[214] =  -23 /   96
x[215] =   -5 /   16
x[216] =   -1 /  120
x[217] =  -29 /   80
x[218] =   -5 /   48
x[219] =    0 /    1
x[220] = -163 /  480
x[221] = -119 /  480
x[222] =   -7 /   15
x[223] =    3 /   32
x[224] =   17 /  160
x[225] =    0 /    1
x[226] =   -7 /   20
x[227] =    0 /    1
x[228] =  -19 /   40
x[229] =   29 /  120
x[230] =   -1 /    6
x[231] =    0 /    1
x[232] =  -97 /  480
x[233] = -143 /  480
x[234] =   -7 /   15
x[235] =   29 /  120
x[236] =   -7 /   40
x[237] =   11 /   96
x[238] =  -97 /  480
x[239] =  -31 /   80
x[240] =  -19 /   40
x[241] =    0 /    1
x[242] =    0 /    1
x[243] =    0 /    1
x[244] =  -71 /  160
x[245] =  -23 /  160
x[246] =  -21 /   80
x[247] =   11 /   60
x[248] =    0 /    1
x[249] =    0 /    1
x[250] =    1 /   24
x[251] =   -3 /   40
x[252] =   -7 /   20
x[253] =   11 /   60
x[254] =   -1 /  240
x[255] =    0 /    1
x[256] =    1 /   24
x[257] =   -4 /   15
x[258] =   -3 /   16
x[259] =    0 /    1
x[260] =    0 /    1
x[261] =   -3 /   10
x[262] =  -17 /  120
x[263] =   37 /  120
x[264] =   -7 /   20
x[265] =    0 /    1
x[266] =   17 /  240
x[267] =    0 /    1
x[268] =  -17 /  120
x[269] =   -1 /    6
x[270] =   -5 /   16
x[271] =   -3 /   40
x[272] =    3 /   40
x[273] =    3 /   10
x[274] =  -17 /   30
x[275] =    0 /    1
x[276] =   -2 /    5
x[277] =    0 /    1
x[278] =   -1 /   80
x[279] =    3 /   10
x[280] =  -59 /  120
x[281] =  -11 /   40
x[282] =  -19 /   80
x[283] =    0 /    1
x[284] =  -17 /   60
x[285] =    0 /    1
x[286] =  -59 /  120
x[287] =    1 /   40
x[288] =   -2 /    5
x[289] =    1 /   40
x[290] =  -17 /   80
x[291] =    1 /  160
x[292] =  -77 /  480
x[293] =   -3 /   40
x[294] =  -13 /   96
x[295] =  -31 /  120
x[296] =   13 /  160
x[297] =  -79 /  480
x[298] =  -77 /  480
x[299] =   -1 /  240
x[300] =    1 /   48
x[301] =  -31 /  120
x[302] =   -4 /   15
x[303] =    1 /  160
x[304] =  -11 /   32
x[305] =    0 /    1
x[306] =  -67 /  240
x[307] =  -53 /  120
x[308] =   37 /  120
x[309] =  -79 /  480
x[310] =  -11 /   32
x[311] =   17 /  240
x[312] =    1 /   48
x[313] =  -53 /  120
x[314] =   -1 /    6
x[315] = -113 /  480
x[316] =  -11 /  160
x[317] =    0 /    1
x[318] =   -7 /   30
x[319] = -149 /  480
x[320] =    5 /   32
x[321] =  -13 /   32
x[322] =    1 /  160
x[323] =   -1 /   80
x[324] =  -37 /  480
x[325] = -113 /  480
x[326] =  -11 /   40
x[327] = -113 /  480
x[328] =    1 /  160
x[329] =  -17 /   60
x[330] = -181 /  480
x[331] = -113 /  480
x[332] =    1 /   40
x[333] =  -13 /   32
x[334] =    1 /   32
x[335] =  -17 /   80
x[336] =  -57 /  160
x[337] =   71 /  480
x[338] =    0 /    1
x[339] =  -63 /  160
x[340] =   71 /  480
x[341] =   -3 /   40
x[342] =  -71 /  160
x[343] =   19 /   60
x[344] =  -83 /  480
x[345] =  -63 /  160
x[346] =   19 /   60
x[347] = -209 /  480
x[348] =   -9 /   32
x[349] =    9 /   32
x[350] =  -37 /  120
x[351] = -111 /  160
x[352] =    9 /   32
x[353] =    0 /    1
x[354] =  -71 /  160
x[355] =    0 /    1
x[356] =    7 /  160
x[357] =  -63 /  160
x[358] =    0 /    1
x[359] =  -31 /  160
x[360] =    7 /   80
x[361] =   -7 /   20
x[362] =    0 /    1
x[363] =   -3 /   10
x[364] =    0 /    1
x[365] =   -3 /   40
x[366] =    0 /    1
x[367] =  -29 /   80
x[368] =    0 /    1
x[369] =   -3 /   10
x[370] =   -1 /   80
x[371] =  -21 /   80
x[372] =   13 /   80
x[373] =  -13 /   40
x[374] =  -77 /  240
x[375] =   -3 /    5
x[376] =    1 /   40
x[377] =   -1 /   80
x[378] =    0 /    1
x[379] =  -27 /   80
x[380] =  -17 /   80
x[381] =   -7 /   40
x[382] =  -89 /  240
x[383] =   -7 /   40
x[384] =    0 /    1
x[385] =  -23 /   80
x[386] =   -7 /   40
x[387] =   -5 /   48
x[388] =  -35 /   96
x[389] =    0 /    1
x[390] =   -3 /   16
x[391] =  -23 /   80
x[392] =    0 /    1
x[393] =   -3 /   10
x[394] =  -35 /   96
x[395] =  -53 /  480
x[396] =   -9 /   80
x[397] =  -23 /   80
x[398] =   -5 /   48
x[399] =  -47 /  240
x[400] =  -11 /   40
x[401] =   -9 /   80
x[402] =   -1 /    5
x[403] =  -11 /   48
x[404] =   -9 /   80
x[405] =  -59 /  240
x[406] =  -47 /  240
x[407] =  -29 /  160
x[408] =    3 /   20
x[409] =   13 /   40
x[410] =    3 /   20
x[411] =    0 /    1
x[412] =   51 /  160
x[413] =    0 /    1
x[414] =   27 /  160
x[415] =   63 /  160
x[416] =    0 /    1
x[417] =    1 /   32
x[418] =   37 /   80
x[419] =    0 /    1
x[420] =    0 /    1
x[421] =    3 /   20
x[422] =   27 /  160
x[423] =   39 /  160
x[424] =   13 /   40
x[425] =   27 /  160
x[426] =    0 /    1
x[427] =   13 /   40
x[428] =    3 /  160
x[429] =   27 /  160
x[430] =   27 /  160
x[431] =   27 /  160
x[432] =   11 /   80
x[433] =   63 /  160
x[434] =    3 /  160
x[435] =    0 /    1
x[436] =   37 /   80
x[437] =  -19 /  160
x[438] =   11 /  160
x[439] =    0 /    1
x[440] =    1 /   10
x[441] =   67 /  160
x[442] =   13 /   40
x[443] =   -1 /   20
x[444] =    7 /   40
x[445] =   39 /  160
x[446] =    0 /    1
x[447] =   49 /  160
x[448] =   11 /   80
x[449] =   27 /   80
x[450] =    3 /   40
x[451] =   67 /  160
x[452] =   27 /  160
x[453] =    0 /    1
x[454] =   11 /   80
x[455] =    1 /    4
x[456] =   11 /   80
x[457] =   11 /  160
x[458] =    3 /   40
x[459] =    0 /    1
x[460] =    3 /    8
x[461] =    1 /    4
x[462] =   11 /  160
x[463] =    7 /   40
x[464] =   11 /   80
x[465] =    0 /    1
x[466] =   71 /  160
x[467] =    0 /    1
x[468] =   49 /  160
x[469] =    0 /    1
x[470] =    7 /   40
x[471] =    7 /   40
x[472] =   -3 /    8
x[473] =   41 /  160
x[474] =  113 /  160
x[475] =    0 /    1
x[476] =   89 /  240
x[477] =   43 /  240
x[478] =   53 /  160
x[479] =   41 /  160
x[480] =    0 /    1
x[481] =   53 /  160
x[482] =    7 /   16
x[483] =  -27 /  160
x[484] =    0 /    1
x[485] =   53 /   96
x[486] =    1 /   96
x[487] =  149 /  480
x[488] =    7 /   16
x[489] =  -53 /  480
x[490] =   -3 /    8
x[491] =    1 /   20
x[492] =    9 /   10
x[493] =    0 /    1
x[494] =   79 /  480
x[495] =  179 /  480
x[496] =   53 /  160
x[497] =    9 /   80
x[498] =   13 /  160
x[499] =   53 /  160
x[500] =   83 /  480
x[501] =  -13 /  240
x[502] =    0 /    1
x[503] =   23 /   80
x[504] =    1 /    8
x[505] =  149 /  480
x[506] =   27 /  160
x[507] =    0 /    1
x[508] =   13 /   32
x[509] =   31 /  160
x[510] =    0 /    1
x[511] =   49 /   80
x[512] =    0 /    1
x[513] =    0 /    1
x[514] =    0 /    1
x[515] =   31 /  160
x[516] =   61 /  160
x[517] =   13 /   32
x[518] =    3 /    8
x[519] =  -27 /  160
x[520] =   71 /  160
x[521] =   29 /  160
x[522] =    0 /    1
x[523] =    1 /    4
x[524] =    3 /    8
x[525] =    0 /    1
x[526] =   13 /   32
x[527] =   -1 /   16
x[528] =   31 /  160
x[529] =   23 /   48
x[530] =  -59 /  480
x[531] =   31 /  160
x[532] =    0 /    1
x[533] =    0 /    1
x[534] =   37 /   80
x[535] =   13 /   32
x[536] =   29 /  480
x[537] =  -13 /  240
x[538] =  149 /  480
x[539] =    0 /    1
x[540] =   11 /   96
x[541] =    1 /    4
x[542] =    9 /  160
x[543] =   61 /  480
x[544] =    0 /    1
x[545] =  -23 /  160
x[546] =  113 /  160
x[547] =   37 /  120
x[548] =    0 /    1
x[549] =   43 /  240
x[550] =  113 /  160
x[551] =  -23 /  160
x[552] =    0 /    1
x[553] =  113 /  160
x[554] =    0 /    1
x[555] =  -27 /  160
x[556] =   37 /  120
x[557] =   23 /  160
x[558] =    1 /   96
x[559] =  329 /  480
x[560] =    0 /    1
x[561] =  -53 /  480
x[562] = -113 /  160
x[563] =    3 /    5
x[564] =  113 /  160
x[565] =   37 /  120
x[566] =    3 /   80
x[567] =   43 /  240
x[568] =    0 /    1
x[569] =   77 /  160
x[570] =   11 /  160
x[571] =    0 /    1
x[572] =   39 /   80
x[573] =    0 /    1
x[574] =   37 /  120
x[575] =   -3 /   40
x[576] =   43 /  240
x[577] =   -1 /   48
x[578] =   61 /  120
x[579] =    1 /  120
x[580] =   47 /  160
x[581] =   23 /  160
x[582] =    0 /    1
x[583] =    3 /   10
x[584] =    3 /   20
x[585] =    0 /    1
x[586] =   -9 /   80
x[587] =   23 /  160
x[588] =   61 /  160
x[589] =   47 /  160
x[590] =   23 /   80
x[591] =  -27 /  160
x[592] =   21 /  160
x[593] =   47 /  160
x[594] =    0 /    1
x[595] =   11 /   80
x[596] =   23 /   80
x[597] =    0 /    1
x[598] =    3 /   10
x[599] =    3 /   16
x[600] =    0 /    1
x[601] =    3 /   10
x[602] =   31 /  160
x[603] =    0 /    1
x[604] =  -17 /  160
x[605] =   11 /  160
x[606] =    9 /   20
x[607] =    3 /   10
x[608] =    9 /   80
x[609] =    0 /    1
x[610] =   21 /  160
x[611] =    9 /   80
x[612] =   27 /  160
x[613] =   23 /  160
x[614] =    9 /   80
x[615] =    5 /   32
x[616] =  109 /  480
x[617] =   -3 /   40
x[618] =   25 /   96
x[619] =    0 /    1
x[620] =    0 /    1
x[621] =   33 /   80
x[622] =    0 /    1
x[623] =   37 /  480
x[624] =   37 /   96
x[625] =   33 /   80
x[626] =   -3 /   80
x[627] =    3 /   40
x[628] =    0 /    1
x[629] =    3 /   80
x[630] =    3 /    8
x[631] =   17 /   40
x[632] =    0 /    1
x[633] =    0 /    1
x[634] =   73 /  480
x[635] =    0 /    1
x[636] =  143 /  480
x[637] =    0 /    1
x[638] =    0 /    1
x[639] =   33 /   80
x[640] =   -3 /   40
x[641] =  143 /  480
x[642] =  121 /  480
x[643] =   97 /  480
x[644] =   -3 /   80
x[645] =   25 /   96
x[646] =   41 /   80
x[647] =   -1 /   20
x[648] =    0 /    1
x[649] =    9 /   20
x[650] =   11 /   96
x[651] =  -11 /   96
x[652] =   97 /  480
x[653] =    0 /    1
x[654] =   25 /   96
x[655] =    1 /   10
x[656] =   -1 /   80
x[657] =    3 /    8
x[658] =    3 /    8
x[659] =    3 /   80
x[660] =    0 /    1
x[661] =   97 /  480
x[662] =   -7 /   80
x[663] =  143 /  480
x[664] =   41 /   80
x[665] =   -1 /   10
x[666] =    0 /    1
x[667] =    9 /   20
x[668] =  101 /  480
x[669] = -119 /  480
x[670] =  109 /  480
x[671] =    0 /    1
x[672] =   89 /  480
x[673] =    3 /   80
x[674] =    0 /    1
x[675] =    3 /    8
x[676] =    0 /    1
x[677] =    3 /   32
x[678] =   13 /   32
x[679] =   33 /   80
x[680] =    0 /    1
x[681] =    0 /    1
x[682] =    3 /   80
x[683] =    3 /   40
x[684] =    3 /   10
x[685] =   17 /   40
x[686] =    0 /    1
x[687] =    3 /   80
x[688] =  109 /  480
x[689] =   25 /   96
x[690] =    0 /    1
x[691] =    3 /   80
x[692] =   25 /   96
x[693] =   11 /   96
x[694] =    0 /    1
x[695] =   -3 /   80
x[696] =   11 /   20
x[697] =  119 /  480
x[698] =  -13 /   60
x[699] =   -7 /   40
x[700] =    0 /    1
x[701] =   -1 /  480
x[702] =    0 /    1
x[703] =   17 /  240
x[704] =    0 /    1
x[705] =    0 /    1
x[706] =  -17 /   96
x[707] =  -17 /   96
x[708] =    0 /    1
x[709] =   47 /  480
x[710] =    0 /    1
x[711] =    0 /    1
x[712] =    0 /    1
x[713] =  -23 /  120
x[714] =   47 /  240
x[715] =    0 /    1
x[716] =  -17 /   96
x[717] =  -17 /  120
x[718] =   47 /  240
x[719] =  -47 /  480
x[720] =  119 /  480
x[721] =   -1 /   96
x[722] =    0 /    1
x[723] =    0 /    1
x[724] =   -1 /   80
x[725] =    0 /    1
x[726] =    0 /    1
x[727] =    0 /    1
x[728] =   -1 /   96
x[729] =  -17 /   96
x[730] = -119 /  480
x[731] =    0 /    1
x[732] =    0 /    1
x[733] =    0 /    1
x[734] =  163 /  480
x[735] =    0 /    1
x[736] =    1 /   20
x[737] =    0 /    1
x[738] =   29 /  120
x[739] =   -1 /  480
x[740] =  -59 /  120
x[741] =   23 /  480
x[742] =   47 /  480
x[743] =  -17 /   96
x[744] =  -53 /  120
x[745] =   23 /  480
x[746] =    0 /    1
x[747] =  167 /  480
x[748] =  -33 /  160
x[749] =    0 /    1
x[750] =  119 /  480
x[751] =    1 /   96
x[752] =    0 /    1
x[753] =   41 /  240
x[754] =    0 /    1
x[755] =    1 /   96
x[756] =    0 /    1
x[757] =   17 /  240
x[758] =    0 /    1
x[759] =   -1 /   20
x[760] =    0 /    1
x[761] =    0 /    1
x[762] =    0 /    1
x[763] =   47 /  240
x[764] =    0 /    1
x[765] =  -29 /  120
x[766] =    0 /    1
x[767] =  -23 /  120
x[768] =    0 /    1
x[769] =  -47 /  480
x[770] =    0 /    1
x[771] =   13 /  240
x[772] =   71 /  480
x[773] = -163 /  480
x[774] =    0 /    1
x[775] =    0 /    1
x[776] =    0 /    1
x[777] =  167 /  480
x[778] =    0 /    1
x[779] =    0 /    1
x[780] =    0 /    1
x[781] =  119 /  480
x[782] =    0 /    1
x[783] =    0 /    1
x[784] =    0 /    1
x[785] =    1 /   10
x[786] =    0 /    1
x[787] =    0 /    1
x[788] =    0 /    1
x[789] =    0 /    1
x[790] =    0 /    1
x[791] =    0 /    1
x[792] =    0 /    1
x[793] =   29 /  120
x[794] =    0 /    1
x[795] =   59 /  240
x[796] =    0 /    1
x[797] =    0 /    1
x[798] =    0 /    1
x[799] =  -59 /  120
x[800] =    0 /    1
x[801] =    0 /    1
x[802] =    0 /    1
x[803] =  -59 /  240
x[804] =    0 /    1
x[805] =  -29 /  120
x[806] =    0 /    1
x[807] =   -7 /   15
x[808] =    0 /    1
x[809] =    0 /    1
x[810] =  -11 /  480
x[811] =    0 /    1
x[812] =    0 /    1
x[813] =  -71 /  160
x[814] =    0 /    1
x[815] =    0 /    1
x[816] =    0 /    1
x[817] =    0 /    1
x[818] =    0 /    1
x[819] =    0 /    1
x[820] =    0 /    1
x[821] =    0 /    1
x[822] =    0 /    1
x[823] =    0 /    1
x[824] =    0 /    1
x[825] =    7 /   15
x[826] =    0 /    1
x[827] =    0 /    1
x[828] =    0 /    1
x[829] =    0 /    1
x[830] =    0 /    1
x[831] =    0 /    1
x[832] =    0 /    1
x[833] =    0 /    1
x[834] =    0 /    1
x[835] =    0 /    1
x[836] =    0 /    1
x[837] =   71 /  160
x[838] =    0 /    1
x[839] =    0 /    1
x[840] =    0 /    1
x[841] =  -71 /  160
x[842] =    0 /    1
x[843] =    0 /    1
x[844] =    0 /    1
x[845] =    0 /    1
x[846] =    0 /    1
x[847] =    0 /    1
x[848] =    0 /    1
x[849] =    0 /    1
x[850] =    0 /    1
x[851] =    0 /    1
x[852] =    0 /    1
x[853] =  179 /  480
x[854] =    0 /    1
x[855] =    0 /    1
x[856] =   -3 /   32
x[857] =    0 /    1
x[858] =    0 /    1
x[859] =    0 /    1
x[860] =    0 /    1
x[861] =    0 /    1
x[862] =    0 /    1
x[863] =    0 /    1
x[864] =    0 /    1
x[865] =    0 /    1
x[866] =    0 /    1
x[867] =    0 /    1
x[868] =    0 /    1
x[869] =  -71 /  160
x[870] =    0 /    1
x[871] =    0 /    1
x[872] =    0 /    1
x[873] =   -7 /   20
x[874] =    0 /    1
x[875] =    0 /    1
x[876] =    0 /    1
x[877] =    0 /    1
x[878] =    0 /    1
x[879] =    0 /    1
x[880] =    0 /    1
x[881] =    0 /    1
x[882] =    0 /    1
x[883] =    0 /    1
x[884] =   71 /  160
x[885] =    0 /    1
x[886] =    0 /    1
x[887] =    0 /    1
x[888] =    0 /    1
x[889] =    0 /    1
x[890] =    0 /    1
x[891] =    0 /    1
x[892] =    0 /    1
x[893] =    0 /    1
x[894] =    0 /    1
x[895] =    0 /    1
x[896] =    0 /    1
x[897] =    0 /    1
x[898] =    0 /    1
x[899] =    0 /    1
x[900] =    0 /    1
x[901] =   -7 /   20
x[902] =    0 /    1
x[903] =    0 /    1
x[904] =    0 /    1
x[905] =    0 /    1
x[906] =    0 /    1
x[907] =    0 /    1
x[908] =    0 /    1
x[909] =    0 /    1
x[910] =    0 /    1
x[911] =    0 /    1
x[912] =    0 /    1
x[913] =    0 /    1
x[914] =   33 /  160
x[915] =  -39 /  160
x[916] =    0 /    1
x[917] =    0 /    1
x[918] =    9 /  160
x[919] =   -3 /   40
x[920] =    0 /    1
x[921] =    0 /    1
x[922] =    0 /    1
x[923] =  -27 /  160
x[924] =    0 /    1
x[925] =    0 /    1
x[926] =   -3 /   20
x[927] =    0 /    1
x[928] =    0 /    1
x[929] =    0 /    1
x[930] =    0 /    1
x[931] =  -11 /  160
x[932] =    0 /    1
x[933] =    1 /  240
x[934] =    0 /    1
x[935] =    0 /    1
x[936] =    1 /   16
x[937] =    0 /    1
x[938] =    0 /    1
x[939] =  -11 /  160
x[940] =   -3 /   40
x[941] =    1 /  240
x[942] =    0 /    1
x[943] =    0 /    1
x[944] =   -1 /   80
x[945] =    0 /    1
x[946] =    0 /    1
x[947] =  -27 /  160
x[948] =    0 /    1
x[949] =    0 /    1
x[950] =   -3 /   20
x[951] =    0 /    1
x[952] =    0 /    1
x[953] =    0 /    1
x[954] =    0 /    1
x[955] =  -27 /  160
x[956] =    0 /    1
x[957] =    0 /    1
x[958] =   -3 /   20
x[959] =    0 /    1
x[960] =    0 /    1
x[961] =    0 /    1
x[962] =    0 /    1
x[963] =  -11 /  160
x[964] =   -3 /   40
x[965] =    1 /   30
x[966] =    0 /    1
x[967] =    0 /    1
x[968] =   -1 /   80
x[969] =    7 /  240
x[970] =  -27 /  160
x[971] =   -3 /   40
x[972] =   -1 /   16
x[973] =    0 /    1
x[974] =  -27 /  160
x[975] =    0 /    1
x[976] =    0 /    1
x[977] =    0 /    1
x[978] =   33 /  160
x[979] =  -61 /  160
x[980] =    0 /    1
x[981] =    0 /    1
x[982] =   33 /  160
x[983] =   -3 /   40
x[984] =    0 /    1
x[985] =    0 /    1
x[986] =    0 /    1
x[987] =  -49 /  160
x[988] =    0 /    1
x[989] =    0 /    1
x[990] =    0 /    1
x[991] =    0 /    1
x[992] =    0 /    1
x[993] =    0 /    1
x[994] =   27 /  160
x[995] =    0 /    1
x[996] =   31 /  160
x[997] =    0 /    1
x[998] =    0 /    1
x[999] =    0 /    1
x[1000] =    3 /   40
x[1001] =    0 /    1
x[1002] =   27 /  160
x[1003] =    0 /    1
x[1004] =   19 /  160
x[1005] =    0 /    1
x[1006] =    0 /    1
x[1007] =    0 /    1
x[1008] =    0 /    1
x[1009] =    0 /    1
x[1010] =    0 /    1
x[1011] =  -49 /  160
x[1012] =    0 /    1
x[1013] =    0 /    1
x[1014] =    0 /    1
x[1015] =    0 /    1
x[1016] =    0 /    1
x[1017] =    0 /    1
x[1018] =    0 /    1
x[1019] =  -49 /  160
x[1020] =    0 /    1
x[1021] =    0 /    1
x[1022] =    0 /    1
x[1023] =    0 /    1
x[1024] =    0 /    1
x[1025] =    0 /    1
x[1026] =   27 /  160
x[1027] =    0 /    1
x[1028] =   19 /  160
x[1029] =    0 /    1
x[1030] =    0 /    1
x[1031] =    0 /    1
x[1032] =    0 /    1
x[1033] =    0 /    1
x[1034] =    0 /    1
x[1035] =   -1 /  160
x[1036] =   21 /  160
x[1037] =  -13 /  240
x[1038] =  -27 /  160
x[1039] =   -1 /   40
x[1040] =    1 /   80
x[1041] =   -1 /   30
x[1042] =    0 /    1
x[1043] =    3 /   10
x[1044] =   91 /  480
x[1045] =    0 /    1
x[1046] =    0 /    1
x[1047] =  -13 /   32
x[1048] =   11 /   96
x[1049] =    0 /    1
x[1050] =   11 /   96
x[1051] =    0 /    1
x[1052] =    3 /   40
x[1053] =    0 /    1
x[1054] =   11 /   96
x[1055] = -113 /  160
x[1056] =    0 /    1
x[1057] =    0 /    1
x[1058] =   37 /  120
x[1059] =    1 /  160
x[1060] =    1 /   40
x[1061] =   37 /  120
x[1062] =    0 /    1
x[1063] =    0 /    1
x[1064] =    0 /    1
x[1065] =    0 /    1
x[1066] =   -1 /   80
x[1067] =    0 /    1
x[1068] =    1 /  160
x[1069] =   -1 /   80
x[1070] =    0 /    1
x[1071] =   23 /  160
x[1072] =    3 /   40
x[1073] =    0 /    1
x[1074] =    0 /    1
x[1075] =   -9 /   16
x[1076] =    0 /    1
x[1077] =    0 /    1
x[1078] =   11 /   96
x[1079] =    0 /    1
x[1080] =    3 /   40
x[1081] =    0 /    1
x[1082] =   11 /   96
x[1083] = -113 /  160
x[1084] =    0 /    1
x[1085] =    0 /    1
x[1086] =   37 /  120
x[1087] =    1 /  160
x[1088] =    0 /    1
x[1089] =   37 /  120
x[1090] =    0 /    1
x[1091] =    0 /    1
x[1092] =    9 /   32
x[1093] =    3 /  160
x[1094] =    0 /    1
x[1095] =    9 /   32
x[1096] =    1 /   40
x[1097] =    0 /    1
x[1098] =  -11 /   96
x[1099] =    5 /   32
x[1100] =   11 /   96
x[1101] =    0 /    1
x[1102] =  -11 /   96
x[1103] =    5 /   32
x[1104] =   11 /   96
x[1105] =    0 /    1
x[1106] =    0 /    1
x[1107] =  -23 /  160
x[1108] =    0 /    1
x[1109] =    0 /    1
x[1110] =    0 /    1
x[1111] =  -23 /  160
x[1112] =    0 /    1
x[1113] =    0 /    1
x[1114] =  241 /  480
x[1115] =    0 /    1
x[1116] =    3 /   80
x[1117] =   59 /  160
x[1118] =    0 /    1
x[1119] =    3 /   80
x[1120] =   31 /  160
x[1121] =    0 /    1
x[1122] =    0 /    1
x[1123] =   29 /  480
x[1124] =    0 /    1
x[1125] =    0 /    1
x[1126] =  -11 /   96
x[1127] =    0 /    1
x[1128] =    0 /    1
x[1129] =    0 /    1
x[1130] =  -11 /   96
x[1131] =    0 /    1
x[1132] =    0 /    1
x[1133] =    0 /    1
x[1134] =    0 /    1
x[1135] =  -23 /  160
x[1136] =    0 /    1
x[1137] =    0 /    1
x[1138] =    0 /    1
x[1139] =  -23 /  160
x[1140] =    0 /    1
x[1141] =    0 /    1
x[1142] =  241 /  480
x[1143] =    0 /    1
x[1144] =    1 /   80
x[1145] =   59 /  160
x[1146] =    0 /    1
x[1147] =    0 /    1
x[1148] =   19 /   40
x[1149] =    0 /    1
x[1150] =    0 /    1
x[1151] =   41 /  120
x[1152] =    3 /  160
x[1153] =    1 /   80
x[1154] =    0 /    1
x[1155] =    0 /    1
x[1156] =    0 /    1
x[1157] =    0 /    1
x[1158] =    0 /    1
x[1159] =    0 /    1
x[1160] =    0 /    1
x[1161] =    0 /    1
x[1162] =    0 /    1
x[1163] =    0 /    1
x[1164] =    0 /    1
x[1165] =    0 /    1
x[1166] =    0 /    1
x[1167] =    0 /    1
x[1168] =    0 /    1
x[1169] =    0 /    1
x[1170] =    0 /    1
x[1171] =    0 /    1
x[1172] =    0 /    1
x[1173] =    0 /    1
x[1174] =    0 /    1
x[1175] =    0 /    1
x[1176] =    0 /    1
x[1177] =    0 /    1
x[1178] =    0 /    1
x[1179] =    0 /    1
x[1180] =    0 /    1
x[1181] =    0 /    1
x[1182] =    0 /    1
x[1183] =    0 /    1
x[1184] =    0 /    1
x[1185] =    0 /    1
x[1186] =    0 /    1
x[1187] =    0 /    1
x[1188] =    0 /    1
x[1189] =    0 /    1
x[1190] =    0 /    1
x[1191] =    0 /    1
x[1192] =    0 /    1
x[1193] =    0 /    1
x[1194] =    0 /    1
x[1195] =    0 /    1
x[1196] =    0 /    1
x[1197] =    0 /    1
x[1198] =    0 /    1
x[1199] =    0 /    1
x[1200] =    0 /    1
x[1201] =    0 /    1
x[1202] =    0 /    1
x[1203] =    0 /    1
x[1204] =    0 /    1
x[1205] =    0 /    1
x[1206] =    0 /    1
x[1207] =    0 /    1
x[1208] =    0 /    1
x[1209] =    0 /    1
x[1210] =    0 /    1
x[1211] =    0 /    1
x[1212] =    0 /    1
x[1213] =    0 /    1
x[1214] =    0 /    1
x[1215] =    0 /    1
x[1216] =    0 /    1
x[1217] =    0 /    1
x[1218] =    0 /    1
x[1219] =    0 /    1
x[1220] =    0 /    1
x[1221] =    0 /    1
x[1222] =    0 /    1
x[1223] =    0 /    1
x[1224] =    0 /    1
x[1225] =    0 /    1
x[1226] =    0 /    1
x[1227] =    0 /    1
x[1228] =    0 /    1
x[1229] =    0 /    1
x[1230] =    0 /    1
x[1231] =    0 /    1
x[1232] =    0 /    1
x[1233] =    0 /    1
x[1234] =    0 /    1
x[1235] =    0 /    1
x[1236] =    0 /    1
x[1237] =    0 /    1
x[1238] =    0 /    1
x[1239] =    0 /    1
x[1240] =    0 /    1
x[1241] =    0 /    1
x[1242] =    0 /    1
x[1243] =    0 /    1
x[1244] =    0 /    1
x[1245] =    0 /    1
x[1246] =    0 /    1
x[1247] =    0 /    1
x[1248] =    0 /    1
x[1249] =    0 /    1
x[1250] =    0 /    1
x[1251] =    0 /    1
x[1252] =    0 /    1
x[1253] =    0 /    1
x[1254] =    0 /    1
x[1255] =    0 /    1
x[1256] =    0 /    1
x[1257] =    0 /    1
x[1258] =    0 /    1
x[1259] =    0 /    1
x[1260] =    0 /    1
x[1261] =    0 /    1
x[1262] =    0 /    1
x[1263] =    0 /    1
x[1264] =    0 /    1
x[1265] =    0 /    1
x[1266] =    0 /    1
x[1267] =    0 /    1
x[1268] =    0 /    1
x[1269] =    0 /    1
x[1270] =    0 /    1
x[1271] =    0 /    1
x[1272] =    0 /    1
x[1273] =    0 /    1
x[1274] =    0 /    1
x[1275] =    0 /    1
x[1276] =    0 /    1
x[1277] =    0 /    1
x[1278] =    0 /    1
x[1279] =    0 /    1
x[1280] =    0 /    1
x[1281] =    0 /    1
x[1282] =    0 /    1
x[1283] =    0 /    1
x[1284] =    0 /    1
x[1285] =    0 /    1
x[1286] =    0 /    1
x[1287] =    0 /    1
x[1288] =    0 /    1
x[1289] =    0 /    1
x[1290] =    0 /    1
x[1291] =    0 /    1
x[1292] =    0 /    1
x[1293] =    0 /    1
x[1294] =    0 /    1
x[1295] =    0 /    1
x[1296] =    0 /    1
x[1297] =    0 /    1
x[1298] =    0 /    1
x[1299] =    0 /    1
x[1300] =    0 /    1
x[1301] =    0 /    1
x[1302] =    0 /    1
x[1303] =    0 /    1
x[1304] =    0 /    1
x[1305] =    0 /    1
x[1306] =    0 /    1
x[1307] =    0 /    1
x[1308] =    0 /    1
x[1309] =    0 /    1
x[1310] =    0 /    1
x[1311] =    0 /    1
x[1312] =    0 /    1
x[1313] =    0 /    1
x[1314] =    0 /    1
x[1315] =    0 /    1
x[1316] =    0 /    1
x[1317] =    0 /    1
x[1318] =    0 /    1
x[1319] =    0 /    1
x[1320] =    0 /    1
x[1321] =    0 /    1
x[1322] =    0 /    1
x[1323] =    0 /    1
x[1324] =    0 /    1
x[1325] =    0 /    1
x[1326] =    0 /    1
x[1327] =    0 /    1
x[1328] =    0 /    1
x[1329] =    0 /    1
x[1330] =    0 /    1
x[1331] =    0 /    1
x[1332] =    0 /    1
x[1333] =    0 /    1
x[1334] =    0 /    1
x[1335] =    0 /    1
x[1336] =    0 /    1
x[1337] =    0 /    1
x[1338] =    0 /    1
x[1339] =    0 /    1
x[1340] =    0 /    1
x[1341] =    0 /    1
x[1342] =    0 /    1
x[1343] =    0 /    1
x[1344] =    0 /    1
x[1345] =    0 /    1
x[1346] =    0 /    1
x[1347] =    0 /    1
x[1348] =    0 /    1
x[1349] =    0 /    1
x[1350] =    0 /    1
x[1351] =    0 /    1
x[1352] =    0 /    1
x[1353] =    0 /    1
x[1354] =    0 /    1
x[1355] =    0 /    1
x[1356] =    0 /    1
x[1357] =    0 /    1
x[1358] =    0 /    1
x[1359] =    0 /    1
x[1360] =    0 /    1
x[1361] =    0 /    1
x[1362] =    0 /    1
x[1363] =    0 /    1
x[1364] =    0 /    1
x[1365] =    0 /    1
x[1366] =    0 /    1
x[1367] =    0 /    1
x[1368] =    0 /    1
x[1369] =    0 /    1
x[1370] =    0 /    1
x[1371] =    0 /    1
x[1372] =    0 /    1
x[1373] =    0 /    1
x[1374] =    0 /    1
x[1375] =    0 /    1
x[1376] =    0 /    1
x[1377] =    0 /    1
x[1378] =    0 /    1
x[1379] =    0 /    1
x[1380] =    0 /    1
x[1381] =    0 /    1
x[1382] =    0 /    1
x[1383] =    0 /    1
x[1384] =    0 /    1
x[1385] =    0 /    1
x[1386] =    0 /    1
x[1387] =    0 /    1
x[1388] =    0 /    1
x[1389] =    0 /    1
x[1390] =    0 /    1
x[1391] =    0 /    1
x[1392] =    0 /    1
x[1393] =    0 /    1
x[1394] =    0 /    1
x[1395] =    0 /    1
x[1396] =  -21 /  160
x[1397] =   -1 /    2
x[1398] = -113 /  160
x[1399] =  -43 /  240
x[1400] =    1 /   48
x[1401] =  -37 /   80
x[1402] =  113 /  160
x[1403] =   89 /  480
x[1404] =  -73 /  480
x[1405] =   -3 /   40
x[1406] =    0 /    1
x[1407] =    1 /  160
x[1408] =    0 /    1
x[1409] =    0 /    1
x[1410] =    0 /    1
x[1411] =    0 /    1
x[1412] =   41 /   80
x[1413] =  143 /  480
x[1414] =    3 /   32
x[1415] = -143 /  480
x[1416] =   19 /   40
x[1417] =    0 /    1
x[1418] =    0 /    1
x[1419] =    0 /    1
x[1420] =    0 /    1
x[1421] =    0 /    1
x[1422] =    0 /    1
x[1423] =  -43 /  240
x[1424] = -173 /  480
x[1425] =    3 /   80
x[1426] =  113 /  160
x[1427] =    0 /    1
x[1428] =   -3 /   10
x[1429] =   -3 /   40
x[1430] =    0 /    1
x[1431] =  -49 /  240
x[1432] =  -53 /  480
x[1433] =    0 /    1
x[1434] =    0 /    1
x[1435] =    0 /    1
x[1436] =    0 /    1
x[1437] =    0 /    1
x[1438] =    0 /    1
x[1439] =    0 /    1
x[1440] =   61 /  160
x[1441] =  143 /  480
x[1442] =    0 /    1
x[1443] =    0 /    1
x[1444] =    0 /    1
x[1445] =  -17 /   40
x[1446] =    0 /    1
x[1447] =   -1 /   96
x[1448] =    0 /    1
x[1449] =   -1 /    2
x[1450] =    0 /    1
x[1451] =   89 /  480
x[1452] =  -11 /   96
x[1453] =    0 /    1
x[1454] =    0 /    1
x[1455] =    7 /   40
x[1456] =   -1 /   48
x[1457] =   -3 /   80
x[1458] =    0 /    1
x[1459] =    0 /    1
x[1460] =    0 /    1
x[1461] =    0 /    1
x[1462] =    0 /    1
x[1463] =    0 /    1
x[1464] =    9 /   40
x[1465] = -143 /  480
x[1466] =    0 /    1
x[1467] =    0 /    1
x[1468] =    0 /    1
x[1469] =    3 /   40
x[1470] =    0 /    1
x[1471] =   -1 /   96
x[1472] =    0 /    1
x[1473] =    0 /    1
x[1474] =    0 /    1
x[1475] =    0 /    1
x[1476] =    0 /    1
x[1477] =    0 /    1
x[1478] =    0 /    1
x[1479] =   -1 /   96
x[1480] =  -21 /  160
x[1481] =   -3 /   80
x[1482] =    0 /    1
x[1483] =    0 /    1
x[1484] =    0 /    1
x[1485] =    0 /    1
x[1486] =    0 /    1
x[1487] =    0 /    1
x[1488] =    0 /    1
x[1489] =    0 /    1
x[1490] =    0 /    1
x[1491] =    0 /    1
x[1492] =    0 /    1
x[1493] =  -33 /   80
x[1494] =    0 /    1
x[1495] =    0 /    1
x[1496] =    0 /    1
x[1497] =  -33 /   80
x[1498] =    0 /    1
x[1499] =    0 /    1
x[1500] =    0 /    1
x[1501] =    0 /    1
x[1502] =    0 /    1
x[1503] =    0 /    1
x[1504] =    0 /    1
x[1505] =    0 /    1
x[1506] =    0 /    1
x[1507] =    0 /    1
x[1508] =    0 /    1
x[1509] =  -33 /   80
x[1510] =    0 /    1
x[1511] =    0 /    1
x[1512] =    0 /    1
x[1513] =    0 /    1
x[1514] =    0 /    1
x[1515] =    0 /    1
x[1516] =    0 /    1
x[1517] =    0 /    1
x[1518] =    0 /    1
x[1519] =    0 /    1
x[1520] =    0 /    1
x[1521] =    0 /    1
x[1522] =    0 /    1
x[1523] =    0 /    1
x[1524] =    0 /    1
x[1525] =    0 /    1
x[1526] =    0 /    1
x[1527] =    0 /    1
x[1528] =    0 /    1
x[1529] =    0 /    1
x[1530] =    0 /    1
x[1531] =    0 /    1
x[1532] =    0 /    1
x[1533] =    0 /    1
x[1534] =    0 /    1
x[1535] =    0 /    1
x[1536] =    0 /    1
x[1537] =    0 /    1
