11 lines · plain
1mul:1973284924569393016522181930166284437824113120930085705223363410232863255766399553325346410701486329074823374249547700471683909277697787590783678904983357211584574690370289495346677331618312561665754485123402827162476353576735207718451299565526093115255556962215997764515429748902159033904867393928929335369918394864191487555087825530530292436823694624357846430402766705368186347858763649288740551240105434820489955559033038872623623075504620415436212337263593361227009430895404467373404212231777284568356947010238293550872942631550054733886261493387307990754063500729850132294968984927109971586336754260617576297578,5023215555039217191451486096670046812323372237867852342682903508090873804207633443539517026163606065770027196694503291009850587117226026773591715017125540836707619882023150680605967194554434367524090941938814045780235333982097410791452776449214446635671357519707417878752761895933104747199582531838714305022614904134506738511247696618513698871318914624938137416674596881724436242382943205716649496664131501091102879563857843031208992280893614063087964394912022421136928015233318011144243860597237613050611024432789921991289922378761307428111094457098264457145099945444765267932710530788173695233378407323077034767182,0:99122355276213633701777654610459032967573464642512509979343143847653819684557678116743277500358830285603278436354900830862300897336498005004919288459658082601771100970005508707084881830600887792152104819001135452818541246014901422111806604924413614054262980538968020915782350129887307318548097020260936647805237936494059783247453995014320452985078693432828352449088566936418564644154600338020800042467088249002364899594614865459949433203600594599173747304181367888198909730863424299952016539323388297405457183526675271429584994283540779664316555951754557851046182186474097829311210998572134918015317176067894628127439757399138309325524365323493611631081423951021439041195477567303218715579004175731859167619696679390773549542581055480722675289984117020206314977355521589863726774527509369699934232452682729764294547701892210775205570052866224171633338120305101645033144405814975995014174079326974473769585916350717819764917049166937999644496328939118308061015784110620440100456782566087201491553568746087162453882821764009217645163444367426197575761451287778842357976165937950054217586649151517688291944329748355911163186596718883993767058506038046664934151167882058094513785815335927082481884699279003164959049639053150427804851962mul:9281860481025428743103260720025399298938288092709373682664752121448026422364244176957076161560781963714610840062462308785533773682081509516924811454802263149810015499242805866671806182669824281823377004291671016071522932056033291108610609315306035746008726247945073883264784349702632503413711514594728450092072160898603477481125780254532680608704164997261749601100642928524030186658056860132922920804055208139127600955714414432667835794981195051773905850760614924210968557995928682559530646363463541164514351639956960443946215999260668876064044712007044169839741253208493501852117173644320085073436239558982298112600,6461820852819773895887891707090409545105222339300767589991593922286229155430279300935431963821489860557211392101557073166691740801924350342690481832500741574765066771636009594821433888176432105527291712269105001105197791973525400419521802156326222007905452621388581343089554119326311972031808789454501569850634390353513026195347029048776084662261279361336878277930892526127759184987426337401986666833244149616653136274450771865938000177859526607860886891713725823803723429415374914088095471203681073462945634413721478459297998380784046348477788577160851236668812562054262272695670208399244540961973019014052558168787,0:599777196092538927220428775721040514081018053978137819278437892947224163734866266297745284052722569810422580183094377391853261095434991536528436185494370798624819037413550776223929559809522919403775844941830169783452158580065778961334941383435311315772929004474844849339401538643309933126634235489635735897215926308044303035293134384160578072608786763821655775083122653645817054464977952579217650997924736259345002207863023757534000978331256350663259766369691586685504225832958714442696293295206640643479270806800431728666869979698918574690153791929270012712092316291144915744593923872366682933957181847255881951951526789560300727548497048611681074220553086102031874760814827452324988519741272479167884139672305507796763288989949350612062413980614338199696495903096478465773683251655336154737121188547916176549234965185533118160342230391096448181557480553760956089244866760042401273638391266361489934760974673636468562283757748512383471824835856402370874730224162890054691835185157977946344707180065779456465868076577862786652302046692085380876839025954606003954631996732254848795110791062271622154676720706001873769016834303972158207023355800044902643836051661784652908929050162867502485426167254325363019303996710425471823314162003mul:7912472862067339862128371179317677419131938894010486952786566311807271094923069332388514681475314477095129839383791878789616020411634591014351511065638534352498100902940229903010080076033147913858702310386781454704764453620638192722142673704997301635080657906841977228453431784636268795567399742877979696735712353260720882016758802630449316568009735495464820484500112849579042319792054180751808291492597692968145199206126879627571212323371773988020895279516215647740755736659817523229210171324629444663573614970129038286402265282862415058866062409919400686067571225883598025018993264993072866008153094783713777842233,3201725902397772208341447704654332382791919074661304465094673003562268414312780910138677841790209187781035267718271550359273576299056459823432739891496517659999050131295751440278895964609377686119310540452547253245263824257293859748569384694164098523184164132157046027096354720108308754361750383079701345225130461743071738716695085603994849362372761995341700678666090085339160622218852314697895484240550249851988347340743956951710723755778934782102893613303732727155104650554024190836124710855983325513102342105122420688920843770754330984726835478343584190293399561063733594503384748007915045169469662902517503038695,0:253335693145004371085998157724295013736803226089133146013653069437238193419509273459779403711406850358066292708780472372050188423874307347651895528500216962371982396422934959068043812993009038692082261350039401080180787591002936366025244983148527355507821283701702311889981200421759443149269052772760725830152111378862954743089834695494403188114558334265549504123837469827077262270538489854604785327922061030621183402214484415690857738350025352970942934533393496603951002070462637494350228085512876724690690890942722601532400060424173556404120165810901841752486990608121930466396676265628346485060897009518468531265799871230621160395516067576221650573504538067976257799230419848908016567804148388611439500311464658337552996757965934153741552080792445353504989954075943990595936911119280416908371787412332425367634319522356845011176878693544666598383026599999479813584271614209457387626767831640085187895959319714743056839799582428448580074841861821908998733213267975613197012426380770700082128038810099552763967525006909256510175781033326202570463682456549055099371131277281907524710989931659247760646437745931240286578331423208559250105951663012047222187052306637696962252881548610963679931762139140774272564836827706597378042059354mul:5808324187702080655474460793682039951322360995931125673869791371944228644211378816153373947301972618673468024419809216698234959175295640166063762988660558965367914554186920892629719688885314609703455963977845612750271884481278417471936841270780965441117412446282412169100969024758168373693942106624503929819630667668476732052476696223555182229399707506392013582768244824407047675765649910095793401597173883674841030712174173054018546762918277235618291532242003800812379951389007164665130775067356573065178773886633889021628231165391459939591112464657659598153999220909590051109791624395690563647765208381376662473375,918729402656599354295427509394488660812811650986545042142269515180033877242550175086096078333116750486296504860969753318764397360672070743283292590583724934273152632680100030114145522324231651230586226973102509131367913652288365962855153489305948459500758622220373494821215068462533405866936756424017653969429333910353069394383604797810245598567635036667927595346004843560767022814009296322200770357321286444971587792559784113298566437496673370692769029520191499051311630305921790132367949451008467412252240244679740653218546677567374795191493091691181895973054804640859501444377706515253377176192389740639658485554,0:53362782114034102259435190426209656157856195553172822193460154909654024902689534913980032390661782938581891784024017571111789855948551652077769851747799117918237687490968125984552714475382653826328792475181555957497506028192680503541395379573579186372136945119200073268452970895133560973330140417099721487317140144844459159888447760550703538055737535875988036582099102198370612618236707689749290778101298978592798772211440409995220025049936172424446344410057117098241555548717376713276468220532640605657351072286836199494294705820565046368322399478394783351678624250872058114763965613306615285128698081467642714051159462165979329212955794058224410847399259166950697231381862324135778010410595122704795513784201955410147944766999588658072867462228588402841099517684259287400872384830280347220021744738411504456798864582452124468687695232393313301748146152215605209861895511032337948293427549629158572632153859541515420073274352811092914191921568625176575372311890384319990199865736472463189021978448378961167010722827563118749368534424575505896838703643314490059303612107221515216728140741711074887352220462424746399600363139889796838874541049157550996219371431963244475936236210662033334514825276764109487141229967478580763471247505mul:4289351015617211853860547293440287163118502026849525600172204430479364457520139869848831815115110666309028281362257922027167887676604882712946357785774765671053291569361256480674248716110951095880149104811531028000846825692159030869973707804728263847551536308296065212083263317121194233870838444421131817712327319493025493358961844276996294363551631856740972199816713986701316425469067461982409331003038962007405485449957519072614334803913032240759760944833349605582847295426216585712797815837902507714668306750095431507743637803032894122691956397938532173109072764661515711293817060848120252743975673113125247753747,1129243400327281633151431371474891473455867467281646580615131416918186134500058210362967474476291935913056166817170589720180888384893984130837655605609160519483475686999411456978438146043336536562159220682249690564087391733538120293725815373571240283145745271266418667658265953408844001550460545760069911655331444115026283289502832470850559638590225665815329814544221402813003890575490644213046498706732967784948480361985741430703857522843819419578526133778265155095749489410876608829677795172822626775506026922427707604322446404480105940239935673644113523059324254840712255877427181434254002649024354681415060823887,0:48437213260728592179247394569758778717305928471010851815277906476633731075939019472964420093640963446347032743135937861013048508762477632561610982981122793116401242030852323760405703187890333578754456376606576257298012002842174079571880467039593980518574088302603189119211207013337220076531772818210555442880364829736445062867206676606691238272817084569905625890377438322160481938764083095233022576903968433165732707982230022065430821637544352301203283494623728511862743160822363061993559829640832105515644855174222209568180771828458930009280693549006974672441005177112176475121067403607461881980701675372302568961865617697207246664965355330884170702445764700003509115516449702070928204797168479185473279332580808417785986946037337943285568315060277825995452719761256084214611506378066579725138101161618003050562106658180162857065446982276855360767221286573111142228697232834599466298144692519764358535841130742147286003669600171029447811969499056745727815842514545186221416864658714119478387332014761733966010059473227530831221683997230899701219127701428863316469640055003899589941137594020377592994551837759186630075870291953589020626411225465674774016255325417585694708002118053868750503583172010266953561106342257982259113545896mul:2922598094751746153870691566295068444832682377449634443644452036808313025110180304221606287367480270511738542685007831198718549192848393891804644713550364054117828837916381145944541939810080376799967571912016414096689178814643326642017130538718508791191026602318951021214103395742936719511134851054150494365154144550755804519428501885962875546302716557826154750576355553275917160667544245815793363700075966760245307752621192750454214313695198971665682789483848832034351563529541544408090967307450920552147497375102711833800774226189505763460050841396334194550570633737523051548126923180438589141499584449356454157781,301263854476835865302831775981280157037775814731880717517906672139362327909576030289130356551031249856290116188787587208441664042085339381130045070287550419156538713298378724228993892995370333046698005135756870427773491796745257234813488146992861769360888649780752254778964967516001628591841720032608844779416229017746534677888032360001957340989928039014267141513178879025837777147645983010327629059951078283105727024828148762758710195230027569199491918547602586967248624457368763471524299806755969674122616318652168130325681600833992180785147209796398791957157839966041221298841443636110696808763448994316318819400,0:8804731671115678109881179679618801215489765988704901033599074044517942886343140887547039828826828331773839155932199299167600627263361372171955651288362288311159453177043930559743173683906567972369363127605876342870990011309937332439454196479058393675321068711366289595058561242062167658690303909301169227790230159522157537807757108385920945986407779701915078747500412264568883320702069361111528871417194254175318814419702110718935997492772228812992547523489294772470663949239357902036571322501809041881919137170593632954479718529303535046736140605612620456950291164004601092714286278388499527385308315388812674248649687806056255905341560596600494174193194541002042933095557607309126551659399151727113846236548622262885041964396433949770247486469676784839438356651209656560122800875765166161289519890195376229318434879282036950958250881133818546027679428310653345787827466521331529578497813526661711171411706148128176587574806814864531336273519174465630659140347363416238211652232002444450575363692183345648617849403947048509074515623007214959430249729670629496409362646822634173596547289281722403084590324559140594834109804658236227733535488987971787942579222432190312642848319024602185788467685519007220358240543912735072437514007mul:5926829196540658675475456498963270367274167353270350161220559308972890667000611959077400634022036756298496888045889139127967069561321992685909920175362591913993270611799645183177425442645246583405296832015660977965704980797187259222752640840230405885131399744453603991696537021254629232292058451234918953535616811141856188592686058223965739982132693674564657697584188823828175787137971950097846827086108380914550087286625763777114003492300442812034505494306586173660076762683909293356952194336742697639190379957186138293602890079658463645699601808928093978909018729566309848085271814423786075811123687515222571521141,9951748549035347469939830875084342841213955171500540569908439680913759851880792256750294922770245208009299837781200411491572872855217655269162163547244594548791001649285963901760838066367556260426444830819384430864282488995682230931798936940632516431790824149442647895647799515499501451313199296478183164266650410143061944307590041145587301786773822623122005086984557462948454440882483631228680923933447857195870319437437969503685592935555841532972330863543676262890554252868386868097538156042902583850929860163229668324731088466679335541839144081462858536522998396202372335534127835253275227166439208550011362833647,0:589823138570538342100303690087015354705478463788834715748509065196615909206232395571551338167188723894615935236386644058533339868487054906189525944528328279028378730647396190279516529727912499575554914483265958774480033856319093552045802490787536879384466627705017814431417025742123266462953448748299100242903269104305020352291448415093144637257289350721092805681760442936678241356833561819983278109322146802779188786458756098937878167914895401982005262060525932795790853107845075168158594244258089969660495883690548063355262626611901885889911289210113593200860228012222536588947147723514239224624883763817539601221476563879495955234151758582441281470467216357795845197767165279225631793995693233975268789137842775308611451397967812530145318535942239562663678850675112251565732816306850015173297428117802335401732210502249036219194424168535541927688136444019158414929668281447404726477771173858894677346274218271003980196444213350328374862425115712280067827348085775329058123458738296905139702219188564375311838659394875783488020159968674222782411092876217142755991919919409198358455370110967147116010475297377128023402477040826741182928330543478396780937168835439511111770625770746083220615629898062396841348543178159242849266312278mul:4777034176054735892839001319154604024448982911062996662961434499047973311450046365095175854088514975567276445923641765710483565552588310101703859907398033663982963466700114736836981086820103724619793226902430054022230749484829232751622018429096822596030038641334221042974404610831943227778280482931541043539126216389807230921518942393713547539642721143788088068568685638257090375125430847183020265156489658843788411995875911054271475454361570597270062164847413843213234002767652983163982217031030775985346429845722052312845786262475405890214193945400669516695016006129145191835497619324112510419184839333823563038032,9827138548939292009245650065800975788958754975503505329013026058397999436949984425213239460163893334243646132127297454621612856901543246299673374601632283715496329281241648395821925002725694160249373602782352654357507333003611095526709537503510444389839900076419267762739355812530600135102575311854184301816642079363387499882043347624028484658998836131051290010878235398822043835106058212641700259728565297115088713153106682478432953135863939627050490807699853245333608896404452729513744632901892423136011428170599697693508420836045009263224191727733246096441225270861482533930349836055052069956275296881553010823844,0:469445767011079436799389383517175702766430244263513833760121289903318368518003941699998259262877897899239778578422249520308370186417517241284167779423472878172430852059472791408888106875027126539047209402500760455120708070345950010669012143513950138535832537497751829436415081763426446163447049918260147721261939021515386952866204173318402802827296027138966694091046089633140219470995344541635467467863143766325560341518036628941045122577315573760239210314784853419179271315276418044566320897581649631791748290675028412428354721355122556632549334209360787443622066662402517980310873095053204148340367300912159577631774494534640189318168182794797655641543977254573279684289584523514033380690022589378755345836607483820697953718920667255352358290192949485509622616481374896518677671820000509868949675447022074047448053880599984802297575807197682987289346444094031728972642797299882892808048680976254270405240021288030082536396018150399264255666656833220308270224193200496801019811767557904191614727866156664248894998020137779465323657724753763461295297898994675567775425399031848533067247575175914110080181924584528710555854021259714677178602802655560309394778064085110066761553145291199431226179347550617390581816387083935438244350089mul:4718526549709911993506825300392344853225467500177328568314994788126810717786579407393677363360732454086076553654622431077040278132967064493298016988387203796834942642515095105038480589941892582203464757978762451494680419073901829593050682173084623555079499639864808992561773015425098686639107710126506218374693057900167675112099207386871851914556838486427512658440072954892382195328941863291925131611709258615015617716874132201457077873908213746723440854928237000349411712082236090494727142820721728009499408048129273013743078395120046662079326001366135078211783789585155007423087104738440174209004586903786989164923,6864909625695099184857987413146793144809795231762816099678934112289429933759119594825554881121839952705699464175423549805747165577308703501708566885788095967212817910018877393281757866693495857986692383902136266802917073126657350936148259550527207353925931727830829709553153285795187708071469565512676957784213778578364574484904487858142015156737351049851111701482889769961092136069932966937675469744753107902213424358119650624652509775218017409565394932197216635621683624922457211807452760603826715508259815323885112220648677904268244358078258267292267766114067884100779411269652418038495358844980710175781452273298,0:3239225833020145976056207415950540266682702233213374382438372237377158672427993683489320947533579236074020728871275328896601927268877218972735983043011238537796321152586665461465273444134301570288060033710675704795201612892502212180110971756952241432173629703996451889743578314819538483521589678107244052396849698181893675199871179251335359272275360664658630014059611268234651893434298992244049442554385107941745166896145533722163411552232408975917063043771198721514930015559849870925814499408940177631814422149365476982113076590609009496511287375027519873139644410984476157067149193692573128693188967326599805251787834052069751264413389859371377459864397895898674981316534498064409221954415183091022226963817180155563052521591863813018102180697285843051141144574153892197755240485703673521413796103374056169159228096149447363984403442565166040842268910001700596379287227745124055091694085563756025238445902495269357363390857484641508239767270537890952820013332257241846701095366304274896581011865064495794251866799404555127183959307757123223329005257147014609276505640044625685104889607059882931300651344353306941833628437959040509730771484290161596446721062277104974402325829956788068988001726107646421235334048107960897299112605410mul:9351359077717175899950414794158087603156751215661949004587120106073267545901109456791730860642333677736460489711278989024326442512123908471776539363116436679164824939981569343722408520504708037728468632659374071452933990971885163627008124264246742383054580586823189866118106292666120868893909093218961607925558747851310421259521224120112349616696032997520626166708182604366198593113508419711212092952552738381785471705126020208187067765049493707603435017168771840449365758256918178174456397001413868398658687746818925263901770782577181315131090723377262366519979729982933337084774328653741904208050516673656644156545,1216016766515133990299168668478735765845001733139931228142324729567294927452246949091528311290839436344864081129175577116760112996696086551953114162706042576570065867528105907714734959487715485323991160014202401109849117829323361272785163230303985302397208164280805555950490245017175800587222856847357832531423637659868015190810500399483016069191576487343684935319583093232012062136782881389216056886912824752493825582458023165949476390088955696767644291944525456085901327930362230500131946293930906615027984889540977885375442171280684232489081312736136944281636434187988121106769493755643246344604960317372762640669,0:1137140942820758581693564551497115739947745650812242264505732332190876752326945658381654135283488134104476802323057813541064698630790222948048696952175693204179207018340487149974375363919522117239095026939625973891757297008698553700346380179778061181202394766896273570191440016007658446366888389706104660969815007923086967121972304765941338009839868116854118931803958084609722293056227463256152235805658557863056454389757468069950119108854555804286948763721395403347054522140744733912602454562516969576182829238715304113010387433509848053735765408316245270623875245526685996609938508278494900760360508057522655963343658707662917051589696935144758854170906280914808140872538023017305090492926460037698165195319313362752088023767454604128660347956307244721175700656316331712155528626872829486379565563898784984902966600161784864678997288474273007516258028922325776549907379570414098471705018728290792238408891641139571474378322441937706779785730200478566590790468043207109638763672727324194164536161433373936848885207783554757051759905227337616934399674262184761151823788345187681188034451555581372525193956795962299297021806716939545010793188310056214249531761478969064168045083596860022411792567582096399768340172560877558241952860511