
 === Constants ===
[[1579613653969377219, 15509510893087893340, 10090715174060125222, 5625716564419252202, 3006005019077469174, 18314693207014427912, 10170571510627764565, 2027625550790675754, 3983470257916202094, 3423470109396435354, 3450488264035752368, 3151070045406026687, 13462781804006123550, 13288575772684627216, 13745549378090937523, 7780139165529418388], [11699769881923825909, 4349260652212695338, 8228348357294662898, 12037145371429260559, 7743383997471469184, 7842006993218978420, 18369471830829996810, 10157815501749214163, 11128005290408113568, 12272917402811871099, 106820976709770637, 6178857985076893256, 14036787039817180193, 1659458828486927362, 15938183887757779615, 10060334973073197601], [12437259172286625042, 3143835545170851304, 14361575850007152549, 11810209965918630788, 17667700303515849362, 13451932870729425780, 17496644301504593329, 1778669202480014256, 11124488067381312952, 14273583775934080755, 13257379154210125715, 15182093233826554989, 5343815959848316783, 5696193414571279556, 6089787229781325813, 3717595218375990594], [12355842859741995537, 14160921043125059199, 13682913322779819091, 12343504462597575239, 14249643564311509087, 15849758561085927402, 12186564686511703262, 690520822232718983, 684200944081655198, 6008958449718781068, 3098079696536837500, 12083506578988585239, 6489163969976034646, 1186411428667285248, 11192474480021157091, 17095617549195818058], [2949845317987848448, 11032843494036447332, 4839349920718339375, 2876855252282283573, 14513249686093622082, 4660747366352123161, 13976931527004342601, 6986146555916632759, 9232043775216894261, 6313076217507020688, 15300759590782536187, 9916126905560463333, 3979090886151449014, 4963069440984350777, 10605320391713463686, 2451586902911298718], [1495817982562189106, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [11088792564904316971, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [10021855935616978124, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [7394588807640602949, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [2064570831286926427, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [17460052823156812927, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [5945142974829208626, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [16063900701399801525, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [6123312557844835803, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [7354710860259096859, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [1887147781136745498, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [15392973945196577765, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [7012252450495639373, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [4518378539632546479, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [1966066943802263223, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [13951077980398781472, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [853083942940705105, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [8620072550792400877, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [17617940792823653468, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [5942222156219946736, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [11579178233984061209, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0], [13786631712890251885, 16588375428074140134, 14767355165053632437, 4410900339274029743, 12546659423788430004, 2114628217230343247, 2133538739909289268, 4773205784438014703, 8265894638361252667, 5223389730290959856, 15619942046564449370, 5791281865406255970, 13985845210862515943, 12032892788021167219, 18401103207753875985, 3476764791793480456], [11649142238174500197, 8712351138970364289, 14692696050737161630, 4894674695969854213, 2908121399062178661, 6790272183398006673, 9010435624898204894, 1832701308114390292, 3652118343199330870, 8089229871466232201, 17286971688453404540, 4800206276340946007, 8115672005831708306, 3055380174500960813, 16964379100395406620, 8088842627823299006], [9946304708154620091, 15102071546045770121, 10301544459319808780, 13671123212713835095, 16303299764147105030, 18171760739689040135, 8727304300353130088, 15139868272914210324, 4557766052329107027, 9475155160371266250, 7742629784879183824, 9095972977211974416, 13458232220369596755, 13105609530042700354, 16669216811073554379, 2570887763900098793], [6612428420501784008, 8453152447539682822, 11139961051779113096, 16788480021697334394, 13519543246350118727, 1239913882469702364, 7376358710321275355, 590020934466687607, 5282297971102479724, 16056472633876071086, 18042098699416501308, 8876330831862382235, 691356767650698921, 6798676828266712040, 4195043074986594226, 3562802698084250644]]

 === M_i ===
[                   1                    0                    0                    0                    0                    0                    0                    0                    0                    0                    0                    0                    0                    0                    0                    0]
[                   0  6169117363602866212 14190396881228843792  4390036766016297235 14921161384845695061  6857659757249448179  4878158749151918989 15569706127541979177  8060476995255076175  9250817629488573250 13344200394813954281 16557187166153549506 15078386897226382908 15934405347947606430 13600818778215232703  1457934004203381709]
[                   0  1411867983460964458  9566846274497604333 10171071495308075933 18087101499391363345   275150086035852226  7298373690567293630  8830446795526165757 15338039078549301167 12623416682790423277 17507159722167986867 13316417293741104453  9276500689618949303  9559049591160308561 15464420609038969417   165596312666018917]
[                   0  3662330420778275574   186244845945584108 12548531241818227449  9161504419846833884  7635168912609270578  8706354027526345911  8253989485554716551  3006576863697902049  8112534237868414223  2804555476714896224  3651054273424046663 15780148554522307396  1799559437134414087 11716216341951698326 12112142129260187303]
[                   0  2906493442477768321  4500993322783370648  4725196738909323014 15660302723867927797   176720013650568630  2369951788996852736 10283754912229492863  9727695083797783428 10885911130205112997  5614251533459022154  7940661303859054421  5198146911893038039 16910205700903500274  7516221006771736961  2317493651273471078]
[                   0  1399737300947421112 13338234165945599833 13394968348163753131 17539186845288732744 14109458642681055395  8493953281685319822  9997084921909590453  6782938736055192495 11154019647656413564 11762297270385254707 14014915896944003562  6091596740373560915 15737415539768292294 14432021708590153571   460015704281037923]
[                   0 13599428608600288015  7464265710807250584 16822967377430118067 14974446009529292831  7664798911327452767 16438701653469522863  1134570468901533006 18260554608432708051  1115918935045115520 10866775797452094129 12961283439281495006  3577382907268091965  6062276679567522852  9451678542648441244   618389244971319978]
[                   0 14861161537578168254   729366330577686914  5608829855960301329  3172212923954413103 16240928729131430844  6770857485043589153  7139918432326186768 14976028246900525933 16644769403378683706 18285971912148804885  3157763630349553695  3889430421091975944 16068349987177081095  1264463751141602795  4793958715858003299]
[                   0  4513116553405759889 17669239428214995957 15620325953479245100  8790277230447615093 12779093278434160089   778569910538821286  5957669524790083875 10122510285173865553  3571688552649963837  1431863087009346911 12351103095400182390  3233337304040458269  7394700483276571667 13096465622123929054  1805671009784676401]
[                   0  5796461874775864351  1815332842773071612  3986714720621606579 17203387272585806355     5852482757859333  9086767305834078538  6894443587894804453  9202851317763931707  7503233552264867046 13826871076367167214 16301430659333921756  5855489597669925211  9816549595226954548  9309856061891959161 14625322165422258000]
[                   0 14942182762609100145  9260311021528578605   835659431987851841  4271541062730583525  6629184322791926740 10298741198797081003 15063642532455481774 10271912814089595201 18401820397265718786  8434211179440519570  4648337581877184890  5139526746376974212  7102869525937587824 13007939810968998471 16601609107288080244]
[                   0  6292423850029332297  5015498801200781748  8339338491714408562 10387738092390474759  7633627180771607570  9400283699032899064 12028061677366681817  5367156598466597064 13647078231843839815 15293922261581829992  7060278348777962513   837156002547500845 17698280337096199372   767000221882306005  2804009158766124978]
[                   0  2338650703155745417   528277441381474218 13189592227364947532 11934522068533073529  4281085709467870877  1244919792964624534  6183287678698833360  7422461552309822989  9361385463180007188 17469940248060142320 18189344813183607181  7237524333842154289  2160859277234188825 17173514829575768946 10580731816237066540]
[                   0  2769903633348655824 18103602214913441014 15182156204519960532  8807277153149970848 17473157761435025080  8456303803803650030 14295515513509845937  2201498981712994362  6355100776537928947  7557269360637454542  9494415902597132958 11790066413908303259 13259969879560310967  3862066845116814123  5112287175603172725]
[                   0 16826405852207999397  9705428737187269701 13253571916386008373  2194253341002169448  8540912668348904406  4027503582753307632 13301936105482116818  4648791094221791405  3410857923962198909 16550478328266859529  8932706744883133743  8517264984240372760 18199034605182288637 10812279688001306348  5995790420672848607]
[                   0  9018820619020343720 15611157461246854379 12075549282689339742 14389591533546966419  2911557072984222611  7720484561751172755  3197246897118315170  6168723100837079072 11486917539286016695   406881479152386897  7258131425518295174  2624778667171384897 12123054011382795686  6303029913866895086 14137419286837705540]

 === v_collection ===
[[3206467256213683786, 3920934106612079998, 4341147942098730174, 3867693824279038861, 16632881564017202626, 3526903744392426286, 16213869111997638749, 9687684937339770772, 8536475881393431651, 12238266242921770377, 11349380169891881531, 3032254423577685086, 11594147342566291916, 17688923464147771123, 15660492991312522772], [9442767476494507005, 13861333970030044443, 2477131918031480987, 13961714646099296789, 16864502747131189180, 15429499123541288678, 3972697068454818634, 5042056815743706614, 13314251098815243290, 4272596601514049798, 11718250701743321328, 4669005605626520818, 3132241159057776772, 12541542871111266958, 8893886650240123136], [16608706165953691100, 6056302847436673908, 16061310039180539369, 16903206224882132574, 24502520247898520, 16590767682679385529, 13512932255010757340, 16936411878885629893, 5917291636877510722, 15852968239891617955, 3344645351011674863, 2857425340643208, 11398222624948891039, 10227119947134326362, 7067211241434578445], [7753857838052081858, 749122312941911041, 345823110820964726, 3372232077594537849, 5699726203690016283, 6967248459746554709, 1766701507871665383, 13508189275644381654, 16564242566598380556, 3711738304869787475, 17764960052927361456, 6524073703103144981, 13149740559576471218, 2394673225365320520, 3655765791068455016], [4602937124680011918, 15904482348570787942, 8182269251923708760, 15212884195359196193, 8912791808689458975, 1455572030441264706, 2309690890807507652, 13750462012614609557, 14645836892083684957, 8726662849601605038, 10710345100194825642, 8675855529348612688, 15647840515816122808, 14073576946471414264, 12601321616407823991], [8233410540237050331, 13434830055437585073, 3715741694278329636, 7085310573796183310, 18204650062713725875, 6306720770166244486, 17192784264722424258, 3506068175584409689, 7712488737855082820, 14060227817634958361, 6269887657903101713, 4272467326235037315, 11373499326059981174, 15810318802636868629, 8316897931888324779], [3924640008077020671, 14733397468032739362, 9050421899235665652, 13814770863606053651, 7016298752379345110, 10093190713801741294, 10361071548092805650, 4309845121068117619, 1178356300138209582, 8491470355977686420, 5481854779120399256, 5240558715857722254, 12841692200182043941, 11444331480364775934, 549971459868942739], [4519529548594398868, 11435861204145599298, 14063385524422718506, 1911946786819188285, 11710374979614479362, 8638087394326040209, 17194199566436924551, 4092315280409855451, 13552551379968616293, 15378549102611371158, 13111104067196331700, 8879634023597459182, 14103910874143008268, 16568295987719489520, 15968512164098571893], [17585998059325582248, 13006989340209785941, 3887407792734797943, 17987257835169048846, 14659434847024896858, 16648698713069166410, 4297849623536886299, 3254776591974276136, 4414482361956063262, 15831442340244834161, 3528214595879607289, 16954212540261552429, 8116984352047336253, 14755681049798623987, 13047700471880949601], [1009652940053148007, 3883250064074204539, 8929947319880543078, 8317086259558065309, 8107033732168272665, 4977531335316295935, 11140765579479761403, 1671057346422467029, 12809257595907019261, 7909260431778372881, 10976788313133956163, 8379165210025718164, 13149237255351876327, 6760565712641208801, 6295408423016783991], [390555331307794640, 9104626009551079576, 11163706438531596076, 10771179103864342644, 6551886430199622987, 15420335095009224937, 5623196269307742650, 17833196161697294389, 14791016255250485296, 6232430020047657317, 12197703231199351421, 8004383777337909487, 12943045346987891766, 2008938240244737094, 6237471852947868966], [14265315848851921099, 6295785080654054424, 7529339508740405685, 13301486666912937674, 10105948583546421677, 18187443424596136714, 4608399645191014298, 14996347115319963238, 12667532464050185176, 6523698192070406489, 17944784124711933774, 15324959967307818518, 16758967665682148923, 4892394421658519349, 18371243527469365874], [17435666410423330374, 16152192177874224838, 3429987060102301197, 8845368880976293203, 13804470261178812026, 7158683274278091212, 2786550865835954646, 10532418174212396018, 15862578629119506522, 3595802723471029580, 18013543269741571726, 2940405752737740470, 16039750595786719174, 70937099764303274, 18415523826857510978], [3846882819210989373, 11709502484985139776, 13512320583025554897, 14970623991278742723, 55265930764673482, 6972940806685404566, 15515447613903852747, 16637139888949482181, 16244954288629365493, 11704179274570278004, 9129164523592103774, 4733798041821649625, 8893768842972884377, 426264098463592793, 17578615397137101123], [17231812916712270389, 16582555315059743326, 18380392375295531052, 14238022917861347232, 11028276580301516647, 6765279934785772188, 9810976113879846969, 13394287293577774947, 5258553030998026960, 4784430621736659331, 13806800449178064056, 1161817852907886781, 15430524399772044450, 5898327192353144088, 12005480608814260492], [10769321697637487648, 15329010378474229253, 67801168314859965, 411761002966177793, 503921301044312958, 14402722001785504248, 17118420976670269188, 2878982925253617257, 10489774187271473277, 4522820407954685159, 5646050334929349191, 14594301876334076373, 13221671077544952712, 1856654834942598333, 15002616151726002188], [6538215794789825795, 7236299816291466951, 4297706054242379295, 8120463995426530005, 9887110099177872790, 9698688641791184474, 4800974604847700406, 9345011130401564519, 10560682139800942394, 4706906172457447220, 11658192542902144034, 980702118103947082, 4413413034061989960, 4316803844466444212, 11406528705876894503], [4239504375926620976, 945333647029875129, 104828959794434140, 17082332971859755459, 14005132747973753616, 16736212408093089065, 15541383789553079562, 10735728112030343692, 13583507942628172097, 5002794193093249350, 1417364022140278236, 17299680308750530662, 9822689892222151632, 12614608500573793143, 13457918755266602931], [18156711059317423921, 7175284774297056562, 12757044461081244915, 4100983797260631043, 9188785655731295404, 1057174068947495782, 3569566702280711643, 11849898431990207734, 13635481313551390448, 12450681854583685035, 2687202455914893649, 11893778118685034707, 6975976319896219853, 1446604341930238850, 10319009929815321174], [428377370874565473, 11595990605445435137, 17149105761059551358, 6779064373394914410, 12905742319040332797, 4218479296345928124, 4707418094721626790, 11344695742380430341, 13981255730665298915, 13332807075493802283, 2642215255041246197, 14622968208077416955, 3937916277845312644, 9905911750446572658, 5194028918226921387], [12890404330086446595, 10100133321076077564, 2916600119938703404, 527181093603951338, 7246123111525085887, 3583126728779753437, 17295756006373016603, 10497684881035085384, 15892056109983487324, 6413187357361610258, 11778915940717176572, 16892580076218009376, 36419581771233469, 2455781560161241059, 18042801366772616663], [12880595465520905478, 622982642605967898, 12138804905556768719, 10725751781747904927, 5295502067589539205, 17518867766185494000, 7433659121272208620, 1391628185555311552, 17631230874497355389, 18436755473040726436, 730228019821505040, 1402216386695939041, 13912889963112872852, 12184765996768898608, 17847182882842257842]]

 === w_hat_collection ===
[[16701091023146341199, 11272084887680159298, 5532561546178529625, 7343769059773057882, 17084524619987967195, 796349960609727577, 16539902857014821668, 4541114362993993279, 9377325428496975547, 6144336068331256221, 4168689623194632730, 7256491602354902441, 10574232125086540596, 10403458516753939942, 16276530977975874491], [14815276767858711179, 13027220924519148215, 8179861404111579878, 9137043206819946151, 612653779662375384, 17544211687905136991, 15648850450647435882, 7059304324562203212, 111989728641967497, 9456006003192931498, 10560939088548633023, 14555177553744994486, 5730488120204050517, 13101527466034132757, 7604257289951263682], [7022565465485246652, 14919265432218392874, 5711525377527729202, 16025538528760754716, 9246013630875348267, 8504908737360995455, 457380250914264071, 2705345825826008728, 16447682739134678759, 6403626749334688029, 5582249906822194177, 2000830007442144078, 3896462088679939385, 6812343400556674930, 12028819353064126554], [12379635908806801328, 11092941803311481525, 17274580527904581391, 13693437301320565710, 16645961491797639913, 17602288175164475655, 1708293802875264195, 847750882636824342, 10874756097788323903, 7623397010752296828, 5884156269435271042, 11806311569156085885, 6511558111245111989, 5343459068564042439, 16150495902843344525], [6637839484851280746, 8559773570923771081, 12014955047598086303, 3511329742349078682, 13774912138127035798, 8455325163674750947, 17201239238321826544, 213566406744611258, 12721172350690668635, 5108704119863863189, 2969161977912819850, 10383726182922398539, 478943932083148888, 5514770879360567402, 3951457160237744135], [244656879343811407, 3113183884217988478, 18288960675548319466, 13540685805539852181, 7295451572446847214, 16238893066324863394, 7984501142580627359, 11422712032155087102, 779590417116330230, 17158101010689577723, 7969373380513615159, 4743598684561274518, 12187935740810344109, 17867487930138685040, 3605392143128314651], [3584525768827012899, 7087981091573034967, 16754813956249660131, 13053771968371938174, 4697745167224969081, 11369382069681086442, 11217185806882325684, 12327408692147755540, 10758540675751426290, 10313680557887710303, 12941832322308711270, 6213649345415002460, 11856345211067574695, 3837694412694872582, 16031937696481531143], [3255088585294365488, 14088376127544030814, 12558462785178318484, 7486439372823299031, 10018600191640054940, 14922810252795450148, 12886466493029971593, 1337463098241924776, 14539657230628326858, 14410732583740288212, 6131789840828978130, 3003687336436917444, 433278285775871777, 10325922715539391834, 7139990777604794251], [6587263918869862562, 841436339177670951, 18076745243916238836, 11992827457279941884, 3888179974776470383, 11378315242073474662, 14068714481457358136, 16220310587104433455, 16375316323808287220, 2267987004691591485, 8103568719014327345, 5275185421927113680, 2845521459735083449, 9024727064485146186, 3624544446981465334], [17897184888558052149, 1250210803823817984, 16721895875353393567, 15313873399834476740, 13785200505026432241, 7919003750726071572, 2974075977040248157, 8235265995922108103, 9900510387651597501, 17987378947797562898, 14283671824657328915, 17828409036418065351, 4850880004316697384, 13545982869567014324, 12093269367097988138], [16561015203652321130, 5567663143847295384, 6762449555512798297, 10683025895140986008, 4682568061028126838, 17477481408242361884, 14435161837247744069, 11302369976946051021, 6094594433768256491, 3165715106321173997, 7820606774107819035, 17542229030648104483, 12621438893639295158, 6049364648048434458, 16292173573184474870], [11911481889294967026, 9904900464383175855, 10616419459941067158, 11655950366003284108, 275835666377434236, 14702195525080697286, 12508043340450432353, 294900199737845010, 17845976241363410210, 12657616946895527088, 15181270422049833396, 8361687652010242535, 16657543082874804029, 7199783151878699553, 2440401537238974060], [5543821449104091520, 8002475251395756620, 11006644917231913607, 8021354401598727378, 965632174641657849, 17635390710065645227, 8157791576434053392, 9303417707785935023, 17476375354413982192, 5822942235411597897, 7793976303309849041, 509205120484820750, 10217086158551691627, 4692930309171634074, 8246887419176186690], [7652200628630786001, 7288309310866389596, 10158675308249567628, 7306461281487493405, 12959797743283562805, 16486969285585498687, 8409811071365052961, 5818745345901350645, 9299325105545148504, 6108179341942422778, 14559782340366144602, 12657640296629509685, 18249113281140925415, 3076352730910693862, 11329683519429438728], [13854593605622833957, 16715414212372080019, 596423265339056119, 3357438670079061876, 14471422755527819224, 10150603182499043473, 8385722214876974887, 5962306872899396244, 4513908049517728835, 9079970753784320811, 15763513305867385389, 11253322422050287140, 12167666340254181057, 9834528656979322538, 11760642430533985059], [6604487388914431739, 9238859463487469782, 12843742488704977371, 8053100976087316451, 18275106901279592838, 17845511128849636580, 18052799397703363113, 18079823164738809313, 11634617689664886806, 7552400436815488051, 8418879685837767989, 6817317652789844626, 16020401743243912527, 16675318238796757537, 12457269996919783763], [2715007521446587961, 3432601990464266857, 16861766828964342458, 4390233995018634648, 9315699043858785104, 14722543851135407851, 10034144358996865598, 6003635541847458793, 3254812686618643842, 12431880575913475680, 8611160019006212564, 14268404632541148196, 5493373947023718176, 7160673159670407789, 17823885250977716627], [14692496504348119042, 903290097970619237, 14330279486786836521, 17388090773865687131, 11795934978548637360, 2676661916911951644, 1801030512013438718, 6891768748047524523, 8196914836191488946, 2561672639352438413, 310647050993503940, 14410609431626908487, 9651621653702694208, 4880992926211231860, 15598329351129930119], [11028919255684131251, 5232720029180546395, 11186057052880625005, 14554659610977314461, 17691131243068591356, 11464893387796889076, 12452974355896124212, 14018982374505738712, 10059322702455214476, 15097074277599974469, 117812181456334586, 1159224174315078576, 2112954735680291808, 13951912815288484663, 10947853155434140745], [12948575354690018092, 9177525425599148870, 1435935424957601371, 3573807507856956288, 17919387069707575577, 8370625211651783268, 6504904574518842921, 7871281952247963122, 12151014664325330698, 944771844522107622, 1378285699363160384, 11450032794821413347, 1932928301384899707, 9305461051672692506, 691182420478070670], [14727915850837972711, 9891655291005956699, 12820038630154755527, 3180254491713157722, 12615224829603781721, 10936276333402508867, 13816305565568461555, 1520272846076038936, 15007803996423436193, 9826053735721341087, 3048803136900411860, 11430404216343666278, 13578805090090680650, 2082759369333626575, 6839928827015195019], [15752426273228694091, 15891711900810664549, 1733404347320285364, 14033655988580718928, 15477689196325554795, 15010715516388265356, 6045391939577345572, 12790234695151206066, 7489448122574385248, 11264460674582525074, 13314312796156660865, 9785252559732538107, 2709604659529192103, 14481153928676667497, 12941497178914898748]]

 === M_0_0 ===
6451609151232548196
