{1,1,1,(0,1,0),[(0, 0), (0, 1)] }
{133,133,134,(1218343242702905855792264237868803223073090298310121297526752830558323845503910071851999217959704024280699759290559009162035102974023,2250324022012683866886426461942494811141200084921223218461967377588564477616220767789632257358521952443049813799712386367623925971447,20260869859883222379931520298326390700152988332214525711323500132179943287700005601210288797153868533207131302477269470450828233936557),[(11, 0), (11, 1), (11, 3), (11, 4)] }
{800,801,802,(91799790641290895978892693045989377201208936340103016031364426490498736597677568287986160691579377724785392328266339231530225121046175630599728096521939605350739358168216330513241983978233993998988991326492874516049720675702286872816333914372511669802712219058719713832528597339293054368816739355907136102655521941992018553301928493452434474447723992660186680549103802498214282230740469986200770650120969911569599029786866103349814407040007149745644301920170584323025348517461308692357116926947251792699428368596979150563731309323515129474727817938633113832298119162778959620065753052386380251973187273607723986357950763286173562416762837143991547957533832926711542607034850457520418701875848727202883029106928219366050792422975016449024940528092641753838563742427509959090708910325398150439211810947,314292671062173921111292961964938688436708560003041812060682883475601482731858816422240383882944462620623567286587503750889103725755740006155575297673642764299712726683321335389717791541964719934510825511641995918205107276454661741769794334108514203164641911236712095598112837257748637990075283636106682003276751427529201991787105193934697041232800134525851852447109810170418723631301828242625191639180887760900486283796646822636577982415485834912490056678350793904299469556675190381984269650656661389359603438215672023664789997298532577361391479552727060752508401019647303083662666278442587228978720394609332929193655411546120631186405265728554188782640067849098497720941130508081137596382759145482661677081314713162009647103220488302296025402048431671351592354184472261402188368030157633491138250760,2370844050733763168653056912182275089135481091989469895123144001232602797883560999259129655883146226759407799774039653583687248933666821013837626069498685816554714705323847460507235277382794614936098961850448835901703891332533224965178208112684042141294337624561114056386810429548483148842597664557193452726536721058295707545479924443144714770275921157720051829171825732745857876583623371634787429544606363093272415125412836762819303421993587964400942215536942030583066797232871335393211395326041484926097986775013694902283133471846514714506451260645208477576233622738192899871671383782415144282058906877965816336875417759881658992236986398952428086504437441217917041059825839022060700048544901256390446316992733932612136873399094430223469630954259137165426566293784012450269989381719756996048058089023),[(27, 2), (27, 5), (27, 6)] }
{1196,1197,1198,(45515177015370523186598470590800680389544668323346594120846310192651398948390333283841532838684228638057215529362980007901386037256606243099615016102478164356558671683211294326446538751067821841673990056500943490188667311094600394287944059737699170342758141308528120872594274846008499540806901157295755540786515739853811429101516388477908520360561007082314632823114318657321995023547907820030487984940570143033969059826198120222159054657757563990715876115982516007694588913589122694187210686371983934230131835116521724432838149089565766042842475792610165897246048263301498788205247949191959658551589000568833072395086346175560101459095869177540490444202757299358218286450933222931993542746092845434882841955167085611634798474215124723297956721787207069367210409930468551846723224409896901058733139606912810756783041961963236587262871957343659125846761987066927612211879278746707077150609197098785704768347642644777952301121081864034466935022811337948250337129064542497021903422439329618855883674545481251106939380976621498278402398166702566979987748149240552204768106633906852518721918670969297060120387704062182294525438430153827499412674831704727795905692842778950482616128311989966416414551687,777215626371575217088310657140916521552988153647866038173198916020312203493964892557563515431776969976046377584808229726352107619185583316687354759898196737347993746254565122120527731768195400231056815663888758684421038238709788019326884485614991925753966183761708679471125148868876403664908848861229717592196841841920473123578320855383118815350240637368544307701771717790650586054632461552124823315180571553580552049469926518181331572822074022199558952119404190298735931653490892364073367374730596017190552617978971456481522903772154415790713998943890853561688541203855503519300220331450635692743853335580941406696263179637852488484574223656341703333725590156162934937022942328843104826018387806660541029784540066112095628410607646582758361692137157069659886753575805335098000015351084698040967634958962458780606944874861680995183423604699064295119192178585506522888929055816009012760980227645872065982724034169776145752311726352982276547920221698579169084852770861432795991389945366645278302963590215158406022987607104254724775954509771611804278473641470084216432339586431642635279556427721823661252622577913436058122095186869865354722446845980909445583248603818646384918432817277751662114543767,4797638216628812583434025577605647593302822112134074408304197287542626731655254754760070250069695806237478221185866750975864984886647923024950735389831823373908555291180424415780024231454429163667332563396190904475120830158622717917403410286269955215566928195911908452819781909832541473650205273220866668169706085422281346283683985976540910523295176188150172920324239409299506597321070979467526996274250455453182014342144936200082194972917287973666427586488695999171979538251246523201245515757129525859568862236578547077946470570834236704528174230986916804096494749486164989791799546021425641303587706015640912093764433943754791135952478302825539395135192814380102119660006534266801158156700532041924855632560802425763479310909232427688759422464721428542139255036982495633027474766492231096582800300651532249452886124953384853644678030788868746890039385094652563276776070355819550156592854511474008067006161138536377052747705010046805434254128197439636732559891068359224512685476617566910615703158046476554017740927198988625166011702932143115961764294294133907713303321841125624206851854472613188228173370133650483279735267719807509520708582676901775464380300759372054841808969769362891985102581373),[(33, 0), (33, 1), (33, 3), (33, 4)] }
{2639,2639,2640,(56343649470240944554541894194988032703152997483478025833485972092218241337348853462230550424269147587800007652800293442004563869063886539040704766619498961200516659583290762006742798747469819888357792304697529942283359016185536952419123443659813889544074213427237110287294366175059635489448606250819908358350367149475716496147487553433179157998593945045322448076446074865941920944926999884940332993017456395924976676018690218339595481948243896485907414278966492530683292887139539659213655023566766221831101135716001114169465582095106866429598465819579251295344339363122366559695834860866804821549078214470097325475562348355909825383578656299291495158122343583669460994581463652874145227290461773333377653825221448498643097415855394586840976390778065228010016838569596510884166894677724088453570554767891184009131202317463514667359675678308273163019864696397081276413389405178171832745064861375814617936899532879712697136502243767035869937886475349752732150896969705296958490386441876956461184753084885769489430408516478703269437168381789319788790797428959139328712339957316117433448921132629622916708162428803235294590729639690852735377737206875338559199642070756311221226354944275318104837238167938202874217277492682815157499036987671256790859209806061503081344974789146778142931461324438529830704647215310927456378226982094776791700899499767462440654000563331840801303630438288044726721668704136674569839611669539413577512641649460977325998156570611386695018346162124146444706600987125728699130857055733537679469412242428826826935313006521770416368190687794280098116223642593388696849325370974810173125463698206913626766831972902243040465791015306424858355284719345366417620405511681504199911683347113281944681912916616132595054141026620258530563782786876322816587301269197442746292368414303315916127317539282360592306966359033242684651591954067524673199807562267732882499063271347318982611006661263494424151752264285558404799539621054955240512368945118792096497578940815581860912677444713933006832661623582500082478103238386417759689596063674005645479325332513077947113142956489547967180110415807786757407565752981932876353479407753092629266170282399179455720412484028739177077916224898883055016568193570916954087403947022375704897561290704151306304296686231291915246078164894587604716731470270119255087638182016103482577417893994049532855443300933728751399104111113609139228244726117959809105870149939972243213243831080813292338018302734542541233393743764759099980125399064644064805556447102406684434751204627691119565714724372329434706830140754634784227958640480013090696910905948933204602786185318660439519844302686975950999911055368,61848417055152133095432859376247872928009845246789580178050067454174942407289297559012928374669880399226235006088231916429036431717949140079523107699010796967464678696750432063224742137856002145403334654222909904962522076144363242043530182229726617880261101644639444540632138844359849325627444234093053497298089172796831309295203428323237607544929109304950196414277510671931861834789019508453957863965179460523547130977182721873412236354976041295946290574129654540505955820992215494161856824568912319386270787992756116866062781660041872686867599926093955236454271756037813904065345815807967197252149709256958910903921629063676085365164156292505994515780099836726603025001546701580563990270117723417757806315543027481605046648706694155341556749747961645150448309646644003429504745612139087577369112753968247750887383888853833638024926592320525431539002011906512566022225505488290067553775739475228974287524010911471199580446981297499033324293433054314997340507624763508479764288445959167109818379093312384897235514453806773570506136147460374739652208927635094780369233426741106222197305283621020742649692897738775130354778510804617375762614331484058562161679108584863456408377372390011016005774582862355690168291837260954433736953414457935193344330564117264151893117400699445297640650235267828893304134297349172279303352447772969171487962668842312818473409530277128527703784927802500713063308105794763395798900921132178185481565958439843343194891889939209386168195922077305571738816941145556666482431762119631038188209848264753064527691896274230406206976712407517112707473610456245413512449975006013001346800249527889328831154098431736999515648890302395574277947121160024065442038436332583230900633713649991890809933852937500538580995409391470251506811498781070869446698178060432825438142270059298820983291636082393750640274537182390720017567223171631951340485128381886918925746013563999355762098143500142836828449729756344834461718923526113135739367355419001961839441783370438433332524888952755072832867039562229899392173573353580606101453996017971785110492890103233518666006654441091010777306628401192942553802480194127241303493562250604973075784009007771841370274177808149418825652458156856491836062709242993030265020629565270893072372766252475123700999649400333603526094308829005361507091842135532356536463266979832102425199482313385944078782745555471266946905886911818229551468226593701687145021166521176732270133153258708133382809042442578592219243168751249134837347002782547031127475927820490325693389499997710379922677662230692761811590207110600097677071251835260867376130783566079991453152581322156882263817629990605055912556595367,690513437917728358762742711882624210164156431191697460882071057631561434325917194724772571514769724756242649519293158098384452412034167432275066372007004613680327427275255271007127044500195055860576563483804846123615529706820098453919546485591052753586754752104074341574860615520024377668700069864523352595220021568265975747313365897344377455241983028423674873434480056500630547147021993841999914561066320454849616376511661854175124523626563946260328304964816820133526615504321061413552393435413734557860662179798338474456125557653019597413139361818201425365606459576981822303550670526711519547509422125776104848095712289913400348586094384034058327925810664271557067622049162165150997202607282520298373725742249437300215040007286145644594199573242191594020014861450701927255018742772391559888966053022348102555531053982964052676926034925187305081627180507684742157711204353955162518874918886441532355751364121120137220061598963972580632838065901252190541351505027162785606878378311773952864869040509371374045692153472360339820677197672974756063513992872813455047100440244265557323434292412653818727791484111886782630394009644619539997443752988480521672135682157981673252052742864017573864197821230865482608845995740938202946251972964115016855530942129284157345912242376589154358871801279188464112607201835735932165284481904436829641195268567905891766429473254156084489952125398195272913330657462922772676499577099055343169854441886913994787834086606951740959589308664147443162319475581543409481990727383462831564419330728082071773330584289890411190010801069814088316007675323856714135491996452097141166559416692817286741598938662142626353838913514868198944005794534159292904121493082022746192498136043686361054539803627017608616650817531026636848049654514828317231299512550948146410251443374282125060797517096613206515282939712390801471584022666792246977896986312650918250296670922360409243340310820180832046145279752237926888410158387477570151262836436709586347996373290744918424123874672100019158042610343734330300670999884700852984443231339851004224214797726388873060011777955177645327156497832413161629291650080831223335503202990794458074506899395173451753753412917542092805390442383785492313389266374623965592621164471788912979915288373531140420679741585514338378160814121102804719457924307258255604149561680677196943968021781539349025029439498318908711409131556014964860313682882585682350466634173408107287337651166402486894914050092552773350939774830857074355792728576489985768113131291720474480791442839751564508645608156726138081315247369269982278615147021753411529822207492155763831635572814845385765795018138222502796671315249755),[(49, 2), (49, 5), (49, 6)] }
{4645,4646,4646,(1384570419738107234210662030876773523658050985477911146787392861105565393733580749625165418920044198783281047191894412393910710617230005290748609491835739034278668662972921062105902056259200813867975191972071249760367059203381156813485578597812906051999195502334750196833210153520898790348898360596189839823274954742450081284361831132525864541310576795068013999735418429258868198516729314259472838506047913234745036307576620009010092902853410336660635054093679838138382202168845178330100596431751640835322846688973340658910833173585205393149455279246994122463496818317643256228617467828011210592759790177425055092158604918167508109815359144662627075318477570087850140032989718080707759361572328109024618041555377298281032987971642100639747034181751134048389694254009038778266486579841631650182385827521872486175746772985143847438806942338685262048581109834208783310180998170471121281043770619070155587003401058513541274564017526720117969999072704765448568244507973062154024697217376123834348324170186128069841969339079079950758340352584505785844667309040136866799297470690221031249963414710917565426920631117322362075590539931032005949690426335181689844671000226008026852143499001562878766629972117270869403990675170318769890780665354152298820464352472866255602741174605341346057599645889180595085238125261314858890598370470017313405383350901154856092634322626759803320395547515799288493832220398649064023375339292705311611479077352095485989750372258302132095860792367594417292317716821215804875605516539430491163611501583107257992955367357141187687323453822434006491316130535462346597909025925901420034747258823711092652109982273201897810043807576650618461593230557241054274992944692743546211321296298503290236818766814962627989376407904124014244856765572194270319637973251787364126650318531944887322801276807978414399828134782939181546950347369111474866160713118493462092445520775443270232011360688322317445607979862838758619366253968346028193230551652965815187267902633006366891435930601723611572042221171963969620267793392030586538801143119736670163116449333087151475074432604234125819084420085744731508540473676643100208287453661439939666645217249741733370448431106474083902747211984407968066311241194548775197119898725320785263502498966855721418760799216444479385767940032147013394521135500654275315679648892234274019562577157520447034859729380261382550467148334934203511782738157406754726344328125861838973922408913390501981507231610221279458064813461398585696906863994659760187775503905978760471816929995963153081388592887984083948182595549377475800873927280594174296504911095583706435522875879199844614876550064142514975106465349607490207793905829611888390906466470054333036111533462181860860524251473762646281332175021074525528863711222057346537191859426982547234239945148461270834739848983752850939487912596922191637836707584729488520432950427792547807326191118793137201119755589297069457376918664866327747345673264746524104236123486756408130670290598084486509285027653790589363406208510284386501284355181467644394997635864546725841710005497505482891404227173268914848082149027674611318691644787183822232287308292759403036786033120708805817790654288975270845054371389447940465868838889453017389617882513969780399651014550736881809660953556286973963542837626369892218875444612147348385008675909166871379026927002569573720717154247816413103633415547895254724126214208773738553389166801672203977485406690354226780533346496723872507772444920569476422850183920578517029229481129706061719995073365973023402291973065984021187838645429285551864283878711646688981339664665665705028245550080179321151031435104850083957191237072646843568844722663980606342039405253519285383877074722344162129725061422923620719543177052192391695940802580472681760912671891995360757762402295066435420862388857597111289080307906690556337460355963201175776021015194886671230083218682752419589520762132873644106698693985751270607775575329488679539359346629715235138374781199351675024409812688437273458568964278878261457394266614876939880794298068002069273850127989948013300147003291359851912664744475512072941692854744770973640921369985263832228555928113180439494275313753566659015458535886750511697683265827637657556086662000579431875349503211391539886920839805378073669537776202370841137251374616642602894449394957840901302775047640383817070021448127435189559698405050882227707065545031980406877656104281867196611733201509060348289778259532641028582786604946899211168610953653575781669728514977807665167753205447430072569001211273415289132601710315530660971705693364381872142326277937505075295293210796786025695071533850923459752491078382694455761514649788213914877,12270926980428971458625015957456415768216688600128201975027487302584539812545079166662641528219017210970183035207989645492262202919646532236837832169196243563056136239901908119179426295036810819187170219996579827162825254972265795252886747849225085414832215083335476532440429339503682801569185355013816047414508147161509240336840176529217122693499395270277362424594701313757527206242975264270258012014684168795269598904502367789754332986495389354360393871134744172562926221756108343957948810847664925134628032866417659786864734226209871464583880745311684461474996353854762345612339162117847403358511890535758020127369790589075859672820067846907470474131663976956539091310794625973235298775658599164427275106099321055824025925968509926048182053261093476833474599292539624207591739372385525229818873778208850965791041596766601109101746987345194426978394405370943492633228337351919916834753107530229426741936286230499188526943511957795439157145099007474463988900787364444120372246986762041153498708096647286293814167644941903548079431835725133116400912030005863441803699562381288929511964034276325707632976551127397256897048531603676340537058441041149220167141579202975497001628149715130729145842580736973610124607217537525919678303872252494481399139582041449732380609239887965854967428756871664262526303236150925099676929324981067102046674438033048753278259313967559571292415794140484245934008589797502446016989197016642666771113081865081572272511174111267153896184368104380327926399302843315301433459855179810069856181306229319331451581846861230193971128801029144916172995129831478781812829942844219145672337639347439258557356685577207375020999866635640209242576592924511638831135765027173897927883551812165994755493823458005831072146325784650942381966503076014488682400940518543511565578347829046832741275837121748403396491747874799199798321104846058701854597584013865130701186717169446831682803455231664791870040962407255600678228116829607573254439264552565565072966269490800180831860233228603706062397273087462092615164272733353913367340291206425815514070978813263417537760115846184268145832298396976071898487163862988818879522849634081530182678055842423019936704775629670347242501082624735125062703160619486870945508075389681980210310286586333702965540872219718735979574231922897998866199510421572358236076200555580611734124204468158665787717203279233952188274287879351416340425377292148584300815487484108877069917419548016225516672608155817733088718237346363237866416943860905162551504706636797587814976747848469229878344506736536619021458935386074287182208672352340087940740447878922477940919983106905605685484585609764459890279490066236535115929464465840996199789634938749421450786647359610005499300046328220042887347434820244311053527787485391184058982073614625475165352360228756781018771726496466075902563020637967835818216438990519920579112697419288201891736357749895462646951416216079491005056974221047408933135412112837753262191006577843367245501503976579368348880038857871567941181194875671044100979369961584852659629501008088129755097341735738673260641671413802085814225203660311524991016117942980697795419621707318032705314824092708830836024416749543392973968520865824918754768371722682782482965836206000373415093851215480367139210942406266569452073904330320904114183684366945511414846904506341473142360869799447016800317028813086301273836761155503881646479676859917782728435298470099951400063662883566526582549372757646699871067588411761812737626874963049132646921898554243364536298977662092076350207385317573369392775689671484153333598486542032879929196958360051678300635157596643367489708171204128571940840018055885428044856283448962288796924118179677620629314328319339612982283748706634008641428579076617538324789218894984510583217365387418882704871581544168462601614459102113842868755562951819799865707915376412504441039987102874530298669269223581025815497850026758615884415723615338123315743271823978040804700630745156510733023480779147414130831961216130431470143351044500724026975383271483342629630259225766719317466887408328880493640210371147232367528019704451984266717808720378500395328928072277694501884541757227897334655498648595504971732605896169765670952971235916093341231762086452936872392599524333806188011603604159206112248240749063279982783975466489481842422938413842507650296404156739713852524027605845983029821440960394008732244700069058835684162130808853091767237839790285623587730094268501688240704338063110724224254741732082390871661294266299951911042491702298316278704568964207389071355242581079748403675254607748813195983847110791226842900025162378612466054680014808941954859510374572908439930968023121256727,79659738315968350223356252393897890828222596657808636114636895021955698726055748107946104065007883330668780448713613449392857405527955596782284464455114537687940780753190500822732052832896036483203860513124654040089675396832645393766143754022260197636538836364035858913505020007653061888221682942756664539199413488081116937655243334237906247966719733813155368007259344986858699309020301504012495211671286308687224223286835161631465564689076954602922685563718272967071610328232651339712505648578328118399536680295892473563793076282155129885217270626631846445786079610837303736747426220781073019584402185106382866666482660844467211196310748432494616474341316444684996561462095999942616114820867949851716853888441542806073442425533293054835634168283988222455964077272635670131746086756734950204067708551846780625474223259976078771218196437304732149483349004549143568948647636202849174611637812470518884581550716523023900522662075627082300942518020402577251229035505013571513437410380395874182657166177075565588420059339639301566947334898768062521341788247177500877040709881492077826063240671061657941407524612120995330855950460407645084983320681227704532294032381199237557047450031740820197797127052097093724379093612345567477719587035133927658713231995704691384795057067564417666366529155950742163838766153441886149130890991180431435451055843259757256775072769185386458084435537135285325855801682600519310066017517263119795528473192269014578812533961783792530517703237636159741612025553861167348418488411894833138880868202791946550479209417811399280917466378204072576660828250460402815740405144358199681682994710635681891045762094928417959909046603418824122613077369087992003871377455450564478954572002288671969931991944280973954266785579511295986171831926124665522501545409481528654469886972709218388474411848920027924521497448733039606556360331504028015488786879692908056004273763492946353019372556748723814764290460926281686673530173195817729096531922697136160217340915229901583456598927950969766436530106776661385533865552401311220813079330073874748032254123694483997780432993913198018527754174643208200457495425422102073271098062960203968550947682385472828577152993169291095697850156836664761374508146702558963364008314992946771554112197174105271362821876179018423870488776839212112242662559074082821426844504440358026061359201939798522548361788612041075071811431139222558009421415637350265457537947853637045513627578279526518669188863127415828207390248049496530205473845486105008083497429763178166806332295217093259253118656448268811853511290018879037452505966914021682196225045573108911502579278749879531766025804524147625901721173535522649669469425880703403358403615845429893182042703351045546020301028094751834011948826285010173828865808631945827321616109086639923023486468091062746884374831266756985374598625597265625293909794429669378942038347758055503848625192472445209433082820928641084364218792023573019905447580213727724081651388035361817681812662448499170486556129149952686302001514077774569240537697320817056509652085403409125583802962759436320763345385251348209358946009838867878098274557374509311013285419787615666824443618134493308551100203686581298804076871442252566535775197774431196014447066187824211761947519565124365757893699353895210727900280405854213300502043106135628199150161158352401715357912279228452027511909539493025291863123700010117347695694240500423906645257477256679138716909992361450694463999798928180362308045212902301024262888193270165192211165624662632992191973942964557116284707026328600616764306294470401383811877717358641504820646360926326704947366190961382727464305403560694826262747600650239070901424886144079957336389065222586974888475490305979236903009900118524557345394596047892366472587537484251318184112960436050639729933466854529144183288305032695910288742917218992721782492277965573516699439385861590265742517015352041290917430539103619392846910812440221485796455491531655774870575531617491236339818310212420981039531210124062659904135928815913220742421804914789236595700575963273458116285602730697586637807054823937025693864491932427779721300159844001465009569365876035777027880539641281045452632414655915397705025053740084387601578337804095112654570256798069967016379869608166749327241001950467225054386805076007932305435308617950548412827730446381130758042444647750745304547030593961718256111865320934028645988856125854870394454189531098375770606778940168156193902925514960576543831453394980562406540787511602000361538301175947929812135824598307785070035776335350306195028989858518662287534539715218400061874670602652239134945001524403361981324527846064356722158929180250352240087571715394823),[(65, 0), (65, 1), (65, 3), (65, 4)] }
{5542,5542,5543,(1466462768803722687820990234146153789332776717426574735157342721894173457313793945470995397948053356427400255798986824549142533735653243872935065667283473357648161546021360813391606407358422258488463177267190947790720880067935702278652903629428101039967610738736032763360537325988503316046992497815420149392442185456639217773851126536800303404704906357832735069464476881204164101005831350899734876576455658842071540866658496429523694053741747003274745426660915410875732910009698770028863061692356650150359274502417470145616022187365568348366183555284622003617047953676123255503879408662958850277914455813142457580910929063291960692431164975973248697909727624630170385090818255406971227365813586689855062427882902087409590194133583325138182803031874353720239525341257976991453293716238702606049904809975311181873847202175360574473960210635030683203341524371158272359543342768002682704641639270023106995528115967954614158263176608889238834414979150085710345552582864875273548395511761063104901679126625884770540130127110239251299540382151889587418636217401856273223406736777664731035692208401129541554620276534658936718978867906083660273888852478360656326426348522516050204325765871127922081918524356839561452544240429557671771864300929161623099693525813299169216533966160346052929994327173984258914667358101930622397308183483169850178838924492639185315152609906814955625570811896455006089818390842937336733582587268722512443517634955373752922508533706884558197023941312207821484164116313449042275176450912610267367732036322555879448303078575205784751453502321946890278764349534090837614791907838419293287099943865406547170516726740489446964722410012036556555967932070416519239143966546404023416713865455161926722765793360471879496500828503958488051251210726713698214036252726752887957811379704663037356850400162151317113751028454602541090788271606572708984000539082815639064834898766224260385368930121264466445836747484008130156009288880610457237625764045317543690301274901058450254654602263017522754533808571561150814949056906961341511996779937354884772320065821114957269363368274611297708624271519660854512441426885509896350237251805939970778259430889678574006608136753859840404142026342231687427902144318243382084429667896923184193252430887056592702444454022137403893487669767665660351005504950274132704290455943998846427235946141347169553800927911924353286398496376968565099634844332056371355229384578221800076164170621512726157130214356899574789759718093195135118082774844180281307499695648887081926310963073570400373003906368126732440450380955150116087231718144964332207835674227278000056751337448599567089441718938335281958743765482365111100590619039742235511041300262432959498787424523918512869059510706240190996480183464879967572100198195167462376952422143853314955176499760574685656362642914482179486020613952169810456578542701726428005358201809943863225873729123643314878509035476900560473259425980335521841579400065671829722273467335279301109077753627723421347620528598516236564749222948406616013333981919830915003458200779586548274337503547102219676918439442144257263573807272155202623003956313441230268083475982624622859546209500721900192050944311765428240869308787726176692926966020956918895007303095260780322248180161257398502980490226033599320769833471972587073463713330851274204567915760444570046332183071746896173290833314571417453631617049654276903115010145030258664163945359454008944575669041922816925525989390345270907544737781268862270002859816424663306327644213071450917624028760639368439510039391179322408733786094474873541571068690093479803341479746458972459944518289705044943429687199015131659642424704585268483234784277200350564944835502249696934078614051140763153047275086153077133831386679260343859202464542254145393519032481125509033066968402752476506859283886797956989432400654527254724804539151017004378989227091548671276650109132082892293473239439873288210616004718137202001522782415787670607477172980776641975376907824813740753900858881163073009973675497411327475759484661994433541027118478477873203801285348520794633328592657263505999991128879668520585720428622237742490512537950359402205324001995495074505807089644668448393383213154048818981685410508280672403006942175254143340620979643541341540074337572659622703360744479191758526561879748065269225331493156319797202196698953093091118268663180285453994173175004765042540875901896560172126805963396790075724648861284061587949206539942962129412131995287496570144629907257102335817747474586134616799127347111891708334557715358473749128447523960311368632111187524169171349903681252047364790356294740543040289664587755687750107722774759862119191799852175001489149275860198133527599004010589703785960337252846734341350955273111125113685791268561493953580889137093318460379114925753926139452652678469214058672198208237080575292099030434720230371019151930821777059596403590137514162396944094077882663593602532834157681855429204563684714007140790471341731865660059139398388366172399274776878238470590564900337146592840055286970658590626056064774635037184621116150135854418956354510228350086920816992573510920569142525094101331103865716360093037599947187352903338592828664415300111098987525354000528988539370713205032546695346298781626827639615547289652649948996485550687407583089787140208368014043142638420083431583735065909488869448639307088567210131319590284847238355714331037717182304377120888237618040993668130877092086293688186390937832034765693427660886462975244457222485897333426083174195975863029051784841114606257147096809874368016484207233438338509864968,6692730096259452643369104960627455630486215862399671626732511651080481725914118043331962481949887246701616498356166181463604926787704653729996524875944166464259834513341705159840317679808261520484528369303565687257064907833628722706736890217964224422223998452334667877204269030436124986535368385034217958050214758008075705340244612677399960920232432270936246267613432813660990366567228079750807890066079611266367346864160511628226289909730940074689153001802775046666179052632981030614614169569391452067758516455221647484030999554706461123791807054670937722216527237831406838479377545766845200930604834889512899500298890279463693292123492722332964766293920612462482832346906579356853165719135718614757414077012806506891804144857723803907676032689642786952845709990953932549363099277202376455866403343511636096090375135224056359990162308934493705571731817161204022064082776683415625288907335128227482210147359946199187596915617399127457890619731551245662573544480434303562880059763371510761927915895906816154741217474757012037948333052450948476074779692568524946903249315558861221338345333707757506558596252170626033347982508660529595727154556214962133515612611016236612647370563803336371277474122183675326321775888376588019649186941050457093330574306006986097505564912850747944195881019554947202505040052804598375384739818930341354578533986322895086376858707463392009316120030250126712526017586828270649304748716858128207666637663463616763441471078140139397165398583082792700730916946522609308347804497092788797288655742983063401287929657658976022731909898318616931557751739391419299632140075177345562777607172891334227363324171818253438628193523635359638830124084206940507156748690007173906158332911198479931217612571332175228285424725788618932441123312056841558681171044031534689729724691692912359887866667930883571803897811767970302335614219823583212530946330960425630170759880575140525980655912864408561070271281256235441915992173078282832751522617530913457332359506998401455770170148507223571372814959845223749946250391821473437923170419836829629573389065359875395735969558797082534386336670004171504123398260118906657430620905923442497543912091623694459665406533851295585577716831411779117126645622931046613934399425097865071551562607352459925632847376933960796535324837598687628712655007121426904118192945265333766905073914839487266825952061145886314105700264580892659214832501756632175256329239482959935590623864400784418843182077217334193177197696837594211308483641010337802908540807811308881492169321137882307683712433297499007946781116061320458705721560125360842061486428850165801712957979595359246728776430639245939636738948374761658954061826209691051920957797067434218054572681739182471133280523370552885267688527726127135134270330852701348584033118514142382336116407399008075996860982473510530346022361230317172840057578686001163210274329974595126286187269014026433799441121386883231381984306214840014935709084077222504721973335222668527808855559610990711488108899107512957141381420732916565500896920478134482742963861647524468723317202105177122047589163963776903970183491643712078839753127169721419656802120034479275632337807924544614498110240363188487068594679650721290227877054858558111252685500296470242670684134891258621448609138267737182763032469423691128748192585991339150082774098556015718505017431352118078322619870689991014115031741711290769496089014977880570263266405690441911703781396906998762963587612999641290185250072869170440998075953692342671487460709193956045971969356326209070905623784688123412057499359044056826754728447850124347648398710550218154116952578196233513878798252059822638656328544635582956335584231888174374941455674902151097107216854418487873371668727710211558581171277145725681652074404567177285568687595945357490783390784232306424563694736533020608498181464646971181770196876384953469622440846514006232384210961579158336899260081585536468500934980497170535612446252975896695526200287578712298314622454508448363640890747229139443768079583177480872178042259050166177688625276376213463703266639188395613252991270000795977687386423737853169071311746970345634184517790850697224560536919249448868582994389668475556905130571202552218257473659915042192852883158829520722740650513765041860440266491282066812530716688774135015932473130727413733116681785660017420242862228536599943421961099282741943719358222072007939854053509521905735912191309088131695308739956798885671694328458098321491372884169420463319900482341649820798039294107822946250917886176746645780913148275745781620821252781169313295613808543152058629071010936935426042544003657991023530442000967140490604075975244178975806038991746932562976007960411034074895087917279784536437641619888646710861410596842178036218663126583685587080880228752877783782319015943806200498797807843784497766965338186516923592678329622986749043139097599188984217640583316895265361154438849767555629158421509916829272788880623767533583482040026964428256454562903529935552136541947137147274973714527471950166304339163636952976732589610760660374407640321978111107637740755852017091520655110597205198842248308933217962442651853490174911403756247603565731181111671683928302166630842756928837169769877128819926602478968210662873624252901764427943619832956659552493674351362220715335865324112698992725740083263995933814196117674869528535175868791264054216712326268429406736707035618273426834172587106600230739062978250941965654621128900832876783234653461887966954026005333565342496743505345812402536575799940100433925667207864266152565347803725841484762656261514597525355,47622450400948378838383772282463774606862475585470916135643120242889164588999536917143252778898237971519642050232275519904346077796804164997665170205968559976309128127925359988920951940206912919554809735600309714561600669180191562523906954373442895286177820090074271444866144401506681728848985841518809813817744245369156604056715252134781651290696247931418719827721409603298669191348612295024182755007100463679890698670970772218604919944523548556339943990850928329334044482351470144751278631230052483209229192136090007700973362792766305057772210218843096395204004481827871813127982371104261927151640854476471691258603962738116589877882203513684178221638481443997120721426951288321845195709538874283311496775212472633043757016949413544955089450529970071115171319204455757146236186283669069688840344104909843453532933741359090255143237887602089268418356097385230465055288442812353852678109364557896410605519305061329809194582847670449343808895801066484058241857852557025853970470346734297512391305668724507609507860997210910249828839975095498003479392729012450557551501558320236220920957164255349717391566888082337651296824625293758028502677596286857109601061747560818473556222963976245224436029590094669629286031110344430825748468172810347309875610823148486669786946210224096523266839596074611763758157557664013300435818412520127102295208939189906585620396212651765699761291878071263904189401224066323142807351350771288944210158279686921742294747307474233600865491069252006522535488189377697928025125557621379549255290434908346038130268791214288761888173148344653009237658149639465258186543795913644724483967167271354216410857782569840456443439191163524988860419550058863439011112647571765143098332645498985654541702199457567021375604151698069751565059399207164022611522991554954322337382634649727285217129423673370394965121067239894366149581109228445711919745882281342614646173496777927189158828873291373360559493626235980310503651954583446014359765608056405680697149732429212383292427158489912859600560764546409487137797434433280391746835155157023613387021771257903833401416657254712158341427482279548188517245020827649635343698774804958039887874677668293792752410148798450853470012738072908329266410979821696916469513375891863148739598334904827404460820947224418582238623488603934818365623881078631861542509103895074183496885978299923729454828974760861965227627240219823926287218746031610309230743922733682874795150985436217330699586340400912320670388975069961195118990128872085568496625327692693432900622868904887568511422015928091397130006637366088807249451579584296668364743256869381706306860780375897099571626209545626485944716947896464577148689231222737379171911134294203436527612713553746799327282889817221830528744366228624963184335138436843991411220561872387514837317617725088051768758821799717134972056130662827963575852075195983333237812361469358928050372207865758118382197475583604897923869874443254558509491089094497114309187515435417626768692338314768879199254962134071364892503433291512653074139512155522589222479395052657948150741190520214628284891464936780162688434679291410736556884486773696840381406282032875195723530086887753071363641544299638554503482403044827489580056913943422699970704859738311408892499707908489253243553716995417910394398094100749297597547580211158200206330030361004088378215696877933199873683522779889198901930937215425097187656672830486004822490294320139664485427561504232130257623519683347400842087756573452879355666822274541394819212535164620698017642540024964879529442496467620788094786440378476823695293501722495338784621644962662327864386529025226531680747525116663651083867870952664381887535020135683653867535500764985777586994135175757313800702085306105423536196873700543907429173383740071355554433235790028028913063521657396875545515280730719253230768312689362173644652095812428829060569326084255919425957186992895406713009973532453651237396275339660722984857993571948014177882269245678789940694598886067003485062545812158114223243596985982981053929849377362932912968592983160821938296512313053406706366570551134248607106838991076299811097232369731983873397568183604741730679477708228043724274236971655276883587537538807463933248573056764890328937147993552897863908422809744532916448505130307316345603250021629200966979727553566898848418212050469040462774067434279504303064273954443870971451129233529449800530988407135418019143122293348275498630841723639872063348515200353880053898537816522858218623188622751826735048654693126489566783502051135681427010709684649132264136843643574234222127181277585421920287397212371635900068620872015237701184536167275969863375956410621166928239826276150733735560005835242757705026050498056686664492317443869890115549535953605656840319187701634496815261905403829900411155129186253431300704606916547191143757850974622268610491295742185729093409192567569751484195005154100683306654779007665669728792963209833514009497910233070844858781637129847244418735700272643945288880602248591506142020110809954124229243650347853949950615679125504309603268168970087780082752748418531873061421099344561758754414122646701643857380924441570725935144434391134626028509815913280036817355699592050233801080040353249527134723579200097042105263761350123881231422906878938655350539034665984543299464199719993288263333879987368133210745062241607017400289127218733968733124756652452939417370203706536373812620169103207477941223978551834048584046637279693226304436911401963976815152363999340062727737206096822311985120175950512924402251872044716022462706876189642892600376531572498967),[(71, 2), (71, 5), (71, 6)] }
{8322,8322,8323,(460118358168660113199003708368067839314934231762891704128576295096266757363530048994571546576428366792913342013443181993299729920882650617295736971584321477027731052005933166339288774663726154029764897301634462453309138446795035669680268058984075583936350509619301273736352508236725095279601691549931476098916976615511585243929687315990473202906515503898306579496035425600673862089428764074311990966034477852489708828525019497086070876013024845983731217326300985955975245199575688143085859989288919127220565242019915158527145311484357279424328794548821290835308560958074638114922090658966114292548500750367535271467026382944625736274294774008903260934375279354714494598175840244495480470092831792257631655814179524763320350604443338552720196214792213508232955804555360853352388251794741344883974992014781261932221074071106424459413547307846030445152966569763379446812046909486884283265228831730178282329801293027048125335454935464985823282487395035755223847038972709060348142632783228493843457682738886878476694053157216443929309367766779806829337073822325051143022828952145345770488462543042581464585410333073755323513046360069273431240934005849757365386352235751335629718066450967728845009251423564095219265168014676988739926385569349910818448539454963544645447229575012253286076916055662094870532053501275200818261223581367683908939407522218279332468698387141325863074592366380530785820832099553809900707478883352553210012481287926769460690079108702509759659558560257611086582063612457775589389518576806438503942248708770604642069258990117353347121986503820559583706937033467350185608042589232209287426964985658717189357924377233128822542837896602626097845284142651125827473474605456275803778143410131326400339654809030483132644282279379057746367400169176026875051023002761273802452296377446642607809246404737653583823550799891753170601456597436155469680940408315775463765525962678893865146642876309519554081606230521271391601798569218310072720461502312403511303740083894913802327521964046163360109969718801198541422949117241607649999689379589323984897111787571259254884880456905776905413759401454404071769820488827346178125191123965633085161842908190261906759014131175671727598307300787032235303138352366156489507252644491483281314270928145907564925412181157381948537557630301175162017782626738075828586881783606151085219815437348775754837995500742972550026697328005894697351506473528028780334972596631691938782800907917359653307906854412513400909549393367639588456451233769501672764177062097403745956707692414665468297915427714351620180964368486382410900983803365127018387504825997832754851446288571610162920192395051633903397006226119977241696601377258014178920750431937592053628325372667306737348690472098646473194964388501779904820982819044499440240710296273231124180024666193523815795388159834980034871525865913922420916092567913281642869799600823166382479442106330082195115284124424837167560074601401758159839098855254991414903479524266395177363916644289254526345052819435477845462075145076948709141860029795241158608345851886533988209251779067325139961765052155598221392100703756119672869495750287201174352900565179539565868490005921884098797389674408680362258964844301371195454302922188658823865135055850043232415240172549822386359194728073169661744843855477409467598069320266526499855691819825749717511931751990763150301143209159005968482108209170855856738846054499807793906471982688059533251605741872790117703654918533050976516891331563701198270879544555544853247685163093562045815107147728621286169154793253562708216163341194618639377892436978703952409417945858771639215574531461678607263328032481325829776636993749818515022768206893271913891721207369702533861276009695681880570105115062840886177426751007948608013457927116193193351027573070391210181554293730828998859093947340065719943823302862499120270334088719244412221276300681626608945679839877040313760292015953443720349940871170467186545343405907337193331796452070122824592399260219876958585421166794697493801472388423651032586887833073809283509149476510430000612969515416981173129658932636257460763582963501483000782282332949833405711391557448251810049876366498471064958789186775950705831031623414552338476529442522007219186573081426359335760182469777825259110359363909296068125746348993563640498862339988636604019258053746048313122397926209198355534513353179915407937282897290295292788612945864837031171517782508355344976137658690293364535019631115519816225049525207088006130864655330458930905339238640711912891726489739312051965984232389081415254374187057735119960838609207669221194433315393319185792976536250197759511106038496641614885328163150307961637592034958370039937546195074556403060160487883658501895484672961190322348176102115073271533715653960604869237952691973027216360214926889247602270164283373082219724638219322668382008318139910121532004326485378107469804152099037481480042657220687223132295629394516677038316645961253935834932098799567407677389386903160653151099848065933734847659023489293597725436670013164388923182323977099629521292239541224148819236789268359879826069800889975686988943490058730273662484614816893297933496324258682330450517248868975272308283674952633818939031646646145533034695366466291656009273580606128871936619880659501570871448853526802029624638336639773194846094054436729339302326513261423982077758243993583176704673236193872256411220272016850336211533246952796213629730984691088240322136657255526658698123921731077974619006916255533651478528705727457176826900810444676057209193141052787560925130803607775028685223516646216182469614237772983083551158426495604461914041105674765855811541570926970625494694133689364236207598038425001559081769731856676712807284338421820112005299451574482540386157231129316306695556056589538027576629780012842597462393716089378286264445967582175655176250405635018984880088005184963597949070077236052131141916287740264181641981619281724528504225834061711597076019781759575602121365430712856151523014583360767804085938064439540223383213006040328391045551753839042748611264588486363909167341007378017409977664007918956915918973178316933785370386676973674469004930079063367158731753256700987382553062646517569943629200684123172224814501338945194335239203697984417535006427844646838824416098608367046968560486866425489125089814536487371918832516678792098257699364513515861668920659103729798468861160229861325912817377454298785712360997795848312200832786386044680723883916600643461857915500980404643452623496352821161745656054210469061330175420535173483350660605364653000603720810772409273613988364125996919488553787100403774572731790479064027110980856716621231461655075118736160762247044877068598127180242831569572397549585778083782434002582864799948727212811569328346785064967923264839625012470870190359491412358043854170184507726522749949726237256710785312794445349247627598490573016660716467707470991265957828494164870071810136748910842868224749982972852100013029616130208129919635457597432884712786699856292716735257432728694681809601890563678805540967064126529512850912068262427418178165144483263289448616862787779561892392420512916196884272685040351309622819567002436192501138250473367904539282811940123951336001720963551226131966052530639082687030028134071883105620400408057024584621515740923503165253832235293213055844688442603776569273479605460298368446978966737090187948933603362641446158861112379024674089576607213044532872013082617493686632707818756691890351018418217457361504098179020717876211257845627061941144487631376124108133079179682229164320591981096138455709831196646207134230402137230732342620231865302456729313002067195652759887127192246332530158175757166944817552523728998772014282318119531049420201038846586833562787763119270917942860771728288397271717424667474855256179928657937342996013046529845278763216289952189027901738323855462261283547428891739710861254160600509976009216229510497826703921988766385310416492438089863802969546114184954173862750269562706501637947440919779716263750346440184785478520086637216379134524545312531610821397604403843800745060652555781680480809689713797674592996104147895955989397877225049154051525637948244456071736199746661252462615391486150956696788557101466773935135852031093708617215539015387489706197766157271387893220821339200287581787571846407754545159042785785591729741801529858793114881305694085047938635352459977373,696618412791727732254563831688786323299845896016310987037310711529403696900910108572049138769400107864921129338575861404211659524475143513636167601530474699466881628079392032118673340506224588927986641268449373360214054640493634281356355119005751761933128655788585783724372405277242851690579838397726011216233419044706841866351978462486188932335983631940337998575789095480262700537594434160604729085316558764951576201806261136932791244010559569129075655332538083582457876311567352030359454596141929019961120722049078728230584031139602514704534289232036375344941912553736813403553593955692849474391974131624015121979786158579062817313822112384391568329171395413266364106927476646276949056199144451500912997712911632975549047177792601186816642489104610998397504392673132631681669846694132899905000117587316218282111198818410952745531738769968948092163888891388653024745865974022112096431833688944410380210852585980642518139678154138310967987719342859256752110704219878977073476811362633322493702516579047293273902885284717101288562802782140933104122499825342389941460060955490053298363355018909177035382012486966508805524340280090160035404317528284961862258015501656266367358334916726158836234880600438927723423897075236614604477403555692039943483986775987043026797791626905920965791946521992918088962070859732215199034146392896920691405659959297162732203507605553451662067736322206473271070158104437162854069693946709993118834295303564953973371812174103927035177068170202240792643019638141227503743196579815045046947981908075017633003807691390948422219040296069287640725605167253338236025684243928037642441773758019773426219559822837250102572369579962104321037595727288983576158332933953891308851838124082450146141418745181664257256803603140502022918806561526722113191497443613628462627221260631370605880226778150536480587950056673755802800147970582152490040788824498004435398571763522124673943121475228889466680555973855290079995045625493501009104257777349060911687535536909593698343692476364661507463202894855490525669183266296983463890836601391123272864199072012721561270292435367687986671189650906254786442322230325402728003762000174381550265279105139112755268731392629295356145669758003457970033890124997519202821052142831600642681690507091192823207163404188098817895725871639995195425868759210890431290775804118116017765720987484709936414624867003133236824578107588875448228111137066520178277568569856722652376793506916015501773513701821403077015389976988101847478639291588718880052083922348721314078638851036116110519119928157525073688397929245720704492920285879457123407670301162154702063940954894347497455997768203465976529506505209234124267662722808232414259577258619204110460369929119606030381926821612882793603350296530637472135150559930894367395156933068046780953587674604117249337934515475373837166212719669723087378008029142593835777563254185280826129806460714065779286446966986914379937700728872875845090347565933176478007063542411210668273893335057329273304961749318526228713177968036061100855044088784323178963148098324026605844481695244228734867395974659051757455404326404599113913491733208414886159892296372225312039069888556134952258995477125154659871334693476818474647635396791952440877418950212180614485616606223516871795436069800976914299672466831263837577167182685301166908173608538549937917252370326817487372208923733323694107776625075014358702442752242647751985626890182432672422083684139522193867643228549268446672844872368861146139632008786295095393689945448125950508168617505608792103544221169698346685012688244404702099030389131504937210520760730620007030785651124124131017140449957783521428366894695460147186658548749063859897417008690811523661539789008950577718716635035982600554291980599822737193480013825616134037659954609575628350605809406581777542669164654452791980226398614481166960820038453307219736788133161738871916033127872269228465611686243050820779232278890536917774722974905130977714545431825399997568570906343733346301957297934875089110164025203642071179118574320250592364331879326139917052362214764302925041228338850367862922895342503417587793688796290816514769150652626182643395319690013157149671839067332848586206015999848905316420503020675554825640728725623931423275895929741826113123522373625941866889811995762280907280079805054159000299706060561817926059670463210013049710002174187307793656113734661272680142455798030252467103580240028475450187064045703173700249185353877561738893071630162417346614206777828873598154235861088096843056774523775078601693020855094984133530491085811346944643353451077235955162615634608921651918399671362901707910388532488642082053460360739103950777982447313145186395027023132169301154978674930114394494193314932431687716757027191480124943047422259738725853081513234266706040468500417496553248820867023602723351942049318828661039062370217643766371442837939105913266324239677208977734240498801148101496059418848041927196528302613809953508982718525552155720933612388235648514483453135190859436209880422027326348919162579299770228706824295560422039768677857680342036466401611039409813433481858484914460609534405547724811834476866976289371961455011052200923021471163906251152033997071856375409483279620295970319930174148877942287888184810127065207004943448286509847266354542138395499971146667284292166676282360330632494766416307813453179366901877046603127856806713075918938781562153305967320198367387086143779334071871376112937853970368510948449652968922342485550794074189278787155484846620635406229652846490115337883255402352534165625532827632648727094435753755323902428977882107348264293853256834951433205892576136718003389119154542688281928972796536129939596839730382458898941772379113763390663847582925669257843728846633583331544951955125716450780784147754523624601546576674665958662771215383562962249375851629301564574989278848856505240964869743691630418561608966157903789447234273474285116031243090152640339806247339522819937468103803139981391318937160946279301007735826288744282242829826509848883039986697883717685838306201400878774955020321764449317462798251517623786496926109838501662278166703745352660914877015474281467001493127402365904902987950997007176259480219301903103225505098312978105281767119445284409536750177429209285784190753239274681853988466652362602298942350143734403766675710124917037480622811373620731797404075253020754313703515429319364741518411735613349077538490964504885931668530928562472310248076428491824901350579953264906586050304672779667729090442146029039132411038284502142422985850804339901986737478840449190019713706558659496406591867617611668864665327113908506730833769526259978322219515351878716986062864720618849600277156435949730198879804559517768608704072608784635379241757579144289973956161999363920626378980582832855464028872482381775202629111077505484330118687207910216585234994997477273192796034972131483996870123294819503827345070792958194326043338768442181419065290672655866226842137147486850073117662242724649363218273604688190782759688436946855756453589899583700959963938698075158669490111725222231405200688173734070048621161119697742862102254730475223209578405742006770334665808181142644987850230745906286636645384294096658303989864126731884746501780827078954154953427744971602270297991248326787234140044839114591622811579824329356877740465146234831292513756785437788294186797046993120472672891988718605789210439871999090473405695093047735053895045493071709490634512436099381731198633219193164643000188097205176041325446614444368318420012687948881076395397618529138725066407929457578494485311095842305785956763952319793589077366681766305433785172228698136664974418760920903574771792559589990512656608036786744452988843933436351371787200130316135524816626239649205054588348493527799213934299467703121311334081011560945840679327391397897852803613317738488715417294533374984298698615782522412171437153126194710895238971660498136857659257604758478403146014885950022748754887097940493337210878824828955799416273707455631651277876803133143229255176377675710091729283051297222670849825936858247321910776921005372750093350600698792205411170634509787779481387892393285981268907988518686172416110159428605197385832488605400365609421795198763244291313672084475086560752685685460291037011649130437251169057387864965662966451292332039779431469694058417629240972521523294323923259490818577052352180938311013287,6757371787046068139667201010893827259352180063880359149347052632301136153051558660697373021236645293205565227990905341645877134402231836160288526336100006319893025316509843425529380757439480726788711702040594279434239014696552515835042756832988373032719323122954866309692833045139967292353223393488665907661509529280901949351156145570794630672220580702965027485819964788510175928934553607146101552015450958592213318669644778052767159151433106024317298978469847330947998554876896679941227362826814251006225907364737975213659154880967203856438505175602038675691540455780906880282645801513278585192582240454724185292786092937629091401355615019681206372879118924349761180046787523299300262570387488755461176876072637874712526810213316988703051076389762949202733162457880729461913399481430141647521132424583282510084131558360981208826483260170395400866573111019317502663606454570993096778600639156133698170979041640243141885526850322876410400566755436136224911891131082251223209928285745514941392254805755937722835435647137928555826661680826227015520386746766480820125401242870769079967291453144120537506586812802553415447292372228318628389558125426002249925254838836231762593979492200566612310246154938701244941217010455332488549457060947830505667865528154277793038771410469170383008980422199703139245696367890020050426029234749700394791926427986384476397595497535393962325418508237542112699631199954744892100970059801622648702489437601581282342025705039820067668580412021803430231966998933648772104264159193404873719999575719087634348995945059216145446397047226984424349695008860272092797338029126810728351222015650199534569415427530399020249995538776601674180178805160185323129804096228450803563763408490876124747896315197293867695740552097472935769562864646619461811332464779500638153082231967099853544773279389849287808564994619482191689540285905719126814199301434592074618568042048218763326514957672840102351988582239509179255510329629274554728524704349585622303724874756501277836698947423791063474983352447428543107129386048543513605735808678333789668871348452460903962519454375470482204317093661954418674634626065529962865249520478072860538611393230990140711094353122910190658204168249238159368804474574860124421164680347495793953529853621604068573585731322532617511088743070418696602113169386241017286906728346419932307192750414540791109578772011365267354726781270717001480901025248074197974069056536591467439173002127739523666023027574563272143557201569513241231173599591301849461123529607721409766749279351537814186775272804842684803579263821306271390051103133282840363148672891737471737533107454894408108106100111845048085664718123454714170545779689537029808768957774092943220889360247515543410024101720391490073342323318731100431311650075243046933998634526168353432610351903498726198312347708572259917900391794000746396177357369041612793494843359959696933917776753465981913541370482448761611609839455834380613580836782637251822149159657858426241226228679713193048832149211452337269967502947293598739495986748394811842407422000849781210490469777458120598766682938795797202252956937228931475950633598872137807580843585020999868124887925950526386651086702449352107273314446667906578240670463790916151899942347080350684012600682529016371430553101949139071475494324937885766099141556318343878025358174834217374351739026716341194216733682357039559281726400689470150839227080608623575059279322964387545330718998276126777941951298318574877260899016309136963295097325690898265216500059658475135313640154232209375687158645796821635560552287433902502619432134201770022478388713449572626481357189311269486494588763683912162825463831082057237055000978325704613039337398715296998751301534349127073952109221789253091615619446385043111805482051069329221256806870205254531093948196628519165662304389821143860432665789521401676324400689508209190538669835461571749739955832194024392958245878527350099123738832967388251623284243119045414405092174269703479274231695314640700235712264488085780296611592884525436819390229693830755007590494042745727849502287597934292063285094560735475167061711396735997052712465002624944867289149107796542730094201653937665025327223498331165192307702708150030034078985086732223542732309297206063211093464083036621785007903091618275373090433888822655950676561272610570736774571612091846938776312615945209666351074349440879789618061998759670003662717100212796269680480477820186990882905965817773014505658485987855011257398761934558273317848076809732840559591076632844987216194579994396090625972981487319694325145579161319487394812059697402840437312752707844270525728513794033258292426235074946656146858866595665867082524076197709028912127202170696414967981465564557802031352010551809928341810556047500490558962674334511794075600951375746436713106353352865313183594267126304669267104599470216569609698623087407576786114285248252462597329504612197031907486880490472027873783833501362889145954988249146767761245595739168922489192342425634096784806439136226372970136825711316778149683667240595860225581515904211052973886521910376326455973705527149401801960661613561375261619949747500044292643432852725387121303011277408307636679507157484457435893865050611499218921332614733794466974409460230269783783090254320162894881312576539348218596015938174363930923356608422549199678777296299639411050433999625623013119671979857794474958077336801417872069563620440100010720285895347187175529441655592247953398556013920016138024064505650987787637674936643251832546518639149784749058801886334000279439213396115904272668553994023079878354709452930539171599094778881512536317434058985507441062329024267411575227374396964969037305964917143999050850779907438705109689083146774185747333232769969096112500190692696772571092965405713787580060588240512388944164097511812138457458078693884767270384799526150594922861228633450854417695256663830890983634121361210841509735893548743144476661721278638009578154827544517795264305103615705850837722324192019498187342288633186185381463708308667838260294432126242547325567946241599977242385773066222450972794045480687618789829294417081073493760809019674611517968647094569592869866680136759781238158490312216075823176431083105926662269695328636637941491835585889177097509844134654900341569829505652495303140261729230304310911356922182738143976841053617150107948265718527295090245704994474898183172229127590904655246423405408295817163761897362445096236063988637954756291714674001263872413201608583182711947374173009492875753531933878853960114230258899057906878332797386495378055437794000868748850752721338379232584174174052788947474035685333735320030304696328701498455679829450269507960381834783529104425042443052269667117059401618946142466769622562494585437773574448624183418436681153396461973467052449975840985618136871368776849884345465681289972550626149617134997258618257632438488535726934642621130133687854294857217185951457739998096977927169591834079280465951391547495185030612068903715357966528497732722207992729528415044175612404390738258337474254221129837727357382475790237659580291896294782824388982206734102088676441441248682210900926838839926750948978708757185432357740303452370103270487617497097918387130482560266999096277176165057405114801689324032495315547344703773363383200225586262443913123002992789399716818314320216593735286440310702738885451243283983174584298007494491624615967817551089535001455761753490005828410367469167259865937758561688210467774162281345734272302685278779758246712398003121048670013814916516079947238543075758209608263260765319214887999050677592405190178063147810916110818922303046789516080441358904336634993875194674228996043813280728266717554584483678239396428599240243065079105286290872141390178186912198092807707827340253627744709886189481568232700962251374999348325101266394471947134660700964441835171957121489524985290534224416996946581613925804858672100553270654325469387284843139837360811856472622948161055529343170829727575193812943833584422097675599745978130388377422482155414226289733761591553536170816520748136096660855277104303157029866334382369220598931062085646021749566099998534992608588558304974330894055534375874863721924457676723362578052402647491487501121653224866234267927009786361519918370780114057754311718001077558912992806893768829476452799640791000953202314337676615559950983923719109572401054270457281888183475668023533914167),[(87, 0), (87, 1), (87, 3), (87, 4)] }