[[7928691668574423590377019133144443220009376833944986026812291791207365073467, 8267599180912956948473954369301447584330237536176875284335353959493921420450, 768174801708152149205544536657925269277000507953979691685269813471177770223, 5849568387246257047630210655459368968020278889459264784668629025054170297769, 4301486599823154168528340896884250591907767525108611769206121645659030355062, 2673065166044203534094384471021339731044397575502472026165350755249004960952, 5985815523836152060391460755304646811004910899546344541276845295050444105242], [1336059667680937257030656620595554446815110407821522941358531287438049163249, 2899565707194535441862917106038449723872908057247932550544231022468932760676, 2166824248361695692588519599370443021856252362053851481689674503063638133183, 5762369910350532762457764134416507402401918820777049759779387248647531723279, 3853063197452200609966064968844039227102188707416175735735686020427737202836, 5834080729771820116389370966612046150353307592687973688371456959127171744772, 3725630261689084920278197003003903112989522035064578968514199290700774405796], [4306578691535081990873021363292633098591401730007779722171303230459110035879, 1812489667896927733720572016084150745580855012724335674778781122061199671195, 258120274124890061524898663910257280365763291525180405680943402657914416100, 4266916561656354746443399968120820467933651377149604071500129017355220847636, 908641461823304223108958373437826537072667834963200223224331726917538662893, 4526026931032707930508696349622235007496845145224734234886804620338219715767, 4677753626043173512999519066931270778747413810543903788911320662875641475514], [1382233715131188006229082182838899543294369419759381561120998520975928401239, 1036969385570546423678296235205373090013099235123184719412215033196254555184, 5505566902078302504992390916724147883620318972740352795120790218622009536468, 2355282506493249021454886285924542849491979762430661903931361693459943496973, 5403126069115042831586593840888997058712613498309807934096157401061080367576, 6237171458811570996284986294122315349432157869833545488232964953273085903042, 5121493925621689726033669583596736364013201370850560523256857070554233430571], [4353743306073987499859349573074061285571954402462783173330332200698426905353, 3046224999683734367069367399450457333440047709061639041469310397758516965377, 7726259597249678753970830979115112438716819766160205629054681540507643174101, 6643732033090945061005767170899793119805673347840684799613470117393616240421, 7614106748043231933387201523646761697408528585090470100435832635076760978255, 4353813021635809084556978968443958100509222247331022815380816207364560013568, 3090904916693206786868283260895678732222289967087473380048950605331277014723], [6301073435683877128344562406724360481467687086161598718271494445534766082864, 6681326044152550418747882116331077576898698588822887225547123421349604509814, 2105667339483214239758317237402323558228874724591058557812498867663934305225, 5709314834522864700051350238596315127904945596125639015617415461544831367093, 7882863372267967673177395808761966973958433490031883922524612170176234583380, 8420125837281545659922539989943388344398329492614580075810473365842910867666, 8258446264490623471348526255137610214365376490484060781315155325570259125857], [4489553557948314419102854145489776121882055398279311635224277727650202724411, 2814492895932620562283241060668690075507296553621005829737413305432180473427, 4277874834083559557345625787529058205572930930237149875007702632601727828889, 1960935615575065631248183853436882799301872643832801374244558607161442321695, 7387651008929406526221240455168137068663255226045846928496703310295623922788, 5432984086057148591269531253268240398140341567375775623713059361969477633198, 911548294491011408320889737095970559053016092601643764889906852799225830049]]