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

FW_QUOT_LIB[13][2][3][3] :=
rec( prime := 13, degree := 3, unramified := 1, ramified := 3, polynomial := [ -13, 0, 0 ], dim := 2, size := 542800770374370512771595361, code := 956112093796318697099485064630288290257385981401206920598528823101636471629936875340543432\
065796339680854186636561751639237041439736834245386582646596044578038896403814384522564080863142307156741226667715986175075013347601270324465073522248199083866644100731597000545493647043286625430581885754254909636693806009778553664822909\
812898381559277671888177252752373656645073856373296853515116278995862387093017250214225241836874170083182310320012507504809684995483682577003713701041821049478335180406944884687072128285712389126415599090258025089359052523499317844144723\
468351984262471897545024337586562469379447480714004524411923059217013055227276590252176816895900349160393392613433086299328556918832547638660682409547107767815543714912498855828203708939548789484269289224144467788369792679268134235114429\
565091215367562410054498773515802545375151804659534353451551208401181724461747470149624090255644527068890363984677932208435579887345650299569885180555340890915563504517021107124276010463206977953321813852469362996442336835670635836523402\
854867698362440848227543947233705764503749937591839308626929174462689760484731621993111002872518223174526656520453818425274682659327186856654788117036337092410710160775400735200045599607278549856488180813967177883928771671160787851122619\
770929669183690839381989475626914297199278180818465651227208512652739203213815032859197736046662912262300796062584754475441875897594752840081535408494979060827558519656447719380747587873039918312322530098681145757987383463109052044594841\
740970617865396811483000044066331737357998660997706307271191027365729295218385820961155258568765354849815590214021023767488123279932937258855556470356102281893230274531923970513059256641552723310995201794966559538332048155205741248859705\
842407581589137307780481104551304045311092705320022298581275961388173424597909164526384981161178336661327025199905770424061258074047538436182104383430726347292315387685454610481353197730013359325029084711270138384570866895037978574473054\
548434946710744245567100519122078100959173881484107210837082081022824584988901793739464751964833126536195370557363500355386173021565571411625922834355954665935259998940863483740132259330343987013591666411329915974216881331121825943360385\
767684771956881778632383953738786478601757961468157083010635623098172255810779273880820081126164068980674457908549324998093958420581936194469758559921743347957474713887863796313839835841625837235370496957142196133655396240766577967047454\
030696630317920144858970038319216791137291921413323037266016259566745853529861150158424936439175244738401885755081269807195810855656536630332341305713758017183456194833287792887350696131119008275753024759883765964258889267279115410414351\
466327775917171521756426318967959728890828246186590312835879838555001595118897607255422288848240196547597572964933419211859029123574602598918809374054631789729673729761131473699143893164932856365002865263408184247304055142643066213998824\
365389297660083466103437004086919622851914328312600456807572472321158071056036972195430368184627630968950661044736879669927035563785906513662488779552776483519575786217431690201573639662896501920396510166187737026297636533166202649265599\
990132324287082865767101964220625119264838547137911583008206471339593960605051001550851643380925288621607918625903983092482839741408743726530357805788468226721098354707302415962993269540175457272931897613593427012665516682145505581220231\
7771884846977330708549218454337792548172680016855030601749671082359643885776874572450214581433901410639818782333287026362218671622815999005349782678090919478242268308456652623343545462862844249073549425791500287 );