Magma V2.19-8 Wed Aug 21 2013 01:01:37 on localhost [Seed = 121707737] Type ? for help. Type -D to quit. Loading file "L14n12475__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n12475 geometric_solution 11.10643905 oriented_manifold CS_known 0.0000000000000006 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 1 1 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 -1 0 1 -1 0 1 0 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.515468463635 0.383654491752 0 5 7 6 0132 0132 0132 0132 1 1 0 1 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 1 0 -1 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.246699237185 0.633525306531 4 0 9 8 1023 0132 0132 0132 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 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.052460351302 1.301140817312 4 5 7 0 3120 1230 0321 0132 1 1 0 1 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 1 -1 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.634267375688 0.502216077574 6 2 0 3 0132 1023 0132 3120 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 0 0 0 0 0 0 0 0 -1 1 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.751585544413 0.929173843297 8 1 3 10 1023 0132 3012 0132 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.705099056649 0.508746607236 4 8 1 10 0132 1023 0132 1023 1 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 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.466267150183 1.370629561500 9 9 3 1 1302 3012 0321 0132 1 1 1 1 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 -1 1 1 0 0 -1 20 -19 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.436108311972 1.584988635135 6 5 2 11 1023 1023 0132 0132 1 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 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.711667623347 0.451563547475 7 7 10 2 1230 2031 2310 0132 1 1 1 1 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 -1 0 1 0 0 0 0 19 -20 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.436108311972 1.584988635135 11 9 5 6 0132 3201 0132 1023 1 1 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 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.428364748854 0.512114412873 10 12 8 12 0132 0132 0132 1023 1 1 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 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.852386767326 0.482650398587 12 11 12 11 2031 0132 1302 1023 1 1 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 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.593557394084 0.159639217907 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_10'], 'c_1001_10' : negation(d['c_0101_9']), 'c_1001_12' : d['c_0110_12'], 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_0011_7'], 'c_1001_7' : negation(d['c_0011_9']), 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : negation(d['c_0101_9']), 'c_1001_0' : d['c_0101_5'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0011_7'], 'c_1001_9' : negation(d['c_0101_1']), 'c_1001_8' : d['c_0101_5'], 'c_1010_12' : d['c_0101_10'], 'c_1010_11' : d['c_0110_12'], 'c_1010_10' : d['c_0101_1'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : negation(d['1']), 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : 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' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : negation(d['1']), 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : negation(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_0011_11' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_10'], 'c_1100_5' : negation(d['c_1001_3']), 'c_1100_4' : negation(d['c_0011_9']), 'c_1100_7' : d['c_1001_3'], 'c_1100_6' : d['c_1001_3'], 'c_1100_1' : d['c_1001_3'], 'c_1100_0' : negation(d['c_0011_9']), 'c_1100_3' : negation(d['c_0011_9']), 'c_1100_2' : d['c_0011_10'], 's_3_11' : d['1'], 'c_1100_9' : d['c_0011_10'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : negation(d['c_1001_3']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_9']), 'c_1010_6' : d['c_0101_11'], 'c_1010_5' : negation(d['c_0101_9']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : d['c_0011_7'], 'c_1010_9' : d['c_0011_7'], 'c_1010_8' : d['c_0101_10'], 'c_1100_8' : d['c_0011_10'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(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'], 'c_1100_12' : negation(d['c_0011_10']), 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_0'], '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_0110_11' : d['c_0101_10'], 'c_0110_10' : d['c_0101_11'], 'c_0110_12' : d['c_0110_12'], 'c_0101_12' : negation(d['c_0011_10']), 'c_0101_7' : negation(d['c_0011_9']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_9'], 'c_0101_2' : d['c_0011_7'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0011_3']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_7'], 'c_0110_8' : d['c_0101_11'], '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_3']), 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0101_0'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_7, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_5, c_0101_9, c_0110_12, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 9463460445484467037979182646754158683277509690395472602656/14247108\ 59864948863088395859823353403173269267845703125*c_1001_3^15 - 304222890050947876055021358660508420377289509812577952/149649262266\ 546920250172878382061559802521193359375*c_1001_3^14 - 18915440174568408533718024046013683057876752906559165805432/4749036\ 19954982954362798619941117801057756422615234375*c_1001_3^13 - 27466249827124457804381858649388525775413582060499524255784/4274132\ 579594846589265187579470060209519807803537109375*c_1001_3^12 - 471927763317952231878598902419408340547955925848928168443144/427413\ 2579594846589265187579470060209519807803537109375*c_1001_3^11 - 10474790674526307771119191583454376961696658017306715927364/4274132\ 579594846589265187579470060209519807803537109375*c_1001_3^10 - 644526757376928618016454732901976172211498088590086050420123/427413\ 2579594846589265187579470060209519807803537109375*c_1001_3^9 + 3649417204879592768226978604348979037861020750149326856559/32877942\ 9199603583789629813805389246886139061810546875*c_1001_3^8 - 12933828291433077855451813552646168891056343817602679686933/2279537\ 37578391818094143337571736544507723082855312500*c_1001_3^7 - 697722814425102586317968795802827557718338183638426527159159/854826\ 5159189693178530375158940120419039615607074218750*c_1001_3^6 + 206357698661723150090878758575385935136214728746365506417857/113976\ 86878919590904707166878586827225386154142765625000*c_1001_3^5 - 1595661623247589450116463279066525921632117281208291851567/57959251\ 86330836971628358443217303445403587156250000*c_1001_3^4 - 3194857924043183333125206926346516699325989806094769197051263/21883\ 558807525614537037760406886708272741415954110000000*c_1001_3^3 + 25948344908448951281559692745500909460771451557941868806403083/1094\ 17794037628072685188802034433541363707079770550000000*c_1001_3^2 + 9997860366352307990700649631741204477763553401459799438581017/16833\ 5067750197034900290464668359294405703199647000000000*c_1001_3 - 125593669804764361131871604533251722954889305216773768093618459/218\ 8355880752561453703776040688670827274141595411000000000, c_0011_0 - 1, c_0011_10 - 1342951406436530391766276395609344/140029998373261400184538\ 58860267689*c_1001_3^15 - 866202257119662044901855843022336/1400299\ 9837326140018453858860267689*c_1001_3^14 - 8860031009248497160635711747724288/14002999837326140018453858860267\ 689*c_1001_3^13 - 1534642733553394325507145551158016/46676666124420\ 46672817952953422563*c_1001_3^12 - 27062888311426243498356339251512576/1400299983732614001845385886026\ 7689*c_1001_3^11 - 3706602822535446088177826728442272/4667666612442\ 046672817952953422563*c_1001_3^10 - 4799988345801252172026731378488776/15558888708140155576059843178075\ 21*c_1001_3^9 - 15971457902479810493920352129432824/140029998373261\ 40018453858860267689*c_1001_3^8 - 282548215315607234292853283592499\ 76/14002999837326140018453858860267689*c_1001_3^7 - 32061895144920440607455195735188420/1400299983732614001845385886026\ 7689*c_1001_3^6 - 2019931039200046820191823218901875/46676666124420\ 46672817952953422563*c_1001_3^5 - 329607967551854863708235601369875\ /64086955777236338757225898673994*c_1001_3^4 - 215577483878498267271558783985407935/746826657990727467650872472547\ 61008*c_1001_3^3 + 13956762453880091432815638190837487/280059996746\ 52280036907717720535378*c_1001_3^2 + 8717984774828781439187362496045689/24894221933024248921695749084920\ 336*c_1001_3 + 16016840483729084015324662215902269/5601199934930456\ 0073815435441070756, c_0011_3 + 2671856449052963996634323755974656/1400299983732614001845385\ 8860267689*c_1001_3^15 + 477835806893574762395855075147264/14002999\ 837326140018453858860267689*c_1001_3^14 + 17143247533346578605731367386662912/1400299983732614001845385886026\ 7689*c_1001_3^13 + 764289556588899053281553379650048/14002999837326\ 140018453858860267689*c_1001_3^12 + 17256948231669351209930239706284160/4667666612442046672817952953422\ 563*c_1001_3^11 - 4593989723321492300434688762255360/14002999837326\ 140018453858860267689*c_1001_3^10 + 83229229598705973847638150575410144/1400299983732614001845385886026\ 7689*c_1001_3^9 - 15547774237909679852352430335986128/1400299983732\ 6140018453858860267689*c_1001_3^8 + 58856212837141107714890770396766696/1400299983732614001845385886026\ 7689*c_1001_3^7 + 20385972265708771177200435417955232/1400299983732\ 6140018453858860267689*c_1001_3^6 + 1340516793615272747018076341432510/15558888708140155576059843178075\ 21*c_1001_3^5 + 273286725936403509132012654090502/32043477888618169\ 378612949336997*c_1001_3^4 + 94215657124479628965313514749993199/28\ 005999674652280036907717720535378*c_1001_3^3 - 43786600154819476775815628011977977/1244711096651212446084787454246\ 0168*c_1001_3^2 - 11173419019739115574870248021817067/1120239986986\ 09120147630870882141512*c_1001_3 - 14797249547800592161864876017344663/5601199934930456007381543544107\ 0756, c_0011_7 + 1155078683283063616436419291526912/1400299983732614001845385\ 8860267689*c_1001_3^15 + 983216485954656571133279862304256/14002999\ 837326140018453858860267689*c_1001_3^14 + 7748742970915240687573925913908416/14002999837326140018453858860267\ 689*c_1001_3^13 + 5234702290531219582654328106873152/14002999837326\ 140018453858860267689*c_1001_3^12 + 8034475305936303889875167426471744/46676666124420466728179529534225\ 63*c_1001_3^11 + 12382582335702351265349641949822368/14002999837326\ 140018453858860267689*c_1001_3^10 + 39880953936035063149092911616735448/1400299983732614001845385886026\ 7689*c_1001_3^9 + 14521018823060203122580705805323088/1400299983732\ 6140018453858860267689*c_1001_3^8 + 31123400165421603433020311935241126/1400299983732614001845385886026\ 7689*c_1001_3^7 + 18941201314063459162103703730774064/1400299983732\ 6140018453858860267689*c_1001_3^6 + 2385548958612012644172635286954527/15558888708140155576059843178075\ 21*c_1001_3^5 + 222246015452286692302508989428407/64086955777236338\ 757225898673994*c_1001_3^4 + 937178599683737887636908162116257171/2\ 24047997397218240295261741764283024*c_1001_3^3 - 4109835159006867377902792045258715/12447110966512124460847874542460\ 168*c_1001_3^2 - 783920514227140324052308373092756057/8961919895888\ 72961181046967057132096*c_1001_3 - 216570076359440070040884160207290125/896191989588872961181046967057\ 132096, c_0011_9 + 153868639253065725235570602253568/15558888708140155576059843\ 17807521*c_1001_3^15 + 396585793497279713572250029965056/1400299983\ 7326140018453858860267689*c_1001_3^14 + 998978904729803630463685012544448/155588887081401555760598431780752\ 1*c_1001_3^13 + 1536853459803262319239458091978816/1400299983732614\ 0018453858860267689*c_1001_3^12 + 273355281384467656137712981654345\ 60/14002999837326140018453858860267689*c_1001_3^11 + 1635586293318545815085343434751968/14002999837326140018453858860267\ 689*c_1001_3^10 + 43854610568982918785395670421293384/1400299983732\ 6140018453858860267689*c_1001_3^9 - 306642188897629243216542075307432/140029998373261400184538588602676\ 89*c_1001_3^8 + 9875081363873446860558855697104586/4667666612442046\ 672817952953422563*c_1001_3^7 + 18222689150021702644464588238240592\ /14002999837326140018453858860267689*c_1001_3^6 + 1405545149923647725185587139416751/46676666124420466728179529534225\ 63*c_1001_3^5 + 100172226790810026620782644016061/21362318592412112\ 919075299557998*c_1001_3^4 + 497220613784077401848687448307598801/2\ 24047997397218240295261741764283024*c_1001_3^3 - 328562492259782999023675870964057245/224047997397218240295261741764\ 283024*c_1001_3^2 + 442405293414826755357509375817404947/8961919895\ 88872961181046967057132096*c_1001_3 - 163669295000932550443659787909636781/896191989588872961181046967057\ 132096, c_0101_0 - 91861857678100531472896/272372480396298259689213*c_1001_3^15 - 2516893054080223086080/30263608932922028854357*c_1001_3^14 - 590615791840931442736256/272372480396298259689213*c_1001_3^13 - 62430778216100593074560/272372480396298259689213*c_1001_3^12 - 1784252924460020664042880/272372480396298259689213*c_1001_3^11 + 50335181207428944079424/272372480396298259689213*c_1001_3^10 - 2864326141188098745809872/272372480396298259689213*c_1001_3^9 + 118186873425859171068208/90790826798766086563071*c_1001_3^8 - 2007958310766741800023492/272372480396298259689213*c_1001_3^7 - 286512679803996360363752/90790826798766086563071*c_1001_3^6 - 141184932851985255679594/90790826798766086563071*c_1001_3^5 - 9598171203712107122363/623277987176883889449*c_1001_3^4 - 13836443801906644943144225/2178979843170386077513704*c_1001_3^3 + 12578305395989365132665041/2178979843170386077513704*c_1001_3^2 - 1138581153805296397091509/8715919372681544310054816*c_1001_3 + 500702670867303941415059/968435485853504923339424, c_0101_1 - 1, c_0101_10 + 470475371232274249156188028924928/1400299983732614001845385\ 8860267689*c_1001_3^15 + 29125878062028115534508559600640/466766661\ 2442046672817952953422563*c_1001_3^14 + 3242322101484779510028877217254912/14002999837326140018453858860267\ 689*c_1001_3^13 + 179618451276752283956392071208192/140029998373261\ 40018453858860267689*c_1001_3^12 + 10776474886675512980601853747693568/1400299983732614001845385886026\ 7689*c_1001_3^11 - 939255924001551975321523096123456/14002999837326\ 140018453858860267689*c_1001_3^10 + 20368674466804537479022900451586080/1400299983732614001845385886026\ 7689*c_1001_3^9 - 1666993346280727755447281778375856/46676666124420\ 46672817952953422563*c_1001_3^8 + 208967895053463733167854538941345\ 12/14002999837326140018453858860267689*c_1001_3^7 - 1721787154824620338600820435002300/46676666124420466728179529534225\ 63*c_1001_3^6 + 3647287468951168320817731490161284/4667666612442046\ 672817952953422563*c_1001_3^5 + 21724133022957990547173428022487/32\ 043477888618169378612949336997*c_1001_3^4 + 34226530202033671161046353597233381/5601199934930456007381543544107\ 0756*c_1001_3^3 - 31304550223620412308636762307422631/2800599967465\ 2280036907717720535378*c_1001_3^2 + 5048516018997726813414607896464249/11202399869860912014763087088214\ 1512*c_1001_3 - 11149120591445554186622087400654275/373413328995363\ 73382543623627380504, c_0101_11 - 179562666040262632484596449420288/1555888870814015557605984\ 317807521*c_1001_3^15 - 134066209938229599173020890948096/155588887\ 0814015557605984317807521*c_1001_3^14 - 1200826260379491443163820086884864/15558888708140155576059843178075\ 21*c_1001_3^13 - 698768016722658780166524848184576/1555888870814015\ 557605984317807521*c_1001_3^12 - 3758342558754972035911586164263168\ /1555888870814015557605984317807521*c_1001_3^11 - 1584945572251910547320282762586304/15558888708140155576059843178075\ 21*c_1001_3^10 - 6329276586835859507815267357505056/155588887081401\ 5557605984317807521*c_1001_3^9 - 1667311267716226882964437791145280\ /1555888870814015557605984317807521*c_1001_3^8 - 5176803907600001583087631985678752/15558888708140155576059843178075\ 21*c_1001_3^7 - 2271375393810142882098245995783628/1555888870814015\ 557605984317807521*c_1001_3^6 - 3395041857059511609313515890767344/\ 1555888870814015557605984317807521*c_1001_3^5 - 15809990696227765892450771402137/3560386432068685486512549926333*c_\ 1001_3^4 - 32780689428057730431644634232984337/62235554832560622304\ 23937271230084*c_1001_3^3 - 259391153180376781201895228957567/12447\ 110966512124460847874542460168*c_1001_3^2 + 12759629244050274655350908322074075/1244711096651212446084787454246\ 0168*c_1001_3 + 301772702487637928979328534068897/15558888708140155\ 57605984317807521, c_0101_5 + 97779057502219057605947084589568/140029998373261400184538588\ 60267689*c_1001_3^15 + 315335780100984664748644984782848/1400299983\ 7326140018453858860267689*c_1001_3^14 + 838372751789886742614962839137152/140029998373261400184538588602676\ 89*c_1001_3^13 + 256601929224180620577484756034176/1555888870814015\ 557605984317807521*c_1001_3^12 + 2900211581885477597751877212016640\ /14002999837326140018453858860267689*c_1001_3^11 + 873906923328731547845041736862144/155588887081401555760598431780752\ 1*c_1001_3^10 + 1493330513086621241051063422392208/4667666612442046\ 672817952953422563*c_1001_3^9 + 14934489860114421365919346185371264\ /14002999837326140018453858860267689*c_1001_3^8 + 394275346099573448462363785860820/140029998373261400184538588602676\ 89*c_1001_3^7 + 16059406034334634111728741058525952/140029998373261\ 40018453858860267689*c_1001_3^6 - 121046008099852279068305474546402\ 8/4667666612442046672817952953422563*c_1001_3^5 + 27229954436026570730335277957681/32043477888618169378612949336997*c\ _1001_3^4 + 40119328428719628662477796435875335/3734133289953637338\ 2543623627380504*c_1001_3^3 + 16379227283398072989666195285936137/2\ 8005999674652280036907717720535378*c_1001_3^2 + 162366323164594405885663455968224405/149365331598145493530174494509\ 522016*c_1001_3 - 45291298618527813148740779770879477/4480959947944\ 36480590523483528566048, c_0101_9 - 79230388056634654108216565512192/155588887081401555760598431\ 7807521*c_1001_3^15 - 487833543858595800068606751222272/14002999837\ 326140018453858860267689*c_1001_3^14 - 561923006264916978325590638250240/155588887081401555760598431780752\ 1*c_1001_3^13 - 2431309613166595834033925668925440/1400299983732614\ 0018453858860267689*c_1001_3^12 - 164914043582024276700928901779425\ 28/14002999837326140018453858860267689*c_1001_3^11 - 4858287044004716333107887017212352/14002999837326140018453858860267\ 689*c_1001_3^10 - 29370696833181120843405228717477440/1400299983732\ 6140018453858860267689*c_1001_3^9 - 3064710986218320117599312190114656/14002999837326140018453858860267\ 689*c_1001_3^8 - 8837824722393039207428697305302408/466766661244204\ 6672817952953422563*c_1001_3^7 - 4106946694432256800157250426924500\ /14002999837326140018453858860267689*c_1001_3^6 - 5365785727710883887885443406870796/46676666124420466728179529534225\ 63*c_1001_3^5 - 20356849384113228867731335681363/106811592962060564\ 59537649778999*c_1001_3^4 - 60276522765123254152297872510073417/280\ 05999674652280036907717720535378*c_1001_3^3 - 42701966145355783424477700258016951/1120239986986091201476308708821\ 41512*c_1001_3^2 + 74706470972434585409700892114899011/224047997397\ 218240295261741764283024*c_1001_3 + 219993715982127134961279282297377921/224047997397218240295261741764\ 283024, c_0110_12 + 1821515484033476863755455501198080/140029998373261400184538\ 58860267689*c_1001_3^15 + 652770616081220316224035478714368/1400299\ 9837326140018453858860267689*c_1001_3^14 + 11896609498411345401129333796380416/1400299983732614001845385886026\ 7689*c_1001_3^13 + 2206447348627437096077861755327744/1400299983732\ 6140018453858860267689*c_1001_3^12 + 12074278898269887702008797462270976/4667666612442046672817952953422\ 563*c_1001_3^11 + 586117301831239843303568967709280/140029998373261\ 40018453858860267689*c_1001_3^10 + 58698761184335307289078377325336952/1400299983732614001845385886026\ 7689*c_1001_3^9 - 8030816294838408267863653813862648/14002999837326\ 140018453858860267689*c_1001_3^8 + 43705702820924363260972259835712096/1400299983732614001845385886026\ 7689*c_1001_3^7 + 9172627307513472665980320206415424/14002999837326\ 140018453858860267689*c_1001_3^6 + 2284546300081894013237432897433967/15558888708140155576059843178075\ 21*c_1001_3^5 + 363572787560340216951880398831595/64086955777236338\ 757225898673994*c_1001_3^4 + 907060879171900012494525453671858435/2\ 24047997397218240295261741764283024*c_1001_3^3 - 42511003898297049726853218166933313/3734133289953637338254362362738\ 0504*c_1001_3^2 - 25546429294132391723414673553544627/5601199934930\ 4560073815435441070756*c_1001_3 - 105379081318606798137894631817438\ 323/224047997397218240295261741764283024, c_1001_3^16 + 25/4*c_1001_3^14 - c_1001_3^13 + 37/2*c_1001_3^12 - 47/8*c_1001_3^11 + 933/32*c_1001_3^10 - 13*c_1001_3^9 + 2553/128*c_1001_3^8 + 207/128*c_1001_3^7 + 515/256*c_1001_3^6 + 20849/512*c_1001_3^5 + 38581/4096*c_1001_3^4 - 14395/512*c_1001_3^3 - 3419/16384*c_1001_3^2 + 3941/8192*c_1001_3 + 28561/16384 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.150 Total time: 0.350 seconds, Total memory usage: 32.09MB