data = [[245564, 1.0, 558], [262380, 0.9836065573770492, 557], [245578, 0.9754098360655737, 556], [249634, 0.9543325526932084, 555], [271957, 0.9402810304449649, 554], [243300, 0.9156908665105387, 553], [255746, 0.9133489461358314, 552], [260462, 0.8805620608899297, 551], [253082, 0.8735362997658079, 550], [245878, 0.8290398126463701, 549], [255717, 0.8231850117096019, 548], [246738, 0.8056206088992974, 547], [253152, 0.8044496487119438, 546], [247579, 0.7962529274004684, 545], [257517, 0.7728337236533958, 544], [246784, 0.765807962529274, 543], [252355, 0.7611241217798594, 542], [255886, 0.7505854800936768, 541], [253073, 0.747072599531616, 540], [246408, 0.7271662763466042, 539], [254418, 0.7072599531615925, 538], [255315, 0.7002341920374707, 537], [244542, 0.6920374707259953, 536], [257657, 0.6908665105386417, 535], [255990, 0.6768149882903981, 534], [245994, 0.6768149882903981, 533], [256598, 0.6662763466042154, 532], [252783, 0.6615925058548009, 531], [40545, 0.6615925058548009, 530], [258036, 0.6498829039812647, 529], [247759, 0.6487119437939111, 528], [246014, 0.6475409836065574, 527], [244832, 0.6416861826697893, 526], [245566, 0.6405152224824356, 525], [252279, 0.6370023419203747, 524], [245573, 0.6334894613583139, 523], [247435, 0.6323185011709602, 522], [40551, 0.6323185011709602, 521], [252943, 0.6311475409836066, 520], [255714, 0.6217798594847775, 519], [257307, 0.6217798594847775, 518], [255716, 0.6112412177985949, 517], [260878, 0.6018735362997658, 516], [251861, 0.6018735362997658, 515], [245562, 0.594847775175644, 514], [252406, 0.5936768149882904, 513], [244574, 0.5889929742388759, 512], [246001, 0.5807962529274004, 511], [252488, 0.5714285714285714, 510], [245574, 0.5679156908665105, 509], [260762, 0.5679156908665105, 508], [257230, 0.5667447306791569, 507], [252318, 0.5573770491803278, 506], [261015, 0.5562060889929742, 505], [261324, 0.5515222482435597, 504], [253022, 0.544496487119438, 503], [278669, 0.5398126463700235, 502], [252347, 0.5339578454332553, 501], [264504, 0.531615925058548, 500], [245560, 0.5304449648711944, 499], [245568, 0.5292740046838408, 498], [255479, 0.5292740046838408, 497], [259222, 0.522248243559719, 496], [252308, 0.5210772833723654, 495], [252409, 0.5199063231850117, 494], [252747, 0.5163934426229508, 493], [255267, 0.5163934426229508, 492], [255878, 0.509367681498829, 491], [245577, 0.5081967213114754, 490], [253258, 0.5070257611241218, 489], [256249, 0.5046838407494145, 488], [258043, 0.5046838407494145, 487], [255928, 0.5023419203747073, 486], [256784, 0.5, 485], [250726, 0.4929742388758782, 484], [257010, 0.4929742388758782, 483], [253350, 0.4859484777517564, 482], [252452, 0.4812646370023419, 481], [245563, 0.477751756440281, 480], [40550, 0.477751756440281, 479], [263181, 0.47540983606557374, 478], [259151, 0.47423887587822017, 477], [252702, 0.47423887587822017, 476], [256684, 0.46955503512880564, 475], [246426, 0.468384074941452, 474], [253128, 0.4672131147540984, 473], [244575, 0.46604215456674475, 472], [256879, 0.4648711943793911, 471], [253862, 0.4648711943793911, 470], [257741, 0.4648711943793911, 469], [245580, 0.4648711943793911, 468], [258025, 0.4637002341920375, 467], [273217, 0.4637002341920375, 466], [263632, 0.46252927400468385, 465], [252708, 0.4613583138173302, 464], [247107, 0.4601873536299766, 463], [262752, 0.4601873536299766, 462], [257816, 0.4601873536299766, 461], [259231, 0.45784543325526933, 460], [260980, 0.45784543325526933, 459], [257946, 0.4566744730679157, 458], [118561, 0.4566744730679157, 457], [253664, 0.45433255269320844, 456], [256995, 0.4531615925058548, 455], [251880, 0.4519906323185012, 454], [258390, 0.4519906323185012, 453], [245043, 0.4519906323185012, 452], [256963, 0.45081967213114754, 451], [255898, 0.45081967213114754, 450], [253414, 0.45081967213114754, 449], [253842, 0.4496487119437939, 448], [255490, 0.4484777517564403, 447], [245265, 0.4484777517564403, 446], [256961, 0.44730679156908665, 445], [246745, 0.446135831381733, 444], [254035, 0.4449648711943794, 443], [244835, 0.4414519906323185, 442], [279640, 0.4414519906323185, 441], [245773, 0.44028103044496486, 440], [245569, 0.44028103044496486, 439], [246037, 0.44028103044496486, 438], [253211, 0.43911007025761123, 437], [252236, 0.43911007025761123, 436], [246406, 0.4379391100702576, 435], [253084, 0.4379391100702576, 434], [260632, 0.4379391100702576, 433], [245582, 0.43676814988290397, 432], [260711, 0.43559718969555034, 431], [245565, 0.43559718969555034, 430], [245572, 0.43559718969555034, 429], [255350, 0.43559718969555034, 428], [246789, 0.4332552693208431, 427], [252791, 0.4332552693208431, 426], [259358, 0.4332552693208431, 425], [257505, 0.4332552693208431, 424], [253256, 0.43208430913348944, 423], [253174, 0.43208430913348944, 422], [257546, 0.4309133489461358, 421], [257992, 0.4309133489461358, 420], [247140, 0.4297423887587822, 419], [252043, 0.42857142857142855, 418], [254109, 0.4274004683840749, 417], [255592, 0.4274004683840749, 416], [257756, 0.4262295081967213, 415], [247439, 0.42271662763466045, 414], [260190, 0.42271662763466045, 413], [254250, 0.4215456674473068, 412], [252659, 0.4203747072599532, 411], [264498, 0.41920374707259955, 410], [257508, 0.41920374707259955, 409], [255509, 0.41920374707259955, 408], [257488, 0.41920374707259955, 407], [253130, 0.4180327868852459, 406], [259181, 0.4168618266978923, 405], [246004, 0.4168618266978923, 404], [249513, 0.41569086651053866, 403], [253222, 0.41569086651053866, 402], [253479, 0.41569086651053866, 401], [259359, 0.41569086651053866, 400], [257903, 0.41451990632318503, 399], [262748, 0.41217798594847777, 398], [259263, 0.41100702576112413, 397], [255858, 0.4098360655737705, 396], [205409, 0.40866510538641687, 395], [262375, 0.40749414519906324, 394], [257246, 0.40749414519906324, 393], [255517, 0.40749414519906324, 392], [251858, 0.40749414519906324, 391], [246416, 0.40749414519906324, 390], [264031, 0.4063231850117096, 389], [255743, 0.4063231850117096, 388], [256411, 0.405152224824356, 387], [247497, 0.4028103044496487, 386], [256947, 0.3992974238875878, 385], [252920, 0.3981264637002342, 384], [256244, 0.3957845433255269, 383], [255574, 0.3957845433255269, 382], [253089, 0.3946135831381733, 381], [258035, 0.3946135831381733, 380], [255736, 0.39344262295081966, 379], [255609, 0.39344262295081966, 378], [246005, 0.3911007025761124, 377], [256158, 0.3911007025761124, 376], [258407, 0.3875878220140515, 375], [245559, 0.38524590163934425, 374], [255515, 0.3840749414519906, 373], [258533, 0.373536299765808, 372], [247433, 0.373536299765808, 371], [271037, 0.37236533957845436, 370], [246917, 0.3711943793911007, 369], [246739, 0.36885245901639346, 368], [246020, 0.36885245901639346, 367], [246015, 0.36768149882903983, 366], [277795, 0.36768149882903983, 365], [258299, 0.3665105386416862, 364], [259771, 0.36533957845433257, 363], [246016, 0.36416861826697894, 362], [255823, 0.3618266978922717, 361], [245760, 0.3594847775175644, 360], [247162, 0.3583138173302108, 359], [257579, 0.3583138173302108, 358], [253027, 0.35714285714285715, 357], [246403, 0.35714285714285715, 356], [246009, 0.3559718969555035, 355], [257846, 0.3524590163934426, 354], [246457, 0.3524590163934426, 353], [275957, 0.34894613583138173, 352], [257525, 0.3477751756440281, 351], [251272, 0.34543325526932084, 350], [252897, 0.34543325526932084, 349], [255325, 0.3442622950819672, 348], [257448, 0.3442622950819672, 347], [252326, 0.3430913348946136, 346], [246112, 0.3430913348946136, 345], [253323, 0.3372365339578454, 344], [253507, 0.3337236533957845, 343], [255731, 0.3325526932084309, 342], [272807, 0.33021077283372363, 341], [272619, 0.32903981264637, 340], [254826, 0.32786885245901637, 339], [260185, 0.32786885245901637, 338], [252973, 0.32669789227166274, 337], [254959, 0.32435597189695553, 336], [260626, 0.3231850117096019, 335], [252945, 0.32201405152224827, 334], [264033, 0.32084309133489464, 333], [253143, 0.3185011709601874, 332], [253813, 0.3185011709601874, 331], [256986, 0.31733021077283374, 330], [255584, 0.31733021077283374, 329], [252343, 0.3161592505854801, 328], [258311, 0.3161592505854801, 327], [252315, 0.3149882903981265, 326], [259074, 0.3149882903981265, 325], [257452, 0.31381733021077285, 324], [253342, 0.31381733021077285, 323], [253194, 0.3126463700234192, 322], [258538, 0.3079625292740047, 321], [246007, 0.3079625292740047, 320], [246422, 0.3044496487119438, 319], [253321, 0.2997658079625293, 318], [260954, 0.29859484777517564, 317], [247295, 0.297423887587822, 316], [247972, 0.297423887587822, 315], [255974, 0.29508196721311475, 314], [246019, 0.29508196721311475, 313], [248154, 0.2939110070257611, 312], [258527, 0.29156908665105385, 311], [257515, 0.28805620608899296, 310], [206952, 0.28805620608899296, 309], [258376, 0.28805620608899296, 308], [256841, 0.2857142857142857, 307], [246743, 0.2822014051522248, 306], [251700, 0.2786885245901639, 305], [246792, 0.27634660421545665, 304], [253291, 0.275175644028103, 303], [257648, 0.27400468384074944, 302], [253012, 0.2728337236533958, 301], [255817, 0.2728337236533958, 300], [252098, 0.2728337236533958, 299], [255373, 0.2728337236533958, 298], [260060, 0.27049180327868855, 297], [247588, 0.2693208430913349, 296], [256026, 0.2693208430913349, 295], [254583, 0.265807962529274, 294], [246024, 0.265807962529274, 293], [261976, 0.2646370023419204, 292], [247189, 0.26229508196721313, 291], [247437, 0.26229508196721313, 290], [246417, 0.25995316159250587, 289], [260188, 0.25878220140515223, 288], [206733, 0.25644028103044497, 287], [253448, 0.25644028103044497, 286], [246847, 0.2529274004683841, 285], [278607, 0.2529274004683841, 284], [255720, 0.24941451990632318, 283], [246748, 0.24824355971896955, 282], [252957, 0.2459016393442623, 281], [257549, 0.2423887587822014, 280], [247494, 0.24004683840749413, 279], [257528, 0.2388758782201405, 278], [255765, 0.2388758782201405, 277], [270755, 0.23770491803278687, 276], [252925, 0.23653395784543327, 275], [252471, 0.234192037470726, 274], [206730, 0.23185011709601874, 273], [259142, 0.22950819672131148, 272], [258026, 0.2259953161592506, 271], [252302, 0.2259953161592506, 270], [246830, 0.2259953161592506, 269], [257491, 0.22482435597189696, 268], [246737, 0.22131147540983606, 267], [246012, 0.22014051522248243, 266], [256580, 0.21311475409836064, 265], [252964, 0.2107728337236534, 264], [255485, 0.2107728337236534, 263], [271449, 0.20960187353629978, 262], [247767, 0.20843091334894615, 261], [257496, 0.20608899297423888, 260], [246402, 0.202576112412178, 259], [247238, 0.20140515222482436, 258], [246420, 0.20140515222482436, 257], [252720, 0.1990632318501171, 256], [255694, 0.19789227166276346, 255], [257038, 0.1955503512880562, 254], [278779, 0.19320843091334894, 253], [247294, 0.1920374707259953, 252], [252739, 0.18969555035128804, 251], [247804, 0.1885245901639344, 250], [247175, 0.1873536299765808, 249], [257561, 0.18618266978922718, 248], [264281, 0.18501170960187355, 247], [255825, 0.18384074941451992, 246], [254774, 0.18384074941451992, 245], [256953, 0.18032786885245902, 244], [254169, 0.18032786885245902, 243], [255131, 0.17447306791569087, 242], [272388, 0.17330210772833723, 241], [257205, 0.17330210772833723, 240], [247198, 0.16744730679156908, 239], [247431, 0.16393442622950818, 238], [257532, 0.16393442622950818, 237], [255301, 0.16276346604215455, 236], [206226, 0.16159250585480095, 235], [253780, 0.16159250585480095, 234], [252706, 0.16042154566744732, 233], [258540, 0.15690866510538642, 232], [246039, 0.15690866510538642, 231], [257811, 0.15105386416861827, 230], [252334, 0.148711943793911, 229], [249072, 0.14754098360655737, 228], [255252, 0.14754098360655737, 227], [253058, 0.14754098360655737, 226], [246783, 0.14402810304449648, 225], [40552, 0.14285714285714285, 224], [244568, 0.14168618266978922, 223], [260732, 0.1405152224824356, 222], [252912, 0.13934426229508196, 221], [246483, 0.13817330210772832, 220], [256836, 0.1358313817330211, 219], [263354, 0.12997658079625293, 218], [255590, 0.12412177985948478, 217], [251770, 0.12412177985948478, 216], [253292, 0.12177985948477751, 215], [255568, 0.11475409836065574, 214], [254054, 0.11358313817330211, 213], [251740, 0.11124121779859485, 212], [255338, 0.11007025761124122, 211], [254172, 0.10421545667447307, 210], [258947, 0.10304449648711944, 209], [263000, 0.09836065573770492, 208], [256299, 0.09836065573770492, 207], [254215, 0.09718969555035128, 206], [257535, 0.09484777517564402, 205], [247691, 0.0936768149882904, 204], [246754, 0.0936768149882904, 203], [267423, 0.09133489461358314, 202], [256962, 0.09016393442622951, 201], [256901, 0.08782201405152225, 200], [252466, 0.08430913348946135, 199], [262653, 0.08313817330210772, 198], [252944, 0.08079625292740047, 197], [262027, 0.08079625292740047, 196], [253588, 0.07728337236533958, 195], [256172, 0.07377049180327869, 194], [270527, 0.07259953161592506, 193], [255615, 0.07259953161592506, 192], [254791, 0.07142857142857142, 191], [278489, 0.0702576112412178, 190], [252653, 0.06908665105386416, 189], [279081, 0.06791569086651054, 188], [246424, 0.06791569086651054, 187], [258539, 0.06323185011709602, 186], [253023, 0.05620608899297424, 185], [278133, 0.05503512880562061, 184], [253746, 0.05152224824355972, 183], [254923, 0.04918032786885246, 182], [255326, 0.04918032786885246, 181], [258136, 0.04918032786885246, 180], [253053, 0.0468384074941452, 179], [247730, 0.0468384074941452, 178], [251573, 0.04332552693208431, 177], [263367, 0.040983606557377046, 176], [259355, 0.03981264637002342, 175], [245584, 0.03864168618266979, 174], [254324, 0.03864168618266979, 173], [272390, 0.03864168618266979, 172], [252730, 0.03747072599531616, 171], [246716, 0.03629976580796253, 170], [255756, 0.03395784543325527, 169], [262997, 0.03044496487119438, 168], [253792, 0.03044496487119438, 167], [256938, 0.02927400468384075, 166], [252293, 0.026932084309133488, 165], [256906, 0.02576112412177986, 164], [262279, 0.02576112412177986, 163], [261038, 0.02459016393442623, 162], [247959, 0.0234192037470726, 161], [258382, 0.02224824355971897, 160], [255226, 0.02224824355971897, 159], [252729, 0.02224824355971897, 158], [253250, 0.02107728337236534, 157], [246010, 0.02107728337236534, 156], [258526, 0.01990632318501171, 155], [255745, 0.01873536299765808, 154], [252937, 0.01873536299765808, 153], [252464, 0.01873536299765808, 152], [257059, 0.01873536299765808, 151], [272387, 0.01873536299765808, 150], [252213, 0.01873536299765808, 149], [254760, 0.01873536299765808, 148], [249818, 0.01873536299765808, 147], [263565, 0.01873536299765808, 146], [247686, 0.01873536299765808, 145], [246031, 0.01873536299765808, 144], [257457, 0.01873536299765808, 143], [261877, 0.01873536299765808, 142], [278773, 0.01873536299765808, 141], [247568, 0.01873536299765808, 140], [249081, 0.01873536299765808, 139], [252275, 0.01873536299765808, 138], [277426, 0.01873536299765808, 137], [262654, 0.01873536299765808, 136], [272916, 0.01873536299765808, 135], [259772, 0.01873536299765808, 134], [247453, 0.01873536299765808, 133], [246418, 0.01873536299765808, 132], [252756, 0.01873536299765808, 131], [254281, 0.01873536299765808, 130], [257390, 0.01756440281030445, 129], [251911, 0.01639344262295082, 128], [260437, 0.01639344262295082, 127], [262482, 0.01522248243559719, 126], [252939, 0.01522248243559719, 125], [247434, 0.01522248243559719, 124], [252952, 0.01522248243559719, 123], [252954, 0.01522248243559719, 122], [252962, 0.01522248243559719, 121], [253015, 0.01522248243559719, 120], [259266, 0.01522248243559719, 119], [253064, 0.01522248243559719, 118], [253070, 0.01522248243559719, 117], [259223, 0.01522248243559719, 116], [259174, 0.01522248243559719, 115], [262749, 0.01522248243559719, 114], [253100, 0.01522248243559719, 113], [258948, 0.01522248243559719, 112], [253132, 0.01522248243559719, 111], [258874, 0.01522248243559719, 110], [262782, 0.01522248243559719, 109], [253275, 0.01522248243559719, 108], [253322, 0.01522248243559719, 107], [253344, 0.01522248243559719, 106], [258532, 0.01522248243559719, 105], [253505, 0.01522248243559719, 104], [253515, 0.01522248243559719, 103], [263316, 0.01522248243559719, 102], [253686, 0.01522248243559719, 101], [246622, 0.01522248243559719, 100], [253731, 0.01522248243559719, 99], [253883, 0.01522248243559719, 98], [253998, 0.01522248243559719, 97], [258342, 0.01522248243559719, 96], [246419, 0.01522248243559719, 95], [254207, 0.01522248243559719, 94], [246411, 0.01522248243559719, 93], [246409, 0.01522248243559719, 92], [263473, 0.01522248243559719, 91], [263555, 0.01522248243559719, 90], [254285, 0.01522248243559719, 89], [254471, 0.01522248243559719, 88], [254784, 0.01522248243559719, 87], [246033, 0.01522248243559719, 86], [246030, 0.01522248243559719, 85], [254917, 0.01522248243559719, 84], [255176, 0.01522248243559719, 83], [258037, 0.01522248243559719, 82], [255346, 0.01522248243559719, 81], [255351, 0.01522248243559719, 80], [255352, 0.01522248243559719, 79], [255355, 0.01522248243559719, 78], [258034, 0.01522248243559719, 77], [255483, 0.01522248243559719, 76], [257938, 0.01522248243559719, 75], [255524, 0.01522248243559719, 74], [255641, 0.01522248243559719, 73], [255668, 0.01522248243559719, 72], [255672, 0.01522248243559719, 71], [245962, 0.01522248243559719, 70], [269057, 0.01522248243559719, 69], [255688, 0.01522248243559719, 68], [260735, 0.01522248243559719, 67], [260736, 0.01522248243559719, 66], [260779, 0.01522248243559719, 65], [252356, 0.01522248243559719, 64], [252424, 0.01522248243559719, 63], [261039, 0.01522248243559719, 62], [252426, 0.01522248243559719, 61], [252487, 0.01522248243559719, 60], [252534, 0.01522248243559719, 59], [251406, 0.01522248243559719, 58], [260058, 0.01522248243559719, 57], [250827, 0.01522248243559719, 56], [261176, 0.01522248243559719, 55], [250142, 0.01522248243559719, 54], [250124, 0.01522248243559719, 53], [252665, 0.01522248243559719, 52], [259980, 0.01522248243559719, 51], [252709, 0.01522248243559719, 50], [259768, 0.01522248243559719, 49], [252786, 0.01522248243559719, 48], [259357, 0.01522248243559719, 47], [252804, 0.01522248243559719, 46], [252867, 0.01522248243559719, 45], [252909, 0.01522248243559719, 44], [252924, 0.01522248243559719, 43], [247512, 0.01522248243559719, 42], [252926, 0.01522248243559719, 41], [247496, 0.01522248243559719, 40], [252935, 0.01522248243559719, 39], [257523, 0.01522248243559719, 38], [244541, 0.01522248243559719, 37], [256929, 0.01522248243559719, 36], [256934, 0.01522248243559719, 35], [257011, 0.01522248243559719, 34], [257031, 0.01522248243559719, 33], [257332, 0.01522248243559719, 32], [257080, 0.01522248243559719, 31], [260493, 0.01522248243559719, 30], [255766, 0.01522248243559719, 29], [245581, 0.01522248243559719, 28], [270804, 0.01522248243559719, 27], [255832, 0.01522248243559719, 26], [255853, 0.01522248243559719, 25], [271550, 0.01522248243559719, 24], [272084, 0.01522248243559719, 23], [257547, 0.01522248243559719, 22], [257545, 0.01522248243559719, 21], [272472, 0.01522248243559719, 20], [256033, 0.01522248243559719, 19], [272641, 0.01522248243559719, 18], [256263, 0.01522248243559719, 17], [273218, 0.01522248243559719, 16], [256298, 0.01522248243559719, 15], [273357, 0.01522248243559719, 14], [256454, 0.01522248243559719, 13], [276925, 0.01522248243559719, 12], [277427, 0.01522248243559719, 11], [256557, 0.01522248243559719, 10], [253932, 0.0117096018735363, 9], [256895, 0.0117096018735363, 8], [253829, 0.00936768149882904, 7], [252641, 0.00819672131147541, 6], [246404, 0.00702576112412178, 5], [246742, 0.00585480093676815, 4], [257724, 0.00351288056206089, 3], [251662, 0.00117096018735363, 2], [258621, 0.0, 1]]