noble-curves/test/stark/poseidon/poseidon5.txt

Rate = 4
Capacity = 1
FullRounds = 8
PartialRounds = 84
MDS = [[3, 1, 1, 1, 1], [1, 2, 1, 1, 1], [1, 1, 1, 1, 1], [1, 1, 1, -1, 1], [1, 1, 1, 1, -2]]
RoundKeys = [
    [
        2950795762459345168613727575620414179244544320470208355568817838579231751791,
        1587446564224215276866294500450702039420286416111469274423465069420553242820,
        1645965921169490687904413452218868659025437693527479459426157555728339600137,
        2782373324549879794752287702905278018819686065818504085638398966973694145741,
        3409172630025222641379726933524480516420204828329395644967085131392375707302,
    ],
    [
        2379053116496905638239090788901387719228422033660130943198035907032739387135,
        2570819397480941104144008784293466051718826502582588529995520356691856497111,
        3546220846133880637977653625763703334841539452343273304410918449202580719746,
        2720682389492889709700489490056111332164748138023159726590726667539759963454,
        1899653471897224903834726250400246354200311275092866725547887381599836519005,
    ],
    [
        2369443697923857319844855392163763375394720104106200469525915896159690979559,
        2354174693689535854311272135513626412848402744119855553970180659094265527996,
        2404084503073127963385083467393598147276436640877011103379112521338973185443,
        950320777137731763811524327595514151340412860090489448295239456547370725376,
        2121140748740143694053732746913428481442990369183417228688865837805149503386,
    ],
    [
        2372065044800422557577242066480215868569521938346032514014152523102053709709,
        2618497439310693947058545060953893433487994458443568169824149550389484489896,
        3518297267402065742048564133910509847197496119850246255805075095266319996916,
        340529752683340505065238931581518232901634742162506851191464448040657139775,
        1954876811294863748406056845662382214841467408616109501720437541211031966538,
    ],
    [
        813813157354633930267029888722341725864333883175521358739311868164460385261,
        71901595776070443337150458310956362034911936706490730914901986556638720031,
        2789761472166115462625363403490399263810962093264318361008954888847594113421,
        2628791615374802560074754031104384456692791616314774034906110098358135152410,
        3617032588734559635167557152518265808024917503198278888820567553943986939719,
    ],
    [
        2624012360209966117322788103333497793082705816015202046036057821340914061980,
        149101987103211771991327927827692640556911620408176100290586418839323044234,
        1039927963829140138166373450440320262590862908847727961488297105916489431045,
        2213946951050724449162431068646025833746639391992751674082854766704900195669,
        2792724903541814965769131737117981991997031078369482697195201969174353468597,
    ],
    [
        3212031629728871219804596347439383805499808476303618848198208101593976279441,
        3343514080098703935339621028041191631325798327656683100151836206557453199613,
        614054702436541219556958850933730254992710988573177298270089989048553060199,
        148148081026449726283933484730968827750202042869875329032965774667206931170,
        1158283532103191908366672518396366136968613180867652172211392033571980848414,
    ],
    [
        1032400527342371389481069504520755916075559110755235773196747439146396688513,
        806900704622005851310078578853499250941978435851598088619290797134710613736,
        462498083559902778091095573017508352472262817904991134671058825705968404510,
        1003580119810278869589347418043095667699674425582646347949349245557449452503,
        619074932220101074089137133998298830285661916867732916607601635248249357793,
    ],
    [
        2635090520059500019661864086615522409798872905401305311748231832709078452746,
        978252636251682252755279071140187792306115352460774007308726210405257135181,
        1766912167973123409669091967764158892111310474906691336473559256218048677083,
        1663265127259512472182980890707014969235283233442916350121860684522654120381,
        3532407621206959585000336211742670185380751515636605428496206887841428074250,
    ],
    [
        2507023127157093845256722098502856938353143387711652912931112668310034975446,
        3321152907858462102434883844787153373036767230808678981306827073335525034593,
        3039253036806065280643845548147711477270022154459620569428286684179698125661,
        103480338868480851881924519768416587261556021758163719199282794248762465380,
        2394049781357087698434751577708655768465803975478348134669006211289636928495,
    ],
    [
        2660531560345476340796109810821127229446538730404600368347902087220064379579,
        3603166934034556203649050570865466556260359798872408576857928196141785055563,
        1553799760191949768532188139643704561532896296986025007089826672890485412324,
        2744284717053657689091306578463476341218866418732695211367062598446038965164,
        320745764922149897598257794663594419839885234101078803811049904310835548856,
    ],
    [
        979382242100682161589753881721708883681034024104145498709287731138044566302,
        1860426855810549882740147175136418997351054138609396651615467358416651354991,
        336173081054369235994909356892506146234495707857220254489443629387613956145,
        1632470326779699229772327605759783482411227247311431865655466227711078175883,
        921958250077481394074960433988881176409497663777043304881055317463712938502,
    ],
    [
        3034358982193370602048539901033542101022185309652879937418114324899281842797,
        25626282149517463867572353922222474817434101087272320606729439087234878607,
        3002662261401575565838149305485737102400501329139562227180277188790091853682,
        2939684373453383817196521641512509179310654199629514917426341354023324109367,
        1076484609897998179434851570277297233169621096172424141759873688902355505136,
    ],
    [
        2575095284833160494841112025725243274091830284746697961080467506739203605049,
        3565075264617591783581665711620369529657840830498005563542124551465195621851,
        2197016502533303822395077038351174326125210255869204501838837289716363437993,
        331415322883530754594261416546036195982886300052707474899691116664327869405,
        1935011233711290003793244296594669823169522055520303479680359990463281661839,
    ],
    [
        3495901467168087413996941216661589517270845976538454329511167073314577412322,
        954195417117133246453562983448451025087661597543338750600301835944144520375,
        1271840477709992894995746871435810599280944810893784031132923384456797925777,
        2565310762274337662754531859505158700827688964841878141121196528015826671847,
        3365022288251637014588279139038152521653896670895105540140002607272936852513,
    ],
    [
        1660592021628965529963974299647026602622092163312666588591285654477111176051,
        970104372286014048279296575474974982288801187216974504035759997141059513421,
        2617024574317953753849168721871770134225690844968986289121504184985993971227,
        999899815343607746071464113462778273556695659506865124478430189024755832262,
        2228536129413411161615629030408828764980855956560026807518714080003644769896,
    ],
    [
        2701953891198001564547196795777701119629537795442025393867364730330476403227,
        837078355588159388741598313782044128527494922918203556465116291436461597853,
        2121749601840466143704862369657561429793951309962582099604848281796392359214,
        771812260179247428733132708063116523892339056677915387749121983038690154755,
        3317336423132806446086732225036532603224267214833263122557471741829060578219,
    ],
    [
        481570067997721834712647566896657604857788523050900222145547508314620762046,
        242195042559343964206291740270858862066153636168162642380846129622127460192,
        2855462178889999218204481481614105202770810647859867354506557827319138379686,
        3525521107148375040131784770413887305850308357895464453970651672160034885202,
        1320839531502392535964065058804908871811967681250362364246430459003920305799,
    ],
    [
        2514191518588387125173345107242226637171897291221681115249521904869763202419,
        2798335750958827619666318316247381695117827718387653874070218127140615157902,
        2808467767967035643407948058486565877867906577474361783201337540214875566395,
        3551834385992706206273955480294669176699286104229279436819137165202231595747,
        1219439673853113792340300173186247996249367102884530407862469123523013083971,
    ],
    [
        761519904537984520554247997444508040636526566551719396202550009393012691157,
        3355402549169351700500518865338783382387571349497391475317206324155237401353,
        199541098009731541347317515995192175813554789571447733944970283654592727138,
        192100490643078165121235261796864975568292640203635147901612231594408079071,
        1187019357602953326192019968809486933768550466167033084944727938441427050581,
    ],
    [
        189525349641911362389041124808934468936759383310282010671081989585219065700,
        2831653363992091308880573627558515686245403755586311978724025292003353336665,
        2052859812632218952608271535089179639890275494426396974475479657192657094698,
        1670756178709659908159049531058853320846231785448204274277900022176591811072,
        3538757242013734574731807289786598937548399719866320954894004830207085723125,
    ],
    [
        710549042741321081781917034337800036872214466705318638023070812391485261299,
        2345013122330545298606028187653996682275206910242635100920038943391319595180,
        3528369671971445493932880023233332035122954362711876290904323783426765912206,
        1167120829038120978297497195837406760848728897181138760506162680655977700764,
        3073243357129146594530765548901087443775563058893907738967898816092270628884,
    ],
    [
        378514724418106317738164464176041649567501099164061863402473942795977719726,
        333391138410406330127594722511180398159664250722328578952158227406762627796,
        1727570175639917398410201375510924114487348765559913502662122372848626931905,
        968312190621809249603425066974405725769739606059422769908547372904403793174,
        360659316299446405855194688051178331671817370423873014757323462844775818348,
    ],
    [
        1386580151907705298970465943238806620109618995410132218037375811184684929291,
        3604888328937389309031638299660239238400230206645344173700074923133890528967,
        2496185632263372962152518155651824899299616724241852816983268163379540137546,
        486538168871046887467737983064272608432052269868418721234810979756540672990,
        1558415498960552213241704009433360128041672577274390114589014204605400783336,
    ],
    [
        3512058327686147326577190314835092911156317204978509183234511559551181053926,
        2235429387083113882635494090887463486491842634403047716936833563914243946191,
        1290896777143878193192832813769470418518651727840187056683408155503813799882,
        1143310336918357319571079551779316654556781203013096026972411429993634080835,
        3235435208525081966062419599803346573407862428113723170955762956243193422118,
    ],
    [
        1293239921425673430660897025143433077974838969258268884994339615096356996604,
        236252269127612784685426260840574970698541177557674806964960352572864382971,
        1733907592497266237374827232200506798207318263912423249709509725341212026275,
        302004309771755665128395814807589350526779835595021835389022325987048089868,
        3018926838139221755384801385583867283206879023218491758435446265703006270945,
    ],
    [
        39701437664873825906031098349904330565195980985885489447836580931425171297,
        908381723021746969965674308809436059628307487140174335882627549095646509778,
        219062858908229855064136253265968615354041842047384625689776811853821594358,
        1283129863776453589317845316917890202859466483456216900835390291449830275503,
        418512623547417594896140369190919231877873410935689672661226540908900544012,
    ],
    [
        1792181590047131972851015200157890246436013346535432437041535789841136268632,
        370546432987510607338044736824316856592558876687225326692366316978098770516,
        3323437805230586112013581113386626899534419826098235300155664022709435756946,
        910076621742039763058481476739499965761942516177975130656340375573185415877,
        1762188042455633427137702520675816545396284185254002959309669405982213803405,
    ],
    [
        2186362253913140345102191078329764107619534641234549431429008219905315900520,
        2230647725927681765419218738218528849146504088716182944327179019215826045083,
        1069243907556644434301190076451112491469636357133398376850435321160857761825,
        2695241469149243992683268025359863087303400907336026926662328156934068747593,
        1361519681544413849831669554199151294308350560528931040264950307931824877035,
    ],
    [
        1339116632207878730171031743761550901312154740800549632983325427035029084904,
        790593524918851401449292693473498591068920069246127392274811084156907468875,
        2723400368331924254840192318398326090089058735091724263333980290765736363637,
        3457180265095920471443772463283225391927927225993685928066766687141729456030,
        1483675376954327086153452545475557749815683871577400883707749788555424847954,
    ],
    [
        2926303836265506736227240325795090239680154099205721426928300056982414025239,
        543969119775473768170832347411484329362572550684421616624136244239799475526,
        237401230683847084256617415614300816373730178313253487575312839074042461932,
        844568412840391587862072008674263874021460074878949862892685736454654414423,
        151922054871708336050647150237534498235916969120198637893731715254687336644,
    ],
    [
        1299332034710622815055321547569101119597030148120309411086203580212105652312,
        487046922649899823989594814663418784068895385009696501386459462815688122993,
        1104883249092599185744249485896585912845784382683240114120846423960548576851,
        1458388705536282069567179348797334876446380557083422364875248475157495514484,
        850248109622750774031817200193861444623975329881731864752464222442574976566,
    ],
    [
        2885843173858536690032695698009109793537724845140477446409245651176355435722,
        3027068551635372249579348422266406787688980506275086097330568993357835463816,
        3231892723647447539926175383213338123506134054432701323145045438168976970994,
        1719080830641935421242626784132692936776388194122314954558418655725251172826,
        1172253756541066126131022537343350498482225068791630219494878195815226839450,
    ],
    [
        1619232269633026603732619978083169293258272967781186544174521481891163985093,
        3495680684841853175973173610562400042003100419811771341346135531754869014567,
        1576161515913099892951745452471618612307857113799539794680346855318958552758,
        2618326122974253423403350731396350223238201817594761152626832144510903048529,
        2696245132758436974032479782852265185094623165224532063951287925001108567649,
    ],
    [
        930116505665110070247395429730201844026054810856263733273443066419816003444,
        2786389174502246248523918824488629229455088716707062764363111940462137404076,
        1555260846425735320214671887347115247546042526197895180675436886484523605116,
        2306241912153325247392671742757902161446877415586158295423293240351799505917,
        411529621724849932999694270803131456243889635467661223241617477462914950626,
    ],
    [
        1542495485262286701469125140275904136434075186064076910329015697714211835205,
        1853045663799041100600825096887578544265580718909350942241802897995488264551,
        2963055259497271220202739837493041799968576111953080503132045092194513937286,
        2303806870349915764285872605046527036748108533406243381676768310692344456050,
        2622104986201990620910286730213140904984256464479840856728424375142929278875,
    ],
    [
        2369987021925266811581727383184031736927816625797282287927222602539037105864,
        285070227712021899602056480426671736057274017903028992288878116056674401781,
        3034087076179360957800568733595959058628497428787907887933697691951454610691,
        469095854351700119980323115747590868855368701825706298740201488006320881056,
        360001976264385426746283365024817520563236378289230404095383746911725100012,
    ],
    [
        3438709327109021347267562000879503009590697221730578667498351600602230296178,
        63573904800572228121671659287593650438456772568903228287754075619928214969,
        3470881855042989871434874691030920672110111605547839662680968354703074556970,
        724559311507950497340993415408274803001166693839947519425501269424891465492,
        880409284677518997550768549487344416321062350742831373397603704465823658986,
    ],
    [
        6876255662475867703077362872097208259197756317287339941435193538565586230,
        2701916445133770775447884812906226786217969545216086200932273680400909154638,
        425152119158711585559310064242720816611629181537672850898056934507216982586,
        1475552998258917706756737045704649573088377604240716286977690565239187213744,
        2413772448122400684309006716414417978370152271397082147158000439863002593561,
    ],
    [
        392160855822256520519339260245328807036619920858503984710539815951012864164,
        1075036996503791536261050742318169965707018400307026402939804424927087093987,
        2176439430328703902070742432016450246365760303014562857296722712989275658921,
        1413865976587623331051814207977382826721471106513581745229680113383908569693,
        4879283427490523253696177116563427032332223531862961281430108575019551814,
    ],
    [
        3392583297537374046875199552977614390492290683707960975137418536812266544902,
        3600854486849487646325182927019642276644093512133907046667282144129939150983,
        2779924664161372134024229593301361846129279572186444474616319283535189797834,
        2722699960903170449291146429799738181514821447014433304730310678334403972040,
        819109815049226540285781191874507704729062681836086010078910930707209464699,
    ],
    [
        3046121243742768013822760785918001632929744274211027071381357122228091333823,
        1339019590803056172509793134119156250729668216522001157582155155947567682278,
        1933279639657506214789316403763326578443023901555983256955812717638093967201,
        2138221547112520744699126051903811860205771600821672121643894708182292213541,
        2694713515543641924097704224170357995809887124438248292930846280951601597065,
    ],
    [
        2471734202930133750093618989223585244499567111661178960753938272334153710615,
        504903761112092757611047718215309856203214372330635774577409639907729993533,
        1943979703748281357156510253941035712048221353507135074336243405478613241290,
        684525210957572142559049112233609445802004614280157992196913315652663518936,
        1705585400798782397786453706717059483604368413512485532079242223503960814508,
    ],
    [
        192429517716023021556170942988476050278432319516032402725586427701913624665,
        1586493702243128040549584165333371192888583026298039652930372758731750166765,
        686072673323546915014972146032384917012218151266600268450347114036285993377,
        3464340397998075738891129996710075228740496767934137465519455338004332839215,
        2805249176617071054530589390406083958753103601524808155663551392362371834663,
    ],
    [
        667746464250968521164727418691487653339733392025160477655836902744186489526,
        1131527712905109997177270289411406385352032457456054589588342450404257139778,
        1908969485750011212309284349900149072003218505891252313183123635318886241171,
        1025257076985551890132050019084873267454083056307650830147063480409707787695,
        2153175291918371429502545470578981828372846236838301412119329786849737957977,
    ],
    [
        3410257749736714576487217882785226905621212230027780855361670645857085424384,
        3442969106887588154491488961893254739289120695377621434680934888062399029952,
        3029953900235731770255937704976720759948880815387104275525268727341390470237,
        85453456084781138713939104192561924536933417707871501802199311333127894466,
        2730629666577257820220329078741301754580009106438115341296453318350676425129,
    ],
    [
        178242450661072967256438102630920745430303027840919213764087927763335940415,
        2844589222514708695700541363167856718216388819406388706818431442998498677557,
        3547876269219141094308889387292091231377253967587961309624916269569559952944,
        2525005406762984211707203144785482908331876505006839217175334833739957826850,
        3096397013555211396701910432830904669391580557191845136003938801598654871345,
    ],
    [
        574424067119200181933992948252007230348512600107123873197603373898923821490,
        1714030696055067278349157346067719307863507310709155690164546226450579547098,
        2339895272202694698739231405357972261413383527237194045718815176814132612501,
        3562501318971895161271663840954705079797767042115717360959659475564651685069,
        69069358687197963617161747606993436483967992689488259107924379545671193749,
    ],
    [
        2614502738369008850475068874731531583863538486212691941619835266611116051561,
        655247349763023251625727726218660142895322325659927266813592114640858573566,
        2305235672527595714255517865498269719545193172975330668070873705108690670678,
        926416070297755413261159098243058134401665060349723804040714357642180531931,
        866523735635840246543516964237513287099659681479228450791071595433217821460,
    ],
    [
        2284334068466681424919271582037156124891004191915573957556691163266198707693,
        1812588309302477291425732810913354633465435706480768615104211305579383928792,
        2836899808619013605432050476764608707770404125005720004551836441247917488507,
        2989087789022865112405242078196235025698647423649950459911546051695688370523,
        68056284404189102136488263779598243992465747932368669388126367131855404486,
    ],
    [
        505425339250887519581119854377342241317528319745596963584548343662758204398,
        2118963546856545068961709089296976921067035227488975882615462246481055679215,
        2253872596319969096156004495313034590996995209785432485705134570745135149681,
        1625090409149943603241183848936692198923183279116014478406452426158572703264,
        179139838844452470348634657368199622305888473747024389514258107503778442495,
    ],
    [
        1567067018147735642071130442904093290030432522257811793540290101391210410341,
        2737301854006865242314806979738760349397411136469975337509958305470398783585,
        3002738216460904473515791428798860225499078134627026021350799206894618186256,
        374029488099466837453096950537275565120689146401077127482884887409712315162,
        973403256517481077805460710540468856199855789930951602150773500862180885363,
    ],
    [
        2691967457038172130555117632010860984519926022632800605713473799739632878867,
        3515906794910381201365530594248181418811879320679684239326734893975752012109,
        148057579455448384062325089530558091463206199724854022070244924642222283388,
        1541588700238272710315890873051237741033408846596322948443180470429851502842,
        147013865879011936545137344076637170977925826031496203944786839068852795297,
    ],
    [
        2630278389304735265620281704608245039972003761509102213752997636382302839857,
        1359048670759642844930007747955701205155822111403150159614453244477853867621,
        2438984569205812336319229336885480537793786558293523767186829418969842616677,
        2137792255841525507649318539501906353254503076308308692873313199435029594138,
        2262318076430740712267739371170174514379142884859595360065535117601097652755,
    ],
    [
        2792703718581084537295613508201818489836796608902614779596544185252826291584,
        2294173715793292812015960640392421991604150133581218254866878921346561546149,
        2770011224727997178743274791849308200493823127651418989170761007078565678171,
        3321642244537785916275181932172303118112488081726311374164578600576901819844,
        3522708517589950573320671158134804505970724681591943826922697952040487655044,
    ],
    [
        3417974441436557992524691506735790206623600049454586729879955931972546347402,
        175039333145381316571259690443853067809784261609912638686739799135919647022,
        1930713062131033273316869231148248962041053029742760224583505092759642967464,
        2971452932574554603554350185069538580257636405419430340233233400633251319042,
        2774781903758215341037075610938953949868289195845367046186588750871862784919,
    ],
    [
        666516874137869653699423537799457099346460194092311952417454613224504932738,
        1900462225013533249140457703727169176351786259991305560412832202759625668041,
        2665631186082687279121709429531834469477679375137509769347092380798929714377,
        837840745988147279235494664091280091563355097569199320366973125128366540061,
        3391544118305848781823721719916289805455110924839794510205940718821197620955,
    ],
    [
        2888553035909938253628892138500390690221493345071933642853222968481016605919,
        3386241569867597612447901482685846444743718781330869478721963580925825915450,
        1205126220630896984850042596877918177217334376800874965105642874206963597698,
        3590072615491710252422997155203204584659171612188004116415640739580250394190,
        692469013329617220154003334549812915100479873898898958632988703738125356983,
    ],
    [
        1623178235190707102808841905143937367808788834203621005714003335195182126335,
        1972826180775011489122426045504602288576507493792470102803637471568052321297,
        3415141329098504418158191749675997877417539760075593313736376750580696083073,
        587811537889727046473915684463981273175495137461951211739526104349163747811,
        2523982964351069134084525951849317400231659428055762640605248929856135518199,
    ],
    [
        2686176526711834950207666047281383173339057216783586039351834948812568447629,
        983144446441739425577690449774542566745526459152966545642451764143532586964,
        171558252019175695567663688494555626159399786667979998273792882504784080805,
        332337623010057542760158225837623039780806442976079546879646069338600179518,
        1264669683963885571544813806669118319675288608634733888843804451222546848295,
    ],
    [
        2426165115815723668018318268486497504249785449504758403912155206515511627681,
        11387399609384288947733630450855186629703576293221897150193655994854764608,
        2541728569046079092074077754414781968906176513081761690404588216304985421091,
        47685947554980329431290582269851186106577733250761848107645535357326439312,
        472176388418187405374813530639596064799362505024895746833751173199773896628,
    ],
    [
        2764298116617383397920343358525617195195060562266243809245480210157942112738,
        486863835068754002670800862273365477867695879270721744227071001883208334054,
        2973492686137102577527656941792991264994301121122130295965761350095846874635,
        178385615141132702906181473263873416748818415607305319148067639744074654009,
        533624640096756667052211553746016402543259206286603356120804827761339634127,
    ],
    [
        819406716720171922688026098737835227857400444543748198788964759773510472096,
        531851793767260921861217458033110066464894334064526987603936107947006031387,
        3269709072483585277009748181134917746036523619604017812342933951952104134829,
        838191718603413598040249006803464503100808192944407407147899973659013630611,
        1574561296941310904780257598780779812250055948216417844567262310524022037406,
    ],
    [
        551394354289003977607664358739006072556227894953233419144430578080352094737,
        445076790942318675726839050057337819004979443030540904213920669247413907302,
        1963946696292687224902912968478695543164747600779913024040878700455222386521,
        484284614181963381509745298932402076252103342403432879800905151752488144767,
        2240507606126946994415203252302826782042951346966859379502140796364876543253,
    ],
    [
        3237135638753992982179886898758938279897590886053928839613434762582576319619,
        2334333034701915027889533058426879447140084891006486138782876488162658230991,
        14411091399844539897439754491034751977136685514851444574462584316609631592,
        1264480371592407258420308876448697804787923638319277097663041109464608464284,
        671929312763821646360589403212798993954209530574443543917757335777610372144,
    ],
    [
        2513909805455654095962542944994577107405216428214873444765576238504714067396,
        870121102846043786263357605823753628974859886859187558617096145653709171231,
        399132620893316356411986266679786708905730068946836982293484206366500277754,
        2855046250836680633532995284655778407402587437073106249445470889390454667586,
        2063679741125384345396981490971605710211281905716315529671473143278849561151,
    ],
    [
        1433753212258929925682201698758056443128516570551146995210728194816988328337,
        3334984763425011856632257855270507440816274246647423607159847074739331865077,
        337911293622078184850923533628334646725451591671907148383867096651211846605,
        559587005295238702015018022040357402231957131094636365177008701077975941644,
        885963059604819264377490633589388189646118257469490919900554134369512794660,
    ],
    [
        1957748763518471091057032383332840331641373304981058387824598000170709016333,
        3175295982155056798972302481564899381103533409383494814704562889625572018450,
        498987160612401618114584726510347771865331516606886613019084323862447372555,
        947374835104260364630171441676101001841507588423166778786886198914150312958,
        906933977754491302438795274167251538820934378773708095543613756654712689280,
    ],
    [
        2170116291766863179909957030577284618726490893598499117272497866180009722894,
        1801335399574515889082584621772588704763181408217893911806726119813067220453,
        1942500232535842474530840356353427989892065499159260166135596750084681859966,
        62936080219825306823124060587235998278756755377419521154040408253893795176,
        3091993939935137795359769774909373279950941171574748645375255810204590357753,
    ],
    [
        1283528386884634267663661033944552098742115012555712906773586466375284501324,
        1581820717639229420476069802992937438655873471854930764425841549067913106065,
        2301986095388751633126546121528329200085681648876910655269533407603441046514,
        2850003828037698751961753862613545302539465803982364898225617297398939302949,
        48024691078494936445046366770271288984930221238071705874025261821606393528,
    ],
    [
        1482336297033144958942154923925185950152551534403871620222916667536030875354,
        3081177564717719643771186007689458633949181485535169123213511264603782950049,
        3315701127039521853279746297714590495201061397709680410650043502532250578075,
        3514407611000441301995070394422463400067690470546731164089622325748803106020,
        368970178199930154322724953487299516224498421233447528815195701420122548537,
    ],
    [
        584353160413525267849669053228533951552602295860601556035386665117717227391,
        752038702160385294706011538400822066722189014251268673051846350397729870418,
        3594041683498798688197194521326299097635429790757880308152971477196489335154,
        1367902435756906062215608264424138718742854099315395230911274560900857414183,
        1828549068951502746189364466794037234789986878381694857475972053743463890779,
    ],
    [
        488172495141237210878388657234137733008417573114482400652274985829148564248,
        962906242461930394022372340919543491337923491322497419797555620396501785566,
        2275418085010046236619290386129138234541669589549771944697082317642065048898,
        1966395064658902622886154686288219600816893261614483533899715888994623208964,
        3496095878293416917311185659829821476802828534554531050412634978086916288609,
    ],
    [
        3368478822390537245916137403277928093536087427951052230723275731232142463388,
        3397410259276620127103231993277518800970669191016277541098821699302368873803,
        2662600899665871010006649609856695263727220473364611552472965243032255906029,
        2854831720595596992200155718152374313555878203864206470581502555480894633975,
        2417859092561967752135741161218626374900182454089059862468108240576782064037,
    ],
    [
        1064506915903089299531724594973601253341866933071158266140674053459433520889,
        243845138053687262800349059300355289745206315347524675450796070948867090098,
        1952653154963756062322124110012629666160000286707762177032475477295929736283,
        2760979128531476595658428672038276216079708408852493051222686009638650156041,
        3341178930260137001230946104398194306290005446746057811731360203227371301716,
    ],
    [
        1033242545866274439991875444609632860132556714736615395036273942261573810479,
        3567973410830779135148598005871071456943945697865168835204985462698751038238,
        23014034649293369426970379738102323014738017168969687350330825050016457105,
        1146720508452451012445869043641390200263192255569203352823376998708972325392,
        2553707028642376593497768606567528232999203496079990242456254686325586089356,
    ],
    [
        269729857648436699208023125596593246149228245518586029792966091405383426269,
        276912682886955358118649215147238115764108757952690361549816619060658800027,
        2367180947887796341722261610916728725977893583923967218630363334645641817362,
        2398694802751362950028137620758033447242325333923222365760836442417755445092,
        984868389243025029364428136317275892280780834039611841422502834917752411391,
    ],
    [
        861353329558771468244040268521983016756775808329676883407171471251365927595,
        2498672969617384807617108262141800974986393948110233099680635130601163654234,
        1336236634145657673540555267430353130305889434115514586892320600753700983325,
        980337801407886250576371882962628290239239581416378379141354256717803603922,
        2308558359523317875952657835109605515063994805873180719205156915762120497245,
    ],
    [
        2116737905426837141304542819940293184404010538896700217242374222514653607487,
        2143995283326808680518644927890182524580312777400009071739277407358043120199,
        3038758768133404431511594054950351369492648883179154555267474054094234927849,
        981824005865625678985009911415023115269386212492064371040001594972137748141,
        2427990511715778580869565219059895697855813782250850855111162965998948386792,
    ],
    [
        1987498156785173719076522405088076990979859292718600184358583152317049836167,
        1633834915134208237423144264187482951766302060112099587851513525797020813799,
        2895454976388515752029424688351979030650325184941524820409482023485820781526,
        941019661238578826272324221721825852217063629464317974190162904813488515671,
        2529926057929249454763690180607677568685011502604470585585763159431333258299,
    ],
    [
        2604831509257756199338105380847564711923112853239827243306562341166492672823,
        2300475954087415591738767759767032267163723345312082546282694920273655145455,
        1954000528502201000509342111010021527425422549437946241062907964768089317082,
        1179936151696782249912570883839105595634344582873818018332922940963046083567,
        3077707030301573630126144767923697288658782137457660869231140049571827937228,
    ],
    [
        1062324397142900251844488719868780667589966366756786302007970554437994421840,
        353718609497993885193404630053532608155520921625518104461520254335222009911,
        770557645309607171206012551080400276506165720184677119001983749356594531977,
        3043628430985247363392058521341757139056029350680498644930013342982472853636,
        1694968537785457252742656255724723357998402478572600479401200420305593921487,
    ],
    [
        539865665379093791531434211889371819368504193082947002067781562776138072582,
        3473466148775696692731190426971123680342615414200262605154732883324298196699,
        482783534456196983135936103604928650836406142744767857356485953118411089098,
        2389101033971236780034779577432189630800997581132154923233144722790749715251,
        845264223568475649981141803833883014312596504303895519674002924871878791033,
    ],
    [
        3027004059915270231142566724881373969831662022738947178800901294120992473905,
        2169574859350740480088697859610203373582027214052754592019828328614087431593,
        3515527080764222354309565181793838292349410992793070639041305826153436624160,
        1817926918350512904327755405973355211358017834277255662858654992240629698587,
        1999148133619270973098477176176178514394558202995832714883251820350860287223,
    ],
    [
        1203131300029280096510929599113528018338088236684405405384757591977164161039,
        336815403657101171302040383579077521911288747438919304948637997306314852594,
        986661060847815533035934253464295060766339947679669645818832311132001095573,
        2291116974939980228917916563988261327966840303336559854772343651559589512651,
        3421243089992476528970346847858594146122972226790673723411896208702859892637,
    ],
    [
        1015505198663386486420800821559060487156096175034250154764824837183581949724,
        1165880582987807286271819576391581724550686829511475839624601920297855380101,
        904232961143172831178860280790910264843503022179578981166030973682571903458,
        261322216292849827900157598748641385787016033372999683866859675894253115357,
        3060676319159217735181388708455879854358158161989877552543698103915296690395,
    ],
    [
        1175560144527845912984609340783959238735643215413930887771084560168082442967,
        2813871258576082360085006002528268796351819524936446195552260262614692343332,
        1841341101531851399935829271555098629075809587212843292354556374386667658235,
        3076135575511709688509914361447080149794919016880133063891720256749999834767,
        753111801049754117414662684453226478940731922961768343984187479992842213733,
    ],
    [
        1405657437118503342762241742745888533114216548278983907019917904938403345580,
        3111186124713876864436867307979940633543281080828379725576742174555539054855,
        3404463650394703220454952017098727360005393139199301323890695570346564876407,
        2024087816190101179456573591359233695334184711688920998987373624570170649371,
        2770035625774572095496575568588054654502991645588385802705097377675051032967,
    ],
    [
        437058215235292632621847481185406671372191763951486300610124033096831557414,
        1345792773780982398809956395232061067669190682958320579442454533085407626029,
        925357273912625669941681596445839316566672314870287993638671283923476231904,
        3288133122086768300615066039539687885053110015077924175836976549020438910830,
        666190075990703867784232802074474372379358766701681865975596503982238839889,
    ],
    [
        2664898601165892062970298960258838238925231697327906221693001926762280012052,
        2075648691532387787722427044464731934171216054855867223374228487601569118337,
        3173725544188532489243684991828985285646224157242834030308807120745121062293,
        1517474443612606408422643323550409253700128234157734252330869178582583531320,
        1593950878945144789965609248470060076911813704207225832606804796819386297511,
    ],
    [
        141195541167651298813588829225208004611326987855926870823948793274702167509,
        2990187949585642302497822222637786229364740008175968941859105979392907839776,
        2893807105405820282316438050347503569385510241526138409321358916388308586443,
        1379719211597875648759619903854862028510320482486109668868067715175935658353,
        2702780364788282233075255946852944970202849869091427738791947810055591218061,
    ],
    [
        1825815734419326277729273926504439575157952821379179501821641713286627304656,
        1481344458867016048625916723816339719872443766684158199301690902395849166360,
        2014084774259125722186109781197998076881266739680534358898592778318128968629,
        2612744185006548312909661512508122065214170543806989291921289897662387203493,
        2486291022451231582267428921150634472835925206862678364689227838329114330247,
    ],
]