Quelle  p7-dim2-deg2-no2.g   Sprache: unbekannt

FW_QUOT_LIB[7][2][2][2] :=
rec( prime := 7, degree := 2, unramified := 1, ramified := 2, polynomial := [ 7, 0 ], dim := 2, size := 558545864083284007, code := 941619497843808140471457869038012307991466241709077441460644192330606554749368817375528591076486332579117\
047501645728706438210706763756448236012657011626971409725386038998652036536490509080464438188024176643315625007929055090703699745437216696999386615270555238839926543283534905699050905397705985563461215619810974124674251234284576759135106\
788557256449292706457768092363692152165120635003664268847133557534489548841883954945527311444194063818125371732200462392440990614165047315225203818467299310556623555342784688947377455937366918059202927945036600986962100385179019114359564\
894032235927912581391076173010863616883529963289057549772778863928194773707714939022790603464044125885673578437187810136043106165108469043595172110997810682973319711024431613484240071774125234844526041013857229729668816841454477842122417\
155259727951781061243509104190810900288390219624208122370517634800398791063065314241561310323716182029596041485877351439844119742064190772038205112745394806089954946302250732070332067406666575183932426853128437134780842757036514115814907\
420222608637647621277103972990524126813884642859375388276009184177432454064803987761790787959148482184378097145525605709830439312567841311663041996578902576284304378033012816459954469266338633051230917547414163167756551677970089133236565\
253333441528795572235376563813846491852370287228745652395476846556923924857308079423030387826542419805773263251465716056664335345057471549707749167612355141868602061159143483672345695813565821116284931652879788736554203365224361264387812\
280725067595238880704250516013542806805887900194526556525996217633704967442581269207715185749535650720190991202809054633485033170960422006443503387403785793624997210215891132442412829784089811557666474222462305943915747162683909678130063\
932769818864407963337525939089984225764656120910495110625525759 );