main s[0] :	29921.000000	0111010011100001
main s[1] :	17614.000000	0100010011001110
main s[2] :	-24678.000000	1001111110011010
main s[3] :	-24680.000000	1001111110011000
main s[4] :	17611.000000	0100010011001011
main s[5] :	29922.000000	0111010011100010
main s[6] :	-8786.000000	1101110110101110
main s[7] :	-32363.000000	1000000110010101
main s[8] :	-515.000000	1111110111111101
main s[9] :	32329.000000	0111111001001001
main s[10] :	10041.000000	0010011100111001
main s[11] :	-29291.000000	1000110110010101
main s[12] :	-18449.000000	1011011111101111
main s[13] :	24037.000000	0101110111100101
main s[14] :	25562.000000	0110001111011010
main s[15] :	-16481.000000	1011111110011111
main s[16] :	-30242.000000	1000100111011110
main s[17] :	7796.000000	0001111001110100
main s[18] :	32628.000000	0111111101110100
main s[19] :	1815.000000	0000011100010111
main s[20] :	-31983.000000	1000001100010001
main s[21] :	-11008.000000	1101010100000000
main s[22] :	28895.000000	0111000011011111
main s[23] :	19534.000000	0100110001001110
main s[24] :	-23094.000000	1010010111001010
main s[25] :	-26139.000000	1001100111100101
main s[26] :	15603.000000	0011110011110011
main s[27] :	30796.000000	0111100001001100
main s[28] :	-6524.000000	1110011010000100
main s[29] :	-32579.000000	1000000010111101
main s[30] :	-2841.000000	1111010011100111
main s[31] :	31868.000000	0111110001111100
main s[32] :	12232.000000	0010111111001000
main s[33] :	-28191.000000	1001000111100001
main s[34] :	-20321.000000	1011000010011111
main s[35] :	22393.000000	0101011101111001
main s[36] :	26955.000000	0110100101001011
main s[37] :	-14432.000000	1100011110100000
main s[38] :	-31039.000000	1000011011000001
main s[39] :	5515.000000	0001010110001011
main s[40] :	32760.000000	0111111111111000
main s[41] :	4135.000000	0001000000100111
main s[42] :	-31440.000000	1000010100110000
main s[43] :	-13169.000000	1100110010001111
main s[44] :	27724.000000	0110110001001100
main s[45] :	21354.000000	0101001101101010
main s[46] :	-21392.000000	1010110001110000
main s[47] :	-27464.000000	1001010010111000
main s[48] :	13515.000000	0011010011001011
main s[49] :	31514.000000	0111101100011010
main s[50] :	-4227.000000	1110111101111101
main s[51] :	-32628.000000	1000000010001100
main s[52] :	-5152.000000	1110101111100000
main s[53] :	31245.000000	0111101000001101
main s[54] :	14362.000000	0011100000011010
main s[55] :	-26949.000000	1001011010111011
main s[56] :	-22089.000000	1010100110110111
main s[57] :	20636.000000	0101000010011100
main s[58] :	28211.000000	0110111000110011
main s[59] :	-12309.000000	1100111111101011
main s[60] :	-31677.000000	1000010001000011
main s[61] :	3206.000000	0000110010000110
main s[62] :	32727.000000	0111111111010111
main s[63] :	6434.000000	0001100100100010
main s[64] :	-30738.000000	1000011111101110
main s[65] :	-15264.000000	1100010001100000
main s[66] :	26412.000000	0110011100101100
main s[67] :	23067.000000	0101101000011011
main s[68] :	-19582.000000	1011001110000010
main s[69] :	-28650.000000	1001000000010110
main s[70] :	11360.000000	0010110001100000
main s[71] :	32072.000000	0111110101001000
main s[72] :	-1909.000000	1111100010001011
main s[73] :	-32512.000000	1000000100000000
main s[74] :	-7437.000000	1110001011110011
main s[75] :	30464.000000	0111011100000000
main s[76] :	16419.000000	0100000000100011
main s[77] :	-25569.000000	1001110000011111
main s[78] :	-23744.000000	1010001101000000
main s[79] :	18775.000000	0100100101010111
main s[80] :	29325.000000	0111001010001101
main s[81] :	-10123.000000	1101100001110101
main s[82] :	-32155.000000	1000001001100101
main s[83] :	882.000000	0000001101110010
main s[84] :	32528.000000	0111111100010000
main s[85] :	8701.000000	0010000111111101
main s[86] :	-29879.000000	1000101101001001
main s[87] :	-17281.000000	1011110001111111
main s[88] :	24966.000000	0110000110000110
main s[89] :	24663.000000	0110000001010111
main s[90] :	-17671.000000	1011101011111001
main s[91] :	-29690.000000	1000110000000110
main s[92] :	9146.000000	0010001110111010
main s[93] :	32469.000000	0111111011010101
main s[94] :	418.000000	0000000110100010
main s[95] :	-32231.000000	1000001000011001
main s[96] :	-9683.000000	1101101000101101
main s[97] :	29529.000000	0111001101011001
main s[98] :	18393.000000	0100011111011001
main s[99] :	-24059.000000	1010001000000101
main s[100] :	-25279.000000	1001110101000001
main s[101] :	16818.000000	0100000110110010
main s[102] :	30290.000000	0111011001010010
main s[103] :	-7886.000000	1110000100110010
main s[104] :	-32469.000000	1000000100101011
main s[105] :	-1447.000000	1111101001011001
main s[106] :	32164.000000	0111110110100100
main s[107] :	10924.000000	0010101010101100
main s[108] :	-28869.000000	1000111100111011
main s[109] :	-19210.000000	1011010011110110
main s[110] :	23394.000000	0101101101100010
main s[111] :	26135.000000	0110011000010111
main s[112] :	-15671.000000	1100001011001001
main s[113] :	-30579.000000	1000100010001101
main s[114] :	6888.000000	0001101011101000
main s[115] :	32700.000000	0111111110111100
main s[116] :	2745.000000	0000101010111001
main s[117] :	-31785.000000	1000001111010111
main s[118] :	-11879.000000	1101000110011001
main s[119] :	28444.000000	0110111100011100
main s[120] :	20274.000000	0100111100110010
main s[121] :	-22427.000000	1010100001100101
main s[122] :	-26685.000000	1001011111000011
main s[123] :	14776.000000	0011100110111000
main s[124] :	31102.000000	0111100101111110
main s[125] :	-5609.000000	1110101000010111
main s[126] :	-32618.000000	1000000010010110
main s[127] :	-3768.000000	1111000101001000
main s[128] :	31638.000000	0111101110010110
main s[129] :	13092.000000	0011001100100100
main s[130] :	-27711.000000	1001001111000001
main s[131] :	-21041.000000	1010110111001111
main s[132] :	21704.000000	0101010011001000
main s[133] :	27474.000000	0110101101010010
main s[134] :	-13591.000000	1100101011101001
main s[135] :	-31313.000000	1000010110101111
main s[136] :	4594.000000	0001000111110010
main s[137] :	32767.000000	0111111111111111
main s[138] :	5058.000000	0001001111000010
main s[139] :	-31178.000000	1000011000110110
main s[140] :	-14015.000000	1100100101000001
main s[141] :	27215.000000	0110101001001111
main s[142] :	22053.000000	0101011000100101
main s[143] :	-20681.000000	1010111100110111
main s[144] :	-27956.000000	1001001011001100
main s[145] :	12661.000000	0011000101110101
main s[146] :	31757.000000	0111110000001101
main s[147] :	-3302.000000	1111001100011010
main s[148] :	-32602.000000	1000000010100110
main s[149] :	-6069.000000	1110100001001011
main s[150] :	30951.000000	0111100011100111
main s[151] :	15194.000000	0011101101011010
main s[152] :	-26413.000000	1001100011010011
main s[153] :	-22765.000000	1010011100010011
main s[154] :	19903.000000	0100110110111111
main s[155] :	28674.000000	0111000000000010
main s[156] :	-11442.000000	1101001101001110
main s[157] :	-31888.000000	1000001101110000
main s[158] :	2277.000000	0000100011100101
main s[159] :	32667.000000	0111111110011011
main s[160] :	7345.000000	0001110010110001
main s[161] :	-30413.000000	1000100100110011
main s[162] :	-16081.000000	1100000100101111
main s[163] :	25849.000000	0110010011111001
main s[164] :	23720.000000	0101110010101000
main s[165] :	-18829.000000	1011011001110011
main s[166] :	-29084.000000	1000111001100100
main s[167] :	10481.000000	0010100011110001
main s[168] :	32251.000000	0111110111111011
main s[169] :	-978.000000	1111110000101110
main s[170] :	-32419.000000	1000000101011101
main s[171] :	-8340.000000	1101111101101100
main s[172] :	30108.000000	0111010110011100
main s[173] :	17219.000000	0100001101000011
main s[174] :	-24981.000000	1001111001101011
main s[175] :	-24373.000000	1010000011001011
main s[176] :	18003.000000	0100011001010011
main s[177] :	29729.000000	0111010000100001
main s[178] :	-9234.000000	1101101111101110
main s[179] :	-32300.000000	1000000111010100
main s[180] :	-50.000000	1111111111001110
main s[181] :	32402.000000	0111111010010010
main s[182] :	9595.000000	0010010101111011
main s[183] :	-29493.000000	1000110011001011
main s[184] :	-18064.000000	1011100101110000
main s[185] :	24352.000000	0101111100100000
main s[186] :	25267.000000	0110001010110011
main s[187] :	-16882.000000	1011111000001110
main s[188] :	-30064.000000	1000101010010000
main s[189] :	8248.000000	0010000000111000
main s[190] :	32581.000000	0111111101000101
main s[191] :	1350.000000	0000010101000110
main s[192] :	-32072.000000	1000001010111000
main s[193] :	-10567.000000	1101011010111001
main s[194] :	29112.000000	0111000110111000
main s[195] :	19157.000000	0100101011010101
main s[196] :	-23421.000000	1010010010000011
main s[197] :	-25857.000000	1001101011111111
main s[198] :	16011.000000	0011111010001011
main s[199] :	30634.000000	0111011110101010
main s[200] :	-6979.000000	1110010010111101
main s[201] :	-32549.000000	1000000011011011
main s[202] :	-2377.000000	1111011010110111
main s[203] :	31973.000000	0111110011100101
main s[204] :	11798.000000	0010111000010110
main s[205] :	-28423.000000	1001000011111001
main s[206] :	-19954.000000	1011001000001110
main s[207] :	22732.000000	0101100011001100
main s[208] :	26686.000000	0110100000111110
main s[209] :	-14849.000000	1100010111111111
main s[210] :	-30892.000000	1000011101010100
main s[211] :	5974.000000	0001011101010110
main s[212] :	32747.000000	0111111111101011
main s[213] :	3673.000000	0000111001011001
main s[214] :	-31562.000000	1000010010110110
main s[215] :	-12741.000000	1100111000111011
main s[216] :	27969.000000	0110110101000001
main s[217] :	20998.000000	0101001000000110
main s[218] :	-21742.000000	1010101100010010
main s[219] :	-27210.000000	1001010110110110
main s[220] :	13939.000000	0011011001110011
main s[221] :	31383.000000	0111101010010111
main s[222] :	-4689.000000	1110110110101111
main s[223] :	-32632.000000	1000000010001000
main s[224] :	-4691.000000	1110110110101101
main s[225] :	31382.000000	0111101010010110
main s[226] :	13941.000000	0011011001110101
main s[227] :	-27208.000000	1001010110111000
main s[228] :	-21744.000000	1010101100010000
main s[229] :	20996.000000	0101001000000100
main s[230] :	27971.000000	0110110101000011
main s[231] :	-12740.000000	1100111000111100
main s[232] :	-31563.000000	1000010010110101
main s[233] :	3669.000000	0000111001010101
main s[234] :	32747.000000	0111111111101011
main s[235] :	5977.000000	0001011101011001
main s[236] :	-30891.000000	1000011101010101
main s[237] :	-14851.000000	1100010111111101
main s[238] :	26685.000000	0110100000111101
main s[239] :	22734.000000	0101100011001110
main s[240] :	-19953.000000	1011001000001111
main s[241] :	-28424.000000	1001000011111000
main s[242] :	11796.000000	0010111000010100
main s[243] :	31974.000000	0111110011100110
main s[244] :	-2374.000000	1111011010111010
main s[245] :	-32549.000000	1000000011011011
main s[246] :	-6982.000000	1110010010111010
main s[247] :	30633.000000	0111011110101001
main s[248] :	16013.000000	0011111010001101
main s[249] :	-25856.000000	1001101100000000
main s[250] :	-23422.000000	1010010010000010
main s[251] :	19155.000000	0100101011010011
main s[252] :	29113.000000	0111000110111001
main s[253] :	-10565.000000	1101011010111011
main s[254] :	-32073.000000	1000001010110111
main s[255] :	1347.000000	0000010101000011
main s[256] :	32581.000000	0111111101000101
main s[257] :	8250.000000	0010000000111010
main s[258] :	-30063.000000	1000101010010001
main s[259] :	-16884.000000	1011111000001100
main s[260] :	25265.000000	0110001010110001
main s[261] :	24354.000000	0101111100100010
main s[262] :	-18061.000000	1011100101110011
main s[263] :	-29494.000000	1000110011001010
main s[264] :	9594.000000	0010010101111010
main s[265] :	32402.000000	0111111010010010
main s[266] :	-47.000000	1111111111010001
main s[267] :	-32300.000000	1000000111010100
main s[268] :	-9237.000000	1101101111101011
main s[269] :	29727.000000	0111010000011111
main s[270] :	18005.000000	0100011001010101
main s[271] :	-24371.000000	1010000011001101
main s[272] :	-24982.000000	1001111001101010
main s[273] :	17217.000000	0100001101000001
main s[274] :	30109.000000	0111010110011101
main s[275] :	-8338.000000	1101111101101110
main s[276] :	-32419.000000	1000000101011101
main s[277] :	-981.000000	1111110000101011
main s[278] :	32250.000000	0111110111111010
main s[279] :	10483.000000	0010100011110011
main s[280] :	-29083.000000	1000111001100101
main s[281] :	-18832.000000	1011011001110000
main s[282] :	23717.000000	0101110010100101
main s[283] :	25851.000000	0110010011111011
main s[284] :	-16078.000000	1100000100110010
main s[285] :	-30414.000000	1000100100110010
main s[286] :	7343.000000	0001110010101111
main s[287] :	32667.000000	0111111110011011
main s[288] :	2280.000000	0000100011101000
main s[289] :	-31887.000000	1000001101110001
main s[290] :	-11445.000000	1101001101001011
main s[291] :	28673.000000	0111000000000001
main s[292] :	19906.000000	0100110111000010
main s[293] :	-22763.000000	1010011100010101
main s[294] :	-26414.000000	1001100011010010
main s[295] :	15191.000000	0011101101010111
main s[296] :	30952.000000	0111100011101000
main s[297] :	-6066.000000	1110100001001110
main s[298] :	-32602.000000	1000000010100110
main s[299] :	-3305.000000	1111001100010111
main s[300] :	31756.000000	0111110000001100
main s[301] :	12664.000000	0011000101111000
main s[302] :	-27954.000000	1001001011001110
main s[303] :	-20682.000000	1010111100110110
main s[304] :	22051.000000	0101011000100011
main s[305] :	27216.000000	0110101001010000
main s[306] :	-14013.000000	1100100101000011
main s[307] :	-31179.000000	1000011000110101
main s[308] :	5054.000000	0001001110111110
main s[309] :	32767.000000	0111111111111111
main s[310] :	4598.000000	0001000111110110
main s[311] :	-31312.000000	1000010110110000
main s[312] :	-13595.000000	1100101011100101
main s[313] :	27472.000000	0110101101010000
main s[314] :	21705.000000	0101010011001001
main s[315] :	-21039.000000	1010110111010001
main s[316] :	-27713.000000	1001001110111111
main s[317] :	13089.000000	0011001100100001
main s[318] :	31638.000000	0111101110010110
main s[319] :	-3766.000000	1111000101001010
main s[320] :	-32618.000000	1000000010010110
main s[321] :	-5610.000000	1110101000010110
main s[322] :	31101.000000	0111100101111101
main s[323] :	14779.000000	0011100110111011
main s[324] :	-26683.000000	1001011111000101
main s[325] :	-22429.000000	1010100001100011
main s[326] :	20271.000000	0100111100101111
main s[327] :	28445.000000	0110111100011101
main s[328] :	-11877.000000	1101000110011011
main s[329] :	-31786.000000	1000001111010110
main s[330] :	2742.000000	0000101010110110
main s[331] :	32700.000000	0111111110111100
main s[332] :	6890.000000	0001101011101010
main s[333] :	-30579.000000	1000100010001101
main s[334] :	-15673.000000	1100001011000111
main s[335] :	26134.000000	0110011000010110
main s[336] :	23395.000000	0101101101100011
main s[337] :	-19208.000000	1011010011111000
main s[338] :	-28870.000000	1000111100111010
main s[339] :	10922.000000	0010101010101010
main s[340] :	32165.000000	0111110110100101
main s[341] :	-1444.000000	1111101001011100
main s[342] :	-32469.000000	1000000100101011
main s[343] :	-7889.000000	1110000100101111
main s[344] :	30289.000000	0111011001010001
main s[345] :	16820.000000	0100000110110100
main s[346] :	-25278.000000	1001110101000010
main s[347] :	-24061.000000	1010001000000011
main s[348] :	18392.000000	0100011111011000
main s[349] :	29529.000000	0111001101011001
main s[350] :	-9681.000000	1101101000101111
main s[351] :	-32231.000000	1000001000011001
main s[352] :	415.000000	0000000110011111
main s[353] :	32468.000000	0111111011010100
main s[354] :	9151.000000	0010001110111111
main s[355] :	-29689.000000	1000110000000111
main s[356] :	-17674.000000	1011101011110110
main s[357] :	24661.000000	0110000001010101
main s[358] :	24967.000000	0110000110000111
main s[359] :	-17279.000000	1011110010000001
main s[360] :	-29880.000000	1000101101001000
main s[361] :	8699.000000	0010000111111011
main s[362] :	32528.000000	0111111100010000
main s[363] :	884.000000	0000001101110100
main s[364] :	-32155.000000	1000001001100101
main s[365] :	-10125.000000	1101100001110011
main s[366] :	29324.000000	0111001010001100
main s[367] :	18777.000000	0100100101011001
main s[368] :	-23742.000000	1010001101000010
main s[369] :	-25571.000000	1001110000011101
main s[370] :	16417.000000	0100000000100001
main s[371] :	30465.000000	0111011100000001
main s[372] :	-7433.000000	1110001011110111
main s[373] :	-32512.000000	1000000100000000
main s[374] :	-1911.000000	1111100010001001
main s[375] :	32072.000000	0111110101001000
main s[376] :	11362.000000	0010110001100010
main s[377] :	-28649.000000	1001000000010111
main s[378] :	-19583.000000	1011001110000001
main s[379] :	23065.000000	0101101000011001
main s[380] :	26412.000000	0110011100101100
main s[381] :	-15261.000000	1100010001100011
main s[382] :	-30739.000000	1000011111101101
main s[383] :	6432.000000	0001100100100000
main s[384] :	32727.000000	0111111111010111
main s[385] :	3209.000000	0000110010001001
main s[386] :	-31677.000000	1000010001000011
main s[387] :	-12311.000000	1100111111101001
main s[388] :	28210.000000	0110111000110010
main s[389] :	20637.000000	0101000010011101
main s[390] :	-22087.000000	1010100110111001
main s[391] :	-26950.000000	1001011010111010
main s[392] :	14359.000000	0011100000010111
main s[393] :	31245.000000	0111101000001101
main s[394] :	-5150.000000	1110101111100010
main s[395] :	-32628.000000	1000000010001100
main s[396] :	-4230.000000	1110111101111010
main s[397] :	31513.000000	0111101100011001
main s[398] :	13519.000000	0011010011001111
main s[399] :	-27463.000000	1001010010111001
main s[400] :	-21394.000000	1010110001101110
main s[401] :	21352.000000	0101001101101000
main s[402] :	27724.000000	0110110001001100
main s[403] :	-13167.000000	1100110010010001
main s[404] :	-31441.000000	1000010100101111
main s[405] :	4134.000000	0001000000100110
main s[406] :	32760.000000	0111111111111000
main s[407] :	5517.000000	0001010110001101
main s[408] :	-31038.000000	1000011011000010
main s[409] :	-14435.000000	1100011110011101
main s[410] :	26952.000000	0110100101001000
main s[411] :	22395.000000	0101011101111011
main s[412] :	-20319.000000	1011000010100001
main s[413] :	-28193.000000	1001000111011111
main s[414] :	12231.000000	0010111111000111
main s[415] :	31868.000000	0111110001111100
main s[416] :	-2839.000000	1111010011101001
main s[417] :	-32578.000000	1000000010111110
main s[418] :	-6525.000000	1110011010000011
main s[419] :	30795.000000	0111100001001011
main s[420] :	15605.000000	0011110011110101
main s[421] :	-26138.000000	1001100111100110
main s[422] :	-23095.000000	1010010111001001
main s[423] :	19530.000000	0100110001001010
main s[424] :	28896.000000	0111000011100000
main s[425] :	-11005.000000	1101010100000011
main s[426] :	-31984.000000	1000001100010000
main s[427] :	1813.000000	0000011100010101
main s[428] :	32627.000000	0111111101110011
main s[429] :	7799.000000	0001111001110111
main s[430] :	-30242.000000	1000100111011110
main s[431] :	-16483.000000	1011111110011101
main s[432] :	25560.000000	0110001111011000
main s[433] :	24039.000000	0101110111100111
main s[434] :	-18448.000000	1011011111110000
main s[435] :	-29291.000000	1000110110010101
main s[436] :	10039.000000	0010011100110111
main s[437] :	32330.000000	0111111001001010
main s[438] :	-512.000000	1111111000000000
main s[439] :	-32363.000000	1000000110010101
main s[440] :	-8789.000000	1101110110101011
main s[441] :	29921.000000	0111010011100001
main s[442] :	17614.000000	0100010011001110
main s[443] :	-24679.000000	1001111110011001
main s[444] :	-24680.000000	1001111110011000
main s[445] :	17612.000000	0100010011001100
main s[446] :	29921.000000	0111010011100001
main s[447] :	-8788.000000	1101110110101100
main s[448] :	-32363.000000	1000000110010101
main s[449] :	-515.000000	1111110111111101
main s[450] :	32329.000000	0111111001001001
main s[451] :	10041.000000	0010011100111001
main s[452] :	-29291.000000	1000110110010101
main s[453] :	-18449.000000	1011011111101111
main s[454] :	24037.000000	0101110111100101
main s[455] :	25561.000000	0110001111011001
main s[456] :	-16482.000000	1011111110011110
main s[457] :	-30242.000000	1000100111011110
main s[458] :	7796.000000	0001111001110100
main s[459] :	32627.000000	0111111101110011
main s[460] :	1814.000000	0000011100010110
main s[461] :	-31983.000000	1000001100010001
main s[462] :	-11006.000000	1101010100000010
main s[463] :	28896.000000	0111000011100000
main s[464] :	19534.000000	0100110001001110
main s[465] :	-23094.000000	1010010111001010
main s[466] :	-26139.000000	1001100111100101
main s[467] :	15602.000000	0011110011110010
main s[468] :	30796.000000	0111100001001100
main s[469] :	-6524.000000	1110011010000100
main s[470] :	-32578.000000	1000000010111110
main s[471] :	-2839.000000	1111010011101001
main s[472] :	31868.000000	0111110001111100
main s[473] :	12231.000000	0010111111000111
main s[474] :	-28191.000000	1001000111100001
main s[475] :	-20319.000000	1011000010100001
main s[476] :	22394.000000	0101011101111010
main s[477] :	26954.000000	0110100101001010
main s[478] :	-14432.000000	1100011110100000
main s[479] :	-31039.000000	1000011011000001
main s[480] :	5516.000000	0001010110001100
main s[481] :	32760.000000	0111111111111000
main s[482] :	4135.000000	0001000000100111
main s[483] :	-31440.000000	1000010100110000
main s[484] :	-13168.000000	1100110010010000
main s[485] :	27724.000000	0110110001001100
main s[486] :	21354.000000	0101001101101010
main s[487] :	-21394.000000	1010110001101110
main s[488] :	-27463.000000	1001010010111001
main s[489] :	13516.000000	0011010011001100
main s[490] :	31513.000000	0111101100011001
main s[491] :	-4229.000000	1110111101111011
main s[492] :	-32628.000000	1000000010001100
main s[493] :	-5151.000000	1110101111100001
main s[494] :	31245.000000	0111101000001101
main s[495] :	14362.000000	0011100000011010
main s[496] :	-26949.000000	1001011010111011
main s[497] :	-22088.000000	1010100110111000
main s[498] :	20636.000000	0101000010011100
main s[499] :	28211.000000	0110111000110011
main s[500] :	-12311.000000	1100111111101001
main s[501] :	-31677.000000	1000010001000011
main s[502] :	3206.000000	0000110010000110
main s[503] :	32727.000000	0111111111010111
main s[504] :	6433.000000	0001100100100001
main s[505] :	-30738.000000	1000011111101110
main s[506] :	-15264.000000	1100010001100000
main s[507] :	26412.000000	0110011100101100
main s[508] :	23067.000000	0101101000011011
main s[509] :	-19583.000000	1011001110000001
main s[510] :	-28650.000000	1001000000010110
main s[511] :	11360.000000	0010110001100000
main return[0] :	29921.000000	0111010011100001
main return[1] :	17614.000000	0100010011001110
main return[2] :	-24678.000000	1001111110011010
main return[3] :	-24680.000000	1001111110011000
main return[4] :	17611.000000	0100010011001011
main return[5] :	29922.000000	0111010011100010
main return[6] :	-8786.000000	1101110110101110
main return[7] :	-32363.000000	1000000110010101
main return[8] :	-515.000000	1111110111111101
main return[9] :	32329.000000	0111111001001001
main return[10] :	10041.000000	0010011100111001
main return[11] :	-29291.000000	1000110110010101
main return[12] :	-18449.000000	1011011111101111
main return[13] :	24037.000000	0101110111100101
main return[14] :	25562.000000	0110001111011010
main return[15] :	-16481.000000	1011111110011111
main return[16] :	-30242.000000	1000100111011110
main return[17] :	7796.000000	0001111001110100
main return[18] :	32628.000000	0111111101110100
main return[19] :	1815.000000	0000011100010111
main return[20] :	-31983.000000	1000001100010001
main return[21] :	-11008.000000	1101010100000000
main return[22] :	28895.000000	0111000011011111
main return[23] :	19534.000000	0100110001001110
main return[24] :	-23094.000000	1010010111001010
main return[25] :	-26139.000000	1001100111100101
main return[26] :	15603.000000	0011110011110011
main return[27] :	30796.000000	0111100001001100
main return[28] :	-6524.000000	1110011010000100
main return[29] :	-32579.000000	1000000010111101
main return[30] :	-2841.000000	1111010011100111
main return[31] :	31868.000000	0111110001111100
main return[32] :	12232.000000	0010111111001000
main return[33] :	-28191.000000	1001000111100001
main return[34] :	-20321.000000	1011000010011111
main return[35] :	22393.000000	0101011101111001
main return[36] :	26955.000000	0110100101001011
main return[37] :	-14432.000000	1100011110100000
main return[38] :	-31039.000000	1000011011000001
main return[39] :	5515.000000	0001010110001011
main return[40] :	32760.000000	0111111111111000
main return[41] :	4135.000000	0001000000100111
main return[42] :	-31440.000000	1000010100110000
main return[43] :	-13169.000000	1100110010001111
main return[44] :	27724.000000	0110110001001100
main return[45] :	21354.000000	0101001101101010
main return[46] :	-21392.000000	1010110001110000
main return[47] :	-27464.000000	1001010010111000
main return[48] :	13515.000000	0011010011001011
main return[49] :	31514.000000	0111101100011010
main return[50] :	-4227.000000	1110111101111101
main return[51] :	-32628.000000	1000000010001100
main return[52] :	-5152.000000	1110101111100000
main return[53] :	31245.000000	0111101000001101
main return[54] :	14362.000000	0011100000011010
main return[55] :	-26949.000000	1001011010111011
main return[56] :	-22089.000000	1010100110110111
main return[57] :	20636.000000	0101000010011100
main return[58] :	28211.000000	0110111000110011
main return[59] :	-12309.000000	1100111111101011
main return[60] :	-31677.000000	1000010001000011
main return[61] :	3206.000000	0000110010000110
main return[62] :	32727.000000	0111111111010111
main return[63] :	6434.000000	0001100100100010
main return[64] :	-30738.000000	1000011111101110
main return[65] :	-15264.000000	1100010001100000
main return[66] :	26412.000000	0110011100101100
main return[67] :	23067.000000	0101101000011011
main return[68] :	-19582.000000	1011001110000010
main return[69] :	-28650.000000	1001000000010110
main return[70] :	11360.000000	0010110001100000
main return[71] :	32072.000000	0111110101001000
main return[72] :	-1909.000000	1111100010001011
main return[73] :	-32512.000000	1000000100000000
main return[74] :	-7437.000000	1110001011110011
main return[75] :	30464.000000	0111011100000000
main return[76] :	16419.000000	0100000000100011
main return[77] :	-25569.000000	1001110000011111
main return[78] :	-23744.000000	1010001101000000
main return[79] :	18775.000000	0100100101010111
main return[80] :	29325.000000	0111001010001101
main return[81] :	-10123.000000	1101100001110101
main return[82] :	-32155.000000	1000001001100101
main return[83] :	882.000000	0000001101110010
main return[84] :	32528.000000	0111111100010000
main return[85] :	8701.000000	0010000111111101
main return[86] :	-29879.000000	1000101101001001
main return[87] :	-17281.000000	1011110001111111
main return[88] :	24966.000000	0110000110000110
main return[89] :	24663.000000	0110000001010111
main return[90] :	-17671.000000	1011101011111001
main return[91] :	-29690.000000	1000110000000110
main return[92] :	9146.000000	0010001110111010
main return[93] :	32469.000000	0111111011010101
main return[94] :	418.000000	0000000110100010
main return[95] :	-32231.000000	1000001000011001
main return[96] :	-9683.000000	1101101000101101
main return[97] :	29529.000000	0111001101011001
main return[98] :	18393.000000	0100011111011001
main return[99] :	-24059.000000	1010001000000101
main return[100] :	-25279.000000	1001110101000001
main return[101] :	16818.000000	0100000110110010
main return[102] :	30290.000000	0111011001010010
main return[103] :	-7886.000000	1110000100110010
main return[104] :	-32469.000000	1000000100101011
main return[105] :	-1447.000000	1111101001011001
main return[106] :	32164.000000	0111110110100100
main return[107] :	10924.000000	0010101010101100
main return[108] :	-28869.000000	1000111100111011
main return[109] :	-19210.000000	1011010011110110
main return[110] :	23394.000000	0101101101100010
main return[111] :	26135.000000	0110011000010111
main return[112] :	-15671.000000	1100001011001001
main return[113] :	-30579.000000	1000100010001101
main return[114] :	6888.000000	0001101011101000
main return[115] :	32700.000000	0111111110111100
main return[116] :	2745.000000	0000101010111001
main return[117] :	-31785.000000	1000001111010111
main return[118] :	-11879.000000	1101000110011001
main return[119] :	28444.000000	0110111100011100
main return[120] :	20274.000000	0100111100110010
main return[121] :	-22427.000000	1010100001100101
main return[122] :	-26685.000000	1001011111000011
main return[123] :	14776.000000	0011100110111000
main return[124] :	31102.000000	0111100101111110
main return[125] :	-5609.000000	1110101000010111
main return[126] :	-32618.000000	1000000010010110
main return[127] :	-3768.000000	1111000101001000
main return[128] :	31638.000000	0111101110010110
main return[129] :	13092.000000	0011001100100100
main return[130] :	-27711.000000	1001001111000001
main return[131] :	-21041.000000	1010110111001111
main return[132] :	21704.000000	0101010011001000
main return[133] :	27474.000000	0110101101010010
main return[134] :	-13591.000000	1100101011101001
main return[135] :	-31313.000000	1000010110101111
main return[136] :	4594.000000	0001000111110010
main return[137] :	32767.000000	0111111111111111
main return[138] :	5058.000000	0001001111000010
main return[139] :	-31178.000000	1000011000110110
main return[140] :	-14015.000000	1100100101000001
main return[141] :	27215.000000	0110101001001111
main return[142] :	22053.000000	0101011000100101
main return[143] :	-20681.000000	1010111100110111
main return[144] :	-27956.000000	1001001011001100
main return[145] :	12661.000000	0011000101110101
main return[146] :	31757.000000	0111110000001101
main return[147] :	-3302.000000	1111001100011010
main return[148] :	-32602.000000	1000000010100110
main return[149] :	-6069.000000	1110100001001011
main return[150] :	30951.000000	0111100011100111
main return[151] :	15194.000000	0011101101011010
main return[152] :	-26413.000000	1001100011010011
main return[153] :	-22765.000000	1010011100010011
main return[154] :	19903.000000	0100110110111111
main return[155] :	28674.000000	0111000000000010
main return[156] :	-11442.000000	1101001101001110
main return[157] :	-31888.000000	1000001101110000
main return[158] :	2277.000000	0000100011100101
main return[159] :	32667.000000	0111111110011011
main return[160] :	7345.000000	0001110010110001
main return[161] :	-30413.000000	1000100100110011
main return[162] :	-16081.000000	1100000100101111
main return[163] :	25849.000000	0110010011111001
main return[164] :	23720.000000	0101110010101000
main return[165] :	-18829.000000	1011011001110011
main return[166] :	-29084.000000	1000111001100100
main return[167] :	10481.000000	0010100011110001
main return[168] :	32251.000000	0111110111111011
main return[169] :	-978.000000	1111110000101110
main return[170] :	-32419.000000	1000000101011101
main return[171] :	-8340.000000	1101111101101100
main return[172] :	30108.000000	0111010110011100
main return[173] :	17219.000000	0100001101000011
main return[174] :	-24981.000000	1001111001101011
main return[175] :	-24373.000000	1010000011001011
main return[176] :	18003.000000	0100011001010011
main return[177] :	29729.000000	0111010000100001
main return[178] :	-9234.000000	1101101111101110
main return[179] :	-32300.000000	1000000111010100
main return[180] :	-50.000000	1111111111001110
main return[181] :	32402.000000	0111111010010010
main return[182] :	9595.000000	0010010101111011
main return[183] :	-29493.000000	1000110011001011
main return[184] :	-18064.000000	1011100101110000
main return[185] :	24352.000000	0101111100100000
main return[186] :	25267.000000	0110001010110011
main return[187] :	-16882.000000	1011111000001110
main return[188] :	-30064.000000	1000101010010000
main return[189] :	8248.000000	0010000000111000
main return[190] :	32581.000000	0111111101000101
main return[191] :	1350.000000	0000010101000110
main return[192] :	-32072.000000	1000001010111000
main return[193] :	-10567.000000	1101011010111001
main return[194] :	29112.000000	0111000110111000
main return[195] :	19157.000000	0100101011010101
main return[196] :	-23421.000000	1010010010000011
main return[197] :	-25857.000000	1001101011111111
main return[198] :	16011.000000	0011111010001011
main return[199] :	30634.000000	0111011110101010
main return[200] :	-6979.000000	1110010010111101
main return[201] :	-32549.000000	1000000011011011
main return[202] :	-2377.000000	1111011010110111
main return[203] :	31973.000000	0111110011100101
main return[204] :	11798.000000	0010111000010110
main return[205] :	-28423.000000	1001000011111001
main return[206] :	-19954.000000	1011001000001110
main return[207] :	22732.000000	0101100011001100
main return[208] :	26686.000000	0110100000111110
main return[209] :	-14849.000000	1100010111111111
main return[210] :	-30892.000000	1000011101010100
main return[211] :	5974.000000	0001011101010110
main return[212] :	32747.000000	0111111111101011
main return[213] :	3673.000000	0000111001011001
main return[214] :	-31562.000000	1000010010110110
main return[215] :	-12741.000000	1100111000111011
main return[216] :	27969.000000	0110110101000001
main return[217] :	20998.000000	0101001000000110
main return[218] :	-21742.000000	1010101100010010
main return[219] :	-27210.000000	1001010110110110
main return[220] :	13939.000000	0011011001110011
main return[221] :	31383.000000	0111101010010111
main return[222] :	-4689.000000	1110110110101111
main return[223] :	-32632.000000	1000000010001000
main return[224] :	-4691.000000	1110110110101101
main return[225] :	31382.000000	0111101010010110
main return[226] :	13941.000000	0011011001110101
main return[227] :	-27208.000000	1001010110111000
main return[228] :	-21744.000000	1010101100010000
main return[229] :	20996.000000	0101001000000100
main return[230] :	27971.000000	0110110101000011
main return[231] :	-12740.000000	1100111000111100
main return[232] :	-31563.000000	1000010010110101
main return[233] :	3669.000000	0000111001010101
main return[234] :	32747.000000	0111111111101011
main return[235] :	5977.000000	0001011101011001
main return[236] :	-30891.000000	1000011101010101
main return[237] :	-14851.000000	1100010111111101
main return[238] :	26685.000000	0110100000111101
main return[239] :	22734.000000	0101100011001110
main return[240] :	-19953.000000	1011001000001111
main return[241] :	-28424.000000	1001000011111000
main return[242] :	11796.000000	0010111000010100
main return[243] :	31974.000000	0111110011100110
main return[244] :	-2374.000000	1111011010111010
main return[245] :	-32503.000000	1000000100001001
main return[246] :	-6980.000000	1110010010111100
main return[247] :	30546.000000	0111011101010010
main return[248] :	15961.000000	0011111001011001
main return[249] :	-25776.000000	1001101101010000
main return[250] :	-23345.000000	1010010011001111
main return[251] :	19076.000000	0100101010000100
main return[252] :	28989.000000	0111000100111101
main return[253] :	-10530.000000	1101011011011110
main return[254] :	-31955.000000	1000001100101101
main return[255] :	1333.000000	0000010100110101
main return[256] :	32459.000000	0111111011001011
main return[257] :	8224.000000	0010000000100000
main return[258] :	-29986.000000	1000101011011110
main return[259] :	-16864.000000	1011111000100000
main return[260] :	25215.000000	0110001001111111
main return[261] :	24354.000000	0101111100100010
main return[262] :	-18061.000000	1011100101110011
main return[263] :	-29494.000000	1000110011001010
main return[264] :	9594.000000	0010010101111010
main return[265] :	32402.000000	0111111010010010
main return[266] :	-47.000000	1111111111010001
main return[267] :	-32300.000000	1000000111010100
main return[268] :	-9237.000000	1101101111101011
main return[269] :	29727.000000	0111010000011111
main return[270] :	18005.000000	0100011001010101
main return[271] :	-24371.000000	1010000011001101
main return[272] :	-24982.000000	1001111001101010
main return[273] :	17217.000000	0100001101000001
main return[274] :	30109.000000	0111010110011101
main return[275] :	-8338.000000	1101111101101110
main return[276] :	-32419.000000	1000000101011101
main return[277] :	-981.000000	1111110000101011
main return[278] :	32250.000000	0111110111111010
main return[279] :	10483.000000	0010100011110011
main return[280] :	-29083.000000	1000111001100101
main return[281] :	-18832.000000	1011011001110000
main return[282] :	23717.000000	0101110010100101
main return[283] :	25851.000000	0110010011111011
main return[284] :	-16078.000000	1100000100110010
main return[285] :	-30414.000000	1000100100110010
main return[286] :	7343.000000	0001110010101111
main return[287] :	32667.000000	0111111110011011
main return[288] :	2280.000000	0000100011101000
main return[289] :	-31887.000000	1000001101110001
main return[290] :	-11445.000000	1101001101001011
main return[291] :	28673.000000	0111000000000001
main return[292] :	19906.000000	0100110111000010
main return[293] :	-22763.000000	1010011100010101
main return[294] :	-26414.000000	1001100011010010
main return[295] :	15191.000000	0011101101010111
main return[296] :	30952.000000	0111100011101000
main return[297] :	-6066.000000	1110100001001110
main return[298] :	-32602.000000	1000000010100110
main return[299] :	-3305.000000	1111001100010111
main return[300] :	31756.000000	0111110000001100
main return[301] :	12664.000000	0011000101111000
main return[302] :	-27954.000000	1001001011001110
main return[303] :	-20682.000000	1010111100110110
main return[304] :	22051.000000	0101011000100011
main return[305] :	27216.000000	0110101001010000
main return[306] :	-14013.000000	1100100101000011
main return[307] :	-31179.000000	1000011000110101
main return[308] :	5054.000000	0001001110111110
main return[309] :	32767.000000	0111111111111111
main return[310] :	4598.000000	0001000111110110
main return[311] :	-31312.000000	1000010110110000
main return[312] :	-13595.000000	1100101011100101
main return[313] :	27472.000000	0110101101010000
main return[314] :	21705.000000	0101010011001001
main return[315] :	-21039.000000	1010110111010001
main return[316] :	-27713.000000	1001001110111111
main return[317] :	13089.000000	0011001100100001
main return[318] :	31638.000000	0111101110010110
main return[319] :	-3766.000000	1111000101001010
main return[320] :	-32618.000000	1000000010010110
main return[321] :	-5610.000000	1110101000010110
main return[322] :	31101.000000	0111100101111101
main return[323] :	14779.000000	0011100110111011
main return[324] :	-26683.000000	1001011111000101
main return[325] :	-22429.000000	1010100001100011
main return[326] :	20271.000000	0100111100101111
main return[327] :	28445.000000	0110111100011101
main return[328] :	-11877.000000	1101000110011011
main return[329] :	-31786.000000	1000001111010110
main return[330] :	2742.000000	0000101010110110
main return[331] :	32700.000000	0111111110111100
main return[332] :	6890.000000	0001101011101010
main return[333] :	-30579.000000	1000100010001101
main return[334] :	-15673.000000	1100001011000111
main return[335] :	26134.000000	0110011000010110
main return[336] :	23395.000000	0101101101100011
main return[337] :	-19208.000000	1011010011111000
main return[338] :	-28870.000000	1000111100111010
main return[339] :	10922.000000	0010101010101010
main return[340] :	32165.000000	0111110110100101
main return[341] :	-1444.000000	1111101001011100
main return[342] :	-32469.000000	1000000100101011
main return[343] :	-7889.000000	1110000100101111
main return[344] :	30289.000000	0111011001010001
main return[345] :	16820.000000	0100000110110100
main return[346] :	-25278.000000	1001110101000010
main return[347] :	-24061.000000	1010001000000011
main return[348] :	18392.000000	0100011111011000
main return[349] :	29529.000000	0111001101011001
main return[350] :	-9681.000000	1101101000101111
main return[351] :	-32231.000000	1000001000011001
main return[352] :	415.000000	0000000110011111
main return[353] :	32468.000000	0111111011010100
main return[354] :	9151.000000	0010001110111111
main return[355] :	-29689.000000	1000110000000111
main return[356] :	-17674.000000	1011101011110110
main return[357] :	24661.000000	0110000001010101
main return[358] :	24967.000000	0110000110000111
main return[359] :	-17279.000000	1011110010000001
main return[360] :	-29880.000000	1000101101001000
main return[361] :	8699.000000	0010000111111011
main return[362] :	32528.000000	0111111100010000
main return[363] :	884.000000	0000001101110100
main return[364] :	-32155.000000	1000001001100101
main return[365] :	-10125.000000	1101100001110011
main return[366] :	29324.000000	0111001010001100
main return[367] :	18777.000000	0100100101011001
main return[368] :	-23742.000000	1010001101000010
main return[369] :	-25571.000000	1001110000011101
main return[370] :	16417.000000	0100000000100001
main return[371] :	30465.000000	0111011100000001
main return[372] :	-7433.000000	1110001011110111
main return[373] :	-32512.000000	1000000100000000
main return[374] :	-1911.000000	1111100010001001
main return[375] :	32072.000000	0111110101001000
main return[376] :	11362.000000	0010110001100010
main return[377] :	-28649.000000	1001000000010111
main return[378] :	-19583.000000	1011001110000001
main return[379] :	23065.000000	0101101000011001
main return[380] :	26412.000000	0110011100101100
main return[381] :	-15261.000000	1100010001100011
main return[382] :	-30739.000000	1000011111101101
main return[383] :	6432.000000	0001100100100000
main return[384] :	32727.000000	0111111111010111
main return[385] :	3209.000000	0000110010001001
main return[386] :	-31677.000000	1000010001000011
main return[387] :	-12311.000000	1100111111101001
main return[388] :	28210.000000	0110111000110010
main return[389] :	20637.000000	0101000010011101
main return[390] :	-22087.000000	1010100110111001
main return[391] :	-26950.000000	1001011010111010
main return[392] :	14359.000000	0011100000010111
main return[393] :	31245.000000	0111101000001101
main return[394] :	-5150.000000	1110101111100010
main return[395] :	-32628.000000	1000000010001100
main return[396] :	-4230.000000	1110111101111010
main return[397] :	31513.000000	0111101100011001
main return[398] :	13519.000000	0011010011001111
main return[399] :	-27463.000000	1001010010111001
main return[400] :	-21394.000000	1010110001101110
main return[401] :	21352.000000	0101001101101000
main return[402] :	27724.000000	0110110001001100
main return[403] :	-13167.000000	1100110010010001
main return[404] :	-31441.000000	1000010100101111
main return[405] :	4134.000000	0001000000100110
main return[406] :	32760.000000	0111111111111000
main return[407] :	5517.000000	0001010110001101
main return[408] :	-31038.000000	1000011011000010
main return[409] :	-14435.000000	1100011110011101
main return[410] :	26952.000000	0110100101001000
main return[411] :	22395.000000	0101011101111011
main return[412] :	-20319.000000	1011000010100001
main return[413] :	-28193.000000	1001000111011111
main return[414] :	12231.000000	0010111111000111
main return[415] :	31868.000000	0111110001111100
main return[416] :	-2839.000000	1111010011101001
main return[417] :	-32578.000000	1000000010111110
main return[418] :	-6525.000000	1110011010000011
main return[419] :	30795.000000	0111100001001011
main return[420] :	15605.000000	0011110011110101
main return[421] :	-26138.000000	1001100111100110
main return[422] :	-23095.000000	1010010111001001
main return[423] :	19530.000000	0100110001001010
main return[424] :	28896.000000	0111000011100000
main return[425] :	-11005.000000	1101010100000011
main return[426] :	-31984.000000	1000001100010000
main return[427] :	1813.000000	0000011100010101
main return[428] :	32627.000000	0111111101110011
main return[429] :	7799.000000	0001111001110111
main return[430] :	-30242.000000	1000100111011110
main return[431] :	-16483.000000	1011111110011101
main return[432] :	25560.000000	0110001111011000
main return[433] :	24039.000000	0101110111100111
main return[434] :	-18448.000000	1011011111110000
main return[435] :	-29291.000000	1000110110010101
main return[436] :	10039.000000	0010011100110111
main return[437] :	32330.000000	0111111001001010
main return[438] :	-512.000000	1111111000000000
main return[439] :	-32363.000000	1000000110010101
main return[440] :	-8789.000000	1101110110101011
main return[441] :	29921.000000	0111010011100001
main return[442] :	17614.000000	0100010011001110
main return[443] :	-24679.000000	1001111110011001
main return[444] :	-24680.000000	1001111110011000
main return[445] :	17612.000000	0100010011001100
main return[446] :	29921.000000	0111010011100001
main return[447] :	-8788.000000	1101110110101100
main return[448] :	-32363.000000	1000000110010101
main return[449] :	-515.000000	1111110111111101
main return[450] :	32329.000000	0111111001001001
main return[451] :	10041.000000	0010011100111001
main return[452] :	-29291.000000	1000110110010101
main return[453] :	-18449.000000	1011011111101111
main return[454] :	24037.000000	0101110111100101
main return[455] :	25561.000000	0110001111011001
main return[456] :	-16482.000000	1011111110011110
main return[457] :	-30242.000000	1000100111011110
main return[458] :	7796.000000	0001111001110100
main return[459] :	32627.000000	0111111101110011
main return[460] :	1814.000000	0000011100010110
main return[461] :	-31983.000000	1000001100010001
main return[462] :	-11006.000000	1101010100000010
main return[463] :	28896.000000	0111000011100000
main return[464] :	19534.000000	0100110001001110
main return[465] :	-23094.000000	1010010111001010
main return[466] :	-26139.000000	1001100111100101
main return[467] :	15602.000000	0011110011110010
main return[468] :	30796.000000	0111100001001100
main return[469] :	-6524.000000	1110011010000100
main return[470] :	-32578.000000	1000000010111110
main return[471] :	-2839.000000	1111010011101001
main return[472] :	31868.000000	0111110001111100
main return[473] :	12231.000000	0010111111000111
main return[474] :	-28191.000000	1001000111100001
main return[475] :	-20319.000000	1011000010100001
main return[476] :	22394.000000	0101011101111010
main return[477] :	26954.000000	0110100101001010
main return[478] :	-14432.000000	1100011110100000
main return[479] :	-31039.000000	1000011011000001
main return[480] :	5516.000000	0001010110001100
main return[481] :	32760.000000	0111111111111000
main return[482] :	4135.000000	0001000000100111
main return[483] :	-31440.000000	1000010100110000
main return[484] :	-13168.000000	1100110010010000
main return[485] :	27724.000000	0110110001001100
main return[486] :	21354.000000	0101001101101010
main return[487] :	-21394.000000	1010110001101110
main return[488] :	-27463.000000	1001010010111001
main return[489] :	13516.000000	0011010011001100
main return[490] :	31513.000000	0111101100011001
main return[491] :	-4229.000000	1110111101111011
main return[492] :	-32628.000000	1000000010001100
main return[493] :	-5151.000000	1110101111100001
main return[494] :	31245.000000	0111101000001101
main return[495] :	14362.000000	0011100000011010
main return[496] :	-26949.000000	1001011010111011
main return[497] :	-22088.000000	1010100110111000
main return[498] :	20636.000000	0101000010011100
main return[499] :	28211.000000	0110111000110011
main return[500] :	-12311.000000	1100111111101001
main return[501] :	-31677.000000	1000010001000011
main return[502] :	3206.000000	0000110010000110
main return[503] :	32727.000000	0111111111010111
main return[504] :	6433.000000	0001100100100001
main return[505] :	-30738.000000	1000011111101110
main return[506] :	-15264.000000	1100010001100000
main return[507] :	26412.000000	0110011100101100
main return[508] :	23067.000000	0101101000011011
main return[509] :	-19583.000000	1011001110000001
main return[510] :	-28650.000000	1001000000010110
main return[511] :	11360.000000	0010110001100000
main s1[0] :	29.000000	0000000000011101
main s1[1] :	17.000000	0000000000010001
main s1[2] :	-25.000000	1111111111100111
main s1[3] :	-25.000000	1111111111100111
main s1[4] :	17.000000	0000000000010001
main s1[5] :	29.000000	0000000000011101
main s1[6] :	-9.000000	1111111111110111
main s1[7] :	-32.000000	1111111111100000
main s1[8] :	-1.000000	1111111111111111
main s1[9] :	31.000000	0000000000011111
main s1[10] :	9.000000	0000000000001001
main s1[11] :	-29.000000	1111111111100011
main s1[12] :	-19.000000	1111111111101101
main s1[13] :	23.000000	0000000000010111
main s1[14] :	24.000000	0000000000011000
main s1[15] :	-17.000000	1111111111101111
main s1[16] :	-30.000000	1111111111100010
main s1[17] :	7.000000	0000000000000111
main s1[18] :	31.000000	0000000000011111
main s1[19] :	1.000000	0000000000000001
main s1[20] :	-32.000000	1111111111100000
main s1[21] :	-11.000000	1111111111110101
main s1[22] :	28.000000	0000000000011100
main s1[23] :	19.000000	0000000000010011
main s1[24] :	-23.000000	1111111111101001
main s1[25] :	-26.000000	1111111111100110
main s1[26] :	15.000000	0000000000001111
main s1[27] :	30.000000	0000000000011110
main s1[28] :	-7.000000	1111111111111001
main s1[29] :	-32.000000	1111111111100000
main s1[30] :	-3.000000	1111111111111101
main s1[31] :	31.000000	0000000000011111
main s1[32] :	11.000000	0000000000001011
main s1[33] :	-28.000000	1111111111100100
main s1[34] :	-20.000000	1111111111101100
main s1[35] :	21.000000	0000000000010101
main s1[36] :	26.000000	0000000000011010
main s1[37] :	-15.000000	1111111111110001
main s1[38] :	-31.000000	1111111111100001
main s1[39] :	5.000000	0000000000000101
main s1[40] :	31.000000	0000000000011111
main s1[41] :	4.000000	0000000000000100
main s1[42] :	-31.000000	1111111111100001
main s1[43] :	-13.000000	1111111111110011
main s1[44] :	27.000000	0000000000011011
main s1[45] :	20.000000	0000000000010100
main s1[46] :	-21.000000	1111111111101011
main s1[47] :	-27.000000	1111111111100101
main s1[48] :	13.000000	0000000000001101
main s1[49] :	30.000000	0000000000011110
main s1[50] :	-5.000000	1111111111111011
main s1[51] :	-32.000000	1111111111100000
main s1[52] :	-6.000000	1111111111111010
main s1[53] :	30.000000	0000000000011110
main s1[54] :	14.000000	0000000000001110
main s1[55] :	-27.000000	1111111111100101
main s1[56] :	-22.000000	1111111111101010
main s1[57] :	20.000000	0000000000010100
main s1[58] :	27.000000	0000000000011011
main s1[59] :	-13.000000	1111111111110011
main s1[60] :	-31.000000	1111111111100001
main s1[61] :	3.000000	0000000000000011
main s1[62] :	31.000000	0000000000011111
main s1[63] :	6.000000	0000000000000110
main s1[64] :	-31.000000	1111111111100001
main s1[65] :	-15.000000	1111111111110001
main s1[66] :	25.000000	0000000000011001
main s1[67] :	22.000000	0000000000010110
main s1[68] :	-20.000000	1111111111101100
main s1[69] :	-28.000000	1111111111100100
main s1[70] :	11.000000	0000000000001011
main s1[71] :	31.000000	0000000000011111
main s1[72] :	-2.000000	1111111111111110
main s1[73] :	-32.000000	1111111111100000
main s1[74] :	-8.000000	1111111111111000
main s1[75] :	29.000000	0000000000011101
main s1[76] :	16.000000	0000000000010000
main s1[77] :	-25.000000	1111111111100111
main s1[78] :	-24.000000	1111111111101000
main s1[79] :	18.000000	0000000000010010
main s1[80] :	28.000000	0000000000011100
main s1[81] :	-10.000000	1111111111110110
main s1[82] :	-32.000000	1111111111100000
main s1[83] :	0.000000	0000000000000000
main s1[84] :	31.000000	0000000000011111
main s1[85] :	8.000000	0000000000001000
main s1[86] :	-30.000000	1111111111100010
main s1[87] :	-17.000000	1111111111101111
main s1[88] :	24.000000	0000000000011000
main s1[89] :	24.000000	0000000000011000
main s1[90] :	-18.000000	1111111111101110
main s1[91] :	-29.000000	1111111111100011
main s1[92] :	8.000000	0000000000001000
main s1[93] :	31.000000	0000000000011111
main s1[94] :	0.000000	0000000000000000
main s1[95] :	-32.000000	1111111111100000
main s1[96] :	-10.000000	1111111111110110
main s1[97] :	28.000000	0000000000011100
main s1[98] :	17.000000	0000000000010001
main s1[99] :	-24.000000	1111111111101000
main s1[100] :	-25.000000	1111111111100111
main s1[101] :	16.000000	0000000000010000
main s1[102] :	29.000000	0000000000011101
main s1[103] :	-8.000000	1111111111111000
main s1[104] :	-32.000000	1111111111100000
main s1[105] :	-2.000000	1111111111111110
main s1[106] :	31.000000	0000000000011111
main s1[107] :	10.000000	0000000000001010
main s1[108] :	-29.000000	1111111111100011
main s1[109] :	-19.000000	1111111111101101
main s1[110] :	22.000000	0000000000010110
main s1[111] :	25.000000	0000000000011001
main s1[112] :	-16.000000	1111111111110000
main s1[113] :	-30.000000	1111111111100010
main s1[114] :	6.000000	0000000000000110
main s1[115] :	31.000000	0000000000011111
main s1[116] :	2.000000	0000000000000010
main s1[117] :	-32.000000	1111111111100000
main s1[118] :	-12.000000	1111111111110100
main s1[119] :	27.000000	0000000000011011
main s1[120] :	19.000000	0000000000010011
main s1[121] :	-22.000000	1111111111101010
main s1[122] :	-27.000000	1111111111100101
main s1[123] :	14.000000	0000000000001110
main s1[124] :	30.000000	0000000000011110
main s1[125] :	-6.000000	1111111111111010
main s1[126] :	-32.000000	1111111111100000
main s1[127] :	-4.000000	1111111111111100
main s1[128] :	30.000000	0000000000011110
main s1[129] :	12.000000	0000000000001100
main s1[130] :	-28.000000	1111111111100100
main s1[131] :	-21.000000	1111111111101011
main s1[132] :	21.000000	0000000000010101
main s1[133] :	26.000000	0000000000011010
main s1[134] :	-14.000000	1111111111110010
main s1[135] :	-31.000000	1111111111100001
main s1[136] :	4.000000	0000000000000100
main s1[137] :	31.000000	0000000000011111
main s1[138] :	4.000000	0000000000000100
main s1[139] :	-31.000000	1111111111100001
main s1[140] :	-14.000000	1111111111110010
main s1[141] :	26.000000	0000000000011010
main s1[142] :	21.000000	0000000000010101
main s1[143] :	-21.000000	1111111111101011
main s1[144] :	-28.000000	1111111111100100
main s1[145] :	12.000000	0000000000001100
main s1[146] :	31.000000	0000000000011111
main s1[147] :	-4.000000	1111111111111100
main s1[148] :	-32.000000	1111111111100000
main s1[149] :	-6.000000	1111111111111010
main s1[150] :	30.000000	0000000000011110
main s1[151] :	14.000000	0000000000001110
main s1[152] :	-26.000000	1111111111100110
main s1[153] :	-23.000000	1111111111101001
main s1[154] :	19.000000	0000000000010011
main s1[155] :	28.000000	0000000000011100
main s1[156] :	-12.000000	1111111111110100
main s1[157] :	-32.000000	1111111111100000
main s1[158] :	2.000000	0000000000000010
main s1[159] :	31.000000	0000000000011111
main s1[160] :	7.000000	0000000000000111
main s1[161] :	-30.000000	1111111111100010
main s1[162] :	-16.000000	1111111111110000
main s1[163] :	25.000000	0000000000011001
main s1[164] :	23.000000	0000000000010111
main s1[165] :	-19.000000	1111111111101101
main s1[166] :	-29.000000	1111111111100011
main s1[167] :	10.000000	0000000000001010
main s1[168] :	31.000000	0000000000011111
main s1[169] :	-1.000000	1111111111111111
main s1[170] :	-32.000000	1111111111100000
main s1[171] :	-9.000000	1111111111110111
main s1[172] :	29.000000	0000000000011101
main s1[173] :	16.000000	0000000000010000
main s1[174] :	-25.000000	1111111111100111
main s1[175] :	-24.000000	1111111111101000
main s1[176] :	17.000000	0000000000010001
main s1[177] :	29.000000	0000000000011101
main s1[178] :	-10.000000	1111111111110110
main s1[179] :	-32.000000	1111111111100000
main s1[180] :	-1.000000	1111111111111111
main s1[181] :	31.000000	0000000000011111
main s1[182] :	9.000000	0000000000001001
main s1[183] :	-29.000000	1111111111100011
main s1[184] :	-18.000000	1111111111101110
main s1[185] :	23.000000	0000000000010111
main s1[186] :	24.000000	0000000000011000
main s1[187] :	-17.000000	1111111111101111
main s1[188] :	-30.000000	1111111111100010
main s1[189] :	8.000000	0000000000001000
main s1[190] :	31.000000	0000000000011111
main s1[191] :	1.000000	0000000000000001
main s1[192] :	-32.000000	1111111111100000
main s1[193] :	-11.000000	1111111111110101
main s1[194] :	28.000000	0000000000011100
main s1[195] :	18.000000	0000000000010010
main s1[196] :	-23.000000	1111111111101001
main s1[197] :	-26.000000	1111111111100110
main s1[198] :	15.000000	0000000000001111
main s1[199] :	29.000000	0000000000011101
main s1[200] :	-7.000000	1111111111111001
main s1[201] :	-32.000000	1111111111100000
main s1[202] :	-3.000000	1111111111111101
main s1[203] :	31.000000	0000000000011111
main s1[204] :	11.000000	0000000000001011
main s1[205] :	-28.000000	1111111111100100
main s1[206] :	-20.000000	1111111111101100
main s1[207] :	22.000000	0000000000010110
main s1[208] :	26.000000	0000000000011010
main s1[209] :	-15.000000	1111111111110001
main s1[210] :	-31.000000	1111111111100001
main s1[211] :	5.000000	0000000000000101
main s1[212] :	31.000000	0000000000011111
main s1[213] :	3.000000	0000000000000011
main s1[214] :	-31.000000	1111111111100001
main s1[215] :	-13.000000	1111111111110011
main s1[216] :	27.000000	0000000000011011
main s1[217] :	20.000000	0000000000010100
main s1[218] :	-22.000000	1111111111101010
main s1[219] :	-27.000000	1111111111100101
main s1[220] :	13.000000	0000000000001101
main s1[221] :	30.000000	0000000000011110
main s1[222] :	-5.000000	1111111111111011
main s1[223] :	-32.000000	1111111111100000
main s1[224] :	-5.000000	1111111111111011
main s1[225] :	30.000000	0000000000011110
main s1[226] :	13.000000	0000000000001101
main s1[227] :	-27.000000	1111111111100101
main s1[228] :	-22.000000	1111111111101010
main s1[229] :	20.000000	0000000000010100
main s1[230] :	27.000000	0000000000011011
main s1[231] :	-13.000000	1111111111110011
main s1[232] :	-31.000000	1111111111100001
main s1[233] :	3.000000	0000000000000011
main s1[234] :	31.000000	0000000000011111
main s1[235] :	5.000000	0000000000000101
main s1[236] :	-31.000000	1111111111100001
main s1[237] :	-15.000000	1111111111110001
main s1[238] :	26.000000	0000000000011010
main s1[239] :	22.000000	0000000000010110
main s1[240] :	-20.000000	1111111111101100
main s1[241] :	-28.000000	1111111111100100
main s1[242] :	11.000000	0000000000001011
main s1[243] :	31.000000	0000000000011111
main s1[244] :	-3.000000	1111111111111101
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] :	23.000000	0000000000010111
main s1[262] :	-18.000000	1111111111101110
main s1[263] :	-29.000000	1111111111100011
main s1[264] :	9.000000	0000000000001001
main s1[265] :	31.000000	0000000000011111
main s1[266] :	-1.000000	1111111111111111
main s1[267] :	-32.000000	1111111111100000
main s1[268] :	-10.000000	1111111111110110
main s1[269] :	29.000000	0000000000011101
main s1[270] :	17.000000	0000000000010001
main s1[271] :	-24.000000	1111111111101000
main s1[272] :	-25.000000	1111111111100111
main s1[273] :	16.000000	0000000000010000
main s1[274] :	29.000000	0000000000011101
main s1[275] :	-9.000000	1111111111110111
main s1[276] :	-32.000000	1111111111100000
main s1[277] :	-1.000000	1111111111111111
main s1[278] :	31.000000	0000000000011111
main s1[279] :	10.000000	0000000000001010
main s1[280] :	-29.000000	1111111111100011
main s1[281] :	-19.000000	1111111111101101
main s1[282] :	23.000000	0000000000010111
main s1[283] :	25.000000	0000000000011001
main s1[284] :	-16.000000	1111111111110000
main s1[285] :	-30.000000	1111111111100010
main s1[286] :	7.000000	0000000000000111
main s1[287] :	31.000000	0000000000011111
main s1[288] :	2.000000	0000000000000010
main s1[289] :	-32.000000	1111111111100000
main s1[290] :	-12.000000	1111111111110100
main s1[291] :	28.000000	0000000000011100
main s1[292] :	19.000000	0000000000010011
main s1[293] :	-23.000000	1111111111101001
main s1[294] :	-26.000000	1111111111100110
main s1[295] :	14.000000	0000000000001110
main s1[296] :	30.000000	0000000000011110
main s1[297] :	-6.000000	1111111111111010
main s1[298] :	-32.000000	1111111111100000
main s1[299] :	-4.000000	1111111111111100
main s1[300] :	31.000000	0000000000011111
main s1[301] :	12.000000	0000000000001100
main s1[302] :	-28.000000	1111111111100100
main s1[303] :	-21.000000	1111111111101011
main s1[304] :	21.000000	0000000000010101
main s1[305] :	26.000000	0000000000011010
main s1[306] :	-14.000000	1111111111110010
main s1[307] :	-31.000000	1111111111100001
main s1[308] :	4.000000	0000000000000100
main s1[309] :	31.000000	0000000000011111
main s1[310] :	4.000000	0000000000000100
main s1[311] :	-31.000000	1111111111100001
main s1[312] :	-14.000000	1111111111110010
main s1[313] :	26.000000	0000000000011010
main s1[314] :	21.000000	0000000000010101
main s1[315] :	-21.000000	1111111111101011
main s1[316] :	-28.000000	1111111111100100
main s1[317] :	12.000000	0000000000001100
main s1[318] :	30.000000	0000000000011110
main s1[319] :	-4.000000	1111111111111100
main s1[320] :	-32.000000	1111111111100000
main s1[321] :	-6.000000	1111111111111010
main s1[322] :	30.000000	0000000000011110
main s1[323] :	14.000000	0000000000001110
main s1[324] :	-27.000000	1111111111100101
main s1[325] :	-22.000000	1111111111101010
main s1[326] :	19.000000	0000000000010011
main s1[327] :	27.000000	0000000000011011
main s1[328] :	-12.000000	1111111111110100
main s1[329] :	-32.000000	1111111111100000
main s1[330] :	2.000000	0000000000000010
main s1[331] :	31.000000	0000000000011111
main s1[332] :	6.000000	0000000000000110
main s1[333] :	-30.000000	1111111111100010
main s1[334] :	-16.000000	1111111111110000
main s1[335] :	25.000000	0000000000011001
main s1[336] :	22.000000	0000000000010110
main s1[337] :	-19.000000	1111111111101101
main s1[338] :	-29.000000	1111111111100011
main s1[339] :	10.000000	0000000000001010
main s1[340] :	31.000000	0000000000011111
main s1[341] :	-2.000000	1111111111111110
main s1[342] :	-32.000000	1111111111100000
main s1[343] :	-8.000000	1111111111111000
main s1[344] :	29.000000	0000000000011101
main s1[345] :	16.000000	0000000000010000
main s1[346] :	-25.000000	1111111111100111
main s1[347] :	-24.000000	1111111111101000
main s1[348] :	17.000000	0000000000010001
main s1[349] :	28.000000	0000000000011100
main s1[350] :	-10.000000	1111111111110110
main s1[351] :	-32.000000	1111111111100000
main s1[352] :	0.000000	0000000000000000
main s1[353] :	31.000000	0000000000011111
main s1[354] :	8.000000	0000000000001000
main s1[355] :	-29.000000	1111111111100011
main s1[356] :	-18.000000	1111111111101110
main s1[357] :	24.000000	0000000000011000
main s1[358] :	24.000000	0000000000011000
main s1[359] :	-17.000000	1111111111101111
main s1[360] :	-30.000000	1111111111100010
main s1[361] :	8.000000	0000000000001000
main s1[362] :	31.000000	0000000000011111
main s1[363] :	0.000000	0000000000000000
main s1[364] :	-32.000000	1111111111100000
main s1[365] :	-10.000000	1111111111110110
main s1[366] :	28.000000	0000000000011100
main s1[367] :	18.000000	0000000000010010
main s1[368] :	-24.000000	1111111111101000
main s1[369] :	-25.000000	1111111111100111
main s1[370] :	16.000000	0000000000010000
main s1[371] :	29.000000	0000000000011101
main s1[372] :	-8.000000	1111111111111000
main s1[373] :	-32.000000	1111111111100000
main s1[374] :	-2.000000	1111111111111110
main s1[375] :	31.000000	0000000000011111
main s1[376] :	11.000000	0000000000001011
main s1[377] :	-28.000000	1111111111100100
main s1[378] :	-20.000000	1111111111101100
main s1[379] :	22.000000	0000000000010110
main s1[380] :	25.000000	0000000000011001
main s1[381] :	-15.000000	1111111111110001
main s1[382] :	-31.000000	1111111111100001
main s1[383] :	6.000000	0000000000000110
main s1[384] :	31.000000	0000000000011111
main s1[385] :	3.000000	0000000000000011
main s1[386] :	-31.000000	1111111111100001
main s1[387] :	-13.000000	1111111111110011
main s1[388] :	27.000000	0000000000011011
main s1[389] :	20.000000	0000000000010100
main s1[390] :	-22.000000	1111111111101010
main s1[391] :	-27.000000	1111111111100101
main s1[392] :	14.000000	0000000000001110
main s1[393] :	30.000000	0000000000011110
main s1[394] :	-6.000000	1111111111111010
main s1[395] :	-32.000000	1111111111100000
main s1[396] :	-5.000000	1111111111111011
main s1[397] :	30.000000	0000000000011110
main s1[398] :	13.000000	0000000000001101
main s1[399] :	-27.000000	1111111111100101
main s1[400] :	-21.000000	1111111111101011
main s1[401] :	20.000000	0000000000010100
main s1[402] :	27.000000	0000000000011011
main s1[403] :	-13.000000	1111111111110011
main s1[404] :	-31.000000	1111111111100001
main s1[405] :	4.000000	0000000000000100
main s1[406] :	31.000000	0000000000011111
main s1[407] :	5.000000	0000000000000101
main s1[408] :	-31.000000	1111111111100001
main s1[409] :	-15.000000	1111111111110001
main s1[410] :	26.000000	0000000000011010
main s1[411] :	21.000000	0000000000010101
main s1[412] :	-20.000000	1111111111101100
main s1[413] :	-28.000000	1111111111100100
main s1[414] :	11.000000	0000000000001011
main s1[415] :	31.000000	0000000000011111
main s1[416] :	-3.000000	1111111111111101
main s1[417] :	-32.000000	1111111111100000
main s1[418] :	-7.000000	1111111111111001
main s1[419] :	30.000000	0000000000011110
main s1[420] :	15.000000	0000000000001111
main s1[421] :	-26.000000	1111111111100110
main s1[422] :	-23.000000	1111111111101001
main s1[423] :	19.000000	0000000000010011
main s1[424] :	28.000000	0000000000011100
main s1[425] :	-11.000000	1111111111110101
main s1[426] :	-32.000000	1111111111100000
main s1[427] :	1.000000	0000000000000001
main s1[428] :	31.000000	0000000000011111
main s1[429] :	7.000000	0000000000000111
main s1[430] :	-30.000000	1111111111100010
main s1[431] :	-17.000000	1111111111101111
main s1[432] :	24.000000	0000000000011000
main s1[433] :	23.000000	0000000000010111
main s1[434] :	-19.000000	1111111111101101
main s1[435] :	-29.000000	1111111111100011
main s1[436] :	9.000000	0000000000001001
main s1[437] :	31.000000	0000000000011111
main s1[438] :	-1.000000	1111111111111111
main s1[439] :	-32.000000	1111111111100000
main s1[440] :	-9.000000	1111111111110111
main s1[441] :	29.000000	0000000000011101
main s1[442] :	17.000000	0000000000010001
main s1[443] :	-25.000000	1111111111100111
main s1[444] :	-25.000000	1111111111100111
main s1[445] :	17.000000	0000000000010001
main s1[446] :	29.000000	0000000000011101
main s1[447] :	-9.000000	1111111111110111
main s1[448] :	-32.000000	1111111111100000
main s1[449] :	-1.000000	1111111111111111
main s1[450] :	31.000000	0000000000011111
main s1[451] :	9.000000	0000000000001001
main s1[452] :	-29.000000	1111111111100011
main s1[453] :	-19.000000	1111111111101101
main s1[454] :	23.000000	0000000000010111
main s1[455] :	24.000000	0000000000011000
main s1[456] :	-17.000000	1111111111101111
main s1[457] :	-30.000000	1111111111100010
main s1[458] :	7.000000	0000000000000111
main s1[459] :	31.000000	0000000000011111
main s1[460] :	1.000000	0000000000000001
main s1[461] :	-32.000000	1111111111100000
main s1[462] :	-11.000000	1111111111110101
main s1[463] :	28.000000	0000000000011100
main s1[464] :	19.000000	0000000000010011
main s1[465] :	-23.000000	1111111111101001
main s1[466] :	-26.000000	1111111111100110
main s1[467] :	15.000000	0000000000001111
main s1[468] :	30.000000	0000000000011110
main s1[469] :	-7.000000	1111111111111001
main s1[470] :	-32.000000	1111111111100000
main s1[471] :	-3.000000	1111111111111101
main s1[472] :	31.000000	0000000000011111
main s1[473] :	11.000000	0000000000001011
main s1[474] :	-28.000000	1111111111100100
main s1[475] :	-20.000000	1111111111101100
main s1[476] :	21.000000	0000000000010101
main s1[477] :	26.000000	0000000000011010
main s1[478] :	-15.000000	1111111111110001
main s1[479] :	-31.000000	1111111111100001
main s1[480] :	5.000000	0000000000000101
main s1[481] :	31.000000	0000000000011111
main s1[482] :	4.000000	0000000000000100
main s1[483] :	-31.000000	1111111111100001
main s1[484] :	-13.000000	1111111111110011
main s1[485] :	27.000000	0000000000011011
main s1[486] :	20.000000	0000000000010100
main s1[487] :	-21.000000	1111111111101011
main s1[488] :	-27.000000	1111111111100101
main s1[489] :	13.000000	0000000000001101
main s1[490] :	30.000000	0000000000011110
main s1[491] :	-5.000000	1111111111111011
main s1[492] :	-32.000000	1111111111100000
main s1[493] :	-6.000000	1111111111111010
main s1[494] :	30.000000	0000000000011110
main s1[495] :	14.000000	0000000000001110
main s1[496] :	-27.000000	1111111111100101
main s1[497] :	-22.000000	1111111111101010
main s1[498] :	20.000000	0000000000010100
main s1[499] :	27.000000	0000000000011011
main s1[500] :	-13.000000	1111111111110011
main s1[501] :	-31.000000	1111111111100001
main s1[502] :	3.000000	0000000000000011
main s1[503] :	31.000000	0000000000011111
main s1[504] :	6.000000	0000000000000110
main s1[505] :	-31.000000	1111111111100001
main s1[506] :	-15.000000	1111111111110001
main s1[507] :	25.000000	0000000000011001
main s1[508] :	22.000000	0000000000010110
main s1[509] :	-20.000000	1111111111101100
main s1[510] :	-28.000000	1111111111100100
main s1[511] :	11.000000	0000000000001011
main r[0] :	252271.000000	0000111101100101101111
main r[1] :	36401.000000	0000001000111000110001
main r[2] :	-239498.000000	1111000101100001110110
main r[3] :	-105371.000000	1111100110010001100101
main r[4] :	207133.000000	0000110010100100011101
main r[5] :	164688.000000	0000101000001101010000
main r[6] :	-157555.000000	1111011001100010001101
main r[7] :	-208824.000000	1111001101000001001000
main r[8] :	95861.000000	0000010111011001110101
main r[9] :	234986.000000	0000111001010111101010
main r[10] :	-26841.000000	1111111001011100100111
main r[11] :	-240712.000000	1111000101001110111000
main r[12] :	-42985.000000	1111110101100000010111
main r[13] :	226344.000000	0000110111010000101000
main r[14] :	108309.000000	0000011010011100010101
main r[15] :	-192883.000000	1111010000111010001101
main r[16] :	-163169.000000	1111011000001010011111
main r[17] :	143958.000000	0000100011001001010110
main r[18] :	204403.000000	0000110001111001110011
main r[19] :	-83862.000000	1111101011100001101010
main r[20] :	-227763.000000	1111001000011001001101
main r[21] :	17473.000000	0000000100010001000001
main r[22] :	231965.000000	0000111000101000011101
main r[23] :	50065.000000	0000001100001110010001
main r[24] :	-216295.000000	1111001011001100011001
main r[25] :	-112568.000000	1111100100100001001000
main r[26] :	182800.000000	0000101100101000010000
main r[27] :	165255.000000	0000101000010110000111
main r[28] :	-133883.000000	1111011111010100000101
main r[29] :	-203253.000000	1111001110011000001011
main r[30] :	74341.000000	0000010010001001100101
main r[31] :	224079.000000	0000110110101101001111
main r[32] :	-8839.000000	1111111101110101111001
main r[33] :	-225525.000000	1111001000111100001011
main r[34] :	-56584.000000	1111110010001011111000
main r[35] :	208182.000000	0000110010110100110110
main r[36] :	116905.000000	0000011100100010101001
main r[37] :	-173197.000000	1111010101101101110011
main r[38] :	-166546.000000	1111010111010101101110
main r[39] :	124175.000000	0000011110010100001111
main r[40] :	201927.000000	0000110001010011000111
main r[41] :	-64865.000000	1111110000001010011111
main r[42] :	-219718.000000	1111001010010110111010
main r[43] :	898.000000	0000000000001110000010
main r[44] :	219069.000000	0000110101011110111101
main r[45] :	62863.000000	0000001111010110001111
main r[46] :	-199722.000000	1111001111001111010110
main r[47] :	-120463.000000	1111100010100101110001
main r[48] :	163939.000000	0000101000000001100011
main r[49] :	167631.000000	0000101000111011001111
main r[50] :	-114417.000000	1111100100000100001111
main r0[0] :	31533.000000	0111101100101101
main r0[1] :	4550.000000	0001000111000110
main r0[2] :	-29938.000000	1000101100001110
main r0[3] :	-13172.000000	1100110010001100
main r0[4] :	25891.000000	0110010100100011
main r0[5] :	20586.000000	0101000001101010
main r0[6] :	-19695.000000	1011001100010001
main r0[7] :	-26103.000000	1001101000001001
main r0[8] :	11982.000000	0010111011001110
main r0[9] :	29373.000000	0111001010111101
main r0[10] :	-3356.000000	1111001011100100
main r0[11] :	-30089.000000	1000101001110111
main r0[12] :	-5374.000000	1110101100000010
main r0[13] :	28293.000000	0110111010000101
main r0[14] :	13538.000000	0011010011100010
main r0[15] :	-24111.000000	1010000111010001
main r0[16] :	-20397.000000	1011000001010011
main r0[17] :	17994.000000	0100011001001010
main r0[18] :	25550.000000	0110001111001110
main r0[19] :	-10483.000000	1101011100001101
main r0[20] :	-28471.000000	1001000011001001
main r0[21] :	2184.000000	0000100010001000
main r0[22] :	28995.000000	0111000101000011
main r0[23] :	6258.000000	0001100001110010
main r0[24] :	-27037.000000	1001011001100011
main r0[25] :	-14071.000000	1100100100001001
main r0[26] :	22850.000000	0101100101000010
main r0[27] :	20656.000000	0101000010110000
main r0[28] :	-16736.000000	1011111010100000
main r0[29] :	-25407.000000	1001110011000001
main r0[30] :	9292.000000	0010010001001100
main r0[31] :	28009.000000	0110110101101001
main r0[32] :	-1105.000000	1111101110101111
main r0[33] :	-28191.000000	1001000111100001
main r0[34] :	-7073.000000	1110010001011111
main r0[35] :	26022.000000	0110010110100110
main r0[36] :	14613.000000	0011100100010101
main r0[37] :	-21650.000000	1010101101101110
main r0[38] :	-20819.000000	1010111010101101
main r0[39] :	15521.000000	0011110010100001
main r0[40] :	25240.000000	0110001010011000
main r0[41] :	-8109.000000	1110000001010011
main r0[42] :	-27465.000000	1001010010110111
main r0[43] :	112.000000	0000000001110000
main r0[44] :	27383.000000	0110101011110111
main r0[45] :	7857.000000	0001111010110001
main r0[46] :	-24966.000000	1001111001111010
main r0[47] :	-15058.000000	1100010100101110
main r0[48] :	20492.000000	0101000000001100
main r0[49] :	20953.000000	0101000111011001
main r0[50] :	-14303.000000	1100100000100001
main nscl :	0.000000	0000000
main alpha[0] :	0.000000	0000000000000000
main alpha[1] :	-5545.000000	1110101001010111
main alpha[2] :	30995.000000	0111100100010011
main alpha[3] :	3114.000000	0000110000101010
main alpha[4] :	-1285.000000	1111101011111011
main alpha[5] :	-2302.000000	1111011100000010
main alpha[6] :	-1421.000000	1111101001110011
main alpha[7] :	-2733.000000	1111010101010011
main alpha[8] :	-1113.000000	1111101110100111
main alpha[9] :	-1610.000000	1111100110110110
main alpha[10] :	-1400.000000	1111101010001000
main alpha[11] :	-438.000000	1111111001001010
main alpha[12] :	-1474.000000	1111101000111110
main alpha[13] :	-837.000000	1111110010111011
main alpha[14] :	-686.000000	1111110101010010
main alpha[15] :	-1512.000000	1111101000011000
main alpha[16] :	-6625.000000	1110011000011111
main alpha[17] :	6353.000000	0001100011010001
main alpha[18] :	-7137.000000	1110010000011111
main alpha[19] :	4709.000000	0001001001100101
main alpha[20] :	955.000000	0000001110111011
main alpha[21] :	-509.000000	1111111000000011
main alpha[22] :	-990.000000	1111110000100010
main alpha[23] :	-216.000000	1111111100101000
main alpha[24] :	-1969.000000	1111100001001111
main alpha[25] :	-321.000000	1111111010111111
main alpha[26] :	-1669.000000	1111100101111011
main alpha[27] :	-997.000000	1111110000011011
main alpha[28] :	-796.000000	1111110011100100
main alpha[29] :	-1599.000000	1111100111000001
main alpha[30] :	-493.000000	1111111000010011
main alpha[31] :	-1139.000000	1111101110001101
main alpha[32] :	18.000000	0000000000010010
main alpha[33] :	-3125.000000	1111001111001011
main alpha[34] :	1355.000000	0000010101001011
main alpha[35] :	-2801.000000	1111010100001111
main alpha[36] :	-499.000000	1111111000001101
main alpha[37] :	-305.000000	1111111011001111
main alpha[38] :	-645.000000	1111110101111011
main alpha[39] :	-979.000000	1111110000101101
main alpha[40] :	50.000000	0000000000110010
main alpha[41] :	-1098.000000	1111101110110110
main alpha[42] :	-321.000000	1111111010111111
main alpha[43] :	-1332.000000	1111101011001100
main alpha[44] :	-422.000000	1111111001011010
main alpha[45] :	-1534.000000	1111101000000010
main alpha[46] :	-758.000000	1111110100001010
main alpha[47] :	-1155.000000	1111101101111101
main alpha[48] :	-838.000000	1111110010111010
main alpha[49] :	-474.000000	1111111000100110
main alpha[50] :	-438.000000	1111111001001010
main lambda[0] :	36012270.000000	00000010001001011000000011101110
main lambda[1] :	-5306200.000000	11111111101011110000100010101000
main lambda[2] :	16667735.000000	00000000111111100101010001010111
main lambda[3] :	853431.000000	00000000000011010000010110110111
main lambda[4] :	-766676.000000	11111111111101000100110100101100
main lambda[5] :	-2229795.000000	11111111110111011111100111011101
main lambda[6] :	-161117.000000	11111111111111011000101010100011
main lambda[7] :	-2063578.000000	11111111111000001000001100100110
main lambda[8] :	-403168.000000	11111111111110011101100100100000
main lambda[9] :	-428591.000000	11111111111110010111010111010001
main lambda[10] :	-1198360.000000	11111111111011011011011011101000
main lambda[11] :	252690.000000	00000000000000111101101100010010
main lambda[12] :	-982887.000000	11111111111100010000000010011001
main lambda[13] :	-965312.000000	11111111111100010100010101000000
main lambda[14] :	-3051191.000000	11111111110100010111000101001001
main lambda[15] :	3290474.000000	00000000001100100011010101101010
main lambda[16] :	-7526630.000000	11111111100011010010011100011010
main lambda[17] :	7371650.000000	00000000011100000111101110000010
main lambda[18] :	-3636494.000000	11111111110010001000001011110010
main lambda[19] :	2662017.000000	00000000001010001001111010000001
main lambda[20] :	462835.000000	00000000000001110000111111110011
main lambda[21] :	108015.000000	00000000000000011010010111101111
main lambda[22] :	-1261324.000000	11111111111011001100000011110100
main lambda[23] :	370335.000000	00000000000001011010011010011111
main lambda[24] :	-1705968.000000	11111111111001011111100000010000
main lambda[25] :	-137362.000000	11111111111111011110011101101110
main lambda[26] :	-1073471.000000	11111111111011111001111011000001
main lambda[27] :	-883023.000000	11111111111100101000011010110001
main lambda[28] :	-387362.000000	11111111111110100001011011011110
main lambda[29] :	-985779.000000	11111111111100001111010101001101
main lambda[30] :	-75734.000000	11111111111111101101100000101010
main lambda[31] :	-1754197.000000	11111111111001010011101110101011
main lambda[32] :	1073631.000000	00000000000100000110000111011111
main lambda[33] :	-2907073.000000	11111111110100111010010000111111
main lambda[34] :	930774.000000	00000000000011100011001111010110
main lambda[35] :	-1388522.000000	11111111111010101101000000010110
main lambda[36] :	-385969.000000	11111111111110100001110001001111
main lambda[37] :	-397399.000000	11111111111110011110111110101001
main lambda[38] :	-71502.000000	11111111111111101110100010110010
main lambda[39] :	-890078.000000	11111111111100100110101100100010
main lambda[40] :	66337.000000	00000000000000010000001100100001
main lambda[41] :	-1061229.000000	11111111111011111100111010010011
main lambda[42] :	-224734.000000	11111111111111001001001000100010
main lambda[43] :	-1342658.000000	11111111111010111000001100111110
main lambda[44] :	-462856.000000	11111111111110001110111111111000
main lambda[45] :	-1294601.000000	11111111111011000011111011110111
main lambda[46] :	-708138.000000	11111111111101010011000111010110
main lambda[47] :	-769625.000000	11111111111101000100000110100111
main lambda[48] :	-600112.000000	11111111111101101101011111010000
main lambda[49] :	-204740.000000	11111111111111001110000000111100
main lambda[50] :	-224256.000000	11111111111111001001010000000000
main lambda0[0] :	17584.000000	0100010010110000
main lambda0[1] :	-2591.000000	1111010111100001
main lambda0[2] :	8138.000000	0001111111001010
main lambda0[3] :	416.000000	0000000110100000
main lambda0[4] :	-375.000000	1111111010001001
main lambda0[5] :	-1089.000000	1111101110111111
main lambda0[6] :	-79.000000	1111111110110001
main lambda0[7] :	-1008.000000	1111110000010000
main lambda0[8] :	-197.000000	1111111100111011
main lambda0[9] :	-210.000000	1111111100101110
main lambda0[10] :	-586.000000	1111110110110110
main lambda0[11] :	123.000000	0000000001111011
main lambda0[12] :	-480.000000	1111111000100000
main lambda0[13] :	-472.000000	1111111000101000
main lambda0[14] :	-1490.000000	1111101000101110
main lambda0[15] :	1606.000000	0000011001000110
main lambda0[16] :	-3676.000000	1111000110100100
main lambda0[17] :	3599.000000	0000111000001111
main lambda0[18] :	-1776.000000	1111100100010000
main lambda0[19] :	1299.000000	0000010100010011
main lambda0[20] :	225.000000	0000000011100001
main lambda0[21] :	52.000000	0000000000110100
main lambda0[22] :	-616.000000	1111110110011000
main lambda0[23] :	180.000000	0000000010110100
main lambda0[24] :	-833.000000	1111110010111111
main lambda0[25] :	-68.000000	1111111110111100
main lambda0[26] :	-525.000000	1111110111110011
main lambda0[27] :	-432.000000	1111111001010000
main lambda0[28] :	-190.000000	1111111101000010
main lambda0[29] :	-482.000000	1111111000011110
main lambda0[30] :	-37.000000	1111111111011011
main lambda0[31] :	-857.000000	1111110010100111
main lambda0[32] :	524.000000	0000001000001100
main lambda0[33] :	-1420.000000	1111101001110100
main lambda0[34] :	454.000000	0000000111000110
main lambda0[35] :	-678.000000	1111110101011010
main lambda0[36] :	-189.000000	1111111101000011
main lambda0[37] :	-195.000000	1111111100111101
main lambda0[38] :	-35.000000	1111111111011101
main lambda0[39] :	-435.000000	1111111001001101
main lambda0[40] :	32.000000	0000000000100000
main lambda0[41] :	-519.000000	1111110111111001
main lambda0[42] :	-110.000000	1111111110010010
main lambda0[43] :	-656.000000	1111110101110000
main lambda0[44] :	-227.000000	1111111100011101
main lambda0[45] :	-633.000000	1111110110000111
main lambda0[46] :	-346.000000	1111111010100110
main lambda0[47] :	-376.000000	1111111010001000
main lambda0[48] :	-294.000000	1111111011011010
main lambda0[49] :	-100.000000	1111111110011100
main lambda0[50] :	-110.000000	1111111110010010
main syn[0] :	-206046388.000000	11110011101101111111101101001100
main syn[1] :	-29392677.000000	11111110001111111000000011011011
main syn[2] :	4820372.000000	00000000010010011000110110010100
main syn[3] :	13069028.000000	00000000110001110110101011100100
main syn[4] :	14656506.000000	00000000110111111010001111111010
main syn[5] :	13391671.000000	00000000110011000101011100110111
main syn[6] :	9197658.000000	00000000100011000101100001011010
main syn[7] :	14890310.000000	00000000111000110011010101000110
main syn[8] :	1210952.000000	00000000000100100111101001001000
main syn[9] :	13973085.000000	00000000110101010011011001011101
main syn[10] :	550770.000000	00000000000010000110011101110010
main syn[11] :	7914433.000000	00000000011110001100001111000001
main syn[12] :	2038297.000000	00000000000111110001101000011001
main syn[13] :	-9978359.000000	11111111011001111011111000001001
main syn[14] :	-142614989.000000	11110111011111111101111000110011
main syn[15] :	182879602.000000	00001010111001101000010101110010