main s[0] :	120.000000	0000000001111000
main s[1] :	134.000000	0000000010000110
main s[2] :	148.000000	0000000010010100
main s[3] :	161.000000	0000000010100001
main s[4] :	173.000000	0000000010101101
main s[5] :	185.000000	0000000010111001
main s[6] :	195.000000	0000000011000011
main s[7] :	204.000000	0000000011001100
main s[8] :	210.000000	0000000011010010
main s[9] :	215.000000	0000000011010111
main s[10] :	218.000000	0000000011011010
main s[11] :	219.000000	0000000011011011
main s[12] :	219.000000	0000000011011011
main s[13] :	216.000000	0000000011011000
main s[14] :	211.000000	0000000011010011
main s[15] :	204.000000	0000000011001100
main s[16] :	195.000000	0000000011000011
main s[17] :	185.000000	0000000010111001
main s[18] :	174.000000	0000000010101110
main s[19] :	162.000000	0000000010100010
main s[20] :	148.000000	0000000010010100
main s[21] :	134.000000	0000000010000110
main s[22] :	120.000000	0000000001111000
main s[23] :	106.000000	0000000001101010
main s[24] :	92.000000	0000000001011100
main s[25] :	79.000000	0000000001001111
main s[26] :	66.000000	0000000001000010
main s[27] :	55.000000	0000000000110111
main s[28] :	45.000000	0000000000101101
main s[29] :	36.000000	0000000000100100
main s[30] :	29.000000	0000000000011101
main s[31] :	24.000000	0000000000011000
main s[32] :	21.000000	0000000000010101
main s[33] :	20.000000	0000000000010100
main s[34] :	20.000000	0000000000010100
main s[35] :	23.000000	0000000000010111
main s[36] :	28.000000	0000000000011100
main s[37] :	35.000000	0000000000100011
main s[38] :	43.000000	0000000000101011
main s[39] :	53.000000	0000000000110101
main s[40] :	64.000000	0000000001000000
main s[41] :	77.000000	0000000001001101
main s[42] :	90.000000	0000000001011010
main s[43] :	104.000000	0000000001101000
main s[44] :	118.000000	0000000001110110
main s[45] :	132.000000	0000000010000100
main s[46] :	146.000000	0000000010010010
main s[47] :	160.000000	0000000010100000
main s[48] :	172.000000	0000000010101100
main s[49] :	184.000000	0000000010111000
main s[50] :	194.000000	0000000011000010
main s[51] :	203.000000	0000000011001011
main s[52] :	210.000000	0000000011010010
main s[53] :	215.000000	0000000011010111
main s[54] :	218.000000	0000000011011010
main s[55] :	219.000000	0000000011011011
main s[56] :	219.000000	0000000011011011
main s[57] :	216.000000	0000000011011000
main s[58] :	211.000000	0000000011010011
main s[59] :	205.000000	0000000011001101
main s[60] :	196.000000	0000000011000100
main s[61] :	186.000000	0000000010111010
main s[62] :	175.000000	0000000010101111
main s[63] :	163.000000	0000000010100011
main s[64] :	150.000000	0000000010010110
main s[65] :	136.000000	0000000010001000
main s[66] :	122.000000	0000000001111010
main s[67] :	107.000000	0000000001101011
main s[68] :	93.000000	0000000001011101
main s[69] :	80.000000	0000000001010000
main s[70] :	67.000000	0000000001000011
main s[71] :	56.000000	0000000000111000
main s[72] :	45.000000	0000000000101101
main s[73] :	37.000000	0000000000100101
main s[74] :	30.000000	0000000000011110
main s[75] :	24.000000	0000000000011000
main s[76] :	21.000000	0000000000010101
main s[77] :	20.000000	0000000000010100
main s[78] :	20.000000	0000000000010100
main s[79] :	23.000000	0000000000010111
main s[80] :	27.000000	0000000000011011
main s[81] :	34.000000	0000000000100010
main s[82] :	42.000000	0000000000101010
main s[83] :	52.000000	0000000000110100
main s[84] :	63.000000	0000000000111111
main s[85] :	75.000000	0000000001001011
main s[86] :	89.000000	0000000001011001
main s[87] :	102.000000	0000000001100110
main s[88] :	117.000000	0000000001110101
main s[89] :	131.000000	0000000010000011
main s[90] :	145.000000	0000000010010001
main s[91] :	158.000000	0000000010011110
main s[92] :	171.000000	0000000010101011
main s[93] :	183.000000	0000000010110111
main s[94] :	193.000000	0000000011000001
main s[95] :	202.000000	0000000011001010
main s[96] :	209.000000	0000000011010001
main s[97] :	215.000000	0000000011010111
main s[98] :	218.000000	0000000011011010
main s[99] :	219.000000	0000000011011011
main s[100] :	219.000000	0000000011011011
main s[101] :	216.000000	0000000011011000
main s[102] :	212.000000	0000000011010100
main s[103] :	205.000000	0000000011001101
main s[104] :	197.000000	0000000011000101
main s[105] :	188.000000	0000000010111100
main s[106] :	176.000000	0000000010110000
main s[107] :	164.000000	0000000010100100
main s[108] :	151.000000	0000000010010111
main s[109] :	137.000000	0000000010001001
main s[110] :	123.000000	0000000001111011
main s[111] :	109.000000	0000000001101101
main s[112] :	95.000000	0000000001011111
main s[113] :	81.000000	0000000001010001
main s[114] :	69.000000	0000000001000101
main s[115] :	57.000000	0000000000111001
main s[116] :	46.000000	0000000000101110
main s[117] :	37.000000	0000000000100101
main s[118] :	30.000000	0000000000011110
main s[119] :	25.000000	0000000000011001
main s[120] :	21.000000	0000000000010101
main s[121] :	20.000000	0000000000010100
main s[122] :	20.000000	0000000000010100
main s[123] :	23.000000	0000000000010111
main s[124] :	27.000000	0000000000011011
main s[125] :	33.000000	0000000000100001
main s[126] :	41.000000	0000000000101001
main s[127] :	51.000000	0000000000110011
main s[128] :	62.000000	0000000000111110
main s[129] :	74.000000	0000000001001010
main s[130] :	87.000000	0000000001010111
main s[131] :	101.000000	0000000001100101
main s[132] :	115.000000	0000000001110011
main s[133] :	129.000000	0000000010000001
main s[134] :	143.000000	0000000010001111
main s[135] :	157.000000	0000000010011101
main s[136] :	170.000000	0000000010101010
main s[137] :	182.000000	0000000010110110
main s[138] :	192.000000	0000000011000000
main s[139] :	201.000000	0000000011001001
main s[140] :	208.000000	0000000011010000
main s[141] :	214.000000	0000000011010110
main s[142] :	218.000000	0000000011011010
main s[143] :	219.000000	0000000011011011
main s[144] :	219.000000	0000000011011011
main s[145] :	217.000000	0000000011011001
main s[146] :	212.000000	0000000011010100
main s[147] :	206.000000	0000000011001110
main s[148] :	198.000000	0000000011000110
main s[149] :	189.000000	0000000010111101
main s[150] :	178.000000	0000000010110010
main s[151] :	165.000000	0000000010100101
main s[152] :	152.000000	0000000010011000
main s[153] :	139.000000	0000000010001011
main s[154] :	124.000000	0000000001111100
main s[155] :	110.000000	0000000001101110
main s[156] :	96.000000	0000000001100000
main s[157] :	83.000000	0000000001010011
main s[158] :	70.000000	0000000001000110
main s[159] :	58.000000	0000000000111010
main s[160] :	47.000000	0000000000101111
main s[161] :	38.000000	0000000000100110
main s[162] :	31.000000	0000000000011111
main s[163] :	25.000000	0000000000011001
main s[164] :	21.000000	0000000000010101
main s[165] :	20.000000	0000000000010100
main s[166] :	20.000000	0000000000010100
main s[167] :	22.000000	0000000000010110
main s[168] :	26.000000	0000000000011010
main s[169] :	33.000000	0000000000100001
main s[170] :	40.000000	0000000000101000
main s[171] :	50.000000	0000000000110010
main s[172] :	61.000000	0000000000111101
main s[173] :	73.000000	0000000001001001
main s[174] :	86.000000	0000000001010110
main s[175] :	100.000000	0000000001100100
main s[176] :	114.000000	0000000001110010
main s[177] :	128.000000	0000000010000000
main s[178] :	142.000000	0000000010001110
main s[179] :	156.000000	0000000010011100
main s[180] :	169.000000	0000000010101001
main s[181] :	180.000000	0000000010110100
main s[182] :	191.000000	0000000010111111
main s[183] :	200.000000	0000000011001000
main s[184] :	208.000000	0000000011010000
main s[185] :	214.000000	0000000011010110
main s[186] :	217.000000	0000000011011001
main s[187] :	219.000000	0000000011011011
main s[188] :	219.000000	0000000011011011
main s[189] :	217.000000	0000000011011001
main s[190] :	213.000000	0000000011010101
main s[191] :	207.000000	0000000011001111
main s[192] :	199.000000	0000000011000111
main s[193] :	190.000000	0000000010111110
main s[194] :	179.000000	0000000010110011
main s[195] :	167.000000	0000000010100111
main s[196] :	154.000000	0000000010011010
main s[197] :	140.000000	0000000010001100
main s[198] :	126.000000	0000000001111110
main s[199] :	112.000000	0000000001110000
main s[200] :	98.000000	0000000001100010
main s[201] :	84.000000	0000000001010100
main s[202] :	71.000000	0000000001000111
main s[203] :	59.000000	0000000000111011
main s[204] :	48.000000	0000000000110000
main s[205] :	39.000000	0000000000100111
main s[206] :	32.000000	0000000000100000
main s[207] :	26.000000	0000000000011010
main s[208] :	22.000000	0000000000010110
main s[209] :	20.000000	0000000000010100
main s[210] :	20.000000	0000000000010100
main s[211] :	22.000000	0000000000010110
main s[212] :	26.000000	0000000000011010
main s[213] :	32.000000	0000000000100000
main s[214] :	40.000000	0000000000101000
main s[215] :	49.000000	0000000000110001
main s[216] :	60.000000	0000000000111100
main s[217] :	72.000000	0000000001001000
main s[218] :	85.000000	0000000001010101
main s[219] :	98.000000	0000000001100010
main s[220] :	112.000000	0000000001110000
main s[221] :	127.000000	0000000001111111
main s[222] :	141.000000	0000000010001101
main s[223] :	154.000000	0000000010011010
main s[224] :	167.000000	0000000010100111
main s[225] :	179.000000	0000000010110011
main s[226] :	190.000000	0000000010111110
main s[227] :	199.000000	0000000011000111
main s[228] :	207.000000	0000000011001111
main s[229] :	213.000000	0000000011010101
main s[230] :	217.000000	0000000011011001
main s[231] :	219.000000	0000000011011011
main s[232] :	219.000000	0000000011011011
main s[233] :	217.000000	0000000011011001
main s[234] :	213.000000	0000000011010101
main s[235] :	207.000000	0000000011001111
main s[236] :	200.000000	0000000011001000
main s[237] :	191.000000	0000000010111111
main s[238] :	180.000000	0000000010110100
main s[239] :	168.000000	0000000010101000
main s[240] :	155.000000	0000000010011011
main s[241] :	141.000000	0000000010001101
main s[242] :	127.000000	0000000001111111
main s[243] :	113.000000	0000000001110001
main s[244] :	99.000000	0000000001100011
main s[245] :	85.000000	0000000001010101
main s[246] :	72.000000	0000000001001000
main s[247] :	60.000000	0000000000111100
main s[248] :	49.000000	0000000000110001
main s[249] :	40.000000	0000000000101000
main s[250] :	32.000000	0000000000100000
main s[251] :	26.000000	0000000000011010
main s[252] :	22.000000	0000000000010110
main s[253] :	20.000000	0000000000010100
main s[254] :	20.000000	0000000000010100
main s[255] :	22.000000	0000000000010110
main s[256] :	25.000000	0000000000011001
main s[257] :	31.000000	0000000000011111
main s[258] :	39.000000	0000000000100111
main s[259] :	48.000000	0000000000110000
main s[260] :	59.000000	0000000000111011
main s[261] :	70.000000	0000000001000110
main s[262] :	83.000000	0000000001010011
main s[263] :	97.000000	0000000001100001
main s[264] :	111.000000	0000000001101111
main s[265] :	125.000000	0000000001111101
main s[266] :	139.000000	0000000010001011
main s[267] :	153.000000	0000000010011001
main s[268] :	166.000000	0000000010100110
main s[269] :	178.000000	0000000010110010
main s[270] :	189.000000	0000000010111101
main s[271] :	199.000000	0000000011000111
main s[272] :	206.000000	0000000011001110
main s[273] :	213.000000	0000000011010101
main s[274] :	217.000000	0000000011011001
main s[275] :	219.000000	0000000011011011
main s[276] :	219.000000	0000000011011011
main s[277] :	218.000000	0000000011011010
main s[278] :	214.000000	0000000011010110
main s[279] :	208.000000	0000000011010000
main s[280] :	201.000000	0000000011001001
main s[281] :	192.000000	0000000011000000
main s[282] :	181.000000	0000000010110101
main s[283] :	169.000000	0000000010101001
main s[284] :	156.000000	0000000010011100
main s[285] :	143.000000	0000000010001111
main s[286] :	129.000000	0000000010000001
main s[287] :	115.000000	0000000001110011
main s[288] :	100.000000	0000000001100100
main s[289] :	87.000000	0000000001010111
main s[290] :	74.000000	0000000001001010
main s[291] :	61.000000	0000000000111101
main s[292] :	50.000000	0000000000110010
main s[293] :	41.000000	0000000000101001
main s[294] :	33.000000	0000000000100001
main s[295] :	27.000000	0000000000011011
main s[296] :	22.000000	0000000000010110
main s[297] :	20.000000	0000000000010100
main s[298] :	20.000000	0000000000010100
main s[299] :	21.000000	0000000000010101
main s[300] :	25.000000	0000000000011001
main s[301] :	31.000000	0000000000011111
main s[302] :	38.000000	0000000000100110
main s[303] :	47.000000	0000000000101111
main s[304] :	57.000000	0000000000111001
main s[305] :	69.000000	0000000001000101
main s[306] :	82.000000	0000000001010010
main s[307] :	96.000000	0000000001100000
main s[308] :	110.000000	0000000001101110
main s[309] :	124.000000	0000000001111100
main s[310] :	138.000000	0000000010001010
main s[311] :	152.000000	0000000010011000
main s[312] :	165.000000	0000000010100101
main s[313] :	177.000000	0000000010110001
main s[314] :	188.000000	0000000010111100
main s[315] :	198.000000	0000000011000110
main s[316] :	206.000000	0000000011001110
main s[317] :	212.000000	0000000011010100
main s[318] :	216.000000	0000000011011000
main s[319] :	219.000000	0000000011011011
main s[320] :	219.000000	0000000011011011
main s[321] :	218.000000	0000000011011010
main s[322] :	214.000000	0000000011010110
main s[323] :	209.000000	0000000011010001
main s[324] :	202.000000	0000000011001010
main s[325] :	193.000000	0000000011000001
main s[326] :	182.000000	0000000010110110
main s[327] :	170.000000	0000000010101010
main s[328] :	158.000000	0000000010011110
main s[329] :	144.000000	0000000010010000
main s[330] :	130.000000	0000000010000010
main s[331] :	116.000000	0000000001110100
main s[332] :	102.000000	0000000001100110
main s[333] :	88.000000	0000000001011000
main s[334] :	75.000000	0000000001001011
main s[335] :	63.000000	0000000000111111
main s[336] :	51.000000	0000000000110011
main s[337] :	42.000000	0000000000101010
main s[338] :	34.000000	0000000000100010
main s[339] :	27.000000	0000000000011011
main s[340] :	23.000000	0000000000010111
main s[341] :	20.000000	0000000000010100
main s[342] :	20.000000	0000000000010100
main s[343] :	21.000000	0000000000010101
main s[344] :	24.000000	0000000000011000
main s[345] :	30.000000	0000000000011110
main s[346] :	37.000000	0000000000100101
main s[347] :	46.000000	0000000000101110
main s[348] :	56.000000	0000000000111000
main s[349] :	68.000000	0000000001000100
main s[350] :	81.000000	0000000001010001
main s[351] :	94.000000	0000000001011110
main s[352] :	108.000000	0000000001101100
main s[353] :	122.000000	0000000001111010
main s[354] :	137.000000	0000000010001001
main s[355] :	150.000000	0000000010010110
main s[356] :	164.000000	0000000010100100
main s[357] :	176.000000	0000000010110000
main s[358] :	187.000000	0000000010111011
main s[359] :	197.000000	0000000011000101
main s[360] :	205.000000	0000000011001101
main s[361] :	212.000000	0000000011010100
main s[362] :	216.000000	0000000011011000
main s[363] :	219.000000	0000000011011011
main s[364] :	219.000000	0000000011011011
main s[365] :	218.000000	0000000011011010
main s[366] :	215.000000	0000000011010111
main s[367] :	209.000000	0000000011010001
main s[368] :	202.000000	0000000011001010
main s[369] :	194.000000	0000000011000010
main s[370] :	183.000000	0000000010110111
main s[371] :	172.000000	0000000010101100
main s[372] :	159.000000	0000000010011111
main s[373] :	146.000000	0000000010010010
main s[374] :	132.000000	0000000010000100
main s[375] :	117.000000	0000000001110101
main s[376] :	103.000000	0000000001100111
main s[377] :	89.000000	0000000001011001
main s[378] :	76.000000	0000000001001100
main s[379] :	64.000000	0000000001000000
main s[380] :	53.000000	0000000000110101
main s[381] :	43.000000	0000000000101011
main s[382] :	34.000000	0000000000100010
main s[383] :	28.000000	0000000000011100
main s[384] :	23.000000	0000000000010111
main s[385] :	20.000000	0000000000010100
main s[386] :	20.000000	0000000000010100
main s[387] :	21.000000	0000000000010101
main s[388] :	24.000000	0000000000011000
main s[389] :	29.000000	0000000000011101
main s[390] :	36.000000	0000000000100100
main s[391] :	45.000000	0000000000101101
main s[392] :	55.000000	0000000000110111
main s[393] :	67.000000	0000000001000011
main s[394] :	79.000000	0000000001001111
main s[395] :	93.000000	0000000001011101
main s[396] :	107.000000	0000000001101011
main s[397] :	121.000000	0000000001111001
main s[398] :	135.000000	0000000010000111
main s[399] :	149.000000	0000000010010101
main s[400] :	162.000000	0000000010100010
main s[401] :	175.000000	0000000010101111
main s[402] :	186.000000	0000000010111010
main s[403] :	196.000000	0000000011000100
main s[404] :	204.000000	0000000011001100
main s[405] :	211.000000	0000000011010011
main s[406] :	216.000000	0000000011011000
main s[407] :	219.000000	0000000011011011
main s[408] :	219.000000	0000000011011011
main s[409] :	218.000000	0000000011011010
main s[410] :	215.000000	0000000011010111
main s[411] :	210.000000	0000000011010010
main s[412] :	203.000000	0000000011001011
main s[413] :	194.000000	0000000011000010
main s[414] :	184.000000	0000000010111000
main s[415] :	173.000000	0000000010101101
main s[416] :	160.000000	0000000010100000
main s[417] :	147.000000	0000000010010011
main s[418] :	133.000000	0000000010000101
main s[419] :	119.000000	0000000001110111
main s[420] :	105.000000	0000000001101001
main s[421] :	91.000000	0000000001011011
main s[422] :	77.000000	0000000001001101
main s[423] :	65.000000	0000000001000001
main s[424] :	54.000000	0000000000110110
main s[425] :	44.000000	0000000000101100
main s[426] :	35.000000	0000000000100011
main s[427] :	28.000000	0000000000011100
main s[428] :	23.000000	0000000000010111
main s[429] :	20.000000	0000000000010100
main s[430] :	20.000000	0000000000010100
main s[431] :	21.000000	0000000000010101
main s[432] :	24.000000	0000000000011000
main s[433] :	29.000000	0000000000011101
main s[434] :	35.000000	0000000000100011
main s[435] :	44.000000	0000000000101100
main s[436] :	54.000000	0000000000110110
main s[437] :	66.000000	0000000001000010
main s[438] :	78.000000	0000000001001110
main s[439] :	91.000000	0000000001011011
main s[440] :	105.000000	0000000001101001
main s[441] :	119.000000	0000000001110111
main s[442] :	134.000000	0000000010000110
main s[443] :	148.000000	0000000010010100
main s[444] :	161.000000	0000000010100001
main s[445] :	173.000000	0000000010101101
main s[446] :	185.000000	0000000010111001
main s[447] :	195.000000	0000000011000011
main s[448] :	204.000000	0000000011001100
main s[449] :	210.000000	0000000011010010
main s[450] :	215.000000	0000000011010111
main s[451] :	218.000000	0000000011011010
main s[452] :	219.000000	0000000011011011
main s[453] :	219.000000	0000000011011011
main s[454] :	216.000000	0000000011011000
main s[455] :	211.000000	0000000011010011
main s[456] :	204.000000	0000000011001100
main s[457] :	195.000000	0000000011000011
main s[458] :	185.000000	0000000010111001
main s[459] :	174.000000	0000000010101110
main s[460] :	162.000000	0000000010100010
main s[461] :	148.000000	0000000010010100
main s[462] :	134.000000	0000000010000110
main s[463] :	120.000000	0000000001111000
main s[464] :	106.000000	0000000001101010
main s[465] :	92.000000	0000000001011100
main s[466] :	79.000000	0000000001001111
main s[467] :	66.000000	0000000001000010
main s[468] :	55.000000	0000000000110111
main s[469] :	45.000000	0000000000101101
main s[470] :	36.000000	0000000000100100
main s[471] :	29.000000	0000000000011101
main s[472] :	24.000000	0000000000011000
main s[473] :	21.000000	0000000000010101
main s[474] :	20.000000	0000000000010100
main s[475] :	20.000000	0000000000010100
main s[476] :	23.000000	0000000000010111
main s[477] :	28.000000	0000000000011100
main s[478] :	35.000000	0000000000100011
main s[479] :	43.000000	0000000000101011
main s[480] :	53.000000	0000000000110101
main s[481] :	64.000000	0000000001000000
main s[482] :	77.000000	0000000001001101
main s[483] :	90.000000	0000000001011010
main s[484] :	104.000000	0000000001101000
main s[485] :	118.000000	0000000001110110
main s[486] :	132.000000	0000000010000100
main s[487] :	146.000000	0000000010010010
main s[488] :	160.000000	0000000010100000
main s[489] :	172.000000	0000000010101100
main s[490] :	184.000000	0000000010111000
main s[491] :	194.000000	0000000011000010
main s[492] :	203.000000	0000000011001011
main s[493] :	210.000000	0000000011010010
main s[494] :	215.000000	0000000011010111
main s[495] :	218.000000	0000000011011010
main s[496] :	219.000000	0000000011011011
main s[497] :	219.000000	0000000011011011
main s[498] :	216.000000	0000000011011000
main s[499] :	211.000000	0000000011010011
main s[500] :	205.000000	0000000011001101
main s[501] :	196.000000	0000000011000100
main s[502] :	186.000000	0000000010111010
main s[503] :	175.000000	0000000010101111
main s[504] :	163.000000	0000000010100011
main s[505] :	150.000000	0000000010010110
main s[506] :	136.000000	0000000010001000
main s[507] :	122.000000	0000000001111010
main s[508] :	107.000000	0000000001101011
main s[509] :	93.000000	0000000001011101
main s[510] :	80.000000	0000000001010000
main s[511] :	67.000000	0000000001000011
main return[0] :	120.000000	0000000001111000
main return[1] :	134.000000	0000000010000110
main return[2] :	148.000000	0000000010010100
main return[3] :	161.000000	0000000010100001
main return[4] :	173.000000	0000000010101101
main return[5] :	185.000000	0000000010111001
main return[6] :	195.000000	0000000011000011
main return[7] :	204.000000	0000000011001100
main return[8] :	210.000000	0000000011010010
main return[9] :	215.000000	0000000011010111
main return[10] :	218.000000	0000000011011010
main return[11] :	219.000000	0000000011011011
main return[12] :	219.000000	0000000011011011
main return[13] :	216.000000	0000000011011000
main return[14] :	211.000000	0000000011010011
main return[15] :	204.000000	0000000011001100
main return[16] :	195.000000	0000000011000011
main return[17] :	185.000000	0000000010111001
main return[18] :	174.000000	0000000010101110
main return[19] :	162.000000	0000000010100010
main return[20] :	148.000000	0000000010010100
main return[21] :	134.000000	0000000010000110
main return[22] :	120.000000	0000000001111000
main return[23] :	106.000000	0000000001101010
main return[24] :	92.000000	0000000001011100
main return[25] :	79.000000	0000000001001111
main return[26] :	66.000000	0000000001000010
main return[27] :	55.000000	0000000000110111
main return[28] :	45.000000	0000000000101101
main return[29] :	36.000000	0000000000100100
main return[30] :	29.000000	0000000000011101
main return[31] :	24.000000	0000000000011000
main return[32] :	21.000000	0000000000010101
main return[33] :	20.000000	0000000000010100
main return[34] :	20.000000	0000000000010100
main return[35] :	23.000000	0000000000010111
main return[36] :	28.000000	0000000000011100
main return[37] :	35.000000	0000000000100011
main return[38] :	43.000000	0000000000101011
main return[39] :	53.000000	0000000000110101
main return[40] :	64.000000	0000000001000000
main return[41] :	77.000000	0000000001001101
main return[42] :	90.000000	0000000001011010
main return[43] :	104.000000	0000000001101000
main return[44] :	118.000000	0000000001110110
main return[45] :	132.000000	0000000010000100
main return[46] :	146.000000	0000000010010010
main return[47] :	160.000000	0000000010100000
main return[48] :	172.000000	0000000010101100
main return[49] :	184.000000	0000000010111000
main return[50] :	194.000000	0000000011000010
main return[51] :	203.000000	0000000011001011
main return[52] :	210.000000	0000000011010010
main return[53] :	215.000000	0000000011010111
main return[54] :	218.000000	0000000011011010
main return[55] :	219.000000	0000000011011011
main return[56] :	219.000000	0000000011011011
main return[57] :	216.000000	0000000011011000
main return[58] :	211.000000	0000000011010011
main return[59] :	205.000000	0000000011001101
main return[60] :	196.000000	0000000011000100
main return[61] :	186.000000	0000000010111010
main return[62] :	175.000000	0000000010101111
main return[63] :	163.000000	0000000010100011
main return[64] :	150.000000	0000000010010110
main return[65] :	136.000000	0000000010001000
main return[66] :	122.000000	0000000001111010
main return[67] :	107.000000	0000000001101011
main return[68] :	93.000000	0000000001011101
main return[69] :	80.000000	0000000001010000
main return[70] :	67.000000	0000000001000011
main return[71] :	56.000000	0000000000111000
main return[72] :	45.000000	0000000000101101
main return[73] :	37.000000	0000000000100101
main return[74] :	30.000000	0000000000011110
main return[75] :	24.000000	0000000000011000
main return[76] :	21.000000	0000000000010101
main return[77] :	20.000000	0000000000010100
main return[78] :	20.000000	0000000000010100
main return[79] :	23.000000	0000000000010111
main return[80] :	27.000000	0000000000011011
main return[81] :	34.000000	0000000000100010
main return[82] :	42.000000	0000000000101010
main return[83] :	52.000000	0000000000110100
main return[84] :	63.000000	0000000000111111
main return[85] :	75.000000	0000000001001011
main return[86] :	89.000000	0000000001011001
main return[87] :	102.000000	0000000001100110
main return[88] :	117.000000	0000000001110101
main return[89] :	131.000000	0000000010000011
main return[90] :	145.000000	0000000010010001
main return[91] :	158.000000	0000000010011110
main return[92] :	171.000000	0000000010101011
main return[93] :	183.000000	0000000010110111
main return[94] :	193.000000	0000000011000001
main return[95] :	202.000000	0000000011001010
main return[96] :	209.000000	0000000011010001
main return[97] :	215.000000	0000000011010111
main return[98] :	218.000000	0000000011011010
main return[99] :	219.000000	0000000011011011
main return[100] :	219.000000	0000000011011011
main return[101] :	216.000000	0000000011011000
main return[102] :	212.000000	0000000011010100
main return[103] :	205.000000	0000000011001101
main return[104] :	197.000000	0000000011000101
main return[105] :	188.000000	0000000010111100
main return[106] :	176.000000	0000000010110000
main return[107] :	164.000000	0000000010100100
main return[108] :	151.000000	0000000010010111
main return[109] :	137.000000	0000000010001001
main return[110] :	123.000000	0000000001111011
main return[111] :	109.000000	0000000001101101
main return[112] :	95.000000	0000000001011111
main return[113] :	81.000000	0000000001010001
main return[114] :	69.000000	0000000001000101
main return[115] :	57.000000	0000000000111001
main return[116] :	46.000000	0000000000101110
main return[117] :	37.000000	0000000000100101
main return[118] :	30.000000	0000000000011110
main return[119] :	25.000000	0000000000011001
main return[120] :	21.000000	0000000000010101
main return[121] :	20.000000	0000000000010100
main return[122] :	20.000000	0000000000010100
main return[123] :	23.000000	0000000000010111
main return[124] :	27.000000	0000000000011011
main return[125] :	33.000000	0000000000100001
main return[126] :	41.000000	0000000000101001
main return[127] :	51.000000	0000000000110011
main return[128] :	62.000000	0000000000111110
main return[129] :	74.000000	0000000001001010
main return[130] :	87.000000	0000000001010111
main return[131] :	101.000000	0000000001100101
main return[132] :	115.000000	0000000001110011
main return[133] :	129.000000	0000000010000001
main return[134] :	143.000000	0000000010001111
main return[135] :	157.000000	0000000010011101
main return[136] :	170.000000	0000000010101010
main return[137] :	182.000000	0000000010110110
main return[138] :	192.000000	0000000011000000
main return[139] :	201.000000	0000000011001001
main return[140] :	208.000000	0000000011010000
main return[141] :	214.000000	0000000011010110
main return[142] :	218.000000	0000000011011010
main return[143] :	219.000000	0000000011011011
main return[144] :	219.000000	0000000011011011
main return[145] :	217.000000	0000000011011001
main return[146] :	212.000000	0000000011010100
main return[147] :	206.000000	0000000011001110
main return[148] :	198.000000	0000000011000110
main return[149] :	189.000000	0000000010111101
main return[150] :	178.000000	0000000010110010
main return[151] :	165.000000	0000000010100101
main return[152] :	152.000000	0000000010011000
main return[153] :	139.000000	0000000010001011
main return[154] :	124.000000	0000000001111100
main return[155] :	110.000000	0000000001101110
main return[156] :	96.000000	0000000001100000
main return[157] :	83.000000	0000000001010011
main return[158] :	70.000000	0000000001000110
main return[159] :	58.000000	0000000000111010
main return[160] :	47.000000	0000000000101111
main return[161] :	38.000000	0000000000100110
main return[162] :	31.000000	0000000000011111
main return[163] :	25.000000	0000000000011001
main return[164] :	21.000000	0000000000010101
main return[165] :	20.000000	0000000000010100
main return[166] :	20.000000	0000000000010100
main return[167] :	22.000000	0000000000010110
main return[168] :	26.000000	0000000000011010
main return[169] :	33.000000	0000000000100001
main return[170] :	40.000000	0000000000101000
main return[171] :	50.000000	0000000000110010
main return[172] :	61.000000	0000000000111101
main return[173] :	73.000000	0000000001001001
main return[174] :	86.000000	0000000001010110
main return[175] :	100.000000	0000000001100100
main return[176] :	114.000000	0000000001110010
main return[177] :	128.000000	0000000010000000
main return[178] :	142.000000	0000000010001110
main return[179] :	156.000000	0000000010011100
main return[180] :	169.000000	0000000010101001
main return[181] :	180.000000	0000000010110100
main return[182] :	191.000000	0000000010111111
main return[183] :	200.000000	0000000011001000
main return[184] :	208.000000	0000000011010000
main return[185] :	214.000000	0000000011010110
main return[186] :	217.000000	0000000011011001
main return[187] :	219.000000	0000000011011011
main return[188] :	219.000000	0000000011011011
main return[189] :	217.000000	0000000011011001
main return[190] :	213.000000	0000000011010101
main return[191] :	207.000000	0000000011001111
main return[192] :	199.000000	0000000011000111
main return[193] :	190.000000	0000000010111110
main return[194] :	179.000000	0000000010110011
main return[195] :	167.000000	0000000010100111
main return[196] :	154.000000	0000000010011010
main return[197] :	140.000000	0000000010001100
main return[198] :	126.000000	0000000001111110
main return[199] :	112.000000	0000000001110000
main return[200] :	98.000000	0000000001100010
main return[201] :	84.000000	0000000001010100
main return[202] :	71.000000	0000000001000111
main return[203] :	59.000000	0000000000111011
main return[204] :	48.000000	0000000000110000
main return[205] :	39.000000	0000000000100111
main return[206] :	32.000000	0000000000100000
main return[207] :	26.000000	0000000000011010
main return[208] :	22.000000	0000000000010110
main return[209] :	20.000000	0000000000010100
main return[210] :	20.000000	0000000000010100
main return[211] :	22.000000	0000000000010110
main return[212] :	26.000000	0000000000011010
main return[213] :	32.000000	0000000000100000
main return[214] :	40.000000	0000000000101000
main return[215] :	49.000000	0000000000110001
main return[216] :	60.000000	0000000000111100
main return[217] :	72.000000	0000000001001000
main return[218] :	85.000000	0000000001010101
main return[219] :	98.000000	0000000001100010
main return[220] :	112.000000	0000000001110000
main return[221] :	127.000000	0000000001111111
main return[222] :	141.000000	0000000010001101
main return[223] :	154.000000	0000000010011010
main return[224] :	167.000000	0000000010100111
main return[225] :	179.000000	0000000010110011
main return[226] :	190.000000	0000000010111110
main return[227] :	199.000000	0000000011000111
main return[228] :	207.000000	0000000011001111
main return[229] :	213.000000	0000000011010101
main return[230] :	217.000000	0000000011011001
main return[231] :	219.000000	0000000011011011
main return[232] :	219.000000	0000000011011011
main return[233] :	217.000000	0000000011011001
main return[234] :	213.000000	0000000011010101
main return[235] :	207.000000	0000000011001111
main return[236] :	200.000000	0000000011001000
main return[237] :	191.000000	0000000010111111
main return[238] :	180.000000	0000000010110100
main return[239] :	168.000000	0000000010101000
main return[240] :	155.000000	0000000010011011
main return[241] :	141.000000	0000000010001101
main return[242] :	127.000000	0000000001111111
main return[243] :	113.000000	0000000001110001
main return[244] :	99.000000	0000000001100011
main return[245] :	90.000000	0000000001011010
main return[246] :	80.000000	0000000001010000
main return[247] :	71.000000	0000000001000111
main return[248] :	63.000000	0000000000111111
main return[249] :	55.000000	0000000000110111
main return[250] :	49.000000	0000000000110001
main return[251] :	43.000000	0000000000101011
main return[252] :	39.000000	0000000000100111
main return[253] :	37.000000	0000000000100101
main return[254] :	36.000000	0000000000100100
main return[255] :	37.000000	0000000000100101
main return[256] :	39.000000	0000000000100111
main return[257] :	43.000000	0000000000101011
main return[258] :	48.000000	0000000000110000
main return[259] :	54.000000	0000000000110110
main return[260] :	62.000000	0000000000111110
main return[261] :	70.000000	0000000001000110
main return[262] :	83.000000	0000000001010011
main return[263] :	97.000000	0000000001100001
main return[264] :	111.000000	0000000001101111
main return[265] :	125.000000	0000000001111101
main return[266] :	139.000000	0000000010001011
main return[267] :	153.000000	0000000010011001
main return[268] :	166.000000	0000000010100110
main return[269] :	178.000000	0000000010110010
main return[270] :	189.000000	0000000010111101
main return[271] :	199.000000	0000000011000111
main return[272] :	206.000000	0000000011001110
main return[273] :	213.000000	0000000011010101
main return[274] :	217.000000	0000000011011001
main return[275] :	219.000000	0000000011011011
main return[276] :	219.000000	0000000011011011
main return[277] :	218.000000	0000000011011010
main return[278] :	214.000000	0000000011010110
main return[279] :	208.000000	0000000011010000
main return[280] :	201.000000	0000000011001001
main return[281] :	192.000000	0000000011000000
main return[282] :	181.000000	0000000010110101
main return[283] :	169.000000	0000000010101001
main return[284] :	156.000000	0000000010011100
main return[285] :	143.000000	0000000010001111
main return[286] :	129.000000	0000000010000001
main return[287] :	115.000000	0000000001110011
main return[288] :	100.000000	0000000001100100
main return[289] :	87.000000	0000000001010111
main return[290] :	74.000000	0000000001001010
main return[291] :	61.000000	0000000000111101
main return[292] :	50.000000	0000000000110010
main return[293] :	41.000000	0000000000101001
main return[294] :	33.000000	0000000000100001
main return[295] :	27.000000	0000000000011011
main return[296] :	22.000000	0000000000010110
main return[297] :	20.000000	0000000000010100
main return[298] :	20.000000	0000000000010100
main return[299] :	21.000000	0000000000010101
main return[300] :	25.000000	0000000000011001
main return[301] :	31.000000	0000000000011111
main return[302] :	38.000000	0000000000100110
main return[303] :	47.000000	0000000000101111
main return[304] :	57.000000	0000000000111001
main return[305] :	69.000000	0000000001000101
main return[306] :	82.000000	0000000001010010
main return[307] :	96.000000	0000000001100000
main return[308] :	110.000000	0000000001101110
main return[309] :	124.000000	0000000001111100
main return[310] :	138.000000	0000000010001010
main return[311] :	152.000000	0000000010011000
main return[312] :	165.000000	0000000010100101
main return[313] :	177.000000	0000000010110001
main return[314] :	188.000000	0000000010111100
main return[315] :	198.000000	0000000011000110
main return[316] :	206.000000	0000000011001110
main return[317] :	212.000000	0000000011010100
main return[318] :	216.000000	0000000011011000
main return[319] :	219.000000	0000000011011011
main return[320] :	219.000000	0000000011011011
main return[321] :	218.000000	0000000011011010
main return[322] :	214.000000	0000000011010110
main return[323] :	209.000000	0000000011010001
main return[324] :	202.000000	0000000011001010
main return[325] :	193.000000	0000000011000001
main return[326] :	182.000000	0000000010110110
main return[327] :	170.000000	0000000010101010
main return[328] :	158.000000	0000000010011110
main return[329] :	144.000000	0000000010010000
main return[330] :	130.000000	0000000010000010
main return[331] :	116.000000	0000000001110100
main return[332] :	102.000000	0000000001100110
main return[333] :	88.000000	0000000001011000
main return[334] :	75.000000	0000000001001011
main return[335] :	63.000000	0000000000111111
main return[336] :	51.000000	0000000000110011
main return[337] :	42.000000	0000000000101010
main return[338] :	34.000000	0000000000100010
main return[339] :	27.000000	0000000000011011
main return[340] :	23.000000	0000000000010111
main return[341] :	20.000000	0000000000010100
main return[342] :	20.000000	0000000000010100
main return[343] :	21.000000	0000000000010101
main return[344] :	24.000000	0000000000011000
main return[345] :	30.000000	0000000000011110
main return[346] :	37.000000	0000000000100101
main return[347] :	46.000000	0000000000101110
main return[348] :	56.000000	0000000000111000
main return[349] :	68.000000	0000000001000100
main return[350] :	81.000000	0000000001010001
main return[351] :	94.000000	0000000001011110
main return[352] :	108.000000	0000000001101100
main return[353] :	122.000000	0000000001111010
main return[354] :	137.000000	0000000010001001
main return[355] :	150.000000	0000000010010110
main return[356] :	164.000000	0000000010100100
main return[357] :	176.000000	0000000010110000
main return[358] :	187.000000	0000000010111011
main return[359] :	197.000000	0000000011000101
main return[360] :	205.000000	0000000011001101
main return[361] :	212.000000	0000000011010100
main return[362] :	216.000000	0000000011011000
main return[363] :	219.000000	0000000011011011
main return[364] :	219.000000	0000000011011011
main return[365] :	218.000000	0000000011011010
main return[366] :	215.000000	0000000011010111
main return[367] :	209.000000	0000000011010001
main return[368] :	202.000000	0000000011001010
main return[369] :	194.000000	0000000011000010
main return[370] :	183.000000	0000000010110111
main return[371] :	172.000000	0000000010101100
main return[372] :	159.000000	0000000010011111
main return[373] :	146.000000	0000000010010010
main return[374] :	132.000000	0000000010000100
main return[375] :	117.000000	0000000001110101
main return[376] :	103.000000	0000000001100111
main return[377] :	89.000000	0000000001011001
main return[378] :	76.000000	0000000001001100
main return[379] :	64.000000	0000000001000000
main return[380] :	53.000000	0000000000110101
main return[381] :	43.000000	0000000000101011
main return[382] :	34.000000	0000000000100010
main return[383] :	28.000000	0000000000011100
main return[384] :	23.000000	0000000000010111
main return[385] :	20.000000	0000000000010100
main return[386] :	20.000000	0000000000010100
main return[387] :	21.000000	0000000000010101
main return[388] :	24.000000	0000000000011000
main return[389] :	29.000000	0000000000011101
main return[390] :	36.000000	0000000000100100
main return[391] :	45.000000	0000000000101101
main return[392] :	55.000000	0000000000110111
main return[393] :	67.000000	0000000001000011
main return[394] :	79.000000	0000000001001111
main return[395] :	93.000000	0000000001011101
main return[396] :	107.000000	0000000001101011
main return[397] :	121.000000	0000000001111001
main return[398] :	135.000000	0000000010000111
main return[399] :	149.000000	0000000010010101
main return[400] :	162.000000	0000000010100010
main return[401] :	175.000000	0000000010101111
main return[402] :	186.000000	0000000010111010
main return[403] :	196.000000	0000000011000100
main return[404] :	204.000000	0000000011001100
main return[405] :	211.000000	0000000011010011
main return[406] :	216.000000	0000000011011000
main return[407] :	219.000000	0000000011011011
main return[408] :	219.000000	0000000011011011
main return[409] :	218.000000	0000000011011010
main return[410] :	215.000000	0000000011010111
main return[411] :	210.000000	0000000011010010
main return[412] :	203.000000	0000000011001011
main return[413] :	194.000000	0000000011000010
main return[414] :	184.000000	0000000010111000
main return[415] :	173.000000	0000000010101101
main return[416] :	160.000000	0000000010100000
main return[417] :	147.000000	0000000010010011
main return[418] :	133.000000	0000000010000101
main return[419] :	119.000000	0000000001110111
main return[420] :	105.000000	0000000001101001
main return[421] :	91.000000	0000000001011011
main return[422] :	77.000000	0000000001001101
main return[423] :	65.000000	0000000001000001
main return[424] :	54.000000	0000000000110110
main return[425] :	44.000000	0000000000101100
main return[426] :	35.000000	0000000000100011
main return[427] :	28.000000	0000000000011100
main return[428] :	23.000000	0000000000010111
main return[429] :	20.000000	0000000000010100
main return[430] :	20.000000	0000000000010100
main return[431] :	21.000000	0000000000010101
main return[432] :	24.000000	0000000000011000
main return[433] :	29.000000	0000000000011101
main return[434] :	35.000000	0000000000100011
main return[435] :	44.000000	0000000000101100
main return[436] :	54.000000	0000000000110110
main return[437] :	66.000000	0000000001000010
main return[438] :	78.000000	0000000001001110
main return[439] :	91.000000	0000000001011011
main return[440] :	105.000000	0000000001101001
main return[441] :	119.000000	0000000001110111
main return[442] :	134.000000	0000000010000110
main return[443] :	148.000000	0000000010010100
main return[444] :	161.000000	0000000010100001
main return[445] :	173.000000	0000000010101101
main return[446] :	185.000000	0000000010111001
main return[447] :	195.000000	0000000011000011
main return[448] :	204.000000	0000000011001100
main return[449] :	210.000000	0000000011010010
main return[450] :	215.000000	0000000011010111
main return[451] :	218.000000	0000000011011010
main return[452] :	219.000000	0000000011011011
main return[453] :	219.000000	0000000011011011
main return[454] :	216.000000	0000000011011000
main return[455] :	211.000000	0000000011010011
main return[456] :	204.000000	0000000011001100
main return[457] :	195.000000	0000000011000011
main return[458] :	185.000000	0000000010111001
main return[459] :	174.000000	0000000010101110
main return[460] :	162.000000	0000000010100010
main return[461] :	148.000000	0000000010010100
main return[462] :	134.000000	0000000010000110
main return[463] :	120.000000	0000000001111000
main return[464] :	106.000000	0000000001101010
main return[465] :	92.000000	0000000001011100
main return[466] :	79.000000	0000000001001111
main return[467] :	66.000000	0000000001000010
main return[468] :	55.000000	0000000000110111
main return[469] :	45.000000	0000000000101101
main return[470] :	36.000000	0000000000100100
main return[471] :	29.000000	0000000000011101
main return[472] :	24.000000	0000000000011000
main return[473] :	21.000000	0000000000010101
main return[474] :	20.000000	0000000000010100
main return[475] :	20.000000	0000000000010100
main return[476] :	23.000000	0000000000010111
main return[477] :	28.000000	0000000000011100
main return[478] :	35.000000	0000000000100011
main return[479] :	43.000000	0000000000101011
main return[480] :	53.000000	0000000000110101
main return[481] :	64.000000	0000000001000000
main return[482] :	77.000000	0000000001001101
main return[483] :	90.000000	0000000001011010
main return[484] :	104.000000	0000000001101000
main return[485] :	118.000000	0000000001110110
main return[486] :	132.000000	0000000010000100
main return[487] :	146.000000	0000000010010010
main return[488] :	160.000000	0000000010100000
main return[489] :	172.000000	0000000010101100
main return[490] :	184.000000	0000000010111000
main return[491] :	194.000000	0000000011000010
main return[492] :	203.000000	0000000011001011
main return[493] :	210.000000	0000000011010010
main return[494] :	215.000000	0000000011010111
main return[495] :	218.000000	0000000011011010
main return[496] :	219.000000	0000000011011011
main return[497] :	219.000000	0000000011011011
main return[498] :	216.000000	0000000011011000
main return[499] :	211.000000	0000000011010011
main return[500] :	205.000000	0000000011001101
main return[501] :	196.000000	0000000011000100
main return[502] :	186.000000	0000000010111010
main return[503] :	175.000000	0000000010101111
main return[504] :	163.000000	0000000010100011
main return[505] :	150.000000	0000000010010110
main return[506] :	136.000000	0000000010001000
main return[507] :	122.000000	0000000001111010
main return[508] :	107.000000	0000000001101011
main return[509] :	93.000000	0000000001011101
main return[510] :	80.000000	0000000001010000
main return[511] :	67.000000	0000000001000011
main s1[0] :	15.000000	0000000000001111
main s1[1] :	16.000000	0000000000010000
main s1[2] :	18.000000	0000000000010010
main s1[3] :	20.000000	0000000000010100
main s1[4] :	21.000000	0000000000010101
main s1[5] :	23.000000	0000000000010111
main s1[6] :	24.000000	0000000000011000
main s1[7] :	25.000000	0000000000011001
main s1[8] :	26.000000	0000000000011010
main s1[9] :	26.000000	0000000000011010
main s1[10] :	27.000000	0000000000011011
main s1[11] :	27.000000	0000000000011011
main s1[12] :	27.000000	0000000000011011
main s1[13] :	27.000000	0000000000011011
main s1[14] :	26.000000	0000000000011010
main s1[15] :	25.000000	0000000000011001
main s1[16] :	24.000000	0000000000011000
main s1[17] :	23.000000	0000000000010111
main s1[18] :	21.000000	0000000000010101
main s1[19] :	20.000000	0000000000010100
main s1[20] :	18.000000	0000000000010010
main s1[21] :	16.000000	0000000000010000
main s1[22] :	15.000000	0000000000001111
main s1[23] :	13.000000	0000000000001101
main s1[24] :	11.000000	0000000000001011
main s1[25] :	9.000000	0000000000001001
main s1[26] :	8.000000	0000000000001000
main s1[27] :	6.000000	0000000000000110
main s1[28] :	5.000000	0000000000000101
main s1[29] :	4.000000	0000000000000100
main s1[30] :	3.000000	0000000000000011
main s1[31] :	3.000000	0000000000000011
main s1[32] :	2.000000	0000000000000010
main s1[33] :	2.000000	0000000000000010
main s1[34] :	2.000000	0000000000000010
main s1[35] :	2.000000	0000000000000010
main s1[36] :	3.000000	0000000000000011
main s1[37] :	4.000000	0000000000000100
main s1[38] :	5.000000	0000000000000101
main s1[39] :	6.000000	0000000000000110
main s1[40] :	8.000000	0000000000001000
main s1[41] :	9.000000	0000000000001001
main s1[42] :	11.000000	0000000000001011
main s1[43] :	13.000000	0000000000001101
main s1[44] :	14.000000	0000000000001110
main s1[45] :	16.000000	0000000000010000
main s1[46] :	18.000000	0000000000010010
main s1[47] :	20.000000	0000000000010100
main s1[48] :	21.000000	0000000000010101
main s1[49] :	23.000000	0000000000010111
main s1[50] :	24.000000	0000000000011000
main s1[51] :	25.000000	0000000000011001
main s1[52] :	26.000000	0000000000011010
main s1[53] :	26.000000	0000000000011010
main s1[54] :	27.000000	0000000000011011
main s1[55] :	27.000000	0000000000011011
main s1[56] :	27.000000	0000000000011011
main s1[57] :	27.000000	0000000000011011
main s1[58] :	26.000000	0000000000011010
main s1[59] :	25.000000	0000000000011001
main s1[60] :	24.000000	0000000000011000
main s1[61] :	23.000000	0000000000010111
main s1[62] :	21.000000	0000000000010101
main s1[63] :	20.000000	0000000000010100
main s1[64] :	18.000000	0000000000010010
main s1[65] :	17.000000	0000000000010001
main s1[66] :	15.000000	0000000000001111
main s1[67] :	13.000000	0000000000001101
main s1[68] :	11.000000	0000000000001011
main s1[69] :	10.000000	0000000000001010
main s1[70] :	8.000000	0000000000001000
main s1[71] :	7.000000	0000000000000111
main s1[72] :	5.000000	0000000000000101
main s1[73] :	4.000000	0000000000000100
main s1[74] :	3.000000	0000000000000011
main s1[75] :	3.000000	0000000000000011
main s1[76] :	2.000000	0000000000000010
main s1[77] :	2.000000	0000000000000010
main s1[78] :	2.000000	0000000000000010
main s1[79] :	2.000000	0000000000000010
main s1[80] :	3.000000	0000000000000011
main s1[81] :	4.000000	0000000000000100
main s1[82] :	5.000000	0000000000000101
main s1[83] :	6.000000	0000000000000110
main s1[84] :	7.000000	0000000000000111
main s1[85] :	9.000000	0000000000001001
main s1[86] :	11.000000	0000000000001011
main s1[87] :	12.000000	0000000000001100
main s1[88] :	14.000000	0000000000001110
main s1[89] :	16.000000	0000000000010000
main s1[90] :	18.000000	0000000000010010
main s1[91] :	19.000000	0000000000010011
main s1[92] :	21.000000	0000000000010101
main s1[93] :	22.000000	0000000000010110
main s1[94] :	24.000000	0000000000011000
main s1[95] :	25.000000	0000000000011001
main s1[96] :	26.000000	0000000000011010
main s1[97] :	26.000000	0000000000011010
main s1[98] :	27.000000	0000000000011011
main s1[99] :	27.000000	0000000000011011
main s1[100] :	27.000000	0000000000011011
main s1[101] :	27.000000	0000000000011011
main s1[102] :	26.000000	0000000000011010
main s1[103] :	25.000000	0000000000011001
main s1[104] :	24.000000	0000000000011000
main s1[105] :	23.000000	0000000000010111
main s1[106] :	22.000000	0000000000010110
main s1[107] :	20.000000	0000000000010100
main s1[108] :	18.000000	0000000000010010
main s1[109] :	17.000000	0000000000010001
main s1[110] :	15.000000	0000000000001111
main s1[111] :	13.000000	0000000000001101
main s1[112] :	11.000000	0000000000001011
main s1[113] :	10.000000	0000000000001010
main s1[114] :	8.000000	0000000000001000
main s1[115] :	7.000000	0000000000000111
main s1[116] :	5.000000	0000000000000101
main s1[117] :	4.000000	0000000000000100
main s1[118] :	3.000000	0000000000000011
main s1[119] :	3.000000	0000000000000011
main s1[120] :	2.000000	0000000000000010
main s1[121] :	2.000000	0000000000000010
main s1[122] :	2.000000	0000000000000010
main s1[123] :	2.000000	0000000000000010
main s1[124] :	3.000000	0000000000000011
main s1[125] :	4.000000	0000000000000100
main s1[126] :	5.000000	0000000000000101
main s1[127] :	6.000000	0000000000000110
main s1[128] :	7.000000	0000000000000111
main s1[129] :	9.000000	0000000000001001
main s1[130] :	10.000000	0000000000001010
main s1[131] :	12.000000	0000000000001100
main s1[132] :	14.000000	0000000000001110
main s1[133] :	16.000000	0000000000010000
main s1[134] :	17.000000	0000000000010001
main s1[135] :	19.000000	0000000000010011
main s1[136] :	21.000000	0000000000010101
main s1[137] :	22.000000	0000000000010110
main s1[138] :	24.000000	0000000000011000
main s1[139] :	25.000000	0000000000011001
main s1[140] :	26.000000	0000000000011010
main s1[141] :	26.000000	0000000000011010
main s1[142] :	27.000000	0000000000011011
main s1[143] :	27.000000	0000000000011011
main s1[144] :	27.000000	0000000000011011
main s1[145] :	27.000000	0000000000011011
main s1[146] :	26.000000	0000000000011010
main s1[147] :	25.000000	0000000000011001
main s1[148] :	24.000000	0000000000011000
main s1[149] :	23.000000	0000000000010111
main s1[150] :	22.000000	0000000000010110
main s1[151] :	20.000000	0000000000010100
main s1[152] :	19.000000	0000000000010011
main s1[153] :	17.000000	0000000000010001
main s1[154] :	15.000000	0000000000001111
main s1[155] :	13.000000	0000000000001101
main s1[156] :	12.000000	0000000000001100
main s1[157] :	10.000000	0000000000001010
main s1[158] :	8.000000	0000000000001000
main s1[159] :	7.000000	0000000000000111
main s1[160] :	5.000000	0000000000000101
main s1[161] :	4.000000	0000000000000100
main s1[162] :	3.000000	0000000000000011
main s1[163] :	3.000000	0000000000000011
main s1[164] :	2.000000	0000000000000010
main s1[165] :	2.000000	0000000000000010
main s1[166] :	2.000000	0000000000000010
main s1[167] :	2.000000	0000000000000010
main s1[168] :	3.000000	0000000000000011
main s1[169] :	4.000000	0000000000000100
main s1[170] :	5.000000	0000000000000101
main s1[171] :	6.000000	0000000000000110
main s1[172] :	7.000000	0000000000000111
main s1[173] :	9.000000	0000000000001001
main s1[174] :	10.000000	0000000000001010
main s1[175] :	12.000000	0000000000001100
main s1[176] :	14.000000	0000000000001110
main s1[177] :	16.000000	0000000000010000
main s1[178] :	17.000000	0000000000010001
main s1[179] :	19.000000	0000000000010011
main s1[180] :	21.000000	0000000000010101
main s1[181] :	22.000000	0000000000010110
main s1[182] :	23.000000	0000000000010111
main s1[183] :	25.000000	0000000000011001
main s1[184] :	26.000000	0000000000011010
main s1[185] :	26.000000	0000000000011010
main s1[186] :	27.000000	0000000000011011
main s1[187] :	27.000000	0000000000011011
main s1[188] :	27.000000	0000000000011011
main s1[189] :	27.000000	0000000000011011
main s1[190] :	26.000000	0000000000011010
main s1[191] :	25.000000	0000000000011001
main s1[192] :	24.000000	0000000000011000
main s1[193] :	23.000000	0000000000010111
main s1[194] :	22.000000	0000000000010110
main s1[195] :	20.000000	0000000000010100
main s1[196] :	19.000000	0000000000010011
main s1[197] :	17.000000	0000000000010001
main s1[198] :	15.000000	0000000000001111
main s1[199] :	14.000000	0000000000001110
main s1[200] :	12.000000	0000000000001100
main s1[201] :	10.000000	0000000000001010
main s1[202] :	8.000000	0000000000001000
main s1[203] :	7.000000	0000000000000111
main s1[204] :	6.000000	0000000000000110
main s1[205] :	4.000000	0000000000000100
main s1[206] :	4.000000	0000000000000100
main s1[207] :	3.000000	0000000000000011
main s1[208] :	2.000000	0000000000000010
main s1[209] :	2.000000	0000000000000010
main s1[210] :	2.000000	0000000000000010
main s1[211] :	2.000000	0000000000000010
main s1[212] :	3.000000	0000000000000011
main s1[213] :	4.000000	0000000000000100
main s1[214] :	5.000000	0000000000000101
main s1[215] :	6.000000	0000000000000110
main s1[216] :	7.000000	0000000000000111
main s1[217] :	9.000000	0000000000001001
main s1[218] :	10.000000	0000000000001010
main s1[219] :	12.000000	0000000000001100
main s1[220] :	14.000000	0000000000001110
main s1[221] :	15.000000	0000000000001111
main s1[222] :	17.000000	0000000000010001
main s1[223] :	19.000000	0000000000010011
main s1[224] :	20.000000	0000000000010100
main s1[225] :	22.000000	0000000000010110
main s1[226] :	23.000000	0000000000010111
main s1[227] :	24.000000	0000000000011000
main s1[228] :	25.000000	0000000000011001
main s1[229] :	26.000000	0000000000011010
main s1[230] :	27.000000	0000000000011011
main s1[231] :	27.000000	0000000000011011
main s1[232] :	27.000000	0000000000011011
main s1[233] :	27.000000	0000000000011011
main s1[234] :	26.000000	0000000000011010
main s1[235] :	25.000000	0000000000011001
main s1[236] :	25.000000	0000000000011001
main s1[237] :	23.000000	0000000000010111
main s1[238] :	22.000000	0000000000010110
main s1[239] :	21.000000	0000000000010101
main s1[240] :	19.000000	0000000000010011
main s1[241] :	17.000000	0000000000010001
main s1[242] :	15.000000	0000000000001111
main s1[243] :	14.000000	0000000000001110
main s1[244] :	12.000000	0000000000001100
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] :	8.000000	0000000000001000
main s1[262] :	10.000000	0000000000001010
main s1[263] :	12.000000	0000000000001100
main s1[264] :	13.000000	0000000000001101
main s1[265] :	15.000000	0000000000001111
main s1[266] :	17.000000	0000000000010001
main s1[267] :	19.000000	0000000000010011
main s1[268] :	20.000000	0000000000010100
main s1[269] :	22.000000	0000000000010110
main s1[270] :	23.000000	0000000000010111
main s1[271] :	24.000000	0000000000011000
main s1[272] :	25.000000	0000000000011001
main s1[273] :	26.000000	0000000000011010
main s1[274] :	27.000000	0000000000011011
main s1[275] :	27.000000	0000000000011011
main s1[276] :	27.000000	0000000000011011
main s1[277] :	27.000000	0000000000011011
main s1[278] :	26.000000	0000000000011010
main s1[279] :	26.000000	0000000000011010
main s1[280] :	25.000000	0000000000011001
main s1[281] :	24.000000	0000000000011000
main s1[282] :	22.000000	0000000000010110
main s1[283] :	21.000000	0000000000010101
main s1[284] :	19.000000	0000000000010011
main s1[285] :	17.000000	0000000000010001
main s1[286] :	16.000000	0000000000010000
main s1[287] :	14.000000	0000000000001110
main s1[288] :	12.000000	0000000000001100
main s1[289] :	10.000000	0000000000001010
main s1[290] :	9.000000	0000000000001001
main s1[291] :	7.000000	0000000000000111
main s1[292] :	6.000000	0000000000000110
main s1[293] :	5.000000	0000000000000101
main s1[294] :	4.000000	0000000000000100
main s1[295] :	3.000000	0000000000000011
main s1[296] :	2.000000	0000000000000010
main s1[297] :	2.000000	0000000000000010
main s1[298] :	2.000000	0000000000000010
main s1[299] :	2.000000	0000000000000010
main s1[300] :	3.000000	0000000000000011
main s1[301] :	3.000000	0000000000000011
main s1[302] :	4.000000	0000000000000100
main s1[303] :	5.000000	0000000000000101
main s1[304] :	7.000000	0000000000000111
main s1[305] :	8.000000	0000000000001000
main s1[306] :	10.000000	0000000000001010
main s1[307] :	12.000000	0000000000001100
main s1[308] :	13.000000	0000000000001101
main s1[309] :	15.000000	0000000000001111
main s1[310] :	17.000000	0000000000010001
main s1[311] :	19.000000	0000000000010011
main s1[312] :	20.000000	0000000000010100
main s1[313] :	22.000000	0000000000010110
main s1[314] :	23.000000	0000000000010111
main s1[315] :	24.000000	0000000000011000
main s1[316] :	25.000000	0000000000011001
main s1[317] :	26.000000	0000000000011010
main s1[318] :	27.000000	0000000000011011
main s1[319] :	27.000000	0000000000011011
main s1[320] :	27.000000	0000000000011011
main s1[321] :	27.000000	0000000000011011
main s1[322] :	26.000000	0000000000011010
main s1[323] :	26.000000	0000000000011010
main s1[324] :	25.000000	0000000000011001
main s1[325] :	24.000000	0000000000011000
main s1[326] :	22.000000	0000000000010110
main s1[327] :	21.000000	0000000000010101
main s1[328] :	19.000000	0000000000010011
main s1[329] :	18.000000	0000000000010010
main s1[330] :	16.000000	0000000000010000
main s1[331] :	14.000000	0000000000001110
main s1[332] :	12.000000	0000000000001100
main s1[333] :	11.000000	0000000000001011
main s1[334] :	9.000000	0000000000001001
main s1[335] :	7.000000	0000000000000111
main s1[336] :	6.000000	0000000000000110
main s1[337] :	5.000000	0000000000000101
main s1[338] :	4.000000	0000000000000100
main s1[339] :	3.000000	0000000000000011
main s1[340] :	2.000000	0000000000000010
main s1[341] :	2.000000	0000000000000010
main s1[342] :	2.000000	0000000000000010
main s1[343] :	2.000000	0000000000000010
main s1[344] :	3.000000	0000000000000011
main s1[345] :	3.000000	0000000000000011
main s1[346] :	4.000000	0000000000000100
main s1[347] :	5.000000	0000000000000101
main s1[348] :	7.000000	0000000000000111
main s1[349] :	8.000000	0000000000001000
main s1[350] :	10.000000	0000000000001010
main s1[351] :	11.000000	0000000000001011
main s1[352] :	13.000000	0000000000001101
main s1[353] :	15.000000	0000000000001111
main s1[354] :	17.000000	0000000000010001
main s1[355] :	18.000000	0000000000010010
main s1[356] :	20.000000	0000000000010100
main s1[357] :	22.000000	0000000000010110
main s1[358] :	23.000000	0000000000010111
main s1[359] :	24.000000	0000000000011000
main s1[360] :	25.000000	0000000000011001
main s1[361] :	26.000000	0000000000011010
main s1[362] :	27.000000	0000000000011011
main s1[363] :	27.000000	0000000000011011
main s1[364] :	27.000000	0000000000011011
main s1[365] :	27.000000	0000000000011011
main s1[366] :	26.000000	0000000000011010
main s1[367] :	26.000000	0000000000011010
main s1[368] :	25.000000	0000000000011001
main s1[369] :	24.000000	0000000000011000
main s1[370] :	22.000000	0000000000010110
main s1[371] :	21.000000	0000000000010101
main s1[372] :	19.000000	0000000000010011
main s1[373] :	18.000000	0000000000010010
main s1[374] :	16.000000	0000000000010000
main s1[375] :	14.000000	0000000000001110
main s1[376] :	12.000000	0000000000001100
main s1[377] :	11.000000	0000000000001011
main s1[378] :	9.000000	0000000000001001
main s1[379] :	8.000000	0000000000001000
main s1[380] :	6.000000	0000000000000110
main s1[381] :	5.000000	0000000000000101
main s1[382] :	4.000000	0000000000000100
main s1[383] :	3.000000	0000000000000011
main s1[384] :	2.000000	0000000000000010
main s1[385] :	2.000000	0000000000000010
main s1[386] :	2.000000	0000000000000010
main s1[387] :	2.000000	0000000000000010
main s1[388] :	3.000000	0000000000000011
main s1[389] :	3.000000	0000000000000011
main s1[390] :	4.000000	0000000000000100
main s1[391] :	5.000000	0000000000000101
main s1[392] :	6.000000	0000000000000110
main s1[393] :	8.000000	0000000000001000
main s1[394] :	9.000000	0000000000001001
main s1[395] :	11.000000	0000000000001011
main s1[396] :	13.000000	0000000000001101
main s1[397] :	15.000000	0000000000001111
main s1[398] :	16.000000	0000000000010000
main s1[399] :	18.000000	0000000000010010
main s1[400] :	20.000000	0000000000010100
main s1[401] :	21.000000	0000000000010101
main s1[402] :	23.000000	0000000000010111
main s1[403] :	24.000000	0000000000011000
main s1[404] :	25.000000	0000000000011001
main s1[405] :	26.000000	0000000000011010
main s1[406] :	27.000000	0000000000011011
main s1[407] :	27.000000	0000000000011011
main s1[408] :	27.000000	0000000000011011
main s1[409] :	27.000000	0000000000011011
main s1[410] :	26.000000	0000000000011010
main s1[411] :	26.000000	0000000000011010
main s1[412] :	25.000000	0000000000011001
main s1[413] :	24.000000	0000000000011000
main s1[414] :	23.000000	0000000000010111
main s1[415] :	21.000000	0000000000010101
main s1[416] :	20.000000	0000000000010100
main s1[417] :	18.000000	0000000000010010
main s1[418] :	16.000000	0000000000010000
main s1[419] :	14.000000	0000000000001110
main s1[420] :	13.000000	0000000000001101
main s1[421] :	11.000000	0000000000001011
main s1[422] :	9.000000	0000000000001001
main s1[423] :	8.000000	0000000000001000
main s1[424] :	6.000000	0000000000000110
main s1[425] :	5.000000	0000000000000101
main s1[426] :	4.000000	0000000000000100
main s1[427] :	3.000000	0000000000000011
main s1[428] :	2.000000	0000000000000010
main s1[429] :	2.000000	0000000000000010
main s1[430] :	2.000000	0000000000000010
main s1[431] :	2.000000	0000000000000010
main s1[432] :	3.000000	0000000000000011
main s1[433] :	3.000000	0000000000000011
main s1[434] :	4.000000	0000000000000100
main s1[435] :	5.000000	0000000000000101
main s1[436] :	6.000000	0000000000000110
main s1[437] :	8.000000	0000000000001000
main s1[438] :	9.000000	0000000000001001
main s1[439] :	11.000000	0000000000001011
main s1[440] :	13.000000	0000000000001101
main s1[441] :	14.000000	0000000000001110
main s1[442] :	16.000000	0000000000010000
main s1[443] :	18.000000	0000000000010010
main s1[444] :	20.000000	0000000000010100
main s1[445] :	21.000000	0000000000010101
main s1[446] :	23.000000	0000000000010111
main s1[447] :	24.000000	0000000000011000
main s1[448] :	25.000000	0000000000011001
main s1[449] :	26.000000	0000000000011010
main s1[450] :	26.000000	0000000000011010
main s1[451] :	27.000000	0000000000011011
main s1[452] :	27.000000	0000000000011011
main s1[453] :	27.000000	0000000000011011
main s1[454] :	27.000000	0000000000011011
main s1[455] :	26.000000	0000000000011010
main s1[456] :	25.000000	0000000000011001
main s1[457] :	24.000000	0000000000011000
main s1[458] :	23.000000	0000000000010111
main s1[459] :	21.000000	0000000000010101
main s1[460] :	20.000000	0000000000010100
main s1[461] :	18.000000	0000000000010010
main s1[462] :	16.000000	0000000000010000
main s1[463] :	15.000000	0000000000001111
main s1[464] :	13.000000	0000000000001101
main s1[465] :	11.000000	0000000000001011
main s1[466] :	9.000000	0000000000001001
main s1[467] :	8.000000	0000000000001000
main s1[468] :	6.000000	0000000000000110
main s1[469] :	5.000000	0000000000000101
main s1[470] :	4.000000	0000000000000100
main s1[471] :	3.000000	0000000000000011
main s1[472] :	3.000000	0000000000000011
main s1[473] :	2.000000	0000000000000010
main s1[474] :	2.000000	0000000000000010
main s1[475] :	2.000000	0000000000000010
main s1[476] :	2.000000	0000000000000010
main s1[477] :	3.000000	0000000000000011
main s1[478] :	4.000000	0000000000000100
main s1[479] :	5.000000	0000000000000101
main s1[480] :	6.000000	0000000000000110
main s1[481] :	8.000000	0000000000001000
main s1[482] :	9.000000	0000000000001001
main s1[483] :	11.000000	0000000000001011
main s1[484] :	13.000000	0000000000001101
main s1[485] :	14.000000	0000000000001110
main s1[486] :	16.000000	0000000000010000
main s1[487] :	18.000000	0000000000010010
main s1[488] :	20.000000	0000000000010100
main s1[489] :	21.000000	0000000000010101
main s1[490] :	23.000000	0000000000010111
main s1[491] :	24.000000	0000000000011000
main s1[492] :	25.000000	0000000000011001
main s1[493] :	26.000000	0000000000011010
main s1[494] :	26.000000	0000000000011010
main s1[495] :	27.000000	0000000000011011
main s1[496] :	27.000000	0000000000011011
main s1[497] :	27.000000	0000000000011011
main s1[498] :	27.000000	0000000000011011
main s1[499] :	26.000000	0000000000011010
main s1[500] :	25.000000	0000000000011001
main s1[501] :	24.000000	0000000000011000
main s1[502] :	23.000000	0000000000010111
main s1[503] :	21.000000	0000000000010101
main s1[504] :	20.000000	0000000000010100
main s1[505] :	18.000000	0000000000010010
main s1[506] :	17.000000	0000000000010001
main s1[507] :	15.000000	0000000000001111
main s1[508] :	13.000000	0000000000001101
main s1[509] :	11.000000	0000000000001011
main s1[510] :	10.000000	0000000000001010
main s1[511] :	8.000000	0000000000001000
main r[0] :	151810.000000	0000100101000100000010
main r[1] :	151120.000000	0000100100111001010000
main r[2] :	149621.000000	0000100100100001110101
main r[3] :	147299.000000	0000100011111101100011
main r[4] :	144185.000000	0000100011001100111001
main r[5] :	140346.000000	0000100010010000111010
main r[6] :	135848.000000	0000100001001010101000
main r[7] :	130795.000000	0000011111111011101011
main r[8] :	125274.000000	0000011110100101011010
main r[9] :	119396.000000	0000011101001001100100
main r[10] :	113281.000000	0000011011101010000001
main r[11] :	107028.000000	0000011010001000010100
main r[12] :	100760.000000	0000011000100110011000
main r[13] :	94594.000000	0000010111000110000010
main r[14] :	88653.000000	0000010101101001001101
main r[15] :	83030.000000	0000010100010001010110
main r[16] :	77866.000000	0000010011000000101010
main r[17] :	73322.000000	0000010001111001101010
main r[18] :	69424.000000	0000010000111100110000
main r[19] :	66238.000000	0000010000001010111110
main r[20] :	63806.000000	0000001111100100111110
main r[21] :	62196.000000	0000001111001011110100
main r[22] :	61409.000000	0000001110111111100001
main r[23] :	61515.000000	0000001111000001001011
main r[24] :	62419.000000	0000001111001111010011
main r[25] :	64148.000000	0000001111101010010100
main r[26] :	66646.000000	0000010000010001010110
main r[27] :	69846.000000	0000010001000011010110
main r[28] :	73684.000000	0000010001111111010100
main r[29] :	78092.000000	0000010011000100001100
main r[30] :	82958.000000	0000010100010000001110
main r[31] :	88174.000000	0000010101100001101110
main r[32] :	93624.000000	0000010110110110111000
main r[33] :	99216.000000	0000011000001110010000
main r[34] :	104810.000000	0000011001100101101010
main r[35] :	110314.000000	0000011010111011101010
main r[36] :	115595.000000	0000011100001110001011
main r[37] :	120553.000000	0000011101011011101001
main r[38] :	125049.000000	0000011110100001111001
main r[39] :	129021.000000	0000011111011111111101
main r[40] :	132389.000000	0000100000010100100101
main r[41] :	135061.000000	0000100000111110010101
main r[42] :	137016.000000	0000100001011100111000
main r[43] :	138198.000000	0000100001101111010110
main r[44] :	138571.000000	0000100001110101001011
main r[45] :	138104.000000	0000100001101101111000
main r[46] :	136864.000000	0000100001011010100000
main r[47] :	134839.000000	0000100000111010110111
main r[48] :	132068.000000	0000100000001111100100
main r[49] :	128627.000000	0000011111011001110011
main r[50] :	124566.000000	0000011110011010010110
main r0[0] :	18976.000000	0100101000100000
main r0[1] :	18890.000000	0100100111001010
main r0[2] :	18702.000000	0100100100001110
main r0[3] :	18412.000000	0100011111101100
main r0[4] :	18023.000000	0100011001100111
main r0[5] :	17543.000000	0100010010000111
main r0[6] :	16981.000000	0100001001010101
main r0[7] :	16349.000000	0011111111011101
main r0[8] :	15659.000000	0011110100101011
main r0[9] :	14924.000000	0011101001001100
main r0[10] :	14160.000000	0011011101010000
main r0[11] :	13378.000000	0011010001000010
main r0[12] :	12595.000000	0011000100110011
main r0[13] :	11824.000000	0010111000110000
main r0[14] :	11081.000000	0010101101001001
main r0[15] :	10378.000000	0010100010001010
main r0[16] :	9733.000000	0010011000000101
main r0[17] :	9165.000000	0010001111001101
main r0[18] :	8678.000000	0010000111100110
main r0[19] :	8279.000000	0010000001010111
main r0[20] :	7975.000000	0001111100100111
main r0[21] :	7774.000000	0001111001011110
main r0[22] :	7676.000000	0001110111111100
main r0[23] :	7689.000000	0001111000001001
main r0[24] :	7802.000000	0001111001111010
main r0[25] :	8018.000000	0001111101010010
main r0[26] :	8330.000000	0010000010001010
main r0[27] :	8730.000000	0010001000011010
main r0[28] :	9210.000000	0010001111111010
main r0[29] :	9761.000000	0010011000100001
main r0[30] :	10369.000000	0010100010000001
main r0[31] :	11021.000000	0010101100001101
main r0[32] :	11703.000000	0010110110110111
main r0[33] :	12402.000000	0011000001110010
main r0[34] :	13101.000000	0011001100101101
main r0[35] :	13789.000000	0011010111011101
main r0[36] :	14449.000000	0011100001110001
main r0[37] :	15069.000000	0011101011011101
main r0[38] :	15631.000000	0011110100001111
main r0[39] :	16127.000000	0011111011111111
main r0[40] :	16548.000000	0100000010100100
main r0[41] :	16882.000000	0100000111110010
main r0[42] :	17127.000000	0100001011100111
main r0[43] :	17274.000000	0100001101111010
main r0[44] :	17321.000000	0100001110101001
main r0[45] :	17263.000000	0100001101101111
main r0[46] :	17108.000000	0100001011010100
main r0[47] :	16854.000000	0100000111010110
main r0[48] :	16508.000000	0100000001111100
main r0[49] :	16078.000000	0011111011001110
main r0[50] :	15570.000000	0011110011010010
main nscl :	1.000000	0000001
main alpha[0] :	0.000000	0000000000000000
main alpha[1] :	-17034.000000	1011110101110110
main alpha[2] :	-338.000000	1111111010101110
main alpha[3] :	-568.000000	1111110111001000
main alpha[4] :	286.000000	0000000100011110
main alpha[5] :	-181.000000	1111111101001011
main alpha[6] :	1570.000000	0000011000100010
main alpha[7] :	-804.000000	1111110011011100
main alpha[8] :	314.000000	0000000100111010
main alpha[9] :	403.000000	0000000110010011
main alpha[10] :	-977.000000	1111110000101111
main alpha[11] :	824.000000	0000001100111000
main alpha[12] :	267.000000	0000000100001011
main alpha[13] :	130.000000	0000000010000010
main alpha[14] :	-1027.000000	1111101111111101
main alpha[15] :	1925.000000	0000011110000101
main alpha[16] :	2176.000000	0000100010000000
main alpha[17] :	-2679.000000	1111010110001001
main alpha[18] :	-650.000000	1111110101110110
main alpha[19] :	1047.000000	0000010000010111
main alpha[20] :	-755.000000	1111110100001101
main alpha[21] :	-612.000000	1111110110011100
main alpha[22] :	3138.000000	0000110001000010
main alpha[23] :	-4055.000000	1111000000101001
main alpha[24] :	1477.000000	0000010111000101
main alpha[25] :	392.000000	0000000110001000
main alpha[26] :	-926.000000	1111110001100010
main alpha[27] :	557.000000	0000001000101101
main alpha[28] :	1155.000000	0000010010000011
main alpha[29] :	-2376.000000	1111011010111000
main alpha[30] :	596.000000	0000001001010100
main alpha[31] :	408.000000	0000000110011000
main alpha[32] :	-39.000000	1111111111011001
main alpha[33] :	-568.000000	1111110111001000
main alpha[34] :	1474.000000	0000010111000010
main alpha[35] :	-405.000000	1111111001101011
main alpha[36] :	-1114.000000	1111101110100110
main alpha[37] :	-727.000000	1111110100101001
main alpha[38] :	2314.000000	0000100100001010
main alpha[39] :	-1010.000000	1111110000001110
main alpha[40] :	-1611.000000	1111100110110101
main alpha[41] :	2301.000000	0000100011111101
main alpha[42] :	-1804.000000	1111100011110100
main alpha[43] :	1452.000000	0000010110101100
main alpha[44] :	-511.000000	1111111000000001
main alpha[45] :	-461.000000	1111111000110011
main alpha[46] :	-325.000000	1111111010111011
main alpha[47] :	2345.000000	0000100100101001
main alpha[48] :	-3163.000000	1111001110100101
main alpha[49] :	2182.000000	0000100010000110
main alpha[50] :	-378.000000	1111111010000110
main lambda[0] :	10401739.000000	00000000100111101011011111001011
main lambda[1] :	-5195211.000000	11111111101100001011101000110101
main lambda[2] :	-63653.000000	11111111111111110000011101011011
main lambda[3] :	174444.000000	00000000000000101010100101101100
main lambda[4] :	63427.000000	00000000000000001111011111000011
main lambda[5] :	-907070.000000	11111111111100100010100011000010
main lambda[6] :	1254252.000000	00000000000100110010001101101100
main lambda[7] :	-614107.000000	11111111111101101010000100100101
main lambda[8] :	-115627.000000	11111111111111100011110001010101
main lambda[9] :	562910.000000	00000000000010001001011011011110
main lambda[10] :	-537919.000000	11111111111101111100101011000001
main lambda[11] :	115099.000000	00000000000000011100000110011011
main lambda[12] :	-11445.000000	11111111111111111101001101001011
main lambda[13] :	518465.000000	00000000000001111110100101000001
main lambda[14] :	-1032145.000000	11111111111100000100000000101111
main lambda[15] :	-167365.000000	11111111111111010111001000111011
main lambda[16] :	1631935.000000	00000000000110001110011010111111
main lambda[17] :	-687351.000000	11111111111101011000001100001001
main lambda[18] :	-754789.000000	11111111111101000111101110011011
main lambda[19] :	1096741.000000	00000000000100001011110000100101
main lambda[20] :	-447535.000000	11111111111110010010101111010001
main lambda[21] :	-1085750.000000	11111111111011110110111011001010
main lambda[22] :	2175186.000000	00000000001000010011000011010010
main lambda[23] :	-1419046.000000	11111111111010100101100011011010
main lambda[24] :	-127286.000000	11111111111111100000111011001010
main lambda[25] :	802172.000000	00000000000011000011110101111100
main lambda[26] :	-692769.000000	11111111111101010110110111011111
main lambda[27] :	-51225.000000	11111111111111110011011111100111
main lambda[28] :	1017673.000000	00000000000011111000011101001001
main lambda[29] :	-898162.000000	11111111111100100100101110001110
main lambda[30] :	50797.000000	00000000000000001100011001101101
main lambda[31] :	172151.000000	00000000000000101010000001110111
main lambda[32] :	133987.000000	00000000000000100000101101100011
main lambda[33] :	-614192.000000	11111111111101101010000011010000
main lambda[34] :	551338.000000	00000000000010000110100110101010
main lambda[35] :	219000.000000	00000000000000110101011101111000
main lambda[36] :	-144109.000000	11111111111111011100110100010011
main lambda[37] :	-797442.000000	11111111111100111101010011111110
main lambda[38] :	918345.000000	00000000000011100000001101001001
main lambda[39] :	128190.000000	00000000000000011111010010111110
main lambda[40] :	-1062626.000000	11111111111011111100100100011110
main lambda[41] :	1170509.000000	00000000000100011101110001001101
main lambda[42] :	-956439.000000	11111111111100010110011111101001
main lambda[43] :	590734.000000	00000000000010010000001110001110
main lambda[44] :	-56793.000000	11111111111111110010001000100111
main lambda[45] :	-5011.000000	11111111111111111110110001101101
main lambda[46] :	-711689.000000	11111111111101010010001111110111
main lambda[47] :	1434002.000000	00000000000101011110000110010010
main lambda[48] :	-1388485.000000	11111111111010101101000000111011
main lambda[49] :	659199.000000	00000000000010100000111011111111
main lambda[50] :	-96768.000000	11111111111111101000011000000000
main lambda0[0] :	20315.000000	0100111101011011
main lambda0[1] :	-10147.000000	1101100001011101
main lambda0[2] :	-125.000000	1111111110000011
main lambda0[3] :	340.000000	0000000101010100
main lambda0[4] :	123.000000	0000000001111011
main lambda0[5] :	-1772.000000	1111100100010100
main lambda0[6] :	2449.000000	0000100110010001
main lambda0[7] :	-1200.000000	1111101101010000
main lambda0[8] :	-226.000000	1111111100011110
main lambda0[9] :	1099.000000	0000010001001011
main lambda0[10] :	-1051.000000	1111101111100101
main lambda0[11] :	224.000000	0000000011100000
main lambda0[12] :	-23.000000	1111111111101001
main lambda0[13] :	1012.000000	0000001111110100
main lambda0[14] :	-2016.000000	1111100000100000
main lambda0[15] :	-327.000000	1111111010111001
main lambda0[16] :	3187.000000	0000110001110011
main lambda0[17] :	-1343.000000	1111101011000001
main lambda0[18] :	-1475.000000	1111101000111101
main lambda0[19] :	2142.000000	0000100001011110
main lambda0[20] :	-875.000000	1111110010010101
main lambda0[21] :	-2121.000000	1111011110110111
main lambda0[22] :	4248.000000	0001000010011000
main lambda0[23] :	-2772.000000	1111010100101100
main lambda0[24] :	-249.000000	1111111100000111
main lambda0[25] :	1566.000000	0000011000011110
main lambda0[26] :	-1354.000000	1111101010110110
main lambda0[27] :	-101.000000	1111111110011011
main lambda0[28] :	1987.000000	0000011111000011
main lambda0[29] :	-1755.000000	1111100100100101
main lambda0[30] :	99.000000	0000000001100011
main lambda0[31] :	336.000000	0000000101010000
main lambda0[32] :	261.000000	0000000100000101
main lambda0[33] :	-1200.000000	1111101101010000
main lambda0[34] :	1076.000000	0000010000110100
main lambda0[35] :	427.000000	0000000110101011
main lambda0[36] :	-282.000000	1111111011100110
main lambda0[37] :	-1558.000000	1111100111101010
main lambda0[38] :	1793.000000	0000011100000001
main lambda0[39] :	250.000000	0000000011111010
main lambda0[40] :	-2076.000000	1111011111100100
main lambda0[41] :	2286.000000	0000100011101110
main lambda0[42] :	-1869.000000	1111100010110011
main lambda0[43] :	1153.000000	0000010010000001
main lambda0[44] :	-111.000000	1111111110010001
main lambda0[45] :	-10.000000	1111111111110110
main lambda0[46] :	-1391.000000	1111101010010001
main lambda0[47] :	2800.000000	0000101011110000
main lambda0[48] :	-2712.000000	1111010101101000
main lambda0[49] :	1287.000000	0000010100000111
main lambda0[50] :	-189.000000	1111111101000011
main syn[0] :	118669440.000000	00000111000100101100000010000000
main syn[1] :	-10635776.000000	11111111010111011011011000000000
main syn[2] :	5231232.000000	00000000010011111101001010000000
main syn[3] :	586752.000000	00000000000010001111010000000000
main syn[4] :	713728.000000	00000000000010101110010000000000
main syn[5] :	-20033920.000000	11111110110011100100111010000000
main syn[6] :	16868736.000000	00000001000000010110010110000000
main syn[7] :	-7457792.000000	11111111100011100011010000000000
main syn[8] :	-7257728.000000	11111111100100010100000110000000
main syn[9] :	16080512.000000	00000000111101010101111010000000
main syn[10] :	-18045056.000000	11111110111011001010011110000000
main syn[11] :	-708736.000000	11111111111101010010111110000000
main syn[12] :	-500864.000000	11111111111110000101101110000000
main syn[13] :	7615104.000000	00000000011101000011001010000000
main syn[14] :	-15133824.000000	11111111000110010001001110000000
main syn[15] :	75330304.000000	00000100011111010111001100000000