verify.sf

#!/usr/bin/ruby

# Daniel "Trizen" Șuteu
# Date: 08 July 2019
# https://github.com/trizen

func f(n) is cached {

    var count = -1

    while (n.is_semiprime && !n.is_square) {
        var (a,b) = n.factor...
        n = b-a
        ++count
    }

   count
}

func g(n) is cached {

    while (n.is_semiprime && !n.is_square) {
        var (a,b) = n.factor...
        n = b-a
    }

    n
}

var arr = [6, 34, 82, 226, 687, 4786, 14367, 28738, 373763, 21408927, 38865482, 40882922, 59173955, 79139915, 133465911, 134323703, 158279834, 194327435, 1921499543, 2690757467, 4684112282, 7771778279, 8240127407, 10499737562, 15543556562, 18453040115, 21079652474, 36906080234, 37061787842, 46002517319, 79629909083, 92005034642, 105398262395, 107965462835, 121792130279, 135646552187, 139743668762, 161394185266, 163166105042, 194200238339, 243584260562, 271293104378, 286568311682, 315785285939, 388400476682, 415702119962, 502290455978, 533329984167, 574611604562, 580322795762, 599361035762, 645473478098, 691691326922, 698718343835, 848839845911, 876360442679, 879101621498, 917090143418, 1066659968338, 1123471930583, 1268486701778, 1300616719319, 1370600010818, 1535738326739, 1697679691826, 1752720885362, 1794641033018, 1822001854562, 1868721411026, 1942002383435, 1980792142778, 2177458737287, 2376603335042, 2511452279915, 2601233438642, 3071476653482, 3086330289338, 3119457706058, 3310483145978, 4672539796178, 5003219744207, 5137973612858, 5219662888658, 5338624496138, 5672701824002, 5679407499698, 5935880265338, 6512816634362, 6823671505418, 7100208259199, 7163970790211, 8005150810619, 8387959499162, 10688733356282, 10835690536919, 12574737913139, 12622142963447, 13061804761799, 13249282932887, 13399753073426, 13708750183859, 13953353719679, 15693892471034, 16010301621242, 19297258018835, 20778123488711, 21206130894866, 21663869441927, 21671381073842, 21678999197939, 22517327670263, 22771051885067, 23786640507779, 25149475826282, 25244285926898, 25990316181539, 26123609523602, 28649715517226, 28860554761331, 31849947986711, 32509492367543, 33047606398922, 33815060785442, 35895381453719, 37294865666522, 39046632912527, 40038293987435, 40422672574523, 42921772664711, 43357998395882, 43404525628283, 45357574118027, 46464756599687, 47265559265042, 47573281015562, 48561465715703, 48884499903359, 51980632363082, 52504922567618, 53107851527447, 57717581974863, 57721109522666, 57804349406642, 63072494040587, 63699895973426, 64588105929239, 64839052003463, 69604867366547, 71790762907442, 72815700194411, 73701446215307, 77627329022042, 82558906487627, 83666089029767, 84250315504538, 88316255726411, 90715148236058, 91416366875147, 93852168501911, 96007523546762, 97768999806722, 100712346258842, 108177975568682, 115015035269042, 118115514639443, 118369066282739, 123295544778842, 129176211858482, 139697244719138, 148265735618303, 165331258423883, 174391814231819, 184215877006922, 186530527938059, 191099687920287, 197886473657963, 215216094290159, 225803542416239, 226308137301359, 227005229368538, 236534506582139, 236738132565482, 248849038039618, 255906784382738, 267196870700759, 276196008760559, 284309219441882, 285411643792859, 293841385198082, 294436739931098, 318010742525459, 333852442711826, 348002354257823, 348783628463642, 349509222850259, 373061055876122, 373369301561378, 412791789071258, 430432188580322, 451607084832482, 452616274602722, 464298747016859, 471014866976579, 471926519424179, 473069013164282, 534393741401522, 552392017521122, 566631878233682, 570823287585722, 579640680466139, 580618576319183, 591034864458842, 634932204749447, 636021485050922, 699018445700522, 700698855707807, 710186912894387, 711059233444379, 767720353148223, 817863408439643, 826866101035439, 858059668189019, 880245409209239, 885662312527259, 887288068646162, 912484122569727, 913952297868122, 942029733953162, 943853038848362, 944609047538042, 1018403850975059, 1023311566877903, 1032361047138842, 1105642797934139, 1120107904684143, 1132585601548199, 1135472973414959, 1182240006923522, 1226192906495031, 1271635214038738, 1324027820527859, 1386417492204803, 1394716991909159, 1422118466888762, 1437867130548239, 1474519686076559, 1478121827640959, 1505635293540527, 1520495313976586, 1653732202070882, 1751635435017779, 1760490818418482, 1771324625054522, 1923563494228322, 2036807701950122, 2081932124316659, 2129154674969459, 2211285595868282, 2265171203096402, 2270945946829922, 2427490093686635, 2452506607046519, 2625058080846359, 2643933261150098, 2648055641055722, 2677775431909679, 2789433983818322, 2875734261096482, 2893621267250027, 2912630276909459, 2930195149581218, 2949039372153122, 2956243655281922, 3003534073194203, 3055154777276618, 3367818827383547, 3466381342522082, 3503270870035562, 3527678713736711, 3669277679823419, 4163864248633322, 4258309349938922, 4672093441343483, 4835113626479579, 4905013214093042, 5015070007332635, 5099886012878099, 5189439366130931, 5250116161692722, 5257144288873439, 5287091365801247, 5355550863819362, 5825260553818922, 5829832061799467, 5910312041260863, 6370722746870159, 6413205732927839, 6429484672752719, 6522485376074027, 6708581044908959, 7055357427473426, 7110592334443835, 7338555359646842, 7441511420749619, 7476163849273034, 7680636265381463, 8244967363815419, 8317180530503099, 9292940510262839, 9564615044031962, 9670227252959162, 9830061178908959, 9918504375063839, 10199772025756202, 10378878732261866, 10492178159693939, 10514288577746882, 10532435174481674, 12741445493740322, 12826411465855682, 12858969345505442, 13044970752148058, 13102691861696711, 13417162089817922, 13449018518835467, 14311407325542839, 14459876386019231, 14620275758976659, 14883022841499242, 15212832051474242, 15410600677144682, 15691064807458031, 16019368508113379, 16058353808147003, 16176230371911602, 16314497353083959, 16370873265236531, 16634361061006202, 17086777366013819, 18279684831746018, 18585881020525682, 19467741279952619, 19660122357817922, 19948256126101799, 20875813951506959, 20911887931483559, 23674338656854139, 24877798204454807, 25165852826886659, 25319195035106666, 27636807014903459, 27856609009099859, 28219053916423967, 28622814651085682, 29240551517953322, 29365652043961907, 29747851419808031, 30120853180365242, 32038737016226762, 32232146645393519, 32628994706167922, 33137591410995986, 34173554732027642, 35276787137367155, 37377123486315059, 37383237324606563, 38935482559905242, 39896512252203602, 41751627903013922, 41823775862967122, 43492536427138859, 45976548289391882, 47348677313708282, 50331705653773322, 54680314203667583, 55054329837108059, 55273614029806922, 55713218018199722, 56635712846946362, 58232126232808919, 58467562369636139, 61810031167161479, 69543461876256659, 74754246972630122, 75712181556189599, 76792912647187283, 84975659337856163, 86985072854277722, 91046630765088242, 95290841297346122, 98118343407214379, 98300611789089635, 100101713627582759, 104871179828653559, 107955167292342647, 108165871326760139, 110108659674216122, 116464252465617842, 116935124739272282, 120651724534103279, 123620062334322962, 126595975175533355, 127094785437641867, 127720104195020879, 132498631899993419, 135555409844896499, 139086923752513322, 147588782987997263, 150604265901826235, 151424363112379202, 166488342757224482, 179051397966188747, 180254131859323943, 184952705232392003, 187299139327813235, 196236686814428762, 200203427255165522, 201076533149206319, 205830363643994279, 209742359657307122, 216331742653520282, 250947622006616279, 255440208390041762, 259124306059995239, 260750198196321959, 260787368312736323, 264997263799986842, 265569716441549459, 266493002236511879, 271110819689793002, 278511145386173447, 314274366847589042, 322413538715288819, 324019990843586459, 350610800473644482, 362135638385255666, 362783622824652683, 366648654133755362, 369763338800741159, 388437073516939259, 407164706597765426, 411660727287988562, 430426315596813611, 457400454178996883, 500993142227337482, 501895244013232562, 506056569721236242, 518248612119990482, 521500396392643922, 531139432883098922, 532986004473023762, 554692910004854963, 555025107260630819, 573939385357133459, 578885684201215583, 579422189224632242, 583873246534430498, 639674355415564778, 644827077430577642, 648039981687172922, 678902676590065439, 716088084815148818, 738713425997607059, 739526677601482322, 772380341039779418, 776874147033878522, 788222495237420003, 851825301204373679, 899641213141733978, 917427729997658519, 935771683419480419, 943278371952938258, 955919020888646039, 962807118398088443, 968315323809770282, 1094152648077277463, 1102588634284409138, 1110050214521261642, 1110540024352031111, 1139845913187245123, 1147878770714266922, 1357805353180130882, 1438725818444619119, 1477426851995214122, 1495731357243436319, 1531754185762216586, 1547509209663371159, 1619944302054884363, 1667281040112036803, 1691499157014985082, 1703650602408747362, 1737605723702013923, 1834855459995317042, 1858119531683293979, 1859540395402870706, 1871543366838960842, 1884229163674335323, 1911838041777292082, 2221080048704062226, 2308655503353869639, 2339652973705566479, 2371006137228432419, 2528758414089335903, 2690609580390250394, 2750420087112673727, 2898064068441189338, 2991462714486872642, 3068285725577807279, 3095018419326742322, 3253636913535792479, 3258542995669059779, 3492785390554237079, 3716239063366587962, 3801587672549308682, 3846243296463457079, 3988547940009439979, 4096887312981215339, 4153050904280456279, 4617311006707739282, 4679305947411132962, 4742012274456864842, 4767142678348432979, 4957059758227069319, 5512943171422045715, 5567613774180291242, 5598498619272904859, 5642612937061899207, 5960383608051956483, 6022927825910353703, 6066782105247728279, 6121400385637467839, 6136571451155614562, 6373644081470954783, 6430226465424604079, 6507273827071584962, 6517085991338119562, 6674310137741778479, 6681150450006201179, 6804702469516234979, 6985570781108474162, 7422588357972568763, 7692486592926914162, 7977095880018879962, 8193774625962430682, 8238041657605084079, 8306101808560912562, 8329119682860880847, 8670881942624077019, 8694192205323568023, 8937675847392777707, 9382484868964186442, 9534285356696865962, 9914119516454138642, 10152997209077933867, 10912573060131158807, 11196997238545809722, 11927108630226576863, 11987765171823622679, 11995318266765004715, 11997808843439494919, 12133564210495456562, 12236203589136801263, 12242800771274935682, 12371008543541013239, 12666666600336707159, 12860452930849208162, 13348620275483556962, 13362300900012402362, 13609404939032469962, 13732117862416492139, 14525935079301896219, 14528801124592787819, 14569012657402871219, 14702533123089561482, 15184271265143298242, 16476083315210168162, 16849296043384382567, 17341763885248154042, 18027978082853146019, 18803659092957858842, 19372239635717010179, 21347857541221125659, 21601527534375219458, 21825146120262317618, 22180947429684307259, 22887448715969981579, 22945511490638432039, 23975530343647245362, 23995617686878989842, 24327047886774324842, 24742017087082026482, 26990976656220328559, 27464235724832984282, 28908694168441350287, 29051870158603792442, 29138025314805742442, 29633574766273385879, 31053232023436511699, 36055956165706292042, 38000155104386376938, 38060591050116244739, 38744479271434020362, 40314303606698264159, 40622282758195240682, 41848128558151826879, 42695715082442251322, 42948173340323044679, 44097678946402293122, 44361894859368614522, 45774897431939963162, 45891022981276864082, 46308325543916506562, 47463290825815588643, 53981953312440657122, 54224225174777268419, 57111671176764674879, 58193238773797028219, 58929700190922660179, 59267149532546771762, 61230325240337173343, 62106464046873023402, 62585690226620116079, 67629464814686619959, 69329750051809383923, 76121182100232489482, 80628607213396528322, 83514113809283630279, 83696257116303653762, 85896346680646089362, 86171564272471421879, 89356037538264217739, 91514856645605965343, 94649434161064951403, 103207333558606050983, 108448450349554536842, 114223342353529349762, 116386477547594056442, 117718214916752194079, 117859400381845320362, 125171380453240232162, 127188880091932742579, 127730076098414133779, 135258929629373239922, 147910945299280718642, 148233643004708683922, 149620455846032906699, 150122421428183059859, 153519318834969914819, 155343760680155123162, 157677108497367640199, 158637527305297921379, 166696766873175284819, 167028227618567260562, 172343128544942843762, 178123906308716311079, 178712075076528435482, 180079421783371220879, 180990409800603415223, 190000775521931884715, 193718534272035070322, 210613688179410682799, 214382786414190009659, 235436429833504388162, 244207763841378356639, 254377760183865485162, 255460152196828267562, 257597490287226975026, 258132611507436070403, 267758922407952917339, 269912724751000921463, 277453359142798401722, 280410439676293260122, 293422289720994019802, 293709436355479186379, 299240911692065813402, 300244842856366119722, 300362834894036993759, 307038637669939829642, 308551744120811985362, 315354216994735280402, 317275054610595842762, 333393533746350569642, 338523346693657138778, 356247812617432622162, 360158843566742441762, 386590406337397732859, 387506726100359669339, 411886143952024017719, 415389419720977438799, 421227376358821365602, 428765572828380019322, 473470320069329864219, 488415527682756713282, 491058429267007355762, 528394987575410359499, 535517844815905834682, 573363528096811231202, 587418872710958372762, 600725669788073987522, 673673066422657381079, 709961533321680324539, 739554726496403593235, 773180812674795465722, 774357750329143526642, 775013452200719338682, 777993451231496885543, 823772287904048035442, 830778839441954877602, 888433389796326540098, 942786530667324391322, 946940640138659728442, 1008825069938804456879, 1015570040080971416343, 1056789975150820719002, 1118354121431260835039, 1130795852608122137579, 1156732744373902836563, 1159558314109593768938, 1174211498460077192279, 1221843185953852889699, 1277300760984141337835, 1278832689445666501379, 1308525447954970979819, 1347346132845314762162, 1419923066643360649082, 1531671592476950245658, 1585724567311623686303, 1602142274705333643479, 1647552790326943838018, 1665513593086004869643, 1848790667231348671202, 1853916033176719009679, 1872720324302888043539, 2017650139877608913762, 2196894507402965917322, 2236708242862521670082, 2261591705216244275162, 2348422996920154384562, 2401740809921943411239, 2437172957508004987322, 2443686371907705779402, 2554601521968282675674, 2592255213069197095202, 2693779800864206528819, 2779306287236370095018, 2908022921499941835623, 3098443619854337500259, 3204284549410667286962, 3373615707129239121479, 3531746665029054924266, 3615287191818097176002, 3707832066353438019362, 3745440648605776087082, 3751338314206103865026, 3798137704848655996379, 3803333459413811683439, 3906701155526954885663, 3979717422399034754378, 4264643136905049924266, 4464968172551155788098, 4558388401854587111879, 4803481619843886822482, 4916098194745104218519, 4938079169861915575439, 4942658370980831514063, 5228613629211075302279, 5387559601728413057642, 5435969112921300834722, 5478111676185841785119, 5939693883136082353679, 6196887239708675000522, 6747231414258478242962, 6847977179263771109159, 6868958773241197696898, 6875729795936156001842, 6907287407750194261859, 7596275409697311992762, 7606666918827623366882, 8425801706502573077042, 8446767425221563108287, 8534135116846174214426, 8721605893367603036819, 8839934404495976830859, 8844890178888052789823, 8915257513016450276039, 9044681048188067930339, 9116776803709174223762, 9144736224389911257503, 9832196389490208437042, 9876158339723831150882, 10294272254573105326586, 10457227258422150604562, 11029407008291013749543, 11353012439177889335879, 11601834170864170950503, 11852608713205139387282, 11879387766272164707362, 11939152267197104263143, 12030313878560754813563, 12337961199785776617155, 12544763658031314577919, 12793929410715149772807, 13695954358527542218322, 13814574815500388523722, 14235017015026898271722, 14286915884583410202479, 15101525997115059905939, 16043593341673511374106, 16893534850443126216578, 17443211786735206073642, 17679868808991953661722, 17830515026032900552082, 18089362096376135860682, 19482756908511542216339, 19565571961475542112723, 20860471724686888704659, 21172253510021772617939, 21467496355509169673039, 22291928831110582426259, 22706024878355778671762, 23301945705689157864818, 23861218703214853442819, 25089527316062629155842, 25602124269792642431159, 26669841224520656686103, 26808902532588054860663, 26850915976202350515143, 27925824726432556874579, 28573831769166820404962, 30203051994230119811882, 32218524005891607048059, 32388885802678098911402, 32995645523538065791919, 33167108108660114501039, 38470166427294586989539, 38567459659610094325139, 38965513817023084432682, 39361506177568325824082, 39589667426257249387439, 41380174710228386830682, 41411911252353033919922, 41720943449373777409322, 42344507020043545235882, 42934992711018339346082, 44583857662221164852522, 47722437406429706885642, 48315076815120351109235, 48892706250028363384019, 51204248539585284862322, 51995340934820009092082, 55851649452865113749162, 59795660242134309182063, 64437048011783214096122, 66334216217320229002082, 68649070190895579225242, 68917839779293773879059, 76940332854589173979082, 77134919319220188650282, 79095274603692273332639, 79179334852514498774882, 80725381645973669913458, 83345452561893338307539, 84279979431800405637842, 92977259880168568868183, 94686228451898363611466, 97379187779861966627039, 97785412500056726768042, 99082228563891948534779, 107067485093307579306839, 107749989588869110929266, 110508970906196074080359, 110702803794897165025439, 125904287414655673996379, 135768669457607859288059, 137636561788087463828882, 144801613266191251896587, 154947773922661977101459, 157637954413418223678023, 158190549207384546665282, 160515296450320257983699, 161595205172991902715779, 166690905123786676615082, 166734134381797327237322, 170532343018903629194642, 171658304757321213330179, 175002628327742790552251, 176469390019161091375235, 189836197841688933220139, 194758375559723933254082, 198164457127783897069562, 211937629194015127597739, 212095094564579357269379, 214134970186615158613682, 219168117339674243940842, 221017941812392148160722, 221405607589794330050882, 234497636020419622735319, 235067712292117353164903, 240447512322341719973819, 251808574829311347992762, 253609576749510261337979, 266842270432874895035339, 271537338915215718576122, 286364500734018753895343, 298647166494503208300239, 307831130315975949689639, 309895547845323954202922, 321030592900640515967402, 343316609514642426660362, 361151681382692219969258, 375388969979267465247839, 379672395683377866440282, 386835729524536397843663, 403626908229868349567315, 405268567621230664120463, 409655807634315821421539, 423875258388030255195482, 424190189129158714538762, 425559593712440412936383, 429744264999045885930059, 460250917867239806880359, 465154103942800742598239, 468995272040839245470642, 480895024644683439947642, 491191508013353813577242, 530732688049643057659082, 533684540865749790070682, 534176699102433419389559, 549032880405051384317123, 570688216375839436793159, 583635697616102829142283, 597294332989006416600482, 615662260631951899379282, 629365165904892546195842, 646509166868774694771938, 692634928868168174881379, 744158879304012587423159, 750777939958534930495682, 819311615268631642843082, 830678743606774455595082, 859488529998091771860122, 862331106564522988622423, 920501835734479613760722, 930308207885601485196482, 939277688277664868431499, 950101374116578641361202, 959756688219336230883962, 982850638321999212671138, 986311942347360465884519, 996475294309120248313079, 1014127449724411053104699, 1019098941799823285300819, 1029708676599921381002759, 1050396191801108312774519, 1050860204122376921602922, 1129999900693669448548619, 1141376432751678873586322, 1200025066596623218090619, 1438323600861532885306199, 1438756700111548674226922, 1488317758608025174846322, 1507864887109780263671219, 1527507320730885534635843, 1566330810671762898136739, 1621021906581520709528279, 1625700756381650465033882, 1629093678297729071142578, 1659882936181006896216083, 1690586394118524559695263, 1763138748368502590532059, 1805066544776841745180139, 1831749823010774885797811, 1834831056114238213388159, 1864701476230624722945179, 1875855773207939921141183, 1901704426843910421376739, 1972623884694720931769042, 1992950588618240496626162, 2028254899448822106209402, 2038197883599646570601642, 2059417353199842762005522, 2097386027056090961289479, 2100792383602216625549042, 2121616959663719950355519, 2192274511294706309384903, 2210983596214940355822719, 2354712960228888054672839, 2410849290736416683349383, 2614459196787166647040202, 2674708871390911058833082, 2729278774066115433789842, 2876647201723065770612402, 2958993431423945489868419, 3132661621343525796273482, 3242043813163041419056562, 3471989910147684521880083, 3526277496737005181064122, 3610133089553683490360282, 3637274922047085052377122, 3729402952461249445890362, 3765949223901435867075779, 3803408853687820842753482, 4089576222698432370134162, 4194772054112181922578962, 4315314322418302266573539, 4421967192429880711645442, 4447546582393955372500559, 4598902354454093161646939, 4709425920457776109345682, 4798783441096681154419835, 4887281034893187213427743, 5392526346326860637918003, 5660927156562863246549039, 5673511532176965154707299, 5917986862847890979736842, 5922689771091244905052466, 6555273727659001854241322, 6574064010839190357590639, 6679290238764244584440339, 6682164065172320979202922, 7385845996280061165568439, 7476314497219856300441978, 7531898447802871734151562, 8120557145497160365907519, 8306488671801921059293463, 8335282063069135643210402, 8541466147165294715630579, 8630628644836604533147082, 8648375113107827224875719, 8827194269258768363498162, 8895093164787910745001122, 9197804708908186323293882, 9465004510964142722237519, 10514139837550319656841339, 11175991025739814316345579, 11321854313125726493098082, 11347023064353930309414602, 11678625239385399453657578, 12879104399481793549192463, 13148128021678380715181282, 13358580477528489168880682, 14441173710882968200009178, 14671252040552632563752339, 14771691992560122331136882, 15238620637007544222359579, 15510784093376101201239959, 15566568223018492524053243, 16409069973789529891848506, 16922134180593179316771299, 17082932294330589431261162, 17296750226215654449751442, 17864623470080407667249963, 18165089110609072881925139, 18580142427965006258921162, 18742598230538794431433823, 18930009021928285444475042, 19885811152225138086972779, 20537091308616674560716362, 21028279675100639313682682, 21760040210035365364024043, 22351982051479628632691162, 23350609245179210851717559, 23420975588903522832787538, 28087059423894714933262919, 28595679937606058567664599, 29342504081105265127504682, 30477241274015088444719162, 31021568186752202402479922, 31710268692192293007223931, 31846219666923289502364983, 33844268361186358633542602, 35347212800515830867111839, 35567427726709464252527162, 36330178221218145763850282, 37841710764878382131592659, 39771622304450276173945562, 40488546573664122097748819, 42494882551999791387409682, 44485890242292693891833219, 46701218490358421703435122, 50055786101900638707868802, 51472103276533044810412298, 55039195756837790879489642, 56174118847789429866525842, 57191359875212117135329202, 57988187660997953547600623, 61498583676095054199291362, 61996018695695156294959439, 62453404583196368276760122, 63420537384384586014447866, 65297425853746244171975939, 66592063113292451298374219, 67457197562277083536650383, 67621564905242787688667543, 70694425601031661734223682, 71620828842854881057034339, 71848790417622352662130823, 75683421529756764263185322, 77853404122607599440964199, 79149084447917347579906259, 80977093147328244195497642, 84577646607043599596572922, 88971780484585387783666442, 93380506448530838314112978, 95529532814969212422684119, 105362432152582866927515258, 107745939060627715348769007, 119834933064441473686588835, 123992037391390312589918882, 126349409722605445759189439, 131387140896025973546150279, 133184126226584902596748442, 136737488086507211028033719, 137739239220368330190773459, 143241657685709762114068682, 150062302577399062179469043, 155706808245215198881928402, 159618462624449155148731139, 175945269612894683844082407, 187905447605088387860877719, 191059065629938424845368242, 191670518419619598766969139, 193579887381281026414928642, 194945489467808703476887919, 211782070459178668777274315, 231023144703866186499592619, 244823049537003200470333859, 249985827457728841452806939, 252698819445210891518378882, 257444362760424906658710359, 262774281792051947092300562, 268766222834019076023895883, 269482309486781497654568915, 273474976173014422056067442, 275478478440736660381546922, 278954189554422008161424891, 280141519345592514942338943, 296594186981598183653407979, 316087296457748600782545783, 319236925248898310297462282, 319811146885855450114101179, 323134031263035263226638219, 357796824337707563257653959, 375810895210176775721755442, 378074576936305758458170115, 383341036839239197533938282, 389890978935617406953775842, 462046289407732372999185242, 499971654915457682905613882, 514888725520849813317420722, 530432251787534632967123738, 544436389063304257601165519, 571487940163336594023056339, 593188373963196367306815962, 605431153325215699674386183, 610887113726873888425294979, 631877022056615542623915479, 639622293771710900228202362, 664787928608568374091166079, 665920631132924512983742235, 699116663655723999283928819, 704602117595884624974024239, 715593648675415126515307922, 781109058535400582695661423, 869308706369253327518189279, 908128596721782907295916779, 967784936596930181562776219, 1023825507468531043653062459, 1056256707572607882325382943, 1088872778126608515202331042, 1142975880326673188046112682, 1152799523569482666357244103, 1169477687893542617232144839, 1193912774997482078896598999, 1221774227453747776850589962, 1232351594007993950234881619, 1261078795949930864510750219, 1263754044113231085247830962, 1276293336447913307027794583, 1325026004828980292476473419, 1329575857217136748182332162, 1344060319915574143040100179, 1346512978730364695966988119, 1361526916095530355725642762, 1398233327311447998567857642, 1409204235191769249948048482, 1416255657784416644797332002, 1448464484521559354180806499, 1451885941637422822364555339, 1458133482911783893810866743, 1637918386957419348294560819, 1783458926606756571779450339, 1816257193443565814591833562, 1843947258947037445847293559, 1935569873193860363125552442, 1953471570842382552563958362, 2006311664510072553372301919, 2047651014937062087306124922, 2057621052845056184377759919, 2073865834652456955403909739, 2098478235875858390899106039, 2148073376474639288068516079, 2323816870349686414321690679, 2337757687676813368719756242, 2338955375787085234464289682, 2387825549994964157793198002, 2522157591899861729021500442, 2560589587911051099347166683, 2562371098792492794362551442, 2650052009657960584952946842, 2688120639831148286080200362, 2693025957460729391933976242, 2903771883274845644729110682, 2945380844285281821024787679, 3275836773914838696589121642, 3566107487477353626904701419, 3566917853213513143558900682, 3644552063188932571152227519, 3687894517894074891694587122, 4012623329020145106744603842, 4115242105690112368755519842, 4147731669304913910807819482, 4296146752949278576137032162, 4517893667349624788851721519, 4647633740699372828643381362, 4713604712229879123426912839, 5142869032913656691861198723, 5210002561493228616879595319, 5229537610168139524428442679, 5779191106350948920242246523, 5890761688570563642049575362, 6363420238302028932053494802, 6388785218573005187269842803, 7132214974954707253809402842, 7289104126377865142304455042, 8037494038154426248390011026, 8145520744414410102246933779, 8188846116798356500494740519, 8378310558203763886507987919, 8678655477628657323859979282, 8949371427522548707163251139, 9035787334699249577703443042, 9427209424459758246853825682, 9499805910248832243915880439, 9792152284940682606617466959, 10420005122986457233759190642, 10459075220336279048856885362, 10865938077288283573640476682, 11468409985076462263492223762, 11694776878935426172321448435, 11780750721218471984892384623, 12732961310681938532985368339, 12962984581854097283213346242, 14124466983376281132627705863, 14538435996777523484178168818, 15112547778749003534900591219, 15134733524736398010994965179, 16291041488828820204493867562, 16377692233596713000989481042, 16756621116407527773015975842, 17689714191111113400823148882, 18266083610689380903564167219, 18834978589685000307550278119, 18999611820497664487831760882, 19026956926213347278254376879, 19584304569881365213234933922, 20192297604228640854206421419, 21328850496282018841258901219, 23389553757870852344642896874, 23638192096217792419385857463, 23874200871928925962202890559, 25465922621363877065970736682, 26520444571235500618845242723, 27335292308270501183532772802, 27941654786267554836565846859, 27950981271027294077136821003, 28058830269956384880175419539, 28342494249044791203501676763, 28790027693499678423389581619, 29344912350635317547769584879, 30225095557498007069801182442, 30269467049472796021989930362, 30538654775912995071787441463, 32813177883974191196599092842, 33209016704320503393587292443, 36415476926612289590342647199, 36532167221378761807128334442, 37669957179370000615100556242, 38053913852426694556508753762, 38742261724593295348903756562, 39041010577680298339925417963, 39741880690505827268235856403, 40384595208457281708412842842, 41066061194192279663520921419, 42250335293185729637933779259, 42657700992564037682517802442, 43615307990332570452534506463, 47748401743857851924405781122, 48246230875309280996590566698, 50468605001087193258280038023, 50944879551119483740187841722, 52723784342254262144816675138, 55429609441956404639380745639, 55883309572535109673131693722, 56117660539912769760350839082, 57580055386999356846779163242, 58689824701270635095539169762, 61417247293851125431669340042, 61780607444753964863055506159, 64556401140275297460750212039, 66149971105054308760077776843, 69433842788552109305232989303, 69767147126113786760256610859, 71134487590434789109759440299, 72830953853224579180685294402, 75392227871104212717584470319, 76445734046901060788428248659, 78069006623782083279109261679, 80690231751554914349070023339, 81836243882202584440618336619, 82132122388384559327041842842, 82916000331733694705665817639, 90548035579690918138217879339, 91764779559243491503312436603, 96905839532955511818564895898, 101810500322904714412662502619, 106984460100222506038884628082, 108832760159790227010461526962, 108952229674932407379024010559, 120213865717278874030838239319, 120737559803357429742486054839, 123561214889507929726111012322, 129112802280550594921500424082, 129609583248679833152720789303, 131826285283205907857516033819, 136605189849183083959469351738, 137988716502595436373498381239, 139467387076815836941870932023, 139534294252227573520513221722, 142268975180869578219518880602, 150784455742208425435168940642, 152891468093802121576856497322, 154007647723316442530868233639, 156138013247564166558218523362, 158690104541681044330715035703, 163672487764405168881236673242, 164854685855527493120192741939, 170359978820429736880179879719, 172571924373689242672459727399, 176395300350164609762489089499, 181096071159381836276435758682, 189495741504606056171815009703, 189742186600309456266543827639, 192019368900270871171602109019, 198737432593483559724145879403, 202867510498234023003120793739, 203621000645809428825325005242, 217904459349864814758048021122, 221241255723968667443359215059, 240427731434557748061676478642, 253421163841369320394367638562, 253559653388395707569447387063, 259619504154929181906424507379, 263652570566411815715032067642, 274443033868670885479041190139, 315112204241360223635573824619, 329709371711054986240385483882, 333770659038202247904844022762, 340719957640859473760359759442, 345143848747378485344919454802, 351044840534571512827669566323, 352790600700329219524978179002, 381660210293845906360802384423, 384038737800541742343204218042, 399419194553528122887657571559, 416247980923953093836519682263, 434266288195905189681706091699, 438518442619049892152327164922, 439596872824862951781098014418, 442482511447937334886718430122, 458129317324962731247811616039, 519239008309858363812849014762, 539015269298593726384134519023, 548886067737341770958082380282, 604158506194981829346710389583, 613108541606472405328796986259, 617137786850332974629466464099, 619173002827393212172305120059, 798838389107056245775315143122, 868532576391810379363412183402, 916258634649925462495623232082, 1018287817946995567609282226399, 1139052222656063178837575601599, 1206773728278376756823087151482, 1226217083212944810657593972522, 1234275573700665949258932928202, 1238346005654786424344610240122, 1267105819206846601971838192835, 1317292493085491520144775352027, 1336504888923831965336054231699, 1350447913615341955328494274159, 1363216524945420891045844080539, 1438817840469452614262081868179, 1702830906694479736791958334759, 1820886301055884881398476560623, 1891712134658006236346807550719, 1892353689759913738605130506059, 1902434130680483360675045190155, 2046009956557631129413143377147, 2111110326256765232194952692619, 2329735629762167574958535596823, 2557050236391391892819300037803, 2673009777847663930672108463402, 2700895827230683910656988548322, 2726433049890841782091688161082, 2739194931987940103515725207239, 2741502086446799137101526806119, 2745173013972621648149639551859, 2846527621643247578798843438663, 2877635680938905228524163736362, 2924876276984943626638006701263, 3005747893516049540671082665079, 3204513955871839467753151197359, 3334329090350308618611378540122, 3405661813388959473583916669522, 3638347893001992294428513628239, 3783424269316012472693615101442, 3784707379519827477210261012122, 3804868261360966721350090380314, 4020421268362574987093101220915, 4058609151679820037188389656023, 4092019913115262258826286754298, 4169928777499389846364157217962, 4222220652513530464389905385242, 4293914547902526008696560444043, 4692416806460629330888684095203, 4936880582211688957829156950079, 5008341321377902004475626909882, 5159184683818359516555666070019, 5478389863975880207031450414482, 5483004172893598274203053612242, 5490346027945243296299279103722, 5978975338295834661694841035259, 6209269614708112598659193079359, 6409027911743678935506302394722, 6570912106933032238165365172379, 6929107165473328027389094862519, 7058704014075572172989799936419, 7276695786003984588857027256482, 7282463527382805559936364708522, 7291723545447649479865018301939, 7491116067602843933955365757779, 7828337253471969707893118501639, 8208360973554424629488678671319, 8566883332718053944139337948642, 9787489792828506693675054495899, 9873761164423377915658313900162, 10318369367636719033111332140042, 10366922318681853252778573093202, 10805430470122473109927347446483, 11705360366180325590629379543183, 11957950676591669323389682070522, 12100530273299103116476348166459, 12857821052316110375626938871463, 12876508262825645647543444026659, 13141824213866064476330730344762, 13674600409436607018061971574139, 13858214330946656054778189725042, 14117408028151144345979599872842, 14181356591650682539784304085079, 14583447090895298959730036603882, 14982232135205687867910731515562, 15656674506943939415786237003282, 15803497313222344455248628881834, 16357931696216630135245503420359, 16416721947108849258977357342642, 17019012790815508332875835211619, 17345014610879287318087010190962, 17979256147381045578245413763483, 19574979585657013387350108991802, 21134706575861544762248358746159, 24201060546598206232952696332922, 25753016525651291295086888053322, 25765996682772086866002536454539, 26932284378393200735749607480399, 26973954993247263667001913999839, 27349200818873214036123943148282, 28362713183301365079568608170162, 30509729780998208492534948335019, 31211377970565269576457959028719, 32239971106392235184693367821639, 32715863392433260270491006840722, 33104323601428292325286224443882, 33205888550813516703488354713859, 34038025581631016665751670423242, 41454592203568109857245776303819, 42269413151723089524496717492322, 50590691309580246460056516480659, 50824898994622036013885533309343, 51531993365544173732005072909082, 51695773602518600214429299220539, 53617964618069212630120836035939, 53864568756786401471499214960802, 53947909986494527334003827999682, 58876836824997909186531290784839, 59540297849124051786683320805039, 61019459561996416985069896670042, 61719443313875031088837472165639, 64479942212784470369386735643282, 64829497730059942521099456038879, 65752819830525842837254272522923, 65948212423381287832461957629459, 66411777101627033406976709427722, 77411878780975967691016166655839, 77963371294046330715332613569819, 78709320066353206791991215584879, 82699025280804566232887053111259, 82909184407136219714491552607642, 83485288804475026523436884964923, 85351246105698896609656507351139, 85680934707764749734439187760263, 86745018085343899576412728638119, 94351053074037936700023030544763, 98600319330501278117439381943559, 101181382619160492920113032961322, 101551674398387687689424181953039, 103391547205037200428858598441082, 107235929236138425260241672071882, 108901790452583425058416005136859, 112407130378335088292590611332759, 116082581613163757053195321726043, 119080595698248103573366641610082, 123438886627750062177674944331282, 129658995460119885042198912077762, 130968270980543982937161962667635, 131896424846762575664923915258922, 141813565916506825397843040850835, 154823757561951935382032333311682, 155926742588092661430665227139642, 157418640132706413583982431169762, 165398050561609132465774106222522, 170702492211397793219313014702282, 170811607561786359674744795830319, 180807069757955910645059738556959, 184087238928801871222602025062419, 189969778646191546253981111957819, 197200638661002556234878763887122, 203103348796775375378848363906082, 214140225984250608113171721927959, 215312555325953497046792638217783, 217803580905166850116832010273722, 224814260756670176585181222665522, 236355488689383846611376330568859, 238865717859224642048618767441319, 249111018498298297399004417732759, 264368517559598790846241595358659, 271463010667913372578377204511319, 289908278654689309809448508268359, 290484261636757478445304623977882, 307401428275953974398781343101723, 310824847419351392510497170333623, 341623215123572719349489591660642, 342275785786991861317009141302743, 354981617480877397278958658799839, 361614139515911821290119477113922, 368174477857603742445204050124842, 371589840551294231199341955034007, 407120903965623439184459670705047, 419709120065837566758292755032759, 428280451968501216226343443855922, 472710977378767693222752661137722, 492883286079053703643369443686963, 498222036996596594798008835465522, 528737035119197581692483190717322, 533849192147627427320516989346159, 538100387873940571042585171566779, 568635716367603158567748589206179, 578405825814526807748919532271879, 579816557309378619618897016536722, 611648416802229341913935812502399, 651604086419959488782064982826522, 656092713100505162586307125211703, 656862830799010797866441572442843, 664635114494975827544770937821319, 681071418783613043121666178108247, 709963234961754794557917317599682, 714184718163675841661691805235759, 743179681102588462398683910068018, 762452616611906801028401077437059, 781575803405015091435820770107399, 802574163011937548881354468665563, 814772313378993504150534043432919, 823099116795956647569918092081723, 839418240131675133516585510065522, 1067698384295254854641033978692322, 1074912047919741564127734477907199, 1076200775747881142085170343133562, 1137271432735206317135497178412362, 1171516722402137285079348999525659, 1301961256135959129800259361468379, 1310746541196229182300261024605159, 1315116809414530626564829176595079, 1329270228989951655089541875642642, 1357277267658559985336735202200843, 1428369436327351683323383610471522, 1494032334003102982562978662496903, 1550518440021462917249751652351859, 1563151606810030182871641540214802, 1604538981543103555385365109837879, 1629544626757987008301068086865842, 1781734650812158729185062628529979, 1793978948754533108795170448432183, 1921692862470998866099509472819979, 2112773213395696090386772492069679, 2138654444653106324026899607109723, 2145582642103587358864131721375259, 2149824095839483128255468955814402, 2338052310949692512261226095809202, 2343033444804274570158697999051322, 2368636167786297607776770120331899, 2494122163103566307481562007422679, 2570156592190251417904789547959163, 2575895812941374470354011187930907, 2621493082392458364600522049210322, 2639184051308131524026521023294167, 2650639947492281910724835116566959, 3037174281429134250890537217143099, 3101036880042925834499503304703722, 3433160887264541605660569435467579, 3472627547100256095954278881727879, 3512094206935970586247988328004379, 3538405313493113579777127958864379, 3563469301624317458370125257059962, 3607883631459060967648449604858259, 3843385724941997732199018945639962, 4168083488084404394638942207276859, 4225546426791392180773544984139362, 4291165284207174717728263442750522, 4425061787962804296930155113657751, 4559550901392179404718291047845419, 4737272335572595215553540240663802, 4776745054150043390813299848296759, 4988244326207132614963124014845362, 5167772072580465000937692846704498, 5264045967272602941870470684478179, 5301279894984563821449670233133922, 5771213149138331042396149454041919, 5931789619461747118584790905340007, 6031761832324475523624704775032279, 6074348562858268501781074434286202, 6478168701793181939770664026373018, 6799299583052047531052611512814487, 6936274840461042333021214766635751, 6945255094200512191908557763455762, 7104764658595435026686106239628842, 7215767262918121935296899209716522, 8336166976168808789277884414553722, 9119101802784358809436582095690842, 9553490108300086781626599696593522, 9869313313590314483991508798981139, 10018218132163425377314787978299451, 10206195279512175133541771902559162, 10528091934545205883740941368956362, 10714144361773503076838465568138179, 11296653867980710195688418347967227, 11542426298276662084792298908083842, 11935871735889352604875233532885787, 12063523664648951047249409550064562, 12108346789335353552423294282047139, 12144037369640852274758641177385399, 12186993041139176408484339498404951, 12234439996464703139035465760021162, 12518022250218670284974885021654099, 12552260394229829213733948175539287, 13609929195912832404673847094455159, 13990500597024274634404282341934907, 16279039389321093276108866183561459, 16931864821976171385573194585720939, 16958297840885828677057352844924347, 16981127050453994477385453387259751, 17997425275039699327944564242185019, 18862630258223961025699610979677639, 18898780654179921704945898943690727, 20519654533519693528241037450117851, 21428288723547006153676931136276362, 21950282216339171540268344943442562, 24124929469892231712257749719407159, 24216693578670707104846588564094282, 24288074739281704549517282354770802, 25036044500437340569949770043308202, 25633397476788832801735558937562587, 26934662422174283420437289852355047, 27219858391825664809347694188910322, 27345588194401267826343099614969687, 29103437331150034451606841377528987, 29859780146432655410835506131946879, 32558078778642186552217732367122922, 33863729643952342771146389171441882, 35305712169439428248762965031953739, 35523823292977175133430531198144235, 35858213233172354297365058724256979, 35994850550079398655889128484370042, 36294638345122261554958512228807767, 36979514632167235564801528500730727, 37725260516447922051399221959355282, 38444641098777609838141833986768279, 38575182865519728918089233619783879, 41711699230279988424220737410452919, 48249858939784463424515499438814322, 55970151738352235044343279553616199, 59719560292865310821671012263893762, 64231768967308117044330591235281179, 67076328870703585128385102447782659, 70611424338878856497525930063907482, 71716426466344708594730117448513962, 72676718641797437759690345437015919, 75103246645245341758194153920070419, 77150365731039457836178467239567762, 83423398460559976848441474820905842, 85647553274411051858419592334735479, 96269543567763159665987727441379562, 99537921656748505190975276028532319, 107929633331637325632349831578425279, 111940303476704470088686559107232402, 128463537934616234088661182470562362, 134152657741407170256770204895565322, 135103731512398949878032571724477459, 135413613510217521116825510527282679, 145353437283594875519380690874031842, 150206493290490683516388307840140842, 165285544871315005235378331043738619, 171215089891450879828163645364477338, 171295106548822103716839184669470962, 182118328252876732266549337468752119, 183426438072824527904543483802006779, 199075843313497010381950552057064642, 212967154555447838262834172977815939, 215859266663274651264699663156850562, 250171597271617098811951192251596063, 254876801351269971246292317018414719, 256290617162717976951961528061658179, 258019028821732166649942048537004562, 270207463024797899756065143448954922, 270827227020435042233651021054565362, 364236656505753464533098674937504242, 366852876145649055809086967604013562, 373175827608919805080531907311533419, 412647563486696639577795280428074819, 423653955483396056651759787803997119, 425934309110895676525668345955631882, 459069219368602481238773117981868719, 499439016444753737686123621578459539, 509753602702539942492584634036829442, 512581234325435953903923056123316362, 527480006720352434176194537742411679, 578403457188164036601477550625179559, 746351655217839610161063814623066842, 769998038814489285139716234158992403, 825295126973393279155590560856149642, 847307910966792113303519575607994242, 855593292360083658310706782672800479, 918138438737204962477546235963737442, 925031200991903235167847019560137183, 933582050328831354334058758008087239, 954555370709606595408904760980596143, 987409084097534162456790208149349259, 998878032889507475372247243156919082, 1004629948025644534203802304371551179, 1054960013440704868352389075484823362, 1074544282129131922954937839651001699, 1077737988581980889408091179894811179, 1156806914376328073202955101250359122, 1186495697985437649456579742018044503, 1208934436547496034955631906927419219, 1304010862152293052093789669186574859, 1434381244513201596423467437313526479, 1443137739267068767205630329819453919, 1676118279515664330047858809122917963, 1688392210521726007520926720253981435, 1706901795478048062559289998131951239, 1711162656978884438687391154695091559, 1711186584720167316621413565345600962, 1867164100657662708668117516016174482, 1974818168195068324913580416298698522, 2009259896051289068407604608743102362, 2014710466257679583268676512202105319, 2149088564258263845909875679302003402, 2155475977163961778816182359789622362, 2298290702820771928333097785240940219, 2345425103306009869102407817568162819, 2348680197148291354808712908948365583, 2417868873094992069911263813854838442, 2493346578817983876895172237080747439, 2608021724304586104187579338373149722, 2745466530188775110922736641788486939, 2868762489026403192846934874627052962, 2886275478534137534411260659638907842, 2937272089842652358550557153993650919, 3121862469142340247049783018597879799, 3422325313957768877374782309390183122, 3560652221161686368856098611140465839, 3937947067503370236047763843382979303, 4596581405641543856666195570481880442, 4690850206612019738204815635136325642, 4994390164447537376861236215784595435, 5874544179685304717101114307987301842, 6004562246588866834795823482526119379, 6204937019953530941517160108092218879, 6216146606603073428512199204458877579, 6243724938284680494099566037195759602, 6259297664222578258510459597113785963, 6317770469053104518851211919560488019, 6703447787250935277890819365827511979, 7121304442323372737712197222280931682, 7180080510477288335940234327535493939, 7235530818663735794224215869517479279, 7239755187108748292193142258182828359, 7618944838337961874523687866512174323, 7914271900404300760945924864620054839, 7947737334870469854497994653691288119, 8051693959077984741235510244973228239, 9257214780712473216477163873578084059, 10300841161750658084260686836227624583, 10910995752989004653488344246391470143, 12009124493177733669591646965052238762, 12409874039907061883034320216184437762, 12432293213206146857024398408917755162, 12600152500595751738593767439306454959, 12635540938106209037702423839120976042, 13335643264183631545089821411786859563, 13406895574501870555781638731655023962, 13420900440086776765410054686662450859, 14471061637327471588448431739034958562, 15198116071981637634302420849759156279, 15828543800808601521891849729240109682, 15895474669740939708995989307382576242, 15953250951378576504813957182663161523, 16103387918155969482471020489946456482, 16579123258931977116800013103952861219, 18514429561424946432954327747156168122, 19323585712366806374916389845371068879, 21120520741463757575593924158678219923, 21995622883333022111774402436874428143, 23058368765558909307712652060016332279, 24316087508096777584455609460013909579, 25200305001191503477187534878612909922, 26086030603352891003002443947801938439, 27162892673418203182554369412890781103, 27829363167718318999529478140641517003, 28554049162895053372251460977084468359, 29065592218313924694172860626338328903, 30259192680957957778656126474597377159, 30396232143963275268604841699518312562, 30913330424286479766184990605161408063, 31410164555650418252979275685418655723, 31688409134726096508516267397602898859, 32016586098166111684714815049626958559, 32180716890621222946856114799809854499, 32288490932938181180182885042327450739, 32788549299720618058000301201296940243, 32996906952546633423757557934200897263, 33158246517863954233600026207905722442, 33872009094415897959938036212397536403, 34095765596599492693066623844001843159, 34269463679583409729748335458109741859, 35348606948577306831042060649569643763, 37497432253588565324114303364926808239, 38647171424733612749832779690742137762, 39938509257211503586450877741595612659, 45623380713803164588647315948184052339, 46116737531117818615425304120032664562, 46540154386237632197979245572961964563, 46665168977933241417433599612704409839, 47165227344715678295251015771674197423, 48632175016193555168911218920027819162, 52172061206705782006004887895603876882, 56124606416234339022813055286551315283, 57208066210929618924750790297652959763, 57674483179275711875378115488704447139, 61166861614623910874138668222832459183, 63376818269452193017032534795205797722, 64033172196332223369429630099253917122, 64105551789445758626098591995612364139, 64361433781242445893712229599619709002, 68191531193198985386133247688003686322, 68538927359166819459496670916219483722, 69273731466121313621702294177103587162, 79877018514423007172901755483191225322, 115348966358551423750756230977408894282, 128211103578891517252197183991224728282, 131281841361526448423105871096032460722, 133733439420659009895172430773611739739, 140427704976791749777614875929440090122, 144195113885116008378392404167580526279, 156972384280578014413914659788250365679, 162938271872916916405674332992050520082, 169443406535758812762944099678673495239, 241267050568167566622242495456991256199, 245703806009816973021751082179904047739, 267466878841318019790344861547223479482, 288390227770232016756784808335161052562, 302881207242970885247945927061082332239, 303411823300800130367221263154998970199, 313944768561156028827829319576500731362, 338886813071517625525888199357346990482, 444050748602201058804550265532187813043, 455003552106630128231203746447018008579, 482534101136335133244484990913982512402, 484301717098391276801941225103961086003, 491407612019633946043502164359808095482, 501281574544035100197487190520540550799, 519594379228350655186842790847169401879, 595765937549379572794716190071948865139, 605762414485941770495891854122164664482, 606823646601600260734442526309997940402, 696393358789855117788193589001382597439, 716518843037950226786889068787269380403, 910007104213260256462407492894036017162, 961589149018054672774400760029265951659, 1002563149088070200394974381041081101602, 1039188758456701310373685581694338803762, 1094103241066456242592968687741159637019, 1136009959976327071168429647928897539539, 1156183268150181838758390319494337521683, 1273045557127294517468382309523334188979, 1397689079127323146742736076924983056243, 1513797642097102621735209998766640186943, 1529986483606836604177102618894904228519, 1543211811382780088733303392299860057683, 1560241067285014411732199567503303152623, 1617521291683438952728486702278520899539, 1622165634202230131728185659152187207663, 1752207224728383143719756451614844098223, 1769236480630617466718652626818287300083, 1836823879978654738107880548137671672979, 1888938956697053279676596563477102988039, 1896964657594673313556710695953095003359, 1899628429747277067366043162208977048259, 1923178298036109345548801520058531903322, 2108427085003757915530651116089530936019, 2188206482132912485185937375482319274042, 2244507531720248117687845880223478357439, 2272019919952654142336859295857795079082, 2395042461594047309006853781125431793659, 2442666145855338421675001373499911812543, 2496850141907902176671489203692686790803, 2546091114254589034936764619046668377962, 2604785163849295120561012569097985090279, 2843188545983024582908935222873984731939, 3059972967213673208354205237789808457042, 3196306733996500521244298720291460621959, 3673647759957309476215761096275343345962, 3777877913394106559353193126954205976082, 3793929315189346627113421391906190006722, 3799256859494554134732086324417954096522, 4216854170007515831061302232179061872042, 4790084923188094618013707562250863587322, 5209570327698590241122025138195970180562, 5388100995889429721119047453538351682423, 5686377091966049165817870445747969463882, 6089054982224730050784542830006874561579, 6370134885629122341219362725982317553459, 6392613467993001042488597440582921243922, 6488765845325693740469761967465222076839, 7142642182244959235494003857256709592959, 7648515614760637164563654187576513434939, 7658098778027095071066693650626374446063, 8847518374015136477989183272815149225859, 9162827725430746635526010658779534062019, 9200916605188395558362919071527327391759, 9950208694833589564003838416476868265663, 10966142032494038811404139323436162660443, 11762663671601065040131629972072616921139, 12178109964449460101569085660013749123162, 12202933648021158381493683724247989442279, 12740269771258244682438725451964635106922, 12977531690651387480939523934930444153682, 14285284364489918470988007714513419185922, 15297031229521274329127308375153026869882, 15469380380180229177343912671618981492239, 17525223516652139244236244655816947450803, 17695036748030272955978366545630298451722, 18023620277971935823478942258537928973559, 18325655450861493271052021317559068124042, 18401833210376791116725838143054654783522, 19560994362867440815042774793308836669779, 20302078801511805018447639995218617798242, 20553903512410349018773437226141220321039, 20652706692492633939628040818652945244002, 23525327343202130080263259944145233842282, 24163038922559252239804009467681476111162, 24405867296042316762987367448495978884562, 27850038704222841179146078928074830022199, 30739667149688671457567942909160957095639, 30938760760360458354687825343237962984482, 34550192279615174065650659893555870526219, 36047240555943871646957884517075857947122, 41107807024820698037546874452282440642082, 46779848881622235514031423553163483370819, 51923020936988446482189104265324111054059, 55700077408445682358292157856149660044402, 55800083341139936027707674952355765116739, 60037122049217050671160166799795081578879, 61479334299377342915135885818321914191282, 69100384559230348131301319787111741052442, 82012676719835142967749084849499704908727, 87172596931994736151109022066095661309959, 93559697763244471028062847106326966741642, 103846041873976892964378208530648222108122, 106988279765580304101503512499264704194059, 107831203194944977333532281887934983613559, 111600166682279872055415349904711530233482, 114065633235539693373173554297709826195239, 120074244098434101342320333599590163157762, 153001337038014165955930133945338085171939, 159340044292559761161692489542899703717679, 170797675611345909398460738295938233091923, 174345193863989472302218044132191322619922, 178634573311297780403034882839028916468739, 199672848953694755239465205124135838371539, 202993201029839057690007031415050847657519, 213976559531160608203007024998529408388122, 215662406389889954667064563775869967227122, 222580604424096510426244120015332315067859, 228131266471079386746347108595419652390482, 235034841963444187186756527343326534484739, 257351514517301127301136479960651939699439, 281074422355028126073869670016605502989683, 306002674076028331911860267890676170343882, 318637473292766543667200023089504401436779, 318680088585119522323384979085799407435362, 357269146622595560806069765678057832937482, 358783549839916192146867113682958329062039, 368123297876530422720638116369673619527759, 385837331761526231915508155151239410699679, 399345697907389510478930410248271676743082, 405986402059678115380014062830101695315042, 415769591591954262155976293761134813136463, 430875377690723906331278701459110561844439, 445161208848193020852488240030664630135722, 470069683926888374373513054686653068969482, 481026006317552613670889416053051892035239, 514703029034602254602272959921303879398882, 537074013010004700498926118653868813549983, 579783730879818265145376563732337319225619, 593010756489728795242880179288035113677235, 596048557779881227256602454899112604743939, 610329280489736458719019194725454931509779, 637274946585533087334400046179008802873562, 686431107927455363215111262558537795328479, 717567099679832384293734227365916658124082, 736246595753060845441276232739347239055522, 791498221568642957542905296837979742041779, 799375132050334544448291649103741690412179, 831086536652806987269742868057842265031842, 861750755381447812662557402918221123688882, 866328871144713033144075643362718251851279, 962052012635105227341778832106103784070482, 978180999984733567200561845536537920357023, 1037257828597420468990959487529752534590323, 1135662829360284855270788444981029377226823, 1159567461759636530290753127464674638451242, 1192097115559762454513204909798225209487882, 1220228423058575531698890160979190422412599, 1372862215854910726430222525117075590656962, 1582996443137285915085810593675959484083562, 1804211532309658755346313467329201882720362, 2069588759773741386485596126030071014087699, 2082025237992132357831706626972421627246442, 2112285976102572141064677352189415143098779, 2319608108639600393722676699386897814243339, 2440456846117151063397780321958380844825202, 2591486589093530293748651363531048386577819, 3327871017728699709671482957671012660548522, 3548636836281985024638361726732399426529939, 4139177519547482772971192252060142028175402, 4224571952205144282129354704378830286197562, 4639216217279200787445353398773795628486682, 5182973178187060587497302727062096773155642, 5533146019817059435979863608965726630200799, 6280933753226316538667887846546110613729019, 7097273672563970049276723453464798853059882, 7868991136014019576852839321047862012855719, 8248511720276872983058809719531043351743579, 8426201460192899966743503412692887490308543, 9141951903180876859967171548636264915350383, 11066292039634118871959727217931453260401602, 12561867506452633077335775693092221227458042, 13004411675544236681931922263258886084237322, 15685787294945289025805399591674365218955863, 15737982272028039153705678642095724025711442, 16392866529362968806065188700878839370006919, 16497023440553745966117619439062086703487162, 16627572515224615658341735503799298628814019, 16674906984965373564721746180472434159401999, 16784022865999733143228119060298041485179439, 20809445890715139144518292593611583085599219, 22178601659323221204925646404796129061563219, 23041257913579018061381057968137384891448883, 23774129487465970877015093881527884119976879, 29994810906836007301711474594201558050637139, 30172744931161807998868343934618189776218679, 31455204529725891963701088872305942167284339, 32785733058725937612130377401757678740013842, 33255145030449231316683471007598597257628042, 33349813969930747129443492360944868318804002, 33568045731999466286456238120596082970358882, 41618891781430278289036585187223166171198442, 44357203318646442409851292809592258123126442, 44734871910300011995040360881788821855386703, 47548258974931941754030187763055768239953762, 58816802033250554689312810715589260489455559, 59989621813672014603422949188403116101274282, 60345489862323615997736687869236379552437362, 60378731901771838377119492182200227190147659, 62910409059451783927402177744611884334568682, 65022058377721183409659611316294430421186635, 94712043359156457510612707063917018375574039, 103201504096607651195877028344356042822168459, 117633604066501109378625621431178520978911122, 131511409506089719636844556042488476897644839, 151006862125644805727213546284436079210985922, 189424086718312915021225414127834036751148082, 206403008193215302391754056688712085644336922, 263022819012179439273689112084976953795289682, 273925720052000811938660098681705871279594159, 299948109068360073017114745942015580506371435, 305000541423363311382157158037948943359407479, 318982031679547320203930320091604267052387379, 433190310801815052435127973745403504697059259, 469461606335625053080757566130506617784622519, 513241659114537411965100794589928795924781039, 547851440104001623877320197363411742559188322, 561446690067886824321520192474327636176393383, 599896218136720146034229491884031161012742874, 610001082846726622764314316075897886718814962, 631657356858193334385628387358367097922337419, 637964063359094640407860640183208534104774762, 642438799179940915221434587296715664947703522, 665537113257220811644860291411465688623454979, 755034310628224028636067731422180396054929635, 866380621603630104870255947490807009394118522, 918334597217985397369507956926958501993176783, 938923212671250106161515132261013235569245042, 1026483318229074823930201589179857591849562082, 1263314713716386668771256774716734195844674842, 1331074226514441623289720582822931377246909962, 1391712243867586335366858412921080492342730979, 1394219784932319298036774433579704031978940059, 1459607129638513933075167595069324323121427339, 1982666031863244248253201088736808031496246999, 2218950499345577743569427296689926092905721779, 2690743736001809776980056355633215966704451939, 2705340921321621628881650304592214758301728139, 2783424487735172670733716825842160984685461962, 3231362758214567418091009951898553293393557703, 3252354185451082310751361112971371669185152679, 3389195384756929144198720481060229255427490123, 3965332063726488496506402177473616062992494002, 4437900998691155487138854593379852185811443562, 5381487472003619553960112711266431933408903882, 5467180565598208652122742576481913157007971819, 5526240582992265129564564782522774558947902023, 6219593025086396360372149822552844812979752139, 6504708370902164621502722225942743338370305362, 7055415147062883323537457816013751420580300683, 7520816101345245382572686130554483508903575063, 7720273653180543407873498265357654403899317003, 9382419918474693618713599388717411862198401303, 9638865342262933936957500704892917298621884939, 9794839594499590876166735314912653537561895019, 10731043452342422406202788941399264582021971619, 10934361131196417304245485152963826314015943642, 11207878211682661497065304962397971884705001879, 11414987351462968733683780190997343839778564103, 11586558892799650973460223298452768727839712819, 12162542650398610388250412193906652393971069639, 12231813516121808265868058457334138933573390103, 14169401162521846225933090623993513342112083863, 14929239455227743465174279708957973894481016983, 15187481417993836487633833283871074006378865419, 15337652537557163231266418842126371441379508939, 15627201087872926016213603162544934271348491019, 18630725176218286541421603031604754283483402979, 19347899717915114393193699446118514468872885419, 19589679188999181752333470629825307075123790042, 20991386650336687268647235777684948352530837519, 21462086904684844812405577882798529164043943242, 22415756423365322994130609924795943769410003762, 23173117785599301946920446596905537455679425642, 24325085300797220776500824387813304787942139282, 24356011183552489064833435364915537438485358039, 24839550292520322370547991305471055700056680279, 26624182260671631128505942226335239081365744559, 30374962835987672975267666567742148012757730842, 31254402175745852032427206325089868542696982042, 36915957010128656842375451061066948393853804823, 38695799435830228786387398892237028937745770842, 41982773300673374537294471555369896705061675042, 42754363487126369479665713460388874020799629199, 46505109078921009878485569198716022417138256439, 48712022367104978129666870729831074876970716082, 49679100585040644741095982610942111400113360562, 53248364521343262257011884452670478162731489122, 53912432736058661835005943972393949958666110319, 69767643646932028375489015118774579727037898219, 85508726974252738959331426920777748041599258402, 89304862426263489072131824005860834792117504282, 92702726511588421221117386381516350005170693303, 93010218157842019756971138397432044834276512882, 107824865472117323670011887944787899917332220642, 117543090059281601486229222377998895003789042639, 119868642543764630456819508238370912877511471679, 139535287293864056750978030237549159454075796442, 144366109621234200883995754522060153033611224882, 235086180118563202972458444755997790007578085282, 239737285087529260913639016476741825755022943362, 313977514369239030093514072675611714344930598119, 325236395928939830397735347953623607861161852362, 337741570810973442217271203930709543650174555031, 407009720027668142084889001661999231836259399159, 551239075108985319302571485234057728441784556899, 611842921714099142601052278306187652282265212639, 627955028738478060187028145351223428689861196242, 675483141621946884434542407861419087300349110066, 762744033124297427822750964308866580713711649159, 814019440055336284169778003323998463672518798322, 1102478150217970638605142970468115456883569113802, 1223685843428198285202104556612375304564530425282, 1470770016663964604456263883931279469325230586759, 1525488066248594855645501928617733161427423298322, 1554625300645617344539150612000315657870503038639, 1588027205833576209723953299742661683369723473823, 2674635565382083196749625763703217576863168615922, 2813966682697388499311538162015459808584014662259, 2941540033327929208912527767862558938650461173522, 3015048299602460062383212851753819576322731875119, 3109250601291234689078301224000631315741006077282, 5529018730791977116761500915211601333639751490443, 5627933365394776998623076324030919617168029324522, 6030096599204920124766425703507639152645463750242, 6341728999242398081995605639585755716392807480719, 12441158353321772876630064361925717261777123302979, 12683457998484796163991211279171511432785614961442, 14913912025186002675046014608978759410283623242983, 19025129701977026898421686656059446251112809126123, 21494036841364459271726179801299431096059301898779, 24882316706643545753260128723851434523554246605962, 31259787090497565052844564148683590825026541773962, 32280647303165926150064749292420440267275769394639, 42988073682728918543452359602598862192118603797562, 46994044035535867691621980762687795351227443213159, 50258170947366116676690853372992985108246257106439, 53467920604858605565924786091414330492632739812139, 54644392054254084928494019182458709296897879322959, 59035915298205547618562640413151014824846671660563, 64561294606331852300129498584840880534551538789282, 65214042020178276053518123726688447253087108132059, 67717934362109015906280596655913934596413195973739, 75630264403800003952353322889182727509889313234719, 77564431396080412705739147147393309729031889862579, 93988088071071735383243961525375590702454886426322, 100516341894732233353381706745985970216492514212882, 106935841209717211131849572182828660985265479624282, 109288784108508169856988038364917418593795758645922, 130428084040356552107036247453376894506174216264122, 135435868724218031812561193311827869192826391947482, 148066937555420744360786081813427052702739212022759, 151260528807600007904706645778365455019778626469442, 160349428811178925636438011811110799359348088982759, 270748907979180908052960634275721031165069159984399, 296133875110841488721572163626854105405478424045522, 297095543366120850100165304554118452803696578535923, 307252368719261144514218201428370521124853680388359, 320698857622357851272876023622221598718696177965522, 377936483671342197655064755599530248251378842841419, 505694198318273422722675638198250793236529565716019, 541497815958361816105921268551442062330138319968802, 571111303873418346658291620250526310092190049685159, 608157353010242534095114415298505812611685799202762, 614504737438522289028436402856741042249707360776722, 755872967342684395310129511199060496502757685682842, 787135016614325099199734047191630193323201696887459, 982113382442931005850025230954057915698606109433559, 1011388396636546845445351276396501586473059131432042, 1068594396415446964987841409048096763101002988498419, 1092915651371200330618959309670633725745230540089219, 1142222607746836693316583240501052620184380099370322, 1574270033228650198399468094383260386646403393774922, 1762511020991885660281546743706553349876862755701723, 1964226764885862011700050461908115831397212218867122, 2137188792830893929975682818096193526202005976996842, 2185831302742400661237918619341267451490461080178442, 2439687379436545463799235298530190048574389814423959, 3003051951265121933954511052848839692025456186693939, 3334568400031267572018533937950545414770352339083242, 4466385010989294592542055769873711044965513192888059, 4877895466142239576305234748608446870701705574195282, 4879374758873090927598470597060380097148779628847922, 5758927252988947716172012271687460552853672990004099, 6006103902530243867909022105697679384050912373387882, 8419168637625995008307525144041269317917949213898479, 8932770021978589185084111539747422089931026385776122, 9061267916641500678695670074277440940126054613890599, 11517854505977895432344024543374921105707345980008202, 12741839161254422093833624385508212186469751454453042, 15430149410913312699730950161776970447757817770695519, 15943428591702812313308504452753074717550140601989407, 16838337275251990016615050288082538635835898427796962, 18122535833283001357391340148554881880252109227781202, 24934451473419943897899691027238738317079117767314923, 30325018040302059284747256908867080886474605831598762, 30860298821826625399461900323553940895515635541391042, 31886857183405624626617008905506149435100281203978818, 62896151870024626954104219267068653084680934236311963, 63378161570384403312072084581135125653287244490871759, 95113251530637486433770093382507164234459326652088559, 126756323140768806624144169162270251306574488981743522, 185544961858825748178627261200368810292521465923475583, 190226503061274972867540186765014328468918653304177122, 240291463782525209146855480828924577139417529476931379, 272740353494665815691259505068111378385485319787722719, 467638105190715461950640102573979933152027301551664563, 480582927565050418293710961657849154278835058953862762, 545480706989331631382519010136222756770970639575445442, 1253619134798555571110445330392370845770338332568253523, 1334338733559134012024200672073462270277697417035852482, 1643341673636977283094437523590124627069436115133697619, 1889449378334493403488650090898399610948655759793632219, 1938617730298545911179178245787399481051993836155098443, 2185900558693082779016009033432549543607038887087850939, 3286683347273954566188875047180249254138872230267395242, 3604674215078185094720070546754720475772873176563771343, 3778898756668986806977300181796799221897311519587264442, 4371801117386165558032018066865099087214077774175701882, 4425323536330915989714416249963035840719288559936650479, 6371253241731486768069081649896880925021744532691723259, 6894227529736236388092564000496233270105508496144081543, 7247679311632192169054594401219232331867430793752161239, 8139681464476324143297241342537281357454430059708152203, 8361614039743218199029986787988539329896322834586561179, 8850647072661831979428832499926071681438577119873300962, 12461318845446576889041942835427970416562763505161527419, 12742506483462973536138163299793761850043489065383446522, 12954873972517528543309504499362788821133414414677096459, 13977797559896101036935485950902508768557317345536190483, 16723228079486436398059973575977078659792645669173122362, 24922637690893153778083885670855940833125527010323054842, 25909747945035057086619008998725577642266828829354192922, 34541093918062610676469573356590430707716210992664552079, 40833225298052367583650570533427585516450804420667869779, 43449005776081920977069509885419540619193634601394644079, 69082187836125221352939146713180861415432421985329104162, 76031269302130357123860310836026923322700499734877448519, 81666450596104735167301141066855171032901608841335739562, 82529862233060185480992106515726432688872752778270950279, 86898011552163841954139019770839081238387269202789288162, 114857167354329089825026792698108294549334945211747549879, 152062538604260714247720621672053846645400999469754897042, 165059724466120370961984213031452865377745505556541900562, 229714334708658179650053585396216589098669890423495099762, 316704149265368225655555523732522592669752303850595994439, 473429037848566355759420184207914901474755425300291294943, 498025593620080641226262440638559817383531167209285734979, 596938207812508781711113353153249254253624225854969990399, 699501486274545264107278311515629832612816415348069994922, 743226674592437644697479774344918484544677461288970142723, 996051187240161282452524881277119634767062334418571469962, 1123552887168244548414228643184330465414017987963155449723, 1193876415625017563422226706306498508507248451709939980802, 11891525266667269489823731295765707154417879060917189913963, 18538284285315774882977359022176123824468665206983212932103, 38554914054228594056284367331683308850140951890455592672119, 58072408062983503229991233208627824071379733436594918724459, 77109828108457188112568734663366617700281903780911185344242, 116144816125967006459982466417255648142759466873189837448922, 168912995524347041285078340826135128419587927614033131293559, 337825991048694082570156681652270256839175855228066262587122, 450717140839902033388334997547973688930583979195331977102039, 855991401137439344301562666896513666562812584263205707026482, 901434281679804066776669995095947377861167958390663954204082, 1030884464856651402990567342109676542955507895189326553281282, 1226711444622120385285354817710120300687633758505641387277682, 1282320405906940456566840713832346414554240277266531729264839, 2564640811813880913133681427664692829108480554533063458529682, 2692253557355589652116803504505523471471659026255724958446482, 2846458660133156310003082317079175955355261309074342268130159, 3840209739622364929788534226639010905222472905742462661398339, 4690740436990694006685928729078232639924979166768354200008099, 5154422324283257014952836710548382714777539475946632766406435, 5692917320266312620006164634158351910710522618148684536260322, 6684753781153408903589398643560809594933315229534392071029439, 7680419479244729859577068453278021810444945811484925322796682, 7788092638954175999369442201000028387728472281872029719778643, 8007255494223656549635847520586764743892414106390896111650039, 9381480873981388013371857458156465279849958333536708400016202, 13369507562306817807178797287121619189866630459068784142058882, 16014510988447313099271695041173529487784828212781792223300082, 16056802281800498099359095565610143361407926670711888864134239, 32113604563600996198718191131220286722815853341423777728268482, 55108742752844616355488841738203262967389222194707470027653482, 165429826455658345945968498171278605899067455312454902193793162, 183738432863978117524058901813099284427686299800159478537187162, 270155161769060420892856189198544725189168977107399388862805882, 602315319309461109175109215495669067637628175426269921153582943, 1286346719957080403290308083001916908207886676623477462651261343, 1580352838167731125792563657144742277753863848412110550608429503, 5380646695580034129306933736075059216507970963928201607004971359, 5435164149561542298074644328925397187363238810104575167769003283, 10761293391160068258613867472150118433015941927856403214009942722, 16279001692855581641919883441437713696794832160577000349297644319, 32558003385711163283839766882875427393589664321154000698595288642, 51448676027709745589196202931267646434609978602173474582269770103, 60625426436615704169061122867502584407436848522975778383418673242, 65577540406609311556584497845147611034159525462194577282519203242, 69429876574648528169464040624025994373616427116601642937741177723, 118374227302760750844752542193651302763175361206420435354109370063, 167475429893098113188516236617143537228146622417340885583979021723, 168423918760357681090665534111933740281247216700052927404089320619, 211482936226438813270191795986877276376266931069983559796303748263, 336847837520715362181331068223867480562494433400105854808178641242, 487591948323184621866552305934638623999985443263555793245190774442, 643327334390641766063636546659005193797192391059930824134046781119, 1286654668781283532127273093318010387594384782119861648268093562242, 3240283856381757752470032916522875455956551486604409822687698037042, 4907647172164718317241285284892835381409474390116743848880327407235, 5437186565413764268401241069440196374729473941632718116665413231103, 9707091356765120423417539535694286036945480142824228750929116713682, 20817640098318676228759121218690737533953614010871898723186088105682, 33378968066964139582301509403180134016387198460257039836802274709259, 35982967215215746579676647213273737663749229580263631957784835692882, 68431064674386874056525583255402603115548374719238868037889266206079, 136862129348773748113051166510805206231096749438477736075778532412162, 151641095928510417400497767145672612063995472854965851699254330948183, 482802294600881905118034904561908442937526171504057063580467007541459, 1483635656283471999681294337085750350898487413450666657834290784661059, 2565262225625743049470472386706484248434252317030127474137586957529522, 2967271312566943999362588674171500701796974826901333315668581569322122, 6442558385367029750207645849504619345874194845837245569891711249831923, 7088644541397502076196299501014926319758598227311935495683612631536563, 10033667112594493148769913351522993604671700451477451113399535968194522, 83339179428656909978323270102475881086253277805227024804805130298628623, 172309420850106148874331418637103754644950807543043469719405172308497039, 235746616299490934390626778548789909125550028176786268139855549228564263, 336049351556972339480631882658549436544887053530946699112023891436384543, 495534309198679647893552308586640617200094796092522663716653122076822263, 806619489992655581610596319179409152722704507835215053802624274779637442, 1418376601689374298677694079852824191229667131594831844511962654118912042, 2578652447936784739233867731341409356400627016029704936143680743826058203, 22421841824497267440219895821979663707349952476485258160596534166917310082, 250858661387715885880895455264796246496761101936751881732616149456467341183, 1079384593885613841293725194767999209525776687143667033673603579784492643083, 1492420619950949111991357280916797324833854191626721069264342065003627654962, 3340854431850092848592764477474969892395142918996303465928883590870679224419, 119732983855529809223113696426353135811852811734043652156353942099750839535522, 273516907116575561008409170970658911388346550322484183231997854295001353602322, 983505188547675464802304448124169437065509912282009184645201420837390625054239, 8168672235856701783354202180262450939561014146921700703249744314134464613960242, 12093031369408510731534483339061666716997133985138408867791748152074834793097923, 12780319900072616356891051142317811757478704769889943519267872606361699202335842, 117885786967244066794624352688353990808377363188990682972991075201145583402786543, 450348830629304472333922380196684616616064109700016704681129388148518684621030082, 616891549903421890456860786850100074042305783749530271623984752074102909979476882, 874047929236667090818899633288082250533028513720621975247722641612387713693757343, 907402712905155761339264631104564634780988038662185989868018955051680643365849823, 180589881082351093405902874458870531263041707989706698577132884647555992533033223683, 475655366500203902238520856113612606264598266749135002592314393082751123873505709722, 1875967203256305968879313652811154325162651888382321556008537631057346949247598445843, 13656745131761953810933984099287515439148565440647101153211774441416490221125904259242, 484692818463707776381052752379771245783625633817368567641568366551323395227102319245079, 13342639993731428873282502465003902584048148435512217826687903629263910946040008462233963, 3413177494994328584598157291341801775538461754528948491438483427064689824571693489127409922, 12632169908974010091597780135256008371267846953511638366813827163566417040739837603260557818723,

]

#arr = arr.grep { g(_) == 107 }

for k in (13..Inf) {
    var t = arr.grep { f(_) == k }.min \\ break
    say "a(#{k}) <= #{t}"
}

__END__
a(13) <= 848839845911
a(14) <= 1697679691826
a(15) <= 28860554761331
a(16) <= 57721109522666
a(17) <= 634932204749447
a(18) <= 13044970752148058
a(19) <= 5512943171422045715
a(20) <= 888433389796326540098
a(21) <= 12793929410715149772807
a(22) <= 1629093678297729071142578
a(23) <= 4887281034893187213427743
a(24) <= 106984460100222506038884628082
a(25) <= 4020421268362574987093101220915
a(26) <= 7104764658595435026686106239628842
a(27) <= 35523823292977175133430531198144235
a(28) <= 68191531193198985386133247688003686322
a(29) <= 9950208694833589564003838416476868265663
a(30) <= 1582996443137285915085810593675959484083562
a(31) <= 44734871910300011995040360881788821855386703
a(32) <= 89304862426263489072131824005860834792117504282
a(33) <= 1588027205833576209723953299742661683369723473823
a(34) <= 3334568400031267572018533937950545414770352339083242
a(35) <= 185544961858825748178627261200368810292521465923475583
a(36) <= 699501486274545264107278311515629832612816415348069994922
a(37) <= 11891525266667269489823731295765707154417879060917189913963
a(38) <= 165429826455658345945968498171278605899067455312454902193793162
a(39) <= 51448676027709745589196202931267646434609978602173474582269770103
a(40) <= 9707091356765120423417539535694286036945480142824228750929116713682
a(41) <= 6442558385367029750207645849504619345874194845837245569891711249831923
a(42) <= 806619489992655581610596319179409152722704507835215053802624274779637442
a(43) <= 250858661387715885880895455264796246496761101936751881732616149456467341183
a(44) <= 119732983855529809223113696426353135811852811734043652156353942099750839535522
a(45) <= 12093031369408510731534483339061666716997133985138408867791748152074834793097923
a(46) <= 12632169908974010091597780135256008371267846953511638366813827163566417040739837603260557818723