data = [[247189, 1.0, 291], [255479, 0.9953067043007217, 497], [245564, 0.9092854585452049, 558], [247759, 0.9086029869575424, 528], [261324, 0.8057153846691997, 504], [250726, 0.7853152664846037, 484], [252659, 0.75658548417145, 411], [271957, 0.7473905343304611, 554], [252308, 0.7266416032259303, 495], [245878, 0.6979874576192975, 549], [252783, 0.6835806135019014, 531], [253084, 0.6635369995237497, 434], [253194, 0.6635043923572456, 322], [255574, 0.6281052794089036, 382], [255716, 0.6229951139749709, 517], [255592, 0.6189834226739688, 416], [247295, 0.6170208601866938, 316], [246408, 0.614974490258699, 539], [40550, 0.6115171815428533, 479], [255373, 0.6068651799675838, 298], [253152, 0.6011278444027143, 546], [253414, 0.5963951310346278, 449], [243300, 0.5876110012948976, 553], [255928, 0.5715888148099479, 486], [249513, 0.5657759006036626, 403], [252355, 0.5623126596400266, 542], [257205, 0.5519687106833153, 240], [252409, 0.5490454594160878, 494], [256995, 0.5487832932790102, 455], [260762, 0.5475850725197514, 508], [257756, 0.5389119627131349, 415], [253073, 0.5374808447324704, 540], [251272, 0.529753378965703, 350], [257515, 0.525373846880534, 310], [249634, 0.5245002580624918, 555], [245578, 0.5229833948073782, 556], [245562, 0.5217757614425789, 514], [247238, 0.520702104283002, 258], [252702, 0.5159241065309409, 476], [247579, 0.5140397503566954, 545], [246406, 0.5118257791992434, 435], [256947, 0.5114903685574476, 385], [255743, 0.5093986442470327, 388], [255717, 0.5043321154172119, 548], [256598, 0.5037023917202432, 532], [40551, 0.49828337786966165, 521], [245773, 0.4947216685668841, 440], [260462, 0.49404645937295283, 551], [206952, 0.4926149831714914, 309], [253128, 0.4888461478948572, 473], [254109, 0.4841508985315912, 417], [257517, 0.48349931102014626, 544], [255590, 0.4743960390507886, 217], [262380, 0.4676061667779639, 557], [253022, 0.4669156435931025, 503], [258407, 0.46279505086329065, 375], [255886, 0.4625838191629436, 541], [247107, 0.46225378558896213, 463], [246748, 0.4613514573944293, 282], [244574, 0.45997354050493894, 512], [255609, 0.45957785526783834, 378], [257488, 0.45867470613462874, 407], [247435, 0.4581174512436514, 522], [256986, 0.4575982282983796, 330], [258526, 0.45700928449403067, 155], [247494, 0.45580944829783626, 279], [253323, 0.455284488440659, 344], [244575, 0.4550202058503951, 472], [252452, 0.4548065647109424, 481], [278607, 0.45274306268448333, 284], [256953, 0.4476907059400671, 244], [260626, 0.44304893741797363, 335], [247175, 0.4425862778215582, 249], [255990, 0.44059976690013514, 534], [256411, 0.4405816399750539, 387], [253130, 0.44007016496381934, 406], [246417, 0.4387694135157254, 289], [245760, 0.4355978184985644, 360], [246420, 0.43540260653996476, 257], [253842, 0.43404368336210386, 448], [253027, 0.4337355364631809, 357], [245574, 0.43312703521760404, 509], [255817, 0.4316630663791099, 300], [244835, 0.43116909697449285, 442], [258043, 0.4281276172106147, 487], [259151, 0.42290963319629105, 477], [245572, 0.42188575416585655, 429], [247588, 0.42113940624570045, 296], [246015, 0.4196285870675571, 366], [246007, 0.4191443735908597, 320], [246789, 0.4167150694762166, 427], [255350, 0.41667535190093713, 428], [247140, 0.41434673267534994, 419], [255898, 0.4122645116123971, 450], [253479, 0.41142315387047784, 401], [253350, 0.4100327590483293, 482], [253222, 0.4097127234504002, 402], [255517, 0.40888238768214014, 392], [264498, 0.4055312216465653, 410], [262279, 0.4054923551618996, 163], [252708, 0.40494922203089234, 464], [255252, 0.4038421925875697, 227], [257846, 0.400430421368043, 354], [257010, 0.4003613169326503, 483], [253258, 0.39817078080907226, 489], [257657, 0.3974857116488306, 535], [247198, 0.3964743281567702, 239], [246019, 0.3876306689762958, 313], [255267, 0.3876050140308883, 492], [256249, 0.3838809564058669, 488], [246037, 0.3838234144673371, 438], [259222, 0.3827897239546739, 496], [246792, 0.382492852950921, 304], [255315, 0.3820748995547696, 537], [246830, 0.38139461818229525, 269], [259358, 0.38129628550168726, 425], [246738, 0.3809806939131714, 547], [255326, 0.3807120469816583, 181], [257246, 0.38007331269079114, 393], [244832, 0.3797179446428683, 526], [255823, 0.37889204231619567, 361], [206733, 0.3776835615128354, 287], [252347, 0.37636017944508227, 501], [263632, 0.37053235391316836, 465], [252641, 0.369632624292604, 6], [256784, 0.36899121342725505, 485], [254169, 0.36624041179625, 243], [252334, 0.36442485528612584, 229], [245559, 0.363342789896035, 374], [252943, 0.36276530173196314, 520], [254418, 0.361899547101665, 538], [253211, 0.3616131829341342, 437], [254826, 0.3615131490917619, 339], [256879, 0.3600959958033286, 471], [259074, 0.35967861681858737, 325], [255714, 0.35907334909735733, 519], [264504, 0.3580883642398094, 500], [255746, 0.3568743269313234, 552], [252343, 0.3561213818313306, 328], [40545, 0.35605168797830283, 530], [245565, 0.3559689358760972, 430], [257496, 0.35558741577342423, 260], [257038, 0.35389172206901176, 254], [246009, 0.3535506126004616, 355], [252973, 0.35317237380685684, 337], [246847, 0.3522248169221572, 285], [247972, 0.3520922810869565, 315], [256158, 0.35167136930743287, 376], [245573, 0.3514035837015401, 523], [246004, 0.3509566643180351, 404], [251861, 0.34844334776473745, 515], [255509, 0.34836964870252995, 408], [255858, 0.3445532983804579, 396], [259359, 0.34209793270390526, 400], [252747, 0.34160301726738096, 493], [253174, 0.34063345730650046, 422], [257549, 0.340305490134781, 280], [246457, 0.3398148175588156, 353], [258533, 0.3392691798667152, 372], [255736, 0.3385800931151538, 379], [257532, 0.3382075690806487, 237], [245580, 0.337204188710567, 468], [252791, 0.3370169624362729, 426], [257307, 0.3368616135641876, 518], [259181, 0.3364111998689087, 405], [257491, 0.3349127487548419, 268], [253507, 0.3338453097744715, 343], [252406, 0.3336863492862051, 513], [254035, 0.3323338301742651, 443], [256906, 0.33062993394551604, 164], [258540, 0.3285805817510898, 232], [247691, 0.3273280186828263, 204], [253143, 0.32682064251746545, 332], [255325, 0.32581722562454263, 348], [247162, 0.3249924643139142, 359], [252912, 0.3241562052924235, 221], [258311, 0.32328532174915336, 327], [206730, 0.32229739580667927, 273], [252279, 0.32161770076250906, 524], [252924, 0.32157680603145694, 43], [256901, 0.3213187690212257, 200], [256580, 0.3211297731005249, 265], [263181, 0.32063337660905755, 478], [246424, 0.31996814600987966, 187], [245560, 0.31909995756372656, 499], [258036, 0.3190821995518366, 529], [252945, 0.3186667854658897, 334], [246403, 0.31779288823533275, 356], [257992, 0.31769953148634694, 420], [245577, 0.317013537985255, 490], [267423, 0.31570812491009725, 202], [278779, 0.3153490213408974, 253], [255694, 0.31528671428292326, 255], [258025, 0.3150738349275297, 467], [262653, 0.3141154006572636, 198], [252739, 0.31404710418791887, 251], [261976, 0.31404637288840986, 292], [256026, 0.31389080190575414, 295], [255765, 0.31387827013476693, 277], [277795, 0.31377759425262347, 365], [246784, 0.3137502220953884, 543], [40552, 0.313312434736097, 224], [260632, 0.3125460653133785, 433], [279640, 0.31176693479234296, 441], [246402, 0.3115398742393805, 259], [255878, 0.3112951438606972, 491], [246024, 0.3111549708310144, 293], [254774, 0.3107436029975422, 245], [259142, 0.3104344931328798, 272], [255338, 0.3097770281161997, 211], [253792, 0.308858414364032, 167], [249072, 0.3072147734038307, 228], [258538, 0.30714013479306335, 321], [252925, 0.30702658395098326, 275], [278669, 0.3062301440461569, 502], [263354, 0.3060048731109085, 218], [262752, 0.30506892766395555, 462], [253342, 0.3044044828879365, 323], [247497, 0.3033244215556245, 386], [245566, 0.30212436443801516, 525], [259223, 0.30194530207229386, 116], [247804, 0.30164652234253175, 250], [252897, 0.30105958247421977, 349], [259771, 0.30085343533943704, 363], [252488, 0.30049861093022456, 510], [271449, 0.30013736941680225, 262], [246112, 0.29997856072033596, 345], [260190, 0.2995998048661708, 413], [255131, 0.29844790003905386, 242], [244542, 0.29840305133683986, 536], [255720, 0.2979466532950887, 283], [256962, 0.2967629997925421, 201], [247431, 0.29659170036276833, 238], [246745, 0.2965834041881554, 444], [275957, 0.2955693655404521, 352], [260060, 0.2954511677907017, 297], [252937, 0.29410165554088474, 153], [264033, 0.2939615892871324, 333], [246737, 0.29394758681467514, 267], [257903, 0.2930834119876093, 399], [251880, 0.2923364970064838, 454], [257546, 0.2923150616608394, 421], [252962, 0.29154080902166896, 121], [252706, 0.28993118679702906, 233], [246716, 0.28965599086380733, 170], [246016, 0.2889920812647796, 362], [260954, 0.2883012553394834, 317], [255490, 0.2879441071300038, 447], [251858, 0.2879069113519534, 391], [205409, 0.2878144969895243, 395], [258539, 0.2873282048102203, 186], [256836, 0.2865578248681194, 219], [257579, 0.28646374831455557, 358], [246005, 0.2857883265273938, 377], [251740, 0.2851591531399084, 212], [245568, 0.2844445962562409, 498], [257528, 0.2844059710611631, 278], [254250, 0.2842123617413622, 412], [255485, 0.2835960217800238, 263], [260437, 0.28314092037508987, 127], [256244, 0.2829415161103639, 383], [253321, 0.28289318676559366, 318], [247767, 0.2828481560194174, 261], [252098, 0.28207319087116894, 299], [260188, 0.28196930033766815, 288], [261038, 0.28189609879520244, 162], [206226, 0.2815004204979762, 235], [253023, 0.2811821549122627, 185], [246426, 0.28108540705055274, 474], [257741, 0.2810851483379909, 469], [247437, 0.2800152154356287, 290], [253862, 0.2797192591503401, 470], [252466, 0.2792223101532357, 199], [252302, 0.2788515690009104, 270], [244568, 0.27828322645337383, 223], [264281, 0.27820565365637895, 247], [254172, 0.2782024533852794, 210], [253058, 0.27742699096469414, 226], [253070, 0.27719067859888097, 117], [270755, 0.27620938381830135, 276], [246422, 0.2751830377422309, 319], [257816, 0.2745809868734605, 461], [256841, 0.2741441660766847, 307], [247568, 0.27378679926339705, 140], [263000, 0.27311572893777725, 208], [258026, 0.2728131122503827, 271], [246483, 0.27257472922443216, 220], [258527, 0.27213493462670973, 311], [260878, 0.2718275454068086, 516], [246739, 0.27115801132308903, 368], [257059, 0.2709965267248477, 151], [247439, 0.2709752187604269, 414], [255766, 0.2707366702590944, 29], [259263, 0.26922461966034306, 397], [251700, 0.2688750793630375, 305], [254959, 0.268705001508061, 336], [255853, 0.26858322188938955, 25], [257525, 0.26825329689172744, 351], [245569, 0.26786373779496575, 439], [246917, 0.26678905469589664, 369], [261176, 0.2658371736005525, 55], [256172, 0.2652638220985214, 194], [252957, 0.26486486140284754, 281], [252730, 0.2637730058491149, 171], [271037, 0.2633696905257776, 370], [259980, 0.26309715698514846, 51], [253746, 0.26262527341651737, 183], [255825, 0.2625658393169539, 246], [252720, 0.26209382845730256, 256], [245265, 0.26179380823687487, 446], [251770, 0.2616090139700507, 216], [253082, 0.26130809190741167, 550], [253291, 0.2612905259322162, 303], [255731, 0.26125716968101237, 342], [258376, 0.26122899021582907, 308], [246404, 0.2604785460794714, 5], [255515, 0.25995752695878194, 373], [252318, 0.2591268594840375, 506], [253292, 0.25909803410400895, 215], [247433, 0.25903993855822, 371], [252471, 0.25884307179686705, 274], [270527, 0.25799984277363575, 193], [256298, 0.2578660397690078, 15], [245563, 0.2562266991941362, 480], [258390, 0.25590929429273923, 453], [252709, 0.2547699518170755, 50], [273217, 0.25359428078990076, 466], [272807, 0.253285909472616, 341], [246418, 0.2522084609560121, 132], [252315, 0.25200288875932103, 326], [253813, 0.2512871159440561, 331], [252426, 0.25122153120044155, 61], [279081, 0.25071799167754977, 188], [262997, 0.2507034312691844, 168], [245994, 0.24986221037995257, 533], [272390, 0.24886164186738222, 172], [257561, 0.2485743203232229, 248], [253012, 0.24770250160170762, 301], [253053, 0.2476819985425499, 179], [258037, 0.24680255945111448, 82], [258299, 0.24632939594230696, 364], [255483, 0.24590115824466746, 76], [252964, 0.24480558123223373, 264], [257390, 0.2444637912216313, 129], [246014, 0.24444498931602426, 527], [252729, 0.24400182330347137, 158], [262027, 0.24392658109957147, 196], [254054, 0.243736686493138, 213], [252944, 0.2435555388870391, 197], [253664, 0.2432208218623922, 456], [257648, 0.24281210472476683, 302], [257811, 0.2421629216847827, 230], [261015, 0.24047415100515443, 505], [256299, 0.2397918781799363, 207], [257508, 0.23745490388854412, 409], [248154, 0.23738821043163805, 312], [253780, 0.23639818555691344, 234], [255524, 0.235973111217645, 74], [251662, 0.23549597765814687, 2], [258382, 0.23543800406146356, 160], [257452, 0.23372005389087824, 324], [246742, 0.23303528265868806, 4], [252487, 0.23268304927015804, 60], [256961, 0.2318508983212482, 445], [252043, 0.23132716387284785, 418], [272388, 0.23128620118105428, 241], [246419, 0.23098386493750026, 95], [118561, 0.23077075195181881, 457], [278133, 0.23014236813410188, 184], [246001, 0.22868405743563938, 511], [253448, 0.22794380835080483, 286], [246012, 0.22759402293910094, 266], [253883, 0.22724564801182032, 98], [246039, 0.2265341054908114, 231], [257448, 0.2260594936481449, 347], [260185, 0.22519070357887155, 338], [247730, 0.22473606914070302, 178], [254281, 0.2245806709039053, 130], [252954, 0.2240265966670464, 122], [272619, 0.22347317941134598, 340], [255226, 0.22255833924482252, 159], [253588, 0.22254380166725676, 195], [255568, 0.22157823053432765, 214], [264031, 0.22157035192204655, 389], [259772, 0.22130417583339718, 134], [254583, 0.2173714303480184, 294], [252326, 0.21683031869527786, 346], [256963, 0.215849673008519, 451], [262375, 0.21568682413711163, 394], [257080, 0.21524747858706766, 31], [255615, 0.2146024186266517, 192], [252756, 0.21238427562613635, 131], [254285, 0.21035468557230397, 89], [256557, 0.21024262930452564, 10], [246754, 0.2099627150578752, 203], [258136, 0.20742490659631896, 180], [255584, 0.20731907058348564, 329], [262749, 0.2071708388955262, 114], [252356, 0.20682996205412027, 64], [259357, 0.20543791434463707, 47], [254923, 0.20537197386058975, 182], [256895, 0.2050626248182401, 8], [255756, 0.20410397285368362, 169], [257938, 0.204031058694108, 75], [277426, 0.2017702838200106, 137], [255301, 0.200743091982172, 236], [257457, 0.20027257921659136, 143], [252935, 0.19636975683037544, 39], [252275, 0.19632479032078348, 138], [259355, 0.19374497843387367, 175], [252213, 0.19220005531303647, 149], [251573, 0.19136313431696503, 177], [258342, 0.1906620023953042, 96], [247512, 0.18679835224917676, 42], [252665, 0.18640166769416908, 52], [257230, 0.18354815151745504, 507], [249081, 0.17922571185795877, 139], [253829, 0.06674018931679239, 7], [252804, 0.04090877836768537, 46], [261039, 0.030146581326906938, 62], [252464, 0.02234914412617125, 152], [247959, 0.016971173290300314, 161], [262654, 0.016701766502914467, 136], [257946, 0.015895803442652994, 458], [257724, 0.015895803442652994, 3], [250142, 0.012669810287119932, 54], [247453, 0.012400834954822533, 133], [255346, 0.011862693706703661, 81], [252926, 0.011593918675170217, 41], [247686, 0.011323899319508626, 145], [257011, 0.011323899319508626, 34], [257535, 0.00998021779240974, 205], [255672, 0.009709802611539167, 71], [254784, 0.0094427897435145, 87], [255176, 0.0094427897435145, 83], [246010, 0.009183054896828038, 156], [255974, 0.008904860023204715, 314], [254760, 0.00836698564159084, 148], [256938, 0.008099296823761992, 166], [254791, 0.007829117738136868, 191], [255641, 0.007829117738136868, 73], [246020, 0.007560479378935876, 367], [255832, 0.0073336811608307444, 26], [272641, 0.0070235251126378505, 18], [257505, 0.0070235251126378505, 424], [253256, 0.006753870426854287, 423], [246783, 0.006485248317920397, 225], [276925, 0.005947451948562097, 12], [253275, 0.0056785903955681154, 108], [258035, 0.0056785903955681154, 380], [253250, 0.005141135995094501, 157], [260732, 0.005141135995094501, 222], [252236, 0.005141135995094501, 436], [255745, 0.0046030626579199345, 154], [252424, 0.004065386683193307, 63], [253932, 0.0037969664396959994, 9], [253132, 0.0037969664396959994, 111], [252653, 0.003528049438271417, 189], [273218, 0.003528049438271417, 16], [258621, 0.0032591731448156176, 1], [253344, 0.0032591731448156176, 106], [251911, 0.0032591731448156176, 128], [252293, 0.0032591731448156176, 165], [255688, 0.0032591731448156176, 68], [258532, 0.002990405964079002, 105], [246622, 0.002721484049167149, 100], [250827, 0.002721484049167149, 56], [257545, 0.002721484049167149, 21], [246030, 0.0021836401919097686, 85], [252952, 0.0021836401919097686, 123], [257031, 0.0021836401919097686, 33], [256454, 0.0019149918685658694, 13], [253322, 0.0016461301784035246, 107], [257332, 0.0016461301784035246, 32], [278773, 0.0016461301784035246, 141], [257547, 0.0016461301784035246, 22], [254324, 0.0013772798798883578, 173], [262482, 0.0013772798798883578, 126], [258948, 0.0013772798798883578, 112], [273357, 0.0013772798798883578, 14], [246033, 0.0013772798798883578, 86], [258874, 0.0013772798798883578, 110], [260711, 0.0011084849475027716, 431], [245962, 0.0011084849475027716, 70], [247496, 0.0011084849475027716, 40], [254215, 0.0011084849475027716, 206], [259266, 0.0008396525462283584, 119], [246416, 0.0008396525462283584, 390], [246409, 0.0008396525462283584, 92], [270804, 0.0008396525462283584, 27], [260736, 0.0008396525462283584, 66], [277427, 0.0008396525462283584, 11], [256929, 0.0008396525462283584, 36], [255351, 0.0008396525462283584, 80], [246031, 0.0008396525462283584, 144], [253089, 0.0005708510808155237, 381], [261877, 0.0005708510808155237, 142], [252867, 0.0005708510808155237, 45], [269057, 0.0005708510808155237, 69], [245582, 0.0005708510808155237, 432], [251406, 0.0005708510808155237, 58], [263565, 0.0005708510808155237, 146], [255668, 0.0005708510808155237, 72], [257523, 8.622447530249527e-05, 38], [247434, 8.622447530249527e-05, 124], [255352, 8.622447530249527e-05, 79], [252920, 8.622447530249527e-05, 384], [252909, 8.622447530249527e-05, 44], [247294, 8.622447530249527e-05, 252], [258034, 8.622447530249527e-05, 77], [252939, 8.622447530249527e-05, 125], [252786, 8.622447530249527e-05, 48], [249818, 8.622447530249527e-05, 147], [258947, 8.622447530249527e-05, 209], [250124, 8.622447530249527e-05, 53], [259231, 8.622447530249527e-05, 460], [259768, 8.622447530249527e-05, 49], [253015, 8.622447530249527e-05, 120], [256934, 8.622447530249527e-05, 35], [254917, 8.622447530249527e-05, 84], [260493, 8.622447530249527e-05, 30], [246411, 8.622447530249527e-05, 93], [253064, 8.622447530249527e-05, 118], [260779, 8.622447530249527e-05, 65], [260980, 8.622447530249527e-05, 459], [254471, 8.622447530249527e-05, 88], [253100, 8.622447530249527e-05, 113], [262748, 8.622447530249527e-05, 398], [256263, 8.622447530249527e-05, 17], [262782, 8.622447530249527e-05, 109], [263316, 8.622447530249527e-05, 102], [263367, 8.622447530249527e-05, 176], [254207, 8.622447530249527e-05, 94], [253998, 8.622447530249527e-05, 97], [271550, 8.622447530249527e-05, 24], [272084, 8.622447530249527e-05, 23], [272387, 8.622447530249527e-05, 150], [256033, 8.622447530249527e-05, 19], [272472, 8.622447530249527e-05, 20], [272916, 8.622447530249527e-05, 135], [253731, 8.622447530249527e-05, 99], [244541, 8.622447530249527e-05, 37], [252534, 8.622447530249527e-05, 59], [253686, 8.622447530249527e-05, 101], [253505, 8.622447530249527e-05, 104], [278489, 8.622447530249527e-05, 190], [253515, 8.622447530249527e-05, 103], [255355, 8.622447530249527e-05, 78], [256684, 0.0, 475], [245043, 0.0, 452], [260735, 0.0, 67], [263473, 0.0, 91], [245581, 0.0, 28], [245584, 0.0, 174], [260058, 0.0, 57], [259174, 0.0, 115], [246743, 0.0, 306], [263555, 0.0, 90]]