/* 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^20 - 5*x^19 + 17*x^18 - 68*x^17 + 207*x^16 - 629*x^15 + 1190*x^14 - 1544*x^13 + 1847*x^12 - 1673*x^11 + 1655*x^10 - 929*x^9 - 1293*x^8 + 994*x^7 + 135*x^6 + 252*x^5 + 7*x^4 - 147*x^3 - 91*x^2 + 50*x - 5, 20, 466, [8, 6], 762378983303206514165048828125, [5, 61, 397], [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/2427088373034832308030795162586681*a^19 - 320146873847078525857877297617652/2427088373034832308030795162586681*a^18 + 569994951216933729235118100289769/2427088373034832308030795162586681*a^17 + 431021873978031771994291320977929/2427088373034832308030795162586681*a^16 - 505369080792275039188905486052427/2427088373034832308030795162586681*a^15 + 416904477094762500915181412682082/2427088373034832308030795162586681*a^14 + 881724344147416867185410189099978/2427088373034832308030795162586681*a^13 + 382306527497623456676975058757317/2427088373034832308030795162586681*a^12 + 1193418866671580479979809966978723/2427088373034832308030795162586681*a^11 + 846769547212696647177078385178129/2427088373034832308030795162586681*a^10 + 871646006367710745275673962429528/2427088373034832308030795162586681*a^9 + 31947355067504253006362528023698/2427088373034832308030795162586681*a^8 - 1011794448179901025200712868866779/2427088373034832308030795162586681*a^7 + 479773634042929163098645354366967/2427088373034832308030795162586681*a^6 + 263344450033974896482723347382353/2427088373034832308030795162586681*a^5 + 986892477614228241012658286829778/2427088373034832308030795162586681*a^4 + 947064463233645189273510172909166/2427088373034832308030795162586681*a^3 - 411407968129235793725223539443414/2427088373034832308030795162586681*a^2 - 996743915707675522231488829839606/2427088373034832308030795162586681*a - 385005193403642145766148393303082/2427088373034832308030795162586681], 0, 1, [], 1, [ (38896544367133702748)/(160964619046125722341)*a^(19) - (179675288814817290816)/(160964619046125722341)*a^(18) + (596467003594369885810)/(160964619046125722341)*a^(17) - (2432629936812062296898)/(160964619046125722341)*a^(16) + (7173130830256577874841)/(160964619046125722341)*a^(15) - (21935958514037466789112)/(160964619046125722341)*a^(14) + (38494072180287183564547)/(160964619046125722341)*a^(13) - (47141758173510867457413)/(160964619046125722341)*a^(12) + (56522744717419615965156)/(160964619046125722341)*a^(11) - (46512090151700896798791)/(160964619046125722341)*a^(10) + (50201428642707011365413)/(160964619046125722341)*a^(9) - (19107836285813328909074)/(160964619046125722341)*a^(8) - (54497706793663301662805)/(160964619046125722341)*a^(7) + (18540661258782044581941)/(160964619046125722341)*a^(6) + (6935338358300213809729)/(160964619046125722341)*a^(5) + (12086884778309899917753)/(160964619046125722341)*a^(4) + (4537250477897722296916)/(160964619046125722341)*a^(3) - (3283595777814329877736)/(160964619046125722341)*a^(2) - (3732822205501553798029)/(160964619046125722341)*a + (877859767303471217123)/(160964619046125722341) , (17525879093206341363693900552816)/(2427088373034832308030795162586681)*a^(19) - (48529437511310349882254292788207)/(2427088373034832308030795162586681)*a^(18) + (111558514249279128230204723707943)/(2427088373034832308030795162586681)*a^(17) - (573893941603995207624031262332851)/(2427088373034832308030795162586681)*a^(16) + (1120535663932630397443441694264612)/(2427088373034832308030795162586681)*a^(15) - (3538546622765732153830161714702813)/(2427088373034832308030795162586681)*a^(14) - (1872581436596022950919290866703866)/(2427088373034832308030795162586681)*a^(13) + (13946870616089349377967075925891495)/(2427088373034832308030795162586681)*a^(12) - (17561308413920373289127014041200920)/(2427088373034832308030795162586681)*a^(11) + (31278684047772501354537296162784806)/(2427088373034832308030795162586681)*a^(10) - (22225947023075292950761437643030110)/(2427088373034832308030795162586681)*a^(9) + (36633179756545371234523663977872466)/(2427088373034832308030795162586681)*a^(8) - (49069131948121766207138416432844928)/(2427088373034832308030795162586681)*a^(7) - (39369923588734299669161093318484163)/(2427088373034832308030795162586681)*a^(6) + (21002198821505493633837901965932440)/(2427088373034832308030795162586681)*a^(5) + (16366961171012303116884095674621356)/(2427088373034832308030795162586681)*a^(4) + (16346851664292049548566882888118234)/(2427088373034832308030795162586681)*a^(3) + (6278502609003126990036984665261054)/(2427088373034832308030795162586681)*a^(2) - (4961676575449255533606945294394245)/(2427088373034832308030795162586681)*a - (5405208757613004417674523863972577)/(2427088373034832308030795162586681) , (28884031916096545965069423112426)/(2427088373034832308030795162586681)*a^(19) - (97517222390515105468534399120310)/(2427088373034832308030795162586681)*a^(18) + (272791457290606225035067024513451)/(2427088373034832308030795162586681)*a^(17) - (1250427380802453052265237512670326)/(2427088373034832308030795162586681)*a^(16) + (3062631857674828573398317803934996)/(2427088373034832308030795162586681)*a^(15) - (9548068980835422134261194091625821)/(2427088373034832308030795162586681)*a^(14) + (8204272615548549147732805913507657)/(2427088373034832308030795162586681)*a^(13) + (1317027649881722331284947360412623)/(2427088373034832308030795162586681)*a^(12) - (452293803587280314706958477153523)/(2427088373034832308030795162586681)*a^(11) + (17512512786741804163855178926599184)/(2427088373034832308030795162586681)*a^(10) - (7132552882336965005570885930062717)/(2427088373034832308030795162586681)*a^(9) + (32770263611588799157644249526244239)/(2427088373034832308030795162586681)*a^(8) - (66326129851797831196944969395234412)/(2427088373034832308030795162586681)*a^(7) - (38945196244094315448588127274865851)/(2427088373034832308030795162586681)*a^(6) + (12824626134161700472616691138490887)/(2427088373034832308030795162586681)*a^(5) + (32375613040777431205199063931379617)/(2427088373034832308030795162586681)*a^(4) + (21486429606379199630343704210309565)/(2427088373034832308030795162586681)*a^(3) + (4083527748122457516881339462109653)/(2427088373034832308030795162586681)*a^(2) - (5135470956012645052047672549832780)/(2427088373034832308030795162586681)*a - (4165374293819111995945175707440628)/(2427088373034832308030795162586681) , (11358152822890204601375522559610)/(2427088373034832308030795162586681)*a^(19) - (48987784879204755586280106332103)/(2427088373034832308030795162586681)*a^(18) + (161232943041327096804862300805508)/(2427088373034832308030795162586681)*a^(17) - (676533439198457844641206250337475)/(2427088373034832308030795162586681)*a^(16) + (1942096193742198175954876109670384)/(2427088373034832308030795162586681)*a^(15) - (6009522358069689980431032376923008)/(2427088373034832308030795162586681)*a^(14) + (10076854052144572098652096780211523)/(2427088373034832308030795162586681)*a^(13) - (12629842966207627046682128565478872)/(2427088373034832308030795162586681)*a^(12) + (17109014610333092974420055564047397)/(2427088373034832308030795162586681)*a^(11) - (13766171261030697190682117236185622)/(2427088373034832308030795162586681)*a^(10) + (15093394140738327945190551712967393)/(2427088373034832308030795162586681)*a^(9) - (3862916144956572076879414451628227)/(2427088373034832308030795162586681)*a^(8) - (17256997903676064989806552962389484)/(2427088373034832308030795162586681)*a^(7) + (424727344639984220572966043618312)/(2427088373034832308030795162586681)*a^(6) - (8177572687343793161221210827441553)/(2427088373034832308030795162586681)*a^(5) + (16008651869765128088314968256758261)/(2427088373034832308030795162586681)*a^(4) + (5139577942087150081776821322191331)/(2427088373034832308030795162586681)*a^(3) - (2194974860880669473155645203151401)/(2427088373034832308030795162586681)*a^(2) - (173794380563389518440727255438535)/(2427088373034832308030795162586681)*a + (1239834463793892421729348156531949)/(2427088373034832308030795162586681) , (17525879093206341363693900552816)/(2427088373034832308030795162586681)*a^(19) - (48529437511310349882254292788207)/(2427088373034832308030795162586681)*a^(18) + (111558514249279128230204723707943)/(2427088373034832308030795162586681)*a^(17) - (573893941603995207624031262332851)/(2427088373034832308030795162586681)*a^(16) + (1120535663932630397443441694264612)/(2427088373034832308030795162586681)*a^(15) - (3538546622765732153830161714702813)/(2427088373034832308030795162586681)*a^(14) - (1872581436596022950919290866703866)/(2427088373034832308030795162586681)*a^(13) + (13946870616089349377967075925891495)/(2427088373034832308030795162586681)*a^(12) - (17561308413920373289127014041200920)/(2427088373034832308030795162586681)*a^(11) + (31278684047772501354537296162784806)/(2427088373034832308030795162586681)*a^(10) - (22225947023075292950761437643030110)/(2427088373034832308030795162586681)*a^(9) + (36633179756545371234523663977872466)/(2427088373034832308030795162586681)*a^(8) - (49069131948121766207138416432844928)/(2427088373034832308030795162586681)*a^(7) - (39369923588734299669161093318484163)/(2427088373034832308030795162586681)*a^(6) + (21002198821505493633837901965932440)/(2427088373034832308030795162586681)*a^(5) + (16366961171012303116884095674621356)/(2427088373034832308030795162586681)*a^(4) + (16346851664292049548566882888118234)/(2427088373034832308030795162586681)*a^(3) + (6278502609003126990036984665261054)/(2427088373034832308030795162586681)*a^(2) - (4961676575449255533606945294394245)/(2427088373034832308030795162586681)*a - (2978120384578172109643728701385896)/(2427088373034832308030795162586681) , (173281907701291693515302418564953)/(2427088373034832308030795162586681)*a^(19) - (913052978737039079576960486248810)/(2427088373034832308030795162586681)*a^(18) + (3119474593667206689720139221723825)/(2427088373034832308030795162586681)*a^(17) - (12330359191172490915669278401607511)/(2427088373034832308030795162586681)*a^(16) + (38250268216169365121137988945548421)/(2427088373034832308030795162586681)*a^(15) - (115319806102495753195962107302174646)/(2427088373034832308030795162586681)*a^(14) + (226220779957218942343281397505900387)/(2427088373034832308030795162586681)*a^(13) - (294139271750603769148126200636806237)/(2427088373034832308030795162586681)*a^(12) + (347579503193198681592028039255507197)/(2427088373034832308030795162586681)*a^(11) - (326499987327226537107317554842621710)/(2427088373034832308030795162586681)*a^(10) + (303829386735946889933158181660847329)/(2427088373034832308030795162586681)*a^(9) - (199122794723734604838773588822475413)/(2427088373034832308030795162586681)*a^(8) - (235878769638839821442169010182159612)/(2427088373034832308030795162586681)*a^(7) + (232022505349400507873621600774766389)/(2427088373034832308030795162586681)*a^(6) + (63913220791832269133941661086576934)/(2427088373034832308030795162586681)*a^(5) + (50084179973033130854989736019727765)/(2427088373034832308030795162586681)*a^(4) - (12578444237140005130942426628213261)/(2427088373034832308030795162586681)*a^(3) - (45562581051980844575366207652785728)/(2427088373034832308030795162586681)*a^(2) - (25133374873037036928965173670107114)/(2427088373034832308030795162586681)*a + (7231336610483222390213573563509081)/(2427088373034832308030795162586681) , (430044285647012894586531446912281)/(2427088373034832308030795162586681)*a^(19) - (1875725861567127396190494113870440)/(2427088373034832308030795162586681)*a^(18) + (6135079143334810416756095721248994)/(2427088373034832308030795162586681)*a^(17) - (25419764438012588121556545003022947)/(2427088373034832308030795162586681)*a^(16) + (73106021774162866168060461193494373)/(2427088373034832308030795162586681)*a^(15) - (225122906798247469855829698418817992)/(2427088373034832308030795162586681)*a^(14) + (371733379570827582050544207309172238)/(2427088373034832308030795162586681)*a^(13) - (438191390018364517393023071706385444)/(2427088373034832308030795162586681)*a^(12) + (533476331354319404896656437554102346)/(2427088373034832308030795162586681)*a^(11) - (402811497023624070296099103227934278)/(2427088373034832308030795162586681)*a^(10) + (481718295148333646975379280062560989)/(2427088373034832308030795162586681)*a^(9) - (108597785780780542674465479819180722)/(2427088373034832308030795162586681)*a^(8) - (605218808016692946945978499854453889)/(2427088373034832308030795162586681)*a^(7) + (46285096302232862160263011802045105)/(2427088373034832308030795162586681)*a^(6) + (53445854269429065619202448707696719)/(2427088373034832308030795162586681)*a^(5) + (157392648658438794000689124497370620)/(2427088373034832308030795162586681)*a^(4) + (84328753421659018784916868148952985)/(2427088373034832308030795162586681)*a^(3) - (16585579186558779704373624448693097)/(2427088373034832308030795162586681)*a^(2) - (38416147784481011924335623267589041)/(2427088373034832308030795162586681)*a + (4705285587491166178914676690911223)/(2427088373034832308030795162586681) , (158084727079777647659864286619987)/(2427088373034832308030795162586681)*a^(19) - (818082636218355983721887127610446)/(2427088373034832308030795162586681)*a^(18) + (2783650468212723078612652827380120)/(2427088373034832308030795162586681)*a^(17) - (11049873450419558727323723282770702)/(2427088373034832308030795162586681)*a^(16) + (34053961218046967209656565157804196)/(2427088373034832308030795162586681)*a^(15) - (102831069140952744532126652967718830)/(2427088373034832308030795162586681)*a^(14) + (199047504719956312990644195098388589)/(2427088373034832308030795162586681)*a^(13) - (256773917805458887152466415030434789)/(2427088373034832308030795162586681)*a^(12) + (304037463025828911789773546435740094)/(2427088373034832308030795162586681)*a^(11) - (280115548751716370736756923324323577)/(2427088373034832308030795162586681)*a^(10) + (263096516291964312019885525168283562)/(2427088373034832308030795162586681)*a^(9) - (161795161282904822973013284349767737)/(2427088373034832308030795162586681)*a^(8) - (224232600909849923906103169199706523)/(2427088373034832308030795162586681)*a^(7) + (197034619171234651407042171561841869)/(2427088373034832308030795162586681)*a^(6) + (43491860535852588705896877271642713)/(2427088373034832308030795162586681)*a^(5) + (52813154374802141321408292606141452)/(2427088373034832308030795162586681)*a^(4) - (3788688995738240925579585952023162)/(2427088373034832308030795162586681)*a^(3) - (34840376484073287573478003456638039)/(2427088373034832308030795162586681)*a^(2) - (19284945665348383163771627503162588)/(2427088373034832308030795162586681)*a + (2034969113139016343443752678560088)/(2427088373034832308030795162586681) , (134269381028651661376981371778762)/(2427088373034832308030795162586681)*a^(19) - (347791093335328702858992998395779)/(2427088373034832308030795162586681)*a^(18) + (947218227351857543928733510318125)/(2427088373034832308030795162586681)*a^(17) - (4802056742062629904426761078035688)/(2427088373034832308030795162586681)*a^(16) + (9587573596549184597080899878663048)/(2427088373034832308030795162586681)*a^(15) - (33418031649689900694835719034338097)/(2427088373034832308030795162586681)*a^(14) + (1050749146458278185148436704345935)/(2427088373034832308030795162586681)*a^(13) + (38686735644108900061664401806756208)/(2427088373034832308030795162586681)*a^(12) - (35207833193696492862356895056787317)/(2427088373034832308030795162586681)*a^(11) + (125678180300453616883912504209423310)/(2427088373034832308030795162586681)*a^(10) - (15544324365146900842295421437974669)/(2427088373034832308030795162586681)*a^(9) + (205557786034937176486332909756133125)/(2427088373034832308030795162586681)*a^(8) - (193459230287869166537576960631448300)/(2427088373034832308030795162586681)*a^(7) - (298055431176699534212569667752547153)/(2427088373034832308030795162586681)*a^(6) - (49840575562499090573785102988197734)/(2427088373034832308030795162586681)*a^(5) + (32722504443001832381374828413699027)/(2427088373034832308030795162586681)*a^(4) + (89233651195528244918612776163581753)/(2427088373034832308030795162586681)*a^(3) + (64718313917965865190483801486811100)/(2427088373034832308030795162586681)*a^(2) + (7502525335768679130674728499244011)/(2427088373034832308030795162586681)*a - (7520602749467728251807487935027024)/(2427088373034832308030795162586681) , (450405978926845225855265966989075)/(2427088373034832308030795162586681)*a^(19) - (1877536204089959724610718657296643)/(2427088373034832308030795162586681)*a^(18) + (6115338002719345746866092378254789)/(2427088373034832308030795162586681)*a^(17) - (25638204875364552646860499348439620)/(2427088373034832308030795162586681)*a^(16) + (72249877929984445969305529851558358)/(2427088373034832308030795162586681)*a^(15) - (224584405714653027552836772185167855)/(2427088373034832308030795162586681)*a^(14) + (353356649620182614599885287604615136)/(2427088373034832308030795162586681)*a^(13) - (414323081461456023549357462303184898)/(2427088373034832308030795162586681)*a^(12) + (511911385483587597764129216848431896)/(2427088373034832308030795162586681)*a^(11) - (363725970861829324653007187831513681)/(2427088373034832308030795162586681)*a^(10) + (491894119193404283053316839634824083)/(2427088373034832308030795162586681)*a^(9) - (61132312387582750644048663222716403)/(2427088373034832308030795162586681)*a^(8) - (575456993224629574996556550360558467)/(2427088373034832308030795162586681)*a^(7) - (71623207746524726601130636058451377)/(2427088373034832308030795162586681)*a^(6) - (173935692721710747372722667321068)/(2427088373034832308030795162586681)*a^(5) + (115107315418263805691300261608507955)/(2427088373034832308030795162586681)*a^(4) + (93688783142608743533628221956634381)/(2427088373034832308030795162586681)*a^(3) + (23185120646079531768221015588444066)/(2427088373034832308030795162586681)*a^(2) - (23372063927527348784108611295559155)/(2427088373034832308030795162586681)*a + (3267691752742334942121444294725544)/(2427088373034832308030795162586681) , (3023884771449883194711481620900044)/(2427088373034832308030795162586681)*a^(19) - (14514907427586964273437812337738558)/(2427088373034832308030795162586681)*a^(18) + (48576105978309880884349144425496611)/(2427088373034832308030795162586681)*a^(17) - (196189503055922750490145779593236591)/(2427088373034832308030795162586681)*a^(16) + (587598053225386567442230908911144830)/(2427088373034832308030795162586681)*a^(15) - (1788306854104647998694952850666383358)/(2427088373034832308030795162586681)*a^(14) + (3251044138208862103795815181628642906)/(2427088373034832308030795162586681)*a^(13) - (4050739497692220695937140578219203899)/(2427088373034832308030795162586681)*a^(12) + (4819174915817642995826587938908945267)/(2427088373034832308030795162586681)*a^(11) - (4140399065898822001590443555007039611)/(2427088373034832308030795162586681)*a^(10) + (4230753413803943701307188025906209758)/(2427088373034832308030795162586681)*a^(9) - (1985495816923952469508786573069343133)/(2427088373034832308030795162586681)*a^(8) - (4259747884373703487591044081402740559)/(2427088373034832308030795162586681)*a^(7) + (2182673629004654261260481115260262348)/(2427088373034832308030795162586681)*a^(6) + (735658366879341130116781874211435449)/(2427088373034832308030795162586681)*a^(5) + (878864955956550172259680623695685655)/(2427088373034832308030795162586681)*a^(4) + (192326664725672413725399072065454247)/(2427088373034832308030795162586681)*a^(3) - (389253548151142860994818781275733002)/(2427088373034832308030795162586681)*a^(2) - (331275425586859759582291012189890047)/(2427088373034832308030795162586681)*a + (94435159790170959470148097568525563)/(2427088373034832308030795162586681) , (1764458593027622431877786363373851)/(2427088373034832308030795162586681)*a^(19) - (7968683984126122534876755800853219)/(2427088373034832308030795162586681)*a^(18) + (26242023609799755210106495274671819)/(2427088373034832308030795162586681)*a^(17) - (107667785815522546575967179761850028)/(2427088373034832308030795162586681)*a^(16) + (314360060889795767740906351804761435)/(2427088373034832308030795162586681)*a^(15) - (962983483404977431844326405414025955)/(2427088373034832308030795162586681)*a^(14) + (1647769707019625209023212880813320407)/(2427088373034832308030795162586681)*a^(13) - (1971273294026573294360177061776580222)/(2427088373034832308030795162586681)*a^(12) + (2364824625127486814584330337186730440)/(2427088373034832308030795162586681)*a^(11) - (1871415157950332923950223018580952613)/(2427088373034832308030795162586681)*a^(10) + (2097811919554872137293675565908156787)/(2427088373034832308030795162586681)*a^(9) - (666921933907291523648265415286447179)/(2427088373034832308030795162586681)*a^(8) - (2516270379798061982328313684729267321)/(2427088373034832308030795162586681)*a^(7) + (557973635152598922846050567039512515)/(2427088373034832308030795162586681)*a^(6) + (384628548154787275787125949081535011)/(2427088373034832308030795162586681)*a^(5) + (552116634186703405270196190310813902)/(2427088373034832308030795162586681)*a^(4) + (267116969694254968153737515884550941)/(2427088373034832308030795162586681)*a^(3) - (101314685307554577784623227912424458)/(2427088373034832308030795162586681)*a^(2) - (178229888628186456705337233221191899)/(2427088373034832308030795162586681)*a + (21213558476447146923704595487456713)/(2427088373034832308030795162586681) , (2390810453484379278345234082478311)/(2427088373034832308030795162586681)*a^(19) - (11460300781141662654401757220381214)/(2427088373034832308030795162586681)*a^(18) + (38254960640110446548425339457721594)/(2427088373034832308030795162586681)*a^(17) - (154620182110161179872283985463960097)/(2427088373034832308030795162586681)*a^(16) + (462830746909370118183961644374285940)/(2427088373034832308030795162586681)*a^(15) - (1407528184908800608819017405179270154)/(2427088373034832308030795162586681)*a^(14) + (2553109499876634356134288219691102515)/(2427088373034832308030795162586681)*a^(13) - (3159706118070503405559516964780571494)/(2427088373034832308030795162586681)*a^(12) + (3766269346559329786121492075970763200)/(2427088373034832308030795162586681)*a^(11) - (3236203628364231059903300179200992938)/(2427088373034832308030795162586681)*a^(10) + (3307049412010611840413897683539144802)/(2427088373034832308030795162586681)*a^(9) - (1576040670624967270790225573330485584)/(2427088373034832308030795162586681)*a^(8) - (3393544195634327341687094784728687087)/(2427088373034832308030795162586681)*a^(7) + (1620324755952949473637322521054131062)/(2427088373034832308030795162586681)*a^(6) + (711857974867517124538149725828163037)/(2427088373034832308030795162586681)*a^(5) + (786215096617704478894465551870936462)/(2427088373034832308030795162586681)*a^(4) + (187146655704098302429727952650712455)/(2427088373034832308030795162586681)*a^(3) - (322204849309700710937645719165793720)/(2427088373034832308030795162586681)*a^(2) - (293703703216437731951663136120883292)/(2427088373034832308030795162586681)*a + (46954098251206136202743944179304179)/(2427088373034832308030795162586681) ], 28113569.3771, [[x^2 - x - 1, 1], [x^5 - 5*x^3 - x^2 + 3*x + 1, 1], [x^10 - 15*x^8 - 4*x^7 + 46*x^6 + 16*x^5 - 46*x^4 - 17*x^3 + 12*x^2 + 3*x - 1, 1]]]