Quelle  p3-dim2-deg3-no9.g   Sprache: unbekannt

FW_QUOT_LIB[3][2][3][9] :=
rec( prime := 3, degree := 3, unramified := 1, ramified := 3, polynomial := [ -12, 0, 3 ], dim := 2, size := 127173474825648610542883299603, code := 1167556248246967052746515214570158079938124913535461337999759088747323779038397842545197\
371164630797818301621946369948967135542185701216185587644174158618557100757246599448399248103415948125237331419065801600966423621877876662641478562390862416301841544537178981950839455133703465548346489195601842869096004995636860222995843\
820371425532995845640816120262477347592958785003047660329536984446781616956990322820422152771943064402617180974945954040861532386534444296927438296568572884543722445825112215922441572463591795489802723457523413025025371702820496542531585\
147311785450158205047653317091820106528599060656879973140283391900397355887816013284536641628461801291667525647639278470359734710430258985817994804765969930957385003655346955823035152304971482901941197619818890468675125837804063615154586\
013573369428950955924826058568051173517460725624353762841770619350820397882971076081622228635514674731267009081432143392201784956456383140224058032101134375549132702917875061876609579458780837558704124746975486870485890773578816290146589\
036631392592018720233806577241431683089344933112821255468642031634338902248818974077395525704245884815528455471653695642191418527601118898494797582405837281637106968176806175307915565181921635728136840163502235710171905998637007334782953\
318708804909100265774866363614886625279076955750516255075797667985179530532531024464260329576313118089644182548634580410876718010322524442253510557184385853947838962933049056151848932267600820359529695410730504238689299420073714827972429\
941044517818603135128792956336903791165077629887691474174795112163440756092981409817113163902926727554064767136740234106868304279656836803144220369101202159641918648611309927021657362508729704085050173830868816445475662210274510306729996\
136297366665874590594988579708505327398372784411144579698817748283541185331000576410431849335634386195291734394009816170830897112297907970656713848910827838877204823146515968404782084186178958472919900324555895000821548306251606314290107\
893891223989957062160590021091172311661601175520920566345746181399390192808367635334047484711091821570230374471173405468727999639368090504079199563040351158635686568161484752154774549433569412239676886942405661477390623245149579220069078\
574052796903068308971304532635931188008116902825267361612392219881846273699113685289475887098104611541275554722285164926451410029738690204404493670561776033900259479610997021223359216915076995468344198886020288388587344719150804178899190\
824494097007544707490326883919396030689778609319687331558922717465146195475675449103402928706416309148101734369314979605766477611197221092237481116158817325187164213028173355529318767349435875555624387456293927750380949529387104897340703\
743669176451877637940987360859477627098898148425081964218810328119082600244873531823813388589805990750216116294013277410628748332453430443458570961853220327759957174664853181786388584930312188936888441482135138648416587321467558415824617\
268123931727896889056369929352848198404614691276967031063249025583967592792074865227422957837681266407566789593201571461255820396795233678367530748363498248888094931648780795615666959943007464223418804970075224362416949849019977091973353\
167298874671230601166985069842730546213629720626479365754906505900406578973099024990097358927228420331875202972200133147531555045195606082790162427340742344480735983392128841013727468126100852159595500347514372858152405560028817750080195\
066088287864699418087933432731131988480443115271175646121913804171195158404461421440632613424442780737049978143366671862235845767760915457758276240920683320940919203077823213531271566183486140199311981797652576578349708711821005066029244\
705494526467246591770590855871492571141799667499801844738792030785420043513398582298582137698090893605099990826008524848646593735027000305066699042261800636843512055981688129375855333262256646335546695828492199875516395818149636882997775\
917018385368375540832703645020267679408796047367162396375094538360002797664911778217874570661010196282516884893003528203836908296348708570722465348196420649788042769233229073530158688771386464207910889181847768318765493297041689207923223\
742377979778134431740361569317049553482835800317358795141663488681503207695491707142473901122579810037675053208000272224237746805908769402185849654796297086575994497728271404878799273969693759361771494709706367940064699962065102195473082\
562883459419930541446442380575863601528578844036793534934268390029481118582584714210214801965516548172531456887640260552784257759675416662945218870405592307476096987666566200823107260610745512550468569041934185364173321084513130587817441\
980221454761120774340064835083806566833179071659508740051249420937383140479674247315841806494251453645267029193992308900855904946594145686506911341243441308787726650765947139417396679405367671636738595413764644219971847325962427770688162\
308879482244872636573568867515189925150686841536429007772306539557377330768204244880087396071169403811903673231023826508803507518196303084103981813401852349506377759985834101937501048376623743341265955154164570706279090744863302993042207\
925309430488960461715607629963567325302804943115157822523920666671224590764358819299420457453314853423544753803008535080873933170605943216654548951990322571538972360001422819206477895773876083381079885100522591252672214374889630843182539\
808972002857526207729370682162991595742445029031719205673526526988001097272559203006959439072152318389046167811955461642901808666489602022979048668704049464833017892141525133792084714122407526304398927002602870626236450749754425107999068\
620109331822465424466659944526520919977389165331760303203588444376361077803992831229177917778312140750502737072384973890397437616308013659551692338571837344981951995576821716975356711187476296489430433338758402578169238778918554963873319\
202986821048956934969737014854571645681681528340684465316388091077109842551691058578310905818398613780098962863144372060830978833623652805759145746978588235896234468542455476734961976878977465383547706633223191473059083802192455605351312\
146172128560133074495480887747337682414840566620394526870953918403217468228268850352989959978257603479349577536814431354588050923914381967571878108805295269981512715078738754126088104161362054945427949951995382066344549869688598449884111\
626809352428868162947151094697300665122990785334650709894817032067835691763506271006892190297230657716391891957652392157830669769112181889094943860793002921644463308001145824456194235757854959696464307929244903807148911921967504195687855\
283823247062502751016053223020881442165304383915917075663463547119171735576585738723535321575992582611738721861032734971492369290824417379294321284680795416889195452208473251220537715790461400744330487206419195127969704016824455721281879\
638389753961399681300022125527327571937536172649483285433541615425367398647260239327016360137868757431818630422226066121081719385395801500094467278167290909105547813393541218833085008255882780095859245467028104621015517285637567102871319\
756031152910488769963203253321178776563180396367059060808185966239884553862676562265883872831119534440576600773534128546401374866651724456242862995198706677406975382086423491584018361736736195389508834280659101361631509387161792801244445\
363720638600151815687729386091305378795322733038635550511854888942186449639736500127151405578643027403463541003054380426841559743792717324842927557934651164600979806699626356998084070240462025991190208490449826714839382574714330348966456\
504167510625144809173525609841458120027355317655163004921578252777011646625395385236777602415869719984260443174136031094110609211516893163316215709768144438122740746635130652445630422604630627036568652719214485274280991107880207831239910\
033318289760906228193552580059882284949471477176386222427490616688488013907409866994450887666932504787541936063371194008326918619293349322901941244654474397816911059590037019575079087610772496932046016551895804528144285324371595549536851\
123613731987313941846298385668927474138287236966490287353070345822926218409540889984920322388469516646502720484299279969794969779166076291955169193096474938053478535613116242912877028601658133448851766982602906442808390809640020566845486\
029665719957277078709858692039015775733612550636937913425957763886798140176625292413086850022901468621467250731961515593399291043574475584959186191346682803463808432979189604230802230324006090208375556181139597851176189146510311543119774\
590939238148694173294394848860573244651529168815660196341143052781832941184903052655843487254152522821788749771529385342771185561175802534329718156767838286288671295604383471664294420014383286780925165989642990053003996679447000827296555\
329199302739392805802617224724951073212018193281721075690080540654185116671213064192678027718160127357094180498898794407232921548981144100720351707405589581268728867519594976712214094956122766895972037393290391397703384556964373875583896\
520492796577120374521254989972831065744249383047215203598228381022369590038995620169891546517431828666117064353187077380596093107245141034649847680714093603087966585799793759662173039073205972252504280221279569150303378532261415699898456\
530045307620889578191901098688468635709090505380787036273569789075704023182119274748058501208580784432948166535722927945140333490429472522113331899856298997646283946984504830199344302773788678891657593299543957088827177746412945693483286\
151270942592000700863918797237550285128513577662283230141525636998837524469232178625359540644190701983017000893305974361053625474567427589675411781359914828018833783179874512273424729242518277575467821278351860431562057914704079271561772\
109525655296419822711716365010629310984220320699580639248012766327102540880105373659814158959889673678748491950964008163791285192405161339921054509831102195140651131271794143390010705234226199174843260271084386148844554086586751391448127\
088901887168508837046449415815414655943178704334802257471299041352220674463075045855551744065926665110262039770994646159915746343577829725743422358269977505027538568438063762439852538943856530676262320502729720550041380198359417642265246\
922446560014666295552351364434164483917870692344156981806122302004940864251507051410583497258353234318472663651826122850049170744329269708174747583141999007041888955048670312513394930048973869894459285071407081473821637211053177107489742\
700266614763225877705884046136695825744557760990120396635715704786780374905301420479421598233477777755526248824096758855851156082697978873520420852840662281250602514699592917074480866101457170729249517963069710848114016648895006141135897\
919342565696167795114467392405966664888793591930031306176856121660354779897506378814725745646414225518601195805373621979369487110645888968236140858273461026703028553087915237719946062259721402400818194330853785548227642472775062783071940\
299298592536020000673312152994787566808092209110319485592427381732125149464555901632325530780988574109228224346599506237159469579347866819464129015039032875027397019827104345779971116516017089563638182526894428224478646684230316299528261\
922016446348959375584971929427305224708435685325205169853063354080935317518475090749050147960239050801051064816343782361679654434042144064484738869077264427002509402436449991649201528368470975927477528179819567269773650200127559988287765\
254064017561480083961125303829134689634321737904121096080540928573571507095745206915748676955529284909736083700740923819959500153691059318927486060462042218855303695128440800497657457972550808423832379848784482411690049050371310303861855\
759467827022092903669877453305826933363354489633549663756976162627795769601902943675104645840183439827176360097632898772089674465527360594089540954234408594618652339942664996450058540254293640276219939861818140377929521713279440251124959\
856206077023567777659944893577571337684053082877595816538073532433355396610554557356719345456772592420748719910331435324445478067377587477402262808764575088579189274488903348092495687287066497045683953362437820689513826546321978096036089\
099528706824403467578055377366488569306490667759058240192807119454823509237139447625883096543443448876397069713377755115727891858549561330338951185449086314339476890751498793133384734035297570509153081459963528992674685223302578431721413\
845032662430420306404277343556121099912244988212578817096059663185909117796532247779659290635262255580187829459921644222061313197877679861343640555508934529486994918243546197204758591204753480948355370910068842294828947111706879148222836\
896590055117486559459850944513634823373469827212562856046115301860104864347327407659109704300057993375919408927332289506404474389761997453421021485878636806977762021261840192994842700768401384640928682180695050608658371158567296886947996\
273761283693372733450133274576720256927972883287928006884697240666019048287498208129827350090576127174684981013678593049404630149627207012986903872748696356799909266930180925577657034336716044221925979421912904029312987772436381300225536\
842302079725579717147880552360988604665076347991916654296984883511591335596578364011662364016673189810433319348732887068344554822134789895212304458515176612029182305362805660580490779918489647055677621890564577620060793945845374696925130\
777397401553283024026063807834586673632550721805863707869254941648622405711489951927674530717225638298914615593176790639965553831142365411794309653470616869478024862620963011421938129765106628528410418813158448832808848186729090408282184\
135749912725237242958187398948929410674847806176017627058107125193777610373938966488203390557910401825127516455436058981916802048335547516046966904017964793905752952825067545642983895535229924794962343384266848081893065706099283829735714\
444305998125030130226721105078854654249709686268961525549103147554428116720531430333917392513391876613350227748042461638156584091974665179730447027501847042954437520016902383358842995786720577175085261265189972596813304376108019835354572\
704658406492184781782866182607748720491544502800876100075476935534032578417446139819332160639783847510842434869740914661238138033111496466619162050122948734144841533375979377028298532102952678473199534869358140937304592282803798745747295\
921303403674337566531856125527386229130652453064405380189286131968327267128326536800751221560763003787017682603410798019117840890682788491762570199591463174957390082435418570528646628117708664554290193315839290639724959855312971069491036\
063869102332946489897768738128270335376347521317932442600958977601555931935630410095717042178600113688921636818488118730864108363558267927995088486413746319279058041474586064241468583043743192018987657657783001112771028008967819182229870\
859600596772983236667737135570292163189702528113603521960407015915055999209323120308942769175422359554327537932132897616696279357229174644240742116935672314262704326384182707419713204582922701072725916895919121857595056624752815331270754\
606844843569894290524530185217728564326914672143456184196588900105444929684280679723935054888315486478657844839647860419585961294377508555090398270271822935369225835771246463617607593211952806570923875075706524782931437514027130835780466\
615075148714040400048492740769011505343422610555993358700946962598461027085677235750726158433485001396695193188076513455383452533514917087707587389388709463550902802692409927317076815456686734230312156609230900693228538459977466869436947\
280169397983877593428811530924145479017812805852452078593803105035262160653222675157837402268817008593719612141454145326496535585679876119367897746313199408851944138681397646997021224129005328746132293063262838105005598742355978793761530\
927681566338820007013970377961322352955337042746741526710064163491981434541444198942943751095271512893821309007115295940386723717688024077167607293640636491396482958619767554873482616674490955444985372907815089001167813337012783999430368\
470035662122452916103454128298923749385538165694217725208868877929685721998779976627242644244368380908533521402957266541649982482007981509074875325888261960370871176282120148544831425876201029893411580703671104415887315702696507299995517\
385733690220609061641253974026625906935630798455552530962732847672508123148967273164712866333311622560422915739559931831501144080786106008611637749167029888455956473364928314565954153073519647793587025103133262621866799741126823753587481\
945531843307900868228821527869604318899646779694688637446896678718435216331732267480419192480127170734467659013437803593348738905289416824095349445052753253341016355199621618852696884605904460483991175460682811565394840824514862888921825\
255198026844026962523772667154169342926003812264585453175539132100708911515140303325745195054677229560579749216062288225654067459451423985401547771137113060291669031650290556026211973066194983232992138736230625226135326923658772619255545\
522332330721947651029604057874167147515760243389457617392695404130051749154021774029177106321540893526592954511689938213040601756973640132135179440896695857945571302305853085171649269490074590802342960023784611736179237507850889287305920\
016193826518640270331655466561640830432047505370184703849413804821064683940396455467648536781694761914648008166134589815138117353884706873817624847145392694724148966966278990074936728019073212469586436700798726397619696477939383092619390\
751040209493702554756953685241449384430077488441047853124765502221434090557161662478125024041901557984585995412177970167298553775937327851068194742294537720697783115566260473305590150964790038618678226797914000473266154020178036409465170\
649277524432753322657467906016697944788780259991194368331145460720522755115249096154288738866330479073632705598313072442396302644246039632456516814651541379076585426924550657723544041035658436376178574429220027771912662288451322736725017\
267182861264154779189037492988082961082781308298012537849156483448025985678329476795134971208913116823141272189543614102796406699774715031996691245975769513663873068782224150660476999252160351823933616570762489124113583256703716290843286\
343024565191142010251990275840293714776283091878176372908165638807928956959179971455183843854777717744645750054816436975111236486487543274057840165107456603803710875312353644735170508127144455750750859904520808667278852074101634569283558\
451977528112822321942973493115612855499328041576269143717043875606921738534656051605705831198185926702450993225929215375266190428823651762600842938609709775144113951398223954632957416562600621184928700814255764874561845089113588175643815\
137240651557794463746145540383073542136774715143239704939201262246124824762980797881649217050356369419720932520818777782368036835916345791916525274008107280363416977147557290002788260216322345190561351913725722365637113038066305614241314\
722728556153716121913946631070890435424538990655489209489675585292066300621359539807710587962157604761520458342946645058405627495392628442265190847355702765654240306935090139872467231695941944297154442575554532871761860332216633332613237\
558126008962296846759479028557579178085759477067311723408215413081512806635187732147978675200291961007671377057605172840336571439717366840070752089329350138677047819969527070618645925328156296291780690867272616559269459573604718830295344\
834066320191114336079272423598155819273255169807366726929324840272069950241185875040783481420768187053730313481538539138803304388927623245639942004251250543333092547065589774415665811181392456998433913026346142820736237507531197828463057\
246551576488360507214005094634109000287739861032840129134272121809885421379621919652280200635516818233212438053607525828896013117205751179471400097737692434573670390588474228350483800681839947526359110971689015815580620628472906891814221\
733526843626061037846955219360092126096916378408778304191544423911401644965395093540345366274194797806989668537086420078392951134557391369512945066219299118761070020281130401814908698121820933292589720619483605758903311960566088108536744\
579502166089851444699253612581120175211990928789282015689137609008509048407779487012795613042210113417869706737549681106265357684650643377511532722140213595755967345179738117795221445322798196184869678807488719702941707482498031188648418\
909689960558406688504474436336999464432012944223614154948108932411113168212330423029838955662729010976330397264075356597845930844805171502364530211532397717865782303790814292304240510915737403813078920420232805963840850001492835738758185\
398497443476571382057808163721537299470351155072425241960650237253113318653650366836394820499392017550928749647197658306215607050148071422834220451704617802093017343088062760089450294491687664957477724613713181988180405004863460692945826\
714504928245791565209896961572533417034175237912097869749665660881784457817476155423156759467697980461059974891310978794339460420875751587669213450027817689840918662595102235517998069550431892641699157190322574800824368512424484005811003\
800411860646410757226149357391864273157857033420284893300281924484588997416180904038583191401667899144255660082224520295247112667560135605643254161555500558864943578478511597854836158852845907014294657811368292252991818494774427717953991\
972698223314482959626692218175015660012740533056191263536559651504106671711300439954679588319023636921694741332798530920198047751208623088800528425154329926152767025618173946108380583061042722496724752318918164545535682676426121577732969\
983745605625470639487270154771572135001106885697728944855695631984219231445244948246390958023617827127824772177145289828629524913106157272703572909104463347519891647094721440335762944646988952451523664283905483621458283085827974771119712\
359532102213366560652812619999116869133652594502414090875508172368247449729461951934290893035761588643842491404834143783781493134351562603216539557637977880405611061537810670309018999561996973381771426031738647005422326695748940094945340\
766319562327216905557099417118148603376085479191581588663237868191935167000297609491626842803634939047504521399590717434460609627268131342727422736326681427472388260004671182291290306791663596416746502617662293123233954031835919111733435\
559135533303617811349997739632684023420363611283309998086684982903375379673739602132123488581951662159346911826365256631193112232739184687336307323961036517031910741004487005094141464447134286456343011852833789243844383970481402537820477\
757817325313871573923211154527299802556305654238446498891956888706798339283565556570784284358186495085301322933100103077951432871553888520463868591184715288506056034136910625903826920149091146969200969120517275974793707144773004102702184\
872150344293472381137349707619471034624818055372348319323895513504653500695014577317894745327150253347947872220970976693512831537364884036741597495735724183160314675300168268088774562854865446431401505611934401689024961674063052623778254\
660733945079963716486223755673778136222014690761957497402324750865153727217038048493481685708606830871267638366624190579458776072262850226930966784750164523230257668946317537770548981074716173030902450111849095393554811918484232395974479\
130952397420922140477326238568427089971313662417231912128872139056569370928773197388648228411964758467299770416782368885496931402150510887773179805832008631575959436280013216813627575453146517967259091313721495803089431110377969314036553\
952067629066985128848665442240117692205942448970108473077226471366226415038003365123468294774742677773325908790310394787514820141985461257937647617016699860089914789675121970127101103008732873507473486065291582351470158922086720783244083\
227838510848838410842266362861351498303396211880828301316377224285324448276244234585814018245051199474014484208908746398900703679266102558162999867696914702302382179736091809201744155541070507397959662985110621651092812925955838237878376\
446698256525457725844195800414431292932652721541160373873748924291285354786476601198849178747745918761591775337853637348507027734842906110399593746451509052359363436979187099599061866732587805353062874425880868253418854476362112406438420\
446058746526192165899781049775570412008887018357151964469916873908252101795047480237271051647634551338306558955159129436690079463570588190057470853381883050133232979911909279820287437479420488465149322153830853235251077306394549403536444\
086385751066143351205073684008669711099434162822572785498601858752595038060197498329112499955297187410987561974909336469415980658545651786758168488417085797772237186241965019679251098416311817984619031341101945256417283375120867577702076\
871838669117504549104238283356396287263347618615061960163015589066736364847121080199604968983020308388793156747735939753401076243073988422430410207111085146139171795209488968871049348408606175483646795788875472290330056642387036345573292\
092922127888989199578206927553659009564239331320487879781870516530385745733685357471518502854069551883010520971021780580606774114209120134869770477037975835814758408058741862460631968655475194399829299563939052865994105397152916292940165\
057846833626551656137291024282915742031488616501020751936705782790384359818070923576174552573612146872223301782871050201290437272557670223831303933566083769174159799765537957801412739054840350656463700204432933008758238228308431028663566\
990566027830971324436070948127439144278190259061453900691978375200663389345683920070942555155720311939243772532040200411862728959770853422703483027840183752193824585442994000232790209026357436302829328745015020104293748138801211530523241\
225128842968281573177475869436197969565617810417005561256219506753207643510241763633528005843232992431869749539682800214993907196800439267751541319209157347080909562113271713248714014116005695201571733678363893726953496394081873112080867\
637517497737677232199963638969691531715349181155968050895764249516309912851996111880175534315180661927849410026558971989003838179990544332500981408356981411482497266994969506303176951352718833033170708753940155675805735981813696775238460\
086959184340581295181214564249823479473417907745506181212203309863394573843923999020616150377182820904637530056209031364536259680517773273598468351275101660988289332327319611875948520210420476676695645997802162216362079229300134820960370\
839840657802507484383645197745107285529392476828058476374522983089989004544402477451718750370221613482924934394900158736365439215828317753875760772387121383921752684881470180590198534503383480342267315024799492597716308468235581845246823\
269022145395630511416435153791538455921143282958886863665215547030472544503031404991538452107633420157152779833195087808861275622359498519580997899576003284264127543352404147123741828113365141166776284012758334652029157090351010500460000\
510998793632095567097191923168548909399852951712930799513529019314652013103412314086986369467143404209824513655552682478650823879882504210898429704700129913239301226791610475258012036755740512663041792576264091049181115590727478510380888\
366390411202189196478382880543369514572847484733933776660649936748747297616675581886600510297276320334845418621431479910452372677220808411867166835305911296100071009047226098736125537778240475643055878362804072009798382750896969565889527\
983347343964320110442166384684462260190565598790553117677555752846902456849956627606611165563213927428465738216236662088674814164046667333248579831254115639222399574842110977753060958485479195033032432310240202403897012537885367657581807\
449144522859465862402322627442248356846084499929424944746941074104636912683717750850175672450904886844580988417273100728232745482458070425892663597810987968732637651238477791133167592112486827886259476395169369994903140563425878090677205\
162577849882309410115522046780982991760909276069816202136955509710461986472298642904107421919302119426352860253014764491022010920488929443044880014569558189153878983667977462412791460978454525377523464740340830942317603785080374086470980\
921628796226676410736135874342944227585551217657988943248788452384405355058189211037264775498491018960515131465635873431662990736022482285886923703621436154386847145195316199031321213959762838740738242904469415456713992412191328520802459\
272896046954133449605118 );