/* Data is in the following format
   Note, if the class group has not been computed, it, the class number, the fundamental units, regulator and whether grh was assumed are all 0.
[polynomial,
degree,
t-number of Galois group,
signature [r,s],
discriminant,
list of ramifying primes,
integral basis as polynomials in a,
1 if it is a cm field otherwise 0,
class number,
class group structure,
1 if grh was assumed and 0 if not,
fundamental units,
regulator,
list of subfields each as a pair [polynomial, number of subfields isomorphic to one defined by this polynomial]
]
*/

[x^23 - x^22 - 66*x^21 + 147*x^20 + 1630*x^19 - 5648*x^18 - 16457*x^17 + 92686*x^16 + 18441*x^15 - 709360*x^14 + 832638*x^13 + 2239299*x^12 - 5679764*x^11 - 156443*x^10 + 12673530*x^9 - 11318727*x^8 - 6468097*x^7 + 14166332*x^6 - 3186420*x^5 - 5386949*x^4 + 2918745*x^3 + 436718*x^2 - 516219*x + 63941, 23, 1, [23, 0], 140063703503689367173618364344202364099995564521, [139], [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, a^18, 1/43*a^19 - 12/43*a^18 + 19/43*a^17 - 9/43*a^16 + 11/43*a^14 - 20/43*a^13 + 18/43*a^10 + 2/43*a^8 + 2/43*a^7 + 11/43*a^6 + 21/43*a^5 - 20/43*a^4 + 21/43*a^3 - 2/43*a, 1/43*a^20 + 4/43*a^18 + 4/43*a^17 + 21/43*a^16 + 11/43*a^15 - 17/43*a^14 + 18/43*a^13 + 18/43*a^11 + 1/43*a^10 + 2/43*a^9 - 17/43*a^8 - 8/43*a^7 - 19/43*a^6 + 17/43*a^5 - 4/43*a^4 - 6/43*a^3 - 2/43*a^2 + 19/43*a, 1/754951*a^21 - 5533/754951*a^20 + 7720/754951*a^19 + 366192/754951*a^18 + 363702/754951*a^17 + 321430/754951*a^16 - 74081/754951*a^15 - 87043/754951*a^14 - 298075/754951*a^13 + 72645/754951*a^12 - 85747/754951*a^11 - 242076/754951*a^10 - 312169/754951*a^9 + 332913/754951*a^8 + 288609/754951*a^7 + 242824/754951*a^6 + 361274/754951*a^5 + 1930/7783*a^4 - 318747/754951*a^3 + 161757/754951*a^2 - 52318/754951*a + 7827/17557, 1/1424880116117105488551658527949*a^22 + 760445898851806163691671/1424880116117105488551658527949*a^21 - 11731147140587931675190947439/1424880116117105488551658527949*a^20 + 16517348045468643320241954208/1424880116117105488551658527949*a^19 - 392266998589102181978954831679/1424880116117105488551658527949*a^18 - 453160600122698737131456859472/1424880116117105488551658527949*a^17 - 591812284922908894325999876630/1424880116117105488551658527949*a^16 - 304118660702128975433196696289/1424880116117105488551658527949*a^15 + 591299700161782929479439974537/1424880116117105488551658527949*a^14 - 224213291241531700816956649405/1424880116117105488551658527949*a^13 - 703611615285089579928594527900/1424880116117105488551658527949*a^12 + 652026345437595812768557348917/1424880116117105488551658527949*a^11 - 4471401494433208405902384462/14689485733166035964450087917*a^10 - 115845137743880685202933417833/1424880116117105488551658527949*a^9 - 142357881441246291245340579092/1424880116117105488551658527949*a^8 + 270211501011554981974562726251/1424880116117105488551658527949*a^7 - 555497250160671734426512263033/1424880116117105488551658527949*a^6 - 79940787894248029944425140770/1424880116117105488551658527949*a^5 + 173163381751297406804763935603/1424880116117105488551658527949*a^4 - 278515365747601056858491545903/1424880116117105488551658527949*a^3 + 602682006965624574094796952891/1424880116117105488551658527949*a^2 - 239609006807047678926723835309/1424880116117105488551658527949*a + 1212150684671470448218646809/33136746886444313687247872743], 0, 1, [], 1, [ (1267590402528319678836588811670)/(1424880116117105488551658527949)*a^(22) + (1220976331886098504811921054312)/(1424880116117105488551658527949)*a^(21) - (81274840113763758413008718040380)/(1424880116117105488551658527949)*a^(20) + (26749650716528175009124703699022)/(1424880116117105488551658527949)*a^(19) + (2119349150581042456438051435292792)/(1424880116117105488551658527949)*a^(18) - (2997948874469022214179727180221840)/(1424880116117105488551658527949)*a^(17) - (26763499268382547805352279506144245)/(1424880116117105488551658527949)*a^(16) + (64948587709736730516044519722093706)/(1424880116117105488551658527949)*a^(15) + (151112594668403834691252202646145878)/(1424880116117105488551658527949)*a^(14) - (602770056193964069145720488283405786)/(1424880116117105488551658527949)*a^(13) - (129486958183538803397108759190225802)/(1424880116117105488551658527949)*a^(12) + (2587400351400244162264095752074865124)/(1424880116117105488551658527949)*a^(11) - (2115368863516103832724382183174927200)/(1424880116117105488551658527949)*a^(10) - (4366810364271266977415979171870786662)/(1424880116117105488551658527949)*a^(9) + (7491611272482408966934510233952214438)/(1424880116117105488551658527949)*a^(8) + (393861368214000690140837512109949416)/(1424880116117105488551658527949)*a^(7) - (7448348725714618174839538847895045006)/(1424880116117105488551658527949)*a^(6) + (3309282908222573909317439689639467776)/(1424880116117105488551658527949)*a^(5) + (2487267283605525525502296298331804782)/(1424880116117105488551658527949)*a^(4) - (1941206005379720328046081828839422778)/(1424880116117105488551658527949)*a^(3) - (124007681383800173656442386108106884)/(1424880116117105488551658527949)*a^(2) + (311406946090785147774638722810057090)/(1424880116117105488551658527949)*a - (956670179790997270002349000606338)/(33136746886444313687247872743) , (1858594209310110896022449087345)/(1424880116117105488551658527949)*a^(22) + (1788662567268977961255210598654)/(1424880116117105488551658527949)*a^(21) - (119161001939281426205024029469416)/(1424880116117105488551658527949)*a^(20) + (39370297390667055763168748607330)/(1424880116117105488551658527949)*a^(19) + (3107016173174526980166725987781016)/(1424880116117105488551658527949)*a^(18) - (4400210653387273310886054064744764)/(1424880116117105488551658527949)*a^(17) - (39228396769031960688857425011524686)/(1424880116117105488551658527949)*a^(16) + (95291463709199602493727349629727567)/(1424880116117105488551658527949)*a^(15) + (221360854026505486230477416207091486)/(1424880116117105488551658527949)*a^(14) - (884182949552085812215284187707717786)/(1424880116117105488551658527949)*a^(13) - (188149804122970137578663155396283037)/(1424880116117105488551658527949)*a^(12) + (3794364494804679671537461395099007696)/(1424880116117105488551658527949)*a^(11) - (3108919805192963845499515059503806274)/(1424880116117105488551658527949)*a^(10) - (6399369169385609557308426399309392488)/(1424880116117105488551658527949)*a^(9) + (10998690473377075544322804753771116212)/(1424880116117105488551658527949)*a^(8) + (563090014508305635224601842743049443)/(1424880116117105488551658527949)*a^(7) - (10930192390578295923023011040538334365)/(1424880116117105488551658527949)*a^(6) + (4867818083908813081609629134174887812)/(1424880116117105488551658527949)*a^(5) + (3647357983772621423351572000126501850)/(1424880116117105488551658527949)*a^(4) - (2852563873210338952897679123390372307)/(1424880116117105488551658527949)*a^(3) - (180933155813824325327142907368102134)/(1424880116117105488551658527949)*a^(2) + (457473013880157952302428785342034147)/(1424880116117105488551658527949)*a - (1405830107947107045442508311271131)/(33136746886444313687247872743) , (1643479502898772985903026407815)/(1424880116117105488551658527949)*a^(22) + (1569105443543573851888167622140)/(1424880116117105488551658527949)*a^(21) - (105414114565718990249773168412696)/(1424880116117105488551658527949)*a^(20) + (35510455942124163324795240753329)/(1424880116117105488551658527949)*a^(19) + (2749006369176755121992074527188214)/(1424880116117105488551658527949)*a^(18) - (3908284470861281972942320499602342)/(1424880116117105488551658527949)*a^(17) - (34705278237679214420148161091138047)/(1424880116117105488551658527949)*a^(16) + (84496360545875125279088035670963915)/(1424880116117105488551658527949)*a^(15) + (195727249826008350446382617942112241)/(1424880116117105488551658527949)*a^(14) - (783568946773681602605748311079802285)/(1424880116117105488551658527949)*a^(13) - (164942134291151534899704109907028571)/(1424880116117105488551658527949)*a^(12) + (3361662586660385932706225187698056180)/(1424880116117105488551658527949)*a^(11) - (2758692357678804253377336419907738260)/(1424880116117105488551658527949)*a^(10) - (5668461867651892955814571230297355755)/(1424880116117105488551658527949)*a^(9) + (9750184004556872067261319601424757624)/(1424880116117105488551658527949)*a^(8) + (497339756184879504198233214134373404)/(1424880116117105488551658527949)*a^(7) - (9688561107690769676284117043015182771)/(1424880116117105488551658527949)*a^(6) + (4313467319128820263684837643626592532)/(1424880116117105488551658527949)*a^(5) + (3233835214341898092369086841850419543)/(1424880116117105488551658527949)*a^(4) - (2527392841613929654417122185302435843)/(1424880116117105488551658527949)*a^(3) - (160826149647958125455181456150846930)/(1424880116117105488551658527949)*a^(2) + (405283261916837338196258484184243645)/(1424880116117105488551658527949)*a - (1245292591853762529185914043878735)/(33136746886444313687247872743) , (9190321161141020694963702058262)/(1424880116117105488551658527949)*a^(22) + (8813529104310220716564287749568)/(1424880116117105488551658527949)*a^(21) - (589301120597484192251709490395043)/(1424880116117105488551658527949)*a^(20) + (196517224654003572900511131900333)/(1424880116117105488551658527949)*a^(19) + (15365521418937742079380154611654288)/(1424880116117105488551658527949)*a^(18) - (21805238202989215033069342956603307)/(1424880116117105488551658527949)*a^(17) - (193969669930644240640422969791460751)/(1424880116117105488551658527949)*a^(16) + (471821970750543888013796620853065638)/(1424880116117105488551658527949)*a^(15) + (1093886998902928817969616325486328873)/(1424880116117105488551658527949)*a^(14) - (4376358913302697070031862327127347364)/(1424880116117105488551658527949)*a^(13) - (921864897232833259003438262449498839)/(1424880116117105488551658527949)*a^(12) + (18774832796038886489789811027510489718)/(1424880116117105488551658527949)*a^(11) - (15416153855887293668212480779194397501)/(1424880116117105488551658527949)*a^(10) - (31643329496967126498780933028834579966)/(1424880116117105488551658527949)*a^(9) + (54481152723326130003843257549827432917)/(1424880116117105488551658527949)*a^(8) + (2718752813359416468870828820085646966)/(1424880116117105488551658527949)*a^(7) - (54121041087925708134992587645030007902)/(1424880116117105488551658527949)*a^(6) + (24158335574509871689786943949045312515)/(1424880116117105488551658527949)*a^(5) + (18049166909423685120272942229572145046)/(1424880116117105488551658527949)*a^(4) - (14145659132119365146607343984513814196)/(1424880116117105488551658527949)*a^(3) - (890774091220120337163790717895684656)/(1424880116117105488551658527949)*a^(2) + (2268362072487258273114849540047791238)/(1424880116117105488551658527949)*a - (6975226496555646189818862102054424)/(33136746886444313687247872743) , (4669233876506968055943386623538)/(1424880116117105488551658527949)*a^(22) + (4487649183046145422654670399595)/(1424880116117105488551658527949)*a^(21) - (299369722840610582623362885253007)/(1424880116117105488551658527949)*a^(20) + (99276684275713216288053290797737)/(1424880116117105488551658527949)*a^(19) + (7805605431616191661070272891180252)/(1424880116117105488551658527949)*a^(18) - (257303323861687604130688937080734)/(33136746886444313687247872743)*a^(17) - (98540977160359034833761573741492640)/(1424880116117105488551658527949)*a^(16) + (239521235846528473949669822633378520)/(1424880116117105488551658527949)*a^(15) + (555855035363475651055741626060683879)/(1424880116117105488551658527949)*a^(14) - (2222072203058830609298651846546428108)/(1424880116117105488551658527949)*a^(13) - (470119537863940201284990040191046717)/(1424880116117105488551658527949)*a^(12) + (9533946564194928696706322551149396180)/(1424880116117105488551658527949)*a^(11) - (7822292555127670104156928099110343739)/(1424880116117105488551658527949)*a^(10) - (16071554978253263653972686200826917342)/(1424880116117105488551658527949)*a^(9) + (27655980162236218295163007148043100853)/(1424880116117105488551658527949)*a^(8) + (1388611321845560429866360704130529844)/(1424880116117105488551658527949)*a^(7) - (27476057765644863416811633135128335506)/(1424880116117105488551658527949)*a^(6) + (12260099172937040201352552692975898477)/(1424880116117105488551658527949)*a^(5) + (9163796214259847133579951264081919189)/(1424880116117105488551658527949)*a^(4) - (7180411816675475903543570150363283452)/(1424880116117105488551658527949)*a^(3) - (452393244506485627193479889696545504)/(1424880116117105488551658527949)*a^(2) + (1151543454371747711402373866510674019)/(1424880116117105488551658527949)*a - (3540813667416556638600211812099082)/(33136746886444313687247872743) , (1235279286923566422660041377695)/(1424880116117105488551658527949)*a^(22) + (1171349249662811588351662381677)/(1424880116117105488551658527949)*a^(21) - (79247765878160029922225950002627)/(1424880116117105488551658527949)*a^(20) + (27187078821474985211670062342805)/(1424880116117105488551658527949)*a^(19) + (2066550813729732391619921619723357)/(1424880116117105488551658527949)*a^(18) - (2950545818425280466157658797201725)/(1424880116117105488551658527949)*a^(17) - (26079328144743054129905953992138561)/(1424880116117105488551658527949)*a^(16) + (63682720942476615672712172248028832)/(1424880116117105488551658527949)*a^(15) + (146875270370209825877419364063368086)/(1424880116117105488551658527949)*a^(14) - (590117106935617456787513085257334360)/(1424880116117105488551658527949)*a^(13) - (121336322668836231317806373034277422)/(1424880116117105488551658527949)*a^(12) + (2529977280739834244447817767928627042)/(1424880116117105488551658527949)*a^(11) - (2086450182128664100230274374501901656)/(1424880116117105488551658527949)*a^(10) - (4259404882694909663447174733193733791)/(1424880116117105488551658527949)*a^(9) + (7356343057063528058483833312350641904)/(1424880116117105488551658527949)*a^(8) + (353012812731814114249001022118010679)/(1424880116117105488551658527949)*a^(7) - (7303119508539194163840458866050532839)/(1424880116117105488551658527949)*a^(6) + (3268923150069048310132765793256544050)/(1424880116117105488551658527949)*a^(5) + (2434066132737930142942044312481531482)/(1424880116117105488551658527949)*a^(4) - (1911740940259552802478130363234732584)/(1424880116117105488551658527949)*a^(3) - (119580622717756067195575901907459276)/(1424880116117105488551658527949)*a^(2) + (306478091129387232875819093851354188)/(1424880116117105488551658527949)*a - (942797740559790071563596033438928)/(33136746886444313687247872743) , (4924486112243393321297454479941)/(1424880116117105488551658527949)*a^(22) + (4723232547810208844053923900575)/(1424880116117105488551658527949)*a^(21) - (315751709758750873829456518406551)/(1424880116117105488551658527949)*a^(20) + (105320829141337373325984804592575)/(1424880116117105488551658527949)*a^(19) + (8232569341798290569115697093395957)/(1424880116117105488551658527949)*a^(18) - (11685202054953156924245165174887468)/(1424880116117105488551658527949)*a^(17) - (103917301387390044353278422230646488)/(1424880116117105488551658527949)*a^(16) + (252833701008148468772504669622886750)/(1424880116117105488551658527949)*a^(15) + (585909888422618564007489529507189918)/(1424880116117105488551658527949)*a^(14) - (2345017215817129692182482217436515181)/(1424880116117105488551658527949)*a^(13) - (492298273775759307912504501819186686)/(1424880116117105488551658527949)*a^(12) + (10059209611916039689184658050968174056)/(1424880116117105488551658527949)*a^(11) - (8266911429389147957597465271565716937)/(1424880116117105488551658527949)*a^(10) - (16948375995800584908427131735970813201)/(1424880116117105488551658527949)*a^(9) + (29204130888482791043309246791025574284)/(1424880116117105488551658527949)*a^(8) + (1437727926945229735108642735042262537)/(1424880116117105488551658527949)*a^(7) - (29005304762038846605739701477208167545)/(1424880116117105488551658527949)*a^(6) + (12964060809505419684690130543288721884)/(1424880116117105488551658527949)*a^(5) + (9669436698237309290305553575749756475)/(1424880116117105488551658527949)*a^(4) - (7587683746874937252807108477091075074)/(1424880116117105488551658527949)*a^(3) - (475680629078762304101755464197303018)/(1424880116117105488551658527949)*a^(2) + (1216667551737585302380230144905773827)/(1424880116117105488551658527949)*a - (3742210266847460537890618039685393)/(33136746886444313687247872743) , (251687770821357498353325221021)/(1424880116117105488551658527949)*a^(22) + (261125979826466811506231747834)/(1424880116117105488551658527949)*a^(21) - (16078000412167702868792477126849)/(1424880116117105488551658527949)*a^(20) + (4237937407037193420623538206565)/(1424880116117105488551658527949)*a^(19) + (418788774651369104379853707804252)/(1424880116117105488551658527949)*a^(18) - (568083187557368844809836830056075)/(1424880116117105488551658527949)*a^(17) - (5296812529306362366270378788221701)/(1424880116117105488551658527949)*a^(16) + (12529041539588131377603347123581557)/(1424880116117105488551658527949)*a^(15) + (30134474992602406312412313449975919)/(1424880116117105488551658527949)*a^(14) - (117021374179487279328381091138404277)/(1424880116117105488551658527949)*a^(13) - (28667793629627234870234491198288935)/(1424880116117105488551658527949)*a^(12) + (504171853236078859294801660526867325)/(1424880116117105488551658527949)*a^(11) - (402428862987877317142786930062375079)/(1424880116117105488551658527949)*a^(10) - (854863632574614571263046724490411543)/(1424880116117105488551658527949)*a^(9) + (1444964997655923850881380840000246502)/(1424880116117105488551658527949)*a^(8) + (86573142573411069040360472038706158)/(1424880116117105488551658527949)*a^(7) - (1440547052221345918743716799085835776)/(1424880116117105488551658527949)*a^(6) + (635845601206221591509914944138552008)/(1424880116117105488551658527949)*a^(5) + (481347025098731768892739426649708281)/(1424880116117105488551658527949)*a^(4) - (374909068734324714155051744463586003)/(1424880116117105488551658527949)*a^(3) - (23957821022720742347533476893349754)/(1424880116117105488551658527949)*a^(2) + (60256447247433276565518686194444854)/(1424880116117105488551658527949)*a - (185209721766920002269455293203208)/(33136746886444313687247872743) , (14213380592831961628855224480168)/(1424880116117105488551658527949)*a^(22) + (13667322177757210335389265594201)/(1424880116117105488551658527949)*a^(21) - (911274103062330086047638773683541)/(1424880116117105488551658527949)*a^(20) + (301829710486014479415967316541612)/(1424880116117105488551658527949)*a^(19) + (23759915482998988099700941087428638)/(1424880116117105488551658527949)*a^(18) - (33670265368816826185995059849164171)/(1424880116117105488551658527949)*a^(17) - (299957734135922462213062915718373484)/(1424880116117105488551658527949)*a^(16) + (728993368905884016533961593579472233)/(1424880116117105488551658527949)*a^(15) + (1692103676486521597607756823373260310)/(1424880116117105488551658527949)*a^(14) - (6763262648773101388931783895152154958)/(1424880116117105488551658527949)*a^(13) - (1432168371827032729767234380991757783)/(1424880116117105488551658527949)*a^(12) + (29019186859928407385140484531358720550)/(1424880116117105488551658527949)*a^(11) - (23805165613339103957140378389011450304)/(1424880116117105488551658527949)*a^(10) - (48921453649855751614629802677655386829)/(1424880116117105488551658527949)*a^(9) + (84172025283017818508243280052271678175)/(1424880116117105488551658527949)*a^(8) + (4236871545562551090120933208687848867)/(1424880116117105488551658527949)*a^(7) - (83628348215569856300293282385605703494)/(1424880116117105488551658527949)*a^(6) + (37305566954649644551774893744542107886)/(1424880116117105488551658527949)*a^(5) + (27894447452326622171575595623123913196)/(1424880116117105488551658527949)*a^(4) - (21850145736752354820554745967540399500)/(1424880116117105488551658527949)*a^(3) - (1378361547790472971686268987679157193)/(1424880116117105488551658527949)*a^(2) + (3504066969182108622637227554555757215)/(1424880116117105488551658527949)*a - (10773723603966069015176983309800371)/(33136746886444313687247872743) , (20190316579397220772693616438)/(7872265834901135295865516729)*a^(22) + (3530395123315204065900502440594)/(1424880116117105488551658527949)*a^(21) - (234265337085925520858861739321146)/(1424880116117105488551658527949)*a^(20) + (76594853916033773656821747443346)/(1424880116117105488551658527949)*a^(19) + (6108111443894145418709561998187690)/(1424880116117105488551658527949)*a^(18) - (8630616189360632740299483283688372)/(1424880116117105488551658527949)*a^(17) - (77129550249014202751838381139107828)/(1424880116117105488551658527949)*a^(16) + (187077179150392639811153086782412080)/(1424880116117105488551658527949)*a^(15) + (435465024441641007411749584173003024)/(1424880116117105488551658527949)*a^(14) - (1736445570945435751496490809799467066)/(1424880116117105488551658527949)*a^(13) - (372989920035873228526276528334668536)/(1424880116117105488551658527949)*a^(12) + (7453499313184803153276688751141219020)/(1424880116117105488551658527949)*a^(11) - (6096522129587439537242404066250952674)/(1424880116117105488551658527949)*a^(10) - (12575384985601243689426816700536729298)/(1424880116117105488551658527949)*a^(9) + (21588223097858028877438014510506748083)/(1424880116117105488551658527949)*a^(8) + (1119188529891973465870439791198470958)/(1424880116117105488551658527949)*a^(7) - (21458442787758818406952934700252578862)/(1424880116117105488551658527949)*a^(6) + (9549737397859797825537235678612923768)/(1424880116117105488551658527949)*a^(5) + (7161348869471525100071178666700985188)/(1424880116117105488551658527949)*a^(4) - (5598918366416063595023427295415204564)/(1424880116117105488551658527949)*a^(3) - (355284070986716822839469063578400324)/(1424880116117105488551658527949)*a^(2) + (898106012416130704621546536547361114)/(1424880116117105488551658527949)*a - (2760485650898215305150317161966502)/(33136746886444313687247872743) , (15740059611110015749900252809848)/(1424880116117105488551658527949)*a^(22) + (15114167468533898078354637179484)/(1424880116117105488551658527949)*a^(21) - (1009195326988892740186174100842328)/(1424880116117105488551658527949)*a^(20) + (335566424540467042628614097488661)/(1424880116117105488551658527949)*a^(19) + (26312751839763813703567884164512466)/(1424880116117105488551658527949)*a^(18) - (37321344077112605702764292009490748)/(1424880116117105488551658527949)*a^(17) - (332157647012355515077174156205090827)/(1424880116117105488551658527949)*a^(16) + (807755463862107371004111705552134860)/(1424880116117105488551658527949)*a^(15) + (1873183565538002860930270235524109800)/(1424880116117105488551658527949)*a^(14) - (7492795999064155495312234385421593363)/(1424880116117105488551658527949)*a^(13) - (16275357499806128712679399340883076)/(14689485733166035964450087917)*a^(12) + (32144596097053985751934693611115111944)/(1424880116117105488551658527949)*a^(11) - (26397616996739168457410614136873758290)/(1424880116117105488551658527949)*a^(10) - (54171625409287985592953018002245419124)/(1424880116117105488551658527949)*a^(9) + (93289157968005487109974937396391303490)/(1424880116117105488551658527949)*a^(8) + (4632941928445572619262587532861918090)/(1424880116117105488551658527949)*a^(7) - (92668001896875843633627566804071954665)/(1424880116117105488551658527949)*a^(6) + (41387822875332660765965157037032543876)/(1424880116117105488551658527949)*a^(5) + (30899759670808178961883558574394415619)/(1424880116117105488551658527949)*a^(4) - (24230976672950246071291473128521986198)/(1424880116117105488551658527949)*a^(3) - (1522784928373158023243644996550961619)/(1424880116117105488551658527949)*a^(2) + (3885647189992829352172405777495760722)/(1424880116117105488551658527949)*a - (11949877706935907591611319974981765)/(33136746886444313687247872743) , (2432487990732626648274767585424)/(1424880116117105488551658527949)*a^(22) + (2376139171811186741196580611098)/(1424880116117105488551658527949)*a^(21) - (155840282855367616834731849494473)/(1424880116117105488551658527949)*a^(20) + (49524232317624750142606774001935)/(1424880116117105488551658527949)*a^(19) + (94475997118385403342424926228669)/(33136746886444313687247872743)*a^(18) - (5708433344328847528139618250048247)/(1424880116117105488551658527949)*a^(17) - (51306199766513880734775395489163321)/(1424880116117105488551658527949)*a^(16) + (124035691226965584067674676761328404)/(1424880116117105488551658527949)*a^(15) + (2988902976799498651460771596041234)/(14689485733166035964450087917)*a^(14) - (1152273414172274417483917440609405664)/(1424880116117105488551658527949)*a^(13) - (251550730666424453206503252819018751)/(1424880116117105488551658527949)*a^(12) + (4948291594211477603490161626351113896)/(1424880116117105488551658527949)*a^(11) - (93882585752473671949955284994605594)/(33136746886444313687247872743)*a^(10) - (8352893803876404264448270649103983068)/(1424880116117105488551658527949)*a^(9) + (14317583774533506945203307368829016383)/(1424880116117105488551658527949)*a^(8) + (752556460830945364969696967318377536)/(1424880116117105488551658527949)*a^(7) - (14236225106181415304011390275179204643)/(1424880116117105488551658527949)*a^(6) + (6331806775298117643483784122646813710)/(1424880116117105488551658527949)*a^(5) + (4751669049410311501553804712685025188)/(1424880116117105488551658527949)*a^(4) - (3714162694706342969401138266581371309)/(1424880116117105488551658527949)*a^(3) - (235776132218783616007354085737414062)/(1424880116117105488551658527949)*a^(2) + (595884760563542763577676316111618129)/(1424880116117105488551658527949)*a - (1831534581955577330117570759061724)/(33136746886444313687247872743) , (550368652920432154451733382356)/(1424880116117105488551658527949)*a^(22) + (498292303906122760307394420676)/(1424880116117105488551658527949)*a^(21) - (35383981767888959778904083662012)/(1424880116117105488551658527949)*a^(20) + (13450184289374606029346769722106)/(1424880116117105488551658527949)*a^(19) + (923224078564655285183348522119586)/(1424880116117105488551658527949)*a^(18) - (1348165311144414560158813218673925)/(1424880116117105488551658527949)*a^(17) - (11638378230379095799835564523647217)/(1424880116117105488551658527949)*a^(16) + (28822117055293245081173246438046189)/(1424880116117105488551658527949)*a^(15) + (65229792354922668994862505090130230)/(1424880116117105488551658527949)*a^(14) - (266114511008394099868619888218049302)/(1424880116117105488551658527949)*a^(13) - (49988642044033291761113978540519165)/(1424880116117105488551658527949)*a^(12) + (1138098848726391007181910895761698178)/(1424880116117105488551658527949)*a^(11) - (952986108007414294156453948349858584)/(1424880116117105488551658527949)*a^(10) - (1908272653334328060272312343729138368)/(1424880116117105488551658527949)*a^(9) + (3332498729869118199036647036305776057)/(1424880116117105488551658527949)*a^(8) + (136518831860152605771220287145199119)/(1424880116117105488551658527949)*a^(7) - (3300514004068707804759187400842859475)/(1424880116117105488551658527949)*a^(6) + (1492761049191225716860352012625415031)/(1424880116117105488551658527949)*a^(5) + (1097249511969484750887127144298385016)/(1424880116117105488551658527949)*a^(4) - (868976639576836036269100495953289459)/(1424880116117105488551658527949)*a^(3) - (52932477295904006238127470528543617)/(1424880116117105488551658527949)*a^(2) + (139149605802250736799424718244978052)/(1424880116117105488551658527949)*a - (428657317788207760535354970995380)/(33136746886444313687247872743) , (5984953610884792083471308944688)/(1424880116117105488551658527949)*a^(22) + (5742145191121639089122121330577)/(1424880116117105488551658527949)*a^(21) - (383748265256755601991085097688262)/(1424880116117105488551658527949)*a^(20) + (127875205694134095708511944027714)/(1424880116117105488551658527949)*a^(19) + (10005584332842422680121900621463174)/(1424880116117105488551658527949)*a^(18) - (14198098542537653477955172215356695)/(1424880116117105488551658527949)*a^(17) - (126302751822002186869691283504527362)/(1424880116117105488551658527949)*a^(16) + (307235069282191353971945997943529164)/(1424880116117105488551658527949)*a^(15) + (712216748085775574764257385813116303)/(1424880116117105488551658527949)*a^(14) - (2849738153375258311279445343883374501)/(1424880116117105488551658527949)*a^(13) - (3312162911118406639499687515984704)/(7872265834901135295865516729)*a^(12) + (12225075016511311616822451497921835479)/(1424880116117105488551658527949)*a^(11) - (10041925891615362540305569508149371214)/(1424880116117105488551658527949)*a^(10) - (20601254741136466419448625871975432447)/(1424880116117105488551658527949)*a^(9) + (35482842378944062601632558621907762693)/(1424880116117105488551658527949)*a^(8) + (1759599668084890337921013129819890664)/(1424880116117105488551658527949)*a^(7) - (35245181319387018266592215223953945339)/(1424880116117105488551658527949)*a^(6) + (15742094413057573544859100386533674060)/(1424880116117105488551658527949)*a^(5) + (11752105128465344004123320163506369390)/(1424880116117105488551658527949)*a^(4) - (9215703420045744946945499122734255306)/(1424880116117105488551658527949)*a^(3) - (579197810139420248151877709554352428)/(1424880116117105488551658527949)*a^(2) + (1477749637094247190346234741068938472)/(1424880116117105488551658527949)*a - (4544369941053238860986628349620826)/(33136746886444313687247872743) , (724402057401535922244059171547)/(1424880116117105488551658527949)*a^(22) + (725753798209179322777781499561)/(1424880116117105488551658527949)*a^(21) - (46386606778840078915582177402294)/(1424880116117105488551658527949)*a^(20) + (13566715823009991642374850214944)/(1424880116117105488551658527949)*a^(19) + (1209719909229580953941565581369380)/(1424880116117105488551658527949)*a^(18) - (1668317831974785277946044149419058)/(1424880116117105488551658527949)*a^(17) - (15307977973614184451380110744898037)/(1424880116117105488551658527949)*a^(16) + (36513032411059461714018774915298715)/(1424880116117105488551658527949)*a^(15) + (2025129943645663689858238210295867)/(33136746886444313687247872743)*a^(14) - (340311402228349528740479854599855739)/(1424880116117105488551658527949)*a^(13) - (82406042104940880483463495311011379)/(1424880116117105488551658527949)*a^(12) + (1466065864166547654823783919304678365)/(1424880116117105488551658527949)*a^(11) - (1166640868913146089955685537955299955)/(1424880116117105488551658527949)*a^(10) - (2493157431311963198600394372910962167)/(1424880116117105488551658527949)*a^(9) + (4188095845721950973900401008769778222)/(1424880116117105488551658527949)*a^(8) + (282068186119879574552737237183479557)/(1424880116117105488551658527949)*a^(7) - (4181853381972834944786416705119475848)/(1424880116117105488551658527949)*a^(6) + (1813448043370652989375903211140919682)/(1424880116117105488551658527949)*a^(5) + (1404146136588045947185397688309811987)/(1424880116117105488551658527949)*a^(4) - (1074286214064932333746290737196539076)/(1424880116117105488551658527949)*a^(3) - (72956409851522607724644651938738691)/(1424880116117105488551658527949)*a^(2) + (172727955689226264220093778967825666)/(1424880116117105488551658527949)*a - (528692451123309436517570077283875)/(33136746886444313687247872743) , (1607476278308471873628656615259)/(1424880116117105488551658527949)*a^(22) + (1595631456417214986496324439231)/(1424880116117105488551658527949)*a^(21) - (102915478629787254934900654076813)/(1424880116117105488551658527949)*a^(20) + (31231776647603097251614689675585)/(1424880116117105488551658527949)*a^(19) + (2682556661290296072273033298641303)/(1424880116117105488551658527949)*a^(18) - (3734030902541973954819649407610947)/(1424880116117105488551658527949)*a^(17) - (33898884339667176515326224446064535)/(1424880116117105488551658527949)*a^(16) + (81453298816070761384278213219980397)/(1424880116117105488551658527949)*a^(15) + (192006562416394790268650598602708416)/(1424880116117105488551658527949)*a^(14) - (757853138328133194075870543885549242)/(1424880116117105488551658527949)*a^(13) - (172044747327557755627779087114878105)/(1424880116117105488551658527949)*a^(12) + (3258260495436792864739720931950454189)/(1424880116117105488551658527949)*a^(11) - (2636759606081448241634253092145741702)/(1424880116117105488551658527949)*a^(10) - (5511995750943835596954461034677390358)/(1424880116117105488551658527949)*a^(9) + (9390959794001254440203949465707684586)/(1424880116117105488551658527949)*a^(8) + (531432772399870564531529462334157714)/(1424880116117105488551658527949)*a^(7) - (9349119251227066159908217222531030363)/(1424880116117105488551658527949)*a^(6) + (4132345274706089883040579199541153676)/(1424880116117105488551658527949)*a^(5) + (3124859462409463598081163229861849208)/(1424880116117105488551658527949)*a^(4) - (2430438865991267307928375439652239099)/(1424880116117105488551658527949)*a^(3) - (156676010950678928718483881611115281)/(1424880116117105488551658527949)*a^(2) + (390176143043786702348484832100935515)/(1424880116117105488551658527949)*a - (1198159117036949992252525993197668)/(33136746886444313687247872743) , (4899314833025776552358031708463)/(1424880116117105488551658527949)*a^(22) + (4728786407907007433355181231421)/(1424880116117105488551658527949)*a^(21) - (314035043481618058762196175909769)/(1424880116117105488551658527949)*a^(20) + (103125382269426064849751029142706)/(1424880116117105488551658527949)*a^(19) + (8186941512095338758961674921533352)/(1424880116117105488551658527949)*a^(18) - (11584179466812088460321266591531568)/(1424880116117105488551658527949)*a^(17) - (103351873133120923735331435318305828)/(1424880116117105488551658527949)*a^(16) + (250987869339957470734075982109653053)/(1424880116117105488551658527949)*a^(15) + (583036873949690984418887341434119868)/(1424880116117105488551658527949)*a^(14) - (2329026966096083101336794710943563416)/(1424880116117105488551658527949)*a^(13) - (493846781371430178725400175879377831)/(1424880116117105488551658527949)*a^(12) + (9993436176827887304079147767036023780)/(1424880116117105488551658527949)*a^(11) - (8199377867884897102857873487428582331)/(1424880116117105488551658527949)*a^(10) - (16843683283341380907939275086583016550)/(1424880116117105488551658527949)*a^(9) + (28993022713441869782309547786609059599)/(1424880116117105488551658527949)*a^(8) + (1443943585252899919563526387859241126)/(1424880116117105488551658527949)*a^(7) - (28801691546464198582530957433642222244)/(1424880116117105488551658527949)*a^(6) + (12864172353520714017351177774036939387)/(1424880116117105488551658527949)*a^(5) + (9602805806689100689185602432878467071)/(1424880116117105488551658527949)*a^(4) - (7531874070986291447251040389738726397)/(1424880116117105488551658527949)*a^(3) - (472813659148260936273981406551979572)/(1424880116117105488551658527949)*a^(2) + (1207812477794559511841023027786756650)/(1424880116117105488551658527949)*a - (3714820555208287387222224063513374)/(33136746886444313687247872743) , (4914902261100553747746461466835)/(1424880116117105488551658527949)*a^(22) + (4689825536505144321730897888407)/(1424880116117105488551658527949)*a^(21) - (315197121212978499647552308109372)/(1424880116117105488551658527949)*a^(20) + (106575023092939446372197334857069)/(1424880116117105488551658527949)*a^(19) + (8218225567434136300137856113109159)/(1424880116117105488551658527949)*a^(18) - (11700272141941821455155908774250035)/(1424880116117105488551658527949)*a^(17) - (103714266543062279033473446988225102)/(1424880116117105488551658527949)*a^(16) + (252850939039223186861657340084402729)/(1424880116117105488551658527949)*a^(15) + (584287395571942934924226909587921724)/(1424880116117105488551658527949)*a^(14) - (2344025688202090849571163130289809862)/(1424880116117105488551658527949)*a^(13) - (485131375857851166627202833692736368)/(1424880116117105488551658527949)*a^(12) + (10051131285614658585502691248675939036)/(1424880116117105488551658527949)*a^(11) - (8283248171808858915616321915603817126)/(1424880116117105488551658527949)*a^(10) - (16922224656249336479335195433409296074)/(1424880116117105488551658527949)*a^(9) + (29220894946795606647062575638804201155)/(1424880116117105488551658527949)*a^(8) + (1398186655014249421531423453361205606)/(1424880116117105488551658527949)*a^(7) - (29010892762344071135173165788919963496)/(1424880116117105488551658527949)*a^(6) + (12994157706535950228846912918253595145)/(1424880116117105488551658527949)*a^(5) + (9667436202698942704513398530322878343)/(1424880116117105488551658527949)*a^(4) - (7598832219359620888253276727582137172)/(1424880116117105488551658527949)*a^(3) - (474029171203749718857581738619359608)/(1424880116117105488551658527949)*a^(2) + (1218244534731054738156296076605472482)/(1424880116117105488551658527949)*a - (3748221654666458024035609123318001)/(33136746886444313687247872743) , (33655889335229215625214304223842)/(1424880116117105488551658527949)*a^(22) + (32333933847805713269286642638163)/(1424880116117105488551658527949)*a^(21) - (11921963124697715224137773987676)/(7872265834901135295865516729)*a^(20) + (716459399819936798104530135675262)/(1424880116117105488551658527949)*a^(19) + (56262930093262390729496133110887409)/(1424880116117105488551658527949)*a^(18) - (79773485822132767622169617519071126)/(1424880116117105488551658527949)*a^(17) - (710263891104055363794476450860061500)/(1424880116117105488551658527949)*a^(16) + (1726796756648345054280335637216087997)/(1424880116117105488551658527949)*a^(15) + (4006083432552159424855231558943288582)/(1424880116117105488551658527949)*a^(14) - (16018980619702680760442919810360265830)/(1424880116117105488551658527949)*a^(13) - (3383268634501355171739030865173139228)/(1424880116117105488551658527949)*a^(12) + (68727683107828390358490468338380040360)/(1424880116117105488551658527949)*a^(11) - (56408980746382761482419426093273555166)/(1424880116117105488551658527949)*a^(10) - (115845577700830583161103867777060748352)/(1424880116117105488551658527949)*a^(9) + (199401408103230434103973760620524115009)/(1424880116117105488551658527949)*a^(8) + (9979439970359468852244912140177102970)/(1424880116117105488551658527949)*a^(7) - (198096009101238869404958266403713966229)/(1424880116117105488551658527949)*a^(6) + (88410433291273996622111339227907012346)/(1424880116117105488551658527949)*a^(5) + (66067523803369623431633174876607285155)/(1424880116117105488551658527949)*a^(4) - (51773107515663879099445654338586475196)/(1424880116117105488551658527949)*a^(3) - (75848704777051520738520824717909049)/(33136746886444313687247872743)*a^(2) + (8302473444907900562700551032098780650)/(1424880116117105488551658527949)*a - (25529279065076862474439129271046412)/(33136746886444313687247872743) , (3234017564235530240183044495934)/(1424880116117105488551658527949)*a^(22) + (3102287935301910881330171742817)/(1424880116117105488551658527949)*a^(21) - (207363736575728945159601120650261)/(1424880116117105488551658527949)*a^(20) + (69124049595853443546836113870380)/(1424880116117105488551658527949)*a^(19) + (5406673979293176404137303699380116)/(1424880116117105488551658527949)*a^(18) - (7672646901122023036997341551937830)/(1424880116117105488551658527949)*a^(17) - (68249469830256511791479350824053030)/(1424880116117105488551658527949)*a^(16) + (166024512505717135405653276858121061)/(1424880116117105488551658527949)*a^(15) + (384850934635736002887488980068576491)/(1424880116117105488551658527949)*a^(14) - (1539931233641219278140854247948759889)/(1424880116117105488551658527949)*a^(13) - (323877596972057924246874923438977617)/(1424880116117105488551658527949)*a^(12) + (6606083655264158152539390055144728401)/(1424880116117105488551658527949)*a^(11) - (5426681159266594682330261638574379449)/(1424880116117105488551658527949)*a^(10) - (11132124092710084662853996548559813387)/(1424880116117105488551658527949)*a^(9) + (19174594540689579268332215712715064283)/(1424880116117105488551658527949)*a^(8) + (950106008487617761390312764004964031)/(1424880116117105488551658527949)*a^(7) - (19046181321774915102650563211750750653)/(1424880116117105488551658527949)*a^(6) + (8507572300815346981230360872409481840)/(1424880116117105488551658527949)*a^(5) + (6350747079276013963688065453493141632)/(1424880116117105488551658527949)*a^(4) - (4980461974718039947256785426440289749)/(1424880116117105488551658527949)*a^(3) - (312953670236362449266884345667533415)/(1424880116117105488551658527949)*a^(2) + (18572962414995925887213908937459051)/(33136746886444313687247872743)*a - (2456111525313415563881120472379689)/(33136746886444313687247872743) , (1713014451477429083878899121804)/(1424880116117105488551658527949)*a^(22) + (1659584822381862984731532165852)/(1424880116117105488551658527949)*a^(21) - (109794685795387371026480567078187)/(1424880116117105488551658527949)*a^(20) + (35643583477601731616254000465854)/(1424880116117105488551658527949)*a^(19) + (2862589376944572221927470298932494)/(1424880116117105488551658527949)*a^(18) - (4039163670096004237425156454474875)/(1424880116117105488551658527949)*a^(17) - (36148734450613645382811491523618037)/(1424880116117105488551658527949)*a^(16) + (87606783241919457917664069717762605)/(1424880116117105488551658527949)*a^(15) + (204141550112058357781954054072161653)/(1424880116117105488551658527949)*a^(14) - (813347312116672431814885575802538995)/(1424880116117105488551658527949)*a^(13) - (175473068658970318471060445485348124)/(1424880116117105488551658527949)*a^(12) + (3491704933173965562582516097331394617)/(1424880116117105488551658527949)*a^(11) - (2853809097320716424333751031943593728)/(1424880116117105488551658527949)*a^(10) - (5892427143051868304070655474808170785)/(1424880116117105488551658527949)*a^(9) + (10110048387265119308235268942514589984)/(1424880116117105488551658527949)*a^(8) + (527894511407019073705421087629621965)/(1424880116117105488551658527949)*a^(7) - (10050757505292299482687195484726638283)/(1424880116117105488551658527949)*a^(6) + (4470165391237099486061011215851608368)/(1424880116117105488551658527949)*a^(5) + (3354910792732816695415747973205448494)/(1424880116117105488551658527949)*a^(4) - (2621435357974650126655100086390442280)/(1424880116117105488551658527949)*a^(3) - (166694850320099966731626388600785174)/(1424880116117105488551658527949)*a^(2) + (420508976389933947210122221575212522)/(1424880116117105488551658527949)*a - (1292312008778990687260474464856723)/(33136746886444313687247872743) , (1148626514234682501741981457206)/(1424880116117105488551658527949)*a^(22) + (1095914103500444903206828963842)/(1424880116117105488551658527949)*a^(21) - (73697167415765609481886073814305)/(1424880116117105488551658527949)*a^(20) + (24781064384520921552361135616553)/(1424880116117105488551658527949)*a^(19) + (1922514732712068720055224296850142)/(1424880116117105488551658527949)*a^(18) - (2729625341050586844107979249615180)/(1424880116117105488551658527949)*a^(17) - (250359707871001223644565808414585)/(14689485733166035964450087917)*a^(16) + (59033023470488228757506474248540716)/(1424880116117105488551658527949)*a^(15) + (137177986118412753795739533363934834)/(1424880116117105488551658527949)*a^(14) - (547663986162075095732862121430070029)/(1424880116117105488551658527949)*a^(13) - (118087137467388727523858074384023925)/(1424880116117105488551658527949)*a^(12) + (2351488717846068257222306034720072321)/(1424880116117105488551658527949)*a^(11) - (1917171873373962783379040904114083308)/(1424880116117105488551658527949)*a^(10) - (3975280341476126196674601090570112272)/(1424880116117105488551658527949)*a^(9) + (6795323035244503435700938795321691714)/(1424880116117105488551658527949)*a^(8) + (382994058259181337622800408761944478)/(1424880116117105488551658527949)*a^(7) - (6762695432159399905437021034801722567)/(1424880116117105488551658527949)*a^(6) + (2978709742542570955614400318089253587)/(1424880116117105488551658527949)*a^(5) + (2264312099921757700418333878090476586)/(1424880116117105488551658527949)*a^(4) - (1751166486053976655945724257969935010)/(1424880116117105488551658527949)*a^(3) - (115730509228136304845505130673290149)/(1424880116117105488551658527949)*a^(2) + (280918131849550588794023047072888283)/(1424880116117105488551658527949)*a - (859599167622570751909721867448323)/(33136746886444313687247872743) ], 22066241000437346.10236048207, []]