FW_QUOT_LIB[5][3][1][1] :=
rec( prime := 5, degree := 1, unramified := 1, ramified := 1, dim := 3, size := 23283064365386962890625, code := 2295229730749528297567672632474613918927054116742391012387686834945880412386692474589422047669698133832867416692103548457639\
742507241110839007752794305190480625810484820818696149402234467395943419251386621235804558281744851057674664893683649386275597449570312525867522520590998590633047437107108740273084396034058883198365672209633596060074544335324448584497428\
144938731682709852174101417894688510619831332693071483432114212472389530158756908513169407276306342842552721116107990467126959453828709905221472108700164094370326501995506880358252531608924091848670152714673490870380788738617796482041845\
186196798695917567348532755271313341499715900601112550219827974524933439415394584472278484030900244460634644179099889045666355631820153486665371342811110485618196342840208765227611075046154862598065658366430514639616537334029165682417895\
592299934055131144177481219894769159085153891296078861376691522390256920821057097422200422952797213465820701316264647380183390102279665456779990193202444450234418167906522157318221100383388547775909517437171511748119782910149959522209576\
901053766662855609641676461709563634546036406077847161525620585898646312235039531195589997728254287055702054765679600812893740714145522793084083074482747586234672065132142891089011715457677513180902391934704564126962701406401104327350740\
843945422660502686833145611474167852255206939480405911793646365089363254196629260193568275719212539953296837550073401012448794158348678917629813130425424060280626216476475724501391790966798212933284903384360332916971512850194971173144406\
260547248056302598664253349828071608098950968275806566579016571474943402302029956718795190184134137906900070166763265595273503516915851106287962785244369915035439441928843522031934018590851593075631226146372123057948010568889610333078592\
680594348029738654146522795259945614396922341696264976440357473809621148617106688625364221601599646676837497554981641620383211841062201275930872255508397588292890152695917305915655284207608513799325009424515447196146607452914224881326403\
396173594402264076373855380449264104114339063344717911186518155651307796426552057672417346964327856457353970086928911069272700468384373258423864000088906268358655297649856766964451500760876285057029922575196876786327898836627070130616101\
981435203570186453443450242830539080996073693234216668800239228229525502711048874884167377368626506745507773863675048979595637060010719042986651058365462381834994210753406657512307347902469747825007954851986284067376687300678574723181881\
893386673628693442193575095582418104976441165206293326340488163987353270254738026969848026615542885013455370700667830296249724547295350378768799953664076617208661513451036530767685436013078282115647053791125255850276573101485395117350267\
935843219052112773849556028584092874899913291813748981360096292074670135797410849137395542127304179461443587979988412666055827762247078731311611184647754405845471144261942150844891190475638797492629605704185187901658980498842955864274595\
855560127074271750523460579023602304466296055366229442824992972037219497285662893240384657063049198404254349773651357380926249600442345837147014346199665608337842638137913158440763899666438584677545975327406186829749276988803678409726251\
683199346553103279249108445722118128043868319466416242602248224958002578908151025085496717265651091636424524128308519237442844601441036992659458930585947220602742551442875333967715500146155422961778740797094382458908982530646683643277310\
627492976156046872413325200349266823305380103785703637205762480007017686646596182988357809614937922588316467638916501172084164641692999330676867912279196457953930959331043092895946147875717253740818293723508758209096623822788408090366253\
975770937966710238782624745711777066430745725341538073611261288866463909278359202111443637975594889954280886151399410569492125366907691499703766701144894894787360953835617931919318664453159620734427176345946047470271307012501669967513638\
381653154690240060176029991657650865446348265477397804435388526809802556272188667210253654479980468750000020512768000000000000024364093992855823974403982751106595603350443066668611107447246159504295185690601930511366514390381798036429594\
026505698352797599736742773449967328275375010078284446072125826828328678157142453836337823309815338661906565288116447441233840603500279400036863646150301981346852995239095709526813062719124805996072822937248833743374773873947494120057096\
6830501551221034303061318578325393115842522847250841899869534200265036219388211293339714615873364544774371618489955953214055688225920305370139926208708607 );
[ Dauer der Verarbeitung: 0.13 Sekunden
(vorverarbeitet)
]