Quelle  p7-dim2-deg3-no3.g   Sprache: unbekannt

FW_QUOT_LIB[7][2][3][3] :=
rec( prime := 7, degree := 3, unramified := 1, ramified := 3, polynomial := [ -7, 0, 0 ], dim := 2, size := 7730993719707444524137094407, code := 4338187302673088282748879291292399698095670435401855155442535117122142681599703995308398940\
148851338414674627898627008120260494081540153043327399840386788145071705784168872380960457508607510264379596155655158664119230484855716605113254323905623967672402268232913351134602037298294040751362293440129338768770987123848421302657732\
231773505197573190864911888715560896687199571662957853805095457054283905947328450252656017694160677013987347263069671527577582846429062928075425786188137053781596728833042573029491995932187028879499071524939575779117108733652705776761103\
333225624524914190034188685474649851157922432708172209222488557640107241725136366213901533841951199412404564093920812255622938246061103403483853983523760041156556309438272475698363748675864335090728067914513343012546537890498968928821433\
275253627363972489673280299212866531154615413438568110419355510703932279881118429454422441896935758574267930488114989001273082268178957502658538870441447616435872797522067802726939007518754200747545065797590387952330700493018828838444254\
979964232816783621836582617788420186792626802598725368290077779794678169007446194053997783065121986052429093265420163972070942965459385053184500857944511430393468868773354277871308808028414935117197415301298989589093816174933202196149998\
641698254271427903628610515115007663445659185203343052974066091099472196500394418793388272138205416541900899021144999163531288365482569148898673367981062949928272890256418403286202156981899332222680794135294401746212074779788755596136803\
724229041676746519010460251764019908712496934822330544141790366530301721174714061560376747237564800655111676665383797596560223098395699300859113525282557016551598088921018587380047663345089830907395549155049791414038771111837983372695906\
374241642858634282789113188067337766415724318099297237512381880087239719126511031598413835899997381874242200094021005048010655139490936983406563178453153610079806654580130204326125407724885168366597524374632262031509495592711748206098498\
977535894276088126885116444031575244278675785008237271394391335546938940206624268490523769418114319755876559728371577475804420053829348931749388414678447467429295964235767147260948471655154259622470862353229170223926641351965095315614524\
478248862669978693692658775242738295693715711020657942158056147225162389129367539724649896718217772056114250177865713013227766933830412743785070748107516451541673195749552960402826880003767587102321611219256765642484593116157928782254700\
217079559501749906135829444588868645020821104307742217588645636303138893116438367386688258575236069735040172945841280463387353137732887973662262601250146889492256596867946339339596479539940680190789557807569421129218504957421752259064167\
311405154003782107522651176392966703740225418218738055908409729907735202004674240245843071022671286128873608432732240032532619482501062848975214710252299144017252328646576622795900956689221686674272758398125706006919181362940414018870067\
255505506050878374556092607763727717250226337845523310559568841902408084031368554625037977825092101265028655170993559602294276385213862179907651085363863815567666316762464839127315855353463336440826106902396601233939830346930232776148987\
082378064936328646767401858524286295410579988356302903415499163078310229634589005216668760111641457906178505021866874839619077169474843511680887084840748758392333469140804155566857394364803581437189702582772433335928326384247629054346442\
947729903900678033134693810351112720073943085118780035088300712344524337322153454810379364996401718081398928965200663602506939351884722973172811310389009089789420186091922774851252785612309613083846962314888323880142898595560021403840869\
476263796344633722172146558444318870197676894026465212985745787924984072372494031316061509767412989813565644917211139796250817219585218952486216902040783533005913569203046379415489983759000463318047238883492465543905104987617747750115328\
528209773095914442160456058040865397146348687138021162819689583826772565156557122824124507037847172524425886861316514431274997902156588929326123359319372293050914623308336373480408802082807292559967686255873272898941444464080644700951438\
741157589880530355741428276365959401888302683454256574171005961586362302409834063282062944439940202831211673840558985915682471853096796288824683302773314108703332334307527115272781267970834054581882900103825953769798197439734588085465169\
503637704797329842774753151983940909629074542345242040074932922851210262289998349973012819534516900248277517107919158896308898465675382463132467049992505698142301398939356912383049390585502236794849692288317705313044177848613221858518998\
641011860873376840576720379708375350852561549806494883903053255114669594015514076150287779058640558539547728222557767374982534917138154727250716919740994083694555095191482240120845377649021367114328997848859174371488792142746056636925058\
195305383700785725382454126662451830201381930606036206912619729051680267437325310037807976510744257607695303347923782655335904479375151393458739163131108481541810561335980998989490734206857417063180609023670129653542284568664367185126657\
177051247415362113058904493765860296806416970707022490349337219592038516803229830098133320093048697063140270031674143246913868012064348410257667509855417426763696832226679437837137545716418808796106974544714390430297854942167330960278213\
016498932087741688042438821874530126385753639514273177365305726230304407185122286512571782184251858325688790937977286726502228382072185844886076200720022448436544644484811420976746456037447374561279960270288844705697037939208775345859605\
906873120949044863261217608032329238834328159526248888553484284292220372055833984271095530759299156240387753972092971590951496414352573397406944326344732338294598807255540460736737995406069763110419987486495168513893637151781583889874019\
642920449405092982809569434390376719718857028313168680284218636175735378589138628453987120748821720369734482950404488253649993853930599717249203002487229489593040490093558508499528586014525948849841924963473089473710687992514212281796875\
862094613537906120185942718953607647414551011317481389139091861416445834023752024823045924347233954059244297200280941233444571324505028429285582188615885006039034627998410758645294581796130615092217971731976867239503050157517057870276302\
491112401596375178236692268721493789372217669360614182775714570776529274908311150690464510445297750720724034425837216186298821393174430450954989375024460557164365052250808370745746195374592092140255936474348609974511116491460624644040988\
107665333337203702809138096859884656748811619741781169866521536732924344442650177417579328600432582050321431637794034312083308371408683554878949142640690308650482562893447822434930776305426590795496784044247833299063649232054513969996279\
669790813632132454011029533635795803228417623689666195433193650056520781372745117937413048326639623363190417603144374048332284352913599679973496391272742384875752513482524303735014025761507697303104207723822139082733498068932026652663929\
38762247180389750087940531820005971771812536843284850679501023884265667717383995616126205223741570987404045624500247592959 );