Magma V2.19-8 Wed Aug 21 2013 00:14:14 on localhost [Seed = 3869280834] Type ? for help. Type -D to quit. Loading file "K13n3589__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n3589 geometric_solution 11.35643027 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 3 0132 0132 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.335459074109 1.583291416145 0 4 6 5 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 0 0 0 -1 0 0 1 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.254944728457 0.916523740900 7 0 8 6 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.566482380770 0.440757394033 0 9 4 0 3120 0132 2031 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 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.225388341734 0.536995409708 10 1 6 3 0132 0132 0213 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 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.545347457722 0.377574081151 11 9 1 8 0132 0213 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 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 0 0 0 7 0 -1 -6 -7 0 0 7 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.062823635615 1.135466456826 11 4 2 1 3120 0213 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 -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 0 0.291928597882 1.691120700061 2 10 11 12 0132 0132 3120 0132 0 0 0 0 0 -1 0 1 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 6 0 -6 0 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.900395839062 0.855558232515 10 12 5 2 3012 3120 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 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 -6 0 6 0 0 0 0 0 1 6 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.487052735458 0.570895032757 12 3 5 10 0132 0132 0213 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.508737841088 1.265357922315 4 7 9 8 0132 0132 1230 1230 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 -6 0 6 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.544225239711 0.954072652698 5 12 7 6 0132 0321 3120 3120 0 0 0 0 0 0 0 0 1 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 0 -7 0 7 0 -1 0 0 1 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.708071402118 1.691120700061 9 8 7 11 0132 3120 0132 0321 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 0 0 0 0 0 0 0 -6 6 0 0 0 -7 7 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.009202227650 0.872677923264 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_11']), 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_1001_10'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_1001_0'], 'c_1001_7' : d['c_0101_11'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_10']), 'c_1001_2' : negation(d['c_0011_12']), 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : negation(d['c_1001_10']), 'c_1010_12' : negation(d['c_0011_6']), 'c_1010_11' : negation(d['c_0011_6']), 'c_1010_10' : d['c_0101_11'], 's_0_10' : d['1'], 's_0_11' : negation(d['1']), 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : 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' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(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' : 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' : negation(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_1001_10']), 'c_1100_8' : d['c_1100_1'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : d['c_0101_3'], 'c_1100_7' : negation(d['c_0101_11']), 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : negation(d['c_0101_3']), 'c_1100_3' : negation(d['c_0101_3']), 'c_1100_2' : d['c_1100_1'], 's_3_11' : negation(d['1']), 'c_1100_11' : negation(d['c_0101_6']), 'c_1100_10' : d['c_0101_12'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_10'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_1001_10']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : negation(d['c_0011_12']), 'c_1010_9' : negation(d['c_0101_10']), 'c_1010_8' : negation(d['c_0011_12']), 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : 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' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_11']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : 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_12']), 'c_0011_8' : d['c_0011_6'], 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_12'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_0'], 'c_0110_10' : d['c_0011_6'], 'c_0110_12' : negation(d['c_0011_11']), 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_12'], 'c_0101_1' : d['c_0101_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_11']), 'c_0101_8' : d['c_0101_11'], 'c_0011_10' : negation(d['c_0011_0']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : d['c_0101_12'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_12'], 'c_0110_6' : d['c_0101_0']})} 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_11, c_0011_12, c_0011_6, c_0101_0, c_0101_10, c_0101_11, c_0101_12, c_0101_3, c_0101_6, c_1001_0, c_1001_10, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 6 Groebner basis: [ t - 48359/9048*c_1100_1^5 - 82177/9048*c_1100_1^4 + 42703/9048*c_1100_1^3 - 27865/1131*c_1100_1^2 + 4899/754*c_1100_1 + 20737/9048, c_0011_0 - 1, c_0011_11 - 5/4*c_1100_1^5 - 11/4*c_1100_1^4 - 3/4*c_1100_1^3 - 7*c_1100_1^2 - 2*c_1100_1 - 9/4, c_0011_12 - 1/2*c_1100_1^5 - 3/2*c_1100_1^4 - 3/2*c_1100_1^3 - 4*c_1100_1^2 - 3*c_1100_1 - 5/2, c_0011_6 + 5/4*c_1100_1^5 + 13/4*c_1100_1^4 + 7/4*c_1100_1^3 + 13/2*c_1100_1^2 + 7/2*c_1100_1 + 7/4, c_0101_0 + 1, c_0101_10 + c_1100_1^5 + 5/2*c_1100_1^4 + c_1100_1^3 + 11/2*c_1100_1^2 + 5/2*c_1100_1 + 5/2, c_0101_11 + 3/4*c_1100_1^5 + 7/4*c_1100_1^4 + 1/4*c_1100_1^3 + 7/2*c_1100_1^2 + 3/2*c_1100_1 + 1/4, c_0101_12 - 1/2*c_1100_1^5 - 3/2*c_1100_1^4 - 3/2*c_1100_1^3 - 3*c_1100_1^2 - 2*c_1100_1 - 5/2, c_0101_3 + 1/4*c_1100_1^5 + 3/4*c_1100_1^4 + 3/4*c_1100_1^3 + 2*c_1100_1^2 + c_1100_1 + 5/4, c_0101_6 - 1/4*c_1100_1^5 - 3/4*c_1100_1^4 - 3/4*c_1100_1^3 - 2*c_1100_1^2 - c_1100_1 - 5/4, c_1001_0 + 1/4*c_1100_1^5 + 3/4*c_1100_1^4 + 3/4*c_1100_1^3 + 2*c_1100_1^2 + 2*c_1100_1 + 5/4, c_1001_10 + c_1100_1^5 + 2*c_1100_1^4 + 5*c_1100_1^2 + c_1100_1 + 1, c_1100_1^6 + 2*c_1100_1^5 + 5*c_1100_1^3 + c_1100_1 - 1 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_11, c_0011_12, c_0011_6, c_0101_0, c_0101_10, c_0101_11, c_0101_12, c_0101_3, c_0101_6, c_1001_0, c_1001_10, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 8087557027932042008721339471170724205/10237931071996145704358792356\ 8956*c_1100_1^18 + 118122587296344372709185457026210729649/51189655\ 3599807285217939617844780*c_1100_1^17 - 1555504280239919075326023399197445834111/51189655359980728521793961\ 7844780*c_1100_1^16 + 7632344441841118177509715794272161867197/5118\ 96553599807285217939617844780*c_1100_1^15 - 9590949459202688448293035018098390097423/25594827679990364260896980\ 8922390*c_1100_1^14 + 13880221136505995705293066324970159684399/255\ 948276799903642608969808922390*c_1100_1^13 - 21325387483517277189795370716508316598527/5118965535998072852179396\ 17844780*c_1100_1^12 + 136919787574336587434711138404958951848/1279\ 74138399951821304484904461195*c_1100_1^11 + 136056242144671879808037656384550531041/393766579692159450167645859\ 8806*c_1100_1^10 - 19053504769253070449561273103117011152509/511896\ 553599807285217939617844780*c_1100_1^9 + 1844509764940306815132170333914275465221/12797413839995182130448490\ 4461195*c_1100_1^8 + 638557705711221138518180666200357903147/102379\ 310719961457043587923568956*c_1100_1^7 - 5436199834817182438737136183189692231873/51189655359980728521793961\ 7844780*c_1100_1^6 + 667736757641686904587914973624349447974/127974\ 138399951821304484904461195*c_1100_1^5 - 109153629562406559322533824034703381611/255948276799903642608969808\ 922390*c_1100_1^4 - 105040537891902047683984754786295194939/1279741\ 38399951821304484904461195*c_1100_1^3 + 4524171376245524608569078973124471676/98441644923039862541911464970\ 15*c_1100_1^2 - 55567568895916169804190814142671124629/511896553599\ 807285217939617844780*c_1100_1 + 1277015689169774106343253252219072\ 169/127974138399951821304484904461195, c_0011_0 - 1, c_0011_11 + 461690942311249324183150830/1455691466632555137118129*c_110\ 0_1^18 - 2063118485749008536678978779/2911382933265110274236258*c_1\ 100_1^17 + 16922230969398336421036664463/1455691466632555137118129*\ c_1100_1^16 - 75236337165614296759295347581/14556914666325551371181\ 29*c_1100_1^15 + 325212874518146402574968269889/2911382933265110274\ 236258*c_1100_1^14 - 368879414279288082724981538535/291138293326511\ 0274236258*c_1100_1^13 + 71840064788954118182377014189/145569146663\ 2555137118129*c_1100_1^12 + 94425443061712250886076691657/145569146\ 6632555137118129*c_1100_1^11 - 158349174031628784558237853313/14556\ 91466632555137118129*c_1100_1^10 + 84774568407715313632054065916/1455691466632555137118129*c_1100_1^9 + 33068609716812015521731346055/2911382933265110274236258*c_1100_1^8 - 98519906855968433163891647251/2911382933265110274236258*c_1100_1^7 + 50828685540089321733053073171/2911382933265110274236258*c_1100_1^6 - 1013342752426809392738835589/2911382933265110274236258*c_1100_1^5 - 4990044029647971100359400234/1455691466632555137118129*c_1100_1^4 + 4107525373872140742583590179/2911382933265110274236258*c_1100_1^3 - 377728558797855400227668417/2911382933265110274236258*c_1100_1^2 - 55779019640612987887558056/1455691466632555137118129*c_1100_1 + 8722396506268577906721976/1455691466632555137118129, c_0011_12 + 1247108606213261869599113081/1455691466632555137118129*c_11\ 00_1^18 - 7420249379637464198813555309/2911382933265110274236258*c_\ 1100_1^17 + 95591699183155311058368297321/2911382933265110274236258\ *c_1100_1^16 - 237231087706162198995369847158/145569146663255513711\ 8129*c_1100_1^15 + 1181452449107712032319063323463/2911382933265110\ 274236258*c_1100_1^14 - 830674995427659757565683849381/145569146663\ 2555137118129*c_1100_1^13 + 1169829855996251737085815144485/2911382\ 933265110274236258*c_1100_1^12 + 75373954163639273072229474938/1455\ 691466632555137118129*c_1100_1^11 - 587503057650680520253770583746/1455691466632555137118129*c_1100_1^1\ 0 + 546071154777787604156267934865/1455691466632555137118129*c_1100\ _1^9 - 303367215884019641893915705421/2911382933265110274236258*c_1\ 100_1^8 - 139686658411161003771979873353/1455691466632555137118129*\ c_1100_1^7 + 159954940262978122771247660697/14556914666325551371181\ 29*c_1100_1^6 - 59597262538529500121277592458/145569146663255513711\ 8129*c_1100_1^5 - 9197074969736233976736077105/29113829332651102742\ 36258*c_1100_1^4 + 26142835892705721844527960479/291138293326511027\ 4236258*c_1100_1^3 - 5187540530317891919256185320/14556914666325551\ 37118129*c_1100_1^2 + 1797471958247406485491676919/2911382933265110\ 274236258*c_1100_1 - 60909030900320186150309019/1455691466632555137\ 118129, c_0011_6 - 1710115613360872206345655575/2911382933265110274236258*c_110\ 0_1^18 + 4467366521073758020806160843/2911382933265110274236258*c_1\ 100_1^17 - 64192621066271469981978260255/2911382933265110274236258*\ c_1100_1^16 + 151333555337930439032655240972/1455691466632555137118\ 129*c_1100_1^15 - 355165490248410862228433405068/145569146663255513\ 7118129*c_1100_1^14 + 463501472390564184846343578397/14556914666325\ 55137118129*c_1100_1^13 - 283734119686842670327656710323/1455691466\ 632555137118129*c_1100_1^12 - 187957864327562219141537594441/291138\ 2933265110274236258*c_1100_1^11 + 340350333330526921407834494828/14\ 55691466632555137118129*c_1100_1^10 - 551537104208766771819920577733/2911382933265110274236258*c_1100_1^9 + 53645925956963311732274893121/1455691466632555137118129*c_1100_1^\ 8 + 169388441895368157710815552281/2911382933265110274236258*c_1100\ _1^7 - 80529476695799978054270836667/1455691466632555137118129*c_11\ 00_1^6 + 52463162310413945426333776415/2911382933265110274236258*c_\ 1100_1^5 + 7463995295151329779311745851/2911382933265110274236258*c\ _1100_1^4 - 12977373621213153715690707503/2911382933265110274236258\ *c_1100_1^3 + 2449779035572888198445191326/145569146663255513711812\ 9*c_1100_1^2 - 422015963050363500046623415/145569146663255513711812\ 9*c_1100_1 + 55243073982103518260842563/2911382933265110274236258, c_0101_0 + 614519185699005278141049845/2911382933265110274236258*c_1100\ _1^18 - 1908922904762228156550624929/2911382933265110274236258*c_11\ 00_1^17 + 23967084138608052854644368699/2911382933265110274236258*c\ _1100_1^16 - 60111200416929354913820939854/145569146663255513711812\ 9*c_1100_1^15 + 156302894691651867374255547579/14556914666325551371\ 18129*c_1100_1^14 - 235215215865793872905240675410/1455691466632555\ 137118129*c_1100_1^13 + 190565934379847596675482646978/145569146663\ 2555137118129*c_1100_1^12 - 29183798076684243489576561933/291138293\ 3265110274236258*c_1100_1^11 - 151083246662681188289026190348/14556\ 91466632555137118129*c_1100_1^10 + 341097469396912196332335767347/2911382933265110274236258*c_1100_1^9 - 67842121354780885562013207529/1455691466632555137118129*c_1100_1^\ 8 - 58384441299419126254564554103/2911382933265110274236258*c_1100_\ 1^7 + 49745174611681295765750200389/1455691466632555137118129*c_110\ 0_1^6 - 46915217360352859344925492595/2911382933265110274236258*c_1\ 100_1^5 + 1961937706967371692409667085/2911382933265110274236258*c_\ 1100_1^4 + 8103752915694149889031000211/2911382933265110274236258*c\ _1100_1^3 - 1974494443161880304003151533/1455691466632555137118129*\ c_1100_1^2 + 400550569886810492777215526/1455691466632555137118129*\ c_1100_1 - 62923119589115307296786975/2911382933265110274236258, c_0101_10 + 3592070264922510307609560027/2911382933265110274236258*c_11\ 00_1^18 - 4973470180766174662261622294/1455691466632555137118129*c_\ 1100_1^17 + 68080300758642478057055875802/1455691466632555137118129\ *c_1100_1^16 - 656303992497903822548259844563/291138293326511027423\ 6258*c_1100_1^15 + 1586030171650860701171743475191/2911382933265110\ 274236258*c_1100_1^14 - 1074026588425323263454166285051/14556914666\ 32555137118129*c_1100_1^13 + 705942764398073423985025557485/1455691\ 466632555137118129*c_1100_1^12 + 162532711365530637310522262747/145\ 5691466632555137118129*c_1100_1^11 - 779871907227070107092249915631/1455691466632555137118129*c_1100_1^1\ 0 + 1347052212223401018494364655905/2911382933265110274236258*c_110\ 0_1^9 - 310817715464481787808031990577/2911382933265110274236258*c_\ 1100_1^8 - 386243618743543634896723114627/2911382933265110274236258\ *c_1100_1^7 + 394781601265230659777129866695/2911382933265110274236\ 258*c_1100_1^6 - 67075936544329737548695748129/14556914666325551371\ 18129*c_1100_1^5 - 16984992772508105335613859953/291138293326511027\ 4236258*c_1100_1^4 + 32061556132127656728455247467/2911382933265110\ 274236258*c_1100_1^3 - 5982069767311445821337314143/145569146663255\ 5137118129*c_1100_1^2 + 1004315342406272407801522657/14556914666325\ 55137118129*c_1100_1 - 67443741265351717686347327/14556914666325551\ 37118129, c_0101_11 + 957838010760212699023753917/2911382933265110274236258*c_110\ 0_1^18 - 1395842670532410149325418833/1455691466632555137118129*c_1\ 100_1^17 + 18265429744815284427531296447/1455691466632555137118129*\ c_1100_1^16 - 179991915056977248124375196329/2911382933265110274236\ 258*c_1100_1^15 + 442515161071104708153602418277/291138293326511027\ 4236258*c_1100_1^14 - 305117265815793825921367458341/14556914666325\ 55137118129*c_1100_1^13 + 205964608074542800871077243532/1455691466\ 632555137118129*c_1100_1^12 + 40186756178272892873197841903/1455691\ 466632555137118129*c_1100_1^11 - 220746370597832644966730259676/145\ 5691466632555137118129*c_1100_1^10 + 389966646853024838035649771049/2911382933265110274236258*c_1100_1^9 - 94734624900870963862848138485/2911382933265110274236258*c_1100_1^\ 8 - 109165245714287377238294941043/2911382933265110274236258*c_1100\ _1^7 + 114472316154502014489250056763/2911382933265110274236258*c_1\ 100_1^6 - 19767428648409249460411267920/1455691466632555137118129*c\ _1100_1^5 - 4796369090300232757986828511/2911382933265110274236258*\ c_1100_1^4 + 9401382456966983788845923321/2911382933265110274236258\ *c_1100_1^3 - 1751097848758748662338392047/145569146663255513711812\ 9*c_1100_1^2 + 283955885970406011452155244/145569146663255513711812\ 9*c_1100_1 - 16108549206698279891614866/1455691466632555137118129, c_0101_12 - 203819191754707299754383652/1455691466632555137118129*c_110\ 0_1^18 + 69708522010030994416735976/1455691466632555137118129*c_110\ 0_1^17 - 6785203480505946034986249575/1455691466632555137118129*c_1\ 100_1^16 + 19297735603372355074235425259/1455691466632555137118129*\ c_1100_1^15 - 15131959683331819671749682134/14556914666325551371181\ 29*c_1100_1^14 - 31846158185572022687340006435/14556914666325551371\ 18129*c_1100_1^13 + 84288683737280278882725575992/14556914666325551\ 37118129*c_1100_1^12 - 75416586962140347777126510714/14556914666325\ 55137118129*c_1100_1^11 + 1182880943530349657212402768/145569146663\ 2555137118129*c_1100_1^10 + 59485558752479549701246164702/145569146\ 6632555137118129*c_1100_1^9 - 53212935639553208708097113472/1455691\ 466632555137118129*c_1100_1^8 + 9247142932512199350031722302/145569\ 1466632555137118129*c_1100_1^7 + 16722376913871329979139667010/1455\ 691466632555137118129*c_1100_1^6 - 13632814193933983199819706349/1455691466632555137118129*c_1100_1^5 + 2889290891459280241840194602/1455691466632555137118129*c_1100_1^4 + 1385996439172096325803906149/1455691466632555137118129*c_1100_1^3 - 1016584664002436670291632650/1455691466632555137118129*c_1100_1^2 + 234334721921094090023930861/1455691466632555137118129*c_1100_1 - 21016879380412788657301171/1455691466632555137118129, c_0101_3 - 2518884761146312194041206661/2911382933265110274236258*c_110\ 0_1^18 + 7072050740753257593920686395/2911382933265110274236258*c_1\ 100_1^17 - 95593009137093525962493385007/2911382933265110274236258*\ c_1100_1^16 + 463652970937997127264935091843/2911382933265110274236\ 258*c_1100_1^15 - 562159247812798027988682407814/145569146663255513\ 7118129*c_1100_1^14 + 763681923008193032558239800940/14556914666325\ 55137118129*c_1100_1^13 - 1007064501636805363210753830883/291138293\ 3265110274236258*c_1100_1^12 - 113838761873492887123941157229/14556\ 91466632555137118129*c_1100_1^11 + 554101858729554729192293036562/1455691466632555137118129*c_1100_1^1\ 0 - 958872236587254018217331029925/2911382933265110274236258*c_1100\ _1^9 + 111192863758041302669928129713/1455691466632555137118129*c_1\ 100_1^8 + 274051257254947278818618232983/2911382933265110274236258*\ c_1100_1^7 - 280771085812059266171210439261/29113829332651102742362\ 58*c_1100_1^6 + 47872442267865108833422276789/145569146663255513711\ 8129*c_1100_1^5 + 5940086612031552941285469529/14556914666325551371\ 18129*c_1100_1^4 - 11402577385142838940463553459/145569146663255513\ 7118129*c_1100_1^3 + 4279308535352076112902798472/14556914666325551\ 37118129*c_1100_1^2 - 1440912419509607391452158983/2911382933265110\ 274236258*c_1100_1 + 47674458697213910145662026/1455691466632555137\ 118129, c_0101_6 - 518863654732916959594552179/1455691466632555137118129*c_1100\ _1^18 + 1432809998001368152398400148/1455691466632555137118129*c_11\ 00_1^17 - 19773345241862716872796763224/1455691466632555137118129*c\ _1100_1^16 + 94816621144002455821973922640/145569146663255513711812\ 9*c_1100_1^15 - 232501996977215969396262542657/14556914666325551371\ 18129*c_1100_1^14 + 324195498051211903934409325903/1455691466632555\ 137118129*c_1100_1^13 - 230064262039124184151533899972/145569146663\ 2555137118129*c_1100_1^12 - 24147307083809728111128933996/145569146\ 6632555137118129*c_1100_1^11 + 224211637782804872822183385074/14556\ 91466632555137118129*c_1100_1^10 - 214052947181131834620546203957/1455691466632555137118129*c_1100_1^9 + 64519346820233073772993514628/1455691466632555137118129*c_1100_1^\ 8 + 50534157578951423210927459689/1455691466632555137118129*c_1100_\ 1^7 - 62499990896237262127253232404/1455691466632555137118129*c_110\ 0_1^6 + 24976361422633039831599139226/1455691466632555137118129*c_1\ 100_1^5 + 804161580262481708426787019/1455691466632555137118129*c_1\ 100_1^4 - 5047955131417035350258684853/1455691466632555137118129*c_\ 1100_1^3 + 2179455438697081649118379204/1455691466632555137118129*c\ _1100_1^2 - 417812496982943455286838927/1455691466632555137118129*c\ _1100_1 + 31713269475371821554954513/1455691466632555137118129, c_1001_0 - c_1100_1, c_1001_10 + 1881727517527648237797408835/2911382933265110274236258*c_11\ 00_1^18 - 1879652161515003474812637676/1455691466632555137118129*c_\ 1100_1^17 + 34193738275746339516272469941/1455691466632555137118129\ *c_1100_1^16 - 291014998262988274302338260411/291138293326511027423\ 6258*c_1100_1^15 + 604907121912924029859908769337/29113829332651102\ 74236258*c_1100_1^14 - 326825996916455344655886036251/1455691466632\ 555137118129*c_1100_1^13 + 113272017588080896851019492711/145569146\ 6632555137118129*c_1100_1^12 + 176326120262704200373964202160/14556\ 91466632555137118129*c_1100_1^11 - 273133399183822322313226120566/1455691466632555137118129*c_1100_1^1\ 0 + 278900546332085546483222771013/2911382933265110274236258*c_1100\ _1^9 + 58598380487958200461519357125/2911382933265110274236258*c_11\ 00_1^8 - 159874140458400740398857940827/2911382933265110274236258*c\ _1100_1^7 + 82586485493279482563570252949/2911382933265110274236258\ *c_1100_1^6 - 2403555530376390210653504401/145569146663255513711812\ 9*c_1100_1^5 - 13533500208697666887372808029/2911382933265110274236\ 258*c_1100_1^4 + 6418186268715037479508712249/291138293326511027423\ 6258*c_1100_1^3 - 580200666062406491438720336/145569146663255513711\ 8129*c_1100_1^2 + 39872997488278154487269237/1455691466632555137118\ 129*c_1100_1 - 711704055922950242302191/1455691466632555137118129, c_1100_1^19 - 149/49*c_1100_1^18 + 1903/49*c_1100_1^17 - 9476/49*c_1100_1^16 + 24387/49*c_1100_1^15 - 36574/49*c_1100_1^14 + 616*c_1100_1^13 - 4106/49*c_1100_1^12 - 21207/49*c_1100_1^11 + 25797/49*c_1100_1^10 - 11972/49*c_1100_1^9 - 2629/49*c_1100_1^8 + 1006/7*c_1100_1^7 - 4092/49*c_1100_1^6 + 704/49*c_1100_1^5 + 66/7*c_1100_1^4 - 349/49*c_1100_1^3 + 106/49*c_1100_1^2 - 16/49*c_1100_1 + 1/49 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 7.400 Total time: 7.610 seconds, Total memory usage: 83.44MB