data = [[260762, 1.0, 508], [255974, 0.9995205432491374, 314], [262375, 0.995004494539414, 394], [262380, 0.9931292144566812, 557], [252466, 0.9898404846671393, 199], [246743, 0.985564997877141, 306], [254169, 0.9827197084128754, 243], [246012, 0.9825697448892406, 266], [247494, 0.9823738990766145, 279], [255590, 0.9800564478921724, 217], [252973, 0.9776441701420158, 337], [253664, 0.9741389395062856, 456], [252424, 0.9736801289198488, 63], [258948, 0.9732062661497227, 112], [253174, 0.9719492196799694, 422], [255267, 0.9719088009873972, 492], [257457, 0.9716868922641491, 143], [247453, 0.9707955813360268, 133], [253862, 0.9675459038794917, 470], [246457, 0.967423685772223, 353], [246483, 0.9660485091369894, 220], [253323, 0.9660124371151629, 344], [253275, 0.9630738237643391, 108], [252730, 0.9626355522021315, 171], [251858, 0.9564584213802814, 391], [255524, 0.9561966371252345, 74], [252326, 0.9546786362098489, 346], [246016, 0.9537842491717058, 362], [255743, 0.9518825581893176, 388], [257390, 0.9501902172326385, 129], [246789, 0.9490206462784939, 427], [251740, 0.9478959235836434, 212], [257756, 0.946705583440969, 415], [247175, 0.9460241806072662, 249], [246409, 0.9457331433624273, 92], [254583, 0.9444613579959068, 294], [273218, 0.9444236862003821, 16], [247691, 0.9431149722248613, 204], [257038, 0.9415657602194711, 254], [246830, 0.9405764738107142, 269], [257505, 0.9365333565311016, 424], [251861, 0.935745653577619, 515], [272916, 0.9355255950579102, 135], [255301, 0.9354135153574902, 236], [247162, 0.9350689598902271, 359], [272387, 0.9322148274178269, 150], [258540, 0.9320473242357752, 232], [252937, 0.9318784720974497, 153], [246004, 0.9318586471492928, 404], [255641, 0.9297899607380152, 73], [253792, 0.9281710663620586, 167], [246426, 0.9281059169610684, 474], [254826, 0.9270102183434904, 339], [206226, 0.9239805190411253, 235], [253211, 0.9211164910452165, 437], [251880, 0.918685158061857, 454], [40550, 0.9172557375730561, 479], [255736, 0.9169155903325928, 379], [245582, 0.9163104457829065, 432], [254207, 0.9160932510669555, 94], [246404, 0.9145077559375656, 5], [245566, 0.9100607017786685, 525], [252279, 0.9097009976845397, 524], [252043, 0.9092307599316694, 418], [257488, 0.9071399027103872, 407], [259768, 0.9057088146152803, 49], [269057, 0.9036936439633608, 69], [258533, 0.9025437282385775, 372], [254917, 0.9012535754863585, 84], [255226, 0.8976885921201037, 159], [40545, 0.8955955357553247, 530], [246737, 0.8920794736825477, 267], [206730, 0.8900111340545069, 273], [272641, 0.8853217576950255, 18], [255688, 0.8852741167969947, 68], [252426, 0.8842120433823679, 61], [254054, 0.8796993791478442, 213], [245568, 0.8786320302152255, 498], [260711, 0.878597261504197, 431], [257545, 0.8780150541356884, 21], [244835, 0.8734134222791242, 442], [246418, 0.8730185708649779, 132], [271449, 0.8729158917523117, 262], [255832, 0.8682396079918682, 26], [40552, 0.8602295426456, 224], [246783, 0.8596927729575999, 225], [260878, 0.853285859309442, 516], [246424, 0.8485767482245214, 187], [260493, 0.8474185242614446, 30], [258043, 0.8442582899545508, 487], [251272, 0.843579812243694, 350], [257724, 0.8414221750999041, 3], [259231, 0.8403544210059642, 460], [253291, 0.8398237320867736, 303], [252487, 0.83782093548487, 60], [255731, 0.8324252044089674, 342], [247295, 0.8291894686740046, 316], [271037, 0.8290588471315553, 370], [247759, 0.8275165689827215, 528], [263632, 0.8259391786021053, 465], [254281, 0.8256132496465262, 130], [247512, 0.8246500110876908, 42], [258299, 0.8239047512003597, 364], [272807, 0.822753433513623, 341], [256298, 0.8225473638413617, 15], [259266, 0.822522253257111, 119], [253222, 0.8201156074874437, 402], [247431, 0.8173769018238112, 238], [258376, 0.8172429901719338, 308], [258621, 0.816153650456822, 1], [245563, 0.8152529056706465, 480], [252702, 0.8135589342104569, 476], [256879, 0.801231001951116, 471], [262653, 0.8011284051820451, 198], [246005, 0.799769257784673, 377], [255609, 0.7995768094868261, 378], [263473, 0.7992724526231358, 91], [254760, 0.7977818529993775, 148], [246037, 0.7962470526071239, 438], [252343, 0.7904056389830902, 328], [245265, 0.7812693790554158, 446], [255574, 0.7737779023101405, 382], [256557, 0.7735930808138083, 10], [255350, 0.7727129623570227, 428], [252308, 0.7704378286107495, 495], [260060, 0.7688247442554954, 297], [255766, 0.7680196102149903, 29], [276925, 0.7646927349277395, 12], [258526, 0.7642899000309429, 155], [249072, 0.763665871683132, 228], [277795, 0.7614025108781713, 365], [258539, 0.7594015758809503, 186], [263565, 0.7578053750353337, 146], [253479, 0.7563774534066453, 401], [255878, 0.7561723589494633, 491], [257525, 0.7496549619634668, 351], [252945, 0.7496308639084167, 334], [258036, 0.7476520281982351, 529], [255490, 0.7433711141333057, 447], [245564, 0.7426898886534481, 558], [246742, 0.7418416899473316, 4], [252098, 0.7409336219372067, 299], [278669, 0.7391098273477889, 502], [247568, 0.7381832033538864, 140], [255315, 0.734796598719933, 537], [247588, 0.7326440016423014, 296], [250124, 0.7315327474904637, 53], [255568, 0.7282803110396245, 214], [255131, 0.7278885160013389, 242], [253256, 0.7267670286654512, 423], [253414, 0.7254518878568604, 449], [256901, 0.7251054680423519, 200], [247579, 0.7245205961780155, 545], [247189, 0.7241541683849276, 291], [255252, 0.723019822728893, 227], [245994, 0.7229137755195575, 533], [245560, 0.7222146793673025, 499], [258037, 0.7214409989929784, 82], [258527, 0.7186110377019372, 311], [254035, 0.7181172684796588, 443], [251700, 0.7137348782392816, 305], [250827, 0.7133316803401442, 56], [245565, 0.7128518669304957, 430], [255351, 0.7095911273213145, 80], [249634, 0.708935674918791, 555], [255373, 0.7073475601832125, 298], [206952, 0.7072988703869099, 309], [262482, 0.7063649220809727, 126], [262749, 0.7059969149403088, 114], [252464, 0.7056108549581807, 152], [252488, 0.7054153034782327, 510], [255756, 0.7051085891226244, 169], [263555, 0.70086038580428, 90], [246420, 0.7000771217400066, 257], [252952, 0.6967270902898819, 123], [252708, 0.6959021962864168, 464], [252659, 0.6958311078853637, 411], [252954, 0.6945525447754528, 122], [253073, 0.6940069460525232, 540], [255672, 0.6917853475757965, 71], [256961, 0.6876353462456107, 445], [264498, 0.6860881793176042, 410], [246792, 0.6843620991552349, 304], [246039, 0.6749934451296945, 231], [257307, 0.6731537082744716, 518], [252406, 0.6730938605841683, 513], [252213, 0.6717624819729584, 149], [246738, 0.6709582654413354, 547], [246422, 0.6676631428701556, 319], [246033, 0.6603138788285451, 86], [254959, 0.6591552791483645, 336], [252720, 0.6565979545986832, 256], [262997, 0.6562284820807779, 168], [250142, 0.655094251892939, 54], [256836, 0.6473062406628735, 219], [252964, 0.6435704916255914, 264], [257549, 0.6402878850716527, 280], [254109, 0.6363903982190838, 417], [252944, 0.6324616509578199, 197], [252962, 0.630426671839553, 121], [249081, 0.630249900294952, 139], [253132, 0.6300048899125468, 111], [254471, 0.6289979962386093, 88], [271957, 0.6251045412617077, 554], [252318, 0.62407654829175, 506], [245573, 0.6210394356360276, 523], [262748, 0.6199808969200328, 398], [257508, 0.6199631143408582, 409], [243300, 0.6144676116830003, 553], [255592, 0.6141812666139973, 416], [247959, 0.612726870549734, 161], [251573, 0.6116974139976591, 177], [246416, 0.6107200034990455, 390], [260954, 0.6078839665034068, 317], [262279, 0.6077027778848466, 163], [244574, 0.6060718425037496, 512], [259771, 0.6060294570932623, 363], [260779, 0.6024496573731115, 65], [246417, 0.6020227802306085, 289], [270804, 0.601457618882334, 27], [257031, 0.599949292335306, 33], [245773, 0.5937753491903323, 440], [253084, 0.5903639560714405, 434], [260185, 0.5889189063560947, 338], [272388, 0.5852882624853101, 241], [263181, 0.5849339029925736, 478], [253686, 0.5837921163077028, 101], [259357, 0.5837708545378046, 47], [257080, 0.5827781052938337, 31], [253015, 0.5820899750556445, 120], [255176, 0.5792740166499388, 83], [264504, 0.5767642066174302, 500], [257535, 0.5709953023644101, 205], [253322, 0.5706252566932173, 107], [255765, 0.5676671295462713, 277], [253507, 0.5674620078720977, 343], [257992, 0.5673451499143574, 420], [260626, 0.5673121972095229, 335], [252943, 0.5627898097844761, 520], [247730, 0.5622587133123914, 178], [254784, 0.5590102369855546, 87], [257561, 0.5588916129931809, 248], [253344, 0.5586514635044065, 106], [255746, 0.557813685525672, 552], [257332, 0.5535772774662381, 32], [253588, 0.5507321211520837, 195], [258025, 0.5465487477232894, 467], [253515, 0.5448516840416298, 103], [261176, 0.5424323389045178, 55], [256454, 0.5414240054540719, 13], [252355, 0.5398171543217806, 542], [261976, 0.5362226035706543, 292], [252867, 0.535643553121791, 45], [262782, 0.5347411742406392, 109], [256684, 0.5338309151854237, 475], [256580, 0.5316659809860308, 265], [254774, 0.5316225558640747, 245], [256995, 0.530357291649383, 455], [255668, 0.5290031942016036, 72], [255615, 0.5282325903658175, 192], [258538, 0.5240167870720012, 321], [252347, 0.5219335162260027, 501], [252729, 0.5214846788393134, 158], [252791, 0.5211838732656775, 426], [255817, 0.5191134254996257, 300], [262752, 0.5177426765444708, 462], [247767, 0.5177020138185978, 261], [260732, 0.5172020550932599, 222], [255509, 0.5158588307892813, 408], [246024, 0.515175216577238, 293], [256986, 0.5139346270658534, 330], [245962, 0.5118889403000251, 70], [255584, 0.5002375450860039, 329], [251911, 0.5002114550451371, 128], [252935, 0.4967744584832324, 39], [245580, 0.4930715367444391, 468], [252315, 0.4918809750910493, 326], [246419, 0.4910112071852628, 95], [259222, 0.4889290955731193, 496], [278773, 0.4835620870368138, 141], [257741, 0.4835409346294182, 469], [257816, 0.4824261902895905, 461], [246019, 0.4802298354388908, 313], [261039, 0.4748480744919821, 62], [257496, 0.4734087180924063, 260], [252924, 0.47171915775031714, 43], [247198, 0.4705814981127778, 239], [246408, 0.4681185359808932, 539], [258026, 0.4676946378001977, 271], [253998, 0.4672133534959424, 97], [258407, 0.4617439651786302, 375], [273357, 0.45750202089280506, 14], [252957, 0.4555882733763392, 281], [255898, 0.45272218482685056, 450], [278779, 0.44951595269700223, 253], [255338, 0.44817913257512104, 211], [259174, 0.44496076681211916, 115], [272084, 0.4431496837017314, 23], [253350, 0.4401460553171044, 482], [254285, 0.4391487966131473, 89], [246001, 0.4390159749552403, 511], [261038, 0.4384484215367615, 162], [246009, 0.4375649538092671, 355], [270527, 0.4365905793999847, 193], [255928, 0.4338878358620241, 486], [257230, 0.4279776187761181, 507], [257903, 0.42659303523762493, 399], [246020, 0.42647232131576274, 367], [246739, 0.42548856179808026, 368], [267423, 0.4247251010413487, 202], [255886, 0.42307440610159047, 541], [253152, 0.42252381397498084, 546], [255346, 0.42059238217438955, 81], [255823, 0.4203222817976017, 361], [245584, 0.41689090972212933, 174], [244575, 0.41571154697721163, 472], [255479, 0.41498076367622794, 497], [257246, 0.4146174324014037, 393], [262027, 0.41185359538020067, 196], [246411, 0.4117789826762135, 93], [252739, 0.4086070889391498, 251], [262654, 0.40746562862840513, 136], [260735, 0.4074609431556965, 67], [255825, 0.4054978113608553, 246], [260437, 0.3989869734283357, 127], [255694, 0.398671801521817, 255], [256026, 0.3984349167579821, 295], [252409, 0.3950686170617587, 494], [255858, 0.3933391556595768, 396], [245878, 0.3916460702115356, 549], [255485, 0.39144897804450807, 263], [246784, 0.3904394957345376, 543], [252926, 0.3896653906891982, 41], [247107, 0.3891915599494797, 463], [254923, 0.38640347305689654, 182], [263316, 0.3839710215112621, 102], [253130, 0.3828081638637968, 406], [246716, 0.37756110070016496, 170], [257547, 0.37732993396114034, 22], [246031, 0.3769934662962339, 144], [256411, 0.37608487018790226, 387], [246622, 0.3735914154909459, 100], [260980, 0.37237951785386963, 459], [244541, 0.37097253979368916, 37], [253883, 0.36635374385996705, 98], [256598, 0.36426665473386965, 532], [254250, 0.36029423673880745, 412], [277426, 0.3600895700486749, 137], [253731, 0.35712934360523885, 99], [245574, 0.3561181102481289, 509], [247437, 0.3553652193322151, 290], [252897, 0.3518878399140848, 349], [252786, 0.34815756057056124, 48], [252653, 0.34801677162436306, 189], [256299, 0.34560939776903477, 207], [260736, 0.3446503621664582, 66], [255326, 0.3437094236945199, 181], [255355, 0.34322109670874074, 78], [40551, 0.3420839772895686, 521], [257059, 0.3414038261984769, 151], [259980, 0.3391548541357033, 51], [255325, 0.33620570373083725, 348], [249818, 0.3348483986537517, 147], [253813, 0.33378957096841805, 331], [257946, 0.33342721417254795, 458], [247686, 0.33298610717130167, 145], [244568, 0.3323141983983279, 223], [253780, 0.32877290255731567, 234], [260058, 0.3284829497954485, 57], [258035, 0.32266349371876096, 380], [257448, 0.3190609471103551, 347], [247294, 0.31793932880274467, 252], [253258, 0.3173928433971344, 489], [256953, 0.31572753208525084, 244], [254215, 0.3154122349137452, 206], [258311, 0.31469376908948415, 327], [246745, 0.3133972879732688, 444], [252939, 0.31308769717227225, 125], [259772, 0.31212784855051195, 134], [253842, 0.3110635219365844, 448], [252909, 0.30973256341314986, 44], [253070, 0.30692013298324955, 117], [252912, 0.3057994435122471, 221], [259263, 0.3043747454097122, 397], [253505, 0.3041790567896896, 104], [257523, 0.30273047263773384, 38], [258947, 0.29406221746690253, 209], [257648, 0.2915002967948332, 302], [256249, 0.2902986301881277, 488], [252747, 0.2898455541651887, 493], [257515, 0.2896417150991509, 310], [258136, 0.2887781383477989, 180], [245569, 0.28778549285680266, 439], [252925, 0.2845072618787068, 275], [246030, 0.2766774893910294, 85], [253448, 0.2763617400445601, 286], [256033, 0.2757604543764478, 19], [255720, 0.2748761718060344, 283], [255714, 0.2748153480768198, 519], [250726, 0.2742065252475126, 484], [253932, 0.2667539525583174, 9], [256784, 0.26658923500641485, 485], [257010, 0.2647914957528916, 483], [252665, 0.2606062067975815, 52], [272619, 0.2584427512173463, 340], [246748, 0.2567560963668885, 282], [253829, 0.2544756146037826, 7], [256906, 0.24588152320770115, 164], [259074, 0.24581116850282858, 325], [261324, 0.2446306932754695, 504], [256947, 0.2435158610534141, 385], [246754, 0.24199458042567437, 203], [252236, 0.24188357945632524, 436], [253143, 0.23800076442422125, 332], [246406, 0.23705480469881662, 435], [246403, 0.2347095756964818, 356], [252275, 0.23252471411418976, 138], [252534, 0.23241298988185616, 59], [252471, 0.23176766939478852, 274], [258034, 0.23051277587128843, 77], [255717, 0.229238300024151, 548], [247433, 0.22729706262145133, 371], [252302, 0.2268726597813903, 270], [251406, 0.22362912725090198, 58], [277427, 0.22283284663628908, 11], [264031, 0.22206626330766677, 389], [246112, 0.22127471997435827, 345], [252709, 0.22081680757904162, 50], [259151, 0.2199404971950709, 477], [273217, 0.21638400079555348, 466], [254324, 0.21294853528227942, 173], [256929, 0.2100616137448998, 36], [252804, 0.2061782291962457, 46], [252452, 0.20599004403311288, 481], [278133, 0.20583411732647053, 184], [256962, 0.2045365915933034, 201], [264033, 0.20196653659812017, 333], [253321, 0.200002094430032, 318], [252641, 0.19969927057335862, 6], [257011, 0.19520220943613534, 34], [246014, 0.19098492040375528, 527], [256841, 0.18876593374406608, 307], [254172, 0.18388631048184162, 210], [256244, 0.18037940908199282, 383], [246402, 0.17963324821408072, 259], [259223, 0.1793713870224222, 116], [261015, 0.17729730545118397, 505], [206733, 0.1754123752070188, 287], [257811, 0.17483317260376846, 230], [255853, 0.17309050366746098, 25], [205409, 0.1711984061064287, 395], [264281, 0.1682579227178563, 247], [247497, 0.1636423615230676, 386], [256963, 0.16269797801071906, 451], [247496, 0.1604717023659994, 40], [244542, 0.1599156011229317, 536], [247804, 0.15664066914678798, 250], [261877, 0.1554064639774628, 142], [253746, 0.15407388256401716, 183], [251770, 0.1526285447549706, 216], [253027, 0.14522157035866234, 357], [253022, 0.14422047790268183, 503], [263354, 0.1394743864547314, 218], [257452, 0.13866414408554711, 324], [253012, 0.137860843792448, 301], [260190, 0.13646749280863552, 413], [263000, 0.13617132064155893, 208], [256158, 0.12912001385583788, 376], [255483, 0.1282028475104972, 76], [245562, 0.12740981729077583, 514], [256172, 0.12712132691610414, 194], [252783, 0.12582443890703615, 531], [255990, 0.12225134427758255, 534], [279081, 0.11896331245926832, 188], [256263, 0.11824029844803141, 17], [245578, 0.11744328049992846, 556], [247439, 0.11720607144994374, 414], [257579, 0.11668055654258884, 358], [255517, 0.11587148966732672, 392], [255352, 0.11380234125780656, 79], [272390, 0.11369281640055523, 172], [246847, 0.11169651973417093, 285], [248154, 0.11139783619128985, 312], [254791, 0.1112078170971522, 191], [258390, 0.11107650938432503, 453], [253100, 0.11047726526235199, 113], [278489, 0.10975205773063822, 190], [275957, 0.10835975807983624, 352], [257205, 0.10780287161634367, 240], [258874, 0.10619467290650801, 110], [257528, 0.10303930505871142, 278], [247238, 0.1027947491404469, 258], [247434, 0.10125224639483342, 124], [253250, 0.10121075938332427, 157], [253128, 0.09922752981983624, 473], [252293, 0.09904317959453522, 165], [252706, 0.09568136898166194, 233], [253342, 0.09160473080587003, 323], [246015, 0.09151695130071935, 366], [247435, 0.09128225032278918, 522], [272472, 0.09016818427701695, 20], [255716, 0.08800668326571029, 517], [247140, 0.08770828356917833, 419], [257657, 0.08747930050561947, 535], [253292, 0.08518130499671121, 215], [256938, 0.08316429084998578, 166], [253082, 0.08293690515520748, 550], [246010, 0.08224979394154006, 156], [245559, 0.08181881802740087, 374], [253053, 0.08091689031848619, 179], [271550, 0.07992260255138654, 24], [245577, 0.0792595795587617, 490], [253058, 0.07830624144815093, 226], [258342, 0.07794562212835879, 96], [260632, 0.07682680428362224, 433], [249513, 0.07648571444392535, 403], [253089, 0.0764305223683315, 381], [256934, 0.07629966751268509, 35], [259181, 0.07508845044616554, 405], [252334, 0.07197012242153743, 229], [244832, 0.07101677107321545, 526], [278607, 0.06326861321876318, 284], [253064, 0.059727064110204585, 118], [245572, 0.056248511129450576, 429], [252756, 0.05192273980825758, 131], [252920, 0.05182668373393704, 384], [259142, 0.04679268002770058, 272], [245043, 0.04565807423597233, 452], [253194, 0.042674400754156155, 322], [118561, 0.04166379036762368, 457], [257517, 0.04116141306480202, 544], [245760, 0.04035157484761617, 360], [245581, 0.03925496817477289, 28], [279640, 0.038847028561318525, 441], [247972, 0.037958625487415146, 315], [259359, 0.037325826044676276, 400], [253023, 0.03551048980025853, 185], [260188, 0.03314718771437451, 288], [254418, 0.03188834626309119, 538], [251662, 0.03041987397768378, 2], [258532, 0.02969089665142224, 105], [259355, 0.029470762458296555, 175], [255745, 0.02905107068103912, 154], [246007, 0.027146887170043817, 320], [257846, 0.02483710656811361, 354], [252356, 0.02394110717431419, 64], [246917, 0.02366430245130461, 369], [270755, 0.02046755151139384, 276], [255515, 0.018360846456934428, 373], [258382, 0.017652160919706946, 160], [256895, 0.0127427661834745, 8], [257938, 0.008553195320381323, 75], [257546, 0.008272111670775505, 421], [257491, 0.008237883825808756, 268], [257532, 0.006748661431691643, 237], [259358, 0.00384184317048935, 425], [263367, 0.002329046522303063, 176], [260462, 0.0, 551]]