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

FW_QUOT_LIB[3][2][3][7] :=
rec( prime := 3, degree := 3, unramified := 1, ramified := 3, polynomial := [ 3, -3, 3 ], dim := 2, size := 42391158275216203514294433201, code := 103143717633630154822211855263648592967595985702377993644804547894725442619622909805917057\
826301349863681825343711319683584114044815702549615151238997791284766174632169928410692983888869246994156860297710628450772942170656569704635839169096042528688516987164274509254005355376964680109092087769960998945751019741128426565401078\
415722765654002210701407082331571093394317565012499596953582019665739541953526602742664283222252628392002556818589110428159682037256478206165134258221294304297702574442096472687125448350470659509259275660997127521320748023178520290592865\
343962389331499731104262568549256408101509039083217535994881359591168516090123919759275474608083551672148627443063859613153433507240420637639467417284706720746042371724197827224065213449402388765628882504424738914146751353152642986069701\
745686433270177161153529637482894028887767298725554040176065554957542088021494266951306254904644534005444896767336394850295345695819911530130158996682228621667569344158978365039644368971237023176148372666230782835409060388114435875366691\
357002141024505135096497890085321973108601339544023716982113611390403557236874850698274833299023974734980961277436217802368275892753713994007215789450887179689944921827835634357802989896752932084164869249941108786589779237934676382775947\
399610957670243123956549375477394368645152350578754136526380083555542087692744310357415169993756072260598351230480131388460243818440685180483186990086581773830478828233286152937026774154283954125148410175911086262559763875510720275338621\
348439524777174515505471781337564662202115548870248344082993056410307303593161681424378275686377831632184154946020725260535363670708327392768287826560794482166353709124750209838571989233854888205427249109929703714245372292011094550333233\
099801182093884421982668038245559586956188791987038622224733957356108573366388542677657526331939729920568044671679618727639155766878159738097789974144320779389969823343198896444107168873882534572269444510949522932098990806084195769001762\
320812756640399181698912244400797964288533546340547054602197547405898813315526475175851793344566195335768277860806194413167167242590717965717059822165610611337530978534895014308446373388729411164667242248908461685091010074204651946775059\
524077477920451405384422531286726519172154997219322615467199346777460419920167028794952698769421782228004578359944438833367666576531217802173229566192657210143278923242266774735224177623392269546092436282846843772409232934893197811098821\
907882519688082042023258834343138538929016351891985889448259879249587361620147523354109855684340990566636056719281575696754753624290684946841802440911775811490220464937444415948221704771151008217382562993880298658989157901665472413093219\
322006319795436872434169894494651192522326258443906386896477899504576437323907622613630169658010372039114092230061209942911963347522933875217537070178553282900688646206003910443186248929385429396348284545562252759630320726264714516819263\
483816533989372094296976160428946412766989061221427937744539147821736195045642841769680545493169972828135737949916611932644943519811682776387927414834624185426189032608445324852986051314230336898865424586712182003794618245549953940227064\
723861346302932404191037646109808550974944710691732913971764419398786705814895832062494609841362212726207292434317338198277407473054484213168307621079993855058210343595478586862374761930307475910292181833397303052135667882142083740334722\
985756349058308314634626220239460664508965003554690853367174502492136308230573126184082981561826285437625337470911173302146306411715102392146973830241912463858408334972681270482504582151271432345728275956359068878505344214917254137390995\
724712061288247421648658131525265286852581040472395052580732471839593317117762680127177119182442016690168813175337473698260786908996797892843601035977744662589698698176979066052353042300516149519299534455949232617104182221001252007973590\
290121029603752200781161653695574095261509171482611461999419492206708427746500959199900629185851351131359444119101600387369310880525653108209425672340799024320584391021861691839232495941877477612946168004037650587260931487845394389706349\
192324327491378055451821266099429148060608691189540745708090990567879382932988601268700561310560020090624240963669096244172419442700693487267719361163431812764283704741285563992008076638939562135275838328019505706361430182533737412465395\
237202034140858434188160575027331131027642762990798717976754730402188053357569895416085801154691385799017034974126280214825700081845686341907155000984365446885641394871800484593359534160056586889833918504247886334550594829667166614689793\
045350672984652261198401256561830375481744935824520993285344505956716732210201008361854205429346510776174902201228097409207551082566268770429364930854188750065146179287255778472006036762948022587933226997621986504245685226648009524275296\
896151614383584958668211114059722113330514484941731898606374006087624112867470581319915489258666223623165109523934350878559790808919502528732674836436306009395646851682228416681272948692427199823355865167590533381422237632992121530217995\
659302437136000344664447646096933198412734510745609469187870943510145332933896593841244572866993258902569152611567709092713155529878226663412414603557578075361361021714870335345439030559235283892218980706597772056176164273100346443946294\
412494884380302776103408353372363322765428767702748570157860741271153899387614905281925734827787349342798172574027525996102499132872987214183748174768922266027278515367653246260986195785521318285839912071171580232687285557963117749101404\
071024245660720182638641689367557089263445323452139315920915375876845438614792296746742365106135431079196445446152349019475120925584584624309840150907034206240692414533979114364610310723112190328507702078235668499686581323475008611333117\
104286503051269305279527238883201341584204821886608598753892512800070033170320023071419009856986333652102369519221748639238288258776936016870310738940569954108478296652776298973374661033825342236430478752366716391979651101227409169879214\
484152044959253486806775910389963905622856428743255097367783487872935150920516941996720026089544370670516403222826776955130867310587912910414464979236888455797881710409027436793810992430663787478303612249620379869262639562316076925656701\
130579592280932733314006493096364469841962654338400452884546227657138959455430420702108839172203073711666572594455026031005743500402821100924074091656277062095011000864152895832173807424166138072163523025324897124935323866936836929018765\
696148618693495334523085940734233959340073761204892164968391616555169216009224782402369835430808457285280620288360468696807575092383463192248568287930265403835754053021624677983574527990184055032315853211509203309032937254475414789647695\
027856260307839200572091547321384786159091092195063301836670421915204857240748032006744768271625213100296352138641005425934950893348218911425013388139958830991932448867783385585774759556480099048894626966986700157380927663768196953348254\
424323988569134083838551600737324475653282051740742150668271099635552659994668161424148923094988594769572960578956166996050876008898873663801713323464845795170700429642876505012576613322293795806680259770464036821655866676389526678022507\
680498951217436052589828266341307569856571750578858295877571510424902689601215440956961547444311200468197578099703475851063050264358723725762511680633280355791869176429981831985144141263860552642994723908285603402062334483499768755455468\
360128064283699471164209399233701061266460317613288069474281650380471653142240724953007676549211934520446848700421682854824103293476266026194424147306367741258245807419409084023823373303411770739445550370816129563273872692456452000516140\
532880128721605236546711553078655610580791257458656220494101477846051257892094225707532424314889531945468753091638523986148999186429134367923667586206367837693355419544756886571712414141065702115271099758841704710572477274639597117645436\
626762575062884513450635799223327804732098487018761100445170718622803500512982078932913980955802054203944081032690578196160620611499465196085467328134996390564064659812073327532723583748486904393595106520508443376008284327215591177895818\
261896202963724898563705786900721051465627737937228689402226618974557671461520872455900410626403461139772417915315938041777409064375068891027759059802282374020383118407277053471519919191905968563981803040863057300792363323669791623871625\
114467355717569411664854108021803336305314548906051114713053705288272485532747491610438907914908073512910406205985720625242637505969432689281936471575890298227804699620774664344715386298304464055077594106231512028950045259586414425727271\
092116600094428254894426780911983086610091912057376191627095274453906146169961384324267483496749018513254513242387149879703014354142259706064403231667485351122902412481754933094415754811581489123126446079185938110731219931220760098459486\
607237738782379113874743396820163473233142967432543137085342151490425409671623770295488496486687866354716794226020914188553579340379121222584511766013579499000038341121304423114862288078137370916181648944108312413691252424509926909160360\
349886781047553625118335778505470132861066105600421999606520971292862392229107802301016110985486910860787876667128934080344600407678453896122540551092073429675158356683203875530871144411385976621534694219391535658250692899625765009583387\
735493794529655208893469070595400954471583140452312793043380645982810608372309407201627170528990096191340425215766528135198311203578701084128960433052109342832985559488274847571800977928348968759082673055006849145632255190037195820894838\
990760423613879210617568004266540210155882955811138409412954880261191690525334520436339498556900425859093841657210137381596396495149362753782437488218730624897007910725906365454520000090415745987006456018720414537587799360429696732724384\
202279591168207812040350480671259164134637610410964970011692915465977217846379560261867681666442583227195521288729758568888442679761224129016036717304920770289019582309886882543914422791012901016524885259740485903637468033052254698791796\
356238238555505262490869807923773116739524772313254320676385541377055914402751594764644377646479988288032324733442245546604701694617061438352492633315257906866937226863074384510896697530058052500987420147259832153176984840124047961152683\
681614798396563168492507726109163143927396535218091371458593161159921399322440980630283790173721056903507618394000563694247951228530055756978772899018145738125901541202027378968813223756820247304913969418837419951472152633388122221389008\
184667816896374677629978086076853432891945740457177204958513970470881039695872834385302730813764730374628503302330995962481680202401090836154007389525911575048154898937574911000991249404164126417664869737763824290917850591676460026168128\
411929389412524994105234992097953617319021948549592703346642359640358412424878836627569739192797735389351462781637250353283289876955070205205069206446615044652209733466021765290889557969624796721831463767252327850305829044928881074949506\
639678063108522264603473870401338052584248939348253037715470865461901064464231910660399705015630306439608489405379160430007501486372976922186139116656606190208748235477819758186306502025926885718234948990467410509135968789189998107183792\
406258405654356148369795237088674717943239414044443231913076641461927587781570420914564572224103339891949633411535116226452172229697968247357065931342949342016173766530336617391036764999529647553350501175886064780958882430833498833501032\
910976396080807809301741732713771602244158117823086380394289191810605108159998122929655720595498336686003642352181537140588701521791399849634791838904515188962859211934458643896243114013077208873727446021805241650189577393553481740811323\
155063588028680419990261757365815205493937390836875470083968768888431187609449233860229102168456167355803883972542764599780177004344639949742697061220932524578314301123021207773897559450002112343240891864412922095303536991869068266777794\
402505140242532681610319189339349210821292894047576142286302603725098868626474752028568562070793580655280557572246987752873090608933816749222165587159782275791208735081506155582976147560956739091979829320942293674329337837284126562590280\
211300231966275061626475950623086130126409130591146609627949641025751521358195019641810090260688818629242254614889289812013201223059515296510252187682603836942650965109247396058894578445854683974102232435138922673787960109216189929715698\
675997895511277865635370917997321521587418002126119518950569296531195112877048000128474335015980614716363159618702560257054716431837679857097838839952243789578808419942896304598618049951427437415351683372059302276843359198249907723540055\
439056805087296332758756280489886382015750324054524365235508324365799101010234079153930665513622906513170694774336298811381107602991558663201701698311781223709053505373512477471713545097273156751335815381773165087103029471500459358717004\
972561937296009882352069240544306299530948610847749266350805271671245495285266878446667571776223890908904096360728624136907277550760162171590348321013639615595051662322936957608344073279176477058166044923744962900203930373640311146276835\
200631621599408115349317593724790484269325513905771275348202161191185165748431761775559256847900745195876228167634725694028047578747893399063777045675897048256737959628213036169561091049871699997843152385340270001171551031980155337473233\
653628460791352839496876973657582115877938049999534168892216611974562477313890542063977764692367542584461072510440479718162724904303075081756489360506611148530259603307840070403221198065852410396682821616544107251271467601031715419275441\
621156832728264871696400589676387605784496894604842108354286617411291282624076120632142284156141550414160241414341936327537718120174939655888653955679568161053861372274372314706050055616527537210098033795964303634625340576918752479510836\
860108625638861673979360799984120792444502865716063881139662021646967143215695038927065663557428544715826811361740855370453145151697470347802637948318466827284676921084520247009776388194716567929026005792456035052011231124594134630133395\
830518507295553870880299467637475866319068951173574900188046144882693407720391604467124274051732694971218809030372813289169807846431796337047389702662122396231726067009161020058095630889476267599026880930948268798726846269874871348750034\
085596744281656036298749150932083587200485084807191589016829476962247099713462912581036083413897537755632387528101371864497515929708397288614216362096212141811891434185862723794116998822267929223500420068940256409215522334280166365484712\
874754527943387642982889463443766669859695125199390353909798707753092381894495519449723208647610539376313384543805378097432563190597625102225424806421483395685710270600898036357853861680494098479770930021436610750164623527221721040384975\
137537940465089506987254228617668856854927502056349035011893891582929196827439838908252324936048577913124874416781302630025495962650965816414310591451732472713796477861068899229876323857530371303538392241284739231689545595384388362827516\
267860255100664436420643298467582305500658649946054452085484743291763283282329657802591196823364466323057625753736373682786357064730510215414526292706933008938768043974878969182714021787807630630292865874543361831849616475571362033240762\
166065114010814911075330877561875797605523536713296995580972257684974789354200048014418525793142138568639999788575685812234244987903611230300980558434556684436561281877791814230231258211479418809794809528541165694084681448824715150370019\
032184659887357282659388324750485863519257635268074905951280272413683176651050204226052987931512891416483979363059333763722672562059393784120683111973619917148475431878827848570949449695483274430426199719120884109817953227734370666347229\
465287803590916343105465092615817200958169319909990024301709821809426733976049192241328417511017620373997604084228039443929670302036835058581998702913387858669716446410505908789680447489431472887555861565879890454455935211582791843865058\
457879116169801132992879812654951009141600887895337359946413015211998931005541893952217211766537124183505480617888393822607866759903973792013770570465059413683777382167773091067614750306858775569657469470467927001810342996475057059346370\
370683398681142715890902926784679108711316444122334199458530179421906234427443425845953147390785609007407903749740139885371095737510543211307453053313168832636789369090594071650113227600677053845184539811541339330912313558617927106507463\
776574711626127761270901854821980747836460693319478952076024695487771513337660213000871689245047800832228965841087292577063301841963447178227003636936935590175475327021739438343942579962458532836051948474326063774688414115417380221312524\
554977490436276557616325969082907512289008241416977368756901217411645879561083393332014159887979877604665680069395413211012553571815588392285539515384900678961426343066300809977863887715892083805657450133272457826205934261254175868650354\
330714014333473416472371255212221009927773006992023887769118258138363264079284631512596687117171916052900339043276136516896825358900710147607564209216109168205492640231525247201941806711280975582256415072928094018950957020481019246153762\
554716084892077744506992453214188028756816906417628734418983970699127870898428728650057426893206092396936380967172527308911547738724294931328762500793787964092821698845037058502149041738317262109715942484249436673519599793385979171440055\
006494108224034432927196352766580057971944690914704105017907228584909318470739045459390874831756593750481476557552438749987936061392182117901449750426042245845212757972122520067469055493874539305974315517961822902529962084182163560768023\
539805593102749240328347837629287755612995456039172757495078298084106021649344127256298620233552158452807972443250591194742269293203794986707144199373149221778209871183776369400916976300894225559871981574414975717305183982331789620006533\
626314599404261645261388369434629693800259685911377286802915166309696148244796753100843409244846884970530503041739156414847171319686624214492644245539849954563640203739826051528657756580295297033924765096417687090919971938148944206763294\
054455117850574281329667599668696964862910219872326368248145424247380332038678685703203330105463443154028339142337770042186497256928498587820516466523565649882197460173484718301750959645167121511578380685545027036818308605581394095926833\
032471744937339015762524370937247231155207376389526370814976911725881227512949548879430253031130386529915224285166863900282552307680103452461691684781631344048034561056983438683883743660703340443346802107703834206711620047946338052504050\
664137439199680259584830642632328277897325524818465474599790053986355783395715157253867323094131312115377757357530832021800625035355609643391707263469829783043884294058372227837156021780548949671302650004012553861566997722387508354061674\
060265266161716462997108235536183593472110009595798126658772678205207091606408257892318848492695530544970286051874816365031909373540669246656175832958248252031340055188821374045071804768462058943318776292244198556958243000040130874890043\
827349399120635524244425791525767903411941650941126652271204922660152575288482189480395634143016425428690076176297227911171382326701905594097961381633961116077375870728142132003806610251245700038523319900796415875861226527046843856254867\
632107238379768732279720146643868352921037521317210850912596028637025649548051017981816862644563485694010319863422877488412058060511493290939764081424605986084655565658879763695981887567221395390314339293096587407043437776072990168032634\
246669023908544315099980774433022573072036364023035671918719326867355810753370098468791351998521369370122463693796645036028510252341114129903054686433630590651071592924310987582305878451413321723798713958769271931294952729454235505839726\
141279041725264658756186182793984751330651399638225557110356540565156714124946531071031232040911088007701886459222130331778088116680109660048138042833954338629192508702659042340098412021973495208341475255625421041182416973324192491800153\
673102737730757935658412450877031290525729278427225653669605653189170901010569127083835549261219886683096009860968489972242590033026153173383878637546416777073431791414941844032362752113156153278143917626205072091511411418960951916695982\
004970330934763275611439090547809795381513574449824738724631108915319125443446851401962381353620594830436273204699226557491871938937013263264682415618992996299100403914543237727105382221155241753418020899447832363523778493468913444020950\
553923900869064650045832209936433751994128754314692616297420021733395598405561826195702603276905192229674549985112280762232031159216913556592592748007487263109164025951737868390681312665486007811460697973610071562032084285711339980771143\
010377680545197635727320759924077982796507572922049277462694924162975661523940534746275306722543735843494328553743498471570521093807395564135991862474154177958233584676470079122647045822748073521038066054894437783757145558596433683930764\
671670574678500988050407580244519257946209086900319008092125063151820098494038727735005466340799523245409172505417998111216485809936673408751221962730635180299321101311002154549888776790685583053824819131101939812937910408289729762234765\
294487176488343873982585451809781978062365220487300657524207321547453442735518473994326499886648954815213425391033857809209126180709790129049469542648270164289662107296947387336802213095226086598910260973808070114383218805935617753950828\
830133148341862165629128963777077708436477189958091125760341483847268118582546979943547771654445324353979576742909371253648824438677238809205350968007109161659008045654549638218662003680123894203412297292440413603386386059255427129293175\
432502691525583615520215571479367306853042220587883166410253523066647247055378249719933321567328760014431965146981186820948594563070642015956680997986528916060912451221028324534180150460452402330154986161744323171351073539619757004110829\
022743573970104644577931109833116041567982634590252558584781945840739528960973519184104409359647931470415959813811580591857377187833516669253032368350313925895400263245563362773882183166801459243262312815417297685503018808175200400417825\
840427414735338064008589491290448530693843439562964028696999165445691657075845802619883797064225607644823877804510520723492886996604611995057340554144975004164227108856235222885898280751590111692001676114059880271133694289214643554629651\
140566797812562836409262613387463447838489637201424454187226696443853115461542360326892074602405500507854005221879848078190279224411062952501846939698290379979029725551345812707437106237454852493126133000382909726068654748630531386232470\
640420638029005212313468239289085539996247498024141304988275967966977221222843803160213715301580724512478093529003982264656067872634669025360340070365324712607747156764617351653238397309195582085550995350458800228420469225788436281436545\
832712195863121486819158968851126519411786811111199259987528753824537219144091831863515841811580324589658146763650096802195215255656723443040100179499797807359806771099352196050330469383302648950219033826915693572354614161761758331610251\
812887959531947046578597113728821774657973364694326772100353756133088522470730910630684004299304567730287830782252659214141514752526451824822838929365314012766534953394976519626489447692152354763006746410915530844743860601333081714089252\
292200232194695209514672394506655039004456109376017310249279956486930669521947072367552147031932671881156003794061145447672066613106097882897130011478917839704467174388110324862510284589202807380009672650424717281296554093988930536718115\
128633414098627764951225074458168014332926127433059889587721097329326043854553026586025024671792600215210665006916501097010776786173149960182366986551345769175382923215949198751236657471924400262988860118338833569784177910585300781154718\
225486105617857551624983576339070897971643880255476176181994320631390965201181940384311791532638514196702788751930993202415404028660788900608107803403474726755780724349500720021193153339957627670705570133516239511274815507363585928799104\
701241635274132968172366775326074043172682176929912918756985427101470024978052156301421693222400324174772736204971661073968756337927116836990006228452174980791755473938874911802499799950986651935326688314694081898747327073534236185069232\
891499960035885604968551791826823528174662023395308472061234015103913046559546630073268049864252023847786168963679729999710493011540372971362259243285598193450426268113188641501910373269277080118266149622210775734941526213926269477157301\
641666052187356000863720083685692317035832611879153327122896633654234480589003355570075365719016474121830700064896584719602240998483583297407083008648567817279751552394051286254600440172845017375195627343804938274526818358279011178039194\
330588098933680803726690228495572266518408375331144942894349608271129462973195846422656705814241669121547434680770744317003973773098283880813908507181756361737624910964350577348726415921287533720446867790420890514588992819471338306613763\
162507929666640975478889287732955380443151113318419210422281737594519300286841727972084976613816632942819948264350473618107264558167256757806517147283291165447316889648838593251673999461379584338952264819036519328724538063529311590603292\
196920280471987410011034198130685100303845870725962610653758105735076087678091845469202657513039424329903609499761167608280979812526258126261092480850389427945271810935168196032670691519227161413796318370416649405122862315026218949504855\
548754884254976735374921116208130204424382994649311590313977784873067174263452636209299670182470614475694633760474905996273138174787202798158952696154300909307471091845156967992379720946102680307673740762679893028867028023115968563150929\
224842379320496807468369953437165802925743575206814857615371330354760347006252978893223188683727897642178402112400630783365476506050080001919971548666940306362116811301572877707290558637429757084477643295494882809960568828532135479519811\
380273225303845792186428472111344210985409887831236295941750004562012674286835170744518735755549664062520253113615691917799045469341166583558138486539033644711377641346790407525376010814441783035847944016086354661182165062349348331385855\
310647885343464874992974720524281373038065394635837314370014294766041079753543287309692857179375502697714133411883640602428689939595745293153474233915696562242833458259611995123087975062310247395527181704973536287484438348645790109376928\
80895 );