Magma V2.19-8 Tue Aug 20 2013 23:38:23 on localhost [Seed = 1343632501] Type ? for help. Type -D to quit. Loading file "K14n12204__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n12204 geometric_solution 8.09343303 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 10 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.129929017876 0.635511698532 0 5 4 6 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.113418897663 1.250365989999 7 0 6 5 0132 0132 1230 1023 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 -20 20 21 0 0 -21 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.569325959801 0.280239532896 5 6 8 0 2031 1023 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -20 0 21 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.754686720330 0.863331656379 9 1 0 9 0132 1230 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.131530741192 0.676671733720 8 1 3 2 0213 0132 1302 1023 0 0 0 0 0 0 -1 1 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 20 -20 0 0 -1 1 -21 0 0 21 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.410389556796 1.709048139800 3 8 1 2 1023 0132 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -20 0 20 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.687371591131 1.906945092542 2 8 9 9 0132 0213 0213 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -21 21 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.220605317040 0.700811151412 5 6 7 3 0213 0132 0213 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 21 0 0 -21 0 0 0 0 1 20 -21 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.431979433068 0.620632181393 4 7 7 4 0132 0213 2031 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.306861971764 0.538497048756 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0101_3']), 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_2']), 'c_1001_8' : negation(d['c_0101_2']), 's_2_8' : d['1'], 's_2_9' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_2_7' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_1010_7']), 'c_1100_8' : d['c_1010_7'], 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : d['c_1010_7'], 'c_1100_7' : d['c_0101_9'], 'c_1100_6' : negation(d['c_1001_2']), 'c_1100_1' : negation(d['c_1001_2']), 'c_1100_0' : d['c_1010_7'], 'c_1100_3' : d['c_1010_7'], 'c_1100_2' : negation(d['c_0101_3']), 'c_1010_7' : d['c_1010_7'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : d['c_0101_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_9'], 'c_1010_8' : d['c_0101_0'], 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_4']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0101_7' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0011_0'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_3'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_9, c_1001_2, c_1010_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 142037674332280223961838478470973518787127316061366/945046809953494\ 586502992146849368116121322099671*c_1010_7^17 + 487330225797144167624721197024562470482755802223543/630031206635663\ 057668661431232912077414214733114*c_1010_7^16 + 26639140355135791420556117279200366774681891150996867/1795588938911\ 6397143556850790137994206305119893749*c_1010_7^15 + 92002626877467625553841034865978604284471918236431893/1197059292607\ 7598095704567193425329470870079929166*c_1010_7^14 + 822222604290126454733328426630859797430702758473316203/359117787782\ 32794287113701580275988412610239787498*c_1010_7^13 + 745471710980649591409444119301733211863516697871252297/359117787782\ 32794287113701580275988412610239787498*c_1010_7^12 + 416409281361026336914069867935116392046849767778964140/598529646303\ 8799047852283596712664735435039964583*c_1010_7^11 + 3432315979202188581566951361959135669415419509889846173/35911778778\ 232794287113701580275988412610239787498*c_1010_7^10 + 69576284515109991078813354832751415151351909615014896/1795588938911\ 6397143556850790137994206305119893749*c_1010_7^9 - 4132079376538364041756739706708199151995925925488772983/35911778778\ 232794287113701580275988412610239787498*c_1010_7^8 - 4507439491915384294996261455949313725521115114853530759/35911778778\ 232794287113701580275988412610239787498*c_1010_7^7 - 77595472514520809427277964373067836805544020559051665/3990197642025\ 866031901522397808443156956693309722*c_1010_7^6 + 1401942312825771121550903537149977225540557859556182055/17955889389\ 116397143556850790137994206305119893749*c_1010_7^5 + 501128381767993167692093685246162242038974852566556797/119705929260\ 77598095704567193425329470870079929166*c_1010_7^4 - 243905104451138706849792212586460620798955659456550207/179558893891\ 16397143556850790137994206305119893749*c_1010_7^3 - 134830329465372395995386724884723081635750486366095283/179558893891\ 16397143556850790137994206305119893749*c_1010_7^2 + 1822940202873250927968671811016554014959164721025102/66503294033764\ 4338650253732968073859492782218287*c_1010_7 + 25342392885441974628469959934830657739706342789642569/3591177877823\ 2794287113701580275988412610239787498, c_0011_0 - 1, c_0011_3 + 199695051099170736577854095638961355937315147/85370082199954\ 3438575421993540531270208963053*c_1010_7^17 + 988399385703660800141745500924785287693882946/853700821999543438575\ 421993540531270208963053*c_1010_7^16 + 1762570407731012753412321215576434985253669146/85370082199954343857\ 5421993540531270208963053*c_1010_7^15 + 9787965583906042511773981872592937800374815438/85370082199954343857\ 5421993540531270208963053*c_1010_7^14 + 28320044999276002259872272541513557315440913696/8537008219995434385\ 75421993540531270208963053*c_1010_7^13 + 21191128170302323420959991493556253737757941404/8537008219995434385\ 75421993540531270208963053*c_1010_7^12 + 85800087381462562585345447338931056354568132328/8537008219995434385\ 75421993540531270208963053*c_1010_7^11 + 106915409155266523398373903561358389578542965851/853700821999543438\ 575421993540531270208963053*c_1010_7^10 - 24495929403112878332555329638329513644390880041/8537008219995434385\ 75421993540531270208963053*c_1010_7^9 - 160294237982712463353089436698313925466994988443/853700821999543438\ 575421993540531270208963053*c_1010_7^8 - 143307786171288261707038021241831449287341095550/853700821999543438\ 575421993540531270208963053*c_1010_7^7 + 7568152039470510585170527181589803105207354569/85370082199954343857\ 5421993540531270208963053*c_1010_7^6 + 118152670522238905760463130985165669173898221228/853700821999543438\ 575421993540531270208963053*c_1010_7^5 + 45713435649394902858605075652400981971792537728/8537008219995434385\ 75421993540531270208963053*c_1010_7^4 - 25800808588141488253228681030036584376119324775/8537008219995434385\ 75421993540531270208963053*c_1010_7^3 - 10448928558289469181680300927334976742275704434/8537008219995434385\ 75421993540531270208963053*c_1010_7^2 + 454568841727825208203147208499118496168008761/853700821999543438575\ 421993540531270208963053*c_1010_7 - 308679775896860354595356002043633258883304597/853700821999543438575\ 421993540531270208963053, c_0011_4 - 139777200572352169843468721867276784112632771/85370082199954\ 3438575421993540531270208963053*c_1010_7^17 - 722974490829443956086917670105811013199934522/853700821999543438575\ 421993540531270208963053*c_1010_7^16 - 1369074472184349438984318111359927599197934340/85370082199954343857\ 5421993540531270208963053*c_1010_7^15 - 7051324684525425439675681118910603262244034723/85370082199954343857\ 5421993540531270208963053*c_1010_7^14 - 21272036283030067395968971759245996111268580708/8537008219995434385\ 75421993540531270208963053*c_1010_7^13 - 18489261086567243007557416730137463941543983442/8537008219995434385\ 75421993540531270208963053*c_1010_7^12 - 61618714132063526307455629075867511274586881385/8537008219995434385\ 75421993540531270208963053*c_1010_7^11 - 88803745243306045209734289683179084891962696950/8537008219995434385\ 75421993540531270208963053*c_1010_7^10 + 6451513011377522021384210077456739390945376766/85370082199954343857\ 5421993540531270208963053*c_1010_7^9 + 117208353758518820302557836648177355460694960774/853700821999543438\ 575421993540531270208963053*c_1010_7^8 + 112966989226237778148606676346029284551874215139/853700821999543438\ 575421993540531270208963053*c_1010_7^7 + 1518579323971731506299236880432239438341581156/85370082199954343857\ 5421993540531270208963053*c_1010_7^6 - 88002437951786748058308485236150196020353136581/8537008219995434385\ 75421993540531270208963053*c_1010_7^5 - 37872666356142326510301312853443507969411821748/8537008219995434385\ 75421993540531270208963053*c_1010_7^4 + 25576210605204990331151760678582516331510290156/8537008219995434385\ 75421993540531270208963053*c_1010_7^3 + 9770982371055377127619468797866848529721421208/85370082199954343857\ 5421993540531270208963053*c_1010_7^2 - 3720055945759055770962886722118048284304191471/85370082199954343857\ 5421993540531270208963053*c_1010_7 - 796509511555130585403894223513269240525453375/853700821999543438575\ 421993540531270208963053, c_0101_0 + 156143309176377999100073331567629891248881887/85370082199954\ 3438575421993540531270208963053*c_1010_7^17 + 818971534860646972726855227594186442638380743/853700821999543438575\ 421993540531270208963053*c_1010_7^16 + 1617133690085809698613120516767181255907407315/85370082199954343857\ 5421993540531270208963053*c_1010_7^15 + 8141130365564511479624294516210028263478437725/85370082199954343857\ 5421993540531270208963053*c_1010_7^14 + 24638474503960327543851920877921022324678720163/8537008219995434385\ 75421993540531270208963053*c_1010_7^13 + 23892255932892292993344651378407781811229578055/8537008219995434385\ 75421993540531270208963053*c_1010_7^12 + 74907815621300773129901130098839117113024358734/8537008219995434385\ 75421993540531270208963053*c_1010_7^11 + 108628198028489731833988251682196667592157183653/853700821999543438\ 575421993540531270208963053*c_1010_7^10 + 13564032249302303411428809797099409112249665970/8537008219995434385\ 75421993540531270208963053*c_1010_7^9 - 112204742821382336834044392011690475110503961032/853700821999543438\ 575421993540531270208963053*c_1010_7^8 - 134405921456679135500636197851645370877758635317/853700821999543438\ 575421993540531270208963053*c_1010_7^7 - 35662211539389496250043741721374233910964015169/8537008219995434385\ 75421993540531270208963053*c_1010_7^6 + 66907724261589217899098523040779171408192112081/8537008219995434385\ 75421993540531270208963053*c_1010_7^5 + 40858155968889031475735779842594045627562964126/8537008219995434385\ 75421993540531270208963053*c_1010_7^4 - 8668679595118348231803861106313568163415489000/85370082199954343857\ 5421993540531270208963053*c_1010_7^3 - 221891600661985962381332770023072686925355839/853700821999543438575\ 421993540531270208963053*c_1010_7^2 + 3877593454095947710124875150095664537826633605/85370082199954343857\ 5421993540531270208963053*c_1010_7 - 266447489779260350851690409899090664002910958/853700821999543438575\ 421993540531270208963053, c_0101_1 - 64275002684719315565783368678911810990997181/853700821999543\ 438575421993540531270208963053*c_1010_7^17 - 372000551964914117183859636905601278338053517/853700821999543438575\ 421993540531270208963053*c_1010_7^16 - 846058120600731296741427269000828938885575813/853700821999543438575\ 421993540531270208963053*c_1010_7^15 - 3699694635451358677440220657107129116696551563/85370082199954343857\ 5421993540531270208963053*c_1010_7^14 - 11932792884587062067545634585055128275217470419/8537008219995434385\ 75421993540531270208963053*c_1010_7^13 - 15193679360422950360850251626517007988169711710/8537008219995434385\ 75421993540531270208963053*c_1010_7^12 - 35785513501229835374474642384072857007544762588/8537008219995434385\ 75421993540531270208963053*c_1010_7^11 - 60962369737789720815511518107543850609726185735/8537008219995434385\ 75421993540531270208963053*c_1010_7^10 - 28309943176512979306644433954294571729031667338/8537008219995434385\ 75421993540531270208963053*c_1010_7^9 + 44411027917206733940398499254290893281261798964/8537008219995434385\ 75421993540531270208963053*c_1010_7^8 + 81818971018798505736681243239879292586083734596/8537008219995434385\ 75421993540531270208963053*c_1010_7^7 + 42555301828615392929561322212727524358943641090/8537008219995434385\ 75421993540531270208963053*c_1010_7^6 - 24482259202557609643580107886988229129907141779/8537008219995434385\ 75421993540531270208963053*c_1010_7^5 - 35491245354425032244879876284538150006252345399/8537008219995434385\ 75421993540531270208963053*c_1010_7^4 - 6786379123192215403004631388021842032903150592/85370082199954343857\ 5421993540531270208963053*c_1010_7^3 + 4280102061689749224582961033492448372505866987/85370082199954343857\ 5421993540531270208963053*c_1010_7^2 + 873461986376916910987228230274634798000096773/853700821999543438575\ 421993540531270208963053*c_1010_7 - 521454456091800883626234482143079651907278127/853700821999543438575\ 421993540531270208963053, c_0101_2 - 213589893334185247872401779461734325776397140/85370082199954\ 3438575421993540531270208963053*c_1010_7^17 - 1031913123424079380882746458695887611035327046/85370082199954343857\ 5421993540531270208963053*c_1010_7^16 - 1794295610055853406241939177568247857966500108/85370082199954343857\ 5421993540531270208963053*c_1010_7^15 - 10402749946188354952863035220235623256637999250/8537008219995434385\ 75421993540531270208963053*c_1010_7^14 - 29318047029023231920955970210206191703322542391/8537008219995434385\ 75421993540531270208963053*c_1010_7^13 - 20759097526984706843303547028151662850132092813/8537008219995434385\ 75421993540531270208963053*c_1010_7^12 - 93508910667262262695469920107241808888739757148/8537008219995434385\ 75421993540531270208963053*c_1010_7^11 - 106569221884570048240253721996823836595489397164/853700821999543438\ 575421993540531270208963053*c_1010_7^10 + 23301395176617484427541377428259747125757963971/8537008219995434385\ 75421993540531270208963053*c_1010_7^9 + 153600472836954653645201224811627032877315097770/853700821999543438\ 575421993540531270208963053*c_1010_7^8 + 132654137890052247588087139582369382406270535448/853700821999543438\ 575421993540531270208963053*c_1010_7^7 - 9752617437177210799501235369094647408567799482/85370082199954343857\ 5421993540531270208963053*c_1010_7^6 - 107545957741786155562061923758580775280009118348/853700821999543438\ 575421993540531270208963053*c_1010_7^5 - 30720131591580768536818517440501461130646161615/8537008219995434385\ 75421993540531270208963053*c_1010_7^4 + 25234160986016857436811922559113660959653501738/8537008219995434385\ 75421993540531270208963053*c_1010_7^3 + 5247246985578171951280157471959439151280146491/85370082199954343857\ 5421993540531270208963053*c_1010_7^2 - 3843778693073397713848075649486752312563182445/85370082199954343857\ 5421993540531270208963053*c_1010_7 - 72927352252008184070194532976303115401586421/8537008219995434385754\ 21993540531270208963053, c_0101_3 + 9033675301324754305322505593139006810619133/8537008219995434\ 38575421993540531270208963053*c_1010_7^17 + 31300596928631965826922124239298853557528708/8537008219995434385754\ 21993540531270208963053*c_1010_7^16 + 21128458318635266404288436383707431945899301/8537008219995434385754\ 21993540531270208963053*c_1010_7^15 + 377694278901528056539374775261487747254791756/853700821999543438575\ 421993540531270208963053*c_1010_7^14 + 760753125818858892066354078466122761072337545/853700821999543438575\ 421993540531270208963053*c_1010_7^13 - 451249143131682835051119017274165999760878697/853700821999543438575\ 421993540531270208963053*c_1010_7^12 + 4263272416137371821953743116092794626586129330/85370082199954343857\ 5421993540531270208963053*c_1010_7^11 + 1788104324317106100736845625100913324327881863/85370082199954343857\ 5421993540531270208963053*c_1010_7^10 - 3867676057132372272294448317675208219207982415/85370082199954343857\ 5421993540531270208963053*c_1010_7^9 + 4927673514315387105907490543280742534122298291/85370082199954343857\ 5421993540531270208963053*c_1010_7^8 + 9340374387814016109562342895337071193680971629/85370082199954343857\ 5421993540531270208963053*c_1010_7^7 + 988742941904962819595589035457459850562979801/853700821999543438575\ 421993540531270208963053*c_1010_7^6 - 10540431087569936792585904748667865332555342766/8537008219995434385\ 75421993540531270208963053*c_1010_7^5 - 13937970163024885519650053566297974358683171219/8537008219995434385\ 75421993540531270208963053*c_1010_7^4 + 932087732331204271145628669585147541418022139/853700821999543438575\ 421993540531270208963053*c_1010_7^3 + 9970284189071719799668164785255682865436542551/85370082199954343857\ 5421993540531270208963053*c_1010_7^2 + 1481814683175121439169040324247770650705416944/85370082199954343857\ 5421993540531270208963053*c_1010_7 - 1115137963242682855902138687526215051519549663/85370082199954343857\ 5421993540531270208963053, c_0101_9 + 70684212920132311968879015243224680429333809/853700821999543\ 438575421993540531270208963053*c_1010_7^17 + 287874887369560536952460204197128516787051864/853700821999543438575\ 421993540531270208963053*c_1010_7^16 + 325130500733588884587266290553043623563620135/853700821999543438575\ 421993540531270208963053*c_1010_7^15 + 2947884161028932886594784622392325940770570445/85370082199954343857\ 5421993540531270208963053*c_1010_7^14 + 7014151679076603397753604326782960538833149887/85370082199954343857\ 5421993540531270208963053*c_1010_7^13 - 966069779117181884237633777034022692233261676/853700821999543438575\ 421993540531270208963053*c_1010_7^12 + 24482314513938502928404546284044284554129019278/8537008219995434385\ 75421993540531270208963053*c_1010_7^11 + 10864077045040223219510537592114878237209576347/8537008219995434385\ 75421993540531270208963053*c_1010_7^10 - 39141108162821985793256257714645334205549354903/8537008219995434385\ 75421993540531270208963053*c_1010_7^9 - 49072257568804145294948761165410047169461032903/8537008219995434385\ 75421993540531270208963053*c_1010_7^8 - 6078371103876660861357051981226978483868807378/85370082199954343857\ 5421993540531270208963053*c_1010_7^7 + 41725315644373435495018074277545678060604736656/8537008219995434385\ 75421993540531270208963053*c_1010_7^6 + 38615518128140785749387923928172388013143882734/8537008219995434385\ 75421993540531270208963053*c_1010_7^5 - 16620938891040615556979125301588466504735826647/8537008219995434385\ 75421993540531270208963053*c_1010_7^4 - 18035148860837067347377198142893897964143910983/8537008219995434385\ 75421993540531270208963053*c_1010_7^3 + 3073565121137964314801164814988464398385034711/85370082199954343857\ 5421993540531270208963053*c_1010_7^2 + 2176803852204776089244156574985595725437680490/85370082199954343857\ 5421993540531270208963053*c_1010_7 - 480492813011096909041043581709918997339608788/853700821999543438575\ 421993540531270208963053, c_1001_2 - 8290751145898629147862647977380162605651058/8537008219995434\ 38575421993540531270208963053*c_1010_7^17 - 61537723623949574583074480313875934378497123/8537008219995434385754\ 21993540531270208963053*c_1010_7^16 - 139042600559213139152252809469224480289563382/853700821999543438575\ 421993540531270208963053*c_1010_7^15 - 425031250994859434535778651085546747508146919/853700821999543438575\ 421993540531270208963053*c_1010_7^14 - 1924991538119435319096352352151827519516653541/85370082199954343857\ 5421993540531270208963053*c_1010_7^13 - 2122113428161803542643662642518964914183662277/85370082199954343857\ 5421993540531270208963053*c_1010_7^12 - 1317967081989243725826255400674502730065433162/85370082199954343857\ 5421993540531270208963053*c_1010_7^11 - 10991469813518337969928582878274785321202927221/8537008219995434385\ 75421993540531270208963053*c_1010_7^10 + 4937486675850464828205303612644316005633299205/85370082199954343857\ 5421993540531270208963053*c_1010_7^9 + 22316925384707084006677644950214807466941503481/8537008219995434385\ 75421993540531270208963053*c_1010_7^8 + 14664056326531410632060042165180335896501124176/8537008219995434385\ 75421993540531270208963053*c_1010_7^7 - 10705910417195646935451112318565000323744809233/8537008219995434385\ 75421993540531270208963053*c_1010_7^6 - 24225733669417080171049233799737193371302507834/8537008219995434385\ 75421993540531270208963053*c_1010_7^5 - 9194210505348244615860595136375537165979201925/85370082199954343857\ 5421993540531270208963053*c_1010_7^4 + 13400539319248879640379595888387011738947605018/8537008219995434385\ 75421993540531270208963053*c_1010_7^3 + 5765063721647117589888158391635878005282880126/85370082199954343857\ 5421993540531270208963053*c_1010_7^2 - 2576691330990164043213702967538708777149554669/85370082199954343857\ 5421993540531270208963053*c_1010_7 - 471369297259683033910406453149245287725658766/853700821999543438575\ 421993540531270208963053, c_1010_7^18 + 5*c_1010_7^17 + 173/19*c_1010_7^16 + 943/19*c_1010_7^15 + 2750/19*c_1010_7^14 + 2189/19*c_1010_7^13 + 8378/19*c_1010_7^12 + 10768/19*c_1010_7^11 - 1380/19*c_1010_7^10 - 14745/19*c_1010_7^9 - 13721/19*c_1010_7^8 + 40/19*c_1010_7^7 + 10394/19*c_1010_7^6 + 3850/19*c_1010_7^5 - 2612/19*c_1010_7^4 - 743/19*c_1010_7^3 + 514/19*c_1010_7^2 + 46/19*c_1010_7 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.110 Total time: 0.320 seconds, Total memory usage: 32.09MB