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

FW_QUOT_LIB[7][2][2][3] :=
rec( prime := 7, degree := 2, unramified := 1, ramified := 2, polynomial := [ -7, 0 ], dim := 2, size := 558545864083284007, code := 15693658297396811084149518516853955372738600477466674125859682224052198459584228725758968259036137518185\
027274203693521511638592805172953818091632071389441211098212174159602366833805615129919431819359357453210737014663118915627977976454744297815117690715410783661331441612505555784155598776376655932721227028474949851332743564478951850110188\
595961984617766384511170403061340467783311719682321622337737426901755483170209634789810278404552469970140668897013201270618942554359168478685540288258397895797148699056402813212720171640415768399941778434984746256074465662440335288391193\
497514777823827530009059562620839957151196905829532428627831219714775146184677828172781522258228178973610401943979431762459322100158491500719439404627831567820551015885361157922365263770312372169910391920259295373897328156734371936432122\
473534689835639342563073883551778402492606149020204555501550635734125337801717988911052393812742405250876906773427579153736426708605382233170381818430551157108909462261847642697532844753197424923928946197893111004419255369251408959523364\
400093406707626950188156860760225923520339866726860954103808142405916030495803880127504677055305049783865486948764016374267270006334271761513632260350693394394128410214646343310830163589569434126371877982907750736827630243222866604769791\
178272952314396122336051185228250074496656655519717402924232493977624466199010563675129304818696391693759967984427758313461600628392213769629139343606807078659228258612032766916626220944069988143484826785111841354620983317186325271935590\
536120762566730431483371017243363140723292735580469852489109095365800049245295290628042494959727055954067514858679845471114682444548187776703447894638355111454690573273928775664852746916300264720292817096512710960593028467251565666296268\
5636942603103868788620466579712020204872975737591156197272092671 );