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

FW_QUOT_LIB[3][2][3][4] := 
rec( prime := 3, degree := 3, unramified := 1, ramified := 3, polynomial := [ 12, 0, 0 ], dim := 2, size := 42391158275216203514294433201, code := 355484834083486510229183981641699246954661445635068281055598609401296423302147728755869446\
952289036289945803957001100784372662433106987248229017598569530532814809594372231336911920187717416210123476451859862859889085137338692791327468142110136896384330397953666818292979052219405433846406159468180860618332828933884150972061574\
278978475459968274373926788632565643732328800793875815184679481624922337180214888519289152302308970110963434776500114798761318435629804249427789092809773844150448771997403551456486236170701359159071424922944307282361831755318057868590016\
045506114247413641886306577448851197094211047283736474688169700569284354328573116041991593016966696960456230507175359764357763371383517925258002880721669410125716289283314006871654622829384848800615010193478090636412780759471576633752818\
898138003724129676341855449952046186845845156784222185067303749852250932177938101623103826318462987477331292928765424758511886440600666485044804999342133803961764301005750699540028348750350129374960678569705164354507343472390595020762147\
628162063743079656819460221184761914431244088861000654053790514696116986623334013728429988534451109652573616985707856002712245548055695766330474210855343433094483794094044005550941117365859365843075096120106905584767864006778385279228093\
656087917066906150608833395210410362896873230192238054949751385437734044519996890677306380079185333877293841717930564167527527647544947006862303034618450750976908252711867251655304451334807568952223079449478563018992933772893794091948262\
927774543426914924261434331986882294111688659700344239590966856231604634881735030639619003364162651855825250698815449117120841648165194203107047431084504755697657024559913227709237277036097182225553587746576097287749590221927884678123885\
402214220482005872439574478979614479165132247809565121723098634496110206028441089375984455607044101862107894479926656741988423882049951376735317878089109609849419631798659980139268942974521422920318232632025143405030082492679005543055621\
097618427302496169827501818312457757800294586363647727373159554594725406452696444573369740953905223308438378159208714566136178664537562277192475669138769050756069067261436140384915598852872565254677961128362224650031411226337682673639323\
663104289096474077981140611457098247655206153632913884152583277950750798458995151870567911529361878286752928183724008246573858394141387999153635254704292217070942263248291186882211494874165268319896160755791145929896801117061669445819509\
228680884823524648476145377028400542551800388229131378730458504578522188855137175899818955672223274365519641391943579338894651708690985296467868801764971751870298269194834591809049896138511733900923567446011417785448045799671719578902756\
849330836730233133929949093741717784317004859089196039946976730736882685921340262666193178823927168834895372012287856951263614377671079347264569451215398100001966506765083180467739774350329527726113474096811291723455694083178946664242306\
036481950550812697107497340443185931659850440601325100805449986908891310920855421100599105758797260028655349196820598737465938871033046805910362943632832832450215358318603540857260813055827593229412221617890642260503769858512466126344870\
623385985457125808533018584326736489481024688097079542252221203539091503114639933142316271377083319488536032879677269226417697233109251354025047856490376750005279388987570861923300262636340418604322255343131115904966584933884494726683920\
569833403273335425188223715757799580269592136052914944861600489062824398224737686594080626624225043105134040188332059782729600329673450890180724107128955650720508473216381054708579247055312856247682827594439043131328815485950778631429844\
866756711280492062129163457461020034238141932187208389624468565158994982292076741680743379084434597923681206903890416877674750363352251500870705354591806323932680272103756920821859495873742071111158373650055192618987867169333743909543708\
453090964375295762272584703556617955372811818231880454779818302198333145912748062255358010242952791563860169403328329791245161305518782868141979035863739587820259969380114337081584883614332979937940737428794364668931577106692909007418037\
985881430882847323377295029969537591015569652324533374200421201417948871928028524124326809832557450721001101740868959205203201825212675903735760293047126553397538323883199171865679039765330749598293107470899995084210920560901054600048377\
306958067731297963104847587343818699400546248823773512526364850134972286268978461388376731938544568479685168213509168507043150580279527340835680754351969767726638463058938571299510560846061562963991158213545294542853748862573045661781084\
020437236813201083841898374179408568986540958897935083349474942219407459619630284978076386809865245105925436300904337372384710873083270276038217208850356967171352106191163247931288637649781785131729217580136295380532607206698809084615409\
313480285310896269951600228674905733665454801213940383497891564587034506993471019669894042866619625261801913220597063700412902802955133877035905133132591740032373419509440965169868994903624982723502440930463770960266268881890665791478832\
723401586786846035653586787773606940490697315155879227091506330764973119614303521507481576182305125606725309332265821453726577105382999640742621347049389793610317873772160217460245342522313933494257527079758939466229052122130068444532643\
705645525814978506687830644433408396076219640347000061563532115809771553962698667442190712236726958009433651455180555245827011696661558742061723095393180660058292761318871035154006105102258337880541458153344638402729682366580866998051395\
231501692648157228089803757423485162431701232874258959259845370526712485894865304751219025360693507493284414257254327758406507244872902956652793379701212414197959514452947180822347022228088138561091947573787323714321113863631227488931254\
352562651534194804439126356320104867575361534300453675348513261177181795353552191224470894151806454950738891262777961905724849178522392701349483254590461982484760397875282096894827994010824325977698665698641227173711548388682016356661193\
640317492561587236859145835179657904116233455615803678883283995051686767617948653730493519165230415211253345373198395537715102266611941009124488533427628770321195572588800384155711619230705274322486587029636027981959929480666380181756333\
430615155771019461400257097224414360726092717221017596446609593677484033374266256873483101123323494095495863985941765243998815313054991498397214084032056283901547040691304364035126268740352829928338041495984011506926612317282814092946777\
959512994793754097276093177451121692275329322805683221347623431849675432385039715094485791136153135832511929051684068175173233963861262614817377244657844377575764144849225854853887312225957919200642473870471034716179694142933298897465868\
905722139391167862755780187671929122870815833403708044602667693824258488543237215989387630852045755033663325821955856115069641467968989087873164272462705242351325503494430138711812917356428128464245710372847587781549128493765616871531635\
226310217254104528467891137714562838084785452992278585687373011994511035197080060248695465867638654401019555472397026908272388141556322028820194535145193444104478554773660981620541637492829160764651032054418594924908788316654862215470226\
217461900299406873986543947447166805880040805691584964531419572715261335322381470427776598976163117306707913644897204177097990360492301481165382793033328700087193684746425041979160622732480014275171355597103910745856047677083975983713261\
138822151320018409492152665182280501042230545116411417599903874399654320123707187480186935894317156980927866525324888557210699727691878789396757499876006749458975330939588256265224602848677589334684924582962034122336160662102778097472677\
745498046303950089403387306138242420921900646933980812152848291432804407787950110855831269103048598915400270089728463514300174263345634068111587130355838162329486198120291475586173438608767065815112426614300689776682817999379448899358755\
063785037941198448974415450413003692339312499529450369680589808475877580538790620869473876328117389870788629487065031702747430993472371491549446215546751761931438813073928008209220190267655098279837843088732241317845745954195386657560432\
435525624024152721542032840567233103185884313357614296005694701695783514028022689372781996148733262179557063461036163288080374617811728830876436806535872995086014390135542228314050985848013134872907521164404890253857510088787394952166198\
061104110078315839180866987695875445628356343195328059936551859922104138023074189034627747346212282486124757576032767497560584167307606404330387528494218396437046571747314735646749343874543194549228547052123528239978045813847720763191656\
296516814780142050767268437810228037284793858861725360114153133158289309644298994258284208081939029746977160216638496144903126527276754732038035749706078939153729497977364660545596243846891505522148661270920474480436015689061379046048993\
436925476241467763528698688415553930105808585268400841825307782855918049045820898395119295756546881469266921052486173670431427352907923613546194378339768560154221360838750431289064256059731305729961768550493713071069481455007619815155742\
296408026061238590435416116645351899360191094493095177196497985700271733295083055071962228101627091375640326634724513899258295637281188668244144267243999065338897754283227805480306266200530082623935322650172229749959342484218708766953282\
090085405413470873262719204036734349293994625770240390513734519663586102449849707855770456776361692194838074892228228318147013321095658849449802276135256482266054432632507429433418912027113899724716473617390245715129965059851954293805893\
476648216796297322067748356767995960791271242948161966172184795431232580287961361079546932068557709051111041728612445719126958374002782566005868489416798231833127582061710250284333825608241391657009390880614875003812860352800413715370833\
823499865375396634077034430857593999509065895323684152924855660782444991543446535604602404715789098121526864599604650626401484327263670185864977066351944168476982259770183121372616620685502288857202360008360825535470936948969730674302344\
512369249391075928186757838703179963874009898159924755138416210250464758115389554517526834678663860806176976357630870372159394212809496812507036001666132469108221078291729894446770767524482048002458125792213287400087515806821583601344920\
970276444997345362205865296539817826618480355179411070017244933797022906226400196666120791143067844479987313863645889824917864252927980508912160698891462974556850624880090690122505201259644540380015763132085099394566678447202226384658620\
150762780808771675988115753200886625718861191701022329682693341752433464936965222552648249604788033649208664183566386735993748718574042165426524674452906490896303604480801978919953499560920100454282732335664715868803306575101518801712769\
245686541726472352027950363241935528739292074106553820866843304582383857558985798712820533874693945211154643791645670613755881017643623169283708140743247632482604783307876662955269241057221518380679265880106592792112849586155220295536109\
883801891729652101513460953788578206781424073283354532090408486970561155571624348707909521977330799601877710975951212924343193787529291591331389259998083647269446173689291697029190991553918729918088900606780562765995909118254258287211120\
971901293247219647431452320577779196047204864277440262377174384804149237265118185802394224986331225291667888008716187396992097099272724865569413840788654367094308227780734064093717853304628177321854112340905065892778905976377829419050081\
853549002798906196305099629355780091794400837030382567646706080760781549029746386722109059779402756615114399000171696379705236002412656945244793981651018209598405396458309248998840566105854489703899599765501064043975103822071611152936315\
434344069549990460910060181207988937542357053207262632323693633471084947098746427375874505841806048458225948125256878535933138494362363345780424234226476173706638714532749301018334735743221330118827317763024543093984456726495732658281210\
699552857010778790019331882794016693631800645671514056737047209018826080882170063787696596586575842905818103638599748624916187449637306923760776093810704012644322699707162795587730617196696860160791088759891881078070283910960441686872797\
247526471517456940190421204723068464590048696263009162782385960356913885566431825994041332921812637690992384051010576300519971711961729739037922423864420570316089176304155781767411595191252961706147767541325804201373186465545076423193575\
004738915777063298618733168786822526944283614005095948016664650249676455011083762114487977137116888913043346875736998068290452943914212979829685593787473883119755844122412689540606271154331802517010096881297208832008725223608775540868828\
981417682318740792035520624977923389404862716094758597858253835222689045997484615762681731418662308349296043618902609239482394294554777546251286039606097349581618065793945121846660340534355549061431215466884735348108829066467765836944027\
629065739183618791073666037802322289316556191312411109264180696064234670495933752414847284285605819723378734961309554101116877181428428370354932284518129100213133278352173974751770171514358715800634634729610649016744928184698594531234149\
790167172843322205539500465543958991351108178007746219156382888623536023505322851772576836125984187035375130998978687774954672668856183187190631663369727373881236847008082350207646361274876376994836514431767559335572649260199555518041843\
497027001221506634733751108037685275209461616794039633040853424933219140509894140341647888472699530922218908311302514229708808042896069278562157704182431567941686824350425814902912612986826167486818969716379163208200984193663543747326864\
345715685287230314571067433966899410523499459123211531796802895631509686212720256056210758549682204958544706382987371930995024388829163883145673520602765194482209152671204679070576435390968049051055494595797329051845400066945481911790962\
914578567025974420696140223886850932622570051467096840449858381555432262011042033752573537759980637043454459534966800475712101571067173384907636839810760320334635692306438119802126162788912516712826083315876703508439959148893661511478080\
377393849701788810180955534370268390639874242120539813081794601864062225964912353701865566269425485832847734396261731598221059448963121232086546165305218106734670016530270605601726018126094193553326807330691249463174751238788146302683055\
598054791702273826049042785438024856469110701374719401591062763510302406728785895370724640586016301178609597891514998407611447713937791728025431284260265297056370907903172706847948791226788888941249032657412477534836992236029551997180387\
756768876262727716999737423966140316495304864472207443510892684453149934281811341154282731920203473849697828493577377153822714367931145322482549829405621133894344292443717163643685592564999911145851547710861803726424718625464320563781335\
151421341307101318282021962182162800045543154053443161892197950363149636704306279662501716358443049465081629561359531769597819932371035836817394276955153712462650753520169933829185323360346435587953271213335742726221942266962131910021776\
014499672371034716180359158167025161806386591491164421151740377558770714234903623788809119659056082958851387537552392662669757570093947318131710581977777653001010823958648529991149458760780450994344605482425076998089068396299176025871947\
180971230898260569604332579846692652521672814589073449751890150371394855697532968164888425534182913195023545327101462382272753134208347341766924466035884214137504354532075793229817500594055487858630805896435908066136230113709960902053426\
173773032961329594574842705999166915629963888761875930069902016662739337633925719056448234584496918838538975802647718088137312276933311913904518807858044511905034387953959126013266105780335633857084921824561783478385897360235299209279937\
849239187273958875883064915270965189882529945327758108966383193532406264162134154142476542320724099466865646779523606740806573907436569463231518568189358959426606600993869539549250674982097484905090949538786491736464983774372885380084096\
814028396012525624395344736412794555085258712477074453197662506767024513041692174393322467208643332900458951475600415021701549856076309520831849086806225412069762488444502149444250149232684251336489980707997204541037767297764045107897953\
257179221500095039119589024017476082232844415636382507743201067647872568952646261782416749712887899588056042254234346945756808307350813921401169501693120660019995171963008767618678772718263751203864619607578060589928638561037185881852570\
912180471344335547536493120753729293051506918088894416931529656923487379536572412618194839681630252554717028667750006180512208547892119668097671733640430961956060452823399403311497994255738398752514836428670625890617522676933505360133397\
155498842356754529088586269298225630520212620868008384124551573016664255629751774469340019935339661189879353929053401454154759537643243245888185305397467993641378832617867312865679804763373823623333457956860110609088941152805888621593060\
220916822954305245612175962212151919955879270733315705973859291132838155158390851690528869529339068169017061944102232103855080693486987299304984088765872099914837260683678420966991741294321065866119193742188454356319403870743234199503200\
024132527759955142996175577763079470393698463854878171704731648771628979341351495173375356462508510948468734912732898262692064524981213480615272870216662899989680892269105331380969966158164008340814538859551413970811555541547276335744061\
233165285987932495978844399902048152603198141369266861120535041373568616757039558366098222786922965637500495342260799103148941866834708351941184418507542232889171906452057124090176415621285800182370801560805774283069289143281703496452937\
235254233884018154034852624229879495863874909370717059274423078818601634396391823319780608529100762714390861420138505897389541022488111913183034537517948183353895791192663461138572913223237969537820579538207736495981565978589455608839695\
135299772753685134457838062644987577699645849952951006648619134538594583650561262552166485871669853676838620471585451794131373707132155332957726837897149677457130115633160449997217560860212861524691457517899024649924784199168342198817906\
400417325990951533415341818320832526379574118887314011320236408360852842931180742567742496793366761744608649635313769663168231962868201731794782522560094626824328994708103133442620124782544076131279853900270370037135836069009311991110507\
416585549726748232349603927516942635743724898918315775051692602912199337393787707065186305917851379333537009006549196624608920463108101425255928718666402218035000756753784739671994028825808191877135732980577731260442182223541250388413027\
772019354675921285347304355085856200402131765721861291072634220806674618958048899327295655475369895698307492495418457216762709776125805746097983824152295978054819899583404275386371077150308844945070175704645520348425823026612785257119001\
226118253095479199348405968073604733897689763317263843644685070967222880715032177271884016402957897185073487705747771689371526193578669400437752196619216128406117047826175177526132110804482653530614274434973956873139079432697841807625248\
212336964614313369184313260376221406296037891922230609583784659715762515612434131632509471361510164436103139590525058779758084938878775667075845054821098116612393160844599214681505041360053015987389936208385335812785396044222850322160535\
409518126971777064262139137769928425528439438596892636754340609271315461346996472616646417246933843750733435080168451790977056760208465417481669038510400486575941735149854333495425125818354304880949452727883305219696928294573476868124748\
871189175185354145291839045146070603914321046224474234245297655756304976433557104815062151946058097076460570114071901645204773728035401123117061412926996731453104943741235749811816229318921740883738753407299651889340598421555851085459080\
933367971509972684272725740786994827331308190755028247780119674076466869170958264693146955265449149091792359421724969689247988173547086739472183550742470429650902186599224453779376220890021792341137887430990341243619689457381474884637676\
396690034880090775977331462217018280415038868622230359343559238212577969485858039053162156825299123429997084183437656213308044471218147336904333499827531235649661586456056152655363313495311225641003185028545084720952907389932335410618092\
848213009550720139654448543942767283666567203542891954345650895601319621005362609183624737016474013199504903551789543832214631192653404698191812252888928814743541101335137570159488884729686993899474445150492064459337592662031250976196933\
941523090326027921931101000660743176787631607684497077029703383471689498988387188881452678933878824345001502005754326348719344933140965345273775151452441584979236313212986918250759503841662534247180775172802227975121233333429649121414701\
149604446002420907999478344004172635148586708861464354055058908490496309120856825513236743169293738624828389698238164923906491510504070079308904597529141420232137474662987131119862674510158117907646099604853736991271036617900278279957734\
203736310579830771930690309164155034169116028970254328019452913089430235418777622703854533836363220158538654841079100545630836887421999470853274775540845532899556633209927699029615687342242817370701348152491401131739317464071317566891181\
845085036398942265728375204367298805417858408975149348857687059775875167438214956485551597285578014606080902421974199434518930538985766054308160440412973567868099344858046546961059348376207251165419768504518100571743798932665507879153201\
426646920326975555212330601248355491821752770092117545260165349319161415825753819523674686133657731528565269668743913810618576075933102224869852497042615799137081989779135591654317053353113909336874347272376469606155788211726276129547622\
796741387623178378827170321617252502341083368997487380419094062005828587632798863295744748757816913052261266453506814300160455533902886234496853019800707314602147687812924346637569664235217347175243451838737910690621927713937204178978805\
080171422614957653759949376909198693221634581234000223745155157464871276900918211117625602629677158099961113229081064951375769442445853585798269188928509273529522889630871467615207355528461822472536526052565071896738172361234282043585917\
022411766951061720607451754490443679234631094329873055549393566057638617125478468039039379122703499990931766058312297745076870416872673528585442795905150036038612167099493142438681440685186365367761398294485445000159355482685286518577013\
783839050897927071354039689183876936308884432086532726256953813890004290630282548101260343026267526417845267467207536801875729313099561193028044143255510329664630481610438755874259389927154330438819389099514805722517099680049471550850546\
340185373237676009231927727455333977686177351039430933766605565578449382504623467593085995721381579955614736911952074930759946278282200347677401937435573611633029042355366674035486622710099065016890674309212660448056717076509876872796647\
033988804388571563326410719103001887342139409716457541187883034465491926899935303639173009289963689721558793452477069954988529656699638110729741301852906174684869844789457294733493527585932648027530195383648971348942689924048986807555864\
479315690111860666204924629373253174926412890047333211035316164791692132403455918507954956778928933312112178602773889743680401324076590004674605183654313881950843737432955268472869082093116775528965629075467775856399838427100277241980648\
160725381292541305909991433108729808444483968379413910414454490748210727136913068956384202380094201870466266194117833549614124092511159466927329840057732063766611019187141347668284661762944429232089189667521797137860629389465197813994784\
446170230636242427203168954500338110721545546272185878440142050157650211522957211340778041439973167142981133391005459545389264962723344221868880268832271212761253426602802468759364398677366499478547004509417467770111388536013216963288005\
482600446186352173814761663962265912949786073453165248452984586514653197978003917049630301357224298368846945420237343056576307049863763587809260726502898382278673924400669110500704689468168019212659534011464202265502154202033778437168652\
740315336048511397249053273271679844527617862878850029357843197394524695076358819886245023544987809160727929036923010802987425182430430771047784648280931736727274571694309762209061844066586645999564774329507713254666833628208514626655124\
110029604193817492590567407464724021784686936134719672885657296196026007084976125763401340182902381930800533312067756358255404243068319782157699026780744223282877511571184670606327969046150806420404442463034423575329010699974155431617644\
813934569365569652181979021977589517299779673272678959614621273979319755882004575750362607934678809110811205215723600069343195599682247219746440146412634614652553933073113854081544481851557036559930175922205063823717838077170449680986088\
735779245914030221594014974878549144125891544744700432770363393492836337905320662283586303124151421530085051108062602671012899010988523928170412597496907330633698818240462267911142764701521910260108104990185171832254399838525917438174507\
347118380807789486006585217534128713350750595587542737953705342098447974278826389700662217860319843325821016322611729132040397370720599730225574933025891544835117897219489267290892631123213499117876193405921633067275987165807912174848901\
825184912990909286491412086422228401317449549525449598302284370812347200334756271392575149735187176415961281506146711552386290619689677101098844839720753869135313253076195365159586596047088823383496076811713403294454515779793047321943880\
817328879789318262724812832067770227131627887351889315607029387285733270029937613778993250171615425551132033311344720016417976779728470024318551843028871517881923914671372045416472242643968912471704839064192768411561827541585849094033140\
795353997269078836656015254666553454102791493956638295467400474921252548761195044730135464157968510761672143252338757542542942717099319924829820035083188298556218706536681658375656009324741787766934187296493628924693844315123755766104888\
800182070046302096038544004255639970677409011271840154787330402436469445660977909545447075987501555411872314091121836136086605708174141823549047495114216684952534962265449140668394266417823440562748953455282146761522377944024231895951151\
5172963477737033103997696727893755947151680717739826457633190588710911 );