{1,1,1,(0,1,0),[(0, 0), (0, 1)] }
{1874,1874,1876,(35686662438826817213563656105539275101535697856185534149345343499844688924609645885022355135918404539985234360061600350189104933602381092051318547433998422974780849873203504443997848655625530623340371134341848128666616900144765579208079985990838064549216971926322724228681888830028303266068257138844044018255271435540077145919301591275738734597339459327150605278900738075092002974105991478458558870434061142265122382216368947373807069713709930176019498122168857679124768213308531786347567931187892878408434918309016688829685352835815066580725250947929501490665081644655994535671618967990757851510884824555077182679991403377524647154791971060789752020813552933450127083583289512848480063215680871789266871667712713169422322364887230502908301686924054210360219287364955960956032042950833997524453330328272059153308291883334074276913609077731735284223918404284292419020812011476995921011741346807748175931518235517265745772175162459312702479399232407706908845419443981643112692945551070592330727356541136923766994413647861488973051126611026148759432379003889674724917944805607605522248369290505402289434909292483537959789906318874307733003636212064338665528270372138914552950520981104343589517822223391222134534938052800801473344178058681643355234652680630054983022124146408518221588969589953072079556410755020859599503506797164705586073997208789455400263349566445512977221962882867406488146422316005409966253780701584170838345028112949069889795685718655327046530483250125959173355678292967658914005638877070834611505129167951369865542011417024870301563177370018869158755113622408743199140022326059195657852986370212647002055769249427919561331384755453850684244409515534188128908717886781958319756449082516858512445042864312213606923472603131125312862163489874095569215350848020642593339333668497345496027314732958586211664873526777590213207494911489341805851119668605552962767,87005542023454150524855541144750166180919865766930052623463014576174554467821213957706498855559077927873140148579022102984237075640747995279989642832992188016154244525422278966269291094999255638208855482151405506938548578978626993952306016946318459909590778342355856153147577472731880392922408448351120608836436787309376542102861246758131059387213726386714147750943829877803608813501157597297132278662569590484844550173720257728957567960401433605097886634959342671140099728318480661981670113406848719025661715441498240565928452257694284734033186800579565313362313891643040303824890693074326810596828204114920499564539002024387811501676993037142024700539208458234538805837480373101259087885435757318639663667261597412600756998748849468402910307204633942748903285652463107201618869806410335014875125086076219328243935905232512517288787677039607942380387101187256890064827850683397174701574071447859273840130243421585240230546720814792141872637351043465819000677767263935304511294609746934407215686517293774009054989655225608925542221677606386577019926666519641600364567557194208313131276771325487167689236642467808540431881464601888142548664563650077494805488093052836193825650435423280004797008818023441669902387920463908641771270053841646139610358473027295405503333253535988771195991171826325976224803312343154770764448787106871066190163308337503496520787439022463066715315188820932966437067264819835942543744914754708785528560264636221600739219290648079243002368855133337672334702546690962019521762114649491890011821844552982141986770779324959379319663450035429876647739511502891515857175267046923938895240190738331037400875186816754190488884935451452912276673912555287036698557958114181944091831763987997170817657860587503942307866008409270543838849198648993460302655964709466390742236643982561028874558104072512842460862178322605890336695658154025228215730711703698453887,1709135102428266402521578879727820755289613552803360621456124607477236062710486518306973764485152792403836982447127607442256178602384138654630699081618087896504547452419077042758442686206419280715364719358444963157698332025374708249586554595335682851323392839386182223430638025377285183953532982335289152167960094778509135832533486573163055391161165455290050618906285941817273026009595891889257351919713796943557063702989409958711830323963904165120856027913035875447234054819209407636752170808481354455393229418385392070333249788177149805823305996401240529129269675319850189648765585143872927446631219018758183300260538575964857576326413621858004145085056968233978117291959507622980746386913195986770246828428505004660553304111935995749966702604925072694758649032383912238958853266784140206835764547417096028632172800108512761682168258638590405734443542959079348266711305636364545280494327703507925613838554455967641989345934135982107562442831339601728404946376557099963807693948972893157706474963068481053339310924790906172115918700323627413150856820444271874431985423216088592099275993135702445229813416554038919256687626967939077194814654296017340955433406979774456197892632603339550402577651543232076531854230456549500665301719274202267084848477851486963621280516840090062870783676271139503026167429223506897465592567885474737385462535970365299131640088862391408665388681336793214264999254388651074994672108064474559668817847730748402579997019473615639106089768908506811205164186682823067680169244405306578488165373356991213550493590509092039078377380748348705035457779199811755686614360447907451061901486558052283679831011812123254664108196829552904290039038174025870011733057320270633278578446021776430625193839865126802043272540967717004297030511020349356790240239389396001123955974292384351794841187054815564421183556415606663233835771297306290441383808134021392865157),[(47, 2), (47, 5), (47, 6)] }
{6721,6721,6722,(1379920668623848515564749762970809501418499834171506729241673280091319052290446162698213507278921615605117716682262553791747265974896975852477354603932420675084930977970881259039751719143841672145121575313690389394708022285209261549193350946265580828007715939504341089601531795872785972779594278972868055086360937456914144596372872376836911204785244903222765111630308738741877016875331014739401257686595212493208077249649319319355402507683462650527399439986112314266240277900469821693060157987638026197444548015713310673328407161069681782976511677779279660627864298608959252747480424811320739184305737613745822900843769590137429799766442387264653369606709929915152993749130445583978156330417397224520848725122725138862557747960438158707677895062124939205476601632203558789076071831106097833666433661037471037634269451903177506842766321102372402400867546141356922056431091851766892079073154302343513473915778996072609983984760818805707451574992215581219949358803146402993981762280485456973719583356905483470153833338887139207085276934888139520896858200818878584068172847892040360205247135456377782461195949710570048107546124046168207442066921548289023948162376988224772850885344075756531323983372882990081881492574736491393256409667032611768943200098995855155087736694109558673910139979999812224397711564220258233883477277417547406294963823323566278169209933833393908352608085148854448843423777471841386560248815719247702960368664342857550806826535488182866895713035035025312174903138042459063408476349163573458226351471798336315873063307621679890941594798515314330217606112806501539128806357199481552976440308435331395449040410344889610170472620278012710059739083847090930646135922583603132593852029543797751348380101472647692899097795516579817726923215199053441602926960186218935293146831322560308151117298678880145593955725349877749006043921135956234977806922085334150726333945973825659216585741645081861353162006015509383803928400935189500955219252266587192296855286214912068718330302531212148318673793380654598818989694201007350851074515049848985039698104585076391381725906861350828211617521806393046092269294455768163827577001042698305520864671494658579155687978967329029194423391627734574271164965133055838264969572490806173438180861273247918323277904090306146146738189875066977501608981566978961949095399325262741778796028271904141715522940218993319525406490293317190877765995119659386855096051409706415103515212147579021361107912750859493281922312749393546138437719802970223453432475542092627390404647771484097724428429674236403757801328240023053421935685040371679660464444651383261047987695736287405766149446670547100100312174056375707208563809585448007105592147652100748940686372034762202432108839015585611777135166735775365877649831393510289873387154724752179082983565055268895238682607769187578640656929985076633635713798178187602639717982907313919575269754554792876933478214063923157841695001354926774550889055158918221411660346286060232348816839407594446551110989795725470017679330801521240162945177313498282908282446689595886171927273899613877343399933051774487248991673905663798605042513721031809988860431204352677955435323515004090890256336085335474059537802555301268764328427112742892323075898801303867596644895487127009330037304424245654065008064072054319475991786366038248351060219155678565331743988595016673370367536208762647747164841778912235399669406832187682745532488295955310554329010523201758874372221333897365523252751389639248962390848650919060801308304198377598854450060792785692892809965754979871259783975025515471931994630686203805521669586666157015143855892640115979578455402054750674065073860008314713144749058355477082719248636185312656866859611822023424107768293014884775903210627733608478396670480648874916440937301141072272545203440732967234325471904485801147332125111013854198220890043235929423641101079856922010481153410442802238018107786667066740562238875354033563107916872142398953171757924124922141910541177202964078023432850079732772008046786327748296594657676141876576750957528434025640235229424854894889254158642773305296911709042292944990193376830131196359096184651096559490047897235576415173153198171469405737206590663828417217923996550996588651144192964148000500018768901757403656155125523427831017601928556533695884792174306023236382604800972596595328817809402505177580017705454894691245523681736944137501407310696772690917958721718587027980179937836143627318650046795893212509884690121373657367354556613983908250959966703092185566461946658469120491663580591192188450283195699154321344200298577028469438595781818811915014475663759549165832164845474910154862103243132664038677314478588294227477395717517403434218005784798198927194122356933067085654944809924781408937901913942002725426143000673344613347130793538031444242923174069870618037817005234783177585295866775955553545560312639805281079956381552322800869596717692777620757330172283532134247432182818177611153719168619179017029768941081895029144622660056874293654138186548766744244248999737581357760933375192742331361430223555552189009646554474860361032164998226768226570471791875166598359598879054774848688718285836449073257986708696830676927502838697107981797927194179686525667942975824935934082612928643643570505089893351119034406765749885441512221156174921018421049191887545922348694168047458488479017222067341089903879035460582709655666074376951437325262186471588766383721711840066234738287183093847454864726201724394483214938031834810048930489244771241347582355722008670643052452193798978598925126456564768498658287958942592757683148357609383556958479600610756853361461178182600738947521115493151086500958502911640483618537658273721933421051580197785656936153558173523762621990145203877718344876698069684226479757160766925420913448524679609441426436506346008376570031749844731537790846464556395262750101578751844548704851285469656853938899942061703810635564666740484443990606809164639932412866964467376850304013176786759155941821161767199768262665319147208037611723049520369626030343219194774278822316456756808105239789607185415937320376481329712294366279553536240638802881963501994382776485180282622552401444290783541999868539569797669584885749731686569563880423822445498001272027592920715282724454799189528949509830178480672771390957297559149720314148799037757122109944394111945815873663424512463697329263796412941696010327751227897704597421130729000894068176534797446008296704887803392578234667753588983533137598403646338064718293940701235774722543989034706240415104597486770028215425927680236209709288484224349083318439601033363548927391053988348241213368796385168143936546285858479895502480474958897814534775641217433119251043176908194249367576105994265162425160104178016634723751367944566473355691950455917,1985770457533250263338058349905439939890753112402432045789870466404733890181192288865574335150492658432680208191421303867069402445076114971293207805978525653435993007747618331687672728132124124151816277947104695922368721399867600228427722683952385162273584961523269613876968926325480589383634249903667395731706010233425726926381874001553191113277332981958050381688531122988212437087888426558602117006161465703004723505899252175146582385860307943277450252225623790165510615130046297802029123907339535795259373955030214598628194208297535765299473173649294598098982444522532914620725187973434637645490865413676177729836999798885540494933782469492767481249811279612602954746873165885078966124560152164361542122906495971517298597720932157228655516904549095449351703235505195591329705593933817487147064212053615810111151428904808654894495163983252132868627081924892914815105757767581891366528549133985711445578476597395676650255803133515940179687807341811151632843622142291129715698001363917312238746208647783290087184274572721959124876677997941394745068924894845895716641382451959761062409944026807554628773883622221750413965416564974480336107556671762654551006868769354200574456207634678165259303627150029743676928237054064394865241219006051791999297243806281571159417055367686303846695901821140416841082071273248149734581844762520347658948424584346467804291121638686597604590848897235203384226520356135340485329822545324402358099284928467991256647749834576746640196226050693532469309492195565817082317845197319129088305145270407381879857616086486257241791242925695702544429936867593667790136090559490561390795682957068784895987887553013962202199474597974456836007169614914042281152828098503840541161947747339306612751856865667630272500126176392184972659561674949585353039388758463696194725645314943527997477836613091523749776497138879533524172719394543330302459597481706211710152981073296179784394753174099269952226751772532466743263464393451442853614640089154821277978911372591632101835732429338246273751707688210631399612931100352019469220210158156145926765876424433342550336931343714533509629878991809091174052952824539707335784471823602162320216161037624387269194032237499661860347124977930489139630684714286077899050654188584614419963833226323163164438190864066194452675792191741603792258045538549787835476086607623366536493996804803425430863053200714304202878798513806899431201851432984532755935379586100931923706044311044011340221432941111177009927488583052873600877435126618616699737661980070132403359275570297417388357698918474269393352247266151617741118524066190907497866481270077423104102707939943069592622044324911775332777232267167181060462658976236433631812577845661054463227779624074842283311943769161678777086017553537592508511033760448134888709048898117104505143751207126868866440835557349997182057823941596993594154618093155632254291189057722916166809956155207843368247295471671807620917520641034922945240874294062025712862747497443278269282527413569981236867221804418968906259871914082964912706500565747485476033660612065347736490100336128471327958234601269168079557341420265507967775075993995779480093114448899821911033730151446067484888029501578109716498940952136148826103208345123063264452533210249542644032505921220405098202636202653104037900356990107986477212221011154621205671716029403381610122856360374337306108061302001401918574995038240490261798835531518310972888851362179929594035670722329994841828065561985940580333558555586397127652610366245453297202740046726651220184255178834151976786249712545661976738651070529785301818717841420725175243886444874324292178751032462948317326376383566809774362694577477690984684648631209650487634793911253235080051043650805519710936197098590665602109990581215354269994091552623132389954913603567920361741547917268678676097843860961145200189208505014094424772819409887688519154483306804220976644143392184861570018887127811003930748260425629196213119518249723235611685098359539650203190313934367082625908046029712637293469587721339012273967797903380610331817939280321884343110415524150102145635877378138808676503971766157489404191916980922299664039405794466552465927454738646575382212977745494198818231555324546856141016147082005681910480117812382470193624614881984309185644779877994053538139742792751008538162010045677978756764555497046570033514130924947059105662067155251429857137590118721577834237654268420789712014677294541596672262069694812726127947397269132129746926336265238143555296977585508888748444018925404776159962419185898748321575941468077171293484521533128561147335242643643355981107397871656556621297858794662288301049213900557281216734026491534931187274258511813524884459325471983067884051073373824436546333331648274780145781360474067575370927708849554009159006685638734794892568205460477116089412751977602447295228693572554742433280839972346139428928588778168279454796640559232886580313763738406205812036121255206115012525642125951439017789450657294252657400040819945751628563521419039614321384350760681984267361257521511823427829724742396487255212339368026201300143491583856491394477861542778136678769059018726152314140573311609966446329937403831879650283910191475744824634442756343895735930983480352876302501478129714876348365812791208797673140079186427731879411765105702022722339119675626542547823686967545966827214414707424073878791958756922135336021110350943899707168241222321454297076250188280669804353658071199251225045486028165092040513286320424128851429361536733687488087883086804229678674476904187279624506381100841454968505028344901343999874490219305885086206222725880261823721007034454071257428645584847079882578713933307821873791794936606782692575559464497917227561154423515697202848329193228300745313766690621786098100029640123149302577644258848825944573198461112126060990539617256764282714287741640912135199094517528264902691456348078392958589551204850094634863697952585214974298692994929032911493363090068469866449626119017496439919847376235366932612260745827465024873646150244684249853894397730410784034558013533200879754412518346700649122059878187083789601964526331936487068501798848148395950222483875508922752386741390813769942835964480544720461330778718691290437180992779798896913925187730366827287273331005003358631773405113772933323933944969518836345394965401491973944426339309822774869025771368088953918288511521242276429928545946486486343841171786427057362430428402167979211309132042811945288374709458525677270094240909223419463082101757119824348525618516963566614349257247466949481803507598380234005921595890566262004957566525226027038255900205065784420976629307402662467231430326524718526754605938061592359725482311891317668348418468878046956887968383611241788575149172620770399455332062926300083123608012338079639432,46886172263011352546294460711673443760280342380342044559174198932880320784330573278202721355028945390577669930911686187316111868705021551544010459205196225044748083906642199625129577755852432892483150966121509161963866665574822359340746799970632441161314491098309531460671116331365347345428937419760221372443865921684669292549192662441849732331560574800176864226395212760515525881970758459704581221869150335206187072513823216993077956441259437434802151466782625781269226219165296496314431225921917315649042058019832762533923171114908988092129547753631200821564796459805955592129991086743911314144267543304709639571228164008482477339844488505321766929236773142028318930104899124090300480771926648548103509417555822024549026038573672849018387467147079561285068647268755761349755965851188852433817940677112681786976313733750296839253149221622277595990974847768824833626490880483051642286723650885972393063626826476178829877557595904619191897106812274178625867708950971678958903845916552092109483264062626468895648117345630334220200561412722214124735764570817392786727081211053134301177767220504068476800938319423285809330384944308925610386748473939342648960454982039677232441648803389281106350718242070462067565766311603729351528661210963787910262861960547098742503023531579304232923150256170002966772378758763369818623487766823710026335826458779433714317815240924160403108785531262795974981801045834724841683284750156862514851365762480037774889199007524767165906209651859374292941551128490774533018286186356613834870762677156972662213553409285542847106500268929219453094239871486458576883304762711716483211434902771091058924456108443370827190140628135100278633256473154008449811666215177953786467939589266187550633484599176780893436829787146522224809255549060482292987728016933366801387300287216228707859127833725214822107622306840382226684097324353234212139846907349392227450819355095960290672709424872473498994494620542059246474638166547742987905891438783739699631329568674303401281635456931177410623434769951378953068490295889725822668875038282599400503108806057074710529416757204298630422507717607513999648328028142617020451853183963358021537011164168011155499333955832568896596653724370052406801627532919973506205859311407017145442793597231138346585596680538757133162617259875576323405065095615037582657834522958574439961034962563937767212667572063923943228698508189887546322236636173724525666022297577098465397131025008422813875942573995514188218084488211909704984330222598471896230377993699256685626491781627138064904112298653429825204083534875256581873913587360093109654402313076959086789899628346878936639718657739963952270495543670171149499137101248901327692956686345288698028438949129359879587335284803593250107705971434737263792435989970816934778386047257415763987737891944554023567742821741447759067257436531051358891158267454458301668520006177369356644982112639175881633755155653398289751081941534099560678475993582190174208486750605957523298847802739433270322280050004583110124835242599563474338890771831561905025501301528636057411835182218139169890834815820301499220428407126342161841302226814697892834977198660660103245633680482304098029860308301676781099807133330707985579453316124195418749917875567483782492269853969997513870450965191527921860454898242015891019630426147151741213970804606804416183333352449911848015063471930870411176420363273875426432015009883217804997656917334947397446119383593734083403194217301616671978077812751561050797711475791648497921111903595704186841623623662494584495533142335652911670136809913039923616739426846128151050294299510972226667175032703629554343441758524753895851753077090782333859505321632477070843925174603759134147165073764189388980856639561966422080103508306028675233335264604196413991435490835559331856937175811127057473427166662792348042676044026069561270863418880464507039891662191001082935862255329176789111083445815360703780866783339929405548515014576240487344379281475360773470912036133828289835771691519717667630356404014086255247762455543425483814183103887472491730603760666459330833351787828197008039583279532679254505673936562194983941765286396686541018876517578934981395422573776088501819159484846142356680330260347610152759114978999247512952973336828969491263519233329641576982235048798730135902538983621555032602995069322674228036911312039141627328163270969501412833846639287841599996787261078632650642969025438682143045052314220241116934606366001355593980409662818878406522005023556960944953492435040211792309956576973944566430387965627334886414987836721864076483938817848751095158638334474574048307837612380867499353022692710981737985196249048858446217598665403881360054488654215671260089090889445926691041628242232486347160126342160034317704984699576885017265904569414126830487712688877916476227241504698536833960762229143568264489991781099209096708067777444233224432525586169312729355520764295077356217378495703831524731601682601756907729920851348979084925703809417388510835422418830203252793073212098364155770010861551460029143871006997593791615438683313243353898198593234511698323397464159785511304653553807994525187578082008401657487305543027665043835256551538921348806699738721707528138035917452427017764040287796711641263179587816744735382767366982661789514311944729020568542937563001407909899509074687522226641894576493894118289625425421141030003785730635873913626505673547906502748228092697468509168069094203684721317993587980573670644127845641882313164606783568016478744999665596153063393440247952104329025363370992855385144730177011209410163959403964734214206148566499790600231423913332060484148690938476582537674744887744588000904594243903740526954637388105063159528987610256625914944794080026053020332188034736685684455434606643653874412479717338070333315761483739720033432661996154307474445269892397288188488651278697054831125810051496049910949153921592317780651048777356104939005148703295392330837791482753620147411310839327438735769075523014050233614484715271869835472774719783849912917367336835248970152856900311039481287873699463254702428362230479753184365170874176168339633623135292056976235998008868689705398161994771924277545331717064113660271986773625520916698293076521058256524946067677729619878129103411975358797391056687072512620928867236160289105962796973389454907088066528398206219952289119857728340172108906588785603521641954032327640372877144296733727567494602763531199174515542011739981942312682365531020389223004685690182409878090812967918078979088283771545864863735806121870997063491485888887798760992426621892732128558751560781601490387770837698799835678735717910082291886905664934617786756196777916955198105279561843579866304937881675546136829701617766240717077375342309903274719104554936683053186536795472996537),[(89, 0), (89, 1), (89, 3), (89, 4)] }