Magma V2.19-8 Tue Aug 20 2013 17:58:00 on localhost [Seed = 1444405788] Type ? for help. Type -D to quit. Loading file "10_158__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_158 geometric_solution 12.27123636 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 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 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.048430949765 1.118942699661 0 5 4 6 0132 0132 0213 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 -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 0 0 0 0.261077655462 0.619706142214 7 0 9 8 0132 0132 0132 0132 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 1 0 -1 0 0 0 0 0 0 0 0 2 1 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.257482124420 0.805624713615 10 11 9 0 0132 0132 0321 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 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.441048346291 0.518625345326 10 1 0 5 3012 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 -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.330834748280 0.537476534023 7 1 4 9 1023 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.040721047977 1.448374744142 12 8 1 8 0132 2103 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.539833573518 0.591356341734 2 5 12 11 0132 1023 0321 1230 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.812253985863 0.717041831967 6 6 2 11 3201 2103 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 -1 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.819595598994 1.053256011805 10 5 3 2 1230 0321 0321 0132 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 -3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.261077655462 0.619706142214 3 9 12 4 0132 3012 0132 1230 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 -1 1 0 0 0 0 1 0 0 -1 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.169451101026 1.349315771324 7 3 12 8 3012 0132 3012 0213 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 1 -1 0 -1 0 1 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.866080612789 0.839491733887 6 11 7 10 0132 1230 0321 0132 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 -1 0 1 0 0 0 0 -1 -2 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.322394633560 1.372332123162 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_12']), 'c_1001_10' : negation(d['c_0011_9']), 'c_1001_12' : d['c_0110_11'], 'c_1001_5' : d['c_0011_8'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_0101_5'], 'c_1001_6' : d['c_0011_8'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_12']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : d['c_1001_9'], 'c_1001_8' : negation(d['c_0011_12']), 'c_1010_12' : negation(d['c_0011_9']), 'c_1010_11' : d['c_1001_3'], 'c_1010_10' : d['c_0011_4'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : negation(d['1']), 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_9']), 'c_0101_10' : d['c_0101_0'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_1001_3'], 'c_1100_8' : d['c_1001_3'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_9'], 'c_1100_4' : d['c_1001_9'], 'c_1100_7' : d['c_0110_11'], 'c_1100_6' : d['c_0011_8'], 'c_1100_1' : d['c_0011_8'], 'c_1100_0' : d['c_1001_9'], 'c_1100_3' : d['c_1001_9'], 'c_1100_2' : d['c_1001_3'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0110_11']), 'c_1100_10' : d['c_0101_5'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_9']), 'c_1010_6' : d['c_0110_11'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0011_8'], 'c_1010_3' : negation(d['c_0011_12']), 'c_1010_2' : negation(d['c_0011_12']), 'c_1010_1' : d['c_0011_8'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_1001_1'], 'c_1010_8' : negation(d['c_0110_11']), 's_3_1' : negation(d['1']), 's_3_0' : 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'], 'c_1100_12' : d['c_0101_5'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : 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' : d['c_0011_9'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_12']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : d['c_0011_4'], 'c_0110_12' : d['c_0101_0'], 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_10'], 'c_0101_7' : negation(d['c_0101_12']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_4'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0011_10'], 'c_0101_1' : d['c_0011_4'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_4']), 'c_0101_8' : negation(d['c_0101_12']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : negation(d['1']), 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : negation(d['c_0110_11']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_4'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_12']), 'c_0110_5' : negation(d['c_0011_9']), 'c_0110_4' : d['c_0101_5'], 'c_0110_7' : d['c_0011_10'], 'c_0110_6' : d['c_0101_12']})} 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_12, c_0011_4, c_0011_8, c_0011_9, c_0101_0, c_0101_12, c_0101_5, c_0110_11, c_1001_1, c_1001_3, c_1001_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 431017243567075695707/136295410139385547*c_1001_9^11 + 3938989305694082675479/545181640557542188*c_1001_9^10 - 9508172018615468693291/2180726562230168752*c_1001_9^9 + 15404972524351918587091/1090363281115084376*c_1001_9^8 - 31571319365349098477177/1090363281115084376*c_1001_9^7 + 17702418893727616770343/1090363281115084376*c_1001_9^6 - 3632731057154418686071/47407099178916712*c_1001_9^5 + 247327366257341531117/11851774794729178*c_1001_9^4 - 104952276043013409034179/2180726562230168752*c_1001_9^3 + 4439155879330556606127/272590820278771094*c_1001_9^2 - 1916891327347023442569/545181640557542188*c_1001_9 + 2370806177336498349523/2180726562230168752, c_0011_0 - 1, c_0011_10 + 5349400466521312/5925887397364589*c_1001_9^11 - 15410835147078600/5925887397364589*c_1001_9^10 + 13194259609658330/5925887397364589*c_1001_9^9 - 24640776015623611/5925887397364589*c_1001_9^8 + 61122524581485613/5925887397364589*c_1001_9^7 - 51121209358918662/5925887397364589*c_1001_9^6 + 131469325267716504/5925887397364589*c_1001_9^5 - 103798179628331558/5925887397364589*c_1001_9^4 + 71346252251880712/5925887397364589*c_1001_9^3 - 59685309603401618/5925887397364589*c_1001_9^2 + 8783718114859495/5925887397364589*c_1001_9 + 1949202654300078/5925887397364589, c_0011_12 - 1360415829492288/5925887397364589*c_1001_9^11 + 1334436046781968/5925887397364589*c_1001_9^10 + 3179060510551852/5925887397364589*c_1001_9^9 + 2353464439996948/5925887397364589*c_1001_9^8 - 5679848174391082/5925887397364589*c_1001_9^7 - 12418941159188596/5925887397364589*c_1001_9^6 - 18211175053276309/5925887397364589*c_1001_9^5 - 29042663716976115/5925887397364589*c_1001_9^4 + 10265518575111168/5925887397364589*c_1001_9^3 - 6122062500405538/5925887397364589*c_1001_9^2 + 14888191188129958/5925887397364589*c_1001_9 + 162961130038390/5925887397364589, c_0011_4 + 1901110727755312/5925887397364589*c_1001_9^11 - 5978040158965500/5925887397364589*c_1001_9^10 + 6749555852000563/5925887397364589*c_1001_9^9 - 11463767147210566/5925887397364589*c_1001_9^8 + 24109789895307238/5925887397364589*c_1001_9^7 - 24778491398663293/5925887397364589*c_1001_9^6 + 57445863860107736/5925887397364589*c_1001_9^5 - 51526723657256675/5925887397364589*c_1001_9^4 + 42364050892621971/5925887397364589*c_1001_9^3 - 29827198229344336/5925887397364589*c_1001_9^2 + 6346344889601924/5925887397364589*c_1001_9 + 2817266198170440/5925887397364589, c_0011_8 - 12528600872433504/5925887397364589*c_1001_9^11 + 26467561793785064/5925887397364589*c_1001_9^10 - 11975599943716354/5925887397364589*c_1001_9^9 + 52834343417140987/5925887397364589*c_1001_9^8 - 106144293274528001/5925887397364589*c_1001_9^7 + 43115162894898457/5925887397364589*c_1001_9^6 - 290518634920428054/5925887397364589*c_1001_9^5 + 34881048345440651/5925887397364589*c_1001_9^4 - 170669630852274975/5925887397364589*c_1001_9^3 + 38772372755942499/5925887397364589*c_1001_9^2 - 2391350691479916/5925887397364589*c_1001_9 + 3856276315125/5925887397364589, c_0011_9 - 5349400466521312/5925887397364589*c_1001_9^11 + 15410835147078600/5925887397364589*c_1001_9^10 - 13194259609658330/5925887397364589*c_1001_9^9 + 24640776015623611/5925887397364589*c_1001_9^8 - 61122524581485613/5925887397364589*c_1001_9^7 + 51121209358918662/5925887397364589*c_1001_9^6 - 131469325267716504/5925887397364589*c_1001_9^5 + 103798179628331558/5925887397364589*c_1001_9^4 - 71346252251880712/5925887397364589*c_1001_9^3 + 59685309603401618/5925887397364589*c_1001_9^2 - 8783718114859495/5925887397364589*c_1001_9 - 1949202654300078/5925887397364589, c_0101_0 + 1901110727755312/5925887397364589*c_1001_9^11 - 5978040158965500/5925887397364589*c_1001_9^10 + 6749555852000563/5925887397364589*c_1001_9^9 - 11463767147210566/5925887397364589*c_1001_9^8 + 24109789895307238/5925887397364589*c_1001_9^7 - 24778491398663293/5925887397364589*c_1001_9^6 + 57445863860107736/5925887397364589*c_1001_9^5 - 51526723657256675/5925887397364589*c_1001_9^4 + 42364050892621971/5925887397364589*c_1001_9^3 - 29827198229344336/5925887397364589*c_1001_9^2 + 6346344889601924/5925887397364589*c_1001_9 - 3108621199194149/5925887397364589, c_0101_12 + 8027273178641104/5925887397364589*c_1001_9^11 - 15628597729507876/5925887397364589*c_1001_9^10 + 7043045067281717/5925887397364589*c_1001_9^9 - 36599452094821160/5925887397364589*c_1001_9^8 + 62396030720663450/5925887397364589*c_1001_9^7 - 23078840027687908/5925887397364589*c_1001_9^6 + 196796480031551450/5925887397364589*c_1001_9^5 + 8584307453269823/5925887397364589*c_1001_9^4 + 146566209330731181/5925887397364589*c_1001_9^3 + 3141972697317361/5925887397364589*c_1001_9^2 + 13288594714542718/5925887397364589*c_1001_9 + 1621943328567621/5925887397364589, c_0101_5 - 1719087237764960/5925887397364589*c_1001_9^11 + 4230428405527208/5925887397364589*c_1001_9^10 - 3681187092660226/5925887397364589*c_1001_9^9 + 8974201640372699/5925887397364589*c_1001_9^8 - 16177470575362310/5925887397364589*c_1001_9^7 + 12222311140548747/5925887397364589*c_1001_9^6 - 46109620651747493/5925887397364589*c_1001_9^5 + 15875820932372388/5925887397364589*c_1001_9^4 - 34107807812724342/5925887397364589*c_1001_9^3 - 1610541657462845/5925887397364589*c_1001_9^2 - 2315735184728909/5925887397364589*c_1001_9 - 5378147638935457/5925887397364589, c_0110_11 - 3327719866797232/5925887397364589*c_1001_9^11 + 9837921815278188/5925887397364589*c_1001_9^10 - 9110193942956335/5925887397364589*c_1001_9^9 + 16426627422159943/5925887397364589*c_1001_9^8 - 38885992918648239/5925887397364589*c_1001_9^7 + 33900683494163822/5925887397364589*c_1001_9^6 - 85885939290349521/5925887397364589*c_1001_9^5 + 70100893271242881/5925887397364589*c_1001_9^4 - 47082288712503024/5925887397364589*c_1001_9^3 + 45118801733559240/5925887397364589*c_1001_9^2 + 928639484760144/5925887397364589*c_1001_9 - 989190226018242/5925887397364589, c_1001_1 + 12528600872433504/5925887397364589*c_1001_9^11 - 26467561793785064/5925887397364589*c_1001_9^10 + 11975599943716354/5925887397364589*c_1001_9^9 - 52834343417140987/5925887397364589*c_1001_9^8 + 106144293274528001/5925887397364589*c_1001_9^7 - 43115162894898457/5925887397364589*c_1001_9^6 + 290518634920428054/5925887397364589*c_1001_9^5 - 34881048345440651/5925887397364589*c_1001_9^4 + 170669630852274975/5925887397364589*c_1001_9^3 - 38772372755942499/5925887397364589*c_1001_9^2 + 2391350691479916/5925887397364589*c_1001_9 - 3856276315125/5925887397364589, c_1001_3 + 9516398895583904/5925887397364589*c_1001_9^11 - 21719275389529672/5925887397364589*c_1001_9^10 + 12418540521071754/5925887397364589*c_1001_9^9 - 40562108469824852/5925887397364589*c_1001_9^8 + 84943172046345302/5925887397364589*c_1001_9^7 - 45336764922676438/5925887397364589*c_1001_9^6 + 223470577289817908/5925887397364589*c_1001_9^5 - 53231775221615921/5925887397364589*c_1001_9^4 + 125483294544016824/5925887397364589*c_1001_9^3 - 36842281361757353/5925887397364589*c_1001_9^2 - 6282797960128236/5925887397364589*c_1001_9 - 230750853112397/5925887397364589, c_1001_9^12 - 9/4*c_1001_9^11 + 21/16*c_1001_9^10 - 71/16*c_1001_9^9 + 9*c_1001_9^8 - 39/8*c_1001_9^7 + 193/8*c_1001_9^6 - 23/4*c_1001_9^5 + 245/16*c_1001_9^4 - 71/16*c_1001_9^3 + 5/4*c_1001_9^2 - 3/16*c_1001_9 + 1/16 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_4, c_0011_8, c_0011_9, c_0101_0, c_0101_12, c_0101_5, c_0110_11, c_1001_1, c_1001_3, c_1001_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 5577836389600967241832456/92993787104458084474647*c_1001_9^15 - 24588645639744192317103902/30997929034819361491549*c_1001_9^14 + 165381099685309375183788836/30997929034819361491549*c_1001_9^13 - 26339890200387151323060464/999933194671592306179*c_1001_9^12 + 9450575138808643255863991057/92993787104458084474647*c_1001_9^11 - 26080318875918087731042245487/92993787104458084474647*c_1001_9^10 + 17695628271935055930004886265/30997929034819361491549*c_1001_9^9 - 80843223402192411936695367311/92993787104458084474647*c_1001_9^8 + 93543388954943200301059979225/92993787104458084474647*c_1001_9^7 - 83547476921532079275574372936/92993787104458084474647*c_1001_9^6 + 19221421930606369757227079457/30997929034819361491549*c_1001_9^5 - 31840456453696093392254531053/92993787104458084474647*c_1001_9^4 + 13814291499138007259092722923/92993787104458084474647*c_1001_9^3 - 5373524578898116504256489435/92993787104458084474647*c_1001_9^2 + 527174523712113072560302346/30997929034819361491549*c_1001_9 - 28629660575561784827930165/4894409847603057077613, c_0011_0 - 1, c_0011_10 + 154173489496105490/437352323081320443*c_1001_9^15 - 1725386149719061610/437352323081320443*c_1001_9^14 + 10093883860527289081/437352323081320443*c_1001_9^13 - 46066357525815122845/437352323081320443*c_1001_9^12 + 161736614841852377851/437352323081320443*c_1001_9^11 - 367444669990730127676/437352323081320443*c_1001_9^10 + 642699570406835157413/437352323081320443*c_1001_9^9 - 799226832007815059902/437352323081320443*c_1001_9^8 + 801656023281009067247/437352323081320443*c_1001_9^7 - 586594779321217997879/437352323081320443*c_1001_9^6 + 357811804486360760680/437352323081320443*c_1001_9^5 - 152867526080872622894/437352323081320443*c_1001_9^4 + 20448445203313481604/145784107693773481*c_1001_9^3 - 4897192791320500908/145784107693773481*c_1001_9^2 + 1797231656593503804/145784107693773481*c_1001_9 - 7680429738073277/23018543320069497, c_0011_12 + 44373380313738538/437352323081320443*c_1001_9^15 - 469053344985205799/437352323081320443*c_1001_9^14 + 2633874542157073406/437352323081320443*c_1001_9^13 - 11849651537528383264/437352323081320443*c_1001_9^12 + 40514532063079731617/437352323081320443*c_1001_9^11 - 86543172581289545120/437352323081320443*c_1001_9^10 + 151855143158850023168/437352323081320443*c_1001_9^9 - 181062879196285901171/437352323081320443*c_1001_9^8 + 189840094871827729096/437352323081320443*c_1001_9^7 - 128663814499128600625/437352323081320443*c_1001_9^6 + 82342922187214061608/437352323081320443*c_1001_9^5 - 24011332918928775682/437352323081320443*c_1001_9^4 + 3634909800256556889/145784107693773481*c_1001_9^3 + 1323038309688251978/437352323081320443*c_1001_9^2 + 904148168682998365/437352323081320443*c_1001_9 + 13265580714283116/7672847773356499, c_0011_4 - 104383847500929932/437352323081320443*c_1001_9^15 + 1190792870740169959/437352323081320443*c_1001_9^14 - 7071047644690307540/437352323081320443*c_1001_9^13 + 32492170268574246305/437352323081320443*c_1001_9^12 - 38413879072830123859/145784107693773481*c_1001_9^11 + 89308573435329960435/145784107693773481*c_1001_9^10 - 473291555131449132484/437352323081320443*c_1001_9^9 + 601395186618876666788/437352323081320443*c_1001_9^8 - 201539244616502695747/145784107693773481*c_1001_9^7 + 151170139760174806278/145784107693773481*c_1001_9^6 - 275267828610149649524/437352323081320443*c_1001_9^5 + 124651414248270786355/437352323081320443*c_1001_9^4 - 48709754110722755309/437352323081320443*c_1001_9^3 + 13933382760116175607/437352323081320443*c_1001_9^2 - 1381709376158362758/145784107693773481*c_1001_9 + 36871233952704247/23018543320069497, c_0011_8 + 41269493413810313/437352323081320443*c_1001_9^15 - 565567476955513685/437352323081320443*c_1001_9^14 + 1285788008574992653/145784107693773481*c_1001_9^13 - 6351258378478553230/145784107693773481*c_1001_9^12 + 24615117032042229680/145784107693773481*c_1001_9^11 - 68355188699617040784/145784107693773481*c_1001_9^10 + 137130958354429556009/145784107693773481*c_1001_9^9 - 208655789388865803034/145784107693773481*c_1001_9^8 + 238137842112581958702/145784107693773481*c_1001_9^7 - 214810735468717485727/145784107693773481*c_1001_9^6 + 146319799197990717827/145784107693773481*c_1001_9^5 - 81031224186100600056/145784107693773481*c_1001_9^4 + 99412149827973497321/437352323081320443*c_1001_9^3 - 37206803186059204877/437352323081320443*c_1001_9^2 + 3051292031589623909/145784107693773481*c_1001_9 - 53855528392454794/7672847773356499, c_0011_9 + 97477510290796660/437352323081320443*c_1001_9^15 - 1122769832424282419/437352323081320443*c_1001_9^14 + 6742126892461204393/437352323081320443*c_1001_9^13 - 10422174434486619273/145784107693773481*c_1001_9^12 + 112163740126461783124/437352323081320443*c_1001_9^11 - 267608311095029787733/437352323081320443*c_1001_9^10 + 489460610037765378023/437352323081320443*c_1001_9^9 - 657797680011218523253/437352323081320443*c_1001_9^8 + 706877525313503835506/437352323081320443*c_1001_9^7 - 583265225576164569047/437352323081320443*c_1001_9^6 + 388160253862053325561/437352323081320443*c_1001_9^5 - 199922642387125978484/437352323081320443*c_1001_9^4 + 82710574196031664826/437352323081320443*c_1001_9^3 - 9427859169671909350/145784107693773481*c_1001_9^2 + 2580286466006724449/145784107693773481*c_1001_9 - 122514107680253098/23018543320069497, c_0101_0 - 23508836459548961/437352323081320443*c_1001_9^15 + 254419288982198422/437352323081320443*c_1001_9^14 - 1458555069810433654/437352323081320443*c_1001_9^13 + 6641997633469297007/437352323081320443*c_1001_9^12 - 23151627989236022768/437352323081320443*c_1001_9^11 + 51816250472910576218/437352323081320443*c_1001_9^10 - 94328219169621299407/437352323081320443*c_1001_9^9 + 123403763531162369726/437352323081320443*c_1001_9^8 - 139295642312645545108/437352323081320443*c_1001_9^7 + 115184876851500500776/437352323081320443*c_1001_9^6 - 82904370831445110107/437352323081320443*c_1001_9^5 + 41360502157114269895/437352323081320443*c_1001_9^4 - 18426847459208920795/437352323081320443*c_1001_9^3 + 1968870065104906227/145784107693773481*c_1001_9^2 - 1823981849687002658/437352323081320443*c_1001_9 + 49036545682787704/23018543320069497, c_0101_12 - 14703539949913694/437352323081320443*c_1001_9^15 + 68937931243611344/145784107693773481*c_1001_9^14 - 1399815789785153470/437352323081320443*c_1001_9^13 + 6783387139340893159/437352323081320443*c_1001_9^12 - 8658939670328914833/145784107693773481*c_1001_9^11 + 23417455856991321320/145784107693773481*c_1001_9^10 - 43868254370759091474/145784107693773481*c_1001_9^9 + 192092182000835618348/437352323081320443*c_1001_9^8 - 67547296627494572653/145784107693773481*c_1001_9^7 + 61855079623126968444/145784107693773481*c_1001_9^6 - 40676255021506104060/145784107693773481*c_1001_9^5 + 80263026806891443753/437352323081320443*c_1001_9^4 - 32779933240422209819/437352323081320443*c_1001_9^3 + 5754757714862625855/145784107693773481*c_1001_9^2 - 3278805028543194121/437352323081320443*c_1001_9 + 35322748638778456/7672847773356499, c_0101_5 - 54689244776932874/437352323081320443*c_1001_9^15 + 652145320780545809/437352323081320443*c_1001_9^14 - 4008106642500453805/437352323081320443*c_1001_9^13 + 6241356803080578416/145784107693773481*c_1001_9^12 - 22642634611863963745/145784107693773481*c_1001_9^11 + 55310516908812556420/145784107693773481*c_1001_9^10 - 300850873219357499849/437352323081320443*c_1001_9^9 + 399475825186908263470/437352323081320443*c_1001_9^8 - 135681325094673807118/145784107693773481*c_1001_9^7 + 105696645339127210014/145784107693773481*c_1001_9^6 - 191571776226735433288/437352323081320443*c_1001_9^5 + 90646728623337354539/437352323081320443*c_1001_9^4 - 34308697647844570046/437352323081320443*c_1001_9^3 + 10677409221997119668/437352323081320443*c_1001_9^2 - 953451147096690344/145784107693773481*c_1001_9 + 20917793126731093/23018543320069497, c_0110_11 + 103695500707542701/437352323081320443*c_1001_9^15 - 1158154847249687089/437352323081320443*c_1001_9^14 + 2248363763717552293/145784107693773481*c_1001_9^13 - 30642699729337271884/437352323081320443*c_1001_9^12 + 107050951435783753547/437352323081320443*c_1001_9^11 - 240157396444188049651/437352323081320443*c_1001_9^10 + 137211650912713703547/145784107693773481*c_1001_9^9 - 166079194124307319071/145784107693773481*c_1001_9^8 + 482341603960815913540/437352323081320443*c_1001_9^7 - 339597802521782505320/437352323081320443*c_1001_9^6 + 66118849749529617432/145784107693773481*c_1001_9^5 - 27608858434386374216/145784107693773481*c_1001_9^4 + 33418457237703401026/437352323081320443*c_1001_9^3 - 8986217648516995049/437352323081320443*c_1001_9^2 + 1115661577767581029/145784107693773481*c_1001_9 - 10119179457092758/23018543320069497, c_1001_1 + 42424180852370246/145784107693773481*c_1001_9^15 - 509698189945746094/145784107693773481*c_1001_9^14 + 9494548861559213864/437352323081320443*c_1001_9^13 - 44766766018959603382/437352323081320443*c_1001_9^12 + 54699528058687463164/145784107693773481*c_1001_9^11 - 136638257053601448220/145784107693773481*c_1001_9^10 + 256146784983738197920/145784107693773481*c_1001_9^9 - 356290160320591217507/145784107693773481*c_1001_9^8 + 385316184957382479880/145784107693773481*c_1001_9^7 - 322485450460912275256/145784107693773481*c_1001_9^6 + 211264469134125894994/145784107693773481*c_1001_9^5 - 109275433076512366256/145784107693773481*c_1001_9^4 + 44092300926065638802/145784107693773481*c_1001_9^3 - 15362909721370354164/145784107693773481*c_1001_9^2 + 11990661462662751608/437352323081320443*c_1001_9 - 177308713465911016/23018543320069497, c_1001_3 + 16512369796061323/145784107693773481*c_1001_9^15 - 209551032501720240/145784107693773481*c_1001_9^14 + 1351306169206408860/145784107693773481*c_1001_9^13 - 6481417401379077893/145784107693773481*c_1001_9^12 + 24308729709692427055/145784107693773481*c_1001_9^11 - 63497020071126394820/145784107693773481*c_1001_9^10 + 121635918275460885483/145784107693773481*c_1001_9^9 - 175896726727776579384/145784107693773481*c_1001_9^8 + 193262835053246439014/145784107693773481*c_1001_9^7 - 168701689362762178409/145784107693773481*c_1001_9^6 + 111726077120723016894/145784107693773481*c_1001_9^5 - 61200291235180548048/145784107693773481*c_1001_9^4 + 24140328203870228600/145784107693773481*c_1001_9^3 - 9193736887452794669/145784107693773481*c_1001_9^2 + 2111383779892115394/145784107693773481*c_1001_9 - 40204244753534062/7672847773356499, c_1001_9^16 - 12*c_1001_9^15 + 75*c_1001_9^14 - 357*c_1001_9^13 + 1321*c_1001_9^12 - 3369*c_1001_9^11 + 6573*c_1001_9^10 - 9612*c_1001_9^9 + 11217*c_1001_9^8 - 10221*c_1001_9^7 + 7602*c_1001_9^6 - 4437*c_1001_9^5 + 2167*c_1001_9^4 - 816*c_1001_9^3 + 285*c_1001_9^2 - 69*c_1001_9 + 19 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.810 Total time: 3.020 seconds, Total memory usage: 87.00MB