{1, 8917463, 8917523, 8917663}
{2, 17051687, 17051707, 17051887}
{3, 24662369, 24662467, 24662569}
{4, 25173437, 25173593, 25173637}
{5, 27001043, 27001199, 27001243}
{6, 37757567, 37757639, 37757767}
{7, 38089277, 38089453, 38089477}
{8, 42629021, 42629173, 42629221}
{9, 44310767, 44310817, 44310967}
{10, 67142081, 67142137, 67142281}
{11, 67816457, 67816601, 67816657}
{12, 76317581, 76317653, 76317781}
{13, 80517539, 80517691, 80517739}
{14, 82771991, 82772143, 82772191}
{15, 82843637, 82843753, 82843837}
{16, 83929661, 83929789, 83929861}
{17, 84980639, 84980743, 84980839}
{18, 90007217, 90007363, 90007417}
{19, 94905131, 94905269, 94905331}
{20, 99099743, 99099773, 99099943}
{21, 99524081, 99524219, 99524281}
{22, 117813263, 117813307, 117813463}
{23, 119401409, 119401577, 119401609}
{24, 129163409, 129163457, 129163609}
{25, 147426683, 147426791, 147426883}
{26, 162159773, 162159887, 162159973}
{27, 163156397, 163156447, 163156597}
{28, 170614463, 170614573, 170614663}
{29, 176805323, 176805427, 176805523}
{30, 177019901, 177020047, 177020101}
{31, 178937399, 178937581, 178937599}
{32, 180128327, 180128477, 180128527}
{33, 183036257, 183036281, 183036457}
{34, 186692399, 186692543, 186692599}
{35, 191389073, 191389207, 191389273}
{36, 191554169, 191554267, 191554369}
{37, 191935769, 191935963, 191935969}
{38, 195835469, 195835517, 195835669}
{39, 202950929, 202951121, 202951129}
{40, 207279251, 207279433, 207279451}
{41, 209233217, 209233363, 209233417}
{42, 210117689, 210117727, 210117889}
{43, 210287249, 210287359, 210287449}
{44, 210711437, 210711521, 210711637}
{45, 211365047, 211365163, 211365247}
{46, 212088353, 212088439, 212088553}
{47, 215388401, 215388533, 215388601}
{48, 218587133, 218587279, 218587333}
{49, 230571353, 230571379, 230571553}
{50, 230911913, 230912051, 230912113}
{51, 237323531, 237323551, 237323731}
{52, 242680943, 242681111, 242681143}
{53, 244883363, 244883383, 244883563}
{54, 251466317, 251466359, 251466517}
{55, 251881457, 251881547, 251881657}
{56, 261661649, 261661721, 261661849}
{57, 261809351, 261809363, 261809551}
{58, 261809363, 261809551, 261809563}
{59, 263554517, 263554549, 263554717}
{60, 268802267, 268802371, 268802467}
{61, 268835561, 268835669, 268835761}
{62, 270898391, 270898513, 270898591}
{63, 271346573, 271346681, 271346773}
{64, 273741077, 273741173, 273741277}
{65, 276254729, 276254731, 276254929}
{66, 280358171, 280358219, 280358371}
{67, 281576063, 281576149, 281576263}
{68, 282082121, 282082187, 282082321}
{69, 284917799, 284917921, 284917999}
{70, 287909753, 287909759, 287909953}
{71, 288177467, 288177517, 288177667}
{72, 294386951, 294386971, 294387151}
{73, 294694619, 294694783, 294694819}
{74, 294775097, 294775181, 294775297}
{75, 295177079, 295177229, 295177279}
{76, 300374339, 300374423, 300374539}
{77, 303086981, 303087157, 303087181}
{78, 305264741, 305264909, 305264941}
{79, 306563969, 306564103, 306564169}
{80, 310495439, 310495553, 310495639}
{81, 311598557, 311598739, 311598757}
{82, 312680603, 312680713, 312680803}
{83, 313818209, 313818299, 313818409}
{84, 315659909, 315660101, 315660109}
{85, 316546427, 316546429, 316546627}
{86, 316710941, 316711033, 316711141}
{87, 320954171, 320954369, 320954371}
{88, 333851267, 333851429, 333851467}
{89, 335651747, 335651783, 335651947}
{90, 336881249, 336881341, 336881449}
{91, 339530777, 339530797, 339530977}
{92, 346958537, 346958597, 346958737}
{93, 347268941, 347268959, 347269141}
{94, 348096977, 348097027, 348097177}
{95, 354188279, 354188449, 354188479}
{96, 356560349, 356560489, 356560549}
{97, 356604959, 356605157, 356605159}
{98, 358266773, 358266827, 358266973}
{99, 361032137, 361032313, 361032337}
{100, 361703333, 361703479, 361703533}
{101, 361732289, 361732309, 361732489}
{102, 362550407, 362550479, 362550607}
{103, 362889641, 362889763, 362889841}
{104, 363826049, 363826063, 363826249}
{105, 363914909, 363914917, 363915109}
{106, 364435187, 364435339, 364435387}
{107, 365582837, 365582881, 365583037}
{108, 371903711, 371903771, 371903911}
{109, 373586627, 373586639, 373586827}
{110, 374756771, 374756819, 374756971}
{111, 381908753, 381908897, 381908953}
{112, 383981747, 383981749, 383981947}
{113, 384648269, 384648301, 384648469}
{114, 385422977, 385423009, 385423177}
{115, 389250149, 389250289, 389250349}
{116, 396275279, 396275417, 396275479}
{117, 399110801, 399110911, 399111001}
{118, 400022243, 400022309, 400022443}
{119, 400284413, 400284559, 400284613}
{120, 401167937, 401168011, 401168137}
{121, 403183367, 403183423, 403183567}
{122, 406059239, 406059413, 406059439}
{123, 408388073, 408388199, 408388273}
{124, 408853901, 408853969, 408854101}
{125, 411363107, 411363233, 411363307}
{126, 414378407, 414378529, 414378607}
{127, 414833561, 414833701, 414833761}
{128, 415692059, 415692139, 415692259}
{129, 417856997, 417857171, 417857197}
{130, 421639523, 421639663, 421639723}
{131, 423833591, 423833699, 423833791}
{132, 427618193, 427618343, 427618393}
{133, 428133449, 428133527, 428133649}
{134, 428454713, 428454737, 428454913}
{135, 431303903, 431304017, 431304103}
{136, 433975673, 433975699, 433975873}
{137, 436025339, 436025431, 436025539}
{138, 437863337, 437863471, 437863537}
{139, 438806789, 438806897, 438806989}
{140, 440396843, 440396993, 440397043}
{141, 441115019, 441115033, 441115219}
{142, 444904919, 444905033, 444905119}
{143, 447224363, 447224431, 447224563}
{144, 449086541, 449086619, 449086741}
{145, 449257139, 449257297, 449257339}
{146, 449738207, 449738329, 449738407}
{147, 452446103, 452446207, 452446303}
{148, 453682181, 453682253, 453682381}
{149, 455053523, 455053579, 455053723}
{150, 456819221, 456819371, 456819421}
{151, 458609111, 458609267, 458609311}
{152, 459599183, 459599219, 459599383}
{153, 462670781, 462670907, 462670981}
{154, 463741583, 463741769, 463741783}
{155, 465967223, 465967247, 465967423}
{156, 466438103, 466438139, 466438303}
{157, 468325283, 468325399, 468325483}
{158, 468484433, 468484477, 468484633}
{159, 469740839, 469740871, 469741039}
{160, 474088049, 474088193, 474088249}
{161, 474921749, 474921833, 474921949}
{162, 476601473, 476601581, 476601673}
{163, 478526627, 478526683, 478526827}
{164, 479890157, 479890217, 479890357}
{165, 480317567, 480317759, 480317767}
{166, 480446933, 480447101, 480447133}
{167, 481144463, 481144571, 481144663}
{168, 482283839, 482284013, 482284039}
{169, 487031291, 487031309, 487031491}
{170, 487353731, 487353887, 487353931}
{171, 490855307, 490855483, 490855507}
{172, 492364583, 492364637, 492364783}
{173, 500117351, 500117393, 500117551}
{174, 500309759, 500309809, 500309959}
{175, 502322339, 502322407, 502322539}
{176, 503290127, 503290309, 503290327}
{177, 503610977, 503611127, 503611177}
{178, 505296401, 505296599, 505296601}
{179, 509941853, 509941981, 509942053}
{180, 511114007, 511114111, 511114207}
{181, 512878013, 512878073, 512878213}
{182, 521062721, 521062813, 521062921}
{183, 522216689, 522216701, 522216889}
{184, 531690473, 531690491, 531690673}
{185, 536685923, 536686069, 536686123}
{186, 537803723, 537803767, 537803923}
{187, 537919439, 537919441, 537919639}
{188, 538781513, 538781597, 538781713}
{189, 540578777, 540578953, 540578977}
{190, 541417451, 541417589, 541417651}
{191, 542381687, 542381831, 542381887}
{192, 542664137, 542664281, 542664337}
{193, 542864579, 542864771, 542864779}
{194, 547343579, 547343639, 547343779}
{195, 548856491, 548856593, 548856691}
{196, 556642871, 556642979, 556643071}
{197, 556813199, 556813247, 556813399}
{198, 558339251, 558339437, 558339451}
{199, 559305623, 559305737, 559305823}
{200, 561608483, 561608599, 561608683}
{201, 564614681, 564614759, 564614881}
{202, 564841349, 564841523, 564841549}
{203, 568083317, 568083361, 568083517}
{204, 571575941, 571576079, 571576141}
{205, 574631969, 574632061, 574632169}
{206, 576707231, 576707317, 576707431}
{207, 577287047, 577287167, 577287247}
{208, 580124981, 580125047, 580125181}
{209, 581707307, 581707487, 581707507}
{210, 583541897, 583542007, 583542097}
{211, 586420589, 586420613, 586420789}
{212, 588071927, 588071933, 588072127}
{213, 589482731, 589482827, 589482931}
{214, 589663643, 589663729, 589663843}
{215, 589670867, 589671001, 589671067}
{216, 592624139, 592624243, 592624339}
{217, 597645011, 597645077, 597645211}
{218, 598246301, 598246367, 598246501}
{219, 598392281, 598392407, 598392481}
{220, 598653281, 598653343, 598653481}
{221, 599210351, 599210483, 599210551}
{222, 601409639, 601409693, 601409839}
{223, 603455189, 603455317, 603455389}
{224, 604849901, 604849961, 604850101}
{225, 607115633, 607115777, 607115833}
{226, 609373601, 609373763, 609373801}
{227, 613562837, 613562923, 613563037}
{228, 616886201, 616886317, 616886401}
{229, 617063873, 617063947, 617064073}
{230, 619066181, 619066223, 619066381}
{231, 621518693, 621518791, 621518893}
{232, 622736771, 622736813, 622736971}
{233, 623782361, 623782463, 623782561}
{234, 626705039, 626705117, 626705239}
{235, 629533739, 629533921, 629533939}
{236, 629981951, 629982019, 629982151}
{237, 632408849, 632408981, 632409049}
{238, 632429537, 632429713, 632429737}
{239, 632926319, 632926391, 632926519}
{240, 633017747, 633017837, 633017947}
{241, 637224257, 637224271, 637224457}
{242, 637975301, 637975411, 637975501}
{243, 638297069, 638297237, 638297269}
{244, 640724333, 640724503, 640724533}
{245, 642257153, 642257219, 642257353}
{246, 643155221, 643155239, 643155421}
{247, 645824099, 645824143, 645824299}
{248, 646913807, 646913999, 646914007}
{249, 650565389, 650565569, 650565589}
{250, 651669881, 651670007, 651670081}
{251, 653027807, 653027957, 653028007}
{252, 653679083, 653679109, 653679283}
{253, 656020793, 656020921, 656020993}
{254, 656719067, 656719127, 656719267}
{255, 657592829, 657592877, 657593029}
{256, 659407949, 659408089, 659408149}
{257, 659416067, 659416103, 659416267}
{258, 659533583, 659533591, 659533783}
{259, 661716413, 661716527, 661716613}
{260, 661917941, 661918051, 661918141}
{261, 662950073, 662950243, 662950273}
{262, 667650029, 667650227, 667650229}
{263, 671733047, 671733109, 671733247}
{264, 672418727, 672418909, 672418927}
{265, 678701129, 678701161, 678701329}
{266, 679356563, 679356569, 679356763}
{267, 680430533, 680430719, 680430733}
{268, 680677307, 680677427, 680677507}
{269, 682180571, 682180643, 682180771}
{270, 685316981, 685317029, 685317181}
{271, 686977397, 686977579, 686977597}
{272, 688011143, 688011221, 688011343}
{273, 688812203, 688812359, 688812403}
{274, 689543423, 689543531, 689543623}
{275, 690802499, 690802661, 690802699}
{276, 696509711, 696509833, 696509911}
{277, 696773123, 696773153, 696773323}
{278, 698449463, 698449627, 698449663}
{279, 700475729, 700475873, 700475929}
{280, 701172431, 701172481, 701172631}
{281, 701419193, 701419283, 701419393}
{282, 703019063, 703019117, 703019263}
{283, 704089313, 704089427, 704089513}
{284, 706021367, 706021423, 706021567}
{285, 708056267, 708056351, 708056467}
{286, 708188651, 708188659, 708188851}
{287, 708802823, 708802921, 708803023}
{288, 713677241, 713677417, 713677441}
{289, 714664733, 714664871, 714664933}
{290, 715656101, 715656251, 715656301}
{291, 717031613, 717031631, 717031813}
{292, 718673783, 718673909, 718673983}
{293, 725710211, 725710303, 725710411}
{294, 727746623, 727746737, 727746823}
{295, 728680037, 728680213, 728680237}
{296, 732979193, 732979319, 732979393}
{297, 734709257, 734709341, 734709457}
{298, 735385691, 735385873, 735385891}
{299, 737512361, 737512499, 737512561}
{300, 737647679, 737647847, 737647879}
{301, 737852303, 737852459, 737852503}
{302, 737885411, 737885549, 737885611}
{303, 738857729, 738857909, 738857929}
{304, 739927523, 739927609, 739927723}
{305, 739999961, 740000117, 740000161}
{306, 740636243, 740636417, 740636443}
{307, 742928111, 742928191, 742928311}
{308, 743949953, 743950061, 743950153}
{309, 745806203, 745806247, 745806403}
{310, 747123029, 747123133, 747123229}
{311, 747194681, 747194879, 747194881}
{312, 747705701, 747705809, 747705901}
{313, 748499933, 748500113, 748500133}
{314, 748611737, 748611833, 748611937}
{315, 752006141, 752006161, 752006341}
{316, 752177627, 752177663, 752177827}
{317, 754204037, 754204123, 754204237}
{318, 756125267, 756125393, 756125467}
{319, 757271621, 757271761, 757271821}
{320, 758884013, 758884127, 758884213}
{321, 759040283, 759040297, 759040483}
{322, 760271051, 760271179, 760271251}
{323, 762030611, 762030679, 762030811}
{324, 762143639, 762143729, 762143839}
{325, 762779099, 762779249, 762779299}
{326, 763497569, 763497619, 763497769}
{327, 767499179, 767499241, 767499379}
{328, 770703953, 770704021, 770704153}
{329, 771161981, 771162013, 771162181}
{330, 774197321, 774197443, 774197521}
{331, 775242491, 775242497, 775242691}
{332, 777801263, 777801397, 777801463}
{333, 778211501, 778211531, 778211701}
{334, 780719609, 780719689, 780719809}
{335, 780847103, 780847157, 780847303}
{336, 781556417, 781556429, 781556617}
{337, 781951283, 781951459, 781951483}
{338, 784851671, 784851703, 784851871}
{339, 785339783, 785339963, 785339983}
{340, 788030213, 788030251, 788030413}
{341, 788325557, 788325749, 788325757}
{342, 792480989, 792481007, 792481189}
{343, 793517489, 793517677, 793517689}
{344, 794207171, 794207263, 794207371}
{345, 797285183, 797285297, 797285383}
{346, 801293687, 801293837, 801293887}
{347, 801703319, 801703337, 801703519}
{348, 804606269, 804606437, 804606469}
{349, 804731393, 804731531, 804731593}
{350, 806411327, 806411491, 806411527}
{351, 811954523, 811954589, 811954723}
{352, 811992221, 811992323, 811992421}
{353, 812329079, 812329129, 812329279}
{354, 812553341, 812553461, 812553541}
{355, 812751167, 812751259, 812751367}
{356, 814008071, 814008227, 814008271}
{357, 819067859, 819068009, 819068059}
{358, 821578841, 821578859, 821579041}
{359, 822749591, 822749671, 822749791}
{360, 825068393, 825068479, 825068593}
{361, 825523133, 825523271, 825523333}
{362, 830791259, 830791337, 830791459}
{363, 832735817, 832735993, 832736017}
{364, 833768651, 833768783, 833768851}
{365, 835342397, 835342483, 835342597}
{366, 836722109, 836722213, 836722309}
{367, 838390253, 838390403, 838390453}
{368, 838434797, 838434887, 838434997}
{369, 838479209, 838479211, 838479409}
{370, 838561037, 838561111, 838561237}
{371, 839067431, 839067553, 839067631}
{372, 839619983, 839620153, 839620183}
{373, 840371603, 840371617, 840371803}
{374, 843861803, 843861833, 843862003}
{375, 846245789, 846245899, 846245989}
{376, 848465777, 848465879, 848465977}
{377, 850393151, 850393217, 850393351}
{378, 850393217, 850393351, 850393417}
{379, 851044853, 851044889, 851045053}
{380, 853880123, 853880243, 853880323}
{381, 856231721, 856231829, 856231921}
{382, 856268729, 856268821, 856268929}
{383, 859356083, 859356203, 859356283}
{384, 861381401, 861381421, 861381601}
{385, 861970433, 861970519, 861970633}
{386, 862914557, 862914623, 862914757}
{387, 864329813, 864329957, 864330013}
{388, 866022719, 866022889, 866022919}
{389, 866182409, 866182579, 866182609}
{390, 866432447, 866432621, 866432647}
{391, 867508979, 867509057, 867509179}
{392, 868964549, 868964653, 868964749}
{393, 870741863, 870741943, 870742063}
{394, 871592003, 871592021, 871592203}
{395, 873518213, 873518411, 873518413}
{396, 874468061, 874468171, 874468261}
{397, 874658843, 874658999, 874659043}
{398, 875744687, 875744839, 875744887}
{399, 876543053, 876543211, 876543253}
{400, 876789533, 876789593, 876789733}
{401, 876912917, 876912923, 876913117}
{402, 877480979, 877481069, 877481179}
{403, 878687021, 878687039, 878687221}
{404, 880608083, 880608089, 880608283}
{405, 881430113, 881430307, 881430313}
{406, 881803997, 881804071, 881804197}
{407, 885072743, 885072889, 885072943}
{408, 888446147, 888446269, 888446347}
{409, 890405507, 890405641, 890405707}
{410, 890516969, 890517097, 890517169}
{411, 892369001, 892369199, 892369201}
{412, 893983109, 893983249, 893983309}
{413, 894660869, 894661013, 894661069}
{414, 896840177, 896840281, 896840377}
{415, 898946603, 898946641, 898946803}
{416, 900840113, 900840167, 900840313}
{417, 903886409, 903886573, 903886609}
{418, 906852059, 906852181, 906852259}
{419, 906934079, 906934267, 906934279}
{420, 907777757, 907777789, 907777957}
{421, 908796209, 908796373, 908796409}
{422, 909079799, 909079859, 909079999}
{423, 909093149, 909093161, 909093349}
{424, 909720281, 909720319, 909720481}
{425, 915392129, 915392141, 915392329}
{426, 926642291, 926642413, 926642491}
{427, 926795687, 926795819, 926795887}
{428, 928544723, 928544741, 928544923}
{429, 932610209, 932610257, 932610409}
{430, 932838713, 932838889, 932838913}
{431, 933401873, 933402013, 933402073}
{432, 934496201, 934496291, 934496401}
{433, 936226331, 936226409, 936226531}
{434, 938189111, 938189249, 938189311}
{435, 939123239, 939123413, 939123439}
{436, 939615563, 939615637, 939615763}
{437, 941620457, 941620619, 941620657}
{438, 941935493, 941935639, 941935693}
{439, 943538933, 943538987, 943539133}
{440, 943585943, 943586141, 943586143}
{441, 943974677, 943974697, 943974877}
{442, 945106373, 945106541, 945106573}
{443, 945494591, 945494639, 945494791}
{444, 945494639, 945494791, 945494839}
{445, 946391657, 946391669, 946391857}
{446, 946626449, 946626469, 946626649}
{447, 946990199, 946990307, 946990399}
{448, 949844039, 949844117, 949844239}
{449, 950686661, 950686837, 950686861}
{450, 955336313, 955336363, 955336513}
{451, 956494673, 956494727, 956494873}
{452, 957620537, 957620633, 957620737}
{453, 958206947, 958207013, 958207147}
{454, 959452673, 959452811, 959452873}
{455, 959700221, 959700311, 959700421}
{456, 961410683, 961410767, 961410883}
{457, 966143291, 966143411, 966143491}
{458, 966605117, 966605219, 966605317}
{459, 968906129, 968906291, 968906329}
{460, 969158273, 969158339, 969158473}
{461, 969320489, 969320629, 969320689}
{462, 969473363, 969473441, 969473563}
{463, 972099587, 972099619, 972099787}
{464, 972903317, 972903401, 972903517}
{465, 976201847, 976201921, 976202047}
{466, 979221371, 979221377, 979221571}
{467, 980033609, 980033729, 980033809}
{468, 981912959, 981913007, 981913159}
{469, 983668121, 983668253, 983668321}
{470, 988940993, 988941077, 988941193}
{471, 989485229, 989485381, 989485429}
{472, 989841011, 989841169, 989841211}
{473, 990430169, 990430321, 990430369}
{474, 990833297, 990833341, 990833497}
{475, 991328861, 991328951, 991329061}
{476, 991784291, 991784377, 991784491}
{477, 992492789, 992492957, 992492989}
{478, 994661543, 994661561, 994661743}
{479, 996104597, 996104779, 996104797}
{480, 997341881, 997341991, 997342081}
{481, 997477769, 997477883, 997477969}
{482, 998604311, 998604349, 998604511}
{483, 999273263, 999273347, 999273463}
{484, 1001729423, 1001729431, 1001729623}
{485, 1003126493, 1003126549, 1003126693}
{486, 1003426607, 1003426769, 1003426807}
{487, 1004801981, 1004802091, 1004802181}
{488, 1008223253, 1008223283, 1008223453}
{489, 1009689413, 1009689523, 1009689613}
{490, 1012385753, 1012385761, 1012385953}
{491, 1013102381, 1013102521, 1013102581}
{492, 1014829589, 1014829619, 1014829789}
{493, 1015031981, 1015032127, 1015032181}
{494, 1020612641, 1020612667, 1020612841}
{495, 1020728099, 1020728243, 1020728299}
{496, 1023585239, 1023585413, 1023585439}
{497, 1026309233, 1026309299, 1026309433}
{498, 1026312137, 1026312323, 1026312337}
{499, 1027529483, 1027529681, 1027529683}
{500, 1027909871, 1027909903, 1027910071}
{501, 1028666297, 1028666423, 1028666497}
{502, 1029674753, 1029674941, 1029674953}
{503, 1030971509, 1030971637, 1030971709}
{504, 1031371403, 1031371447, 1031371603}
{505, 1032997967, 1032997981, 1032998167}
{506, 1033631129, 1033631219, 1033631329}
{507, 1039918739, 1039918897, 1039918939}
{508, 1040946779, 1040946791, 1040946979}
{509, 1043310143, 1043310181, 1043310343}
{510, 1047044891, 1047044983, 1047045091}
{511, 1049137781, 1049137919, 1049137981}
{512, 1050764987, 1050765167, 1050765187}
{513, 1052722067, 1052722247, 1052722267}
{514, 1054424387, 1054424431, 1054424587}
{515, 1055990069, 1055990161, 1055990269}
{516, 1057364159, 1057364323, 1057364359}
{517, 1059122621, 1059122693, 1059122821}
{518, 1060050989, 1060050991, 1060051189}
{519, 1060947791, 1060947851, 1060947991}
{520, 1062174203, 1062174301, 1062174403}
{521, 1062722861, 1062723043, 1062723061}
{522, 1063662143, 1063662191, 1063662343}
{523, 1064008961, 1064009083, 1064009161}
{524, 1065399689, 1065399739, 1065399889}
{525, 1066634813, 1066634843, 1066635013}
{526, 1068540773, 1068540787, 1068540973}
{527, 1070113799, 1070113829, 1070113999}
{528, 1070146421, 1070146471, 1070146621}
{529, 1071485339, 1071485351, 1071485539}
{530, 1071544427, 1071544429, 1071544627}
{531, 1075704863, 1075704887, 1075705063}
{532, 1080540719, 1080540913, 1080540919}
{533, 1081214327, 1081214347, 1081214527}
{534, 1082078429, 1082078483, 1082078629}
{535, 1086329147, 1086329173, 1086329347}
{536, 1086417383, 1086417481, 1086417583}
{537, 1088803829, 1088803999, 1088804029}
{538, 1089262157, 1089262319, 1089262357}
{539, 1089634991, 1089635033, 1089635191}
{540, 1090882787, 1090882823, 1090882987}
{541, 1090967651, 1090967701, 1090967851}
{542, 1092561653, 1092561791, 1092561853}
{543, 1092727679, 1092727877, 1092727879}
{544, 1093744499, 1093744529, 1093744699}
{545, 1095531467, 1095531499, 1095531667}
{546, 1095896507, 1095896651, 1095896707}
{547, 1096632497, 1096632553, 1096632697}
{548, 1096664753, 1096664759, 1096664953}
{549, 1099839017, 1099839107, 1099839217}
{550, 1100105579, 1100105761, 1100105779}
{551, 1100428739, 1100428873, 1100428939}
{552, 1104206531, 1104206681, 1104206731}
{553, 1105214219, 1105214347, 1105214419}
{554, 1105800107, 1105800271, 1105800307}
{555, 1105939451, 1105939511, 1105939651}
{556, 1106635037, 1106635217, 1106635237}
{557, 1106859629, 1106859713, 1106859829}
{558, 1107790973, 1107791147, 1107791173}
{559, 1109148917, 1109148949, 1109149117}
{560, 1112903927, 1112903933, 1112904127}
{561, 1117438103, 1117438181, 1117438303}
{562, 1122850709, 1122850753, 1122850909}
{563, 1124584841, 1124584849, 1124585041}
{564, 1127547527, 1127547713, 1127547727}
{565, 1127747909, 1127748043, 1127748109}
{566, 1127760701, 1127760859, 1127760901}
{567, 1128059741, 1128059813, 1128059941}
{568, 1130051243, 1130051371, 1130051443}
{569, 1133400581, 1133400599, 1133400781}
{570, 1133764661, 1133764717, 1133764861}
{571, 1134777173, 1134777361, 1134777373}
{572, 1135480799, 1135480903, 1135480999}
{573, 1135907621, 1135907791, 1135907821}
{574, 1138589237, 1138589351, 1138589437}
{575, 1140352379, 1140352403, 1140352579}
{576, 1142337743, 1142337829, 1142337943}
{577, 1143608801, 1143608833, 1143609001}
{578, 1145340257, 1145340419, 1145340457}
{579, 1147533323, 1147533383, 1147533523}
{580, 1149682769, 1149682789, 1149682969}
{581, 1149761027, 1149761183, 1149761227}
{582, 1150186067, 1150186189, 1150186267}
{583, 1150700843, 1150700867, 1150701043}
{584, 1151107361, 1151107379, 1151107561}
{585, 1151969561, 1151969717, 1151969761}
{586, 1157611391, 1157611439, 1157611591}
{587, 1158991901, 1158991907, 1158992101}
{588, 1161566831, 1161566897, 1161567031}
{589, 1163260247, 1163260303, 1163260447}
{590, 1164300251, 1164300317, 1164300451}
{591, 1164392837, 1164392893, 1164393037}
{592, 1164558119, 1164558257, 1164558319}
{593, 1166210873, 1166211061, 1166211073}
{594, 1167646019, 1167646147, 1167646219}
{595, 1168074311, 1168074377, 1168074511}
{596, 1168744877, 1168744909, 1168745077}
{597, 1169662607, 1169662687, 1169662807}
{598, 1170232901, 1170233023, 1170233101}
{599, 1172340713, 1172340809, 1172340913}
{600, 1173399659, 1173399713, 1173399859}
{601, 1175071559, 1175071577, 1175071759}
{602, 1175844671, 1175844809, 1175844871}
{603, 1179153449, 1179153461, 1179153649}
{604, 1179799331, 1179799381, 1179799531}
{605, 1181410691, 1181410723, 1181410891}
{606, 1186433603, 1186433617, 1186433803}
{607, 1186496273, 1186496383, 1186496473}
{608, 1187147963, 1187148161, 1187148163}
{609, 1188093353, 1188093409, 1188093553}
{610, 1188252809, 1188252937, 1188253009}
{611, 1191259763, 1191259919, 1191259963}
{612, 1193791229, 1193791267, 1193791429}
{613, 1194047087, 1194047171, 1194047287}
{614, 1194397733, 1194397907, 1194397933}
{615, 1196702057, 1196702201, 1196702257}
{616, 1196902151, 1196902327, 1196902351}
{617, 1197268487, 1197268663, 1197268687}
{618, 1197358619, 1197358751, 1197358819}
{619, 1197560543, 1197560669, 1197560743}
{620, 1199776421, 1199776549, 1199776621}
{621, 1202057273, 1202057449, 1202057473}
{622, 1202697281, 1202697383, 1202697481}
{623, 1202859659, 1202859841, 1202859859}
{624, 1204212917, 1204212931, 1204213117}
{625, 1205353349, 1205353417, 1205353549}
{626, 1205599673, 1205599777, 1205599873}
{627, 1207625777, 1207625813, 1207625977}
{628, 1210360799, 1210360889, 1210360999}
{629, 1211037059, 1211037137, 1211037259}
{630, 1211454743, 1211454863, 1211454943}
{631, 1215296891, 1215296923, 1215297091}
{632, 1215498023, 1215498197, 1215498223}
{633, 1218344849, 1218344851, 1218345049}
{634, 1218715373, 1218715571, 1218715573}
{635, 1219300781, 1219300829, 1219300981}
{636, 1219300829, 1219300981, 1219301029}
{637, 1220973119, 1220973251, 1220973319}
{638, 1222346747, 1222346831, 1222346947}
{639, 1224094481, 1224094667, 1224094681}
{640, 1226542151, 1226542199, 1226542351}
{641, 1227635459, 1227635483, 1227635659}
{642, 1227645971, 1227646139, 1227646171}
{643, 1228132793, 1228132877, 1228132993}
{644, 1230865697, 1230865709, 1230865897}
{645, 1232666597, 1232666777, 1232666797}
{646, 1234474427, 1234474511, 1234474627}
{647, 1235064317, 1235064367, 1235064517}
{648, 1239771539, 1239771583, 1239771739}
{649, 1240774259, 1240774333, 1240774459}
{650, 1241657621, 1241657759, 1241657821}
{651, 1243553957, 1243554121, 1243554157}
{652, 1243571387, 1243571551, 1243571587}
{653, 1243701647, 1243701649, 1243701847}
{654, 1244762027, 1244762059, 1244762227}
{655, 1245174803, 1245174857, 1245175003}
{656, 1246239629, 1246239767, 1246239829}
{657, 1249111187, 1249111267, 1249111387}
{658, 1251743879, 1251744037, 1251744079}
{659, 1251945899, 1251945941, 1251946099}
{660, 1254052403, 1254052531, 1254052603}
{661, 1254694691, 1254694823, 1254694891}
{662, 1257337457, 1257337469, 1257337657}
{663, 1259761967, 1259761969, 1259762167}
{664, 1259922593, 1259922617, 1259922793}
{665, 1260337139, 1260337283, 1260337339}
{666, 1260909383, 1260909443, 1260909583}
{667, 1260929273, 1260929393, 1260929473}
{668, 1262065757, 1262065897, 1262065957}
{669, 1264809263, 1264809457, 1264809463}
{670, 1265490011, 1265490131, 1265490211}
{671, 1265796029, 1265796143, 1265796229}
{672, 1266387917, 1266388103, 1266388117}
{673, 1266685163, 1266685193, 1266685363}
{674, 1266685193, 1266685363, 1266685393}
{675, 1269188003, 1269188029, 1269188203}
{676, 1269506999, 1269507121, 1269507199}
{677, 1269596519, 1269596707, 1269596719}
{678, 1270200707, 1270200859, 1270200907}
{679, 1270677893, 1270678001, 1270678093}
{680, 1270934711, 1270934771, 1270934911}
{681, 1270968221, 1270968227, 1270968421}
{682, 1271543681, 1271543683, 1271543881}
{683, 1271663969, 1271664131, 1271664169}
{684, 1273096511, 1273096619, 1273096711}
{685, 1274482271, 1274482381, 1274482471}
{686, 1275657419, 1275657613, 1275657619}
{687, 1275763847, 1275764029, 1275764047}
{688, 1275907289, 1275907343, 1275907489}
{689, 1278837419, 1278837473, 1278837619}
{690, 1279352801, 1279352827, 1279353001}
{691, 1280527379, 1280527481, 1280527579}
{692, 1282620107, 1282620263, 1282620307}
{693, 1283869841, 1283870011, 1283870041}
{694, 1285279727, 1285279783, 1285279927}
{695, 1286562611, 1286562793, 1286562811}
{696, 1287498137, 1287498229, 1287498337}
{697, 1288108319, 1288108499, 1288108519}
{698, 1288991303, 1288991419, 1288991503}
{699, 1290762677, 1290762857, 1290762877}
{700, 1293478757, 1293478943, 1293478957}
{701, 1293957629, 1293957671, 1293957829}
{702, 1295133137, 1295133293, 1295133337}
{703, 1295644151, 1295644213, 1295644351}
{704, 1296987467, 1296987623, 1296987667}
{705, 1298782757, 1298782897, 1298782957}
{706, 1299402683, 1299402869, 1299402883}
{707, 1301261327, 1301261389, 1301261527}
{708, 1301996387, 1301996473, 1301996587}
{709, 1302558539, 1302558601, 1302558739}
{710, 1302990443, 1302990463, 1302990643}
{711, 1303199861, 1303199971, 1303200061}
{712, 1304063417, 1304063611, 1304063617}
{713, 1305280157, 1305280279, 1305280357}
{714, 1306710311, 1306710343, 1306710511}
{715, 1307137823, 1307137921, 1307138023}
{716, 1308095483, 1308095557, 1308095683}
{717, 1308338957, 1308339013, 1308339157}
{718, 1308628463, 1308628501, 1308628663}
{719, 1308736001, 1308736019, 1308736201}
{720, 1310456681, 1310456803, 1310456881}
{721, 1311049853, 1311049937, 1311050053}
{722, 1314538007, 1314538103, 1314538207}
{723, 1317503609, 1317503731, 1317503809}
{724, 1318878731, 1318878859, 1318878931}
{725, 1320904901, 1320904993, 1320905101}
{726, 1321404299, 1321404431, 1321404499}
{727, 1322336801, 1322336831, 1322337001}
{728, 1322588843, 1322588963, 1322589043}
{729, 1324812011, 1324812037, 1324812211}
{730, 1331530229, 1331530247, 1331530429}
{731, 1332590453, 1332590531, 1332590653}
{732, 1333058171, 1333058191, 1333058371}
{733, 1333661837, 1333662007, 1333662037}
{734, 1333734287, 1333734401, 1333734487}
{735, 1336537823, 1336537861, 1336538023}
{736, 1336870991, 1336871057, 1336871191}
{737, 1338114671, 1338114707, 1338114871}
{738, 1338345713, 1338345779, 1338345913}
{739, 1339634711, 1339634831, 1339634911}
{740, 1340935859, 1340935867, 1340936059}
{741, 1341035117, 1341035299, 1341035317}
{742, 1341538217, 1341538307, 1341538417}
{743, 1344725957, 1344726041, 1344726157}
{744, 1346217077, 1346217137, 1346217277}
{745, 1346616389, 1346616407, 1346616589}
{746, 1348002767, 1348002787, 1348002967}
{747, 1349871977, 1349872099, 1349872177}
{748, 1349954981, 1349955107, 1349955181}
{749, 1350467549, 1350467567, 1350467749}
{750, 1351170437, 1351170497, 1351170637}
{751, 1351279883, 1351280039, 1351280083}
{752, 1352506511, 1352506541, 1352506711}
{753, 1352935613, 1352935763, 1352935813}
{754, 1353085109, 1353085141, 1353085309}
{755, 1354670927, 1354670957, 1354671127}
{756, 1355106149, 1355106301, 1355106349}
{757, 1355380283, 1355380427, 1355380483}
{758, 1356576167, 1356576211, 1356576367}
{759, 1356773069, 1356773233, 1356773269}
{760, 1357863539, 1357863571, 1357863739}
{761, 1358116919, 1358117051, 1358117119}
{762, 1360658573, 1360658669, 1360658773}
{763, 1361414207, 1361414317, 1361414407}
{764, 1362688637, 1362688711, 1362688837}
{765, 1363734521, 1363734539, 1363734721}
{766, 1364462243, 1364462377, 1364462443}
{767, 1365924761, 1365924863, 1365924961}
{768, 1366292561, 1366292723, 1366292761}
{769, 1367984711, 1367984809, 1367984911}
{770, 1368381797, 1368381809, 1368381997}
{771, 1368814103, 1368814267, 1368814303}
{772, 1369016903, 1369016939, 1369017103}
{773, 1369345949, 1369346063, 1369346149}
{774, 1372917719, 1372917899, 1372917919}
{775, 1375730969, 1375731101, 1375731169}
{776, 1376082899, 1376082991, 1376083099}
{777, 1378258001, 1378258099, 1378258201}
{778, 1381449029, 1381449101, 1381449229}
{779, 1382600507, 1382600591, 1382600707}
{780, 1382884949, 1382885137, 1382885149}
{781, 1383763631, 1383763783, 1383763831}
{782, 1384012169, 1384012171, 1384012369}
{783, 1386101687, 1386101767, 1386101887}
{784, 1387244237, 1387244317, 1387244437}
{785, 1389541589, 1389541607, 1389541789}
{786, 1391012789, 1391012807, 1391012989}
{787, 1391404877, 1391405021, 1391405077}
{788, 1391595773, 1391595913, 1391595973}
{789, 1392237641, 1392237827, 1392237841}
{790, 1392799931, 1392799963, 1392800131}
{791, 1393148699, 1393148803, 1393148899}
{792, 1394104583, 1394104753, 1394104783}
{793, 1395263609, 1395263713, 1395263809}
{794, 1397515373, 1397515393, 1397515573}
{795, 1398710843, 1398710947, 1398711043}
{796, 1398738137, 1398738149, 1398738337}
{797, 1398742259, 1398742291, 1398742459}
{798, 1398920417, 1398920431, 1398920617}
{799, 1399099451, 1399099607, 1399099651}
{800, 1400583053, 1400583161, 1400583253}
{801, 1401783023, 1401783049, 1401783223}
{802, 1402863083, 1402863131, 1402863283}
{803, 1403621801, 1403621887, 1403622001}
{804, 1404094061, 1404094163, 1404094261}
{805, 1404327083, 1404327229, 1404327283}
{806, 1404848309, 1404848371, 1404848509}
{807, 1405639877, 1405639891, 1405640077}
{808, 1407305633, 1407305773, 1407305833}
{809, 1407730811, 1407730927, 1407731011}
{810, 1408352303, 1408352441, 1408352503}
{811, 1411915223, 1411915279, 1411915423}
{812, 1412380901, 1412381099, 1412381101}
{813, 1412715791, 1412715847, 1412715991}
{814, 1413839891, 1413839897, 1413840091}
{815, 1414421651, 1414421797, 1414421851}
{816, 1415931767, 1415931929, 1415931967}
{817, 1420496333, 1420496359, 1420496533}
{818, 1422060053, 1422060209, 1422060253}
{819, 1424129501, 1424129671, 1424129701}
{820, 1424411819, 1424411897, 1424412019}
{821, 1424520143, 1424520323, 1424520343}
{822, 1424544689, 1424544851, 1424544889}
{823, 1424828333, 1424828387, 1424828533}
{824, 1425762179, 1425762259, 1425762379}
{825, 1425976973, 1425977141, 1425977173}
{826, 1428279221, 1428279331, 1428279421}
{827, 1430692793, 1430692871, 1430692993}
{828, 1431181919, 1431182069, 1431182119}
{829, 1431234263, 1431234283, 1431234463}
{830, 1431692597, 1431692629, 1431692797}
{831, 1433323217, 1433323379, 1433323417}
{832, 1433919923, 1433920067, 1433920123}
{833, 1434461681, 1434461857, 1434461881}
{834, 1434784763, 1434784859, 1434784963}
{835, 1436818307, 1436818367, 1436818507}
{836, 1436836127, 1436836153, 1436836327}
{837, 1437281693, 1437281849, 1437281893}
{838, 1439737037, 1439737121, 1439737237}
{839, 1441526231, 1441526341, 1441526431}
{840, 1442148527, 1442148581, 1442148727}
{841, 1443357731, 1443357863, 1443357931}
{842, 1443629879, 1443629977, 1443630079}
{843, 1445892341, 1445892367, 1445892541}
{844, 1446301841, 1446301981, 1446302041}
{845, 1447031303, 1447031413, 1447031503}
{846, 1448306813, 1448306917, 1448307013}
{847, 1448881139, 1448881319, 1448881339}
{848, 1450092443, 1450092617, 1450092643}
{849, 1451607623, 1451607629, 1451607823}
{850, 1453492991, 1453493117, 1453493191}
{851, 1454488961, 1454489041, 1454489161}
{852, 1455645311, 1455645487, 1455645511}
{853, 1457925419, 1457925479, 1457925619}
{854, 1459178597, 1459178759, 1459178797}
{855, 1461452087, 1461452221, 1461452287}
{856, 1462546667, 1462546721, 1462546867}
{857, 1463093063, 1463093141, 1463093263}
{858, 1464731063, 1464731119, 1464731263}
{859, 1466023277, 1466023463, 1466023477}
{860, 1466472299, 1466472389, 1466472499}
{861, 1468777697, 1468777757, 1468777897}
{862, 1468780517, 1468780543, 1468780717}
{863, 1469199689, 1469199829, 1469199889}
{864, 1474641533, 1474641731, 1474641733}
{865, 1474771031, 1474771061, 1474771231}
{866, 1475578343, 1475578519, 1475578543}
{867, 1476378779, 1476378803, 1476378979}
{868, 1476920681, 1476920761, 1476920881}
{869, 1477033433, 1477033577, 1477033633}
{870, 1477797557, 1477797613, 1477797757}
{871, 1478861081, 1478861273, 1478861281}
{872, 1479192191, 1479192293, 1479192391}
{873, 1479389027, 1479389047, 1479389227}
{874, 1481665109, 1481665183, 1481665309}
{875, 1483272509, 1483272647, 1483272709}
{876, 1484536523, 1484536717, 1484536723}
{877, 1484599313, 1484599367, 1484599513}
{878, 1485496451, 1485496459, 1485496651}
{879, 1486931921, 1486932043, 1486932121}
{880, 1487047031, 1487047097, 1487047231}
{881, 1487379359, 1487379379, 1487379559}
{882, 1487629439, 1487629513, 1487629639}
{883, 1492118249, 1492118389, 1492118449}
{884, 1493961671, 1493961823, 1493961871}
{885, 1494166139, 1494166211, 1494166339}
{886, 1496991707, 1496991871, 1496991907}
{887, 1497118523, 1497118541, 1497118723}
{888, 1498300469, 1498300541, 1498300669}
{889, 1498870073, 1498870151, 1498870273}
{890, 1500098321, 1500098441, 1500098521}
{891, 1501110197, 1501110311, 1501110397}
{892, 1501819079, 1501819141, 1501819279}
{893, 1505070893, 1505070991, 1505071093}
{894, 1506831761, 1506831791, 1506831961}
{895, 1506967589, 1506967699, 1506967789}
{896, 1507515857, 1507516051, 1507516057}
{897, 1509424667, 1509424817, 1509424867}
{898, 1509665459, 1509665579, 1509665659}
{899, 1510599323, 1510599371, 1510599523}
{900, 1511068721, 1511068771, 1511068921}
{901, 1515706649, 1515706727, 1515706849}
{902, 1516881071, 1516881199, 1516881271}
{903, 1517250677, 1517250737, 1517250877}
{904, 1518244757, 1518244813, 1518244957}
{905, 1519353659, 1519353853, 1519353859}
{906, 1521579617, 1521579767, 1521579817}
{907, 1522505381, 1522505557, 1522505581}
{908, 1522949783, 1522949893, 1522949983}
{909, 1524369359, 1524369499, 1524369559}
{910, 1526553473, 1526553563, 1526553673}
{911, 1527016037, 1527016081, 1527016237}
{912, 1527205787, 1527205903, 1527205987}
{913, 1532324579, 1532324713, 1532324779}
{914, 1532443487, 1532443669, 1532443687}
{915, 1533231233, 1533231311, 1533231433}
{916, 1534435169, 1534435321, 1534435369}
{917, 1535151269, 1535151427, 1535151469}
{918, 1536446753, 1536446801, 1536446953}
{919, 1536660329, 1536660331, 1536660529}
{920, 1540351979, 1540351993, 1540352179}
{921, 1542154433, 1542154469, 1542154633}
{922, 1542372683, 1542372869, 1542372883}
{923, 1543976573, 1543976741, 1543976773}
{924, 1544242979, 1544243159, 1544243179}
{925, 1544309111, 1544309231, 1544309311}
{926, 1547748659, 1547748703, 1547748859}
{927, 1547974577, 1547974619, 1547974777}
{928, 1548959117, 1548959177, 1548959317}
{929, 1551556451, 1551556649, 1551556651}
{930, 1552362551, 1552362571, 1552362751}
{931, 1554001871, 1554001979, 1554002071}
{932, 1555278233, 1555278311, 1555278433}
{933, 1559409359, 1559409497, 1559409559}
{934, 1559714393, 1559714573, 1559714593}
{935, 1561344251, 1561344271, 1561344451}
{936, 1562035493, 1562035609, 1562035693}
{937, 1566205517, 1566205643, 1566205717}
{938, 1567015487, 1567015679, 1567015687}
{939, 1567279643, 1567279757, 1567279843}
{940, 1568108813, 1568108897, 1568109013}
{941, 1569196991, 1569197107, 1569197191}
{942, 1569649097, 1569649171, 1569649297}
{943, 1571545319, 1571545471, 1571545519}
{944, 1571805437, 1571805451, 1571805637}
{945, 1572398717, 1572398837, 1572398917}
{946, 1573209467, 1573209503, 1573209667}
{947, 1573629401, 1573629451, 1573629601}
{948, 1573665017, 1573665187, 1573665217}
{949, 1574171579, 1574171713, 1574171779}
{950, 1576696937, 1576697063, 1576697137}
{951, 1579009613, 1579009693, 1579009813}
{952, 1581318191, 1581318341, 1581318391}
{953, 1582771787, 1582771951, 1582771987}
{954, 1582880951, 1582881121, 1582881151}
{955, 1583272319, 1583272463, 1583272519}
{956, 1583782457, 1583782637, 1583782657}
{957, 1584264719, 1584264811, 1584264919}
{958, 1584413273, 1584413321, 1584413473}
{959, 1585130873, 1585130903, 1585131073}
{960, 1586720183, 1586720257, 1586720383}
{961, 1587551921, 1587552061, 1587552121}
{962, 1587655787, 1587655889, 1587655987}
{963, 1588919753, 1588919861, 1588919953}
{964, 1589526437, 1589526607, 1589526637}
{965, 1589638793, 1589638849, 1589638993}
{966, 1589980757, 1589980949, 1589980957}
{967, 1591006409, 1591006423, 1591006609}
{968, 1591035923, 1591035973, 1591036123}
{969, 1593399347, 1593399463, 1593399547}
{970, 1595260847, 1595261027, 1595261047}
{971, 1595458829, 1595458901, 1595459029}
{972, 1600087439, 1600087561, 1600087639}
{973, 1600867043, 1600867223, 1600867243}
{974, 1601102207, 1601102323, 1601102407}
{975, 1601510549, 1601510633, 1601510749}
{976, 1602375527, 1602375581, 1602375727}
{977, 1603643669, 1603643803, 1603643869}
{978, 1604568503, 1604568557, 1604568703}
{979, 1605091451, 1605091459, 1605091651}
{980, 1605146423, 1605146561, 1605146623}
{981, 1606903871, 1606903877, 1606904071}
{982, 1606903877, 1606904071, 1606904077}
{983, 1607640911, 1607641033, 1607641111}
{984, 1609848629, 1609848761, 1609848829}
{985, 1611920351, 1611920383, 1611920551}
{986, 1612202363, 1612202447, 1612202563}
{987, 1612960691, 1612960763, 1612960891}
{988, 1613233493, 1613233679, 1613233693}
{989, 1614262283, 1614262399, 1614262483}
{990, 1616890841, 1616890871, 1616891041}
{991, 1617683381, 1617683527, 1617683581}
{992, 1619686247, 1619686379, 1619686447}
{993, 1619777699, 1619777773, 1619777899}
{994, 1620040307, 1620040423, 1620040507}
{995, 1620909887, 1620909923, 1620910087}
{996, 1621782731, 1621782919, 1621782931}
{997, 1622874611, 1622874809, 1622874811}
{998, 1624002977, 1624003127, 1624003177}
{999, 1625167259, 1625167433, 1625167459}
{1000, 1626231623, 1626231787, 1626231823}