{1,1,1,(0,1,0),[(0, 0), (0, 1)] }
{1,1,2,(1,1,-1),[(0, 2)] }
{1,2,1,(1,-1,1),[(0, 5)] }
{1,2,2,(1,-1,-1),[(0, 6)] }
{4,5,5,(4495,-4521,-4748),[(1, 2), (1, 5), (1, 6)] }
{4,5,5,(7015,-7059,-8627),[(1, 0), (1, 1), (1, 3), (1, 4)] }
{14,15,14,(44083888459155,-72756385469741,72973369394381),[(2, 2), (2, 5), (2, 6)] }
{15,16,15,(289913388340549,-294343057963669,295428079869664),[(2, 0), (2, 1), (2, 3), (2, 4)] }
{32,33,33,(23096950081832389252583851951775,-23372955919440914890633850985324,-55080726025068134600643837168457),[(3, 2), (3, 5), (3, 6)] }
{33,34,34,(264874802174780059131538109677205,-266761418258955158188004420493441,-269502522756676250610223038026443),[(3, 0), (3, 1), (3, 3), (3, 4)] }
{57,58,57,(277442469484852672399773543261171616390034051725220568721,-299527020668221139163422395110864784759715381823249126481,300822636952855656527828979397001659696603276093297458991),[(4, 2), (4, 5), (4, 6)] }
{57,58,57,(550340515705032075745414825914094133728368106447643691135,-619101258957541652437454543974705760239240984685601716416,621727303892400758302402554106003460805243411681737269921),[(4, 0), (4, 1), (4, 3), (4, 4)] }
{89,90,90,(12116634435307060472328535233292812926448326167947416882478967973870714227885825047730149,-12369889697616086480299002540859000232787106627501502987948385312350805567782660216346235,-50618403351002513516287357511373960256668190920841674348356688197382721311413499766044433),[(5, 0), (5, 1), (5, 3), (5, 4)] }
{89,90,90,(45337500595181262530381720041376145123221551221350349746101317645749784346566372341615060,-45705980334142123075948565314417246718686154602015693655704782737057071310444754322894417,-45940327697254578547232868793835894379631899640203995249947083813031455478132715928691449),[(5, 2), (5, 5), (5, 6)] }
{128,129,128,(19510519330125501635849249379628266097592667392957213317707017405754256943274406519824195386455253374986192555060426668354612115,-20010674129695124509092021933714520351814522779762778756297323174972180066287841881155064120661616983676734685548036419912748211,20091739513480560878738713477467668571219403008174233082370599887105451915597773238795546003259400285739402003936283082434077581),[(6, 2), (6, 5), (6, 6)] }
{128,129,128,(20446748970734109409232542419100044134225606345716074017534315155696285953723618507186857622889889269925558429405710800156316549,-28376239150100312765353338306123954274836157257323929675249777996344665221967532599950129113859894483866330946090722090347188384,28476384260181338306138177422500696556163769550595910673900743360357424110217785999339590644792360205846480499898595781496474219),[(6, 0), (6, 1), (6, 3), (6, 4)] }
{174,175,175,(155139486500871760349301313332110347487143908353410645354010273935503117774608854992613246121075518328324315650821939090134958962793957818217229442939013654527995485279448959,-156209411723711476128835143662385938661346149091511239401519432455049081730332897865253316007601813133451092595095442181208857626125444113782885688659823721381139754177494220,-211469468220870684059742768795235585817675368393908231617482367774935643075934011886879072647105483653379334991024495379213693197838568851971136542250888537817375743726467193),[(7, 2), (7, 5), (7, 6)] }
{174,175,175,(749859142427623381011530255011384017774052853788243183824630132466727257689810805864042323770311898876278582549366476795753710122910873666595760229808533527660590274878869725,-754320970895993595216843896664938823687056207573010275890929135051752151296952620656366200626683167438438790090878166490055190701411107142018177882331586202662611402395405257,-778982533624691254553980276077124179237570643199011414952515345583002984286056375135365086028154109938654911542381882150966656344875603322976242824817791419441214056041400899),[(7, 0), (7, 1), (7, 3), (7, 4)] }
{226,228,227,(2340327598778382775945926203478150961660647172352851469328433114105494812842147002045733860086934635258669099374129745577458161385578291148083492618302977644746008653939678112874428164848208677736148250466724554222902337752001,-11607196856476120759929600304326348951855362549413014844411341933362329382962502675425474118620703554356632467787053703495212266462305672837676020234890099206861384988296087553734978100094592794120700468524725184228455501835071,11618777745639633221877422232897135220888453212362523057673318606145193268383065488808944835459527935646010847034661794704835060731823728406151941202288050745816246981394451576443614141591676547598941603971280384522377716883391),[(8, 2), (8, 5), (8, 6)] }
{227,228,227,(57185455984975451561005211516559193445606665127787805190847151004887487338284703155800743537117076646767154988195286394710150286237958025580746351871095586995938044307137264445112203448309770147358293418238925529616715851457695,-57328684153620775439466638307753650941584117959931809888630742903786444541164697961172471540018426116257525763542752675381717079888391443384603720269480550007718570828422342634442134534454723678785789138890783015214626186208991,57423767375654517877267655630748803190382651878525410562274298299342658007756443907603298355266087694463137420222064967897508712653155650461156888090896148470089530729805480191277120627708685020952471652194953807549722608187776),[(8, 0), (8, 1), (8, 3), (8, 4)] }
{287,288,288,(35163602036026824758986400192179095322123826115898374039408456912152000721843713944742227483916570084831893309261365083040108191131506810360801173901953828046816110188832975249027150510833712095987336440559433805643979388302426019474610741370778425497146389122193913702555160555204122535,-35372192802960631658978053889679347098357415925529765824969565966161514626352229677430822393770586091929312402589384358280147464166583222481380253840518028794745907767175176672616121053489131731674943343194802744491617972215245101043168259281989142235436460555382718862140235292428885473,-40408067849350168404511843711905623501808507862288195512697419273072305199588431529737924809107462089487517943253183071920836299460392769231879615584769211058450481495568743840179569631712739090136826560288908783964870596591725972332717986791299468133050126751705955190413068901689059916),[(9, 2), (9, 5), (9, 6)] }
{288,289,289,(100672572943243416991573940233219588264404613451110705548161424031238404631030913196132097394218050093699757916825694666210220507505133131018245823175478372620984556394020776055464885517854233095633242580976819207889790595439122977255077694239599973563952801940198834983575853026190728471,-101251405825487207505548409515703724493321801409197519831468192010237554969606327163866990919464038963023991761574542042393162911687982269085653933961862148192636078138725805926592592433689799443890497073970629223762684501012233510016933025316629563435214235956501852548664282097313740195,-109036457512598004207111315066974987652533860179721327837444265877696499689479499178246980146432304583226848578633147942131404223175575254455693306284446861412290313897133080084554009056579451215819600213702805772982645960080692634316358258086417670881342249454642068623196722504507421827),[(9, 0), (9, 1), (9, 3), (9, 4)] }
{354,355,354,(289170732227754214274580260879828084391601624686378355233376473830137385832441189485386643369763315741985426551258953575234905717704501204557814187276392329325809594145023463040862133875876180085544172554144003588852340598519832700597299541442060079127788391261300448777461064781787451899126532380606595368662253282540679897234926773136774460214332498336,-629040387014889911274061490437971136284041708397128758121748070794465073392419086681466057225195705371694597126708625431740652021700944932040111695602692617798058660842440778291521473336432183555957200924315362176618001406424738828866312007829495955428988636295367417389178582894655836981503791137957563763625229371653278467635015288080554299802894005739,630468115398576103813426465181896037062630815065574026677424187484659896218271725877132576758104446516936810236828762022796203897587188703444929384734801702962249414743873371033244575491191405659834772575643244302603806193447745472633933097016536618544205386569305173929623851199072843772169646779587134788285342807239485893446115927353591795959367702139),[(10, 0), (10, 1), (10, 3), (10, 4)] }
{354,355,354,(556589291898307742951989152094099763253318784400994844991227189112891665407187147959040343549055522145249271452783945856835624965918540396658579289247949908559305616230243110545929983284301711397839937488367119250751927723093658958641883384488674986013662674336578328884602716619666147680352408373297242745440548721014958540918771027943773680965541975091,-561292604960471784314294977328670721448633298329395380025971753376653933924920855144516147143354030093548680532896180967064459373032567961529922943359523578700003609667350133009589672900358566734071563728338096913154031963084752395412659713228500601252002701072964646573236377747769360067422952694936447719049255149930025697170893750429293937592994295891,563030801852566353936272516578693112357781286884426041365707638665768004994811595076153420579962931633359510610082138561324878127048381344884732331395303458076301013991548117840040943371068424381533624188897335046110446568971181446678039906651817525494434206559731180300347408139751581956143750714016312672119977721054531829523371424568538653296558620275),[(10, 2), (10, 5), (10, 6)] }
{429,430,430,(132900912179048869926611958679158441317709478574848454565076874913061143898158858392970696421253365075835051880736995044102558116368325571602598695551963242750830204986858715913146654786271459343597222816421692980200628688594000890609449033348442059682541884773136984040556349557171180739709208877531661319271096532852855816286366147122911782367626048279533696989586520346462758060527275447253163669217131244786392923111031729295,-134070225308075816152883120263454428769538689090778242479394972678140610329110959191139628675043956327414973928772843505650802514024920698908480266167546279511702785196589775401952892884038430230655623626343670892475075094190302411813346403024260751978805751036420133578809311924423436802216475684477976368723768524083373547343001658124295085156809061248539999343201927135036056855008730607060222674617734247188231803721017246523,-232715704121151093174756963758563340227823522626101990715081140674078057629503086776476843689353356992519492740433007103662016198849216418718334911904629359369469996270819739447306052784787005763974349594826187176208053307699675638507851370870876394248350475527291048622756964501020107837149329025243365147050267468638761545333454557079069533159947007158483743127259980139558307341702639427493992600876984103597998117159666050971),[(11, 0), (11, 1), (11, 3), (11, 4)] }
{429,430,430,(175014751056101776959082000792923896685847228594752729327054713367487976679977557513890560464791198015126880951888604236799401566154433986422157069374711535663400453620969185766302003125721401097723766027320855007743290732875088674579845151213090308449864149191105359181806822495628015236948688160475702401016898232737973200255493001074968989675494996473056248529611925412493345811419798154145573583184910964320673384072414450191,-176147526266711542885347502516807723604224995843597453253905195952845494179306595682782536300640796289950055423804080119977499106752533965701005551723381643534324423642377013071634990522259330117676049915010505563358157822755998765502467910950195648826270555262536906752120765356597229438861760548794039711674788313420036971685731099426212276708179279388501178212972300604383472844345393483223264629740960053751757572805560828185,-179177320554807888312808023121036649743755154164118618760345283817788363474123545374728888209579939758722573583239807415424929785540012135739289860346278580425947907994205845135180649110853634670322537709668017974472452422957669103794203089438725316786837103228172795269997829411494850514159696897677057761910264037912150011489887117985344723053907074266471401239021638373079853448120395161694557488645317510793400012244322235052),[(11, 2), (11, 5), (11, 6)] }
{510,511,510,(139626031925736922309988856062853583519846612211882889742268292256734526916928868044273443473191656671867524243861061190466928851873573200983645526010158780156270652693649318067876690106337568682820881513718897490810541525665182612784740500517941986983253104842719064730554688408924320834487849152212063434471559198697116539279492429278958308244002524236582821721481029519384924368579326825124887928603417329566636840526603327674958548418843605585619518087560024288748268864283139046520328787387324977641965009,-167124806058764533635368191255566433192628432462642249322321445758431583399137803033935035096493392571298804661710611462042119684456467803299778834241512833032102042667688989670094141019695073768869656147317349911019107570903724423299100688236670840239542086101818134496863717701868677421083945321915102335626673792501761201088557461908366418792704295687953893066113679253904745129830668936200215204921769982207735067365273253696327969342991668159016431862268973171583278158360057689673211261052174828635307951,167800484331349330719010570527119634785081749731113118597405943818301255754369886119218122634785927362297741531881061071395832120652002128065405145365247194211839771761452856537430148625131018265634042412468207690513626124776755072598992809799406018991401511333865567698990793419390210323833101310789417698278981646570352556383433974891924151194873341794794090321966809730992983659115611002211948775277845442216004141949826105783391874380592877598011268583461918303357956565749790302751519932693913301923039471),[(12, 2), (12, 5), (12, 6)] }
{510,511,510,(455889662746554539975585547690269092356362624658449418874780869619231363519526427636656281252242991254852388731231687558985925748926052212575286912664960023675451974708933541489658264246281616745117258543551876583428816425325342025564027619685457189693346498803107837541380101236209012447571308145387888096089313763255973241739138774218806319480256570913282424289541741980989683477014290343630563283398634941136453526631033687713275295943341262465861708977498089276836359771934586477485409367357458858246946591,-478909404988212952338917327893001329781143108444256995745449307026668759317565676654766629214135230522188802351104366092953125018250586638462111543810712336447174865980674714834718121097879155884170147950947578543324624024985477484748297646968936459244659255774830926149639736042615244849791113068797772704833795533666335394117487810848964188452388250403154108943385161117849749927269234738948968481138334836467522029976914634844332395045191086735285417259077015036612423016815118999897220757984860650129788351,480968481414706102159879265864369955530306095037020136672291671922669295059706917814908244746186183351323894080577656136286360930395479935657815706403468151767426274579349105545859475192233542540120112376813386218066237486130373559414859007695475049943311393215714553119861664322450153430919746869288948976607166501937777168503224163032849628365953070793821028778394114352224737435717157069267496138238521711230347525371336121923957029827230945688748273710156276141659257282260979021946364822047185943399724480),[(12, 0), (12, 1), (12, 3), (12, 4)] }
{597,598,599,(224370951049239776499649946289300118433745228268791561995635661046630011460789813150304674760072148070084136770009785183350199669580661649211093504352059385014424149082045505841058004936143251887286976514907538711149763682315464753725814646440134352857641031509146579073619538818870289958329098142374477451937148756018317935899045398346940392726461570136642430553921515569541771057671872289364946492417593239732427782351449344751720557518979603559457114110787928959549988365583499090624856615877211140184046124903462908893198654036737177711835764811248329320786464014681030578974119097285227502868,-251753139890502977478739097260317141435577647922013232304834145450377419265979779074682127747436666027783867161971640994836255145710664851253588356264687546367341372833344060990836519459344696958200740352576793873308336930143485160833876857516932733037689886625602109351918615994800815404678631315826953189056448632856873909463049627176204161693184408827833219619297153607605923339885790410914434834640360354605434402488715344727385674989402305442449135309266560423566116733581899828848480882353877171660482568849195653926232231494639797299560889937431326856931853693260306795323969781097283518505,-5476197761809328209398637531468476853732179809351436019391395306248987881536666750875517043532434008319499178315076170325985004436675712108421266129492465786075917363171651963072411940285733546999301204958231926194729269888771068592957971940451600712936746588677926409567838933592772271540682844407909417220071373941426273155633143955987444315760904443874856629431683675081907302045338469510118325184267474041293167311337638811012753550763592457515116633561657241785070136993683965938643089840462978804299395389878948162650101833365645600745873932718741081470161203491571456557270981415485990511809),[(13, 2), (13, 5), (13, 6)] }
{599,600,600,(29095919016909624275762993951171417776147522901227480178905752148576585727691771742680923990286573216855359555750686698441745016887059533343086232726872775180077546314607986741801623129647599411031515231980652357697871027392055370182258475753867522913799576640341399629060385484183294397132157045937161926331328409016039147469252626959766827662178522154046035951963564222671750632581559925512181412405354366500682956319920676044128636015561425357015478958297833814933578736450033874899298475932083130501019590551441280427424683998514132887790324085274405847656474772924704555739564537024636695467349,-29376910561011903172081609433640807970482895583028999031173114885986729641356306050809048237833469676187320267037300709320968311700896906129631817266527552960418123138381903191605953221679522654644687729439322592347956045357503718749870940537088072405171718842228261033129357125738351725748515949734403189421039555877034415506524404029195709628784462828178168703607797181161024327108923709951930143049966057403362692256267113617810282677115245849600385112647102686051044511610995611452114382237475347727740929682494917486111926904130050640091606436788585244333907552849898731170712258170848997044043,-29402384905143614823027124609334952128226064625136833117377766168648355035670190472698626048358586318054829831624232064140041995197151322834735365671618814829474831994221851667075975405905514248316525899071640653358414601407724009158071367989340038113968760342129635395425669149453444056171591835092332165871672435597447984310809858308569558248917975877323684484597992331637573068507560029482167902793818929826754808465017260606419971652387020641920520100537719015801383317568841692657237596880409575471779177214960920905142669129618420731464611646382026816125813878695898091490153713850799561473825),[(13, 0), (13, 1), (13, 3), (13, 4)] }
{694,695,694,(1178565798488522442113198495602129611851646038530357112596853788158716843129141829545200303820850210944043247817792455104669430251215126666460388886529793400208380864250194252200282091250911981766546856702043151919166791186998500572449762181749591308509390496457977367777971288395900842580953711659093915998088596842543696869703795791901995442796568891124861840810178668660465589254424363815340535922594117108728037494721127742393617945346910703768460388916640223555530115269464151426904520943544165529959547992511797194540444214544923067886924517852495626977658344613225021765009628529236386983350642882777300079913892426899949881731139043384816799747951593546556570046083714273252158825124211,-1461610031374280757651088103230420067926464462751404996093550284037191641241978228806180646266527768837569055421204228832934777994726078634616335096143464293429200694072199604675616263660193631308409826979164673628453837057151787054737907625300826463422297769727226801885338338347720394983669047914124461178118747409801869891080693858974775646212567465677466164694747191952290257658008325302406147183830328817860651504340582206003909310300554132901336056747866835827814007440263949512303833981186350611393469643121720730302483447802753422320473757013694680332713840101105851726897144015529365351519506194180202651563330461542587524231507851082755857752350894755385748519269382400259718534942931,1467338551060816483758836693479495664144598206407295659209461418063128965702866748015058973173577430958796974822738643349933967044390686443552510191100514466484286872395554604318948639882311167433215007772750640183137253678896460942484994076360642483016188969187183986098038575540830365713899845408842778969668298881699352603841644316164600534371142630954481639152555041064972501501465648643099844147213943838511377711810210446593819633144371485721668695166523481481331186735051020415070454597569660722785656642513723585500223039623729381546792023820641623117468279660036759414565936515572822457931276388053806341726812254334810046906623701370187925847773180967279247982298136157026304751176685),[(14, 2), (14, 5), (14, 6)] }
{694,695,694,(4300681317785541204839784858411117778026476458559732659624165017457401905099622451891201773086347585512975023359674385080108174468043173057941846278570723451996217193333589582527692323462979043026817109807376960611093462301523589034625039167265118661941875388499611527506875704884516185448974147387875051973842931853338868295313650201259280043890258180013745626698322504315800104360235192771441724862351167379823511095304504086216727714252103371682397257494591525351768638168279958782731805913097772502265943756274087091446771432875831900852725412094180999275247360077693056940770678531532292438006371508652402555950015500029539808570509089260103308702559685095832328766037540946046633632725781,-4478753444240305320893952087549559193026457567595842150355319911635347804351553694572391186549822465284987996081599665861413797133275081435392880665749018276732072692093607998167171343703821848015720248000148792516764444723342317193211813572863387122713757661871375955258121333303884394776913032651625417524705769170323993646892259019659915207807998837547543597002945219238591076315594089808265245408038568177271122327376495623963126598085112588807763609341295876764172858607241928693334462134293397683645987142646789068244988913046975039717704218464108075534890052818648912025477039485044496837378233986802853119643921462811699772715608191091194417726901391974804123815490239692630369777913824,4497802616762097039968170373422268934772051321281948089756785088000207946882891370815204212625075277795543944079143662916888374213279632545726169886463503222748444230053837938184835827798769485927207269871315426198708604467137834485530229770811834028128970896140760302897532007803733747955264900692810284421049627145018517642211475723889057378092226615405218828887734529902069427048390174090351356359014194083316750559579701390309733802802414582363608347532350619186213854926467176344612524309267901993790941447648325789318952849754239197754309887449592593066760802684805636850401418031000660818217824222719900158354941457483405423158959109906826858318716381065186197447584466025926626762390459),[(14, 0), (14, 1), (14, 3), (14, 4)] }
{797,798,798,(12419643819248964296654159935071247595193266809430209693315051979501281128623414679724784257423709361731504426058293167268785502994010385696330236735167374300253497073618471285922742173100380208668569446706170910422816302834746630237196270631434966027046007135294517991720944261900902305639544095316966486714266546715332534195380316591244558287472613342376857640951806176850885005681965719687806733052448955514690542983727438187162286807098767388848335230523965766604366880276005833870071643008786682594726206845674361665139370655024125000823949724466132468490802205672903534174733493747952318997542002174390566701008394657795402868833908491742415884597794846318694075610165069074518784641648422700527033859069545024675840625082319784709278529707475192594649807001329040495168687646291196671305933,-12519429890462228151800748092983621601960137211106198413201273605441363195508308318902223249537744322411937450067496775769821666351656130161646330486972003513576951822847698871682181603394975404906004095195138232798177475894827967747488760252274783710044123621532751101316256970014034400205695243987477511627663769162204615401529920212811888972462546701544641352989483760543648134015360743627708780721386849770543553249658010499742302569442368642554477822465441444970769059504565921130887464204060454068446612926158330087695862317036233013700356305197050831050007086176632993360637015522402608998528261453510043932987936693345721203965081205925731855863336502772042578892185031035496068316317265641542796835802363904925201079291178840460087158929079685814838178119456876534653522540650032277772115,-19826873179404953630546260398471975708421743719896585450795469243507151346660647732814241772015890991723797160190756166911440348794905429178537099714148208539177374821927935417551071461368147091730275153628837051889707717295958396631039994783639028675059840290950453927487892002149562902773001259575168818235733996266650939379930384492809502793986559420609469157663742315184341315033309224522578195290909237087312079801420361585714000180144460499171166136375548765006301799988062396907399382914170179701064429779168112981952371058514006815937007110159524951406120350581894544795395900884686878368876372086069687616151385375190576942003822562687139593663792562050515416321822407624677959452483928264320157260961821208544466636746877354348230260807904836335353614115770551242435317893810815256137849),[(15, 0), (15, 1), (15, 3), (15, 4)] }
{797,798,798,(14123033361229345971980184750298656135142844317671852182219968823824622105862390890272003901494940701288652900217294688959591669532733811459595132970607887997135130307538377866753957437915761594515742815612908484680853119025639176907835506305937108033341501362981500712527338777188259772087541256205914232523502117129548724968449217331836684846216880684308529561114517842342011529240190667397323949252089913382177838449530501968571978383116877111670580422955519435164238858915284321591811314589805911494036553811394904175432058630912383926646980221408645186225581695850869859154127661763379522562800934113900750695905208859206737157295398604728374869415018332540460726996641076247014750706127300863931894070228085298122124905180420908487615458593670668659464278522265035501223712414084375777851124,-14211637453953137101248013224012571769451488928787272638933692208788858882357055667591123733160148662853211232918605214290471053434201121840722483599216106628164160596214060065496287671708910808373815565393652876533417624764418228376147753314625037795365001466681960717483891848656598838159838115401571008085656007514695125321068080362852994631370192014130006488794053100407472516817420271160931305108089665980463724382426414671954041666413290971967170954185373054021601537562999365190405508726343838672552142802550348171149433616657494887982632728992659509056346231275045559329530491845250646604760637930664104404985291170545647775169245750942260249331279926243938757627620726157453806925481984133064321961468904323991854241388013165928604880469868781931095714049715915157262681937175142995618833,-14509954664340446859054839686325862825663346900958409305168256233702982128511055533279077437917245700270939538451468809675518650249639478393969206847540276572738315837905003663157146502137659699250888835071829987008074187452996853290123491799621183443121545443909075914423141904053062107834485034475974765880675352830172571985905474705814596153682558437093350478553951217814941981560856296320286270628316456501976131518857641278530222837036382846807251630770983432715993125274611911721223823772478448659427265971559854461559634815414494411901464603339265284532388973630679240609015555023791961223138104766043376327126391435924993957913616520963925500604046355231027953453030198563843857983181687547792054660787786616507812708659847442209132455690516550388113594561677786546040902689930156220867785),[(15, 2), (15, 5), (15, 6)] }
{906,907,906,(178497477730141157279374908700484405575547315213727740133693226644465414426526068535506251720860748806794203460819738383805333346191000494411597309907053309485133428520237626697124284722526571149487581870366584732692745637725785785681751368499147995828990191155344712839646644398458610329505211366633498340296092812006220581326764888752259607255258019722938422859061042238765199442819083154022203029775353821558988869311563751202973267000635075379189815732440292459176884470134519410965352036517525114612919697285880611280074476274447699844021724160123307820390168443852685452263676512294295200662187361605786434664704311803785836488352046350895712758039177333460242646978472974362385209804674578687619097156833423295127378132225642039611819635726074651137278943281954824546792001351574464622460276964535487861278483543422509875542878040120940380385521870595585856073376371080097509901114760272163881600191,-460316137758832923594836279798410588359767763287016361830677161771484141052601327302734657161245557928393176729005165598103772546973523368628607688708521003553679264718872273873831591068031614526376540288942222975901352207482842640468487975004179058266127906896348119206029250395426556577507734522301115813603989752760974465641961893720178697118629247309864649260640925788206044805675516913583686848022022426894869180459294300811308060877012262390559579351105779132710903795916391346267616442474664048219865741322443609722951270445020434272784661375909829532228958358227991283833778579132080812175293877347460166690558243732287680583788526611084667190480726205620199533735100630520335991792348635286028775830299592005997982559916528556690326665089928533583721105435602263566502349927326913762502967768048815408147054076684027857208958476406566290622327114742440972972289289858958770531785569235285003095296,461198233646963845302859953311957952525742909101742442612639562006753894515277005406089740326562055978253022725044709314748815728373408844555206520735750771352899608001236913764758082802051409668908280554038362404938561152014304226562524553075802430851249893005534872244770570200046323580093705936109434412314889014843147746729324605693793114717560760801881617509776079017300601130154280819339916652746028522565090368254417992360557789573746482278132840407605512515282647229100114737079802220693307710814947267977341589594756311334051145458430467228992393020446873299144556176762450300655217866974064279919114181834428057363392396295450991170240739463808257678947173560241774388893571106478447722139248002038511005703697709176647354656879330782544668007052765163363804148594935092679269355807627675236178761751066718518174813292247460881695640525942952266732690954796334798634458135546456687598285019305665),[(16, 0), (16, 1), (16, 3), (16, 4)] }
{906,907,906,(423047888034634937751341060033782728696046115109488736447935719985282486624160370323535212308950976753700333383047322646131580129566112838511336626982411193690422213753048482653474687452469349113291051197425367772217633977681210874951154540767742358758657378500734071617842228876830807055405017028215616741930456589423099019865280720561870648373063299697023297289149181995104046779681808889212781047320843852455417936268424736478762136335651589372540792027566056322983304097842168573292902902567527796277610085253975643650833342263768683220063250183350409871712307216700100969098431454956736629279281843934435246961595679632852356151871607693465470724440112570925185712679379295428227770583365159280238447958993287116953342039814979829909603445672729394345848085291132774519407868141107670278347252256761974237001809071562174211555064261469353320041420792977499826671790131550838254012377124621184534372609,-425708173342633680877251368815410636625631443925199405703419846090084576369422386080876664461173964285121899611706318993627773005535335445276506639149948972471605918610648917071847685024266020476359599994099623558307365171088667288713319764530517769538381804317009769817707017802514840326277414130215861077233943300601013403747975800336440912455197796766555175568027829579671239772663874882344702797717838634121120859084222070473608090663586878474564718691398152406244410985073605418250745192504645291777871481152379722150541351098977896570845645448345148506721995442007650173396693414026551357038191175509398294087660065661054513840200305854600761523577347225386912679832340399281743544562288268335876487044981743764509567910389576527855099605171079811859434453655021542665981125543145855219061338591296733454149765924526328512366363526180779751532335140645257009829515606792675331049539056798854802270721,426880165005951644618602655083719566078542012830750913367040231003796636187058026485131497205600080183929545177812660632816059272682796658925667635327996610778752640243205141520823920278500660279511252648083418192022394319145241213951594890239105333994946700603479463270246491494324017806094179943067402139854397116609128567989546620899303844774169125005679520435117338223248585688701298677040990963374756615337798756298165016747426220700936585717851375901669891394316387645583112462184340054401180774625309855077663420048906337875441865319150318203973192160061430912251376202787542310889964709805393444803473527650022508264963917972491388390288137307381676975068618113391488716913761792379126855373758761526248827098696844522632079494601521534601707096856456745160380223415979706749413963710837045160465784875957780118199404188079412835409699053013063218565338673670726883985771958245497539899096149010431),[(16, 2), (16, 5), (16, 6)] }
{1023,1024,1024,(253567572012905554218139159879236441972752436766703807772713209927711199926595623841554839245297048633728929882801934861077391274507096928963379409848327868079439895463833965381821498172090428982339741704049787893374285979552494890644206285015962259951210558233843471345713924719495446104916847865291927407600196170287794562840724946374834021267262603548090720570906757008762568952223180620135790141158547825539047387501230022542884165750347499779640145662745981344504983084304970646875487399342378630852798430936120430681806165576152813328844771527612410707237271099681041652339882034162652062537649523228933943151689029872334932476531989277810007048562909944636263317791954736456103191895168668439961442714486705312652859106112221830464140571766243898628572165396811480229333339821400099267806118183639747246669598241110421645912087604249001102438315328538585728139137952256665881796492614065141920270085081367660183927030316212788305385145686491223014795172879151733602908271774154433601504660437082959911651096715398007,-255049809851612906272216113944247029849448773292567527577855794805885785490076880511512161368259419115528688620973583447889974861680742419524959881680785454175890474538854570427617038042552265170431120873830030206016586638848305542499624786113194406879735299446222306341214466982143761937713169490379456602466523054921804269561762273385202473397750254233114597712539792743625713706094424006198467790864903545599395635488686375141605124409919358344793823202904145923496569046576531872029878054698002777439995659773430615148128951806064351441315945703207511490858386589547405258144627843809662506011156547730928456888573082860932355019824856512797995436493830672491934870496058569562829566743885620894608581060296701924306463101320843270351430362933995764742388952133717572793461478037705269688126452522129325041280915854328638782944192103475432464766134455776772593694997509131051960693840030736206918084757583959497515156522797555850546303985041835314635993930278304780396112715263598219785311771726524757205940195657868300,-285187311765777391204804716568009002904155630901930659132668986823945582148997840968033119688480522636313642907349246204416346856637117421837300209053340291150739513840179704537379813536943307129823175921936691132514605039373455630605063869394871826026209747152592114237828215094759797041489546504816976906044785968144471637568741904562930872250960334092474580904032632133338135335174923511062059786532367774714241506427941109027152443501804740748909363422938353714151473677405841417124054915876190294674451411115577132771667548663549931938266857041194975990571083618043050754051700647147824605364667614683743553398840996945965910005867011482482273392421900284283063554634015225673033084263281153809062757073117866575526493922913681798954669167743277069644134480906186442879912978291135756975767392345649532351251045210588857994952223330263704852673782556764074286427305287213203418793462329830393005704256451746078542330644131126859209541649006764595027579333183654593116655227788588116525725114978950880861504269257570001),[(17, 2), (17, 5), (17, 6)] }
{1023,1024,1024,(652906750439128444650460640056836745769484811065420819961673823037380780414994735981238190831656703176307714724372965146506350302070787393478921287744478080369168088683263616458020301886570096138991628114087515081403078058925040600597548631988418231342465118871883655601923916171943393005166324095830652049420652610366666225402194475514426361818878933562846889996801406984515226327377718239316637687452268172946974397824184349511445843984070897313980796043466690599285822687735325519131943592614214453483761510146766637442504747384426811497741729396929362593248633924086193414883143647069416604685304886110226673939504387316672072970410871936553823631867909106220072304053699535385393896465815258840468236248687524101877117581560891632901727378988093930840805681401210260741309528817263859305247651577102307289884498209899807863005159782609619699829453442249874534205859479596859477563116746277712944200128560568030860482866932980502675866052222528656283031168108619773622671119359209417562080815380242601096955746653954541,-656676544620455521328392833371019986142251346753712388418754803552769266451069885195797927595411898037423052634223551605167916946754952749318001924985826009785953603393784990434394553455613914912774153715260559820262537283918546618697643550727402229788224443838972841121609648205672793554346831665058917353680172488820577637395553476211421862499155799332245634640194350005888446316040609602627179813927457827779913293763079032662369248175681967914844084360397250395450981717640244120926434565715383623725331282522798034543518104267114628074904356746776599643860753218899419188132312275903360220244112095573250377611701502119563836122092908276603103846413770795691189655240364142423574666277698943728447500976457240491913799497688331682460143931279513740050267509479809378189558109830914181119190575708317245590606052057933136008710019199727638516829477676238489969174993721067621859235908978175046186127524303509666024259924543217094106044537700325363646169423663694286793047146736928428456944588708758017246886095503068857,-717315337401807517699147313556109631545354933685993490463009180818003594309122319495942584872794109851973280158555996836485448773318983645413065483026551419886397069725508423155170178245298621752561466909382447244256384121518962001651025120182842155212754131714775750959578546872754022050000036194528241459060444016569908868068256259049913755314442928359356840472030541152210281624682744538509077945230253023794662400467890439280391120628028263719196731847549741292593772176066883442585074257699446493764459525797492139370403116871566810362303742189916592795427858282127166620518168801893616317859823902645258576837631558732713854745532108995134949009977447764859709229161879249590014248805736498018307504571747527381096521809323244116678946897910743076133696345005760482309401043964909427367966553274540785249662237741699235733288069100262083342529519815343422293175034564436959018450352727233256702792801338139978119231827920440209145243880897080464918512487326159561236474985695336001006248553847727403820860014964986355),[(17, 0), (17, 1), (17, 3), (17, 4)] }
{1146,1147,1146,(206535866874309936623722517708306718510306659690138839379059682202957506822904546030299028126378087252906006906736617393582482882045894585931994825487684984794261543049622539400150791398020494976567002207372410489063530752532475104558570520764538634870830605180510851977408154016866027409650381265101439579051167969047646075936941721895374175523783032346092455755451544665879629758154576771946581602383845073649017972797124793147682230789987689927025605609509143525893592490681097974339695246397689824534159725148696915084851553585903784474735454438594973334519879990505621709278416347145186477655374906024490913743510909877239979717424606972768659729019422428344977248809928903732519973181689502439888320316667489366546772823705894739593954668139839812527637435849228450870082526854366021900228894567752265487230749779282105268535326110195421882359657532831440906358840322280893234435491228513446956988192762376474805628649071521718325306199305073735332303508343146250159775573897169053850255110320342879044933227616603769715138857964225304730077970721612389845205101218675905480170261408490420917687523289486878031464627452934471304075558553709,-727293420508713574302072133060413856957726799516349164249125548539363346958695439746748262909684240973789579417263264422428162436800252693592704764126126125600617145844446619838918574913640835275991118349936571066694459284612838966132139481473498403948144980816902981931139747797288869143050612828682514595323411026376042917046496670835230120238817164989126238499290098606345159471661459597553157052392653494532397733863742627121025525016244242277988807541223317175593216358910710258401952477249354871611102763983507776483087935305816746402995321517668163665276154109369749435749231198599706873409492318102210453316414117287308549654290525209417302572535590240744473099062905065771037366749163681672774317821290638422986590798897141186428491751560285545011139606111271600217093780077560869772761316129325889527040575422763381973065674524372124553602885421286409879924618585143802568247642299958337297001145045183549599644455631597451492612243979257282144304350167358145519820195548415158125523085372025522378494529997759759411120233868012098804133184789625355318210502490098610751965812204555990290202502855280990080699606576273238576662133605645,728314982458763411992652265161979245169109802803130976816635705486414110880431584846875359881877956377374794002514476601952787780719953909897019960955824099254996711234701654133284192666939985558583662612705541472372917310359385567582752137139292172070094572935477540743572168620704527016495340233115524044039523032498352126430403949107235641104946450777352983239424193792394564391517926602942574133142862589023020616808397258122284807299394646855704606545804380248632903269802982718107905182326915586943485714827568832953233349110085808750256823023987075010437563229161604428190790769656285767611803034008943473141725273659885439928827771417225299484056277660631181715119399836342423124500430323987924683418049555046935024524805680089303757377468801055238264253884067771422199851574729995500035659606307944454241689974055244301687943546673399200235805349150126666864723954198678229057490431243021795331084398630982327065145899093698398377505947481221701059160344069472380372050896551105627697483146549708718868350148367057460094954517141778789449386549572869882385499977008424812022247287618401488481383775441623802419073832905538620268046884781),[(18, 2), (18, 5), (18, 6)] }
{1147,1148,1147,(3505517908688407213869586868029062186451361814328374958180353440382866910322395254700477423851245498143008297698306953634328702855881491371028795022896952994533466721287155467264493783745115947255208484798337762598474048386379395839685028667249398970432831530735470933160270776130863663086579213564343005422795024404292677450446139174276657800012464219813407580391809457564556611884794118923978657267098958317326579346489393010216491389801455226577789926139619009311281850579405897443420663422692015517905269341025668908803062033266905156467412898122757194321228362584667121883090031900012298879946047721888625746075701354347820265843243023271175444796707107961862485767918458754478638774096937447216605141831974350233909884275094238438860819791447502663429143163352768317279089447723715487431307948746335755942418363158331200969297805726119396682005003702936399636963539939364170529846051187277286173725858616103195439866930565468000638793373823290212208416934227045060857975421835021759146639004564566354038669007475112356431229675492563249210372881686217324651483126935614737950559300625404509478249053780642145027844803513683966256694657126944,-3519313485761135822349205106603820401575327628927726555791587425709815889694713271802435824153017279686121080201924957263331916448912402098988646504713443450541599343293391115962144706612291382805693054624091437788695998758336348652829438847771882229529704729611392777185589103583425598769117050952986698674122255325191910264087728632645322843185132481065114558949361600631431670650110314721845322806391753257277038446586116609050346764163461706138816380612605821875769641424589820869358853241259151053182193445644103513012567778903733074304517076296241499324765553258840125468981194701383285628403003793409819867253308918983746311649217842656541801465446653764839656941994336484695185472990451044411128096053299106414777288590972521114444455970343077233554790864329239669741529512276659085460954432557672288093130145666309559545755979151511368689623575856006603466646848680784223106118672118387659599173909208878713548356797863096897281000329204093219673344844019321359160533015741672262503327361761388460893609546040453725446045633421503185025526491049928745783907987257286888148175335874331433657238987672025594271671649715983796356153783726149,3526998295559933375915513822569860963254821615309721775389989285058561296479143914712675134678203524741433400912362913786219713083729553550821485083450252144083270785172283216628757097908294376431652217549152823943423883729929141609080813121445266863250436143870055732154137154949772349157570406586217151383014438265770617643490072905957507774580680210167703684517670070440828615314475128697192973561482784835832507756762442461504422936330747182091309031426872555830938551401937465724471607992027664804653200533844158145606619640257330553099304072646501766683391006745654493780012410599150202588171711083348344573517014661812934646283944520997812332830627894075739557981734373598558934407774820199794869160524016118940786825722223923253077019531088480153808438960520962526935962870159353454325085679042649863471533725001952246215692455590571685737773866760110729693144034481316144244484665932459580004461233922497263299084355454519146044949567372221704234566084919161515821505394413076432081155918998561381048135211039515056760842234817575018816601628222238253036070195044875604095489990342199931521258396603192073627124941890011956864115674506261),[(18, 0), (18, 1), (18, 3), (18, 4)] }
{1277,1278,1279,(79146355220548250426690695847004867712374683277818262038672742093776381018016428618446014481053877913871855416681195009316818393362692432929490566412103635379179556055175709704048916571993615863258040954407658711415991964151658337246925090318116110162955006520775648167701760403411922479213013560217938037216426522077761790470288500306901306452707411672068907545475495171595286272591545364147616303872563389473774796774054800215017451471069137554621170875822786388096140033774589390081655644334181259924644647221186623864714927847375634201084161408244935750272164766484292510218184093982499135828087128992880034053049943394861866915473497092687617880317000998511517963449149475307848665940816406431311848376412450653965522722972065846641019189898114274011729788385179566945170983766888079658104791672708582402525739937092527238738165012214278711131898231538274013859431000474885691031296217743677719000436921636872700978725763640967683352330286656622407706757726072462262408150322866831356739790523250009321948272806376246124558594452483628732090473070862637599765453627151408748169985562239630155054769493531312763980872483395296555662912021682628309843933667363299485797081743113142776448853833092951955454942718243815803306154261520331894106097616658339420662315894264165271,-79724062957488434242523193634009311089890275507502516415892449659979689050654677802003487494727381430951152877660797643216100730512480562521818224949910594816072713436694082730238505143981609439032956666472317869816544573231928377266118434662082336949059756057242779570705720829918078915000247976689992594640686441359642346986498247929680565253646900156794686297036574642585909852144218070687581778482421136087125804218189855722437125404982919044898135881362609612188645451665604864952752294844101076868472958780743893415162457049740252151007833783264837653368543546330244278259638230694819154522009285637587275687948268586363933778009770241482944515167389562011137741204718696126073406054835402766354206908285408000727370599937050204963626269674907676113356606108678474615996150309455328141853936228375370744362576930590930608957562709162762602577482580197130576809245874423263114813365465322368510857702067789081114017535389439531430951827317384025151408645972895332248766665996494823210649411001429398305782349644819511009540655417465874183451093066726159552821929427487194996803071924922403667319813945184327283293559984533435282964009681160609200970101873944730767502632803854678323222184771620467073664387910565692214501759340332738480437132743439516059691097097278206977,-114473252496234672682577078808407767968168252161510414002800323069023010163884048091098609407489233881119957454133291309640315841693646803297067981664859234253235611923811304891187706418889726994169181277817042429426097278768530207171284255934904770608087677297890267577435185601136661753817637833587297179515457253495243059955337352659930918139263355966927676037144793493650359746887707333075308693353265781374661127373361451581314081087182765501004997875753547264072828237325077145481981083929242201162014342090592449264115199982629269150347861756731330915191392313138884095792313948835090354751160496967360486932339086645981931041915503554361021702837719839097765811721910023055081092026059603697117827670795462139234401361546822714233893761377712604246976521762554643665728097124388840007639263221043360756714265191461960747440898416692091564523970468701783942215895573686263176406853201526567123305307228354488123867753437250284614673076943333624068936641568708115921990531128484986489724751468512721406233559799906902040432633985600899300976887135300571277974132065841011388552579227795136612891019411080521098267855186678376554665237182836889034723918245656652872788892977331457132706685113758901510106473908153083466109998482611016779401746286796991283835081225889111020),[(19, 2), (19, 5), (19, 6)] }
{1278,1279,1279,(433251550298020624454670234950526176860917538985151448257375942335639948752936040426277569303925153992290305549650860737018126519372817345638862832340586059415982483370776827564926618156828111852397404091182639119948549218364652239505293612253162312982435081341279010811418215103530786846001347227243188717878072260544989046238631556523890208340025998216041192463503069321843431710345749900155538409560048616296062507215165192490434200090990387694713559146817975600416252423821598536664496112541242557610022440446850038376785221736433334515897644573037825925665374764765970077629229183176347628148208414263450420420160775040015143635017946707115947892622817791473060375698771755740763975191283205724724696770096401510422743746998667195333168657151129561441551800393019668650365272407749262987202180381697344700819810173174899907386861549330782406207267407611191575293958956059199517627402534218633022806613763672443869427606029273304907313797881517422130265363994743558504952599463510672619022308158238049214271213077915148746413283149514924014626107802297776516927049178582851018733999212900814751972138572175972814214856759749603073496404200334237650753159031448630929999803261353757391218852747439351312704634812611884362798946670464095647949599114115861850549123289413277727,-435880070554225707085159792643388911255164625442159670600925417434494006435709197824963946802282416920900396399978063893825963530410743552648171526200780189811445480051644595516294817562671822547352380212770328387231059120972096103195039654735866230532173083396478640752396449765097103671028367488848305699524806376351716314689106037859454770150349904132307389854291588485720249461457446579410364730676105341276634795255274417837715864458767410530899989150221487902936292643200355870657110075933808109999055608537765506104054499948339435928779250849905666836232271598967282598382483533345742800580098136980447981159456937022251719325159490177096844650196049000688563529480818345927274861468981337331798640011399890716239480017439590372193593098791808957065016805388562703104402701099295546274634180247959705327966288453662501560331826876170080545819244508658098737899134005298661167816247770751535033588594531791633467224783609091483831463672935283400379445352854149806848003546038660666615970924922986615889459981825938781467611554052031372847946922735246252375152782472034492013849463142179193388068462395975349644498427930924364917709437841120846229962857522150468916006265030217114629692284891707460325689136113000035507001752780720748548137141989719309711253442419239623915,-447700925044612805639804795301379142810843688040191723900012746341281570305689573315962973328852755632382973178618339644569483457650425598989409248190500888155290593120636430877056516849594922843201462102759832263746552990438721735094195977522844053819574725600212120756719192253239887454720795584278346638183185065692354548846499454477112906184697429562896859611163468103772448631458219268848731565085871534423606106337714204452364844603367111194012077092808732704607363363574138684145709845501876117146459944816571364904163165840969493712991003362144914891875231709775535594423381875488130634308443984333792828858192335465570242467988015539592853155351030878085448383364403141033471428962770425529608079498490919564383189319999779404712637933198031959703455136473998136862214393170533920188852989743330892538092055906459838463972809472061203197374028190146671347999817490781648993347829155998374149443514802909228035156004699438349518222716155031489797120422728332701504241840840165430725341464965372314284770677991216997451174287161291785967627328295158871371725570211012398057491537943996837204340801886087697480505046311686485085561948368614305517925609344079434481380339385912912287524992554988996341599226590314914682292528859714027772549801311677333226672514737423185291),[(19, 0), (19, 1), (19, 3), (19, 4)] }
{1415,1416,1415,(96480762816832475053326352238707873110385585488992710125261182296260258019850152332185343322092046124636272074208530016104348295487240681096353436194345224620184928548829742451974322253613753852107927730342910382169103317348060198141429828525067507776342651218073542241992672759746142554524319320539002829905394757209827677423940832631662148796234004306050817033329547234205150307314873462568965341146233826156090505358825229695298425191025126996349816782708104295696463949732063213361805378780456137715068313920438518866465400304787220100528515583702683385306647774895407550527541784845455679956466859322733530120835062135713850524276610269425921915780931631107377570910010647346116489930510996257265088197897627266781040786591691015448916779329577549036867228275078479279905370906074680575347649757776926500389619893828093101162540229540812160803620543992655207080905337815278172092735529068328700753986323456777553928571034954837092743426538573397217265107079476759704773990977153045030541470812379678822381867869146581400805622054400992459812088413139434816986338019819624878748019316136808673984960238940470987640997352801148258671594349846685016697031579309026822757258004779063441644902426093319831753550147556337578155463034903674848604087933784700529834933792047162152727890111880436741109846055672237395899728405530015287523818887215559845322156114418365613943067475631226500076301374354766074563576882001,-99527516412168005540241452850966011101821687605900968558902476337455268274243852012160803382884810989915585226428803835015313011129230434716577415735290962771721525804034341172595614623525795404644232328380011964911516892998512244842278459061991249575188643655124095748450827514445483831851520077212739749648299372049590110326024926255166599098650110158150058508699495715094555120204131784543601724876410138875285773512718706504077477184365005836476262732149241546992377025038865349935430242150540076913368306445854824063246437809478062426073402629359099942442421954384371975853302465946304632465065043477355326823024176770194571401760339838659935841417745204725684176775573216648396164935809922005260186114111320044988338006690610198506991148488261983337057612611007134329039871476891473309551891893540370523479354170842801971603662816513646552693883371649685214037780952767675985619743601888685089591933778476766123496009084414641555637997553490506254159482424601373940524351980248772145768754074020201769842419352607126535008040135273708974938685672344850723915599574440160579359610884178193674427449597151174239004678078580475713080986587587501528254120280844092348308535102181540720698186779864241948204051719438913647523932782094557272641985173141621851912329012727198954551070992232860427444072283948250815510700933608458747729284728906274205719046742098921837912887147073821070591102153684825318454390646801,99941048211770040844743464580671500345788176506261457086662010082852851362903743008793635633408225295144996007130251580876176009101895995733264372687584324553792281164693679251491893765924180357683047049479837895492018338070509088391475261283154081522622074607231617155594955803827739535880743571594903767682354624785975457920763550286354697408332355126002424904211683948788217856923683473494048497515455725937018258336121249430102725048998787364332703757364083025712378768083430373134951709799889379517843562060677918267441986008606331275089907561351259892351383019526260711776919525461103831080582805247930512858072672187523473138999902509599161104899451871742309478658944894357699773054170448998488198809996951343949944801094149391695553566091852636925138704264089436544986918073792814616291219312643597667111598367431370928696129856821180474117707045442599206924849140426450549216687352328426516931828976571898908195864965928837906993281360494665814504973116082582554489229139473115559270419700456830402506089264709717602966080760109252108177759151306894529953199453491281937936632701418070079944324618673521349484002613869250702973893506996749808687853517372708160353628177679970672865653387014582510164712585741071125673088442384357344928731690365037111518046680885984890998231728984020399998426152302188674437329967240689454739314630257553623936682451942228509121342018539379379792150923192724170577705764049),[(20, 2), (20, 5), (20, 6)] }
{1416,1417,1416,(114144258718703024150093026262675977952329079238132169447255262489383045771690778582518405408764505113001230364383693414957664597570142991198445708745084422758138767214165403782570574511267199856918598033074188836697412085867940699868610518510248313015970744378936311709401140168204296984357070008268258967835365900753322335600093489692439860622130518893956781573153061903874786999076077433493138308179880736024299408465048097311288820676921587133598766330684643995574067244807824423544898004574809973333642799841906422823458055662800714124105516015534978427268011241832775189742104625551475507227190768573847058483642478285242749670801363552602548507491812788923054692318017509792599843793282835219489316200917267207711937109262224929947602461089303971121624347227546630661026377847379736926270497780724581673215666701588020817289392100695783393501053106579219790038521254914048483993804992651918479538009588400536957899869970595569748887825811790539424564720936579422755826573305490451865693419673055566186336968522406651881027461451541797166580545496114557297384962804353953442747373668551360775663051937823537092246369219077508431876057908060018053751179235441878262720129386192979774157024953565518509016201781402371915938532546538439534211952442576543060925934488437563461132243470030958445803753591741227090614079740635827685945375157660106938785093062556327591426998183948417355697841541213627600589605567424,-150083156203085555003651191440394218053886162933026641581882156027811119560582031451419869558739337156460084588499239287819579347599166358088485182859883413626019239043450446740363371018364258530726631881729013581221841070581358075188150033108398434806258394392662785842950942800154433120085419049398703001013417251041569944931643844832463584438400667751875869578150027405035924406102854385716271902246206189284781368627918231547443975806491579559336296634417517111706547152415350345653049944389613917568417403984129385036786631507348760071037605503459211377280222416143382222540270124416101849542394083171787447752605116809223735261337496610428021250617985725499389656026046825996773977975136563185741236450971739571138450813785292067108185834878192493268729977507840372431746449638602465181398455373890115767523174519851756336273483983647037816589565905946998529417997352272977933753893354142900981746867118403447709560759307607112766451515150644846657719264002028145653024042498794483868715135367199991356109182514483207286455063065452606561669514727609030516954630066913296877481711359470599358253858634660648481873834548339976572360436885092423123623790684742539882798199344852706159218300643527026036579172873766579433871709087991546988845217730530957876836135118727134779559974707235579050661458057171932216654996234789745092476335840270452511786786383318487809942926234675470762460399216754315117986838435425,150640614484065322666322670616522169304739950765536080967469691122048653723114723349031879269138628849917032712463397240004511086989398838246624362722548533809009946193861528524927715010625846695936282996266896236886035799207294441993579820120684923388778147428943795113446542947999266101732996959443605350287290051784061438096177993201338096748324813939514748127762323148590461094143162530801006355720395997520212652398784483937202515919841901475046593072888729100224165635722485379808649821678461172614288989884117191452903140995359713035744787853733171519053317630678459698305866397422163433922471942617593254657929873275429338467646467052966934779039687730258983271317901492694902341794883647219836936267697689169155691869002349115394153287922067701105060929844730028911106104191324603860558796549416164329787094486774229542113432821437426427752728223587187487936670586978685631921592166499421414000187779892914909144814148131423940910270510016676432101341246712835764902021587993900952989874535189800861142079237485804418886693131324734246532581901581291341165516981558031997801557224190223277813127856753798530145379550036029139477804002537422402832647843727139865040131804106221366289349900192394083346954880662368626302897503288780519222850644056385714004663696528790773559693428455990020952595852438719847651079319404073683118283976365799401024384920781143846553402291448885015755987801654943153183921540801),[(20, 0), (20, 1), (20, 3), (20, 4)] }