Standard input is empty

p[  1] =    2 >    -inf
p[  2] =    3 >    0.65
p[  3] =    5 >    3.58
p[  4] =    7 >    6.85
p[  5] =   11 >   10.43
p[  6] =   13 <   14.25
p[  7] =   17 <   18.28
p[  8] =   19 <   22.49
p[  9] =   23 <   26.86
p[ 10] =   29 <   31.37
p[ 11] =   31 <   36.00
p[ 12] =   37 <   40.74
p[ 13] =   41 <   45.59
p[ 14] =   43 <   50.53
p[ 15] =   47 <   55.56
p[ 16] =   53 <   60.68
p[ 17] =   59 <   65.87
p[ 18] =   61 <   71.13
p[ 19] =   67 <   76.46
p[ 20] =   71 <   81.86
p[ 21] =   73 <   87.32
p[ 22] =   79 <   92.83
p[ 23] =   83 <   98.40
p[ 24] =   89 <  104.02
p[ 25] =   97 <  109.70
p[ 26] =  101 <  115.42
p[ 27] =  103 <  121.19
p[ 28] =  107 <  127.00
p[ 29] =  109 <  132.86
p[ 30] =  113 <  138.76
p[ 31] =  127 <  144.70
p[ 32] =  131 <  150.68
p[ 33] =  137 <  156.69
p[ 34] =  139 <  162.75
p[ 35] =  149 <  168.83
p[ 36] =  151 <  174.96
p[ 37] =  157 <  181.11
p[ 38] =  163 <  187.30
p[ 39] =  167 <  193.52
p[ 40] =  173 <  199.77
p[ 41] =  179 <  206.05
p[ 42] =  181 <  212.36
p[ 43] =  191 <  218.70
p[ 44] =  193 <  225.06
p[ 45] =  197 <  231.45
p[ 46] =  199 <  237.87
p[ 47] =  211 <  244.32
p[ 48] =  223 <  250.79
p[ 49] =  227 <  257.28
p[ 50] =  229 <  263.80
p[ 51] =  233 <  270.35
p[ 52] =  239 <  276.91
p[ 53] =  241 <  283.50
p[ 54] =  251 <  290.12
p[ 55] =  257 <  296.75
p[ 56] =  263 <  303.41
p[ 57] =  269 <  310.08
p[ 58] =  271 <  316.78
p[ 59] =  277 <  323.50
p[ 60] =  281 <  330.24
p[ 61] =  283 <  337.00
p[ 62] =  293 <  343.77
p[ 63] =  307 <  350.57
p[ 64] =  311 <  357.38
p[ 65] =  313 <  364.22
p[ 66] =  317 <  371.07
p[ 67] =  331 <  377.94
p[ 68] =  337 <  384.83
p[ 69] =  347 <  391.73
p[ 70] =  349 <  398.65
p[ 71] =  353 <  405.59
p[ 72] =  359 <  412.55
p[ 73] =  367 <  419.52
p[ 74] =  373 <  426.51
p[ 75] =  379 <  433.51
p[ 76] =  383 <  440.53
p[ 77] =  389 <  447.57
p[ 78] =  397 <  454.62
p[ 79] =  401 <  461.68
p[ 80] =  409 <  468.76
p[ 81] =  419 <  475.86
p[ 82] =  421 <  482.97
p[ 83] =  431 <  490.09
p[ 84] =  433 <  497.23
p[ 85] =  439 <  504.38
p[ 86] =  443 <  511.55
p[ 87] =  449 <  518.73
p[ 88] =  457 <  525.92
p[ 89] =  461 <  533.13
p[ 90] =  463 <  540.35
p[ 91] =  467 <  547.58
p[ 92] =  479 <  554.82
p[ 93] =  487 <  562.08
p[ 94] =  491 <  569.35
p[ 95] =  499 <  576.64
p[ 96] =  503 <  583.93
p[ 97] =  509 <  591.24
p[ 98] =  521 <  598.56
p[ 99] =  523 <  605.89
p[100] =  541 <  613.23
p[101] =  547 <  620.59
p[102] =  557 <  627.96
p[103] =  563 <  635.34
p[104] =  569 <  642.73
p[105] =  571 <  650.13
p[106] =  577 <  657.54
p[107] =  587 <  664.96
p[108] =  593 <  672.40
p[109] =  599 <  679.84
p[110] =  601 <  687.30
p[111] =  607 <  694.76
p[112] =  613 <  702.24
p[113] =  617 <  709.73
p[114] =  619 <  717.22
p[115] =  631 <  724.73
p[116] =  641 <  732.25
p[117] =  643 <  739.78
p[118] =  647 <  747.31
p[119] =  653 <  754.86
p[120] =  659 <  762.42
p[121] =  661 <  769.99
p[122] =  673 <  777.56
p[123] =  677 <  785.15
p[124] =  683 <  792.75
p[125] =  691 <  800.35
p[126] =  701 <  807.97
p[127] =  709 <  815.59
p[128] =  719 <  823.22
p[129] =  727 <  830.86
p[130] =  733 <  838.52
p[131] =  739 <  846.18
p[132] =  743 <  853.84
p[133] =  751 <  861.52
p[134] =  757 <  869.21
p[135] =  761 <  876.90
p[136] =  769 <  884.61
p[137] =  773 <  892.32
p[138] =  787 <  900.04
p[139] =  797 <  907.77
p[140] =  809 <  915.51
p[141] =  811 <  923.25
p[142] =  821 <  931.01
p[143] =  823 <  938.77
p[144] =  827 <  946.54
p[145] =  829 <  954.32
p[146] =  839 <  962.11
p[147] =  853 <  969.90
p[148] =  857 <  977.70
p[149] =  859 <  985.51
p[150] =  863 <  993.33
p[151] =  877 < 1001.16
p[152] =  881 < 1008.99
p[153] =  883 < 1016.83
p[154] =  887 < 1024.68
p[155] =  907 < 1032.53
p[156] =  911 < 1040.40
p[157] =  919 < 1048.27
p[158] =  929 < 1056.15
p[159] =  937 < 1064.03
p[160] =  941 < 1071.93
p[161] =  947 < 1079.83
p[162] =  953 < 1087.73
p[163] =  967 < 1095.65
p[164] =  971 < 1103.57
p[165] =  977 < 1111.50
p[166] =  983 < 1119.43
p[167] =  991 < 1127.38
p[168] =  997 < 1135.33
p[169] = 1009 < 1143.28
p[170] = 1013 < 1151.25
p[171] = 1019 < 1159.22
p[172] = 1021 < 1167.19
p[173] = 1031 < 1175.18
p[174] = 1033 < 1183.17
p[175] = 1039 < 1191.16
p[176] = 1049 < 1199.17
p[177] = 1051 < 1207.18
p[178] = 1061 < 1215.19
p[179] = 1063 < 1223.22
p[180] = 1069 < 1231.25
p[181] = 1087 < 1239.28
p[182] = 1091 < 1247.33
p[183] = 1093 < 1255.37
p[184] = 1097 < 1263.43
p[185] = 1103 < 1271.49
p[186] = 1109 < 1279.56
p[187] = 1117 < 1287.63
p[188] = 1123 < 1295.71
p[189] = 1129 < 1303.80
p[190] = 1151 < 1311.89
p[191] = 1153 < 1319.99
p[192] = 1163 < 1328.09
p[193] = 1171 < 1336.20
p[194] = 1181 < 1344.32
p[195] = 1187 < 1352.44
p[196] = 1193 < 1360.57
p[197] = 1201 < 1368.70
p[198] = 1213 < 1376.84
p[199] = 1217 < 1384.99
p[200] = 1223 < 1393.14
p[201] = 1229 < 1401.30
p[202] = 1231 < 1409.46
p[203] = 1237 < 1417.63
p[204] = 1249 < 1425.80
p[205] = 1259 < 1433.99
p[206] = 1277 < 1442.17
p[207] = 1279 < 1450.36
p[208] = 1283 < 1458.56
p[209] = 1289 < 1466.76
p[210] = 1291 < 1474.97
p[211] = 1297 < 1483.18
p[212] = 1301 < 1491.40
p[213] = 1303 < 1499.63
p[214] = 1307 < 1507.86
p[215] = 1319 < 1516.09
p[216] = 1321 < 1524.33
p[217] = 1327 < 1532.58
p[218] = 1361 < 1540.83
p[219] = 1367 < 1549.08
p[220] = 1373 < 1557.35
p[221] = 1381 < 1565.61
p[222] = 1399 < 1573.88
p[223] = 1409 < 1582.16
p[224] = 1423 < 1590.44
p[225] = 1427 < 1598.73
p[226] = 1429 < 1607.02
p[227] = 1433 < 1615.32
p[228] = 1439 < 1623.63
p[229] = 1447 < 1631.93
p[230] = 1451 < 1640.25
p[231] = 1453 < 1648.56
p[232] = 1459 < 1656.89
p[233] = 1471 < 1665.21
p[234] = 1481 < 1673.55
p[235] = 1483 < 1681.89
p[236] = 1487 < 1690.23
p[237] = 1489 < 1698.58
p[238] = 1493 < 1706.93
p[239] = 1499 < 1715.28
p[240] = 1511 < 1723.65
p[241] = 1523 < 1732.01
p[242] = 1531 < 1740.38
p[243] = 1543 < 1748.76
p[244] = 1549 < 1757.14
p[245] = 1553 < 1765.53
p[246] = 1559 < 1773.92
p[247] = 1567 < 1782.31
p[248] = 1571 < 1790.71
p[249] = 1579 < 1799.12
p[250] = 1583 < 1807.53
p[251] = 1597 < 1815.94
p[252] = 1601 < 1824.36
p[253] = 1607 < 1832.78
p[254] = 1609 < 1841.21
p[255] = 1613 < 1849.64
p[256] = 1619 < 1858.08
p[257] = 1621 < 1866.52
p[258] = 1627 < 1874.96
p[259] = 1637 < 1883.41
p[260] = 1657 < 1891.86
p[261] = 1663 < 1900.32
p[262] = 1667 < 1908.79
p[263] = 1669 < 1917.25
p[264] = 1693 < 1925.72
p[265] = 1697 < 1934.20
p[266] = 1699 < 1942.68
p[267] = 1709 < 1951.17
p[268] = 1721 < 1959.65
p[269] = 1723 < 1968.15
p[270] = 1733 < 1976.64
p[271] = 1741 < 1985.15
p[272] = 1747 < 1993.65
p[273] = 1753 < 2002.16
p[274] = 1759 < 2010.68
p[275] = 1777 < 2019.20
p[276] = 1783 < 2027.72
p[277] = 1787 < 2036.24
p[278] = 1789 < 2044.78
p[279] = 1801 < 2053.31
p[280] = 1811 < 2061.85
p[281] = 1823 < 2070.39
p[282] = 1831 < 2078.94
p[283] = 1847 < 2087.49
p[284] = 1861 < 2096.05
p[285] = 1867 < 2104.61
p[286] = 1871 < 2113.17
p[287] = 1873 < 2121.74
p[288] = 1877 < 2130.31
p[289] = 1879 < 2138.88
p[290] = 1889 < 2147.46
p[291] = 1901 < 2156.05
p[292] = 1907 < 2164.63
p[293] = 1913 < 2173.23
p[294] = 1931 < 2181.82
p[295] = 1933 < 2190.42
p[296] = 1949 < 2199.02
p[297] = 1951 < 2207.63
p[298] = 1973 < 2216.24
p[299] = 1979 < 2224.86
p[300] = 1987 < 2233.47
p[301] = 1993 < 2242.10
p[302] = 1997 < 2250.72
p[303] = 1999 < 2259.35
p[304] = 2003 < 2267.98
p[305] = 2011 < 2276.62
p[306] = 2017 < 2285.26
p[307] = 2027 < 2293.91
p[308] = 2029 < 2302.56
p[309] = 2039 < 2311.21
p[310] = 2053 < 2319.86
p[311] = 2063 < 2328.52
p[312] = 2069 < 2337.19
p[313] = 2081 < 2345.85
p[314] = 2083 < 2354.53
p[315] = 2087 < 2363.20
p[316] = 2089 < 2371.88
p[317] = 2099 < 2380.56
p[318] = 2111 < 2389.24
p[319] = 2113 < 2397.93
p[320] = 2129 < 2406.62
p[321] = 2131 < 2415.32
p[322] = 2137 < 2424.02
p[323] = 2141 < 2432.72
p[324] = 2143 < 2441.43
p[325] = 2153 < 2450.14
p[326] = 2161 < 2458.85
p[327] = 2179 < 2467.57
p[328] = 2203 < 2476.29
p[329] = 2207 < 2485.01
p[330] = 2213 < 2493.74
p[331] = 2221 < 2502.47
p[332] = 2237 < 2511.21
p[333] = 2239 < 2519.95
p[334] = 2243 < 2528.69
p[335] = 2251 < 2537.43
p[336] = 2267 < 2546.18
p[337] = 2269 < 2554.93
p[338] = 2273 < 2563.69
p[339] = 2281 < 2572.44
p[340] = 2287 < 2581.21
p[341] = 2293 < 2589.97
p[342] = 2297 < 2598.74
p[343] = 2309 < 2607.51
p[344] = 2311 < 2616.29
p[345] = 2333 < 2625.06
p[346] = 2339 < 2633.85
p[347] = 2341 < 2642.63
p[348] = 2347 < 2651.42
p[349] = 2351 < 2660.21
p[350] = 2357 < 2669.01
p[351] = 2371 < 2677.80
p[352] = 2377 < 2686.60
p[353] = 2381 < 2695.41
p[354] = 2383 < 2704.22
p[355] = 2389 < 2713.03
p[356] = 2393 < 2721.84
p[357] = 2399 < 2730.66
p[358] = 2411 < 2739.48
p[359] = 2417 < 2748.30
p[360] = 2423 < 2757.13
p[361] = 2437 < 2765.96
p[362] = 2441 < 2774.79
p[363] = 2447 < 2783.63
p[364] = 2459 < 2792.47
p[365] = 2467 < 2801.31
p[366] = 2473 < 2810.16
p[367] = 2477 < 2819.01
p[368] = 2503 < 2827.86
p[369] = 2521 < 2836.72
p[370] = 2531 < 2845.57
p[371] = 2539 < 2854.44
p[372] = 2543 < 2863.30
p[373] = 2549 < 2872.17
p[374] = 2551 < 2881.04
p[375] = 2557 < 2889.91
p[376] = 2579 < 2898.79
p[377] = 2591 < 2907.67
p[378] = 2593 < 2916.55
p[379] = 2609 < 2925.44
p[380] = 2617 < 2934.33
p[381] = 2621 < 2943.22
p[382] = 2633 < 2952.11
p[383] = 2647 < 2961.01
p[384] = 2657 < 2969.91
p[385] = 2659 < 2978.81
p[386] = 2663 < 2987.72
p[387] = 2671 < 2996.63
p[388] = 2677 < 3005.54
p[389] = 2683 < 3014.46
p[390] = 2687 < 3023.38
p[391] = 2689 < 3032.30
p[392] = 2693 < 3041.22
p[393] = 2699 < 3050.15
p[394] = 2707 < 3059.08
p[395] = 2711 < 3068.01
p[396] = 2713 < 3076.95
p[397] = 2719 < 3085.89
p[398] = 2729 < 3094.83
p[399] = 2731 < 3103.77
p[400] = 2741 < 3112.72
p[401] = 2749 < 3121.67
p[402] = 2753 < 3130.62
p[403] = 2767 < 3139.58
p[404] = 2777 < 3148.54
p[405] = 2789 < 3157.50
p[406] = 2791 < 3166.46
p[407] = 2797 < 3175.43
p[408] = 2801 < 3184.40
p[409] = 2803 < 3193.37
p[410] = 2819 < 3202.35
p[411] = 2833 < 3211.33
p[412] = 2837 < 3220.31
p[413] = 2843 < 3229.29
p[414] = 2851 < 3238.28
p[415] = 2857 < 3247.27
p[416] = 2861 < 3256.26
p[417] = 2879 < 3265.25
p[418] = 2887 < 3274.25
p[419] = 2897 < 3283.25
p[420] = 2903 < 3292.25
p[421] = 2909 < 3301.26
p[422] = 2917 < 3310.27
p[423] = 2927 < 3319.28
p[424] = 2939 < 3328.29
p[425] = 2953 < 3337.31
p[426] = 2957 < 3346.33
p[427] = 2963 < 3355.35
p[428] = 2969 < 3364.37
p[429] = 2971 < 3373.40
p[430] = 2999 < 3382.43
p[431] = 3001 < 3391.46
p[432] = 3011 < 3400.50
p[433] = 3019 < 3409.54
p[434] = 3023 < 3418.58
p[435] = 3037 < 3427.62
p[436] = 3041 < 3436.66
p[437] = 3049 < 3445.71
p[438] = 3061 < 3454.76
p[439] = 3067 < 3463.82
p[440] = 3079 < 3472.87
p[441] = 3083 < 3481.93
p[442] = 3089 < 3490.99
p[443] = 3109 < 3500.06
p[444] = 3119 < 3509.12
p[445] = 3121 < 3518.19
p[446] = 3137 < 3527.26
p[447] = 3163 < 3536.34
p[448] = 3167 < 3545.41
p[449] = 3169 < 3554.49
p[450] = 3181 < 3563.57
p[451] = 3187 < 3572.66
p[452] = 3191 < 3581.74
p[453] = 3203 < 3590.83
p[454] = 3209 < 3599.92
p[455] = 3217 < 3609.02
p[456] = 3221 < 3618.11
p[457] = 3229 < 3627.21
p[458] = 3251 < 3636.32
p[459] = 3253 < 3645.42
p[460] = 3257 < 3654.53
p[461] = 3259 < 3663.63
p[462] = 3271 < 3672.75
p[463] = 3299 < 3681.86
p[464] = 3301 < 3690.98
p[465] = 3307 < 3700.10
p[466] = 3313 < 3709.22
p[467] = 3319 < 3718.34
p[468] = 3323 < 3727.47
p[469] = 3329 < 3736.59
p[470] = 3331 < 3745.73
p[471] = 3343 < 3754.86
p[472] = 3347 < 3763.99
p[473] = 3359 < 3773.13
p[474] = 3361 < 3782.27
p[475] = 3371 < 3791.42
p[476] = 3373 < 3800.56
p[477] = 3389 < 3809.71
p[478] = 3391 < 3818.86
p[479] = 3407 < 3828.01
p[480] = 3413 < 3837.17
p[481] = 3433 < 3846.32
p[482] = 3449 < 3855.48
p[483] = 3457 < 3864.65
p[484] = 3461 < 3873.81
p[485] = 3463 < 3882.98
p[486] = 3467 < 3892.15
p[487] = 3469 < 3901.32
p[488] = 3491 < 3910.49
p[489] = 3499 < 3919.67
p[490] = 3511 < 3928.85
p[491] = 3517 < 3938.03
p[492] = 3527 < 3947.21
p[493] = 3529 < 3956.39
p[494] = 3533 < 3965.58
p[495] = 3539 < 3974.77
p[496] = 3541 < 3983.96
p[497] = 3547 < 3993.16
p[498] = 3557 < 4002.36
p[499] = 3559 < 4011.55
p[500] = 3571 < 4020.76
p[501] = 3581 < 4029.96
p[502] = 3583 < 4039.16
p[503] = 3593 < 4048.37
p[504] = 3607 < 4057.58
p[505] = 3613 < 4066.80
p[506] = 3617 < 4076.01
p[507] = 3623 < 4085.23
p[508] = 3631 < 4094.45
p[509] = 3637 < 4103.67
p[510] = 3643 < 4112.89
p[511] = 3659 < 4122.12
p[512] = 3671 < 4131.35
p[513] = 3673 < 4140.58
p[514] = 3677 < 4149.81
p[515] = 3691 < 4159.04
p[516] = 3697 < 4168.28
p[517] = 3701 < 4177.52
p[518] = 3709 < 4186.76
p[519] = 3719 < 4196.01
p[520] = 3727 < 4205.25
p[521] = 3733 < 4214.50
p[522] = 3739 < 4223.75
p[523] = 3761 < 4233.00
p[524] = 3767 < 4242.26
p[525] = 3769 < 4251.51
p[526] = 3779 < 4260.77
p[527] = 3793 < 4270.03
p[528] = 3797 < 4279.30
p[529] = 3803 < 4288.56
p[530] = 3821 < 4297.83
p[531] = 3823 < 4307.10
p[532] = 3833 < 4316.37
p[533] = 3847 < 4325.64
p[534] = 3851 < 4334.92
p[535] = 3853 < 4344.20
p[536] = 3863 < 4353.48
p[537] = 3877 < 4362.76
p[538] = 3881 < 4372.05
p[539] = 3889 < 4381.33
p[540] = 3907 < 4390.62
p[541] = 3911 < 4399.91
p[542] = 3917 < 4409.20
p[543] = 3919 < 4418.50
p[544] = 3923 < 4427.80
p[545] = 3929 < 4437.10
p[546] = 3931 < 4446.40
p[547] = 3943 < 4455.70
p[548] = 3947 < 4465.01
p[549] = 3967 < 4474.31
p[550] = 3989 < 4483.62
p[551] = 4001 < 4492.93
p[552] = 4003 < 4502.25
p[553] = 4007 < 4511.56
p[554] = 4013 < 4520.88
p[555] = 4019 < 4530.20