[[2735315691567496447407171152736750055976064076954958868732156315289790632296, 5537539609009057106623316061519772810529062916383874738937001411159002433953, 6297923337138642043485387116603595976668628661575336107696096211479831078730, 2409711095727710765342913136730913774781719657541921405795499234635919514798], [1490754953364081506993544394284229917407926335171453088137536204475028827000, 3761537661752759900279528159369533070331595696660511084042167900922167333893, 2002696948738652335170456347219996029617044103969966906681201795242896519326, 4836941227930125081544748028088869040268990884229190847327602774090597056146], [1526914922966269065210692379183772029942365989035503211679647542832599455878, 1962512346382109830253863439246075722079984410224677360402400111664576555410, 417188450510979687290800561855261929509626634419334293387758206767541044290, 2547378569659909272830178654871195621011208553731334519903741344097542128127], [6277612713768575665266878042857934814254300334128773775271816012432510202085, 2061304257261165553976278970590755979485564572846285687660984128822913611520, 7093048519734475105922698840112445129094943518022099025361606745352954434575, 8355809579790931106830486397131093815214368438846828887267158657582948540446], [2292425403086915824085141156893444069972542038727793745456054043085438420342, 7604593505088098804625703131089469101954604084399989219721788502651853902996, 7959938552470693536714626908208185245610433042761322416430757316762917345083, 3405475198825372274903440971959700719881796159558487475442431602063420307313], [3073684837877356266314415991176910259811556852760328658976861262981162428130, 2615356267508680794772743698374768548946919682498520403057159894223882606825, 2008021965933314322284300918637377157837474369229079699083462685601617600015, 1088604176480177403305547306552095585889023167102642405326889460337863685920], [3603514677211885388816594911093202583108089154814301653377802557299408285934, 7197973625952658073580622854145888075923850451703743727748065665452772470410, 8429019892365946289935810874487508997117536575419142518323452645413232154461, 3067806579268310290577840212425860522140161574458534841056774250444665429255], [1720379026430627430079102254271562038437023429467517667667516665271920622943, 1528789746136478682074316139346396994040817039135832240308973979804603398616, 991251440014282403819624226806837984716357652085720594789495003542095947922, 6318225965306495716397460655198371135138704237616631115864974027205232362624], [1896152978699122106880375145892563239207037137261804041765666628902981187771, 7862489914872822589720231698942824299484130784550922220549415131772428982342, 2988273482093602189124265623716884951331328099908541675933277755348723467339, 2247539918357159408812210650763711307755972715208895377486183145505938855296], [1954200360567984597523266741259108492081844355794498095408797642972213333896, 4444060356416420338850529482197836219048577114899412650788317643000611027917, 1323391255601440769909790188190284387325207171630091264111379097601697308058, 4117454841729290887659024894227786949010174240696158544099313033026232956450], [5049658240893038483434229314745111780920579361959687499422013031195775874068, 3846958447030524987359013563036298023404130933307324306782731001021459533845, 1755581836865864911277480069281261738819573063500226197104194513918432409867, 4682144379451399741117618601155496624866800698098590584698850824991837557983], [4452696749465076976290322084540527379792912623056664119375622351727887892277, 512429569754838838350913144248064615989870889678223611653609836963772555980, 1592209680587200503715342953151478053253291246831245899313730068189623737435, 1008390518772484306596112801398643392371628379019684019545613095372451696286], [7279300044934048766255638579239197042493810740860783324605080578625182755187, 6262002296844293384109914059020498656699363353224189573914610927798040185694, 2204071165575036746931013275320973528620014978685676451293076115928534147711, 3545280815402793156285472540289841062044484798160097409324606164515656444470], [3306685310024503942591806241915454442871638365640756994411073473020212004836, 2461692557681358409461817752564885578222822473856114431103329268498991192561, 6774344807853615614756677725228531877342526222416380697424060093941597407920, 5378260748359019535807211751008881011872275835316913629937865482854486501439], [740898687852982403374783876713336694928392499256947291710116328240669596923, 4039374623387243608456465382151171821180707234320935394168851722424695174886, 5924220707422570706653014914664190500774869221916988845559505035980119714304, 7831818878783560395835322411231908090395196614300988938193319670475915523044], [5157767861189517564968418970596645687911675651441995278436513242318196925186, 7539889599148812384962153605807025743082546625513829421212824024550983147001, 5753718630574754076429134020852745470929230752968178638004017321669539340401, 987450421659136961779635800510407168786236552795725605265115324205917884267], [5953425366590963466371881241625594558281746672754838355626135729978897885278, 2360752614261887894465944546746282207452492137096325740096654781531689805711, 7392121404157588464761881110847756623825083546872880832949920534752668912818, 8376953720501658861892500301793861748219221733704329125264651404515391089724], [7676510024451655695121999085690714375204915554808052016329950323556824993405, 946760667863667839459124552272072816675017293604962934086733488987672894210, 3624387569666693722644011000379325859324347597466773085768468784918470754125, 1949124253416652119922231214753497023077558809729845441010885994103916114585], [4899744102628491808359666506921816378691151963329590955317193585060209240103, 5559655934627898602751965331278419030264421777140804470445758195939794522888, 2722389716034587411746151297990164192627364213971163746251543415410952355921, 7090383143880326965027511714682660004412128774671088904157519942350297994470], [7620839778502760546474898838558093248647518459025687718480153251013949735016, 8288805151409000375978501352052842425562577258527833334962229983997728529011, 114307463222205425778116720154086034904004377272751804568612469466190059616, 7197779150264743247420058460224996942402298723407068135254027087740960676093], [4725821056437698473151147252758383872578095111049012271583167177589172886841, 6079804586088830176246303741899939692685127270030872946452236271741004692917, 3869143079508155076178898850664274812347357873474268756381415172201524162409, 3152173552040879241035209567612929749161017995862311449832378670186287592200], [1163437703052834207083996370400933328449240822806444112932126669005864465940, 5677884438655833301301172325321158365116160281468947268171824088921230120630, 4162053314507226969556045318700352657396641500191878175265393431616504652653, 3566992209168157875537061338735085927331043118341654256194873072285898785097], [1726611593173142422218588168092271253060740104847302911493355367617315927996, 8121372940653434346011781711496460451089612184812754144517861286195813826316, 2086401908943055407515039731622199951478875875945041357541783901218453367436, 3065939228813369103688096757804795392797366528441930269151917938056337422796], [6939253472426796766709005865512067664047970579646783298311363495297303962748, 354840125785309453483686929003877273952964751027091045913590490290719850175, 8430667407659751918361734426524814281016044574241810109839787812856265631615, 2557097751306667795871585685888690198709482676544239768177268220593573502846], [1785994832561750570413256671837593074546465581827030368629263426939737050424, 6649770847886528850659304238763167947994815344050839533678370684344928224209, 7444796224699234911029445257453736244394961067541247156703250200945103978890, 6677500813225526335772944961162148020822011135243017798696033430900628181003], [3113019904183298762494196731237819559682405563885548849640927223878766116856, 662595328900780230547399842723906509443227604887429181785456289887128491927, 2684945629983322469679266954886759406728948718913048823728367108142634694045, 3697573647929318920685119057249708496037743090379264742446015690654724529131], [4920273088430126804250349097980355811099767899987515233739952405579930195608, 3622860929941422804886865995932477641943954010084702667104997888367513054888, 680693034201967480213072631114522697027076486283368525506531190729371664505, 3580628984779461473647106103522668239745494605473493434166180858325124077285], [6323780310020076701010063273141319828960647925860173982295391500386514998204, 5242923141357506101670422092177762423414898525418511958059400453760565393264, 3150290815042415810267274488085433319311313213955635264943911295846284563531, 7467192062866293293443491970796902749226634501825056800112403640341313621679], [6993159738940035321886874464138862387542043577319101396907182179458481795653, 7322802273622383413776502758079629720350898614428722355442081870081961038150, 6611626679598586719893990598473389772834064460552317853933435175780574971883, 3008276286996351684038071916129632463891431653138657545622049303624129901626], [7137773516830458009687745077302744266788392290697260326466852831829406289025, 4508891599842134915037149905388029219785699960742429170695087722174438871894, 6298348018548921694403064333528429037440642598499638879567849178615262333769, 8114679119332172945746289173836294757433613156562443468741142982715501780839], [7438497800611260552704758474285778228656328541495251892638141462846456007323, 4255272167072023838567959100336642629174790814806012746140219679782602739802, 7648271188220883466548702278239068268806736922298373262635143241362061374949, 551843399431219279147591037468672407514681980923813088239099275819601018462], [7350492575565806065477240384661465442473615655859008557581165899279634019741, 4894630788910315631012466878007728365516339924894581712106023211499577383543, 538735240348355294805623515668506704532811897379245715384951482660252744773, 1857651995150502675219857976869692710282989548137146053421967667256534239132], [7273218602022340332544120592835994055232400275814966114324271501625334335681, 3490038693780545917434571011053218521147459192810974590971903653227415035125, 7260642014785266788348484753596127271057545612612097004933463931956254724568, 1789269330419552506642374635188777672384805255365429784695846794036696731499], [2251460768517349421418076984869060687023156574693526590719187912673941945277, 1262255236356813655900715594770398496965078910925027017535735711129610358240, 4952264081113962133632359913060431856542283742041779515360043243604744288045, 818434941401194101936692423549592022638360446321740570235821705279283684248], [3258820476759672028671535368801413660919532924912412069815924068391031542828, 6060785735265675798304086438137478851409512866446706660480718972047174833909, 4535550571113569808474373200490581142635424806383676345768821074027723918070, 5753647756065564921337384490651524373538815396779869529102958850402033490761], [8416635342320895937785393778898250606509469411505003524044960455417099144928, 130603304402078761088479139012443617377725683015184155153101874424662262800, 1518324321899920327301199402304875315636934952867412898058308335606348581556, 8420112012139500417680026977774152849969716549393322018509395478359767412903], [1908726016574623131229534866279385505903869915972083274344350124244070942166, 4926771042127141005608516699830799293365265686407993396235179283787818418264, 2934665582583822311110093559163572342919465393218183042529817307676038713863, 318966504348823150755621481304349550931654674114403695880740852485134168079], [1381231130584339266703602858003956171504748884793525051522167328097413858422, 2911521698258923915049097171314133340928652212262120469847067524040071391746, 8443811027130272219057442116222517265136176825879828704053448312046965378674, 2435901689895636322744020296165878109718497400642612944683856604678670915250], [5576177309603412549760943945092143996523060713775710977216402339671325047712, 7630515771879062902558868108456341769593920377102056842317188133010926712301, 3108352089708177508599864090263244143313819446700694292247778089503406229773, 3404056657290345502682003921041627743480028426324456334324065439783096843575]]