-
nf_fields • Show schema
Hide schema
{'class_group': [], 'class_number': 1, 'cm': False, 'coeffs': [1, -72, 787, -1814, -6419, 20748, 17949, -65992, -15516, 84688, -2270, -48836, 6764, 13960, -2696, -2044, 455, 146, -35, -4, 1], 'conductor': 220, 'degree': 20, 'disc_abs': 1470391355634309152000000000000000, 'disc_rad': 110, 'disc_sign': 1, 'gal_is_abelian': True, 'gal_is_cyclic': True, 'gal_is_solvable': True, 'galois_disc_exponents': [20, 15, 16], 'galois_label': '20T1', 'galt': 1, 'grd': 45.53775823431064, 'index': 1, 'inessentialp': [], 'is_galois': True, 'is_minimal_sibling': True, 'iso_number': 1, 'label': '20.20.1470391355634309152000000000000000.1', 'local_algs': ['2.10.2.20a1.2', '5.5.4.15a1.4', '11.2.5.8a1.2', '11.2.5.8a1.2'], 'maxp': 11, 'monogenic': 0, 'narrow_class_group': [2], 'narrow_class_number': 2, 'num_ram': 3, 'r2': 0, 'ramps': [2, 5, 11], 'rd': 45.5377582343, 'regulator': {'__RealLiteral__': 0, 'data': '8953413920.01', 'prec': 44}, 'subfield_mults': [1, 1, 1, 1], 'subfields': ['-1.-1.1', '5.0.-5.0.1', '-1.3.3.-4.-1.1', '-1.-3.18.7.-52.-11.46.8.-13.-1.1'], 'torsion_order': 2, 'unit_signature_rank': 19, 'used_grh': True}
-
nf_fields_extra •
{'dirichlet_group': [1, 67, 69, 9, 203, 141, 207, 81, 3, 23, 89, 27, 163, 103, 169, 47, 49, 147, 181, 201], 'frobs': [[2, [0]], [3, [[20, 1]]], [5, [0]], [7, [[20, 1]]], [11, [0]], [13, [[20, 1]]], [17, [[20, 1]]], [19, [[5, 4]]], [23, [[4, 5]]], [29, [[10, 2]]], [31, [[10, 2]]], [37, [[20, 1]]], [41, [[5, 4]]], [43, [[4, 5]]], [47, [[20, 1]]], [53, [[20, 1]]], [59, [[5, 4]]]], 'label': '20.20.1470391355634309152000000000000000.1', 'res': {}, 'torsion_gen': '\\( -1 \\)', 'units': ['\\( \\frac{174929876}{884372941} a^{19} - \\frac{673899290}{884372941} a^{18} - \\frac{6218535724}{884372941} a^{17} + \\frac{24606686920}{884372941} a^{16} + \\frac{83108702336}{884372941} a^{15} - \\frac{344738896726}{884372941} a^{14} - \\frac{521103623880}{884372941} a^{13} + \\frac{2357487850459}{884372941} a^{12} + \\frac{1524396168412}{884372941} a^{11} - \\frac{8266906522891}{884372941} a^{10} - \\frac{1610301276772}{884372941} a^{9} + \\frac{14405100955089}{884372941} a^{8} - \\frac{544506565172}{884372941} a^{7} - \\frac{11348805468261}{884372941} a^{6} + \\frac{1341886555748}{884372941} a^{5} + \\frac{3648990445211}{884372941} a^{4} - \\frac{498517107844}{884372941} a^{3} - \\frac{354778587694}{884372941} a^{2} + \\frac{70667211302}{884372941} a - \\frac{1635833215}{884372941} \\)', '\\( \\frac{12530699961293579883264}{237956895637344157879439} a^{19} - \\frac{48193411897205879354420}{237956895637344157879439} a^{18} - \\frac{446627895574689051313436}{237956895637344157879439} a^{17} + \\frac{1763078514553359294044730}{237956895637344157879439} a^{16} + \\frac{5995513161567351696531424}{237956895637344157879439} a^{15} - \\frac{24775386128910430011965624}{237956895637344157879439} a^{14} - \\frac{37900877315868066409058100}{237956895637344157879439} a^{13} + \\frac{170282346168504343354185476}{237956895637344157879439} a^{12} + \\frac{112894947979586709704992916}{237956895637344157879439} a^{11} - \\frac{602564394531632211006593168}{237956895637344157879439} a^{10} - \\frac{126914022701272213286938428}{237956895637344157879439} a^{9} + \\frac{1068875960243917771866101011}{237956895637344157879439} a^{8} - \\frac{23713135501587088690330868}{237956895637344157879439} a^{7} - \\frac{875276514505477080508866234}{237956895637344157879439} a^{6} + \\frac{92453040016965333367121676}{237956895637344157879439} a^{5} + \\frac{304839708239977714618187929}{237956895637344157879439} a^{4} - \\frac{39215602994579459670151936}{237956895637344157879439} a^{3} - \\frac{35057573893437018142712432}{237956895637344157879439} a^{2} + \\frac{5758904525258987407617932}{237956895637344157879439} a + \\frac{36976158687395400735824}{237956895637344157879439} \\)', '\\( \\frac{47721171985495078564104}{237956895637344157879439} a^{19} - \\frac{183992153878933406311740}{237956895637344157879439} a^{18} - \\frac{1696559910484379886782846}{237956895637344157879439} a^{17} + \\frac{6721901092964424555023640}{237956895637344157879439} a^{16} + \\frac{22672489394062985878663348}{237956895637344157879439} a^{15} - \\frac{94253896047016785016305554}{237956895637344157879439} a^{14} - \\frac{142060730193189448367321820}{237956895637344157879439} a^{13} + \\frac{645462794963103766880389256}{237956895637344157879439} a^{12} + \\frac{414045457177977256461617216}{237956895637344157879439} a^{11} - \\frac{2269098643784856884269499704}{237956895637344157879439} a^{10} - \\frac{425822169982714815274753358}{237956895637344157879439} a^{9} + \\frac{3973004988606382402373112016}{237956895637344157879439} a^{8} - \\frac{195600466661418888473789288}{237956895637344157879439} a^{7} - \\frac{3161216553591300455304101964}{237956895637344157879439} a^{6} + \\frac{440739963192414908862265470}{237956895637344157879439} a^{5} + \\frac{1034128983598703267133689539}{237956895637344157879439} a^{4} - \\frac{180063303350439441739994086}{237956895637344157879439} a^{3} - \\frac{102907390888380949828019997}{237956895637344157879439} a^{2} + \\frac{25948054233833814106239162}{237956895637344157879439} a - \\frac{1243764234872445329727868}{237956895637344157879439} \\)', '\\( \\frac{31622898982140392041324}{237956895637344157879439} a^{19} - \\frac{120168954095392609930690}{237956895637344157879439} a^{18} - \\frac{1130553761088360923838926}{237956895637344157879439} a^{17} + \\frac{4390184318359569091635920}{237956895637344157879439} a^{16} + \\frac{15255208516940052565272764}{237956895637344157879439} a^{15} - \\frac{61560744354003485772613274}{237956895637344157879439} a^{14} - \\frac{97388720794944855006000200}{237956895637344157879439} a^{13} + \\frac{421610671003464065241804441}{237956895637344157879439} a^{12} + \\frac{296755940027402163851834416}{237956895637344157879439} a^{11} - \\frac{1482401716339305130799192989}{237956895637344157879439} a^{10} - \\frac{361602876842203392578793478}{237956895637344157879439} a^{9} + \\frac{2596334206276397971647418971}{237956895637344157879439} a^{8} + \\frac{11662273698650675354728032}{237956895637344157879439} a^{7} - \\frac{2066874099853592349673547219}{237956895637344157879439} a^{6} + \\frac{176940580706663841434788562}{237956895637344157879439} a^{5} + \\frac{675258029850948256079882789}{237956895637344157879439} a^{4} - \\frac{81758000043436163582375826}{237956895637344157879439} a^{3} - \\frac{66564422488947861428274727}{237956895637344157879439} a^{2} + \\frac{13894348743198598597095292}{237956895637344157879439} a - \\frac{615513932760727489510884}{237956895637344157879439} \\)', '\\( \\frac{18766371522603998446256}{237956895637344157879439} a^{19} - \\frac{69272264357473725546420}{237956895637344157879439} a^{18} - \\frac{679347662950170571675874}{237956895637344157879439} a^{17} + \\frac{2534964780626263054851355}{237956895637344157879439} a^{16} + \\frac{9360004304103326504441556}{237956895637344157879439} a^{15} - \\frac{35642465542126938751446566}{237956895637344157879439} a^{14} - \\frac{62074843162620034188267160}{237956895637344157879439} a^{13} + \\frac{245212848417517421476756564}{237956895637344157879439} a^{12} + \\frac{205155961166285051375132724}{237956895637344157879439} a^{11} - \\frac{869153867591614947484271886}{237956895637344157879439} a^{10} - \\frac{315111516727227898550260722}{237956895637344157879439} a^{9} + \\frac{1545771198047737661914456394}{237956895637344157879439} a^{8} + \\frac{177920083354774761720253028}{237956895637344157879439} a^{7} - \\frac{1269165744523730169735322516}{237956895637344157879439} a^{6} - \\frac{24067853768027306091744446}{237956895637344157879439} a^{5} + \\frac{436571338094993933643860196}{237956895637344157879439} a^{4} - \\frac{8395131376227945455665454}{237956895637344157879439} a^{3} - \\frac{47903937552615399743366973}{237956895637344157879439} a^{2} + \\frac{4543210223944544393551778}{237956895637344157879439} a + \\frac{269620393689546482655619}{237956895637344157879439} \\)', '\\( \\frac{25110829940310759517960}{237956895637344157879439} a^{19} - \\frac{94391324372164609734295}{237956895637344157879439} a^{18} - \\frac{902973463127133636769070}{237956895637344157879439} a^{17} + \\frac{3454351844423069654564673}{237956895637344157879439} a^{16} + \\frac{12302996989239185350857480}{237956895637344157879439} a^{15} - \\frac{48570830653968778720088325}{237956895637344157879439} a^{14} - \\frac{79943124758131361059968160}{237956895637344157879439} a^{13} + \\frac{334164236255956517016807160}{237956895637344157879439} a^{12} + \\frac{252999342617742367879901900}{237956895637344157879439} a^{11} - \\frac{1184488385842804773461355260}{237956895637344157879439} a^{10} - \\frac{344865669280563050376517900}{237956895637344157879439} a^{9} + \\frac{2107058341170469250713369020}{237956895637344157879439} a^{8} + \\frac{99128345005444048639902824}{237956895637344157879439} a^{7} - \\frac{1732093453343581034231400606}{237956895637344157879439} a^{6} + \\frac{87979472179314927090938786}{237956895637344157879439} a^{5} + \\frac{600587693363511806080123215}{237956895637344157879439} a^{4} - \\frac{59069466659280681977867370}{237956895637344157879439} a^{3} - \\frac{67008986238132601967887125}{237956895637344157879439} a^{2} + \\frac{12588902685881376353167770}{237956895637344157879439} a - \\frac{265195680502290372452455}{237956895637344157879439} \\)', '\\( \\frac{63346936306280759169642}{237956895637344157879439} a^{19} - \\frac{237983614517310032872717}{237956895637344157879439} a^{18} - \\frac{2275570363020071156185228}{237956895637344157879439} a^{17} + \\frac{8698303096353089531710453}{237956895637344157879439} a^{16} + \\frac{30954333581907588773319504}{237956895637344157879439} a^{15} - \\frac{122061747803772299405519352}{237956895637344157879439} a^{14} - \\frac{200603675048721452749842598}{237956895637344157879439} a^{13} + \\frac{837010611028085535962561071}{237956895637344157879439} a^{12} + \\frac{631940437115596072323922780}{237956895637344157879439} a^{11} - \\frac{2949502283797404855256138426}{237956895637344157879439} a^{10} - \\frac{854406178675269966273976722}{237956895637344157879439} a^{9} + \\frac{5187489847080389920777088727}{237956895637344157879439} a^{8} + \\frac{245815364852178104619318268}{237956895637344157879439} a^{7} - \\frac{4163911224600472242338615158}{237956895637344157879439} a^{6} + \\frac{184221432302431111286504960}{237956895637344157879439} a^{5} + \\frac{1377670952759291842119442280}{237956895637344157879439} a^{4} - \\frac{108873965437806326843956432}{237956895637344157879439} a^{3} - \\frac{139971813672714201051746089}{237956895637344157879439} a^{2} + \\frac{21333131798042201261769962}{237956895637344157879439} a - \\frac{416861946716372499355153}{237956895637344157879439} \\)', '\\( \\frac{15552502667418374242422}{237956895637344157879439} a^{19} - \\frac{61012387519200908033392}{237956895637344157879439} a^{18} - \\frac{548283236975807526140338}{237956895637344157879439} a^{17} + \\frac{2225774592895008264189026}{237956895637344157879439} a^{16} + \\frac{7220421531922482313464444}{237956895637344157879439} a^{15} - \\frac{31136202282053757248815967}{237956895637344157879439} a^{14} - \\frac{43948422502895981050150822}{237956895637344157879439} a^{13} + \\frac{212376458047098805546346750}{237956895637344157879439} a^{12} + \\frac{119032847862875330766838032}{237956895637344157879439} a^{11} - \\frac{741197278571774632395406512}{237956895637344157879439} a^{10} - \\frac{84145011061975940086567442}{237956895637344157879439} a^{9} + \\frac{1279043263224365915452092847}{237956895637344157879439} a^{8} - \\frac{154464924735213581936482372}{237956895637344157879439} a^{7} - \\frac{984918788877849800935523324}{237956895637344157879439} a^{6} + \\frac{206078910776827599143179670}{237956895637344157879439} a^{5} + \\frac{299489192351216980955732244}{237956895637344157879439} a^{4} - \\frac{72055377661329337218190214}{237956895637344157879439} a^{3} - \\frac{23820556437426418848938724}{237956895637344157879439} a^{2} + \\frac{8898355856756682265101996}{237956895637344157879439} a - \\frac{914842195308124980913805}{237956895637344157879439} \\)', '\\( \\frac{23776459418966677935776}{237956895637344157879439} a^{19} - \\frac{88873259868077678819392}{237956895637344157879439} a^{18} - \\frac{855355263381879042958980}{237956895637344157879439} a^{17} + \\frac{3247409763184189210125126}{237956895637344157879439} a^{16} + \\frac{11662384810172177992866604}{237956895637344157879439} a^{15} - \\frac{45549748508468565299953001}{237956895637344157879439} a^{14} - \\frac{75878014334793191946920692}{237956895637344157879439} a^{13} + \\frac{312095820535168146188659927}{237956895637344157879439} a^{12} + \\frac{240806261051343588683184308}{237956895637344157879439} a^{11} - \\frac{1097994778316582743472622682}{237956895637344157879439} a^{10} - \\frac{330994230323041954313658240}{237956895637344157879439} a^{9} + \\frac{1923677063213262694550336133}{237956895637344157879439} a^{8} + \\frac{102076246506177618101620572}{237956895637344157879439} a^{7} - \\frac{1526723314140712383592677745}{237956895637344157879439} a^{6} + \\frac{75348272920631848785768430}{237956895637344157879439} a^{5} + \\frac{484894138099631973211120668}{237956895637344157879439} a^{4} - \\frac{52587121748998284685659240}{237956895637344157879439} a^{3} - \\frac{40293602543454817224360832}{237956895637344157879439} a^{2} + \\frac{11561973548278425215001390}{237956895637344157879439} a - \\frac{974080223465757855374475}{237956895637344157879439} \\)', '\\( \\frac{15771046860064230546284}{237956895637344157879439} a^{19} - \\frac{63859391017601767942070}{237956895637344157879439} a^{18} - \\frac{547236485502349475277286}{237956895637344157879439} a^{17} + \\frac{2322840904174506864822595}{237956895637344157879439} a^{16} + \\frac{7006415935367937048553164}{237956895637344157879439} a^{15} - \\frac{32340524198766575851079764}{237956895637344157879439} a^{14} - \\frac{40236846974833611706989260}{237956895637344157879439} a^{13} + \\frac{218830511675019382929367121}{237956895637344157879439} a^{12} + \\frac{92116072610280356390856108}{237956895637344157879439} a^{11} - \\frac{752645828536163190366705435}{237956895637344157879439} a^{10} + \\frac{8744199512971359678740962}{237956895637344157879439} a^{9} + \\frac{1261311665979427534648370526}{237956895637344157879439} a^{8} - \\frac{300716509482213519920203948}{237956895637344157879439} a^{7} - \\frac{909163740455464311751712969}{237956895637344157879439} a^{6} + \\frac{292674208831855200321745662}{237956895637344157879439} a^{5} + \\frac{240417318484638908160577644}{237956895637344157879439} a^{4} - \\frac{86524513221153180049218686}{237956895637344157879439} a^{3} - \\frac{12498228955780512388399821}{237956895637344157879439} a^{2} + \\frac{8950162288067546000038787}{237956895637344157879439} a - \\frac{984704628105464529561367}{237956895637344157879439} \\)', '\\( \\frac{38344217284415773812128}{237956895637344157879439} a^{19} - \\frac{143678753644524182116503}{237956895637344157879439} a^{18} - \\frac{1377308016902335626828372}{237956895637344157879439} a^{17} + \\frac{5245182462099164052544732}{237956895637344157879439} a^{16} + \\frac{18737118148466532670860742}{237956895637344157879439} a^{15} - \\frac{73465296353522765815440498}{237956895637344157879439} a^{14} - \\frac{121525017651031320235424717}{237956895637344157879439} a^{13} + \\frac{502176557017595594246582428}{237956895637344157879439} a^{12} + \\frac{384265589334207721654355327}{237956895637344157879439} a^{11} - \\frac{1759486179823446607363727265}{237956895637344157879439} a^{10} - \\frac{529985791221938492965643623}{237956895637344157879439} a^{9} + \\frac{3059595887049320632679040313}{237956895637344157879439} a^{8} + \\frac{193212588301439602509059457}{237956895637344157879439} a^{7} - \\frac{2395624672539613378700909267}{237956895637344157879439} a^{6} + \\frac{41414723360962348613429529}{237956895637344157879439} a^{5} + \\frac{751954291703157749145080185}{237956895637344157879439} a^{4} - \\frac{25413349034406274126951802}{237956895637344157879439} a^{3} - \\frac{67590940735177973554054603}{237956895637344157879439} a^{2} + \\frac{7046036297312660748457551}{237956895637344157879439} a + \\frac{33086437343990649814983}{237956895637344157879439} \\)', '\\( \\frac{325827498242813711804}{237956895637344157879439} a^{19} - \\frac{2703277840713005029850}{237956895637344157879439} a^{18} - \\frac{4578202563501300849616}{237956895637344157879439} a^{17} + \\frac{92141023179946742739835}{237956895637344157879439} a^{16} - \\frac{100308948730625635700216}{237956895637344157879439} a^{15} - \\frac{1142892682966117009201084}{237956895637344157879439} a^{14} + \\frac{2586999683543245591325060}{237956895637344157879439} a^{13} + \\frac{6115476417442300410862401}{237956895637344157879439} a^{12} - \\frac{21294969118469597228291224}{237956895637344157879439} a^{11} - \\frac{10683454216057972308327935}{237956895637344157879439} a^{10} + \\frac{80422662586296719258405672}{237956895637344157879439} a^{9} - \\frac{18312952015257462133138434}{237956895637344157879439} a^{8} - \\frac{142544674154536997675194128}{237956895637344157879439} a^{7} + \\frac{77568159175614900570641531}{237956895637344157879439} a^{6} + \\frac{108555394457725814159411332}{237956895637344157879439} a^{5} - \\frac{66153016484023392182165336}{237956895637344157879439} a^{4} - \\frac{34147265672628758456558436}{237956895637344157879439} a^{3} + \\frac{16397088957104556457804678}{237956895637344157879439} a^{2} + \\frac{3830190889632410953805021}{237956895637344157879439} a - \\frac{922110485137669372902327}{237956895637344157879439} \\)', '\\( a \\)', '\\( \\frac{15198798480542891806740}{237956895637344157879439} a^{19} - \\frac{53642476471138808519790}{237956895637344157879439} a^{18} - \\frac{559969409128840660045390}{237956895637344157879439} a^{17} + \\frac{1966326520574766885508365}{237956895637344157879439} a^{16} + \\frac{7938236588547744887582396}{237956895637344157879439} a^{15} - \\frac{27724699978024069519719910}{237956895637344157879439} a^{14} - \\frac{55303711080243507236003640}{237956895637344157879439} a^{13} + \\frac{191643070626382063192357225}{237956895637344157879439} a^{12} + \\frac{200761391995296668470342840}{237956895637344157879439} a^{11} - \\frac{685021334677695405020558339}{237956895637344157879439} a^{10} - \\frac{377806246287988689141239270}{237956895637344157879439} a^{9} + \\frac{1237976375961671003054864360}{237956895637344157879439} a^{8} + \\frac{361469688213257236858439480}{237956895637344157879439} a^{7} - \\frac{1050099805291499144613634005}{237956895637344157879439} a^{6} - \\frac{195414196236813040152099678}{237956895637344157879439} a^{5} + \\frac{382540092587216637208241375}{237956895637344157879439} a^{4} + \\frac{50694568936195873031800870}{237956895637344157879439} a^{3} - \\frac{46618543046619329486334135}{237956895637344157879439} a^{2} - \\frac{1989547637069027865853599}{237956895637344157879439} a + \\frac{696889958851315565728988}{237956895637344157879439} \\)', '\\( \\frac{19092199020846812158060}{237956895637344157879439} a^{19} - \\frac{71975542198186730576270}{237956895637344157879439} a^{18} - \\frac{683925865513671872525490}{237956895637344157879439} a^{17} + \\frac{2627105803806209797591190}{237956895637344157879439} a^{16} + \\frac{9259695355372700868741340}{237956895637344157879439} a^{15} - \\frac{36785358225093055760647650}{237956895637344157879439} a^{14} - \\frac{59487843479076788596942100}{237956895637344157879439} a^{13} + \\frac{251328324834959721887618965}{237956895637344157879439} a^{12} + \\frac{183860992047815454146841500}{237956895637344157879439} a^{11} - \\frac{879837321807672919792599821}{237956895637344157879439} a^{10} - \\frac{234688854140931179291855050}{237956895637344157879439} a^{9} + \\frac{1527458246032480199781317960}{237956895637344157879439} a^{8} + \\frac{35375409200237764045058900}{237956895637344157879439} a^{7} - \\frac{1191597585348115269164680985}{237956895637344157879439} a^{6} + \\frac{84487540689698508067666886}{237956895637344157879439} a^{5} + \\frac{370418321610970541461694860}{237956895637344157879439} a^{4} - \\frac{42542397048856703912223890}{237956895637344157879439} a^{3} - \\frac{31506848595510843285562295}{237956895637344157879439} a^{2} + \\frac{8373401113576955347356799}{237956895637344157879439} a - \\frac{652490091448122890246708}{237956895637344157879439} \\)', '\\( \\frac{96887496618828249653314}{237956895637344157879439} a^{19} - \\frac{368199691446542773673400}{237956895637344157879439} a^{18} - \\frac{3464482384180811824843236}{237956895637344157879439} a^{17} + \\frac{13453466637743410414680271}{237956895637344157879439} a^{16} + \\frac{46765427896238314310370424}{237956895637344157879439} a^{15} - \\frac{188690520384734010642645054}{237956895637344157879439} a^{14} - \\frac{298796364243694879279157895}{237956895637344157879439} a^{13} + \\frac{1292748427126138641509171286}{237956895637344157879439} a^{12} + \\frac{912600550003561615141771523}{237956895637344157879439} a^{11} - \\frac{4548243461167434142851786084}{237956895637344157879439} a^{10} - \\frac{1123335971706842781772012793}{237956895637344157879439} a^{9} + \\frac{7975546165035236849731866136}{237956895637344157879439} a^{8} + \\frac{75058017124725222803956257}{237956895637344157879439} a^{7} - \\frac{6364497324210531880434870142}{237956895637344157879439} a^{6} + \\frac{489068136545277787860999698}{237956895637344157879439} a^{5} + \\frac{2088628221664022291514262194}{237956895637344157879439} a^{4} - \\frac{217147677840277007165655006}{237956895637344157879439} a^{3} - \\frac{209312465080391268661836936}{237956895637344157879439} a^{2} + \\frac{36683096859009712886673513}{237956895637344157879439} a - \\frac{1245860237433693124381848}{237956895637344157879439} \\)', '\\( \\frac{11133888989499368255220}{237956895637344157879439} a^{19} - \\frac{47126216815641297445608}{237956895637344157879439} a^{18} - \\frac{380161447150106914828189}{237956895637344157879439} a^{17} + \\frac{1718563602424149545256876}{237956895637344157879439} a^{16} + \\frac{4720905460196585566401196}{237956895637344157879439} a^{15} - \\frac{24023197884077510378573759}{237956895637344157879439} a^{14} - \\frac{25244482678907675563946416}{237956895637344157879439} a^{13} + \\frac{163659694007216633876142662}{237956895637344157879439} a^{12} + \\frac{43368997889093857035604048}{237956895637344157879439} a^{11} - \\frac{570147161543759620718534852}{237956895637344157879439} a^{10} + \\frac{82362841583812261631674199}{237956895637344157879439} a^{9} + \\frac{982311725450031983903691557}{237956895637344157879439} a^{8} - \\frac{345461038465410704792924675}{237956895637344157879439} a^{7} - \\frac{760728936283638870969009067}{237956895637344157879439} a^{6} + \\frac{310985837274781930890338181}{237956895637344157879439} a^{5} + \\frac{248356888204989519039517871}{237956895637344157879439} a^{4} - \\frac{91269323365943790960103243}{237956895637344157879439} a^{3} - \\frac{28674388189215717873946546}{237956895637344157879439} a^{2} + \\frac{7575910658180952954473243}{237956895637344157879439} a - \\frac{282208175552220619594646}{237956895637344157879439} \\)', '\\( \\frac{16872426966393225906302}{237956895637344157879439} a^{19} - \\frac{66586732414919695065774}{237956895637344157879439} a^{18} - \\frac{592459023721543531606994}{237956895637344157879439} a^{17} + \\frac{2424598102106899800533086}{237956895637344157879439} a^{16} + \\frac{7751790766295971245667921}{237956895637344157879439} a^{15} - \\frac{33816987343962545814280136}{237956895637344157879439} a^{14} - \\frac{46639978172659425886824315}{237956895637344157879439} a^{13} + \\frac{229526512507771893718906628}{237956895637344157879439} a^{12} + \\frac{123182624688294450691387238}{237956895637344157879439} a^{11} - \\frac{794048299263584394786727838}{237956895637344157879439} a^{10} - \\frac{77403109408078713653037011}{237956895637344157879439} a^{9} + \\frac{1347351979434312448586788376}{237956895637344157879439} a^{8} - \\frac{169384499922361475700450777}{237956895637344157879439} a^{7} - \\frac{1002736789791170402009952787}{237956895637344157879439} a^{6} + \\frac{191771124268627483517235659}{237956895637344157879439} a^{5} + \\frac{290887821958786032228188971}{237956895637344157879439} a^{4} - \\frac{53334009405754721613317859}{237956895637344157879439} a^{3} - \\frac{25201084283869756466061707}{237956895637344157879439} a^{2} + \\frac{5183510646652522315065026}{237956895637344157879439} a - \\frac{121863043270711381367292}{237956895637344157879439} \\)', '\\( \\frac{9285751696014811294661}{237956895637344157879439} a^{19} - \\frac{29817299837725121261544}{237956895637344157879439} a^{18} - \\frac{351182375064808990883419}{237956895637344157879439} a^{17} + \\frac{1088417516468931167058659}{237956895637344157879439} a^{16} + \\frac{5179627817042523277054228}{237956895637344157879439} a^{15} - \\frac{15248628009293187598612011}{237956895637344157879439} a^{14} - \\frac{38381195458383434351278549}{237956895637344157879439} a^{13} + \\frac{104294469631967379980052716}{237956895637344157879439} a^{12} + \\frac{153783954410577819774163621}{237956895637344157879439} a^{11} - \\frac{365677244650945994671704329}{237956895637344157879439} a^{10} - \\frac{338244207125392598200442619}{237956895637344157879439} a^{9} + \\frac{635279375309556174961719922}{237956895637344157879439} a^{8} + \\frac{401980966817531618154762658}{237956895637344157879439} a^{7} - \\frac{491266406139124446614161959}{237956895637344157879439} a^{6} - \\frac{251122922341345718402233334}{237956895637344157879439} a^{5} + \\frac{138430789273514726340447945}{237956895637344157879439} a^{4} + \\frac{63098949119240935782343639}{237956895637344157879439} a^{3} - \\frac{5775430029527024540688493}{237956895637344157879439} a^{2} - \\frac{1691860787130759175490268}{237956895637344157879439} a - \\frac{44701342673950313603096}{237956895637344157879439} \\)'], 'zk': ['1', 'a', 'a^2', 'a^3', 'a^4', 'a^5', 'a^6', 'a^7', 'a^8', 'a^9', 'a^10', 'a^11', 'a^12', 'a^13', 'a^14', 'a^15', 'a^16', 'a^17', '1/884372941*a^18 - 433934556/884372941*a^17 + 282192243/884372941*a^16 - 394641417/884372941*a^15 + 139771924/884372941*a^14 - 322974840/884372941*a^13 + 30938985/884372941*a^12 - 151298292/884372941*a^11 - 112545307/884372941*a^10 - 215392746/884372941*a^9 + 388285222/884372941*a^8 + 64050219/884372941*a^7 + 71148378/884372941*a^6 + 174835562/884372941*a^5 + 438006565/884372941*a^4 - 263417180/884372941*a^3 + 55954187/884372941*a^2 - 704594/884372941*a - 82193344/884372941', '1/237956895637344157879439*a^19 + 132546192707036/237956895637344157879439*a^18 - 23576606896499687087225/237956895637344157879439*a^17 + 79078347160117178175112/237956895637344157879439*a^16 - 21252820414485752588362/237956895637344157879439*a^15 - 2789563297002485215964/237956895637344157879439*a^14 - 88839568672317756725202/237956895637344157879439*a^13 - 27400280445131474852716/237956895637344157879439*a^12 - 90111022790693761137853/237956895637344157879439*a^11 - 109735676887127840688256/237956895637344157879439*a^10 - 7225421086519220050442/237956895637344157879439*a^9 - 45908117503532501277987/237956895637344157879439*a^8 + 52166771530386026883881/237956895637344157879439*a^7 - 83420678356353414053256/237956895637344157879439*a^6 + 41888525907520523954137/237956895637344157879439*a^5 - 111861946957203324631331/237956895637344157879439*a^4 - 47689514991000219004453/237956895637344157879439*a^3 + 90040449429110135583898/237956895637344157879439*a^2 + 21424294829096752494343/237956895637344157879439*a - 41887632459061143439478/237956895637344157879439']}