Magma V2.19-8 Tue Aug 20 2013 17:58:23 on localhost [Seed = 964201831] Type ? for help. Type -D to quit. Loading file "10_30__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_30 geometric_solution 11.82875757 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 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 1 -1 0 0 0 0 0 4 0 -4 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.550640297665 0.613947284133 0 5 7 6 0132 0132 0132 0132 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 -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.622331810763 0.602843383339 8 0 5 9 0132 0132 0132 0132 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 1 0 -1 0 -1 1 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.438290822814 1.629475152104 4 5 10 0 3120 1230 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.656315593399 0.456115568881 6 7 0 3 0132 0132 0132 3120 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 1 0 1 0 0 -1 0 0 0 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.622331810763 0.602843383339 9 1 3 2 1023 0132 3012 0132 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 -1 1 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.245144441885 1.213922054539 4 7 1 7 0132 0213 0132 3120 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 1 0 -1 -1 0 0 1 4 -1 0 -3 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.664938153000 0.537165564399 6 4 6 1 3120 0132 0213 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 1 -1 0 -1 0 1 0 3 0 0 -3 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.664938153000 0.537165564399 2 9 11 12 0132 1023 0132 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 -1 0 1 0 -4 0 0 4 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.570779448558 1.182789484167 8 5 2 10 1023 1023 0132 2031 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 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.327556805010 0.390813854626 11 9 12 3 0132 1302 0213 0132 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 -1 0 0 1 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.669071185126 0.685762466096 10 12 12 8 0132 2031 1230 0132 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 1 0 0 -1 3 -4 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.062385337174 0.741103543898 11 10 8 11 1302 0213 0132 3012 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 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.487575888199 0.288034040149 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0110_12']), 'c_1001_10' : d['c_0110_9'], 'c_1001_12' : d['c_0110_9'], 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_5'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : d['c_0101_5'], 'c_1001_8' : d['c_0011_12'], 'c_1010_12' : negation(d['c_0101_11']), 'c_1010_11' : d['c_0011_12'], 'c_1010_10' : d['c_1001_3'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : negation(d['1']), 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_12'], 's_2_0' : 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' : 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' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_1001_3']), 'c_1100_8' : d['c_0110_12'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1001_3']), 'c_1100_4' : negation(d['c_0101_11']), 'c_1100_7' : d['c_0011_4'], 'c_1100_6' : d['c_0011_4'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : negation(d['c_0101_11']), 'c_1100_3' : negation(d['c_0101_11']), 'c_1100_2' : negation(d['c_1001_3']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0110_12'], 'c_1100_10' : negation(d['c_0101_11']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : d['c_1001_1'], '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_1001_1'], 'c_1010_9' : d['c_0011_10'], 'c_1010_8' : d['c_0110_9'], 's_3_1' : d['1'], 's_3_0' : 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' : d['c_0110_12'], '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' : negation(d['1']), 'c_0011_9' : d['c_0011_0'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), 'c_0011_6' : negation(d['c_0011_4']), '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_0011_12'], 'c_0110_10' : d['c_0101_11'], 'c_0110_12' : d['c_0110_12'], 'c_0101_12' : d['c_0011_10'], 'c_0011_11' : negation(d['c_0011_10']), 'c_0101_7' : negation(d['c_0011_4']), '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_0101_11'], 'c_0101_2' : d['c_0011_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_12'], 'c_0101_8' : d['c_0011_12'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : d['c_0011_10'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_12'], 'c_0110_5' : d['c_0011_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_12, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_11, c_0101_5, c_0110_12, c_0110_9, c_1001_1, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 33 Groebner basis: [ t - 14699902185967026329425301886578/17668129974122448485068613307575*c\ _1001_3^32 - 97626522445663626064659979147619/176681299741224484850\ 68613307575*c_1001_3^31 - 95956373189697305053997455395164/35336259\ 94824489697013722661515*c_1001_3^30 - 346255124925431959700914353628488/3533625994824489697013722661515*c\ _1001_3^29 - 5144671581630222044923452645713397/1766812997412244848\ 5068613307575*c_1001_3^28 - 13004577172310696561713877046775014/176\ 68129974122448485068613307575*c_1001_3^27 - 28398786811648997611590157926450683/1766812997412244848506861330757\ 5*c_1001_3^26 - 54781084873617272591060794456430827/176681299741224\ 48485068613307575*c_1001_3^25 - 93201886317588952933336481674156038\ /17668129974122448485068613307575*c_1001_3^24 - 141038637246674124183203164836689738/176681299741224484850686133075\ 75*c_1001_3^23 - 7530384336175925723885344242333409/706725198964897\ 939402744532303*c_1001_3^22 - 219851076160747451518511113466072422/\ 17668129974122448485068613307575*c_1001_3^21 - 218515527693442543507269036855528626/176681299741224484850686133075\ 75*c_1001_3^20 - 174406407209774351094480438327906846/1766812997412\ 2448485068613307575*c_1001_3^19 - 911599379755250190699760736280807\ 93/17668129974122448485068613307575*c_1001_3^18 + 493336482701640967498402565820896/1039301763183673440298153723975*c\ _1001_3^17 + 18299310163117034722945458454157219/353362599482448969\ 7013722661515*c_1001_3^16 + 125347593223998120496845648122446504/17\ 668129974122448485068613307575*c_1001_3^15 + 19146661543753736661086679865227833/3533625994824489697013722661515\ *c_1001_3^14 + 2836134376679522679590032951807009/35336259948244896\ 97013722661515*c_1001_3^13 - 17371319501728413526309329015627873/35\ 33625994824489697013722661515*c_1001_3^12 - 167796146680826155062586332129909187/176681299741224484850686133075\ 75*c_1001_3^11 - 200384874964787761222424639459771449/1766812997412\ 2448485068613307575*c_1001_3^10 - 181100883883216408423807005975467\ 552/17668129974122448485068613307575*c_1001_3^9 - 25115290373668182592768397168758338/3533625994824489697013722661515\ *c_1001_3^8 - 62000832301358579209519495937345577/17668129974122448\ 485068613307575*c_1001_3^7 - 13446803045283850130278306186035731/17\ 668129974122448485068613307575*c_1001_3^6 + 418791391551411242237478804129394/706725198964897939402744532303*c_\ 1001_3^5 + 14396387243788918416099431736667579/17668129974122448485\ 068613307575*c_1001_3^4 + 8542865060396219882778363127373253/176681\ 29974122448485068613307575*c_1001_3^3 + 3022921748693977552105118166968046/17668129974122448485068613307575\ *c_1001_3^2 + 590676950017737132387502339548458/1766812997412244848\ 5068613307575*c_1001_3 + 56732160622505305094974507962237/176681299\ 74122448485068613307575, c_0011_0 - 1, c_0011_10 + 70493508112478627904958/53301877025877245893053*c_1001_3^32 + 326341202938068550840394/53301877025877245893053*c_1001_3^31 + 1726020841321825305685976/53301877025877245893053*c_1001_3^30 + 5437434868573336978560670/53301877025877245893053*c_1001_3^29 + 16652752167543770062946896/53301877025877245893053*c_1001_3^28 + 39721705468667037972973726/53301877025877245893053*c_1001_3^27 + 88187248971412738647778012/53301877025877245893053*c_1001_3^26 + 166603898294990380902993532/53301877025877245893053*c_1001_3^25 + 95896387091408366331689748/17767292341959081964351*c_1001_3^24 + 145339313854525815452673082/17767292341959081964351*c_1001_3^23 + 198268634162493780544219210/17767292341959081964351*c_1001_3^22 + 236470286042693185150218172/17767292341959081964351*c_1001_3^21 + 245556192495281303887193804/17767292341959081964351*c_1001_3^20 + 208679044067081741242182928/17767292341959081964351*c_1001_3^19 + 390763851737958347621396812/53301877025877245893053*c_1001_3^18 + 70893949222774390052082184/53301877025877245893053*c_1001_3^17 - 221762963415446079539443810/53301877025877245893053*c_1001_3^16 - 389788090942829149109757575/53301877025877245893053*c_1001_3^15 - 360830659542544483176909742/53301877025877245893053*c_1001_3^14 - 47781860119547566659328526/17767292341959081964351*c_1001_3^13 + 179097127840655868592510618/53301877025877245893053*c_1001_3^12 + 476124259896291517447852522/53301877025877245893053*c_1001_3^11 + 652341280560853429903302112/53301877025877245893053*c_1001_3^10 + 644296174127687971768017014/53301877025877245893053*c_1001_3^9 + 499530955695827562049069210/53301877025877245893053*c_1001_3^8 + 95197138121736238455294496/17767292341959081964351*c_1001_3^7 + 95222204114746533413667202/53301877025877245893053*c_1001_3^6 - 7830245828318641153078252/17767292341959081964351*c_1001_3^5 - 59198359210662793731729448/53301877025877245893053*c_1001_3^4 - 16838338343847069804518474/17767292341959081964351*c_1001_3^3 - 22920703792690327691520944/53301877025877245893053*c_1001_3^2 - 6133504972494394838466754/53301877025877245893053*c_1001_3 - 541321519704346813519480/53301877025877245893053, c_0011_12 - 113616370710459792328834/53301877025877245893053*c_1001_3^3\ 2 - 553379340065384034538838/53301877025877245893053*c_1001_3^31 - 2877181323853168077631640/53301877025877245893053*c_1001_3^30 - 9255622964191642391303968/53301877025877245893053*c_1001_3^29 - 28078100922627303242698090/53301877025877245893053*c_1001_3^28 - 67541664087525429476185660/53301877025877245893053*c_1001_3^27 - 148979112996448287247709200/53301877025877245893053*c_1001_3^26 - 281989099038674343068790856/53301877025877245893053*c_1001_3^25 - 161391439456561896928648426/17767292341959081964351*c_1001_3^24 - 244062430515064218364375940/17767292341959081964351*c_1001_3^23 - 330765904565176983179698472/17767292341959081964351*c_1001_3^22 - 392192388750007132762616370/17767292341959081964351*c_1001_3^21 - 403060387492055884359900272/17767292341959081964351*c_1001_3^20 - 337935346981919662692587946/17767292341959081964351*c_1001_3^19 - 612106674548850464603631532/53301877025877245893053*c_1001_3^18 - 82425958070933958278820172/53301877025877245893053*c_1001_3^17 + 393528955449749310791490871/53301877025877245893053*c_1001_3^16 + 650902497899331318813940526/53301877025877245893053*c_1001_3^15 + 580769207886787338908373919/53301877025877245893053*c_1001_3^14 + 68503197187949455107984332/17767292341959081964351*c_1001_3^13 - 329834293611604156217576713/53301877025877245893053*c_1001_3^12 - 810175038307217221047304432/53301877025877245893053*c_1001_3^11 - 1079691384275201564855949310/53301877025877245893053*c_1001_3^10 - 1049918704375655933684294408/53301877025877245893053*c_1001_3^9 - 798503636274573158370256459/53301877025877245893053*c_1001_3^8 - 148897235638737634012086570/17767292341959081964351*c_1001_3^7 - 140374630923035349849756094/53301877025877245893053*c_1001_3^6 + 14855598895504237963600922/17767292341959081964351*c_1001_3^5 + 97147715883883406107349296/53301877025877245893053*c_1001_3^4 + 26378324426267620751850966/17767292341959081964351*c_1001_3^3 + 35848401208503688491193340/53301877025877245893053*c_1001_3^2 + 9331174701487317606096838/53301877025877245893053*c_1001_3 + 919580165583620664945961/53301877025877245893053, c_0011_3 - 63696812927672022106954/53301877025877245893053*c_1001_3^32 - 316573388307787603625870/53301877025877245893053*c_1001_3^31 - 1651540457162219854378136/53301877025877245893053*c_1001_3^30 - 5374523401596021477309250/53301877025877245893053*c_1001_3^29 - 16381160761324712086157218/53301877025877245893053*c_1001_3^28 - 39718577775474418735789930/53301877025877245893053*c_1001_3^27 - 88043741027527199659273600/53301877025877245893053*c_1001_3^26 - 167689051368191205480555196/53301877025877245893053*c_1001_3^25 - 96448623927259503496869666/17767292341959081964351*c_1001_3^24 - 146658341505811771737652902/17767292341959081964351*c_1001_3^23 - 199756273159480950516439064/17767292341959081964351*c_1001_3^22 - 238200300077689385955069412/17767292341959081964351*c_1001_3^21 - 246233352078078824470541948/17767292341959081964351*c_1001_3^20 - 208144302809808972505342258/17767292341959081964351*c_1001_3^19 - 382184684045118736214696026/53301877025877245893053*c_1001_3^18 - 58951397296576244561472742/53301877025877245893053*c_1001_3^17 + 235496050816585489568436454/53301877025877245893053*c_1001_3^16 + 398743285880927810645348396/53301877025877245893053*c_1001_3^15 + 361940671411929522042352552/53301877025877245893053*c_1001_3^14 + 45322584851151252090619012/17767292341959081964351*c_1001_3^13 - 191442842352685598063917345/53301877025877245893053*c_1001_3^12 - 489029028112307968562490958/53301877025877245893053*c_1001_3^11 - 658492004106023437489191469/53301877025877245893053*c_1001_3^10 - 644484049126319088420584072/53301877025877245893053*c_1001_3^9 - 492208654070282425480114933/53301877025877245893053*c_1001_3^8 - 92160835997061265902264244/17767292341959081964351*c_1001_3^7 - 87136052233549700230989016/53301877025877245893053*c_1001_3^6 + 9158947791546022488727080/17767292341959081964351*c_1001_3^5 + 60395155766997186362653258/53301877025877245893053*c_1001_3^4 + 16338690658945750316814026/17767292341959081964351*c_1001_3^3 + 22094388367941071270999237/53301877025877245893053*c_1001_3^2 + 5498067182669171801409892/53301877025877245893053*c_1001_3 + 469262701812481908095065/53301877025877245893053, c_0011_4 + 46452142112968540873448/53301877025877245893053*c_1001_3^32 + 228717715401143827326232/53301877025877245893053*c_1001_3^31 + 1169745158648048141110480/53301877025877245893053*c_1001_3^30 + 3767925404958081594982088/53301877025877245893053*c_1001_3^29 + 11294065116037338383299352/53301877025877245893053*c_1001_3^28 + 27114560870345093615952200/53301877025877245893053*c_1001_3^27 + 59267767014385073719852589/53301877025877245893053*c_1001_3^26 + 111827321289761672954730824/53301877025877245893053*c_1001_3^25 + 63571909940182069445926073/17767292341959081964351*c_1001_3^24 + 95825384877409994720619672/17767292341959081964351*c_1001_3^23 + 129284758816944785590451940/17767292341959081964351*c_1001_3^22 + 153004564383247390591633392/17767292341959081964351*c_1001_3^21 + 157059898778208598966854783/17767292341959081964351*c_1001_3^20 + 132201614947882262174136736/17767292341959081964351*c_1001_3^19 + 242831780018353425734159423/53301877025877245893053*c_1001_3^18 + 41156893824893253629823632/53301877025877245893053*c_1001_3^17 - 141491695158907854203682953/53301877025877245893053*c_1001_3^16 - 241366698061775639209486264/53301877025877245893053*c_1001_3^15 - 218275698303269445154565816/53301877025877245893053*c_1001_3^14 - 26525837376577167183934848/17767292341959081964351*c_1001_3^13 + 121894171484322921464096156/53301877025877245893053*c_1001_3^12 + 305447488818994584766893764/53301877025877245893053*c_1001_3^11 + 411580692643115218423062974/53301877025877245893053*c_1001_3^10 + 406917360647446964272532908/53301877025877245893053*c_1001_3^9 + 315808988110470885207004514/53301877025877245893053*c_1001_3^8 + 61439410666644179292761148/17767292341959081964351*c_1001_3^7 + 66161966146873555681440728/53301877025877245893053*c_1001_3^6 - 2976713222165660854760780/17767292341959081964351*c_1001_3^5 - 34346319203417912963379857/53301877025877245893053*c_1001_3^4 - 10258862917009675768006572/17767292341959081964351*c_1001_3^3 - 15989647812426914892262897/53301877025877245893053*c_1001_3^2 - 5025915255314065238695676/53301877025877245893053*c_1001_3 - 655912171786758512438633/53301877025877245893053, c_0101_0 - 79612313144567624378674/53301877025877245893053*c_1001_3^32 - 374268345564374940355886/53301877025877245893053*c_1001_3^31 - 1939924559603780822775488/53301877025877245893053*c_1001_3^30 - 6095919071584646242294546/53301877025877245893053*c_1001_3^29 - 18343555975435588364519074/53301877025877245893053*c_1001_3^28 - 43298127583226556061457194/53301877025877245893053*c_1001_3^27 - 94438026118915096313478322/53301877025877245893053*c_1001_3^26 - 175644965632514765142406420/53301877025877245893053*c_1001_3^25 - 99117937430623417602045528/17767292341959081964351*c_1001_3^24 - 147119831029198917802875950/17767292341959081964351*c_1001_3^23 - 195773735623823202805668920/17767292341959081964351*c_1001_3^22 - 226638923086999848725137876/17767292341959081964351*c_1001_3^21 - 226392993474283821328004678/17767292341959081964351*c_1001_3^20 - 181179321537103649685446492/17767292341959081964351*c_1001_3^19 - 297622812371301673213343884/53301877025877245893053*c_1001_3^18 + 8409799917780018992502554/53301877025877245893053*c_1001_3^17 + 262986786081814767445504756/53301877025877245893053*c_1001_3^16 + 378782239043753545014048344/53301877025877245893053*c_1001_3^15 + 303556273034576425098355120/53301877025877245893053*c_1001_3^14 + 21875824583027100721448085/17767292341959081964351*c_1001_3^13 - 243193389123797433326120542/53301877025877245893053*c_1001_3^12 - 498368847644530838829335758/53301877025877245893053*c_1001_3^11 - 623038224134181256900594366/53301877025877245893053*c_1001_3^10 - 576662130255219900848159225/53301877025877245893053*c_1001_3^9 - 418667520899469445324287430/53301877025877245893053*c_1001_3^8 - 72594801097002678853961998/17767292341959081964351*c_1001_3^7 - 55795054450303342143838300/53301877025877245893053*c_1001_3^6 + 11717216923261130413914358/17767292341959081964351*c_1001_3^5 + 54003540328578706825841602/53301877025877245893053*c_1001_3^4 + 13540861520858659262467668/17767292341959081964351*c_1001_3^3 + 16609495968613522062973484/53301877025877245893053*c_1001_3^2 + 4129413588070388306720263/53301877025877245893053*c_1001_3 + 278851420445941202586166/53301877025877245893053, c_0101_1 - 63696812927672022106954/53301877025877245893053*c_1001_3^32 - 316573388307787603625870/53301877025877245893053*c_1001_3^31 - 1651540457162219854378136/53301877025877245893053*c_1001_3^30 - 5374523401596021477309250/53301877025877245893053*c_1001_3^29 - 16381160761324712086157218/53301877025877245893053*c_1001_3^28 - 39718577775474418735789930/53301877025877245893053*c_1001_3^27 - 88043741027527199659273600/53301877025877245893053*c_1001_3^26 - 167689051368191205480555196/53301877025877245893053*c_1001_3^25 - 96448623927259503496869666/17767292341959081964351*c_1001_3^24 - 146658341505811771737652902/17767292341959081964351*c_1001_3^23 - 199756273159480950516439064/17767292341959081964351*c_1001_3^22 - 238200300077689385955069412/17767292341959081964351*c_1001_3^21 - 246233352078078824470541948/17767292341959081964351*c_1001_3^20 - 208144302809808972505342258/17767292341959081964351*c_1001_3^19 - 382184684045118736214696026/53301877025877245893053*c_1001_3^18 - 58951397296576244561472742/53301877025877245893053*c_1001_3^17 + 235496050816585489568436454/53301877025877245893053*c_1001_3^16 + 398743285880927810645348396/53301877025877245893053*c_1001_3^15 + 361940671411929522042352552/53301877025877245893053*c_1001_3^14 + 45322584851151252090619012/17767292341959081964351*c_1001_3^13 - 191442842352685598063917345/53301877025877245893053*c_1001_3^12 - 489029028112307968562490958/53301877025877245893053*c_1001_3^11 - 658492004106023437489191469/53301877025877245893053*c_1001_3^10 - 644484049126319088420584072/53301877025877245893053*c_1001_3^9 - 492208654070282425480114933/53301877025877245893053*c_1001_3^8 - 92160835997061265902264244/17767292341959081964351*c_1001_3^7 - 87136052233549700230989016/53301877025877245893053*c_1001_3^6 + 9158947791546022488727080/17767292341959081964351*c_1001_3^5 + 60395155766997186362653258/53301877025877245893053*c_1001_3^4 + 16338690658945750316814026/17767292341959081964351*c_1001_3^3 + 22094388367941071270999237/53301877025877245893053*c_1001_3^2 + 5498067182669171801409892/53301877025877245893053*c_1001_3 + 469262701812481908095065/53301877025877245893053, c_0101_11 - 1, c_0101_5 + 87490033086135203644438/53301877025877245893053*c_1001_3^32 + 446568970462765014695906/53301877025877245893053*c_1001_3^31 + 2322668002865821684270880/53301877025877245893053*c_1001_3^30 + 7650556530603447826866742/53301877025877245893053*c_1001_3^29 + 23318402772320327007643318/53301877025877245893053*c_1001_3^28 + 56897014685243131801212556/53301877025877245893053*c_1001_3^27 + 126237448501321073597985544/53301877025877245893053*c_1001_3^26 + 241249006016861514654660778/53301877025877245893053*c_1001_3^25 + 138885710495276099339616510/17767292341959081964351*c_1001_3^24 + 211535319117302971147762658/17767292341959081964351*c_1001_3^23 + 288222885498679759082092880/17767292341959081964351*c_1001_3^22 + 343790652416252558286135314/17767292341959081964351*c_1001_3^21 + 355002075013490462772226164/17767292341959081964351*c_1001_3^20 + 299475501478706929113854070/17767292341959081964351*c_1001_3^19 + 545679269968516487496855532/53301877025877245893053*c_1001_3^18 + 77289545085134702291312296/53301877025877245893053*c_1001_3^17 - 348160620814247889843942712/53301877025877245893053*c_1001_3^16 - 581299796907081300003176720/53301877025877245893053*c_1001_3^15 - 523208290124865949357229197/53301877025877245893053*c_1001_3^14 - 64024069262505757436031226/17767292341959081964351*c_1001_3^13 + 283319684361979126378070623/53301877025877245893053*c_1001_3^12 + 712747366583747964553473256/53301877025877245893053*c_1001_3^11 + 952788579652373347343725804/53301877025877245893053*c_1001_3^10 + 927837905535646954867443974/53301877025877245893053*c_1001_3^9 + 703853067881072154816796495/53301877025877245893053*c_1001_3^8 + 130352601223418390577772264/17767292341959081964351*c_1001_3^7 + 119421659730128656995099826/53301877025877245893053*c_1001_3^6 - 14192263618514686200342890/17767292341959081964351*c_1001_3^5 - 87602262003592824545880502/53301877025877245893053*c_1001_3^4 - 23115563102434368866391110/17767292341959081964351*c_1001_3^3 - 30702944883001502864866814/53301877025877245893053*c_1001_3^2 - 7687197469704826954562620/53301877025877245893053*c_1001_3 - 708099641246184781231087/53301877025877245893053, c_0110_12 - 21751520379441297180725/53301877025877245893053*c_1001_3^32 - 113083448925678315248992/53301877025877245893053*c_1001_3^31 - 577944475369400985331777/53301877025877245893053*c_1001_3^30 - 1945376457271672284929336/53301877025877245893053*c_1001_3^29 - 5908036130372989241209775/53301877025877245893053*c_1001_3^28 - 14778132342991455199140800/53301877025877245893053*c_1001_3^27 - 33072012410980588104614294/53301877025877245893053*c_1001_3^26 - 65059948056961615598351072/53301877025877245893053*c_1001_3^25 - 38240796835476410013788893/17767292341959081964351*c_1001_3^24 - 60393572731553674816125280/17767292341959081964351*c_1001_3^23 - 85299053615301204960364758/17767292341959081964351*c_1001_3^22 - 107198086058971980639509336/17767292341959081964351*c_1001_3^21 - 118065458569164962783221354/17767292341959081964351*c_1001_3^20 - 110525279704159537708768648/17767292341959081964351*c_1001_3^19 - 245147499718112278081445444/53301877025877245893053*c_1001_3^18 - 108847170323127326971040360/53301877025877245893053*c_1001_3^17 + 40679471005023765606514745/53301877025877245893053*c_1001_3^16 + 151446682461459158268116452/53301877025877245893053*c_1001_3^15 + 183629530848635004606690206/53301877025877245893053*c_1001_3^14 + 40455172138291954014070808/17767292341959081964351*c_1001_3^13 - 12441529326572877972024662/53301877025877245893053*c_1001_3^12 - 164289806315168792780334692/53301877025877245893053*c_1001_3^11 - 279805235037705911647309808/53301877025877245893053*c_1001_3^10 - 319882663887150394821604456/53301877025877245893053*c_1001_3^9 - 280187929336067380049356934/53301877025877245893053*c_1001_3^8 - 63688278195755038820778876/17767292341959081964351*c_1001_3^7 - 90690636558886366069863632/53301877025877245893053*c_1001_3^6 - 4839441706133022180114708/17767292341959081964351*c_1001_3^5 + 22616561526875963408665040/53301877025877245893053*c_1001_3^4 + 9382705423493659220418016/17767292341959081964351*c_1001_3^3 + 18362735155737805918105252/53301877025877245893053*c_1001_3^2 + 6523594858510861778850416/53301877025877245893053*c_1001_3 + 1226470472739340930825247/53301877025877245893053, c_0110_9 + 85196021599393555010290/53301877025877245893053*c_1001_3^32 + 403185517556855073758438/53301877025877245893053*c_1001_3^31 + 2127789387519265262332898/53301877025877245893053*c_1001_3^30 + 6785973959955119949030586/53301877025877245893053*c_1001_3^29 + 20803017998318469546255490/53301877025877245893053*c_1001_3^28 + 50032744208283379570289794/53301877025877245893053*c_1001_3^27 + 111371721661033397774235280/53301877025877245893053*c_1001_3^26 + 211768251065336862577085860/53301877025877245893053*c_1001_3^25 + 122354535237948913502267562/17767292341959081964351*c_1001_3^24 + 186553406995394192357577126/17767292341959081964351*c_1001_3^23 + 255769840684486505819127812/17767292341959081964351*c_1001_3^22 + 307190164413254634801555680/17767292341959081964351*c_1001_3^21 + 321411667640856204856219286/17767292341959081964351*c_1001_3^20 + 276565333117832022681315124/17767292341959081964351*c_1001_3^19 + 529662583811000064799145272/53301877025877245893053*c_1001_3^18 + 115279797479280759017066173/53301877025877245893053*c_1001_3^17 - 272214321911783058771395566/53301877025877245893053*c_1001_3^16 - 502760442614109302161244060/53301877025877245893053*c_1001_3^15 - 479127724503506525990133646/53301877025877245893053*c_1001_3^14 - 68727134266888781407600797/17767292341959081964351*c_1001_3^13 + 211273861980787547871181462/53301877025877245893053*c_1001_3^12 + 604856594497540303801381636/53301877025877245893053*c_1001_3^11 + 845385671757627624296451664/53301877025877245893053*c_1001_3^10 + 847661694777949262153418767/53301877025877245893053*c_1001_3^9 + 665685952391834779834540096/53301877025877245893053*c_1001_3^8 + 129451938920852440366610718/17767292341959081964351*c_1001_3^7 + 135698811455682694780631944/53301877025877245893053*c_1001_3^6 - 8320677125917205697771124/17767292341959081964351*c_1001_3^5 - 76864533777171674540343118/53301877025877245893053*c_1001_3^4 - 22461536610896954854313686/17767292341959081964351*c_1001_3^3 - 31768148404876576858037546/53301877025877245893053*c_1001_3^2 - 8736032298935027735714647/53301877025877245893053*c_1001_3 - 882170631835726190505982/53301877025877245893053, c_1001_1 + 79612313144567624378674/53301877025877245893053*c_1001_3^32 + 374268345564374940355886/53301877025877245893053*c_1001_3^31 + 1939924559603780822775488/53301877025877245893053*c_1001_3^30 + 6095919071584646242294546/53301877025877245893053*c_1001_3^29 + 18343555975435588364519074/53301877025877245893053*c_1001_3^28 + 43298127583226556061457194/53301877025877245893053*c_1001_3^27 + 94438026118915096313478322/53301877025877245893053*c_1001_3^26 + 175644965632514765142406420/53301877025877245893053*c_1001_3^25 + 99117937430623417602045528/17767292341959081964351*c_1001_3^24 + 147119831029198917802875950/17767292341959081964351*c_1001_3^23 + 195773735623823202805668920/17767292341959081964351*c_1001_3^22 + 226638923086999848725137876/17767292341959081964351*c_1001_3^21 + 226392993474283821328004678/17767292341959081964351*c_1001_3^20 + 181179321537103649685446492/17767292341959081964351*c_1001_3^19 + 297622812371301673213343884/53301877025877245893053*c_1001_3^18 - 8409799917780018992502554/53301877025877245893053*c_1001_3^17 - 262986786081814767445504756/53301877025877245893053*c_1001_3^16 - 378782239043753545014048344/53301877025877245893053*c_1001_3^15 - 303556273034576425098355120/53301877025877245893053*c_1001_3^14 - 21875824583027100721448085/17767292341959081964351*c_1001_3^13 + 243193389123797433326120542/53301877025877245893053*c_1001_3^12 + 498368847644530838829335758/53301877025877245893053*c_1001_3^11 + 623038224134181256900594366/53301877025877245893053*c_1001_3^10 + 576662130255219900848159225/53301877025877245893053*c_1001_3^9 + 418667520899469445324287430/53301877025877245893053*c_1001_3^8 + 72594801097002678853961998/17767292341959081964351*c_1001_3^7 + 55795054450303342143838300/53301877025877245893053*c_1001_3^6 - 11717216923261130413914358/17767292341959081964351*c_1001_3^5 - 54003540328578706825841602/53301877025877245893053*c_1001_3^4 - 13540861520858659262467668/17767292341959081964351*c_1001_3^3 - 16609495968613522062973484/53301877025877245893053*c_1001_3^2 - 4129413588070388306720263/53301877025877245893053*c_1001_3 - 278851420445941202586166/53301877025877245893053, c_1001_3^33 + 5*c_1001_3^32 + 26*c_1001_3^31 + 85*c_1001_3^30 + 259*c_1001_3^29 + 631*c_1001_3^28 + 1402*c_1001_3^27 + 2686*c_1001_3^26 + 4659*c_1001_3^25 + 7143*c_1001_3^24 + 9822*c_1001_3^23 + 11874*c_1001_3^22 + 12510*c_1001_3^21 + 10926*c_1001_3^20 + 7180*c_1001_3^19 + 1948*c_1001_3^18 - 3073*c_1001_3^17 - 6173*c_1001_3^16 - 6106*c_1001_3^15 - 2850*c_1001_3^14 + 2350*c_1001_3^13 + 7414*c_1001_3^12 + 10636*c_1001_3^11 + 10940*c_1001_3^10 + 8818*c_1001_3^9 + 5394*c_1001_3^8 + 2140*c_1001_3^7 - 36*c_1001_3^6 - 868*c_1001_3^5 - 852*c_1001_3^4 - 464*c_1001_3^3 - 160*c_1001_3^2 - 31*c_1001_3 - 3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.900 Total time: 1.129 seconds, Total memory usage: 32.09MB