[[3195939821470342407043866187037485190412960074203265869296316033794290707270, 8192999172287681978279937705484780209698661207375769758856214590447668659103, 1665163833558793134901638856359158517426266045166622406883753300854106512133, 2449323359783449939971620411100757168597711619642133905105139552556745653655, 7997054509376614612478892971990071898042005712049464815984455966308522818321, 4555043748994907879169314788407046522094670487469991975952733061011231124083, 4220020953881675228052350163693177709395032941921773866940137655004312512639, 6140894171802652360785515137586631217522889399255586808033915037001216040977, 4989259181903499544646700172492807664060080972756633790331935903190270228190], [697803788815986345601601330313660859365440719263778333868781527433783449571, 2026091974998222616602188362308290303501972667130640949077975270335809845403, 6206075751069269905707439983001875051435534429020421682405039061392585300498, 1464939134024816013774540031869332285004750070390455669023649553483899815656, 2907833318518803687716961895380693105486571105787061697370242877001462607970, 5238651046585462724284164251954632695845998694171105229707534426063480175524, 3079751201386093353296964674446576551306341900148526772765947048995787750297, 2405587386664055630654065632134520200107765790464370415562343982536672490320, 5575903494865596878754842108705737910435780159785678405009281428896603682231], [4469798835198444546916330968558933081228153970715554991291913917927696066613, 59204161935304065637509255108163146974273455256599445484154695693620027176, 5245859476292151600200677265533610166667683825767642751148496038891598375998, 3501408804777215283662219469185625031813093089503048081399116904156452158334, 5831201328300360628584696062941324134945275477439080917904254648229685394378, 5722074739256548820385451845894511284247422903956941157718514060268665186038, 4181413630337445736836198637188012116342519506215705555946434207635903063812, 4492144215532121199695805763885568108083759766617272940108988062267687160291, 1612560838516989776222036361361222739637371694875979327361105314605332391424], [7953749166116749549253003928004776389374576588475899384013586151659143849837, 6153802489206433377917059113433805010158264256347055705224264345316908843047, 5281028029734566778880272955609248756519350618367255820126580204010134272241, 7792058682161837330899571443207157817751964966813420786697452336810793603850, 3380992253160248496953383536986648681236129094471266537502054404528803123260, 3504945083968383797099482535773353341406224917148034262696844007866755493591, 6064734000320673669749334564078943159381042080255237567943800636821059667781, 6782524386335950509890523431068361631725821487351818796274643940120498217850, 2153218424016457404078212740710051128293155340021557696253674035873657438750], [3620059470289043734062892638376864996895707384584571820250032189417117153277, 6736331289337345444729361387338422809027692253158668415458282440630693464286, 1389573522841108453411129248618540478518866237272209443598793955549294244111, 7536696420957075865417847234666768134686303107809129224258456330638643096561, 8365161861294129182650896837616835474341532431309409544964309813542919968363, 8434084005082771644611578048781921012598011131920352439214229400041306214083, 2750548395764276413363080018634112240079324332969486569935092884455713799323, 4959211069908119180134850630775227057955779261703865929401337722528476837939, 7659833953527652231877260925978903674910813449699072095570803967720443533704], [5684032818099481924921681530595548171547404450297014204085234823635471362374, 1135135675423514061561049973549610147196984437585230361509130320992410661325, 1029187681938329826566872456170907037433789329950914477900148354354863240195, 3491715990597707058568313905402749540968468421211864924809605262623735853167, 7168317248801406623927664171891530550391378208378623841519775703352290315043, 1649471994030090271983785929570950685731765308909911065344726697619294501571, 618655241035555529248944974385435189465158747382644065785058014859525805607, 3866945461701990101780215922488478938212491220967378583866841030872392013910, 1592193401508732840254871014256822755399425325702415181941293031461205814179], [1460566483811622418591307178233279213660057810890076468304893120634307292382, 1818006159963986740920722136413611067532051156094491674761667226298511368274, 4014423002025547732947550660316233069630275033177273370486634024050074305602, 538084293539756081602182792400459423151507360940409586854372868101057925102, 8385521515659289735680837803725809430374844246800899804313226422909249791288, 6679563729266586409002899773541147235942478365814888891022023265423509541687, 3458040072957251647421946562064169784509317301597776520132997940473510601097, 1867771395381271834522491259485584999456788663588326557789367887846988040923, 1713899847379613547377427421720483917103884729237419458190016956334867685225], [1402661654834849948208414955493379802426114184069202735017655681808067189975, 3801852864665033841774715284518384682376829752661853198612247855579120198106, 8354898322875240371401674517397790035008442020361740574117886421279083828480, 4810388512520169167962815122521832339992376865086300759308552937986944510606, 1806278863067630397941269234951941896370617486625414347832536440203404317871, 4017177598231920767921734423139954103557056461408532722673217828464276314809, 4502122148343933124673154378613890139567720582268024644020209068919416902214, 4561829712907233792471674922406483420574947340289420058610189883205900987113, 6148338654730560071040421189313196324157983353250055388836104661881521574716], [8159682927754000992321184499997107098749343396015601482130535740628509397238, 5875458165131202198687456465132303861996162717895733590135903107762343629586, 369689081101970051654464068728946984508029041063982163515876043614865310223, 8090746012031721314085811588103730937574817095108146541180098921277401730689, 6507604872493162886464118469227907850209464370879492905037848895266033072042, 1871499703193787598722336027158458679846087700726158474066616161770353775755, 2845267823865273840574612844588974809740242353743053403429113456533348630811, 7159850948497071111825071237736057149842575696322662301463787483519703327031, 7907342083471017768552185139305524785354620391900552744466864799424145439241]]