main s[0] :	-120.000000	1111111110001000
main s[1] :	-105.000000	1111111110010111
main s[2] :	-91.000000	1111111110100101
main s[3] :	-78.000000	1111111110110010
main s[4] :	-66.000000	1111111110111110
main s[5] :	-54.000000	1111111111001010
main s[6] :	-44.000000	1111111111010100
main s[7] :	-35.000000	1111111111011101
main s[8] :	-29.000000	1111111111100011
main s[9] :	-24.000000	1111111111101000
main s[10] :	-21.000000	1111111111101011
main s[11] :	-20.000000	1111111111101100
main s[12] :	-20.000000	1111111111101100
main s[13] :	-23.000000	1111111111101001
main s[14] :	-28.000000	1111111111100100
main s[15] :	-35.000000	1111111111011101
main s[16] :	-44.000000	1111111111010100
main s[17] :	-54.000000	1111111111001010
main s[18] :	-65.000000	1111111110111111
main s[19] :	-77.000000	1111111110110011
main s[20] :	-91.000000	1111111110100101
main s[21] :	-105.000000	1111111110010111
main s[22] :	-119.000000	1111111110001001
main s[23] :	-133.000000	1111111101111011
main s[24] :	-147.000000	1111111101101101
main s[25] :	-160.000000	1111111101100000
main s[26] :	-173.000000	1111111101010011
main s[27] :	-184.000000	1111111101001000
main s[28] :	-194.000000	1111111100111110
main s[29] :	-203.000000	1111111100110101
main s[30] :	-210.000000	1111111100101110
main s[31] :	-215.000000	1111111100101001
main s[32] :	-218.000000	1111111100100110
main s[33] :	-219.000000	1111111100100101
main s[34] :	-219.000000	1111111100100101
main s[35] :	-216.000000	1111111100101000
main s[36] :	-211.000000	1111111100101101
main s[37] :	-204.000000	1111111100110100
main s[38] :	-196.000000	1111111100111100
main s[39] :	-186.000000	1111111101000110
main s[40] :	-175.000000	1111111101010001
main s[41] :	-162.000000	1111111101011110
main s[42] :	-149.000000	1111111101101011
main s[43] :	-135.000000	1111111101111001
main s[44] :	-121.000000	1111111110000111
main s[45] :	-107.000000	1111111110010101
main s[46] :	-93.000000	1111111110100011
main s[47] :	-79.000000	1111111110110001
main s[48] :	-67.000000	1111111110111101
main s[49] :	-55.000000	1111111111001001
main s[50] :	-45.000000	1111111111010011
main s[51] :	-36.000000	1111111111011100
main s[52] :	-29.000000	1111111111100011
main s[53] :	-24.000000	1111111111101000
main s[54] :	-21.000000	1111111111101011
main s[55] :	-20.000000	1111111111101100
main s[56] :	-20.000000	1111111111101100
main s[57] :	-23.000000	1111111111101001
main s[58] :	-28.000000	1111111111100100
main s[59] :	-34.000000	1111111111011110
main s[60] :	-43.000000	1111111111010101
main s[61] :	-53.000000	1111111111001011
main s[62] :	-64.000000	1111111111000000
main s[63] :	-76.000000	1111111110110100
main s[64] :	-89.000000	1111111110100111
main s[65] :	-103.000000	1111111110011001
main s[66] :	-117.000000	1111111110001011
main s[67] :	-132.000000	1111111101111100
main s[68] :	-146.000000	1111111101101110
main s[69] :	-159.000000	1111111101100001
main s[70] :	-172.000000	1111111101010100
main s[71] :	-183.000000	1111111101001001
main s[72] :	-194.000000	1111111100111110
main s[73] :	-202.000000	1111111100110110
main s[74] :	-209.000000	1111111100101111
main s[75] :	-215.000000	1111111100101001
main s[76] :	-218.000000	1111111100100110
main s[77] :	-219.000000	1111111100100101
main s[78] :	-219.000000	1111111100100101
main s[79] :	-216.000000	1111111100101000
main s[80] :	-212.000000	1111111100101100
main s[81] :	-205.000000	1111111100110011
main s[82] :	-197.000000	1111111100111011
main s[83] :	-187.000000	1111111101000101
main s[84] :	-176.000000	1111111101010000
main s[85] :	-164.000000	1111111101011100
main s[86] :	-150.000000	1111111101101010
main s[87] :	-137.000000	1111111101110111
main s[88] :	-122.000000	1111111110000110
main s[89] :	-108.000000	1111111110010100
main s[90] :	-94.000000	1111111110100010
main s[91] :	-81.000000	1111111110101111
main s[92] :	-68.000000	1111111110111100
main s[93] :	-56.000000	1111111111001000
main s[94] :	-46.000000	1111111111010010
main s[95] :	-37.000000	1111111111011011
main s[96] :	-30.000000	1111111111100010
main s[97] :	-24.000000	1111111111101000
main s[98] :	-21.000000	1111111111101011
main s[99] :	-20.000000	1111111111101100
main s[100] :	-20.000000	1111111111101100
main s[101] :	-23.000000	1111111111101001
main s[102] :	-27.000000	1111111111100101
main s[103] :	-34.000000	1111111111011110
main s[104] :	-42.000000	1111111111010110
main s[105] :	-51.000000	1111111111001101
main s[106] :	-63.000000	1111111111000001
main s[107] :	-75.000000	1111111110110101
main s[108] :	-88.000000	1111111110101000
main s[109] :	-102.000000	1111111110011010
main s[110] :	-116.000000	1111111110001100
main s[111] :	-130.000000	1111111101111110
main s[112] :	-144.000000	1111111101110000
main s[113] :	-158.000000	1111111101100010
main s[114] :	-170.000000	1111111101010110
main s[115] :	-182.000000	1111111101001010
main s[116] :	-193.000000	1111111100111111
main s[117] :	-202.000000	1111111100110110
main s[118] :	-209.000000	1111111100101111
main s[119] :	-214.000000	1111111100101010
main s[120] :	-218.000000	1111111100100110
main s[121] :	-219.000000	1111111100100101
main s[122] :	-219.000000	1111111100100101
main s[123] :	-216.000000	1111111100101000
main s[124] :	-212.000000	1111111100101100
main s[125] :	-206.000000	1111111100110010
main s[126] :	-198.000000	1111111100111010
main s[127] :	-188.000000	1111111101000100
main s[128] :	-177.000000	1111111101001111
main s[129] :	-165.000000	1111111101011011
main s[130] :	-152.000000	1111111101101000
main s[131] :	-138.000000	1111111101110110
main s[132] :	-124.000000	1111111110000100
main s[133] :	-110.000000	1111111110010010
main s[134] :	-96.000000	1111111110100000
main s[135] :	-82.000000	1111111110101110
main s[136] :	-69.000000	1111111110111011
main s[137] :	-57.000000	1111111111000111
main s[138] :	-47.000000	1111111111010001
main s[139] :	-38.000000	1111111111011010
main s[140] :	-31.000000	1111111111100001
main s[141] :	-25.000000	1111111111100111
main s[142] :	-21.000000	1111111111101011
main s[143] :	-20.000000	1111111111101100
main s[144] :	-20.000000	1111111111101100
main s[145] :	-22.000000	1111111111101010
main s[146] :	-27.000000	1111111111100101
main s[147] :	-33.000000	1111111111011111
main s[148] :	-41.000000	1111111111010111
main s[149] :	-50.000000	1111111111001110
main s[150] :	-61.000000	1111111111000011
main s[151] :	-74.000000	1111111110110110
main s[152] :	-87.000000	1111111110101001
main s[153] :	-100.000000	1111111110011100
main s[154] :	-115.000000	1111111110001101
main s[155] :	-129.000000	1111111101111111
main s[156] :	-143.000000	1111111101110001
main s[157] :	-156.000000	1111111101100100
main s[158] :	-169.000000	1111111101010111
main s[159] :	-181.000000	1111111101001011
main s[160] :	-192.000000	1111111101000000
main s[161] :	-201.000000	1111111100110111
main s[162] :	-208.000000	1111111100110000
main s[163] :	-214.000000	1111111100101010
main s[164] :	-218.000000	1111111100100110
main s[165] :	-219.000000	1111111100100101
main s[166] :	-219.000000	1111111100100101
main s[167] :	-217.000000	1111111100100111
main s[168] :	-213.000000	1111111100101011
main s[169] :	-206.000000	1111111100110010
main s[170] :	-199.000000	1111111100111001
main s[171] :	-189.000000	1111111101000011
main s[172] :	-178.000000	1111111101001110
main s[173] :	-166.000000	1111111101011010
main s[174] :	-153.000000	1111111101100111
main s[175] :	-139.000000	1111111101110101
main s[176] :	-125.000000	1111111110000011
main s[177] :	-111.000000	1111111110010001
main s[178] :	-97.000000	1111111110011111
main s[179] :	-83.000000	1111111110101101
main s[180] :	-70.000000	1111111110111010
main s[181] :	-59.000000	1111111111000101
main s[182] :	-48.000000	1111111111010000
main s[183] :	-39.000000	1111111111011001
main s[184] :	-31.000000	1111111111100001
main s[185] :	-25.000000	1111111111100111
main s[186] :	-22.000000	1111111111101010
main s[187] :	-20.000000	1111111111101100
main s[188] :	-20.000000	1111111111101100
main s[189] :	-22.000000	1111111111101010
main s[190] :	-26.000000	1111111111100110
main s[191] :	-32.000000	1111111111100000
main s[192] :	-40.000000	1111111111011000
main s[193] :	-49.000000	1111111111001111
main s[194] :	-60.000000	1111111111000100
main s[195] :	-72.000000	1111111110111000
main s[196] :	-85.000000	1111111110101011
main s[197] :	-99.000000	1111111110011101
main s[198] :	-113.000000	1111111110001111
main s[199] :	-127.000000	1111111110000001
main s[200] :	-141.000000	1111111101110011
main s[201] :	-155.000000	1111111101100101
main s[202] :	-168.000000	1111111101011000
main s[203] :	-180.000000	1111111101001100
main s[204] :	-191.000000	1111111101000001
main s[205] :	-200.000000	1111111100111000
main s[206] :	-207.000000	1111111100110001
main s[207] :	-213.000000	1111111100101011
main s[208] :	-217.000000	1111111100100111
main s[209] :	-219.000000	1111111100100101
main s[210] :	-219.000000	1111111100100101
main s[211] :	-217.000000	1111111100100111
main s[212] :	-213.000000	1111111100101011
main s[213] :	-207.000000	1111111100110001
main s[214] :	-199.000000	1111111100111001
main s[215] :	-190.000000	1111111101000010
main s[216] :	-179.000000	1111111101001101
main s[217] :	-167.000000	1111111101011001
main s[218] :	-154.000000	1111111101100110
main s[219] :	-141.000000	1111111101110011
main s[220] :	-127.000000	1111111110000001
main s[221] :	-112.000000	1111111110010000
main s[222] :	-98.000000	1111111110011110
main s[223] :	-85.000000	1111111110101011
main s[224] :	-72.000000	1111111110111000
main s[225] :	-60.000000	1111111111000100
main s[226] :	-49.000000	1111111111001111
main s[227] :	-40.000000	1111111111011000
main s[228] :	-32.000000	1111111111100000
main s[229] :	-26.000000	1111111111100110
main s[230] :	-22.000000	1111111111101010
main s[231] :	-20.000000	1111111111101100
main s[232] :	-20.000000	1111111111101100
main s[233] :	-22.000000	1111111111101010
main s[234] :	-26.000000	1111111111100110
main s[235] :	-32.000000	1111111111100000
main s[236] :	-39.000000	1111111111011001
main s[237] :	-48.000000	1111111111010000
main s[238] :	-59.000000	1111111111000101
main s[239] :	-71.000000	1111111110111001
main s[240] :	-84.000000	1111111110101100
main s[241] :	-98.000000	1111111110011110
main s[242] :	-112.000000	1111111110010000
main s[243] :	-126.000000	1111111110000010
main s[244] :	-140.000000	1111111101110100
main s[245] :	-154.000000	1111111101100110
main s[246] :	-167.000000	1111111101011001
main s[247] :	-179.000000	1111111101001101
main s[248] :	-190.000000	1111111101000010
main s[249] :	-199.000000	1111111100111001
main s[250] :	-207.000000	1111111100110001
main s[251] :	-213.000000	1111111100101011
main s[252] :	-217.000000	1111111100100111
main s[253] :	-219.000000	1111111100100101
main s[254] :	-219.000000	1111111100100101
main s[255] :	-217.000000	1111111100100111
main s[256] :	-214.000000	1111111100101010
main s[257] :	-208.000000	1111111100110000
main s[258] :	-200.000000	1111111100111000
main s[259] :	-191.000000	1111111101000001
main s[260] :	-180.000000	1111111101001100
main s[261] :	-169.000000	1111111101010111
main s[262] :	-156.000000	1111111101100100
main s[263] :	-142.000000	1111111101110010
main s[264] :	-128.000000	1111111110000000
main s[265] :	-114.000000	1111111110001110
main s[266] :	-100.000000	1111111110011100
main s[267] :	-86.000000	1111111110101010
main s[268] :	-73.000000	1111111110110111
main s[269] :	-61.000000	1111111111000011
main s[270] :	-50.000000	1111111111001110
main s[271] :	-40.000000	1111111111011000
main s[272] :	-33.000000	1111111111011111
main s[273] :	-26.000000	1111111111100110
main s[274] :	-22.000000	1111111111101010
main s[275] :	-20.000000	1111111111101100
main s[276] :	-20.000000	1111111111101100
main s[277] :	-21.000000	1111111111101011
main s[278] :	-25.000000	1111111111100111
main s[279] :	-31.000000	1111111111100001
main s[280] :	-38.000000	1111111111011010
main s[281] :	-47.000000	1111111111010001
main s[282] :	-58.000000	1111111111000110
main s[283] :	-70.000000	1111111110111010
main s[284] :	-83.000000	1111111110101101
main s[285] :	-96.000000	1111111110100000
main s[286] :	-110.000000	1111111110010010
main s[287] :	-124.000000	1111111110000100
main s[288] :	-139.000000	1111111101110101
main s[289] :	-152.000000	1111111101101000
main s[290] :	-165.000000	1111111101011011
main s[291] :	-178.000000	1111111101001110
main s[292] :	-189.000000	1111111101000011
main s[293] :	-198.000000	1111111100111010
main s[294] :	-206.000000	1111111100110010
main s[295] :	-212.000000	1111111100101100
main s[296] :	-217.000000	1111111100100111
main s[297] :	-219.000000	1111111100100101
main s[298] :	-219.000000	1111111100100101
main s[299] :	-218.000000	1111111100100110
main s[300] :	-214.000000	1111111100101010
main s[301] :	-208.000000	1111111100110000
main s[302] :	-201.000000	1111111100110111
main s[303] :	-192.000000	1111111101000000
main s[304] :	-182.000000	1111111101001010
main s[305] :	-170.000000	1111111101010110
main s[306] :	-157.000000	1111111101100011
main s[307] :	-143.000000	1111111101110001
main s[308] :	-129.000000	1111111101111111
main s[309] :	-115.000000	1111111110001101
main s[310] :	-101.000000	1111111110011011
main s[311] :	-87.000000	1111111110101001
main s[312] :	-74.000000	1111111110110110
main s[313] :	-62.000000	1111111111000010
main s[314] :	-51.000000	1111111111001101
main s[315] :	-41.000000	1111111111010111
main s[316] :	-33.000000	1111111111011111
main s[317] :	-27.000000	1111111111100101
main s[318] :	-23.000000	1111111111101001
main s[319] :	-20.000000	1111111111101100
main s[320] :	-20.000000	1111111111101100
main s[321] :	-21.000000	1111111111101011
main s[322] :	-25.000000	1111111111100111
main s[323] :	-30.000000	1111111111100010
main s[324] :	-37.000000	1111111111011011
main s[325] :	-46.000000	1111111111010010
main s[326] :	-57.000000	1111111111000111
main s[327] :	-69.000000	1111111110111011
main s[328] :	-81.000000	1111111110101111
main s[329] :	-95.000000	1111111110100001
main s[330] :	-109.000000	1111111110010011
main s[331] :	-123.000000	1111111110000101
main s[332] :	-137.000000	1111111101110111
main s[333] :	-151.000000	1111111101101001
main s[334] :	-164.000000	1111111101011100
main s[335] :	-176.000000	1111111101010000
main s[336] :	-188.000000	1111111101000100
main s[337] :	-197.000000	1111111100111011
main s[338] :	-205.000000	1111111100110011
main s[339] :	-212.000000	1111111100101100
main s[340] :	-216.000000	1111111100101000
main s[341] :	-219.000000	1111111100100101
main s[342] :	-219.000000	1111111100100101
main s[343] :	-218.000000	1111111100100110
main s[344] :	-215.000000	1111111100101001
main s[345] :	-209.000000	1111111100101111
main s[346] :	-202.000000	1111111100110110
main s[347] :	-193.000000	1111111100111111
main s[348] :	-183.000000	1111111101001001
main s[349] :	-171.000000	1111111101010101
main s[350] :	-158.000000	1111111101100010
main s[351] :	-145.000000	1111111101101111
main s[352] :	-131.000000	1111111101111101
main s[353] :	-117.000000	1111111110001011
main s[354] :	-102.000000	1111111110011010
main s[355] :	-89.000000	1111111110100111
main s[356] :	-75.000000	1111111110110101
main s[357] :	-63.000000	1111111111000001
main s[358] :	-52.000000	1111111111001100
main s[359] :	-42.000000	1111111111010110
main s[360] :	-34.000000	1111111111011110
main s[361] :	-27.000000	1111111111100101
main s[362] :	-23.000000	1111111111101001
main s[363] :	-20.000000	1111111111101100
main s[364] :	-20.000000	1111111111101100
main s[365] :	-21.000000	1111111111101011
main s[366] :	-24.000000	1111111111101000
main s[367] :	-30.000000	1111111111100010
main s[368] :	-37.000000	1111111111011011
main s[369] :	-45.000000	1111111111010011
main s[370] :	-56.000000	1111111111001000
main s[371] :	-67.000000	1111111110111101
main s[372] :	-80.000000	1111111110110000
main s[373] :	-93.000000	1111111110100011
main s[374] :	-107.000000	1111111110010101
main s[375] :	-122.000000	1111111110000110
main s[376] :	-136.000000	1111111101111000
main s[377] :	-150.000000	1111111101101010
main s[378] :	-163.000000	1111111101011101
main s[379] :	-175.000000	1111111101010001
main s[380] :	-186.000000	1111111101000110
main s[381] :	-196.000000	1111111100111100
main s[382] :	-205.000000	1111111100110011
main s[383] :	-211.000000	1111111100101101
main s[384] :	-216.000000	1111111100101000
main s[385] :	-219.000000	1111111100100101
main s[386] :	-219.000000	1111111100100101
main s[387] :	-218.000000	1111111100100110
main s[388] :	-215.000000	1111111100101001
main s[389] :	-210.000000	1111111100101110
main s[390] :	-203.000000	1111111100110101
main s[391] :	-194.000000	1111111100111110
main s[392] :	-184.000000	1111111101001000
main s[393] :	-172.000000	1111111101010100
main s[394] :	-160.000000	1111111101100000
main s[395] :	-146.000000	1111111101101110
main s[396] :	-132.000000	1111111101111100
main s[397] :	-118.000000	1111111110001010
main s[398] :	-104.000000	1111111110011000
main s[399] :	-90.000000	1111111110100110
main s[400] :	-77.000000	1111111110110011
main s[401] :	-64.000000	1111111111000000
main s[402] :	-53.000000	1111111111001011
main s[403] :	-43.000000	1111111111010101
main s[404] :	-35.000000	1111111111011101
main s[405] :	-28.000000	1111111111100100
main s[406] :	-23.000000	1111111111101001
main s[407] :	-20.000000	1111111111101100
main s[408] :	-20.000000	1111111111101100
main s[409] :	-21.000000	1111111111101011
main s[410] :	-24.000000	1111111111101000
main s[411] :	-29.000000	1111111111100011
main s[412] :	-36.000000	1111111111011100
main s[413] :	-45.000000	1111111111010011
main s[414] :	-55.000000	1111111111001001
main s[415] :	-66.000000	1111111110111110
main s[416] :	-79.000000	1111111110110001
main s[417] :	-92.000000	1111111110100100
main s[418] :	-106.000000	1111111110010110
main s[419] :	-120.000000	1111111110001000
main s[420] :	-134.000000	1111111101111010
main s[421] :	-148.000000	1111111101101100
main s[422] :	-162.000000	1111111101011110
main s[423] :	-174.000000	1111111101010010
main s[424] :	-185.000000	1111111101000111
main s[425] :	-195.000000	1111111100111101
main s[426] :	-204.000000	1111111100110100
main s[427] :	-211.000000	1111111100101101
main s[428] :	-216.000000	1111111100101000
main s[429] :	-219.000000	1111111100100101
main s[430] :	-219.000000	1111111100100101
main s[431] :	-218.000000	1111111100100110
main s[432] :	-215.000000	1111111100101001
main s[433] :	-210.000000	1111111100101110
main s[434] :	-204.000000	1111111100110100
main s[435] :	-195.000000	1111111100111101
main s[436] :	-185.000000	1111111101000111
main s[437] :	-173.000000	1111111101010011
main s[438] :	-161.000000	1111111101011111
main s[439] :	-148.000000	1111111101101100
main s[440] :	-134.000000	1111111101111010
main s[441] :	-120.000000	1111111110001000
main s[442] :	-105.000000	1111111110010111
main s[443] :	-91.000000	1111111110100101
main s[444] :	-78.000000	1111111110110010
main s[445] :	-66.000000	1111111110111110
main s[446] :	-54.000000	1111111111001010
main s[447] :	-44.000000	1111111111010100
main s[448] :	-35.000000	1111111111011101
main s[449] :	-29.000000	1111111111100011
main s[450] :	-24.000000	1111111111101000
main s[451] :	-21.000000	1111111111101011
main s[452] :	-20.000000	1111111111101100
main s[453] :	-20.000000	1111111111101100
main s[454] :	-23.000000	1111111111101001
main s[455] :	-28.000000	1111111111100100
main s[456] :	-35.000000	1111111111011101
main s[457] :	-44.000000	1111111111010100
main s[458] :	-54.000000	1111111111001010
main s[459] :	-65.000000	1111111110111111
main s[460] :	-77.000000	1111111110110011
main s[461] :	-91.000000	1111111110100101
main s[462] :	-105.000000	1111111110010111
main s[463] :	-119.000000	1111111110001001
main s[464] :	-133.000000	1111111101111011
main s[465] :	-147.000000	1111111101101101
main s[466] :	-160.000000	1111111101100000
main s[467] :	-173.000000	1111111101010011
main s[468] :	-184.000000	1111111101001000
main s[469] :	-194.000000	1111111100111110
main s[470] :	-203.000000	1111111100110101
main s[471] :	-210.000000	1111111100101110
main s[472] :	-215.000000	1111111100101001
main s[473] :	-218.000000	1111111100100110
main s[474] :	-219.000000	1111111100100101
main s[475] :	-219.000000	1111111100100101
main s[476] :	-216.000000	1111111100101000
main s[477] :	-211.000000	1111111100101101
main s[478] :	-204.000000	1111111100110100
main s[479] :	-196.000000	1111111100111100
main s[480] :	-186.000000	1111111101000110
main s[481] :	-175.000000	1111111101010001
main s[482] :	-162.000000	1111111101011110
main s[483] :	-149.000000	1111111101101011
main s[484] :	-135.000000	1111111101111001
main s[485] :	-121.000000	1111111110000111
main s[486] :	-107.000000	1111111110010101
main s[487] :	-93.000000	1111111110100011
main s[488] :	-79.000000	1111111110110001
main s[489] :	-67.000000	1111111110111101
main s[490] :	-55.000000	1111111111001001
main s[491] :	-45.000000	1111111111010011
main s[492] :	-36.000000	1111111111011100
main s[493] :	-29.000000	1111111111100011
main s[494] :	-24.000000	1111111111101000
main s[495] :	-21.000000	1111111111101011
main s[496] :	-20.000000	1111111111101100
main s[497] :	-20.000000	1111111111101100
main s[498] :	-23.000000	1111111111101001
main s[499] :	-28.000000	1111111111100100
main s[500] :	-34.000000	1111111111011110
main s[501] :	-43.000000	1111111111010101
main s[502] :	-53.000000	1111111111001011
main s[503] :	-64.000000	1111111111000000
main s[504] :	-76.000000	1111111110110100
main s[505] :	-89.000000	1111111110100111
main s[506] :	-103.000000	1111111110011001
main s[507] :	-117.000000	1111111110001011
main s[508] :	-132.000000	1111111101111100
main s[509] :	-146.000000	1111111101101110
main s[510] :	-159.000000	1111111101100001
main s[511] :	-172.000000	1111111101010100
main return[0] :	-120.000000	1111111110001000
main return[1] :	-105.000000	1111111110010111
main return[2] :	-91.000000	1111111110100101
main return[3] :	-78.000000	1111111110110010
main return[4] :	-66.000000	1111111110111110
main return[5] :	-54.000000	1111111111001010
main return[6] :	-44.000000	1111111111010100
main return[7] :	-35.000000	1111111111011101
main return[8] :	-29.000000	1111111111100011
main return[9] :	-24.000000	1111111111101000
main return[10] :	-21.000000	1111111111101011
main return[11] :	-20.000000	1111111111101100
main return[12] :	-20.000000	1111111111101100
main return[13] :	-23.000000	1111111111101001
main return[14] :	-28.000000	1111111111100100
main return[15] :	-35.000000	1111111111011101
main return[16] :	-44.000000	1111111111010100
main return[17] :	-54.000000	1111111111001010
main return[18] :	-65.000000	1111111110111111
main return[19] :	-77.000000	1111111110110011
main return[20] :	-91.000000	1111111110100101
main return[21] :	-105.000000	1111111110010111
main return[22] :	-119.000000	1111111110001001
main return[23] :	-133.000000	1111111101111011
main return[24] :	-147.000000	1111111101101101
main return[25] :	-160.000000	1111111101100000
main return[26] :	-173.000000	1111111101010011
main return[27] :	-184.000000	1111111101001000
main return[28] :	-194.000000	1111111100111110
main return[29] :	-203.000000	1111111100110101
main return[30] :	-210.000000	1111111100101110
main return[31] :	-215.000000	1111111100101001
main return[32] :	-218.000000	1111111100100110
main return[33] :	-219.000000	1111111100100101
main return[34] :	-219.000000	1111111100100101
main return[35] :	-216.000000	1111111100101000
main return[36] :	-211.000000	1111111100101101
main return[37] :	-204.000000	1111111100110100
main return[38] :	-196.000000	1111111100111100
main return[39] :	-186.000000	1111111101000110
main return[40] :	-175.000000	1111111101010001
main return[41] :	-162.000000	1111111101011110
main return[42] :	-149.000000	1111111101101011
main return[43] :	-135.000000	1111111101111001
main return[44] :	-121.000000	1111111110000111
main return[45] :	-107.000000	1111111110010101
main return[46] :	-93.000000	1111111110100011
main return[47] :	-79.000000	1111111110110001
main return[48] :	-67.000000	1111111110111101
main return[49] :	-55.000000	1111111111001001
main return[50] :	-45.000000	1111111111010011
main return[51] :	-36.000000	1111111111011100
main return[52] :	-29.000000	1111111111100011
main return[53] :	-24.000000	1111111111101000
main return[54] :	-21.000000	1111111111101011
main return[55] :	-20.000000	1111111111101100
main return[56] :	-20.000000	1111111111101100
main return[57] :	-23.000000	1111111111101001
main return[58] :	-28.000000	1111111111100100
main return[59] :	-34.000000	1111111111011110
main return[60] :	-43.000000	1111111111010101
main return[61] :	-53.000000	1111111111001011
main return[62] :	-64.000000	1111111111000000
main return[63] :	-76.000000	1111111110110100
main return[64] :	-89.000000	1111111110100111
main return[65] :	-103.000000	1111111110011001
main return[66] :	-117.000000	1111111110001011
main return[67] :	-132.000000	1111111101111100
main return[68] :	-146.000000	1111111101101110
main return[69] :	-159.000000	1111111101100001
main return[70] :	-172.000000	1111111101010100
main return[71] :	-183.000000	1111111101001001
main return[72] :	-194.000000	1111111100111110
main return[73] :	-202.000000	1111111100110110
main return[74] :	-209.000000	1111111100101111
main return[75] :	-215.000000	1111111100101001
main return[76] :	-218.000000	1111111100100110
main return[77] :	-219.000000	1111111100100101
main return[78] :	-219.000000	1111111100100101
main return[79] :	-216.000000	1111111100101000
main return[80] :	-212.000000	1111111100101100
main return[81] :	-205.000000	1111111100110011
main return[82] :	-197.000000	1111111100111011
main return[83] :	-187.000000	1111111101000101
main return[84] :	-176.000000	1111111101010000
main return[85] :	-164.000000	1111111101011100
main return[86] :	-150.000000	1111111101101010
main return[87] :	-137.000000	1111111101110111
main return[88] :	-122.000000	1111111110000110
main return[89] :	-108.000000	1111111110010100
main return[90] :	-94.000000	1111111110100010
main return[91] :	-81.000000	1111111110101111
main return[92] :	-68.000000	1111111110111100
main return[93] :	-56.000000	1111111111001000
main return[94] :	-46.000000	1111111111010010
main return[95] :	-37.000000	1111111111011011
main return[96] :	-30.000000	1111111111100010
main return[97] :	-24.000000	1111111111101000
main return[98] :	-21.000000	1111111111101011
main return[99] :	-20.000000	1111111111101100
main return[100] :	-20.000000	1111111111101100
main return[101] :	-23.000000	1111111111101001
main return[102] :	-27.000000	1111111111100101
main return[103] :	-34.000000	1111111111011110
main return[104] :	-42.000000	1111111111010110
main return[105] :	-51.000000	1111111111001101
main return[106] :	-63.000000	1111111111000001
main return[107] :	-75.000000	1111111110110101
main return[108] :	-88.000000	1111111110101000
main return[109] :	-102.000000	1111111110011010
main return[110] :	-116.000000	1111111110001100
main return[111] :	-130.000000	1111111101111110
main return[112] :	-144.000000	1111111101110000
main return[113] :	-158.000000	1111111101100010
main return[114] :	-170.000000	1111111101010110
main return[115] :	-182.000000	1111111101001010
main return[116] :	-193.000000	1111111100111111
main return[117] :	-202.000000	1111111100110110
main return[118] :	-209.000000	1111111100101111
main return[119] :	-214.000000	1111111100101010
main return[120] :	-218.000000	1111111100100110
main return[121] :	-219.000000	1111111100100101
main return[122] :	-219.000000	1111111100100101
main return[123] :	-216.000000	1111111100101000
main return[124] :	-212.000000	1111111100101100
main return[125] :	-206.000000	1111111100110010
main return[126] :	-198.000000	1111111100111010
main return[127] :	-188.000000	1111111101000100
main return[128] :	-177.000000	1111111101001111
main return[129] :	-165.000000	1111111101011011
main return[130] :	-152.000000	1111111101101000
main return[131] :	-138.000000	1111111101110110
main return[132] :	-124.000000	1111111110000100
main return[133] :	-110.000000	1111111110010010
main return[134] :	-96.000000	1111111110100000
main return[135] :	-82.000000	1111111110101110
main return[136] :	-69.000000	1111111110111011
main return[137] :	-57.000000	1111111111000111
main return[138] :	-47.000000	1111111111010001
main return[139] :	-38.000000	1111111111011010
main return[140] :	-31.000000	1111111111100001
main return[141] :	-25.000000	1111111111100111
main return[142] :	-21.000000	1111111111101011
main return[143] :	-20.000000	1111111111101100
main return[144] :	-20.000000	1111111111101100
main return[145] :	-22.000000	1111111111101010
main return[146] :	-27.000000	1111111111100101
main return[147] :	-33.000000	1111111111011111
main return[148] :	-41.000000	1111111111010111
main return[149] :	-50.000000	1111111111001110
main return[150] :	-61.000000	1111111111000011
main return[151] :	-74.000000	1111111110110110
main return[152] :	-87.000000	1111111110101001
main return[153] :	-100.000000	1111111110011100
main return[154] :	-115.000000	1111111110001101
main return[155] :	-129.000000	1111111101111111
main return[156] :	-143.000000	1111111101110001
main return[157] :	-156.000000	1111111101100100
main return[158] :	-169.000000	1111111101010111
main return[159] :	-181.000000	1111111101001011
main return[160] :	-192.000000	1111111101000000
main return[161] :	-201.000000	1111111100110111
main return[162] :	-208.000000	1111111100110000
main return[163] :	-214.000000	1111111100101010
main return[164] :	-218.000000	1111111100100110
main return[165] :	-219.000000	1111111100100101
main return[166] :	-219.000000	1111111100100101
main return[167] :	-217.000000	1111111100100111
main return[168] :	-213.000000	1111111100101011
main return[169] :	-206.000000	1111111100110010
main return[170] :	-199.000000	1111111100111001
main return[171] :	-189.000000	1111111101000011
main return[172] :	-178.000000	1111111101001110
main return[173] :	-166.000000	1111111101011010
main return[174] :	-153.000000	1111111101100111
main return[175] :	-139.000000	1111111101110101
main return[176] :	-125.000000	1111111110000011
main return[177] :	-111.000000	1111111110010001
main return[178] :	-97.000000	1111111110011111
main return[179] :	-83.000000	1111111110101101
main return[180] :	-70.000000	1111111110111010
main return[181] :	-59.000000	1111111111000101
main return[182] :	-48.000000	1111111111010000
main return[183] :	-39.000000	1111111111011001
main return[184] :	-31.000000	1111111111100001
main return[185] :	-25.000000	1111111111100111
main return[186] :	-22.000000	1111111111101010
main return[187] :	-20.000000	1111111111101100
main return[188] :	-20.000000	1111111111101100
main return[189] :	-22.000000	1111111111101010
main return[190] :	-26.000000	1111111111100110
main return[191] :	-32.000000	1111111111100000
main return[192] :	-40.000000	1111111111011000
main return[193] :	-49.000000	1111111111001111
main return[194] :	-60.000000	1111111111000100
main return[195] :	-72.000000	1111111110111000
main return[196] :	-85.000000	1111111110101011
main return[197] :	-99.000000	1111111110011101
main return[198] :	-113.000000	1111111110001111
main return[199] :	-127.000000	1111111110000001
main return[200] :	-141.000000	1111111101110011
main return[201] :	-155.000000	1111111101100101
main return[202] :	-168.000000	1111111101011000
main return[203] :	-180.000000	1111111101001100
main return[204] :	-191.000000	1111111101000001
main return[205] :	-200.000000	1111111100111000
main return[206] :	-207.000000	1111111100110001
main return[207] :	-213.000000	1111111100101011
main return[208] :	-217.000000	1111111100100111
main return[209] :	-219.000000	1111111100100101
main return[210] :	-219.000000	1111111100100101
main return[211] :	-217.000000	1111111100100111
main return[212] :	-213.000000	1111111100101011
main return[213] :	-207.000000	1111111100110001
main return[214] :	-199.000000	1111111100111001
main return[215] :	-190.000000	1111111101000010
main return[216] :	-179.000000	1111111101001101
main return[217] :	-167.000000	1111111101011001
main return[218] :	-154.000000	1111111101100110
main return[219] :	-141.000000	1111111101110011
main return[220] :	-127.000000	1111111110000001
main return[221] :	-112.000000	1111111110010000
main return[222] :	-98.000000	1111111110011110
main return[223] :	-85.000000	1111111110101011
main return[224] :	-72.000000	1111111110111000
main return[225] :	-60.000000	1111111111000100
main return[226] :	-49.000000	1111111111001111
main return[227] :	-40.000000	1111111111011000
main return[228] :	-32.000000	1111111111100000
main return[229] :	-26.000000	1111111111100110
main return[230] :	-22.000000	1111111111101010
main return[231] :	-20.000000	1111111111101100
main return[232] :	-20.000000	1111111111101100
main return[233] :	-22.000000	1111111111101010
main return[234] :	-26.000000	1111111111100110
main return[235] :	-32.000000	1111111111100000
main return[236] :	-39.000000	1111111111011001
main return[237] :	-48.000000	1111111111010000
main return[238] :	-59.000000	1111111111000101
main return[239] :	-71.000000	1111111110111001
main return[240] :	-84.000000	1111111110101100
main return[241] :	-98.000000	1111111110011110
main return[242] :	-112.000000	1111111110010000
main return[243] :	-126.000000	1111111110000010
main return[244] :	-140.000000	1111111101110100
main return[245] :	-154.000000	1111111101100110
main return[246] :	-166.000000	1111111101011010
main return[247] :	-177.000000	1111111101001111
main return[248] :	-187.000000	1111111101000101
main return[249] :	-195.000000	1111111100111101
main return[250] :	-201.000000	1111111100110111
main return[251] :	-206.000000	1111111100110010
main return[252] :	-209.000000	1111111100101111
main return[253] :	-210.000000	1111111100101110
main return[254] :	-209.000000	1111111100101111
main return[255] :	-207.000000	1111111100110001
main return[256] :	-204.000000	1111111100110100
main return[257] :	-199.000000	1111111100111001
main return[258] :	-193.000000	1111111100111111
main return[259] :	-186.000000	1111111101000110
main return[260] :	-178.000000	1111111101001110
main return[261] :	-169.000000	1111111101010111
main return[262] :	-156.000000	1111111101100100
main return[263] :	-142.000000	1111111101110010
main return[264] :	-128.000000	1111111110000000
main return[265] :	-114.000000	1111111110001110
main return[266] :	-100.000000	1111111110011100
main return[267] :	-86.000000	1111111110101010
main return[268] :	-73.000000	1111111110110111
main return[269] :	-61.000000	1111111111000011
main return[270] :	-50.000000	1111111111001110
main return[271] :	-40.000000	1111111111011000
main return[272] :	-33.000000	1111111111011111
main return[273] :	-26.000000	1111111111100110
main return[274] :	-22.000000	1111111111101010
main return[275] :	-20.000000	1111111111101100
main return[276] :	-20.000000	1111111111101100
main return[277] :	-21.000000	1111111111101011
main return[278] :	-25.000000	1111111111100111
main return[279] :	-31.000000	1111111111100001
main return[280] :	-38.000000	1111111111011010
main return[281] :	-47.000000	1111111111010001
main return[282] :	-58.000000	1111111111000110
main return[283] :	-70.000000	1111111110111010
main return[284] :	-83.000000	1111111110101101
main return[285] :	-96.000000	1111111110100000
main return[286] :	-110.000000	1111111110010010
main return[287] :	-124.000000	1111111110000100
main return[288] :	-139.000000	1111111101110101
main return[289] :	-152.000000	1111111101101000
main return[290] :	-165.000000	1111111101011011
main return[291] :	-178.000000	1111111101001110
main return[292] :	-189.000000	1111111101000011
main return[293] :	-198.000000	1111111100111010
main return[294] :	-206.000000	1111111100110010
main return[295] :	-212.000000	1111111100101100
main return[296] :	-217.000000	1111111100100111
main return[297] :	-219.000000	1111111100100101
main return[298] :	-219.000000	1111111100100101
main return[299] :	-218.000000	1111111100100110
main return[300] :	-214.000000	1111111100101010
main return[301] :	-208.000000	1111111100110000
main return[302] :	-201.000000	1111111100110111
main return[303] :	-192.000000	1111111101000000
main return[304] :	-182.000000	1111111101001010
main return[305] :	-170.000000	1111111101010110
main return[306] :	-157.000000	1111111101100011
main return[307] :	-143.000000	1111111101110001
main return[308] :	-129.000000	1111111101111111
main return[309] :	-115.000000	1111111110001101
main return[310] :	-101.000000	1111111110011011
main return[311] :	-87.000000	1111111110101001
main return[312] :	-74.000000	1111111110110110
main return[313] :	-62.000000	1111111111000010
main return[314] :	-51.000000	1111111111001101
main return[315] :	-41.000000	1111111111010111
main return[316] :	-33.000000	1111111111011111
main return[317] :	-27.000000	1111111111100101
main return[318] :	-23.000000	1111111111101001
main return[319] :	-20.000000	1111111111101100
main return[320] :	-20.000000	1111111111101100
main return[321] :	-21.000000	1111111111101011
main return[322] :	-25.000000	1111111111100111
main return[323] :	-30.000000	1111111111100010
main return[324] :	-37.000000	1111111111011011
main return[325] :	-46.000000	1111111111010010
main return[326] :	-57.000000	1111111111000111
main return[327] :	-69.000000	1111111110111011
main return[328] :	-81.000000	1111111110101111
main return[329] :	-95.000000	1111111110100001
main return[330] :	-109.000000	1111111110010011
main return[331] :	-123.000000	1111111110000101
main return[332] :	-137.000000	1111111101110111
main return[333] :	-151.000000	1111111101101001
main return[334] :	-164.000000	1111111101011100
main return[335] :	-176.000000	1111111101010000
main return[336] :	-188.000000	1111111101000100
main return[337] :	-197.000000	1111111100111011
main return[338] :	-205.000000	1111111100110011
main return[339] :	-212.000000	1111111100101100
main return[340] :	-216.000000	1111111100101000
main return[341] :	-219.000000	1111111100100101
main return[342] :	-219.000000	1111111100100101
main return[343] :	-218.000000	1111111100100110
main return[344] :	-215.000000	1111111100101001
main return[345] :	-209.000000	1111111100101111
main return[346] :	-202.000000	1111111100110110
main return[347] :	-193.000000	1111111100111111
main return[348] :	-183.000000	1111111101001001
main return[349] :	-171.000000	1111111101010101
main return[350] :	-158.000000	1111111101100010
main return[351] :	-145.000000	1111111101101111
main return[352] :	-131.000000	1111111101111101
main return[353] :	-117.000000	1111111110001011
main return[354] :	-102.000000	1111111110011010
main return[355] :	-89.000000	1111111110100111
main return[356] :	-75.000000	1111111110110101
main return[357] :	-63.000000	1111111111000001
main return[358] :	-52.000000	1111111111001100
main return[359] :	-42.000000	1111111111010110
main return[360] :	-34.000000	1111111111011110
main return[361] :	-27.000000	1111111111100101
main return[362] :	-23.000000	1111111111101001
main return[363] :	-20.000000	1111111111101100
main return[364] :	-20.000000	1111111111101100
main return[365] :	-21.000000	1111111111101011
main return[366] :	-24.000000	1111111111101000
main return[367] :	-30.000000	1111111111100010
main return[368] :	-37.000000	1111111111011011
main return[369] :	-45.000000	1111111111010011
main return[370] :	-56.000000	1111111111001000
main return[371] :	-67.000000	1111111110111101
main return[372] :	-80.000000	1111111110110000
main return[373] :	-93.000000	1111111110100011
main return[374] :	-107.000000	1111111110010101
main return[375] :	-122.000000	1111111110000110
main return[376] :	-136.000000	1111111101111000
main return[377] :	-150.000000	1111111101101010
main return[378] :	-163.000000	1111111101011101
main return[379] :	-175.000000	1111111101010001
main return[380] :	-186.000000	1111111101000110
main return[381] :	-196.000000	1111111100111100
main return[382] :	-205.000000	1111111100110011
main return[383] :	-211.000000	1111111100101101
main return[384] :	-216.000000	1111111100101000
main return[385] :	-219.000000	1111111100100101
main return[386] :	-219.000000	1111111100100101
main return[387] :	-218.000000	1111111100100110
main return[388] :	-215.000000	1111111100101001
main return[389] :	-210.000000	1111111100101110
main return[390] :	-203.000000	1111111100110101
main return[391] :	-194.000000	1111111100111110
main return[392] :	-184.000000	1111111101001000
main return[393] :	-172.000000	1111111101010100
main return[394] :	-160.000000	1111111101100000
main return[395] :	-146.000000	1111111101101110
main return[396] :	-132.000000	1111111101111100
main return[397] :	-118.000000	1111111110001010
main return[398] :	-104.000000	1111111110011000
main return[399] :	-90.000000	1111111110100110
main return[400] :	-77.000000	1111111110110011
main return[401] :	-64.000000	1111111111000000
main return[402] :	-53.000000	1111111111001011
main return[403] :	-43.000000	1111111111010101
main return[404] :	-35.000000	1111111111011101
main return[405] :	-28.000000	1111111111100100
main return[406] :	-23.000000	1111111111101001
main return[407] :	-20.000000	1111111111101100
main return[408] :	-20.000000	1111111111101100
main return[409] :	-21.000000	1111111111101011
main return[410] :	-24.000000	1111111111101000
main return[411] :	-29.000000	1111111111100011
main return[412] :	-36.000000	1111111111011100
main return[413] :	-45.000000	1111111111010011
main return[414] :	-55.000000	1111111111001001
main return[415] :	-66.000000	1111111110111110
main return[416] :	-79.000000	1111111110110001
main return[417] :	-92.000000	1111111110100100
main return[418] :	-106.000000	1111111110010110
main return[419] :	-120.000000	1111111110001000
main return[420] :	-134.000000	1111111101111010
main return[421] :	-148.000000	1111111101101100
main return[422] :	-162.000000	1111111101011110
main return[423] :	-174.000000	1111111101010010
main return[424] :	-185.000000	1111111101000111
main return[425] :	-195.000000	1111111100111101
main return[426] :	-204.000000	1111111100110100
main return[427] :	-211.000000	1111111100101101
main return[428] :	-216.000000	1111111100101000
main return[429] :	-219.000000	1111111100100101
main return[430] :	-219.000000	1111111100100101
main return[431] :	-218.000000	1111111100100110
main return[432] :	-215.000000	1111111100101001
main return[433] :	-210.000000	1111111100101110
main return[434] :	-204.000000	1111111100110100
main return[435] :	-195.000000	1111111100111101
main return[436] :	-185.000000	1111111101000111
main return[437] :	-173.000000	1111111101010011
main return[438] :	-161.000000	1111111101011111
main return[439] :	-148.000000	1111111101101100
main return[440] :	-134.000000	1111111101111010
main return[441] :	-120.000000	1111111110001000
main return[442] :	-105.000000	1111111110010111
main return[443] :	-91.000000	1111111110100101
main return[444] :	-78.000000	1111111110110010
main return[445] :	-66.000000	1111111110111110
main return[446] :	-54.000000	1111111111001010
main return[447] :	-44.000000	1111111111010100
main return[448] :	-35.000000	1111111111011101
main return[449] :	-29.000000	1111111111100011
main return[450] :	-24.000000	1111111111101000
main return[451] :	-21.000000	1111111111101011
main return[452] :	-20.000000	1111111111101100
main return[453] :	-20.000000	1111111111101100
main return[454] :	-23.000000	1111111111101001
main return[455] :	-28.000000	1111111111100100
main return[456] :	-35.000000	1111111111011101
main return[457] :	-44.000000	1111111111010100
main return[458] :	-54.000000	1111111111001010
main return[459] :	-65.000000	1111111110111111
main return[460] :	-77.000000	1111111110110011
main return[461] :	-91.000000	1111111110100101
main return[462] :	-105.000000	1111111110010111
main return[463] :	-119.000000	1111111110001001
main return[464] :	-133.000000	1111111101111011
main return[465] :	-147.000000	1111111101101101
main return[466] :	-160.000000	1111111101100000
main return[467] :	-173.000000	1111111101010011
main return[468] :	-184.000000	1111111101001000
main return[469] :	-194.000000	1111111100111110
main return[470] :	-203.000000	1111111100110101
main return[471] :	-210.000000	1111111100101110
main return[472] :	-215.000000	1111111100101001
main return[473] :	-218.000000	1111111100100110
main return[474] :	-219.000000	1111111100100101
main return[475] :	-219.000000	1111111100100101
main return[476] :	-216.000000	1111111100101000
main return[477] :	-211.000000	1111111100101101
main return[478] :	-204.000000	1111111100110100
main return[479] :	-196.000000	1111111100111100
main return[480] :	-186.000000	1111111101000110
main return[481] :	-175.000000	1111111101010001
main return[482] :	-162.000000	1111111101011110
main return[483] :	-149.000000	1111111101101011
main return[484] :	-135.000000	1111111101111001
main return[485] :	-121.000000	1111111110000111
main return[486] :	-107.000000	1111111110010101
main return[487] :	-93.000000	1111111110100011
main return[488] :	-79.000000	1111111110110001
main return[489] :	-67.000000	1111111110111101
main return[490] :	-55.000000	1111111111001001
main return[491] :	-45.000000	1111111111010011
main return[492] :	-36.000000	1111111111011100
main return[493] :	-29.000000	1111111111100011
main return[494] :	-24.000000	1111111111101000
main return[495] :	-21.000000	1111111111101011
main return[496] :	-20.000000	1111111111101100
main return[497] :	-20.000000	1111111111101100
main return[498] :	-23.000000	1111111111101001
main return[499] :	-28.000000	1111111111100100
main return[500] :	-34.000000	1111111111011110
main return[501] :	-43.000000	1111111111010101
main return[502] :	-53.000000	1111111111001011
main return[503] :	-64.000000	1111111111000000
main return[504] :	-76.000000	1111111110110100
main return[505] :	-89.000000	1111111110100111
main return[506] :	-103.000000	1111111110011001
main return[507] :	-117.000000	1111111110001011
main return[508] :	-132.000000	1111111101111100
main return[509] :	-146.000000	1111111101101110
main return[510] :	-159.000000	1111111101100001
main return[511] :	-172.000000	1111111101010100
main s1[0] :	-15.000000	1111111111110001
main s1[1] :	-14.000000	1111111111110010
main s1[2] :	-12.000000	1111111111110100
main s1[3] :	-10.000000	1111111111110110
main s1[4] :	-9.000000	1111111111110111
main s1[5] :	-7.000000	1111111111111001
main s1[6] :	-6.000000	1111111111111010
main s1[7] :	-5.000000	1111111111111011
main s1[8] :	-4.000000	1111111111111100
main s1[9] :	-3.000000	1111111111111101
main s1[10] :	-3.000000	1111111111111101
main s1[11] :	-3.000000	1111111111111101
main s1[12] :	-3.000000	1111111111111101
main s1[13] :	-3.000000	1111111111111101
main s1[14] :	-4.000000	1111111111111100
main s1[15] :	-5.000000	1111111111111011
main s1[16] :	-6.000000	1111111111111010
main s1[17] :	-7.000000	1111111111111001
main s1[18] :	-9.000000	1111111111110111
main s1[19] :	-10.000000	1111111111110110
main s1[20] :	-12.000000	1111111111110100
main s1[21] :	-14.000000	1111111111110010
main s1[22] :	-15.000000	1111111111110001
main s1[23] :	-17.000000	1111111111101111
main s1[24] :	-19.000000	1111111111101101
main s1[25] :	-20.000000	1111111111101100
main s1[26] :	-22.000000	1111111111101010
main s1[27] :	-23.000000	1111111111101001
main s1[28] :	-25.000000	1111111111100111
main s1[29] :	-26.000000	1111111111100110
main s1[30] :	-27.000000	1111111111100101
main s1[31] :	-27.000000	1111111111100101
main s1[32] :	-28.000000	1111111111100100
main s1[33] :	-28.000000	1111111111100100
main s1[34] :	-28.000000	1111111111100100
main s1[35] :	-27.000000	1111111111100101
main s1[36] :	-27.000000	1111111111100101
main s1[37] :	-26.000000	1111111111100110
main s1[38] :	-25.000000	1111111111100111
main s1[39] :	-24.000000	1111111111101000
main s1[40] :	-22.000000	1111111111101010
main s1[41] :	-21.000000	1111111111101011
main s1[42] :	-19.000000	1111111111101101
main s1[43] :	-17.000000	1111111111101111
main s1[44] :	-16.000000	1111111111110000
main s1[45] :	-14.000000	1111111111110010
main s1[46] :	-12.000000	1111111111110100
main s1[47] :	-10.000000	1111111111110110
main s1[48] :	-9.000000	1111111111110111
main s1[49] :	-7.000000	1111111111111001
main s1[50] :	-6.000000	1111111111111010
main s1[51] :	-5.000000	1111111111111011
main s1[52] :	-4.000000	1111111111111100
main s1[53] :	-3.000000	1111111111111101
main s1[54] :	-3.000000	1111111111111101
main s1[55] :	-3.000000	1111111111111101
main s1[56] :	-3.000000	1111111111111101
main s1[57] :	-3.000000	1111111111111101
main s1[58] :	-4.000000	1111111111111100
main s1[59] :	-5.000000	1111111111111011
main s1[60] :	-6.000000	1111111111111010
main s1[61] :	-7.000000	1111111111111001
main s1[62] :	-8.000000	1111111111111000
main s1[63] :	-10.000000	1111111111110110
main s1[64] :	-12.000000	1111111111110100
main s1[65] :	-13.000000	1111111111110011
main s1[66] :	-15.000000	1111111111110001
main s1[67] :	-17.000000	1111111111101111
main s1[68] :	-19.000000	1111111111101101
main s1[69] :	-20.000000	1111111111101100
main s1[70] :	-22.000000	1111111111101010
main s1[71] :	-23.000000	1111111111101001
main s1[72] :	-25.000000	1111111111100111
main s1[73] :	-26.000000	1111111111100110
main s1[74] :	-27.000000	1111111111100101
main s1[75] :	-27.000000	1111111111100101
main s1[76] :	-28.000000	1111111111100100
main s1[77] :	-28.000000	1111111111100100
main s1[78] :	-28.000000	1111111111100100
main s1[79] :	-27.000000	1111111111100101
main s1[80] :	-27.000000	1111111111100101
main s1[81] :	-26.000000	1111111111100110
main s1[82] :	-25.000000	1111111111100111
main s1[83] :	-24.000000	1111111111101000
main s1[84] :	-22.000000	1111111111101010
main s1[85] :	-21.000000	1111111111101011
main s1[86] :	-19.000000	1111111111101101
main s1[87] :	-18.000000	1111111111101110
main s1[88] :	-16.000000	1111111111110000
main s1[89] :	-14.000000	1111111111110010
main s1[90] :	-12.000000	1111111111110100
main s1[91] :	-11.000000	1111111111110101
main s1[92] :	-9.000000	1111111111110111
main s1[93] :	-7.000000	1111111111111001
main s1[94] :	-6.000000	1111111111111010
main s1[95] :	-5.000000	1111111111111011
main s1[96] :	-4.000000	1111111111111100
main s1[97] :	-3.000000	1111111111111101
main s1[98] :	-3.000000	1111111111111101
main s1[99] :	-3.000000	1111111111111101
main s1[100] :	-3.000000	1111111111111101
main s1[101] :	-3.000000	1111111111111101
main s1[102] :	-4.000000	1111111111111100
main s1[103] :	-5.000000	1111111111111011
main s1[104] :	-6.000000	1111111111111010
main s1[105] :	-7.000000	1111111111111001
main s1[106] :	-8.000000	1111111111111000
main s1[107] :	-10.000000	1111111111110110
main s1[108] :	-11.000000	1111111111110101
main s1[109] :	-13.000000	1111111111110011
main s1[110] :	-15.000000	1111111111110001
main s1[111] :	-17.000000	1111111111101111
main s1[112] :	-18.000000	1111111111101110
main s1[113] :	-20.000000	1111111111101100
main s1[114] :	-22.000000	1111111111101010
main s1[115] :	-23.000000	1111111111101001
main s1[116] :	-25.000000	1111111111100111
main s1[117] :	-26.000000	1111111111100110
main s1[118] :	-27.000000	1111111111100101
main s1[119] :	-27.000000	1111111111100101
main s1[120] :	-28.000000	1111111111100100
main s1[121] :	-28.000000	1111111111100100
main s1[122] :	-28.000000	1111111111100100
main s1[123] :	-27.000000	1111111111100101
main s1[124] :	-27.000000	1111111111100101
main s1[125] :	-26.000000	1111111111100110
main s1[126] :	-25.000000	1111111111100111
main s1[127] :	-24.000000	1111111111101000
main s1[128] :	-23.000000	1111111111101001
main s1[129] :	-21.000000	1111111111101011
main s1[130] :	-19.000000	1111111111101101
main s1[131] :	-18.000000	1111111111101110
main s1[132] :	-16.000000	1111111111110000
main s1[133] :	-14.000000	1111111111110010
main s1[134] :	-12.000000	1111111111110100
main s1[135] :	-11.000000	1111111111110101
main s1[136] :	-9.000000	1111111111110111
main s1[137] :	-8.000000	1111111111111000
main s1[138] :	-6.000000	1111111111111010
main s1[139] :	-5.000000	1111111111111011
main s1[140] :	-4.000000	1111111111111100
main s1[141] :	-4.000000	1111111111111100
main s1[142] :	-3.000000	1111111111111101
main s1[143] :	-3.000000	1111111111111101
main s1[144] :	-3.000000	1111111111111101
main s1[145] :	-3.000000	1111111111111101
main s1[146] :	-4.000000	1111111111111100
main s1[147] :	-5.000000	1111111111111011
main s1[148] :	-6.000000	1111111111111010
main s1[149] :	-7.000000	1111111111111001
main s1[150] :	-8.000000	1111111111111000
main s1[151] :	-10.000000	1111111111110110
main s1[152] :	-11.000000	1111111111110101
main s1[153] :	-13.000000	1111111111110011
main s1[154] :	-15.000000	1111111111110001
main s1[155] :	-17.000000	1111111111101111
main s1[156] :	-18.000000	1111111111101110
main s1[157] :	-20.000000	1111111111101100
main s1[158] :	-22.000000	1111111111101010
main s1[159] :	-23.000000	1111111111101001
main s1[160] :	-24.000000	1111111111101000
main s1[161] :	-26.000000	1111111111100110
main s1[162] :	-26.000000	1111111111100110
main s1[163] :	-27.000000	1111111111100101
main s1[164] :	-28.000000	1111111111100100
main s1[165] :	-28.000000	1111111111100100
main s1[166] :	-28.000000	1111111111100100
main s1[167] :	-28.000000	1111111111100100
main s1[168] :	-27.000000	1111111111100101
main s1[169] :	-26.000000	1111111111100110
main s1[170] :	-25.000000	1111111111100111
main s1[171] :	-24.000000	1111111111101000
main s1[172] :	-23.000000	1111111111101001
main s1[173] :	-21.000000	1111111111101011
main s1[174] :	-20.000000	1111111111101100
main s1[175] :	-18.000000	1111111111101110
main s1[176] :	-16.000000	1111111111110000
main s1[177] :	-14.000000	1111111111110010
main s1[178] :	-13.000000	1111111111110011
main s1[179] :	-11.000000	1111111111110101
main s1[180] :	-9.000000	1111111111110111
main s1[181] :	-8.000000	1111111111111000
main s1[182] :	-6.000000	1111111111111010
main s1[183] :	-5.000000	1111111111111011
main s1[184] :	-4.000000	1111111111111100
main s1[185] :	-4.000000	1111111111111100
main s1[186] :	-3.000000	1111111111111101
main s1[187] :	-3.000000	1111111111111101
main s1[188] :	-3.000000	1111111111111101
main s1[189] :	-3.000000	1111111111111101
main s1[190] :	-4.000000	1111111111111100
main s1[191] :	-4.000000	1111111111111100
main s1[192] :	-5.000000	1111111111111011
main s1[193] :	-7.000000	1111111111111001
main s1[194] :	-8.000000	1111111111111000
main s1[195] :	-9.000000	1111111111110111
main s1[196] :	-11.000000	1111111111110101
main s1[197] :	-13.000000	1111111111110011
main s1[198] :	-15.000000	1111111111110001
main s1[199] :	-16.000000	1111111111110000
main s1[200] :	-18.000000	1111111111101110
main s1[201] :	-20.000000	1111111111101100
main s1[202] :	-21.000000	1111111111101011
main s1[203] :	-23.000000	1111111111101001
main s1[204] :	-24.000000	1111111111101000
main s1[205] :	-25.000000	1111111111100111
main s1[206] :	-26.000000	1111111111100110
main s1[207] :	-27.000000	1111111111100101
main s1[208] :	-28.000000	1111111111100100
main s1[209] :	-28.000000	1111111111100100
main s1[210] :	-28.000000	1111111111100100
main s1[211] :	-28.000000	1111111111100100
main s1[212] :	-27.000000	1111111111100101
main s1[213] :	-26.000000	1111111111100110
main s1[214] :	-25.000000	1111111111100111
main s1[215] :	-24.000000	1111111111101000
main s1[216] :	-23.000000	1111111111101001
main s1[217] :	-21.000000	1111111111101011
main s1[218] :	-20.000000	1111111111101100
main s1[219] :	-18.000000	1111111111101110
main s1[220] :	-16.000000	1111111111110000
main s1[221] :	-14.000000	1111111111110010
main s1[222] :	-13.000000	1111111111110011
main s1[223] :	-11.000000	1111111111110101
main s1[224] :	-9.000000	1111111111110111
main s1[225] :	-8.000000	1111111111111000
main s1[226] :	-7.000000	1111111111111001
main s1[227] :	-5.000000	1111111111111011
main s1[228] :	-4.000000	1111111111111100
main s1[229] :	-4.000000	1111111111111100
main s1[230] :	-3.000000	1111111111111101
main s1[231] :	-3.000000	1111111111111101
main s1[232] :	-3.000000	1111111111111101
main s1[233] :	-3.000000	1111111111111101
main s1[234] :	-4.000000	1111111111111100
main s1[235] :	-4.000000	1111111111111100
main s1[236] :	-5.000000	1111111111111011
main s1[237] :	-6.000000	1111111111111010
main s1[238] :	-8.000000	1111111111111000
main s1[239] :	-9.000000	1111111111110111
main s1[240] :	-11.000000	1111111111110101
main s1[241] :	-13.000000	1111111111110011
main s1[242] :	-14.000000	1111111111110010
main s1[243] :	-16.000000	1111111111110000
main s1[244] :	-18.000000	1111111111101110
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] :	-22.000000	1111111111101010
main s1[262] :	-20.000000	1111111111101100
main s1[263] :	-18.000000	1111111111101110
main s1[264] :	-16.000000	1111111111110000
main s1[265] :	-15.000000	1111111111110001
main s1[266] :	-13.000000	1111111111110011
main s1[267] :	-11.000000	1111111111110101
main s1[268] :	-10.000000	1111111111110110
main s1[269] :	-8.000000	1111111111111000
main s1[270] :	-7.000000	1111111111111001
main s1[271] :	-5.000000	1111111111111011
main s1[272] :	-5.000000	1111111111111011
main s1[273] :	-4.000000	1111111111111100
main s1[274] :	-3.000000	1111111111111101
main s1[275] :	-3.000000	1111111111111101
main s1[276] :	-3.000000	1111111111111101
main s1[277] :	-3.000000	1111111111111101
main s1[278] :	-4.000000	1111111111111100
main s1[279] :	-4.000000	1111111111111100
main s1[280] :	-5.000000	1111111111111011
main s1[281] :	-6.000000	1111111111111010
main s1[282] :	-8.000000	1111111111111000
main s1[283] :	-9.000000	1111111111110111
main s1[284] :	-11.000000	1111111111110101
main s1[285] :	-12.000000	1111111111110100
main s1[286] :	-14.000000	1111111111110010
main s1[287] :	-16.000000	1111111111110000
main s1[288] :	-18.000000	1111111111101110
main s1[289] :	-19.000000	1111111111101101
main s1[290] :	-21.000000	1111111111101011
main s1[291] :	-23.000000	1111111111101001
main s1[292] :	-24.000000	1111111111101000
main s1[293] :	-25.000000	1111111111100111
main s1[294] :	-26.000000	1111111111100110
main s1[295] :	-27.000000	1111111111100101
main s1[296] :	-28.000000	1111111111100100
main s1[297] :	-28.000000	1111111111100100
main s1[298] :	-28.000000	1111111111100100
main s1[299] :	-28.000000	1111111111100100
main s1[300] :	-27.000000	1111111111100101
main s1[301] :	-26.000000	1111111111100110
main s1[302] :	-26.000000	1111111111100110
main s1[303] :	-24.000000	1111111111101000
main s1[304] :	-23.000000	1111111111101001
main s1[305] :	-22.000000	1111111111101010
main s1[306] :	-20.000000	1111111111101100
main s1[307] :	-18.000000	1111111111101110
main s1[308] :	-17.000000	1111111111101111
main s1[309] :	-15.000000	1111111111110001
main s1[310] :	-13.000000	1111111111110011
main s1[311] :	-11.000000	1111111111110101
main s1[312] :	-10.000000	1111111111110110
main s1[313] :	-8.000000	1111111111111000
main s1[314] :	-7.000000	1111111111111001
main s1[315] :	-6.000000	1111111111111010
main s1[316] :	-5.000000	1111111111111011
main s1[317] :	-4.000000	1111111111111100
main s1[318] :	-3.000000	1111111111111101
main s1[319] :	-3.000000	1111111111111101
main s1[320] :	-3.000000	1111111111111101
main s1[321] :	-3.000000	1111111111111101
main s1[322] :	-4.000000	1111111111111100
main s1[323] :	-4.000000	1111111111111100
main s1[324] :	-5.000000	1111111111111011
main s1[325] :	-6.000000	1111111111111010
main s1[326] :	-8.000000	1111111111111000
main s1[327] :	-9.000000	1111111111110111
main s1[328] :	-11.000000	1111111111110101
main s1[329] :	-12.000000	1111111111110100
main s1[330] :	-14.000000	1111111111110010
main s1[331] :	-16.000000	1111111111110000
main s1[332] :	-18.000000	1111111111101110
main s1[333] :	-19.000000	1111111111101101
main s1[334] :	-21.000000	1111111111101011
main s1[335] :	-22.000000	1111111111101010
main s1[336] :	-24.000000	1111111111101000
main s1[337] :	-25.000000	1111111111100111
main s1[338] :	-26.000000	1111111111100110
main s1[339] :	-27.000000	1111111111100101
main s1[340] :	-27.000000	1111111111100101
main s1[341] :	-28.000000	1111111111100100
main s1[342] :	-28.000000	1111111111100100
main s1[343] :	-28.000000	1111111111100100
main s1[344] :	-27.000000	1111111111100101
main s1[345] :	-27.000000	1111111111100101
main s1[346] :	-26.000000	1111111111100110
main s1[347] :	-25.000000	1111111111100111
main s1[348] :	-23.000000	1111111111101001
main s1[349] :	-22.000000	1111111111101010
main s1[350] :	-20.000000	1111111111101100
main s1[351] :	-19.000000	1111111111101101
main s1[352] :	-17.000000	1111111111101111
main s1[353] :	-15.000000	1111111111110001
main s1[354] :	-13.000000	1111111111110011
main s1[355] :	-12.000000	1111111111110100
main s1[356] :	-10.000000	1111111111110110
main s1[357] :	-8.000000	1111111111111000
main s1[358] :	-7.000000	1111111111111001
main s1[359] :	-6.000000	1111111111111010
main s1[360] :	-5.000000	1111111111111011
main s1[361] :	-4.000000	1111111111111100
main s1[362] :	-3.000000	1111111111111101
main s1[363] :	-3.000000	1111111111111101
main s1[364] :	-3.000000	1111111111111101
main s1[365] :	-3.000000	1111111111111101
main s1[366] :	-3.000000	1111111111111101
main s1[367] :	-4.000000	1111111111111100
main s1[368] :	-5.000000	1111111111111011
main s1[369] :	-6.000000	1111111111111010
main s1[370] :	-7.000000	1111111111111001
main s1[371] :	-9.000000	1111111111110111
main s1[372] :	-10.000000	1111111111110110
main s1[373] :	-12.000000	1111111111110100
main s1[374] :	-14.000000	1111111111110010
main s1[375] :	-16.000000	1111111111110000
main s1[376] :	-17.000000	1111111111101111
main s1[377] :	-19.000000	1111111111101101
main s1[378] :	-21.000000	1111111111101011
main s1[379] :	-22.000000	1111111111101010
main s1[380] :	-24.000000	1111111111101000
main s1[381] :	-25.000000	1111111111100111
main s1[382] :	-26.000000	1111111111100110
main s1[383] :	-27.000000	1111111111100101
main s1[384] :	-27.000000	1111111111100101
main s1[385] :	-28.000000	1111111111100100
main s1[386] :	-28.000000	1111111111100100
main s1[387] :	-28.000000	1111111111100100
main s1[388] :	-27.000000	1111111111100101
main s1[389] :	-27.000000	1111111111100101
main s1[390] :	-26.000000	1111111111100110
main s1[391] :	-25.000000	1111111111100111
main s1[392] :	-23.000000	1111111111101001
main s1[393] :	-22.000000	1111111111101010
main s1[394] :	-20.000000	1111111111101100
main s1[395] :	-19.000000	1111111111101101
main s1[396] :	-17.000000	1111111111101111
main s1[397] :	-15.000000	1111111111110001
main s1[398] :	-13.000000	1111111111110011
main s1[399] :	-12.000000	1111111111110100
main s1[400] :	-10.000000	1111111111110110
main s1[401] :	-8.000000	1111111111111000
main s1[402] :	-7.000000	1111111111111001
main s1[403] :	-6.000000	1111111111111010
main s1[404] :	-5.000000	1111111111111011
main s1[405] :	-4.000000	1111111111111100
main s1[406] :	-3.000000	1111111111111101
main s1[407] :	-3.000000	1111111111111101
main s1[408] :	-3.000000	1111111111111101
main s1[409] :	-3.000000	1111111111111101
main s1[410] :	-3.000000	1111111111111101
main s1[411] :	-4.000000	1111111111111100
main s1[412] :	-5.000000	1111111111111011
main s1[413] :	-6.000000	1111111111111010
main s1[414] :	-7.000000	1111111111111001
main s1[415] :	-9.000000	1111111111110111
main s1[416] :	-10.000000	1111111111110110
main s1[417] :	-12.000000	1111111111110100
main s1[418] :	-14.000000	1111111111110010
main s1[419] :	-15.000000	1111111111110001
main s1[420] :	-17.000000	1111111111101111
main s1[421] :	-19.000000	1111111111101101
main s1[422] :	-21.000000	1111111111101011
main s1[423] :	-22.000000	1111111111101010
main s1[424] :	-24.000000	1111111111101000
main s1[425] :	-25.000000	1111111111100111
main s1[426] :	-26.000000	1111111111100110
main s1[427] :	-27.000000	1111111111100101
main s1[428] :	-27.000000	1111111111100101
main s1[429] :	-28.000000	1111111111100100
main s1[430] :	-28.000000	1111111111100100
main s1[431] :	-28.000000	1111111111100100
main s1[432] :	-27.000000	1111111111100101
main s1[433] :	-27.000000	1111111111100101
main s1[434] :	-26.000000	1111111111100110
main s1[435] :	-25.000000	1111111111100111
main s1[436] :	-24.000000	1111111111101000
main s1[437] :	-22.000000	1111111111101010
main s1[438] :	-21.000000	1111111111101011
main s1[439] :	-19.000000	1111111111101101
main s1[440] :	-17.000000	1111111111101111
main s1[441] :	-15.000000	1111111111110001
main s1[442] :	-14.000000	1111111111110010
main s1[443] :	-12.000000	1111111111110100
main s1[444] :	-10.000000	1111111111110110
main s1[445] :	-9.000000	1111111111110111
main s1[446] :	-7.000000	1111111111111001
main s1[447] :	-6.000000	1111111111111010
main s1[448] :	-5.000000	1111111111111011
main s1[449] :	-4.000000	1111111111111100
main s1[450] :	-3.000000	1111111111111101
main s1[451] :	-3.000000	1111111111111101
main s1[452] :	-3.000000	1111111111111101
main s1[453] :	-3.000000	1111111111111101
main s1[454] :	-3.000000	1111111111111101
main s1[455] :	-4.000000	1111111111111100
main s1[456] :	-5.000000	1111111111111011
main s1[457] :	-6.000000	1111111111111010
main s1[458] :	-7.000000	1111111111111001
main s1[459] :	-9.000000	1111111111110111
main s1[460] :	-10.000000	1111111111110110
main s1[461] :	-12.000000	1111111111110100
main s1[462] :	-14.000000	1111111111110010
main s1[463] :	-15.000000	1111111111110001
main s1[464] :	-17.000000	1111111111101111
main s1[465] :	-19.000000	1111111111101101
main s1[466] :	-20.000000	1111111111101100
main s1[467] :	-22.000000	1111111111101010
main s1[468] :	-23.000000	1111111111101001
main s1[469] :	-25.000000	1111111111100111
main s1[470] :	-26.000000	1111111111100110
main s1[471] :	-27.000000	1111111111100101
main s1[472] :	-27.000000	1111111111100101
main s1[473] :	-28.000000	1111111111100100
main s1[474] :	-28.000000	1111111111100100
main s1[475] :	-28.000000	1111111111100100
main s1[476] :	-27.000000	1111111111100101
main s1[477] :	-27.000000	1111111111100101
main s1[478] :	-26.000000	1111111111100110
main s1[479] :	-25.000000	1111111111100111
main s1[480] :	-24.000000	1111111111101000
main s1[481] :	-22.000000	1111111111101010
main s1[482] :	-21.000000	1111111111101011
main s1[483] :	-19.000000	1111111111101101
main s1[484] :	-17.000000	1111111111101111
main s1[485] :	-16.000000	1111111111110000
main s1[486] :	-14.000000	1111111111110010
main s1[487] :	-12.000000	1111111111110100
main s1[488] :	-10.000000	1111111111110110
main s1[489] :	-9.000000	1111111111110111
main s1[490] :	-7.000000	1111111111111001
main s1[491] :	-6.000000	1111111111111010
main s1[492] :	-5.000000	1111111111111011
main s1[493] :	-4.000000	1111111111111100
main s1[494] :	-3.000000	1111111111111101
main s1[495] :	-3.000000	1111111111111101
main s1[496] :	-3.000000	1111111111111101
main s1[497] :	-3.000000	1111111111111101
main s1[498] :	-3.000000	1111111111111101
main s1[499] :	-4.000000	1111111111111100
main s1[500] :	-5.000000	1111111111111011
main s1[501] :	-6.000000	1111111111111010
main s1[502] :	-7.000000	1111111111111001
main s1[503] :	-8.000000	1111111111111000
main s1[504] :	-10.000000	1111111111110110
main s1[505] :	-12.000000	1111111111110100
main s1[506] :	-13.000000	1111111111110011
main s1[507] :	-15.000000	1111111111110001
main s1[508] :	-17.000000	1111111111101111
main s1[509] :	-19.000000	1111111111101101
main s1[510] :	-20.000000	1111111111101100
main s1[511] :	-22.000000	1111111111101010
main r[0] :	145895.000000	0000100011100111100111
main r[1] :	144693.000000	0000100011010100110101
main r[2] :	142892.000000	0000100010111000101100
main r[3] :	140469.000000	0000100010010010110101
main r[4] :	137474.000000	0000100001100100000010
main r[5] :	133924.000000	0000100000101100100100
main r[6] :	129964.000000	0000011111101110101100
main r[7] :	125597.000000	0000011110101010011101
main r[8] :	120940.000000	0000011101100001101100
main r[9] :	116098.000000	0000011100010110000010
main r[10] :	111129.000000	0000011011001000011001
main r[11] :	106126.000000	0000011001111010001110
main r[12] :	101180.000000	0000011000101100111100
main r[13] :	96397.000000	0000010111100010001101
main r[14] :	91884.000000	0000010110011011101100
main r[15] :	87678.000000	0000010101011001111110
main r[16] :	83853.000000	0000010100011110001101
main r[17] :	80909.000000	0000010011110000001101
main r[18] :	78408.000000	0000010011001001001000
main r[19] :	76358.000000	0000010010101001000110
main r[20] :	74866.000000	0000010010010001110010
main r[21] :	73933.000000	0000010010000011001101
main r[22] :	73538.000000	0000010001111101000010
main r[23] :	73697.000000	0000010001111111100001
main r[24] :	74422.000000	0000010010001010110110
main r[25] :	75664.000000	0000010010011110010000
main r[26] :	77411.000000	0000010010111001100011
main r[27] :	79576.000000	0000010011011011011000
main r[28] :	82177.000000	0000010100000100000001
main r[29] :	85111.000000	0000010100110001110111
main r[30] :	88302.000000	0000010101100011101110
main r[31] :	91691.000000	0000010110011000101011
main r[32] :	95225.000000	0000010111001111111001
main r[33] :	98782.000000	0000011000000111011110
main r[34] :	102318.000000	0000011000111110101110
main r[35] :	105751.000000	0000011001110100010111
main r[36] :	109011.000000	0000011010100111010011
main r[37] :	111992.000000	0000011011010101111000
main r[38] :	114689.000000	0000011100000000000001
main r[39] :	117016.000000	0000011100100100011000
main r[40] :	118943.000000	0000011101000010011111
main r[41] :	120387.000000	0000011101011001000011
main r[42] :	121325.000000	0000011101100111101101
main r[43] :	121801.000000	0000011101101111001001
main r[44] :	121750.000000	0000011101101110010110
main r[45] :	121117.000000	0000011101100100011101
main r[46] :	120023.000000	0000011101010011010111
main r[47] :	118419.000000	0000011100111010010011
main r[48] :	116341.000000	0000011100011001110101
main r[49] :	113848.000000	0000011011110010111000
main r[50] :	111005.000000	0000011011000110011101
main r0[0] :	18236.000000	0100011100111100
main r0[1] :	18086.000000	0100011010100110
main r0[2] :	17861.000000	0100010111000101
main r0[3] :	17558.000000	0100010010010110
main r0[4] :	17184.000000	0100001100100000
main r0[5] :	16740.000000	0100000101100100
main r0[6] :	16245.000000	0011111101110101
main r0[7] :	15699.000000	0011110101010011
main r0[8] :	15117.000000	0011101100001101
main r0[9] :	14512.000000	0011100010110000
main r0[10] :	13891.000000	0011011001000011
main r0[11] :	13265.000000	0011001111010001
main r0[12] :	12647.000000	0011000101100111
main r0[13] :	12049.000000	0010111100010001
main r0[14] :	11485.000000	0010110011011101
main r0[15] :	10959.000000	0010101011001111
main r0[16] :	10481.000000	0010100011110001
main r0[17] :	10113.000000	0010011110000001
main r0[18] :	9801.000000	0010011001001001
main r0[19] :	9544.000000	0010010101001000
main r0[20] :	9358.000000	0010010010001110
main r0[21] :	9241.000000	0010010000011001
main r0[22] :	9192.000000	0010001111101000
main r0[23] :	9212.000000	0010001111111100
main r0[24] :	9302.000000	0010010001010110
main r0[25] :	9458.000000	0010010011110010
main r0[26] :	9676.000000	0010010111001100
main r0[27] :	9947.000000	0010011011011011
main r0[28] :	10272.000000	0010100000100000
main r0[29] :	10638.000000	0010100110001110
main r0[30] :	11037.000000	0010101100011101
main r0[31] :	11461.000000	0010110011000101
main r0[32] :	11903.000000	0010111001111111
main r0[33] :	12347.000000	0011000000111011
main r0[34] :	12789.000000	0011000111110101
main r0[35] :	13218.000000	0011001110100010
main r0[36] :	13626.000000	0011010100111010
main r0[37] :	13999.000000	0011011010101111
main r0[38] :	14336.000000	0011100000000000
main r0[39] :	14627.000000	0011100100100011
main r0[40] :	14867.000000	0011101000010011
main r0[41] :	15048.000000	0011101011001000
main r0[42] :	15165.000000	0011101100111101
main r0[43] :	15225.000000	0011101101111001
main r0[44] :	15218.000000	0011101101110010
main r0[45] :	15139.000000	0011101100100011
main r0[46] :	15002.000000	0011101010011010
main r0[47] :	14802.000000	0011100111010010
main r0[48] :	14542.000000	0011100011001110
main r0[49] :	14231.000000	0011011110010111
main r0[50] :	13875.000000	0011011000110011
main nscl :	1.000000	0000001
main alpha[0] :	0.000000	0000000000000000
main alpha[1] :	-17163.000000	1011110011110101
main alpha[2] :	-510.000000	1111111000000010
main alpha[3] :	802.000000	0000001100100010
main alpha[4] :	-677.000000	1111110101011011
main alpha[5] :	1108.000000	0000010001010100
main alpha[6] :	-465.000000	1111111000101111
main alpha[7] :	553.000000	0000001000101001
main alpha[8] :	464.000000	0000000111010000
main alpha[9] :	-483.000000	1111111000011101
main alpha[10] :	108.000000	0000000001101100
main alpha[11] :	421.000000	0000000110100101
main alpha[12] :	-205.000000	1111111100110011
main alpha[13] :	783.000000	0000001100001111
main alpha[14] :	-618.000000	1111110110010110
main alpha[15] :	346.000000	0000000101011010
main alpha[16] :	4502.000000	0001000110010110
main alpha[17] :	-5681.000000	1110100111001111
main alpha[18] :	-288.000000	1111111011100000
main alpha[19] :	1475.000000	0000010111000011
main alpha[20] :	-844.000000	1111110010110100
main alpha[21] :	513.000000	0000001000000001
main alpha[22] :	-23.000000	1111111111101001
main alpha[23] :	195.000000	0000000011000011
main alpha[24] :	260.000000	0000000100000100
main alpha[25] :	-412.000000	1111111001100100
main alpha[26] :	0.000000	0000000000000000
main alpha[27] :	321.000000	0000000101000001
main alpha[28] :	-726.000000	1111110100101010
main alpha[29] :	840.000000	0000001101001000
main alpha[30] :	-585.000000	1111110110110111
main alpha[31] :	321.000000	0000000101000001
main alpha[32] :	885.000000	0000001101110101
main alpha[33] :	-1657.000000	1111100110000111
main alpha[34] :	-152.000000	1111111101101000
main alpha[35] :	782.000000	0000001100001110
main alpha[36] :	-963.000000	1111110000111101
main alpha[37] :	607.000000	0000001001011111
main alpha[38] :	-147.000000	1111111101101101
main alpha[39] :	-55.000000	1111111111001001
main alpha[40] :	134.000000	0000000010000110
main alpha[41] :	-352.000000	1111111010100000
main alpha[42] :	819.000000	0000001100110011
main alpha[43] :	-863.000000	1111110010100001
main alpha[44] :	-400.000000	1111111001110000
main alpha[45] :	1224.000000	0000010011001000
main alpha[46] :	-1013.000000	1111110000001011
main alpha[47] :	130.000000	0000000010000010
main alpha[48] :	518.000000	0000001000000110
main alpha[49] :	-577.000000	1111110110111111
main alpha[50] :	439.000000	0000000110110111
main lambda[0] :	9941843.000000	00000000100101111011001101010011
main lambda[1] :	-4803723.000000	11111111101101101011001101110101
main lambda[2] :	-546563.000000	11111111111101111010100011111101
main lambda[3] :	772386.000000	00000000000010111100100100100010
main lambda[4] :	-768221.000000	11111111111101000100011100100011
main lambda[5] :	555250.000000	00000000000010000111100011110010
main lambda[6] :	-299840.000000	11111111111110110110110011000000
main lambda[7] :	-114400.000000	11111111111111100100000100100000
main lambda[8] :	516991.000000	00000000000001111110001101111111
main lambda[9] :	-325496.000000	11111111111110110000100010001000
main lambda[10] :	-95965.000000	11111111111111101000100100100011
main lambda[11] :	364271.000000	00000000000001011000111011101111
main lambda[12] :	-608909.000000	11111111111101101011010101110011
main lambda[13] :	691262.000000	00000000000010101000110000111110
main lambda[14] :	-453798.000000	11111111111110010001001101011010
main lambda[15] :	-1217966.000000	11111111111011010110101001010010
main lambda[16] :	3039065.000000	00000000001011100101111101011001
main lambda[17] :	-1611184.000000	11111111111001110110101001010000
main lambda[18] :	-502543.000000	11111111111110000101010011110001
main lambda[19] :	780916.000000	00000000000010111110101001110100
main lambda[20] :	-542079.000000	11111111111101111011101010000001
main lambda[21] :	238279.000000	00000000000000111010001011000111
main lambda[22] :	-81618.000000	11111111111111101100000100101110
main lambda[23] :	-64004.000000	11111111111111110000010111111100
main lambda[24] :	284510.000000	00000000000001000101011101011110
main lambda[25] :	-279901.000000	11111111111110111011101010100011
main lambda[26] :	91646.000000	00000000000000010110010111111110
main lambda[27] :	258052.000000	00000000000000111111000000000100
main lambda[28] :	-602963.000000	11111111111101101100110010101101
main lambda[29] :	603456.000000	00000000000010010011010101000000
main lambda[30] :	-345941.000000	11111111111110101011100010101011
main lambda[31] :	-214654.000000	11111111111111001011100110000010
main lambda[32] :	814965.000000	00000000000011000110111101110101
main lambda[33] :	-516291.000000	11111111111110000001111100111101
main lambda[34] :	-189342.000000	11111111111111010001110001100010
main lambda[35] :	470319.000000	00000000000001110010110100101111
main lambda[36] :	-455701.000000	11111111111110010000101111101011
main lambda[37] :	245006.000000	00000000000000111011110100001110
main lambda[38] :	-51141.000000	11111111111111110011100000111011
main lambda[39] :	-53447.000000	11111111111111110010111100111001
main lambda[40] :	154111.000000	00000000000000100101100111111111
main lambda[41] :	-342335.000000	11111111111110101100011011000001
main lambda[42] :	467018.000000	00000000000001110010000001001010
main lambda[43] :	-120533.000000	11111111111111100010100100101011
main lambda[44] :	-439602.000000	11111111111110010100101011001110
main lambda[45] :	604160.000000	00000000000010010011100000000000
main lambda[46] :	-310194.000000	11111111111110110100010001001110
main lambda[47] :	-95536.000000	11111111111111101000101011010000
main lambda[48] :	283844.000000	00000000000001000101010011000100
main lambda[49] :	-265440.000000	11111111111110111111001100100000
main lambda[50] :	112384.000000	00000000000000011011011100000000
main lambda0[0] :	19417.000000	0100101111011001
main lambda0[1] :	-9383.000000	1101101101011001
main lambda0[2] :	-1068.000000	1111101111010100
main lambda0[3] :	1508.000000	0000010111100100
main lambda0[4] :	-1501.000000	1111101000100011
main lambda0[5] :	1084.000000	0000010000111100
main lambda0[6] :	-586.000000	1111110110110110
main lambda0[7] :	-224.000000	1111111100100000
main lambda0[8] :	1009.000000	0000001111110001
main lambda0[9] :	-636.000000	1111110110000100
main lambda0[10] :	-188.000000	1111111101000100
main lambda0[11] :	711.000000	0000001011000111
main lambda0[12] :	-1190.000000	1111101101011010
main lambda0[13] :	1350.000000	0000010101000110
main lambda0[14] :	-887.000000	1111110010001001
main lambda0[15] :	-2379.000000	1111011010110101
main lambda0[16] :	5935.000000	0001011100101111
main lambda0[17] :	-3147.000000	1111001110110101
main lambda0[18] :	-982.000000	1111110000101010
main lambda0[19] :	1525.000000	0000010111110101
main lambda0[20] :	-1059.000000	1111101111011101
main lambda0[21] :	465.000000	0000000111010001
main lambda0[22] :	-160.000000	1111111101100000
main lambda0[23] :	-126.000000	1111111110000010
main lambda0[24] :	555.000000	0000001000101011
main lambda0[25] :	-547.000000	1111110111011101
main lambda0[26] :	178.000000	0000000010110010
main lambda0[27] :	504.000000	0000000111111000
main lambda0[28] :	-1178.000000	1111101101100110
main lambda0[29] :	1178.000000	0000010010011010
main lambda0[30] :	-676.000000	1111110101011100
main lambda0[31] :	-420.000000	1111111001011100
main lambda0[32] :	1591.000000	0000011000110111
main lambda0[33] :	-1009.000000	1111110000001111
main lambda0[34] :	-370.000000	1111111010001110
main lambda0[35] :	918.000000	0000001110010110
main lambda0[36] :	-891.000000	1111110010000101
main lambda0[37] :	478.000000	0000000111011110
main lambda0[38] :	-100.000000	1111111110011100
main lambda0[39] :	-105.000000	1111111110010111
main lambda0[40] :	300.000000	0000000100101100
main lambda0[41] :	-669.000000	1111110101100011
main lambda0[42] :	912.000000	0000001110010000
main lambda0[43] :	-236.000000	1111111100010100
main lambda0[44] :	-859.000000	1111110010100101
main lambda0[45] :	1180.000000	0000010010011100
main lambda0[46] :	-606.000000	1111110110100010
main lambda0[47] :	-187.000000	1111111101000101
main lambda0[48] :	554.000000	0000001000101010
main lambda0[49] :	-519.000000	1111110111111001
main lambda0[50] :	219.000000	0000000011011011
main syn[0] :	-114177408.000000	11111001001100011100101010000000
main syn[1] :	-1551872.000000	11111111111010000101001000000000
main syn[2] :	-1481216.000000	11111111111010010110011000000000
main syn[3] :	-55936.000000	11111111111111110010010110000000
main syn[4] :	1650048.000000	00000000000110010010110110000000
main syn[5] :	-2751104.000000	11111111110101100000010110000000
main syn[6] :	3960064.000000	00000000001111000110110100000000
main syn[7] :	-5692416.000000	11111111101010010010010000000000
main syn[8] :	-2118528.000000	11111111110111111010110010000000
main syn[9] :	4533504.000000	00000000010001010010110100000000
main syn[10] :	-5724928.000000	11111111101010001010010100000000
main syn[11] :	5924864.000000	00000000010110100110100000000000
main syn[12] :	-5312768.000000	11111111101011101110111100000000
main syn[13] :	2678144.000000	00000000001010001101110110000000
main syn[14] :	-4194304.000000	11111111110000000000000000000000
main syn[15] :	-159374848.000000	11110110100000000010001000000000