main s[0] : 72.000000 0000000001001000 main s[1] : 270.000000 0000000100001110 main s[2] : 130.000000 0000000010000010 main s[3] : -108.000000 1111111110010100 main s[4] : -37.000000 1111111111011011 main s[5] : 221.000000 0000000011011101 main s[6] : 226.000000 0000000011100010 main s[7] : -31.000000 1111111111100001 main s[8] : -111.000000 1111111110010001 main s[9] : 123.000000 0000000001111011 main s[10] : 271.000000 0000000100001111 main s[11] : 79.000000 0000000001001111 main s[12] : -123.000000 1111111110000101 main s[13] : 8.000000 0000000000001000 main s[14] : 250.000000 0000000011111010 main s[15] : 188.000000 0000000010111100 main s[16] : -71.000000 1111111110111001 main s[17] : -85.000000 1111111110101011 main s[18] : 170.000000 0000000010101010 main s[19] : 259.000000 0000000100000011 main s[20] : 28.000000 0000000000011100 main s[21] : -126.000000 1111111110000010 main s[22] : 58.000000 0000000000111010 main s[23] : 268.000000 0000000100001100 main s[24] : 143.000000 0000000010001111 main s[25] : -101.000000 1111111110011011 main s[26] : -49.000000 1111111111001111 main s[27] : 211.000000 0000000011010011 main s[28] : 235.000000 0000000011101011 main s[29] : -19.000000 1111111111101101 main s[30] : -116.000000 1111111110001100 main s[31] : 109.000000 0000000001101101 main s[32] : 272.000000 0000000100010000 main s[33] : 94.000000 0000000001011110 main s[34] : -120.000000 1111111110001000 main s[35] : -4.000000 1111111111111100 main s[36] : 243.000000 0000000011110011 main s[37] : 200.000000 0000000011001000 main s[38] : -61.000000 1111111111000011 main s[39] : -93.000000 1111111110100011 main s[40] : 158.000000 0000000010011110 main s[41] : 264.000000 0000000100001000 main s[42] : 42.000000 0000000000101010 main s[43] : -127.000000 1111111110000001 main s[44] : 44.000000 0000000000101100 main s[45] : 264.000000 0000000100001000 main s[46] : 156.000000 0000000010011100 main s[47] : -94.000000 1111111110100010 main s[48] : -60.000000 1111111111000100 main s[49] : 201.000000 0000000011001001 main s[50] : 243.000000 0000000011110011 main s[51] : -6.000000 1111111111111010 main s[52] : -120.000000 1111111110001000 main s[53] : 95.000000 0000000001011111 main s[54] : 272.000000 0000000100010000 main s[55] : 108.000000 0000000001101100 main s[56] : -116.000000 1111111110001100 main s[57] : -17.000000 1111111111101111 main s[58] : 236.000000 0000000011101100 main s[59] : 210.000000 0000000011010010 main s[60] : -50.000000 1111111111001110 main s[61] : -101.000000 1111111110011011 main s[62] : 145.000000 0000000010010001 main s[63] : 267.000000 0000000100001011 main s[64] : 57.000000 0000000000111001 main s[65] : -126.000000 1111111110000010 main s[66] : 30.000000 0000000000011110 main s[67] : 259.000000 0000000100000011 main s[68] : 169.000000 0000000010101001 main s[69] : -86.000000 1111111110101010 main s[70] : -70.000000 1111111110111010 main s[71] : 190.000000 0000000010111110 main s[72] : 250.000000 0000000011111010 main s[73] : 7.000000 0000000000000111 main s[74] : -123.000000 1111111110000101 main s[75] : 81.000000 0000000001010001 main s[76] : 271.000000 0000000100001111 main s[77] : 122.000000 0000000001111010 main s[78] : -111.000000 1111111110010001 main s[79] : -30.000000 1111111111100010 main s[80] : 227.000000 0000000011100011 main s[81] : 220.000000 0000000011011100 main s[82] : -38.000000 1111111111011010 main s[83] : -107.000000 1111111110010101 main s[84] : 131.000000 0000000010000011 main s[85] : 270.000000 0000000100001110 main s[86] : 71.000000 0000000001000111 main s[87] : -125.000000 1111111110000011 main s[88] : 16.000000 0000000000010000 main s[89] : 254.000000 0000000011111110 main s[90] : 181.000000 0000000010110101 main s[91] : -77.000000 1111111110110011 main s[92] : -79.000000 1111111110110001 main s[93] : 178.000000 0000000010110010 main s[94] : 256.000000 0000000100000000 main s[95] : 20.000000 0000000000010100 main s[96] : -125.000000 1111111110000011 main s[97] : 67.000000 0000000001000011 main s[98] : 269.000000 0000000100001101 main s[99] : 135.000000 0000000010000111 main s[100] : -105.000000 1111111110010111 main s[101] : -42.000000 1111111111010110 main s[102] : 217.000000 0000000011011001 main s[103] : 230.000000 0000000011100110 main s[104] : -26.000000 1111111111100110 main s[105] : -113.000000 1111111110001111 main s[106] : 117.000000 0000000001110101 main s[107] : 272.000000 0000000100010000 main s[108] : 85.000000 0000000001010101 main s[109] : -122.000000 1111111110000110 main s[110] : 3.000000 0000000000000011 main s[111] : 248.000000 0000000011111000 main s[112] : 193.000000 0000000011000001 main s[113] : -67.000000 1111111110111101 main s[114] : -88.000000 1111111110101000 main s[115] : 165.000000 0000000010100101 main s[116] : 261.000000 0000000100000101 main s[117] : 34.000000 0000000000100010 main s[118] : -126.000000 1111111110000010 main s[119] : 52.000000 0000000000110100 main s[120] : 266.000000 0000000100001010 main s[121] : 149.000000 0000000010010101 main s[122] : -98.000000 1111111110011110 main s[123] : -53.000000 1111111111001011 main s[124] : 207.000000 0000000011001111 main s[125] : 238.000000 0000000011101110 main s[126] : -13.000000 1111111111110011 main s[127] : -118.000000 1111111110001010 main s[128] : 104.000000 0000000001101000 main s[129] : 272.000000 0000000100010000 main s[130] : 99.000000 0000000001100011 main s[131] : -119.000000 1111111110001001 main s[132] : -10.000000 1111111111110110 main s[133] : 240.000000 0000000011110000 main s[134] : 204.000000 0000000011001100 main s[135] : -56.000000 1111111111001000 main s[136] : -96.000000 1111111110100000 main s[137] : 153.000000 0000000010011001 main s[138] : 265.000000 0000000100001001 main s[139] : 48.000000 0000000000110000 main s[140] : -127.000000 1111111110000001 main s[141] : 38.000000 0000000000100110 main s[142] : 262.000000 0000000100000110 main s[143] : 162.000000 0000000010100010 main s[144] : -91.000000 1111111110100101 main s[145] : -64.000000 1111111111000000 main s[146] : 196.000000 0000000011000100 main s[147] : 246.000000 0000000011110110 main s[148] : 0.000000 0000000000000000 main s[149] : -121.000000 1111111110000111 main s[150] : 89.000000 0000000001011001 main s[151] : 272.000000 0000000100010000 main s[152] : 113.000000 0000000001110001 main s[153] : -114.000000 1111111110001110 main s[154] : -22.000000 1111111111101010 main s[155] : 232.000000 0000000011101000 main s[156] : 214.000000 0000000011010110 main s[157] : -45.000000 1111111111010011 main s[158] : -103.000000 1111111110011001 main s[159] : 139.000000 0000000010001011 main s[160] : 268.000000 0000000100001100 main s[161] : 62.000000 0000000000111110 main s[162] : -126.000000 1111111110000010 main s[163] : 24.000000 0000000000011000 main s[164] : 257.000000 0000000100000001 main s[165] : 174.000000 0000000010101110 main s[166] : -82.000000 1111111110101110 main s[167] : -74.000000 1111111110110110 main s[168] : 185.000000 0000000010111001 main s[169] : 252.000000 0000000011111100 main s[170] : 12.000000 0000000000001100 main s[171] : -124.000000 1111111110000100 main s[172] : 75.000000 0000000001001011 main s[173] : 271.000000 0000000100001111 main s[174] : 127.000000 0000000001111111 main s[175] : -109.000000 1111111110010011 main s[176] : -35.000000 1111111111011101 main s[177] : 223.000000 0000000011011111 main s[178] : 224.000000 0000000011100000 main s[179] : -33.000000 1111111111011111 main s[180] : -110.000000 1111111110010010 main s[181] : 126.000000 0000000001111110 main s[182] : 271.000000 0000000100001111 main s[183] : 77.000000 0000000001001101 main s[184] : -124.000000 1111111110000100 main s[185] : 11.000000 0000000000001011 main s[186] : 252.000000 0000000011111100 main s[187] : 186.000000 0000000010111010 main s[188] : -73.000000 1111111110110111 main s[189] : -83.000000 1111111110101101 main s[190] : 173.000000 0000000010101101 main s[191] : 258.000000 0000000100000010 main s[192] : 26.000000 0000000000011010 main s[193] : -126.000000 1111111110000010 main s[194] : 61.000000 0000000000111101 main s[195] : 268.000000 0000000100001100 main s[196] : 141.000000 0000000010001101 main s[197] : -103.000000 1111111110011001 main s[198] : -46.000000 1111111111010010 main s[199] : 213.000000 0000000011010101 main s[200] : 233.000000 0000000011101001 main s[201] : -21.000000 1111111111101011 main s[202] : -115.000000 1111111110001101 main s[203] : 112.000000 0000000001110000 main s[204] : 272.000000 0000000100010000 main s[205] : 91.000000 0000000001011011 main s[206] : -121.000000 1111111110000111 main s[207] : -2.000000 1111111111111110 main s[208] : 245.000000 0000000011110101 main s[209] : 198.000000 0000000011000110 main s[210] : -63.000000 1111111111000001 main s[211] : -92.000000 1111111110100100 main s[212] : 160.000000 0000000010100000 main s[213] : 263.000000 0000000100000111 main s[214] : 40.000000 0000000000101000 main s[215] : -127.000000 1111111110000001 main s[216] : 47.000000 0000000000101111 main s[217] : 265.000000 0000000100001001 main s[218] : 154.000000 0000000010011010 main s[219] : -95.000000 1111111110100001 main s[220] : -57.000000 1111111111000111 main s[221] : 203.000000 0000000011001011 main s[222] : 241.000000 0000000011110001 main s[223] : -8.000000 1111111111111000 main s[224] : -119.000000 1111111110001001 main s[225] : 98.000000 0000000001100010 main s[226] : 272.000000 0000000100010000 main s[227] : 105.000000 0000000001101001 main s[228] : -117.000000 1111111110001011 main s[229] : -15.000000 1111111111110001 main s[230] : 237.000000 0000000011101101 main s[231] : 208.000000 0000000011010000 main s[232] : -52.000000 1111111111001100 main s[233] : -99.000000 1111111110011101 main s[234] : 147.000000 0000000010010011 main s[235] : 267.000000 0000000100001011 main s[236] : 54.000000 0000000000110110 main s[237] : -126.000000 1111111110000010 main s[238] : 33.000000 0000000000100001 main s[239] : 260.000000 0000000100000100 main s[240] : 167.000000 0000000010100111 main s[241] : -87.000000 1111111110101001 main s[242] : -68.000000 1111111110111100 main s[243] : 192.000000 0000000011000000 main s[244] : 248.000000 0000000011111000 main s[245] : 4.000000 0000000000000100 main s[246] : -123.000000 1111111110000101 main s[247] : 84.000000 0000000001010100 main s[248] : 272.000000 0000000100010000 main s[249] : 119.000000 0000000001110111 main s[250] : -112.000000 1111111110010000 main s[251] : -27.000000 1111111111100101 main s[252] : 229.000000 0000000011100101 main s[253] : 218.000000 0000000011011010 main s[254] : -41.000000 1111111111010111 main s[255] : -106.000000 1111111110010110 main s[256] : 134.000000 0000000010000110 main s[257] : 270.000000 0000000100001110 main s[258] : 68.000000 0000000001000100 main s[259] : -125.000000 1111111110000011 main s[260] : 19.000000 0000000000010011 main s[261] : 255.000000 0000000011111111 main s[262] : 179.000000 0000000010110011 main s[263] : -79.000000 1111111110110001 main s[264] : -78.000000 1111111110110010 main s[265] : 180.000000 0000000010110100 main s[266] : 255.000000 0000000011111111 main s[267] : 17.000000 0000000000010001 main s[268] : -125.000000 1111111110000011 main s[269] : 69.000000 0000000001000101 main s[270] : 270.000000 0000000100001110 main s[271] : 133.000000 0000000010000101 main s[272] : -107.000000 1111111110010101 main s[273] : -39.000000 1111111111011001 main s[274] : 219.000000 0000000011011011 main s[275] : 228.000000 0000000011100100 main s[276] : -29.000000 1111111111100011 main s[277] : -112.000000 1111111110010000 main s[278] : 120.000000 0000000001111000 main s[279] : 271.000000 0000000100001111 main s[280] : 82.000000 0000000001010010 main s[281] : -123.000000 1111111110000101 main s[282] : 5.000000 0000000000000101 main s[283] : 249.000000 0000000011111001 main s[284] : 191.000000 0000000010111111 main s[285] : -69.000000 1111111110111011 main s[286] : -87.000000 1111111110101001 main s[287] : 168.000000 0000000010101000 main s[288] : 260.000000 0000000100000100 main s[289] : 31.000000 0000000000011111 main s[290] : -126.000000 1111111110000010 main s[291] : 55.000000 0000000000110111 main s[292] : 267.000000 0000000100001011 main s[293] : 146.000000 0000000010010010 main s[294] : -100.000000 1111111110011100 main s[295] : -51.000000 1111111111001101 main s[296] : 209.000000 0000000011010001 main s[297] : 236.000000 0000000011101100 main s[298] : -16.000000 1111111111110000 main s[299] : -117.000000 1111111110001011 main s[300] : 106.000000 0000000001101010 main s[301] : 272.000000 0000000100010000 main s[302] : 96.000000 0000000001100000 main s[303] : -120.000000 1111111110001000 main s[304] : -7.000000 1111111111111001 main s[305] : 242.000000 0000000011110010 main s[306] : 202.000000 0000000011001010 main s[307] : -59.000000 1111111111000101 main s[308] : -95.000000 1111111110100001 main s[309] : 155.000000 0000000010011011 main s[310] : 264.000000 0000000100001000 main s[311] : 45.000000 0000000000101101 main s[312] : -127.000000 1111111110000001 main s[313] : 41.000000 0000000000101001 main s[314] : 263.000000 0000000100000111 main s[315] : 159.000000 0000000010011111 main s[316] : -92.000000 1111111110100100 main s[317] : -62.000000 1111111111000010 main s[318] : 199.000000 0000000011000111 main s[319] : 244.000000 0000000011110100 main s[320] : -3.000000 1111111111111101 main s[321] : -121.000000 1111111110000111 main s[322] : 92.000000 0000000001011100 main s[323] : 272.000000 0000000100010000 main s[324] : 111.000000 0000000001101111 main s[325] : -115.000000 1111111110001101 main s[326] : -20.000000 1111111111101100 main s[327] : 234.000000 0000000011101010 main s[328] : 212.000000 0000000011010100 main s[329] : -47.000000 1111111111010001 main s[330] : -102.000000 1111111110011010 main s[331] : 142.000000 0000000010001110 main s[332] : 268.000000 0000000100001100 main s[333] : 59.000000 0000000000111011 main s[334] : -126.000000 1111111110000010 main s[335] : 27.000000 0000000000011011 main s[336] : 258.000000 0000000100000010 main s[337] : 172.000000 0000000010101100 main s[338] : -84.000000 1111111110101100 main s[339] : -72.000000 1111111110111000 main s[340] : 187.000000 0000000010111011 main s[341] : 251.000000 0000000011111011 main s[342] : 9.000000 0000000000001001 main s[343] : -124.000000 1111111110000100 main s[344] : 78.000000 0000000001001110 main s[345] : 271.000000 0000000100001111 main s[346] : 124.000000 0000000001111100 main s[347] : -110.000000 1111111110010010 main s[348] : -32.000000 1111111111100000 main s[349] : 225.000000 0000000011100001 main s[350] : 222.000000 0000000011011110 main s[351] : -36.000000 1111111111011100 main s[352] : -108.000000 1111111110010100 main s[353] : 129.000000 0000000010000001 main s[354] : 270.000000 0000000100001110 main s[355] : 74.000000 0000000001001010 main s[356] : -124.000000 1111111110000100 main s[357] : 13.000000 0000000000001101 main s[358] : 253.000000 0000000011111101 main s[359] : 184.000000 0000000010111000 main s[360] : -75.000000 1111111110110101 main s[361] : -81.000000 1111111110101111 main s[362] : 175.000000 0000000010101111 main s[363] : 257.000000 0000000100000001 main s[364] : 23.000000 0000000000010111 main s[365] : -126.000000 1111111110000010 main s[366] : 64.000000 0000000001000000 main s[367] : 269.000000 0000000100001101 main s[368] : 138.000000 0000000010001010 main s[369] : -104.000000 1111111110011000 main s[370] : -44.000000 1111111111010100 main s[371] : 215.000000 0000000011010111 main s[372] : 231.000000 0000000011100111 main s[373] : -24.000000 1111111111101000 main s[374] : -114.000000 1111111110001110 main s[375] : 115.000000 0000000001110011 main s[376] : 272.000000 0000000100010000 main s[377] : 88.000000 0000000001011000 main s[378] : -122.000000 1111111110000110 main s[379] : 0.000000 0000000000000000 main s[380] : 246.000000 0000000011110110 main s[381] : 195.000000 0000000011000011 main s[382] : -65.000000 1111111110111111 main s[383] : -90.000000 1111111110100110 main s[384] : 163.000000 0000000010100011 main s[385] : 262.000000 0000000100000110 main s[386] : 37.000000 0000000000100101 main s[387] : -127.000000 1111111110000001 main s[388] : 50.000000 0000000000110010 main s[389] : 266.000000 0000000100001010 main s[390] : 151.000000 0000000010010111 main s[391] : -97.000000 1111111110011111 main s[392] : -55.000000 1111111111001001 main s[393] : 205.000000 0000000011001101 main s[394] : 240.000000 0000000011110000 main s[395] : -11.000000 1111111111110101 main s[396] : -118.000000 1111111110001010 main s[397] : 101.000000 0000000001100101 main s[398] : 272.000000 0000000100010000 main s[399] : 102.000000 0000000001100110 main s[400] : -118.000000 1111111110001010 main s[401] : -12.000000 1111111111110100 main s[402] : 239.000000 0000000011101111 main s[403] : 206.000000 0000000011001110 main s[404] : -54.000000 1111111111001010 main s[405] : -98.000000 1111111110011110 main s[406] : 150.000000 0000000010010110 main s[407] : 266.000000 0000000100001010 main s[408] : 51.000000 0000000000110011 main s[409] : -127.000000 1111111110000001 main s[410] : 35.000000 0000000000100011 main s[411] : 261.000000 0000000100000101 main s[412] : 164.000000 0000000010100100 main s[413] : -89.000000 1111111110100111 main s[414] : -66.000000 1111111110111110 main s[415] : 194.000000 0000000011000010 main s[416] : 247.000000 0000000011110111 main s[417] : 1.000000 0000000000000001 main s[418] : -122.000000 1111111110000110 main s[419] : 87.000000 0000000001010111 main s[420] : 272.000000 0000000100010000 main s[421] : 116.000000 0000000001110100 main s[422] : -113.000000 1111111110001111 main s[423] : -25.000000 1111111111100111 main s[424] : 230.000000 0000000011100110 main s[425] : 216.000000 0000000011011000 main s[426] : -43.000000 1111111111010101 main s[427] : -105.000000 1111111110010111 main s[428] : 137.000000 0000000010001001 main s[429] : 269.000000 0000000100001101 main s[430] : 65.000000 0000000001000001 main s[431] : -125.000000 1111111110000011 main s[432] : 22.000000 0000000000010110 main s[433] : 256.000000 0000000100000000 main s[434] : 177.000000 0000000010110001 main s[435] : -80.000000 1111111110110000 main s[436] : -76.000000 1111111110110100 main s[437] : 183.000000 0000000010110111 main s[438] : 253.000000 0000000011111101 main s[439] : 15.000000 0000000000001111 main s[440] : -125.000000 1111111110000011 main s[441] : 72.000000 0000000001001000 main s[442] : 270.000000 0000000100001110 main s[443] : 130.000000 0000000010000010 main s[444] : -108.000000 1111111110010100 main s[445] : -37.000000 1111111111011011 main s[446] : 221.000000 0000000011011101 main s[447] : 226.000000 0000000011100010 main s[448] : -31.000000 1111111111100001 main s[449] : -111.000000 1111111110010001 main s[450] : 123.000000 0000000001111011 main s[451] : 271.000000 0000000100001111 main s[452] : 79.000000 0000000001001111 main s[453] : -123.000000 1111111110000101 main s[454] : 8.000000 0000000000001000 main s[455] : 250.000000 0000000011111010 main s[456] : 188.000000 0000000010111100 main s[457] : -71.000000 1111111110111001 main s[458] : -85.000000 1111111110101011 main s[459] : 170.000000 0000000010101010 main s[460] : 259.000000 0000000100000011 main s[461] : 28.000000 0000000000011100 main s[462] : -126.000000 1111111110000010 main s[463] : 58.000000 0000000000111010 main s[464] : 268.000000 0000000100001100 main s[465] : 143.000000 0000000010001111 main s[466] : -101.000000 1111111110011011 main s[467] : -49.000000 1111111111001111 main s[468] : 211.000000 0000000011010011 main s[469] : 235.000000 0000000011101011 main s[470] : -19.000000 1111111111101101 main s[471] : -116.000000 1111111110001100 main s[472] : 109.000000 0000000001101101 main s[473] : 272.000000 0000000100010000 main s[474] : 94.000000 0000000001011110 main s[475] : -120.000000 1111111110001000 main s[476] : -4.000000 1111111111111100 main s[477] : 243.000000 0000000011110011 main s[478] : 200.000000 0000000011001000 main s[479] : -61.000000 1111111111000011 main s[480] : -93.000000 1111111110100011 main s[481] : 158.000000 0000000010011110 main s[482] : 264.000000 0000000100001000 main s[483] : 42.000000 0000000000101010 main s[484] : -127.000000 1111111110000001 main s[485] : 44.000000 0000000000101100 main s[486] : 264.000000 0000000100001000 main s[487] : 156.000000 0000000010011100 main s[488] : -94.000000 1111111110100010 main s[489] : -60.000000 1111111111000100 main s[490] : 201.000000 0000000011001001 main s[491] : 243.000000 0000000011110011 main s[492] : -6.000000 1111111111111010 main s[493] : -120.000000 1111111110001000 main s[494] : 95.000000 0000000001011111 main s[495] : 272.000000 0000000100010000 main s[496] : 108.000000 0000000001101100 main s[497] : -116.000000 1111111110001100 main s[498] : -17.000000 1111111111101111 main s[499] : 236.000000 0000000011101100 main s[500] : 210.000000 0000000011010010 main s[501] : -50.000000 1111111111001110 main s[502] : -101.000000 1111111110011011 main s[503] : 145.000000 0000000010010001 main s[504] : 267.000000 0000000100001011 main s[505] : 57.000000 0000000000111001 main s[506] : -126.000000 1111111110000010 main s[507] : 30.000000 0000000000011110 main s[508] : 259.000000 0000000100000011 main s[509] : 169.000000 0000000010101001 main s[510] : -86.000000 1111111110101010 main s[511] : -70.000000 1111111110111010 main return[0] : 72.000000 0000000001001000 main return[1] : 270.000000 0000000100001110 main return[2] : 130.000000 0000000010000010 main return[3] : -108.000000 1111111110010100 main return[4] : -37.000000 1111111111011011 main return[5] : 221.000000 0000000011011101 main return[6] : 226.000000 0000000011100010 main return[7] : -31.000000 1111111111100001 main return[8] : -111.000000 1111111110010001 main return[9] : 123.000000 0000000001111011 main return[10] : 271.000000 0000000100001111 main return[11] : 79.000000 0000000001001111 main return[12] : -123.000000 1111111110000101 main return[13] : 8.000000 0000000000001000 main return[14] : 250.000000 0000000011111010 main return[15] : 188.000000 0000000010111100 main return[16] : -71.000000 1111111110111001 main return[17] : -85.000000 1111111110101011 main return[18] : 170.000000 0000000010101010 main return[19] : 259.000000 0000000100000011 main return[20] : 28.000000 0000000000011100 main return[21] : -126.000000 1111111110000010 main return[22] : 58.000000 0000000000111010 main return[23] : 268.000000 0000000100001100 main return[24] : 143.000000 0000000010001111 main return[25] : -101.000000 1111111110011011 main return[26] : -49.000000 1111111111001111 main return[27] : 211.000000 0000000011010011 main return[28] : 235.000000 0000000011101011 main return[29] : -19.000000 1111111111101101 main return[30] : -116.000000 1111111110001100 main return[31] : 109.000000 0000000001101101 main return[32] : 272.000000 0000000100010000 main return[33] : 94.000000 0000000001011110 main return[34] : -120.000000 1111111110001000 main return[35] : -4.000000 1111111111111100 main return[36] : 243.000000 0000000011110011 main return[37] : 200.000000 0000000011001000 main return[38] : -61.000000 1111111111000011 main return[39] : -93.000000 1111111110100011 main return[40] : 158.000000 0000000010011110 main return[41] : 264.000000 0000000100001000 main return[42] : 42.000000 0000000000101010 main return[43] : -127.000000 1111111110000001 main return[44] : 44.000000 0000000000101100 main return[45] : 264.000000 0000000100001000 main return[46] : 156.000000 0000000010011100 main return[47] : -94.000000 1111111110100010 main return[48] : -60.000000 1111111111000100 main return[49] : 201.000000 0000000011001001 main return[50] : 243.000000 0000000011110011 main return[51] : -6.000000 1111111111111010 main return[52] : -120.000000 1111111110001000 main return[53] : 95.000000 0000000001011111 main return[54] : 272.000000 0000000100010000 main return[55] : 108.000000 0000000001101100 main return[56] : -116.000000 1111111110001100 main return[57] : -17.000000 1111111111101111 main return[58] : 236.000000 0000000011101100 main return[59] : 210.000000 0000000011010010 main return[60] : -50.000000 1111111111001110 main return[61] : -101.000000 1111111110011011 main return[62] : 145.000000 0000000010010001 main return[63] : 267.000000 0000000100001011 main return[64] : 57.000000 0000000000111001 main return[65] : -126.000000 1111111110000010 main return[66] : 30.000000 0000000000011110 main return[67] : 259.000000 0000000100000011 main return[68] : 169.000000 0000000010101001 main return[69] : -86.000000 1111111110101010 main return[70] : -70.000000 1111111110111010 main return[71] : 190.000000 0000000010111110 main return[72] : 250.000000 0000000011111010 main return[73] : 7.000000 0000000000000111 main return[74] : -123.000000 1111111110000101 main return[75] : 81.000000 0000000001010001 main return[76] : 271.000000 0000000100001111 main return[77] : 122.000000 0000000001111010 main return[78] : -111.000000 1111111110010001 main return[79] : -30.000000 1111111111100010 main return[80] : 227.000000 0000000011100011 main return[81] : 220.000000 0000000011011100 main return[82] : -38.000000 1111111111011010 main return[83] : -107.000000 1111111110010101 main return[84] : 131.000000 0000000010000011 main return[85] : 270.000000 0000000100001110 main return[86] : 71.000000 0000000001000111 main return[87] : -125.000000 1111111110000011 main return[88] : 16.000000 0000000000010000 main return[89] : 254.000000 0000000011111110 main return[90] : 181.000000 0000000010110101 main return[91] : -77.000000 1111111110110011 main return[92] : -79.000000 1111111110110001 main return[93] : 178.000000 0000000010110010 main return[94] : 256.000000 0000000100000000 main return[95] : 20.000000 0000000000010100 main return[96] : -125.000000 1111111110000011 main return[97] : 67.000000 0000000001000011 main return[98] : 269.000000 0000000100001101 main return[99] : 135.000000 0000000010000111 main return[100] : -105.000000 1111111110010111 main return[101] : -42.000000 1111111111010110 main return[102] : 217.000000 0000000011011001 main return[103] : 230.000000 0000000011100110 main return[104] : -26.000000 1111111111100110 main return[105] : -113.000000 1111111110001111 main return[106] : 117.000000 0000000001110101 main return[107] : 272.000000 0000000100010000 main return[108] : 85.000000 0000000001010101 main return[109] : -122.000000 1111111110000110 main return[110] : 3.000000 0000000000000011 main return[111] : 248.000000 0000000011111000 main return[112] : 193.000000 0000000011000001 main return[113] : -67.000000 1111111110111101 main return[114] : -88.000000 1111111110101000 main return[115] : 165.000000 0000000010100101 main return[116] : 261.000000 0000000100000101 main return[117] : 34.000000 0000000000100010 main return[118] : -126.000000 1111111110000010 main return[119] : 52.000000 0000000000110100 main return[120] : 266.000000 0000000100001010 main return[121] : 149.000000 0000000010010101 main return[122] : -98.000000 1111111110011110 main return[123] : -53.000000 1111111111001011 main return[124] : 207.000000 0000000011001111 main return[125] : 238.000000 0000000011101110 main return[126] : -13.000000 1111111111110011 main return[127] : -118.000000 1111111110001010 main return[128] : 104.000000 0000000001101000 main return[129] : 272.000000 0000000100010000 main return[130] : 99.000000 0000000001100011 main return[131] : -119.000000 1111111110001001 main return[132] : -10.000000 1111111111110110 main return[133] : 240.000000 0000000011110000 main return[134] : 204.000000 0000000011001100 main return[135] : -56.000000 1111111111001000 main return[136] : -96.000000 1111111110100000 main return[137] : 153.000000 0000000010011001 main return[138] : 265.000000 0000000100001001 main return[139] : 48.000000 0000000000110000 main return[140] : -127.000000 1111111110000001 main return[141] : 38.000000 0000000000100110 main return[142] : 262.000000 0000000100000110 main return[143] : 162.000000 0000000010100010 main return[144] : -91.000000 1111111110100101 main return[145] : -64.000000 1111111111000000 main return[146] : 196.000000 0000000011000100 main return[147] : 246.000000 0000000011110110 main return[148] : 0.000000 0000000000000000 main return[149] : -121.000000 1111111110000111 main return[150] : 89.000000 0000000001011001 main return[151] : 272.000000 0000000100010000 main return[152] : 113.000000 0000000001110001 main return[153] : -114.000000 1111111110001110 main return[154] : -22.000000 1111111111101010 main return[155] : 232.000000 0000000011101000 main return[156] : 214.000000 0000000011010110 main return[157] : -45.000000 1111111111010011 main return[158] : -103.000000 1111111110011001 main return[159] : 139.000000 0000000010001011 main return[160] : 268.000000 0000000100001100 main return[161] : 62.000000 0000000000111110 main return[162] : -126.000000 1111111110000010 main return[163] : 24.000000 0000000000011000 main return[164] : 257.000000 0000000100000001 main return[165] : 174.000000 0000000010101110 main return[166] : -82.000000 1111111110101110 main return[167] : -74.000000 1111111110110110 main return[168] : 185.000000 0000000010111001 main return[169] : 252.000000 0000000011111100 main return[170] : 12.000000 0000000000001100 main return[171] : -124.000000 1111111110000100 main return[172] : 75.000000 0000000001001011 main return[173] : 271.000000 0000000100001111 main return[174] : 127.000000 0000000001111111 main return[175] : -109.000000 1111111110010011 main return[176] : -35.000000 1111111111011101 main return[177] : 223.000000 0000000011011111 main return[178] : 224.000000 0000000011100000 main return[179] : -33.000000 1111111111011111 main return[180] : -110.000000 1111111110010010 main return[181] : 126.000000 0000000001111110 main return[182] : 271.000000 0000000100001111 main return[183] : 77.000000 0000000001001101 main return[184] : -124.000000 1111111110000100 main return[185] : 11.000000 0000000000001011 main return[186] : 252.000000 0000000011111100 main return[187] : 186.000000 0000000010111010 main return[188] : -73.000000 1111111110110111 main return[189] : -83.000000 1111111110101101 main return[190] : 173.000000 0000000010101101 main return[191] : 258.000000 0000000100000010 main return[192] : 26.000000 0000000000011010 main return[193] : -126.000000 1111111110000010 main return[194] : 61.000000 0000000000111101 main return[195] : 268.000000 0000000100001100 main return[196] : 141.000000 0000000010001101 main return[197] : -103.000000 1111111110011001 main return[198] : -46.000000 1111111111010010 main return[199] : 213.000000 0000000011010101 main return[200] : 233.000000 0000000011101001 main return[201] : -21.000000 1111111111101011 main return[202] : -115.000000 1111111110001101 main return[203] : 112.000000 0000000001110000 main return[204] : 272.000000 0000000100010000 main return[205] : 91.000000 0000000001011011 main return[206] : -121.000000 1111111110000111 main return[207] : -2.000000 1111111111111110 main return[208] : 245.000000 0000000011110101 main return[209] : 198.000000 0000000011000110 main return[210] : -63.000000 1111111111000001 main return[211] : -92.000000 1111111110100100 main return[212] : 160.000000 0000000010100000 main return[213] : 263.000000 0000000100000111 main return[214] : 40.000000 0000000000101000 main return[215] : -127.000000 1111111110000001 main return[216] : 47.000000 0000000000101111 main return[217] : 265.000000 0000000100001001 main return[218] : 154.000000 0000000010011010 main return[219] : -95.000000 1111111110100001 main return[220] : -57.000000 1111111111000111 main return[221] : 203.000000 0000000011001011 main return[222] : 241.000000 0000000011110001 main return[223] : -8.000000 1111111111111000 main return[224] : -119.000000 1111111110001001 main return[225] : 98.000000 0000000001100010 main return[226] : 272.000000 0000000100010000 main return[227] : 105.000000 0000000001101001 main return[228] : -117.000000 1111111110001011 main return[229] : -15.000000 1111111111110001 main return[230] : 237.000000 0000000011101101 main return[231] : 208.000000 0000000011010000 main return[232] : -52.000000 1111111111001100 main return[233] : -99.000000 1111111110011101 main return[234] : 147.000000 0000000010010011 main return[235] : 267.000000 0000000100001011 main return[236] : 54.000000 0000000000110110 main return[237] : -126.000000 1111111110000010 main return[238] : 33.000000 0000000000100001 main return[239] : 260.000000 0000000100000100 main return[240] : 167.000000 0000000010100111 main return[241] : -87.000000 1111111110101001 main return[242] : -68.000000 1111111110111100 main return[243] : 192.000000 0000000011000000 main return[244] : 248.000000 0000000011111000 main return[245] : 5.000000 0000000000000101 main return[246] : -120.000000 1111111110001000 main return[247] : 85.000000 0000000001010101 main return[248] : 272.000000 0000000100010000 main return[249] : 120.000000 0000000001111000 main return[250] : -110.000000 1111111110010010 main return[251] : -26.000000 1111111111100110 main return[252] : 229.000000 0000000011100101 main return[253] : 219.000000 0000000011011011 main return[254] : -40.000000 1111111111011000 main return[255] : -104.000000 1111111110011000 main return[256] : 135.000000 0000000010000111 main return[257] : 269.000000 0000000100001101 main return[258] : 69.000000 0000000001000101 main return[259] : -125.000000 1111111110000011 main return[260] : 19.000000 0000000000010011 main return[261] : 255.000000 0000000011111111 main return[262] : 179.000000 0000000010110011 main return[263] : -79.000000 1111111110110001 main return[264] : -78.000000 1111111110110010 main return[265] : 180.000000 0000000010110100 main return[266] : 255.000000 0000000011111111 main return[267] : 17.000000 0000000000010001 main return[268] : -125.000000 1111111110000011 main return[269] : 69.000000 0000000001000101 main return[270] : 270.000000 0000000100001110 main return[271] : 133.000000 0000000010000101 main return[272] : -107.000000 1111111110010101 main return[273] : -39.000000 1111111111011001 main return[274] : 219.000000 0000000011011011 main return[275] : 228.000000 0000000011100100 main return[276] : -29.000000 1111111111100011 main return[277] : -112.000000 1111111110010000 main return[278] : 120.000000 0000000001111000 main return[279] : 271.000000 0000000100001111 main return[280] : 82.000000 0000000001010010 main return[281] : -123.000000 1111111110000101 main return[282] : 5.000000 0000000000000101 main return[283] : 249.000000 0000000011111001 main return[284] : 191.000000 0000000010111111 main return[285] : -69.000000 1111111110111011 main return[286] : -87.000000 1111111110101001 main return[287] : 168.000000 0000000010101000 main return[288] : 260.000000 0000000100000100 main return[289] : 31.000000 0000000000011111 main return[290] : -126.000000 1111111110000010 main return[291] : 55.000000 0000000000110111 main return[292] : 267.000000 0000000100001011 main return[293] : 146.000000 0000000010010010 main return[294] : -100.000000 1111111110011100 main return[295] : -51.000000 1111111111001101 main return[296] : 209.000000 0000000011010001 main return[297] : 236.000000 0000000011101100 main return[298] : -16.000000 1111111111110000 main return[299] : -117.000000 1111111110001011 main return[300] : 106.000000 0000000001101010 main return[301] : 272.000000 0000000100010000 main return[302] : 96.000000 0000000001100000 main return[303] : -120.000000 1111111110001000 main return[304] : -7.000000 1111111111111001 main return[305] : 242.000000 0000000011110010 main return[306] : 202.000000 0000000011001010 main return[307] : -59.000000 1111111111000101 main return[308] : -95.000000 1111111110100001 main return[309] : 155.000000 0000000010011011 main return[310] : 264.000000 0000000100001000 main return[311] : 45.000000 0000000000101101 main return[312] : -127.000000 1111111110000001 main return[313] : 41.000000 0000000000101001 main return[314] : 263.000000 0000000100000111 main return[315] : 159.000000 0000000010011111 main return[316] : -92.000000 1111111110100100 main return[317] : -62.000000 1111111111000010 main return[318] : 199.000000 0000000011000111 main return[319] : 244.000000 0000000011110100 main return[320] : -3.000000 1111111111111101 main return[321] : -121.000000 1111111110000111 main return[322] : 92.000000 0000000001011100 main return[323] : 272.000000 0000000100010000 main return[324] : 111.000000 0000000001101111 main return[325] : -115.000000 1111111110001101 main return[326] : -20.000000 1111111111101100 main return[327] : 234.000000 0000000011101010 main return[328] : 212.000000 0000000011010100 main return[329] : -47.000000 1111111111010001 main return[330] : -102.000000 1111111110011010 main return[331] : 142.000000 0000000010001110 main return[332] : 268.000000 0000000100001100 main return[333] : 59.000000 0000000000111011 main return[334] : -126.000000 1111111110000010 main return[335] : 27.000000 0000000000011011 main return[336] : 258.000000 0000000100000010 main return[337] : 172.000000 0000000010101100 main return[338] : -84.000000 1111111110101100 main return[339] : -72.000000 1111111110111000 main return[340] : 187.000000 0000000010111011 main return[341] : 251.000000 0000000011111011 main return[342] : 9.000000 0000000000001001 main return[343] : -124.000000 1111111110000100 main return[344] : 78.000000 0000000001001110 main return[345] : 271.000000 0000000100001111 main return[346] : 124.000000 0000000001111100 main return[347] : -110.000000 1111111110010010 main return[348] : -32.000000 1111111111100000 main return[349] : 225.000000 0000000011100001 main return[350] : 222.000000 0000000011011110 main return[351] : -36.000000 1111111111011100 main return[352] : -108.000000 1111111110010100 main return[353] : 129.000000 0000000010000001 main return[354] : 270.000000 0000000100001110 main return[355] : 74.000000 0000000001001010 main return[356] : -124.000000 1111111110000100 main return[357] : 13.000000 0000000000001101 main return[358] : 253.000000 0000000011111101 main return[359] : 184.000000 0000000010111000 main return[360] : -75.000000 1111111110110101 main return[361] : -81.000000 1111111110101111 main return[362] : 175.000000 0000000010101111 main return[363] : 257.000000 0000000100000001 main return[364] : 23.000000 0000000000010111 main return[365] : -126.000000 1111111110000010 main return[366] : 64.000000 0000000001000000 main return[367] : 269.000000 0000000100001101 main return[368] : 138.000000 0000000010001010 main return[369] : -104.000000 1111111110011000 main return[370] : -44.000000 1111111111010100 main return[371] : 215.000000 0000000011010111 main return[372] : 231.000000 0000000011100111 main return[373] : -24.000000 1111111111101000 main return[374] : -114.000000 1111111110001110 main return[375] : 115.000000 0000000001110011 main return[376] : 272.000000 0000000100010000 main return[377] : 88.000000 0000000001011000 main return[378] : -122.000000 1111111110000110 main return[379] : 0.000000 0000000000000000 main return[380] : 246.000000 0000000011110110 main return[381] : 195.000000 0000000011000011 main return[382] : -65.000000 1111111110111111 main return[383] : -90.000000 1111111110100110 main return[384] : 163.000000 0000000010100011 main return[385] : 262.000000 0000000100000110 main return[386] : 37.000000 0000000000100101 main return[387] : -127.000000 1111111110000001 main return[388] : 50.000000 0000000000110010 main return[389] : 266.000000 0000000100001010 main return[390] : 151.000000 0000000010010111 main return[391] : -97.000000 1111111110011111 main return[392] : -55.000000 1111111111001001 main return[393] : 205.000000 0000000011001101 main return[394] : 240.000000 0000000011110000 main return[395] : -11.000000 1111111111110101 main return[396] : -118.000000 1111111110001010 main return[397] : 101.000000 0000000001100101 main return[398] : 272.000000 0000000100010000 main return[399] : 102.000000 0000000001100110 main return[400] : -118.000000 1111111110001010 main return[401] : -12.000000 1111111111110100 main return[402] : 239.000000 0000000011101111 main return[403] : 206.000000 0000000011001110 main return[404] : -54.000000 1111111111001010 main return[405] : -98.000000 1111111110011110 main return[406] : 150.000000 0000000010010110 main return[407] : 266.000000 0000000100001010 main return[408] : 51.000000 0000000000110011 main return[409] : -127.000000 1111111110000001 main return[410] : 35.000000 0000000000100011 main return[411] : 261.000000 0000000100000101 main return[412] : 164.000000 0000000010100100 main return[413] : -89.000000 1111111110100111 main return[414] : -66.000000 1111111110111110 main return[415] : 194.000000 0000000011000010 main return[416] : 247.000000 0000000011110111 main return[417] : 1.000000 0000000000000001 main return[418] : -122.000000 1111111110000110 main return[419] : 87.000000 0000000001010111 main return[420] : 272.000000 0000000100010000 main return[421] : 116.000000 0000000001110100 main return[422] : -113.000000 1111111110001111 main return[423] : -25.000000 1111111111100111 main return[424] : 230.000000 0000000011100110 main return[425] : 216.000000 0000000011011000 main return[426] : -43.000000 1111111111010101 main return[427] : -105.000000 1111111110010111 main return[428] : 137.000000 0000000010001001 main return[429] : 269.000000 0000000100001101 main return[430] : 65.000000 0000000001000001 main return[431] : -125.000000 1111111110000011 main return[432] : 22.000000 0000000000010110 main return[433] : 256.000000 0000000100000000 main return[434] : 177.000000 0000000010110001 main return[435] : -80.000000 1111111110110000 main return[436] : -76.000000 1111111110110100 main return[437] : 183.000000 0000000010110111 main return[438] : 253.000000 0000000011111101 main return[439] : 15.000000 0000000000001111 main return[440] : -125.000000 1111111110000011 main return[441] : 72.000000 0000000001001000 main return[442] : 270.000000 0000000100001110 main return[443] : 130.000000 0000000010000010 main return[444] : -108.000000 1111111110010100 main return[445] : -37.000000 1111111111011011 main return[446] : 221.000000 0000000011011101 main return[447] : 226.000000 0000000011100010 main return[448] : -31.000000 1111111111100001 main return[449] : -111.000000 1111111110010001 main return[450] : 123.000000 0000000001111011 main return[451] : 271.000000 0000000100001111 main return[452] : 79.000000 0000000001001111 main return[453] : -123.000000 1111111110000101 main return[454] : 8.000000 0000000000001000 main return[455] : 250.000000 0000000011111010 main return[456] : 188.000000 0000000010111100 main return[457] : -71.000000 1111111110111001 main return[458] : -85.000000 1111111110101011 main return[459] : 170.000000 0000000010101010 main return[460] : 259.000000 0000000100000011 main return[461] : 28.000000 0000000000011100 main return[462] : -126.000000 1111111110000010 main return[463] : 58.000000 0000000000111010 main return[464] : 268.000000 0000000100001100 main return[465] : 143.000000 0000000010001111 main return[466] : -101.000000 1111111110011011 main return[467] : -49.000000 1111111111001111 main return[468] : 211.000000 0000000011010011 main return[469] : 235.000000 0000000011101011 main return[470] : -19.000000 1111111111101101 main return[471] : -116.000000 1111111110001100 main return[472] : 109.000000 0000000001101101 main return[473] : 272.000000 0000000100010000 main return[474] : 94.000000 0000000001011110 main return[475] : -120.000000 1111111110001000 main return[476] : -4.000000 1111111111111100 main return[477] : 243.000000 0000000011110011 main return[478] : 200.000000 0000000011001000 main return[479] : -61.000000 1111111111000011 main return[480] : -93.000000 1111111110100011 main return[481] : 158.000000 0000000010011110 main return[482] : 264.000000 0000000100001000 main return[483] : 42.000000 0000000000101010 main return[484] : -127.000000 1111111110000001 main return[485] : 44.000000 0000000000101100 main return[486] : 264.000000 0000000100001000 main return[487] : 156.000000 0000000010011100 main return[488] : -94.000000 1111111110100010 main return[489] : -60.000000 1111111111000100 main return[490] : 201.000000 0000000011001001 main return[491] : 243.000000 0000000011110011 main return[492] : -6.000000 1111111111111010 main return[493] : -120.000000 1111111110001000 main return[494] : 95.000000 0000000001011111 main return[495] : 272.000000 0000000100010000 main return[496] : 108.000000 0000000001101100 main return[497] : -116.000000 1111111110001100 main return[498] : -17.000000 1111111111101111 main return[499] : 236.000000 0000000011101100 main return[500] : 210.000000 0000000011010010 main return[501] : -50.000000 1111111111001110 main return[502] : -101.000000 1111111110011011 main return[503] : 145.000000 0000000010010001 main return[504] : 267.000000 0000000100001011 main return[505] : 57.000000 0000000000111001 main return[506] : -126.000000 1111111110000010 main return[507] : 30.000000 0000000000011110 main return[508] : 259.000000 0000000100000011 main return[509] : 169.000000 0000000010101001 main return[510] : -86.000000 1111111110101010 main return[511] : -70.000000 1111111110111010 main s1[0] : 4.000000 0000000000000100 main s1[1] : 16.000000 0000000000010000 main s1[2] : 8.000000 0000000000001000 main s1[3] : -7.000000 1111111111111001 main s1[4] : -3.000000 1111111111111101 main s1[5] : 13.000000 0000000000001101 main s1[6] : 14.000000 0000000000001110 main s1[7] : -2.000000 1111111111111110 main s1[8] : -7.000000 1111111111111001 main s1[9] : 7.000000 0000000000000111 main s1[10] : 16.000000 0000000000010000 main s1[11] : 4.000000 0000000000000100 main s1[12] : -8.000000 1111111111111000 main s1[13] : 0.000000 0000000000000000 main s1[14] : 15.000000 0000000000001111 main s1[15] : 11.000000 0000000000001011 main s1[16] : -5.000000 1111111111111011 main s1[17] : -6.000000 1111111111111010 main s1[18] : 10.000000 0000000000001010 main s1[19] : 16.000000 0000000000010000 main s1[20] : 1.000000 0000000000000001 main s1[21] : -8.000000 1111111111111000 main s1[22] : 3.000000 0000000000000011 main s1[23] : 16.000000 0000000000010000 main s1[24] : 8.000000 0000000000001000 main s1[25] : -7.000000 1111111111111001 main s1[26] : -4.000000 1111111111111100 main s1[27] : 13.000000 0000000000001101 main s1[28] : 14.000000 0000000000001110 main s1[29] : -2.000000 1111111111111110 main s1[30] : -8.000000 1111111111111000 main s1[31] : 6.000000 0000000000000110 main s1[32] : 17.000000 0000000000010001 main s1[33] : 5.000000 0000000000000101 main s1[34] : -8.000000 1111111111111000 main s1[35] : -1.000000 1111111111111111 main s1[36] : 15.000000 0000000000001111 main s1[37] : 12.000000 0000000000001100 main s1[38] : -4.000000 1111111111111100 main s1[39] : -6.000000 1111111111111010 main s1[40] : 9.000000 0000000000001001 main s1[41] : 16.000000 0000000000010000 main s1[42] : 2.000000 0000000000000010 main s1[43] : -8.000000 1111111111111000 main s1[44] : 2.000000 0000000000000010 main s1[45] : 16.000000 0000000000010000 main s1[46] : 9.000000 0000000000001001 main s1[47] : -6.000000 1111111111111010 main s1[48] : -4.000000 1111111111111100 main s1[49] : 12.000000 0000000000001100 main s1[50] : 15.000000 0000000000001111 main s1[51] : -1.000000 1111111111111111 main s1[52] : -8.000000 1111111111111000 main s1[53] : 5.000000 0000000000000101 main s1[54] : 17.000000 0000000000010001 main s1[55] : 6.000000 0000000000000110 main s1[56] : -8.000000 1111111111111000 main s1[57] : -2.000000 1111111111111110 main s1[58] : 14.000000 0000000000001110 main s1[59] : 13.000000 0000000000001101 main s1[60] : -4.000000 1111111111111100 main s1[61] : -7.000000 1111111111111001 main s1[62] : 9.000000 0000000000001001 main s1[63] : 16.000000 0000000000010000 main s1[64] : 3.000000 0000000000000011 main s1[65] : -8.000000 1111111111111000 main s1[66] : 1.000000 0000000000000001 main s1[67] : 16.000000 0000000000010000 main s1[68] : 10.000000 0000000000001010 main s1[69] : -6.000000 1111111111111010 main s1[70] : -5.000000 1111111111111011 main s1[71] : 11.000000 0000000000001011 main s1[72] : 15.000000 0000000000001111 main s1[73] : 0.000000 0000000000000000 main s1[74] : -8.000000 1111111111111000 main s1[75] : 5.000000 0000000000000101 main s1[76] : 16.000000 0000000000010000 main s1[77] : 7.000000 0000000000000111 main s1[78] : -7.000000 1111111111111001 main s1[79] : -2.000000 1111111111111110 main s1[80] : 14.000000 0000000000001110 main s1[81] : 13.000000 0000000000001101 main s1[82] : -3.000000 1111111111111101 main s1[83] : -7.000000 1111111111111001 main s1[84] : 8.000000 0000000000001000 main s1[85] : 16.000000 0000000000010000 main s1[86] : 4.000000 0000000000000100 main s1[87] : -8.000000 1111111111111000 main s1[88] : 1.000000 0000000000000001 main s1[89] : 15.000000 0000000000001111 main s1[90] : 11.000000 0000000000001011 main s1[91] : -5.000000 1111111111111011 main s1[92] : -5.000000 1111111111111011 main s1[93] : 11.000000 0000000000001011 main s1[94] : 16.000000 0000000000010000 main s1[95] : 1.000000 0000000000000001 main s1[96] : -8.000000 1111111111111000 main s1[97] : 4.000000 0000000000000100 main s1[98] : 16.000000 0000000000010000 main s1[99] : 8.000000 0000000000001000 main s1[100] : -7.000000 1111111111111001 main s1[101] : -3.000000 1111111111111101 main s1[102] : 13.000000 0000000000001101 main s1[103] : 14.000000 0000000000001110 main s1[104] : -2.000000 1111111111111110 main s1[105] : -8.000000 1111111111111000 main s1[106] : 7.000000 0000000000000111 main s1[107] : 17.000000 0000000000010001 main s1[108] : 5.000000 0000000000000101 main s1[109] : -8.000000 1111111111111000 main s1[110] : 0.000000 0000000000000000 main s1[111] : 15.000000 0000000000001111 main s1[112] : 12.000000 0000000000001100 main s1[113] : -5.000000 1111111111111011 main s1[114] : -6.000000 1111111111111010 main s1[115] : 10.000000 0000000000001010 main s1[116] : 16.000000 0000000000010000 main s1[117] : 2.000000 0000000000000010 main s1[118] : -8.000000 1111111111111000 main s1[119] : 3.000000 0000000000000011 main s1[120] : 16.000000 0000000000010000 main s1[121] : 9.000000 0000000000001001 main s1[122] : -7.000000 1111111111111001 main s1[123] : -4.000000 1111111111111100 main s1[124] : 12.000000 0000000000001100 main s1[125] : 14.000000 0000000000001110 main s1[126] : -1.000000 1111111111111111 main s1[127] : -8.000000 1111111111111000 main s1[128] : 6.000000 0000000000000110 main s1[129] : 17.000000 0000000000010001 main s1[130] : 6.000000 0000000000000110 main s1[131] : -8.000000 1111111111111000 main s1[132] : -1.000000 1111111111111111 main s1[133] : 15.000000 0000000000001111 main s1[134] : 12.000000 0000000000001100 main s1[135] : -4.000000 1111111111111100 main s1[136] : -6.000000 1111111111111010 main s1[137] : 9.000000 0000000000001001 main s1[138] : 16.000000 0000000000010000 main s1[139] : 3.000000 0000000000000011 main s1[140] : -8.000000 1111111111111000 main s1[141] : 2.000000 0000000000000010 main s1[142] : 16.000000 0000000000010000 main s1[143] : 10.000000 0000000000001010 main s1[144] : -6.000000 1111111111111010 main s1[145] : -4.000000 1111111111111100 main s1[146] : 12.000000 0000000000001100 main s1[147] : 15.000000 0000000000001111 main s1[148] : 0.000000 0000000000000000 main s1[149] : -8.000000 1111111111111000 main s1[150] : 5.000000 0000000000000101 main s1[151] : 17.000000 0000000000010001 main s1[152] : 7.000000 0000000000000111 main s1[153] : -8.000000 1111111111111000 main s1[154] : -2.000000 1111111111111110 main s1[155] : 14.000000 0000000000001110 main s1[156] : 13.000000 0000000000001101 main s1[157] : -3.000000 1111111111111101 main s1[158] : -7.000000 1111111111111001 main s1[159] : 8.000000 0000000000001000 main s1[160] : 16.000000 0000000000010000 main s1[161] : 3.000000 0000000000000011 main s1[162] : -8.000000 1111111111111000 main s1[163] : 1.000000 0000000000000001 main s1[164] : 16.000000 0000000000010000 main s1[165] : 10.000000 0000000000001010 main s1[166] : -6.000000 1111111111111010 main s1[167] : -5.000000 1111111111111011 main s1[168] : 11.000000 0000000000001011 main s1[169] : 15.000000 0000000000001111 main s1[170] : 0.000000 0000000000000000 main s1[171] : -8.000000 1111111111111000 main s1[172] : 4.000000 0000000000000100 main s1[173] : 16.000000 0000000000010000 main s1[174] : 7.000000 0000000000000111 main s1[175] : -7.000000 1111111111111001 main s1[176] : -3.000000 1111111111111101 main s1[177] : 13.000000 0000000000001101 main s1[178] : 14.000000 0000000000001110 main s1[179] : -3.000000 1111111111111101 main s1[180] : -7.000000 1111111111111001 main s1[181] : 7.000000 0000000000000111 main s1[182] : 16.000000 0000000000010000 main s1[183] : 4.000000 0000000000000100 main s1[184] : -8.000000 1111111111111000 main s1[185] : 0.000000 0000000000000000 main s1[186] : 15.000000 0000000000001111 main s1[187] : 11.000000 0000000000001011 main s1[188] : -5.000000 1111111111111011 main s1[189] : -6.000000 1111111111111010 main s1[190] : 10.000000 0000000000001010 main s1[191] : 16.000000 0000000000010000 main s1[192] : 1.000000 0000000000000001 main s1[193] : -8.000000 1111111111111000 main s1[194] : 3.000000 0000000000000011 main s1[195] : 16.000000 0000000000010000 main s1[196] : 8.000000 0000000000001000 main s1[197] : -7.000000 1111111111111001 main s1[198] : -3.000000 1111111111111101 main s1[199] : 13.000000 0000000000001101 main s1[200] : 14.000000 0000000000001110 main s1[201] : -2.000000 1111111111111110 main s1[202] : -8.000000 1111111111111000 main s1[203] : 7.000000 0000000000000111 main s1[204] : 17.000000 0000000000010001 main s1[205] : 5.000000 0000000000000101 main s1[206] : -8.000000 1111111111111000 main s1[207] : -1.000000 1111111111111111 main s1[208] : 15.000000 0000000000001111 main s1[209] : 12.000000 0000000000001100 main s1[210] : -4.000000 1111111111111100 main s1[211] : -6.000000 1111111111111010 main s1[212] : 10.000000 0000000000001010 main s1[213] : 16.000000 0000000000010000 main s1[214] : 2.000000 0000000000000010 main s1[215] : -8.000000 1111111111111000 main s1[216] : 2.000000 0000000000000010 main s1[217] : 16.000000 0000000000010000 main s1[218] : 9.000000 0000000000001001 main s1[219] : -6.000000 1111111111111010 main s1[220] : -4.000000 1111111111111100 main s1[221] : 12.000000 0000000000001100 main s1[222] : 15.000000 0000000000001111 main s1[223] : -1.000000 1111111111111111 main s1[224] : -8.000000 1111111111111000 main s1[225] : 6.000000 0000000000000110 main s1[226] : 17.000000 0000000000010001 main s1[227] : 6.000000 0000000000000110 main s1[228] : -8.000000 1111111111111000 main s1[229] : -1.000000 1111111111111111 main s1[230] : 14.000000 0000000000001110 main s1[231] : 13.000000 0000000000001101 main s1[232] : -4.000000 1111111111111100 main s1[233] : -7.000000 1111111111111001 main s1[234] : 9.000000 0000000000001001 main s1[235] : 16.000000 0000000000010000 main s1[236] : 3.000000 0000000000000011 main s1[237] : -8.000000 1111111111111000 main s1[238] : 2.000000 0000000000000010 main s1[239] : 16.000000 0000000000010000 main s1[240] : 10.000000 0000000000001010 main s1[241] : -6.000000 1111111111111010 main s1[242] : -5.000000 1111111111111011 main s1[243] : 12.000000 0000000000001100 main s1[244] : 15.000000 0000000000001111 main s1[245] : 0.000000 0000000000000000 main s1[246] : 0.000000 0000000000000000 main s1[247] : 0.000000 0000000000000000 main s1[248] : 0.000000 0000000000000000 main s1[249] : 0.000000 0000000000000000 main s1[250] : 0.000000 0000000000000000 main s1[251] : 0.000000 0000000000000000 main s1[252] : 0.000000 0000000000000000 main s1[253] : 0.000000 0000000000000000 main s1[254] : 0.000000 0000000000000000 main s1[255] : 0.000000 0000000000000000 main s1[256] : 0.000000 0000000000000000 main s1[257] : 0.000000 0000000000000000 main s1[258] : 0.000000 0000000000000000 main s1[259] : 0.000000 0000000000000000 main s1[260] : 0.000000 0000000000000000 main s1[261] : 15.000000 0000000000001111 main s1[262] : 11.000000 0000000000001011 main s1[263] : -5.000000 1111111111111011 main s1[264] : -5.000000 1111111111111011 main s1[265] : 11.000000 0000000000001011 main s1[266] : 15.000000 0000000000001111 main s1[267] : 1.000000 0000000000000001 main s1[268] : -8.000000 1111111111111000 main s1[269] : 4.000000 0000000000000100 main s1[270] : 16.000000 0000000000010000 main s1[271] : 8.000000 0000000000001000 main s1[272] : -7.000000 1111111111111001 main s1[273] : -3.000000 1111111111111101 main s1[274] : 13.000000 0000000000001101 main s1[275] : 14.000000 0000000000001110 main s1[276] : -2.000000 1111111111111110 main s1[277] : -7.000000 1111111111111001 main s1[278] : 7.000000 0000000000000111 main s1[279] : 16.000000 0000000000010000 main s1[280] : 5.000000 0000000000000101 main s1[281] : -8.000000 1111111111111000 main s1[282] : 0.000000 0000000000000000 main s1[283] : 15.000000 0000000000001111 main s1[284] : 11.000000 0000000000001011 main s1[285] : -5.000000 1111111111111011 main s1[286] : -6.000000 1111111111111010 main s1[287] : 10.000000 0000000000001010 main s1[288] : 16.000000 0000000000010000 main s1[289] : 1.000000 0000000000000001 main s1[290] : -8.000000 1111111111111000 main s1[291] : 3.000000 0000000000000011 main s1[292] : 16.000000 0000000000010000 main s1[293] : 9.000000 0000000000001001 main s1[294] : -7.000000 1111111111111001 main s1[295] : -4.000000 1111111111111100 main s1[296] : 13.000000 0000000000001101 main s1[297] : 14.000000 0000000000001110 main s1[298] : -1.000000 1111111111111111 main s1[299] : -8.000000 1111111111111000 main s1[300] : 6.000000 0000000000000110 main s1[301] : 17.000000 0000000000010001 main s1[302] : 6.000000 0000000000000110 main s1[303] : -8.000000 1111111111111000 main s1[304] : -1.000000 1111111111111111 main s1[305] : 15.000000 0000000000001111 main s1[306] : 12.000000 0000000000001100 main s1[307] : -4.000000 1111111111111100 main s1[308] : -6.000000 1111111111111010 main s1[309] : 9.000000 0000000000001001 main s1[310] : 16.000000 0000000000010000 main s1[311] : 2.000000 0000000000000010 main s1[312] : -8.000000 1111111111111000 main s1[313] : 2.000000 0000000000000010 main s1[314] : 16.000000 0000000000010000 main s1[315] : 9.000000 0000000000001001 main s1[316] : -6.000000 1111111111111010 main s1[317] : -4.000000 1111111111111100 main s1[318] : 12.000000 0000000000001100 main s1[319] : 15.000000 0000000000001111 main s1[320] : -1.000000 1111111111111111 main s1[321] : -8.000000 1111111111111000 main s1[322] : 5.000000 0000000000000101 main s1[323] : 17.000000 0000000000010001 main s1[324] : 6.000000 0000000000000110 main s1[325] : -8.000000 1111111111111000 main s1[326] : -2.000000 1111111111111110 main s1[327] : 14.000000 0000000000001110 main s1[328] : 13.000000 0000000000001101 main s1[329] : -3.000000 1111111111111101 main s1[330] : -7.000000 1111111111111001 main s1[331] : 8.000000 0000000000001000 main s1[332] : 16.000000 0000000000010000 main s1[333] : 3.000000 0000000000000011 main s1[334] : -8.000000 1111111111111000 main s1[335] : 1.000000 0000000000000001 main s1[336] : 16.000000 0000000000010000 main s1[337] : 10.000000 0000000000001010 main s1[338] : -6.000000 1111111111111010 main s1[339] : -5.000000 1111111111111011 main s1[340] : 11.000000 0000000000001011 main s1[341] : 15.000000 0000000000001111 main s1[342] : 0.000000 0000000000000000 main s1[343] : -8.000000 1111111111111000 main s1[344] : 4.000000 0000000000000100 main s1[345] : 16.000000 0000000000010000 main s1[346] : 7.000000 0000000000000111 main s1[347] : -7.000000 1111111111111001 main s1[348] : -2.000000 1111111111111110 main s1[349] : 14.000000 0000000000001110 main s1[350] : 13.000000 0000000000001101 main s1[351] : -3.000000 1111111111111101 main s1[352] : -7.000000 1111111111111001 main s1[353] : 8.000000 0000000000001000 main s1[354] : 16.000000 0000000000010000 main s1[355] : 4.000000 0000000000000100 main s1[356] : -8.000000 1111111111111000 main s1[357] : 0.000000 0000000000000000 main s1[358] : 15.000000 0000000000001111 main s1[359] : 11.000000 0000000000001011 main s1[360] : -5.000000 1111111111111011 main s1[361] : -6.000000 1111111111111010 main s1[362] : 10.000000 0000000000001010 main s1[363] : 16.000000 0000000000010000 main s1[364] : 1.000000 0000000000000001 main s1[365] : -8.000000 1111111111111000 main s1[366] : 4.000000 0000000000000100 main s1[367] : 16.000000 0000000000010000 main s1[368] : 8.000000 0000000000001000 main s1[369] : -7.000000 1111111111111001 main s1[370] : -3.000000 1111111111111101 main s1[371] : 13.000000 0000000000001101 main s1[372] : 14.000000 0000000000001110 main s1[373] : -2.000000 1111111111111110 main s1[374] : -8.000000 1111111111111000 main s1[375] : 7.000000 0000000000000111 main s1[376] : 17.000000 0000000000010001 main s1[377] : 5.000000 0000000000000101 main s1[378] : -8.000000 1111111111111000 main s1[379] : 0.000000 0000000000000000 main s1[380] : 15.000000 0000000000001111 main s1[381] : 12.000000 0000000000001100 main s1[382] : -5.000000 1111111111111011 main s1[383] : -6.000000 1111111111111010 main s1[384] : 10.000000 0000000000001010 main s1[385] : 16.000000 0000000000010000 main s1[386] : 2.000000 0000000000000010 main s1[387] : -8.000000 1111111111111000 main s1[388] : 3.000000 0000000000000011 main s1[389] : 16.000000 0000000000010000 main s1[390] : 9.000000 0000000000001001 main s1[391] : -7.000000 1111111111111001 main s1[392] : -4.000000 1111111111111100 main s1[393] : 12.000000 0000000000001100 main s1[394] : 15.000000 0000000000001111 main s1[395] : -1.000000 1111111111111111 main s1[396] : -8.000000 1111111111111000 main s1[397] : 6.000000 0000000000000110 main s1[398] : 17.000000 0000000000010001 main s1[399] : 6.000000 0000000000000110 main s1[400] : -8.000000 1111111111111000 main s1[401] : -1.000000 1111111111111111 main s1[402] : 14.000000 0000000000001110 main s1[403] : 12.000000 0000000000001100 main s1[404] : -4.000000 1111111111111100 main s1[405] : -7.000000 1111111111111001 main s1[406] : 9.000000 0000000000001001 main s1[407] : 16.000000 0000000000010000 main s1[408] : 3.000000 0000000000000011 main s1[409] : -8.000000 1111111111111000 main s1[410] : 2.000000 0000000000000010 main s1[411] : 16.000000 0000000000010000 main s1[412] : 10.000000 0000000000001010 main s1[413] : -6.000000 1111111111111010 main s1[414] : -5.000000 1111111111111011 main s1[415] : 12.000000 0000000000001100 main s1[416] : 15.000000 0000000000001111 main s1[417] : 0.000000 0000000000000000 main s1[418] : -8.000000 1111111111111000 main s1[419] : 5.000000 0000000000000101 main s1[420] : 17.000000 0000000000010001 main s1[421] : 7.000000 0000000000000111 main s1[422] : -8.000000 1111111111111000 main s1[423] : -2.000000 1111111111111110 main s1[424] : 14.000000 0000000000001110 main s1[425] : 13.000000 0000000000001101 main s1[426] : -3.000000 1111111111111101 main s1[427] : -7.000000 1111111111111001 main s1[428] : 8.000000 0000000000001000 main s1[429] : 16.000000 0000000000010000 main s1[430] : 4.000000 0000000000000100 main s1[431] : -8.000000 1111111111111000 main s1[432] : 1.000000 0000000000000001 main s1[433] : 16.000000 0000000000010000 main s1[434] : 11.000000 0000000000001011 main s1[435] : -5.000000 1111111111111011 main s1[436] : -5.000000 1111111111111011 main s1[437] : 11.000000 0000000000001011 main s1[438] : 15.000000 0000000000001111 main s1[439] : 0.000000 0000000000000000 main s1[440] : -8.000000 1111111111111000 main s1[441] : 4.000000 0000000000000100 main s1[442] : 16.000000 0000000000010000 main s1[443] : 8.000000 0000000000001000 main s1[444] : -7.000000 1111111111111001 main s1[445] : -3.000000 1111111111111101 main s1[446] : 13.000000 0000000000001101 main s1[447] : 14.000000 0000000000001110 main s1[448] : -2.000000 1111111111111110 main s1[449] : -7.000000 1111111111111001 main s1[450] : 7.000000 0000000000000111 main s1[451] : 16.000000 0000000000010000 main s1[452] : 4.000000 0000000000000100 main s1[453] : -8.000000 1111111111111000 main s1[454] : 0.000000 0000000000000000 main s1[455] : 15.000000 0000000000001111 main s1[456] : 11.000000 0000000000001011 main s1[457] : -5.000000 1111111111111011 main s1[458] : -6.000000 1111111111111010 main s1[459] : 10.000000 0000000000001010 main s1[460] : 16.000000 0000000000010000 main s1[461] : 1.000000 0000000000000001 main s1[462] : -8.000000 1111111111111000 main s1[463] : 3.000000 0000000000000011 main s1[464] : 16.000000 0000000000010000 main s1[465] : 8.000000 0000000000001000 main s1[466] : -7.000000 1111111111111001 main s1[467] : -4.000000 1111111111111100 main s1[468] : 13.000000 0000000000001101 main s1[469] : 14.000000 0000000000001110 main s1[470] : -2.000000 1111111111111110 main s1[471] : -8.000000 1111111111111000 main s1[472] : 6.000000 0000000000000110 main s1[473] : 17.000000 0000000000010001 main s1[474] : 5.000000 0000000000000101 main s1[475] : -8.000000 1111111111111000 main s1[476] : -1.000000 1111111111111111 main s1[477] : 15.000000 0000000000001111 main s1[478] : 12.000000 0000000000001100 main s1[479] : -4.000000 1111111111111100 main s1[480] : -6.000000 1111111111111010 main s1[481] : 9.000000 0000000000001001 main s1[482] : 16.000000 0000000000010000 main s1[483] : 2.000000 0000000000000010 main s1[484] : -8.000000 1111111111111000 main s1[485] : 2.000000 0000000000000010 main s1[486] : 16.000000 0000000000010000 main s1[487] : 9.000000 0000000000001001 main s1[488] : -6.000000 1111111111111010 main s1[489] : -4.000000 1111111111111100 main s1[490] : 12.000000 0000000000001100 main s1[491] : 15.000000 0000000000001111 main s1[492] : -1.000000 1111111111111111 main s1[493] : -8.000000 1111111111111000 main s1[494] : 5.000000 0000000000000101 main s1[495] : 17.000000 0000000000010001 main s1[496] : 6.000000 0000000000000110 main s1[497] : -8.000000 1111111111111000 main s1[498] : -2.000000 1111111111111110 main s1[499] : 14.000000 0000000000001110 main s1[500] : 13.000000 0000000000001101 main s1[501] : -4.000000 1111111111111100 main s1[502] : -7.000000 1111111111111001 main s1[503] : 9.000000 0000000000001001 main s1[504] : 16.000000 0000000000010000 main s1[505] : 3.000000 0000000000000011 main s1[506] : -8.000000 1111111111111000 main s1[507] : 1.000000 0000000000000001 main s1[508] : 16.000000 0000000000010000 main s1[509] : 10.000000 0000000000001010 main s1[510] : -6.000000 1111111111111010 main s1[511] : -5.000000 1111111111111011 main r[0] : 46727.000000 0000001011011010000111 main r[1] : 13915.000000 0000000011011001011011 main r[2] : -28228.000000 1111111001000110111100 main r[3] : -7976.000000 1111111110000011011000 main r[4] : 39626.000000 0000001001101011001010 main r[5] : 33281.000000 0000001000001000000001 main r[6] : -15833.000000 1111111100001000100111 main r[7] : -23827.000000 1111111010001011101101 main r[8] : 22512.000000 0000000101011111110000 main r[9] : 43810.000000 0000001010101100100010 main r[10] : 3946.000000 0000000000111101101010 main r[11] : -28770.000000 1111111000111110011110 main r[12] : 1216.000000 0000000000010011000000 main r[13] : 42309.000000 0000001010010101000101 main r[14] : 24419.000000 0000000101111101100011 main r[15] : -21546.000000 1111111010101111010110 main r[16] : -17197.000000 1111111011110011010011 main r[17] : 29805.000000 0000000111010001101101 main r[18] : 39111.000000 0000001001100011000111 main r[19] : -5025.000000 1111111110110001011111 main r[20] : -27121.000000 1111111001011000001111 main r[21] : 10368.000000 0000000010100010000000 main r[22] : 43228.000000 0000001010100011011100 main r[23] : 15414.000000 0000000011110000110110 main r[24] : -25401.000000 1111111001110011000111 main r[25] : -9605.000000 1111111101101001111011 main r[26] : 35603.000000 0000001000101100010011 main r[27] : 32988.000000 0000001000000011011100 main r[28] : -12814.000000 1111111100110111110010 main r[29] : -23540.000000 1111111010010000001100 main r[30] : 18908.000000 0000000100100111011100 main r[31] : 41915.000000 0000001010001110111011 main r[32] : 6300.000000 0000000001100010011100 main r[33] : -26970.000000 1111111001011010100110 main r[34] : -1210.000000 1111111111101101000110 main r[35] : 39360.000000 0000001001100111000000 main r[36] : 25477.000000 0000000110001110000101 main r[37] : -18964.000000 1111111011010111101100 main r[38] : -18083.000000 1111111011100101011101 main r[39] : 26387.000000 0000000110011100010011 main r[40] : 38380.000000 0000001001010111101100 main r[41] : -2433.000000 1111111111011001111111 main r[42] : -26222.000000 1111111001100110010010 main r[43] : 7454.000000 0000000001110100011110 main r[44] : 40872.000000 0000001001111110101000 main r[45] : 17016.000000 0000000100001001111000 main r[46] : -23178.000000 1111111010010101110110 main r[47] : -11134.000000 1111111101010010000010 main r[48] : 32354.000000 0000000111111001100010 main r[49] : 32969.000000 0000001000000011001001 main r[50] : -10195.000000 1111111101100000101101 main r0[0] : 23363.000000 0101101101000011 main r0[1] : 6957.000000 0001101100101101 main r0[2] : -14114.000000 1100100011011110 main r0[3] : -3988.000000 1111000001101100 main r0[4] : 19813.000000 0100110101100101 main r0[5] : 16640.000000 0100000100000000 main r0[6] : -7917.000000 1110000100010011 main r0[7] : -11914.000000 1101000101110110 main r0[8] : 11256.000000 0010101111111000 main r0[9] : 21905.000000 0101010110010001 main r0[10] : 1973.000000 0000011110110101 main r0[11] : -14385.000000 1100011111001111 main r0[12] : 608.000000 0000001001100000 main r0[13] : 21154.000000 0101001010100010 main r0[14] : 12209.000000 0010111110110001 main r0[15] : -10773.000000 1101010111101011 main r0[16] : -8599.000000 1101111001101001 main r0[17] : 14902.000000 0011101000110110 main r0[18] : 19555.000000 0100110001100011 main r0[19] : -2513.000000 1111011000101111 main r0[20] : -13561.000000 1100101100000111 main r0[21] : 5184.000000 0001010001000000 main r0[22] : 21614.000000 0101010001101110 main r0[23] : 7707.000000 0001111000011011 main r0[24] : -12701.000000 1100111001100011 main r0[25] : -4803.000000 1110110100111101 main r0[26] : 17801.000000 0100010110001001 main r0[27] : 16494.000000 0100000001101110 main r0[28] : -6407.000000 1110011011111001 main r0[29] : -11770.000000 1101001000000110 main r0[30] : 9454.000000 0010010011101110 main r0[31] : 20957.000000 0101000111011101 main r0[32] : 3150.000000 0000110001001110 main r0[33] : -13485.000000 1100101101010011 main r0[34] : -605.000000 1111110110100011 main r0[35] : 19680.000000 0100110011100000 main r0[36] : 12738.000000 0011000111000010 main r0[37] : -9482.000000 1101101011110110 main r0[38] : -9042.000000 1101110010101110 main r0[39] : 13193.000000 0011001110001001 main r0[40] : 19190.000000 0100101011110110 main r0[41] : -1217.000000 1111101100111111 main r0[42] : -13111.000000 1100110011001001 main r0[43] : 3727.000000 0000111010001111 main r0[44] : 20436.000000 0100111111010100 main r0[45] : 8508.000000 0010000100111100 main r0[46] : -11589.000000 1101001010111011 main r0[47] : -5567.000000 1110101001000001 main r0[48] : 16177.000000 0011111100110001 main r0[49] : 16484.000000 0100000001100100 main r0[50] : -5098.000000 1110110000010110 main nscl : 0.000000 0000000 main alpha[0] : 0.000000 0000000000000000 main alpha[1] : -27605.000000 1001010000101011 main alpha[2] : 32179.000000 0111110110110011 main alpha[3] : -20402.000000 1011000001001110 main alpha[4] : -5600.000000 1110101000100000 main alpha[5] : -5753.000000 1110100110000111 main alpha[6] : -983.000000 1111110000101001 main alpha[7] : -2796.000000 1111010100010100 main alpha[8] : 683.000000 0000001010101011 main alpha[9] : -2134.000000 1111011110101010 main alpha[10] : 3407.000000 0000110101001111 main alpha[11] : -2874.000000 1111010011000110 main alpha[12] : 5300.000000 0001010010110100 main alpha[13] : -3105.000000 1111001111011111 main alpha[14] : 9706.000000 0010010111101010 main alpha[15] : -14725.000000 1100011001111011 main alpha[16] : 13390.000000 0011010001001110 main alpha[17] : -13167.000000 1100110010010001 main alpha[18] : 2648.000000 0000101001011000 main alpha[19] : 110.000000 0000000001101110 main alpha[20] : -1114.000000 1111101110100110 main alpha[21] : 479.000000 0000000111011111 main alpha[22] : 509.000000 0000000111111101 main alpha[23] : -318.000000 1111111011000010 main alpha[24] : 1775.000000 0000011011101111 main alpha[25] : -1526.000000 1111101000001010 main alpha[26] : 2951.000000 0000101110000111 main alpha[27] : -3590.000000 1111000111111010 main alpha[28] : 4495.000000 0001000110001111 main alpha[29] : -7967.000000 1110000011100001 main alpha[30] : 8438.000000 0010000011110110 main alpha[31] : -9139.000000 1101110001001101 main alpha[32] : 5761.000000 0001011010000001 main alpha[33] : -2035.000000 1111100000001101 main alpha[34] : -75.000000 1111111110110101 main alpha[35] : 641.000000 0000001010000001 main alpha[36] : 444.000000 0000000110111100 main alpha[37] : -1479.000000 1111101000111001 main alpha[38] : 2705.000000 0000101010010001 main alpha[39] : -2750.000000 1111010101000010 main alpha[40] : 2282.000000 0000100011101010 main alpha[41] : -1523.000000 1111101000001101 main alpha[42] : 742.000000 0000001011100110 main alpha[43] : -1456.000000 1111101001010000 main alpha[44] : 2325.000000 0000100100010101 main alpha[45] : -2412.000000 1111011010010100 main alpha[46] : 1592.000000 0000011000111000 main alpha[47] : -753.000000 1111110100001111 main alpha[48] : 6.000000 0000000000000110 main alpha[49] : -91.000000 1111111110100101 main alpha[50] : 381.000000 0000000101111101 main lambda[0] : 69391824.000000 00000100001000101101010111010000 main lambda[1] : -50704371.000000 11111100111110100101000000001101 main lambda[2] : 36376767.000000 00000010001010110001000010111111 main lambda[3] : -18526669.000000 11111110111001010100111000110011 main lambda[4] : 5529531.000000 00000000010101000101111110111011 main lambda[5] : -8968527.000000 11111111011101110010011010110001 main lambda[6] : 5474900.000000 00000000010100111000101001010100 main lambda[7] : -8043970.000000 11111111100001010100001000111110 main lambda[8] : 7287839.000000 00000000011011110011010000011111 main lambda[9] : -9650247.000000 11111111011011001011111110111001 main lambda[10] : 10742292.000000 00000000101000111110101000010100 main lambda[11] : -12236478.000000 11111111010001010100100101000010 main lambda[12] : 19172243.000000 00000001001001001000101110010011 main lambda[13] : -23537199.000000 11111110100110001101100111010001 main lambda[14] : 30399515.000000 00000001110011111101110000011011 main lambda[15] : -29117847.000000 11111110010000111011001001101001 main lambda[16] : 21058860.000000 00000001010000010101010100101100 main lambda[17] : -13037609.000000 11111111001110010000111111010111 main lambda[18] : 4229006.000000 00000000010000001000011110001110 main lambda[19] : -2321750.000000 11111111110111001001001010101010 main lambda[20] : 2029853.000000 00000000000111101111100100011101 main lambda[21] : -3415040.000000 11111111110010111110010000000000 main lambda[22] : 4607770.000000 00000000010001100100111100011010 main lambda[23] : -5319854.000000 11111111101011101101001101010010 main lambda[24] : 6832455.000000 00000000011010000100000101000111 main lambda[25] : -7156941.000000 11111111100100101100101100110011 main lambda[26] : 9589128.000000 00000000100100100101000110001000 main lambda[27] : -11974021.000000 11111111010010010100101001111011 main lambda[28] : 14627170.000000 00000000110111110011000101100010 main lambda[29] : -16126248.000000 11111111000010011110111011011000 main lambda[30] : 13645747.000000 00000000110100000011011110110011 main lambda[31] : -9701972.000000 11111111011010111111010110101100 main lambda[32] : 4698023.000000 00000000010001111010111110100111 main lambda[33] : -1712916.000000 11111111111001011101110011101100 main lambda[34] : 980307.000000 00000000000011101111010101010011 main lambda[35] : -1899858.000000 11111111111000110000001010101110 main lambda[36] : 3377906.000000 00000000001100111000101011110010 main lambda[37] : -4191992.000000 11111111110000000000100100001000 main lambda[38] : 4417667.000000 00000000010000110110100010000011 main lambda[39] : -3538880.000000 11111111110010100000000001000000 main lambda[40] : 2707717.000000 00000000001010010101000100000101 main lambda[41] : -2507492.000000 11111111110110011011110100011100 main lambda[42] : 2882153.000000 00000000001010111111101001101001 main lambda[43] : -3418458.000000 11111111110010111101011010100110 main lambda[44] : 3273060.000000 00000000001100011111000101100100 main lambda[45] : -2328426.000000 11111111110111000111100010010110 main lambda[46] : 1138581.000000 00000000000100010101111110010101 main lambda[47] : -555335.000000 11111111111101111000011010111001 main lambda[48] : 233887.000000 00000000000000111001000110011111 main lambda[49] : -210929.000000 11111111111111001100100000001111 main lambda[50] : 195072.000000 00000000000000101111101000000000 main lambda0[0] : 16941.000000 0100001000101101 main lambda0[1] : -12379.000000 1100111110100101 main lambda0[2] : 8881.000000 0010001010110001 main lambda0[3] : -4524.000000 1110111001010100 main lambda0[4] : 1349.000000 0000010101000101 main lambda0[5] : -2190.000000 1111011101110010 main lambda0[6] : 1336.000000 0000010100111000 main lambda0[7] : -1964.000000 1111100001010100 main lambda0[8] : 1779.000000 0000011011110011 main lambda0[9] : -2357.000000 1111011011001011 main lambda0[10] : 2622.000000 0000101000111110 main lambda0[11] : -2988.000000 1111010001010100 main lambda0[12] : 4680.000000 0001001001001000 main lambda0[13] : -5747.000000 1110100110001101 main lambda0[14] : 7421.000000 0001110011111101 main lambda0[15] : -7109.000000 1110010000111011 main lambda0[16] : 5141.000000 0001010000010101 main lambda0[17] : -3184.000000 1111001110010000 main lambda0[18] : 1032.000000 0000010000001000 main lambda0[19] : -567.000000 1111110111001001 main lambda0[20] : 495.000000 0000000111101111 main lambda0[21] : -834.000000 1111110010111110 main lambda0[22] : 1124.000000 0000010001100100 main lambda0[23] : -1299.000000 1111101011101101 main lambda0[24] : 1668.000000 0000011010000100 main lambda0[25] : -1748.000000 1111100100101100 main lambda0[26] : 2341.000000 0000100100100101 main lambda0[27] : -2924.000000 1111010010010100 main lambda0[28] : 3571.000000 0000110111110011 main lambda0[29] : -3938.000000 1111000010011110 main lambda0[30] : 3331.000000 0000110100000011 main lambda0[31] : -2369.000000 1111011010111111 main lambda0[32] : 1146.000000 0000010001111010 main lambda0[33] : -419.000000 1111111001011101 main lambda0[34] : 239.000000 0000000011101111 main lambda0[35] : -464.000000 1111111000110000 main lambda0[36] : 824.000000 0000001100111000 main lambda0[37] : -1024.000000 1111110000000000 main lambda0[38] : 1078.000000 0000010000110110 main lambda0[39] : -864.000000 1111110010100000 main lambda0[40] : 661.000000 0000001010010101 main lambda0[41] : -613.000000 1111110110011011 main lambda0[42] : 703.000000 0000001010111111 main lambda0[43] : -835.000000 1111110010111101 main lambda0[44] : 799.000000 0000001100011111 main lambda0[45] : -569.000000 1111110111000111 main lambda0[46] : 277.000000 0000000100010101 main lambda0[47] : -136.000000 1111111101111000 main lambda0[48] : 57.000000 0000000000111001 main lambda0[49] : -52.000000 1111111111001100 main lambda0[50] : 47.000000 0000000000101111 main syn[0] : 40602112.000000 00000010011010111000101000000000 main syn[1] : -38122176.000000 11111101101110100100110101000000 main syn[2] : 20196608.000000 00000001001101000010110100000000 main syn[3] : 22134528.000000 00000001010100011011111100000000 main syn[4] : -1242944.000000 11111111111011010000100011000000 main syn[5] : 10708288.000000 00000000101000110110010101000000 main syn[6] : -2795072.000000 11111111110101010101100111000000 main syn[7] : 4111488.000000 00000000001111101011110010000000 main syn[8] : 2352640.000000 00000000001000111110011000000000 main syn[9] : -723904.000000 11111111111101001111010001000000 main syn[10] : 7753024.000000 00000000011101100100110101000000 main syn[11] : 2416512.000000 00000000001001001101111110000000 main syn[12] : 16388928.000000 00000000111110100001001101000000 main syn[13] : 27783552.000000 00000001101001111111000110000000 main syn[14] : -50392384.000000 11111100111111110001001011000000 main syn[15] : 55613376.000000 00000011010100001001011111000000