Magma V2.19-8 Tue Aug 20 2013 18:03:33 on localhost [Seed = 779066294] Type ? for help. Type -D to quit. Loading file "9_29__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 9_29 geometric_solution 12.20585617 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 1230 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 0 1 0 0 0 0 1 -1 0 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.653288884404 0.558367558419 0 4 4 5 0132 0132 1302 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 -1 1 0 0 0 0 -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.427186426103 1.114560885832 0 0 7 6 3012 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 1 -1 0 -1 0 0 1 0 7 0 -7 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.802603744604 1.292568576816 8 5 9 0 0132 2310 0132 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 0 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.693543176557 0.850005697641 1 1 10 11 2031 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 -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.700164126864 0.782293902488 6 7 1 3 1302 0213 0132 3201 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 8 0 0 -8 0 0 0 0 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.379726348688 0.662574960133 8 5 2 9 2031 2031 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 -1 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 8 0 0 -8 1 -8 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.205610357779 0.900859241766 12 10 5 2 0132 0132 0213 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 0 -1 1 0 0 0 0 0 -1 0 1 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.390708142054 0.803984246759 3 10 6 11 0132 3012 1302 2103 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 0 0 -1 1 0 0 0 0 8 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.555025683216 1.263357473123 12 6 11 3 3012 1302 2103 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 0 0 0 0 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.340761606295 0.930595928653 8 7 12 4 1230 0132 1023 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 1.124728367028 0.844922342711 9 12 4 8 2103 0132 0132 2103 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 1 -1 0 0 0 0 8 -7 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.354113589446 1.241488375549 7 11 10 9 0132 0132 1023 1230 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 -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.359336140713 0.225538286862 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_11'], 'c_1001_10' : d['c_0101_12'], 'c_1001_12' : d['c_0101_10'], 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_1001_4'], 'c_1001_6' : negation(d['c_0110_5']), 'c_1001_1' : d['c_0101_11'], 'c_1001_0' : negation(d['c_0110_5']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_12'], 'c_1001_9' : negation(d['c_0011_10']), 'c_1001_8' : negation(d['c_0011_10']), 'c_1010_12' : d['c_0101_11'], 'c_1010_11' : d['c_0101_10'], 'c_1010_10' : d['c_1001_4'], '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' : 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' : 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' : 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_0011_3']), 'c_1100_4' : negation(d['c_0101_3']), 'c_1100_7' : negation(d['c_1001_3']), 'c_1100_6' : negation(d['c_1001_3']), 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0101_6'], 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : negation(d['c_1001_3']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_3']), 'c_1100_10' : negation(d['c_0101_3']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_12'], 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : negation(d['c_1001_3']), 'c_1010_4' : d['c_0101_11'], 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0110_5']), 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_0101_12'], 'c_1010_9' : d['c_1001_3'], 'c_1010_8' : negation(d['c_0101_10']), 'c_1100_8' : d['c_0101_6'], 's_3_1' : 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' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_3'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_5'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_10']), '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_6']), 'c_0110_10' : negation(d['c_0011_3']), 'c_0110_12' : d['c_0011_5'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0011_5'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_12'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : negation(d['c_0011_6']), 'c_0101_9' : d['c_0101_11'], 'c_0101_8' : negation(d['c_0011_6']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : negation(d['c_0011_6']), 'c_1100_9' : d['c_0101_6'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_12'], 'c_0110_6' : negation(d['c_0011_10'])})} 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_5, c_0011_6, c_0101_10, c_0101_11, c_0101_12, c_0101_3, c_0101_6, c_0110_5, c_1001_3, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 10 Groebner basis: [ t - 19801598264270451/2019401183310641152*c_1001_4^9 - 47281664987131625/2019401183310641152*c_1001_4^8 + 115126257448695433/2019401183310641152*c_1001_4^7 - 4624875530063087/504850295827660288*c_1001_4^6 - 84381992102623647/183581925755512832*c_1001_4^5 + 172903099380771695/126212573956915072*c_1001_4^4 + 4104483014806946177/1009700591655320576*c_1001_4^3 - 1599753993181982189/504850295827660288*c_1001_4^2 - 22997908284009805967/2019401183310641152*c_1001_4 - 5207898370996147383/1009700591655320576, c_0011_0 - 1, c_0011_10 + 16535924727/782878709042*c_1001_4^9 - 16261744127/782878709042*c_1001_4^8 - 124366866467/782878709042*c_1001_4^7 + 203122830018/391439354521*c_1001_4^6 + 12848204353/782878709042*c_1001_4^5 - 1779319936306/391439354521*c_1001_4^4 + 1701976469239/391439354521*c_1001_4^3 + 4777070313086/391439354521*c_1001_4^2 - 9341007265825/782878709042*c_1001_4 - 3646900648725/391439354521, c_0011_3 - 12421475304/391439354521*c_1001_4^9 + 9830966885/391439354521*c_1001_4^8 + 94163074681/391439354521*c_1001_4^7 - 292729319543/391439354521*c_1001_4^6 - 58703964196/391439354521*c_1001_4^5 + 2651409125299/391439354521*c_1001_4^4 - 2109568769184/391439354521*c_1001_4^3 - 7425452214012/391439354521*c_1001_4^2 + 6460483255674/391439354521*c_1001_4 + 6337586490811/391439354521, c_0011_5 + 13069908046/391439354521*c_1001_4^9 - 9955402603/391439354521*c_1001_4^8 - 100632445351/391439354521*c_1001_4^7 + 306450621261/391439354521*c_1001_4^6 + 75960365044/391439354521*c_1001_4^5 - 2833487600899/391439354521*c_1001_4^4 + 2132829437578/391439354521*c_1001_4^3 + 8063561237213/391439354521*c_1001_4^2 - 6624812319438/391439354521*c_1001_4 - 7273115670082/391439354521, c_0011_6 + 12421475304/391439354521*c_1001_4^9 - 9830966885/391439354521*c_1001_4^8 - 94163074681/391439354521*c_1001_4^7 + 292729319543/391439354521*c_1001_4^6 + 58703964196/391439354521*c_1001_4^5 - 2651409125299/391439354521*c_1001_4^4 + 2109568769184/391439354521*c_1001_4^3 + 7425452214012/391439354521*c_1001_4^2 - 6069043901153/391439354521*c_1001_4 - 6337586490811/391439354521, c_0101_10 - 18603079119/3131514836168*c_1001_4^9 + 8970037447/3131514836168*c_1001_4^8 + 140141794073/3131514836168*c_1001_4^7 - 46786643592/391439354521*c_1001_4^6 - 244181492257/3131514836168*c_1001_4^5 + 965625327055/782878709042*c_1001_4^4 - 735988547167/1565757418084*c_1001_4^3 - 3182102806791/782878709042*c_1001_4^2 + 4549425337669/3131514836168*c_1001_4 + 8713426750631/1565757418084, c_0101_11 - 1, c_0101_12 - 42548612653/1565757418084*c_1001_4^9 + 29497692861/1565757418084*c_1001_4^8 + 334731646731/1565757418084*c_1001_4^7 - 243179665274/391439354521*c_1001_4^6 - 362581244271/1565757418084*c_1001_4^5 + 2328624758321/391439354521*c_1001_4^4 - 3127114529241/782878709042*c_1001_4^3 - 7025022811653/391439354521*c_1001_4^2 + 19749218879731/1565757418084*c_1001_4 + 14019624461037/782878709042, c_0101_3 + 12421475304/391439354521*c_1001_4^9 - 9830966885/391439354521*c_1001_4^8 - 94163074681/391439354521*c_1001_4^7 + 292729319543/391439354521*c_1001_4^6 + 58703964196/391439354521*c_1001_4^5 - 2651409125299/391439354521*c_1001_4^4 + 2109568769184/391439354521*c_1001_4^3 + 7425452214012/391439354521*c_1001_4^2 - 6069043901153/391439354521*c_1001_4 - 6337586490811/391439354521, c_0101_6 + 93071728203/3131514836168*c_1001_4^9 - 58169196011/3131514836168*c_1001_4^8 - 713603191597/3131514836168*c_1001_4^7 + 262206005170/391439354521*c_1001_4^6 + 803951263205/3131514836168*c_1001_4^5 - 4987332828943/782878709042*c_1001_4^4 + 6473103860787/1565757418084*c_1001_4^3 + 14503143106159/782878709042*c_1001_4^2 - 41086644737593/3131514836168*c_1001_4 - 27091263243531/1565757418084, c_0110_5 - 51020882825/3131514836168*c_1001_4^9 + 38242538281/3131514836168*c_1001_4^8 + 380861877535/3131514836168*c_1001_4^7 - 147094882435/391439354521*c_1001_4^6 - 295018390327/3131514836168*c_1001_4^5 + 2692483254169/782878709042*c_1001_4^4 - 3890750730913/1565757418084*c_1001_4^3 - 7561643858791/782878709042*c_1001_4^2 + 22651750649107/3131514836168*c_1001_4 + 15014780782785/1565757418084, c_1001_3 - 49280751307/1565757418084*c_1001_4^9 + 47159738671/1565757418084*c_1001_4^8 + 369093774665/1565757418084*c_1001_4^7 - 303431068861/391439354521*c_1001_4^6 - 51114857741/1565757418084*c_1001_4^5 + 2642748899863/391439354521*c_1001_4^4 - 4981334030351/782878709042*c_1001_4^3 - 6966840839086/391439354521*c_1001_4^2 + 27733177187369/1565757418084*c_1001_4 + 10444478313527/782878709042, c_1001_4^10 + c_1001_4^9 - 9*c_1001_4^8 + 10*c_1001_4^7 + 47*c_1001_4^6 - 206*c_1001_4^5 - 214*c_1001_4^4 + 904*c_1001_4^3 + 573*c_1001_4^2 - 1408*c_1001_4 - 916 ], 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_5, c_0011_6, c_0101_10, c_0101_11, c_0101_12, c_0101_3, c_0101_6, c_0110_5, c_1001_3, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 14319500971293997566/8475675469088981171*c_1001_4^15 + 74596161509435393127/8475675469088981171*c_1001_4^14 - 1621330508884386767/180333520618914493*c_1001_4^13 - 7070753677937388122/180333520618914493*c_1001_4^12 + 866661688052824260594/8475675469088981171*c_1001_4^11 + 2206393430812242153289/8475675469088981171*c_1001_4^10 - 730246059566230596408/8475675469088981171*c_1001_4^9 - 1700296048031143844970/8475675469088981171*c_1001_4^8 + 7043781338715609120982/8475675469088981171*c_1001_4^7 + 16322904570599156923245/8475675469088981171*c_1001_4^6 + 17455981330757851971533/8475675469088981171*c_1001_4^5 + 12433451607381143610673/8475675469088981171*c_1001_4^4 + 5982721885772881160704/8475675469088981171*c_1001_4^3 + 5119718275304558672451/8475675469088981171*c_1001_4^2 + 2839105058040088691581/8475675469088981171*c_1001_4 + 698430602528205622048/8475675469088981171, c_0011_0 - 1, c_0011_10 + 14050658689732538/180333520618914493*c_1001_4^15 + 15052949868516824/180333520618914493*c_1001_4^14 - 69921106565743048/180333520618914493*c_1001_4^13 - 4417818619153444/180333520618914493*c_1001_4^12 + 465138864639905096/180333520618914493*c_1001_4^11 + 478816538476815713/180333520618914493*c_1001_4^10 - 326700947552985631/180333520618914493*c_1001_4^9 + 118061275839668133/180333520618914493*c_1001_4^8 + 3214447882370396505/180333520618914493*c_1001_4^7 + 6231928342950083704/180333520618914493*c_1001_4^6 + 6081699831034319712/180333520618914493*c_1001_4^5 + 3826404494007154430/180333520618914493*c_1001_4^4 + 2224539582374094621/180333520618914493*c_1001_4^3 + 1285976721258739249/180333520618914493*c_1001_4^2 + 900877836696808020/180333520618914493*c_1001_4 + 17781066779275759/180333520618914493, c_0011_3 - 23950625513685469/180333520618914493*c_1001_4^15 - 23558704396187849/180333520618914493*c_1001_4^14 + 120812935362176178/180333520618914493*c_1001_4^13 - 2691257272994141/180333520618914493*c_1001_4^12 - 792967275761475135/180333520618914493*c_1001_4^11 - 744226413129075280/180333520618914493*c_1001_4^10 + 618320069534561084/180333520618914493*c_1001_4^9 - 293939863049733798/180333520618914493*c_1001_4^8 - 5431169023066153305/180333520618914493*c_1001_4^7 - 10062433812457283619/180333520618914493*c_1001_4^6 - 9665601926592733722/180333520618914493*c_1001_4^5 - 5909760564500806688/180333520618914493*c_1001_4^4 - 3181254974066072389/180333520618914493*c_1001_4^3 - 1837670249716148761/180333520618914493*c_1001_4^2 - 1474400598549335635/180333520618914493*c_1001_4 - 25335300055662019/180333520618914493, c_0011_5 - 6819026428999393/180333520618914493*c_1001_4^15 - 6199870991559922/180333520618914493*c_1001_4^14 + 32883758708304670/180333520618914493*c_1001_4^13 - 4381986564912563/180333520618914493*c_1001_4^12 - 215465290886595733/180333520618914493*c_1001_4^11 - 197036402396903515/180333520618914493*c_1001_4^10 + 124263843056076126/180333520618914493*c_1001_4^9 - 139958398326805572/180333520618914493*c_1001_4^8 - 1451069570381346268/180333520618914493*c_1001_4^7 - 2772063753571203215/180333520618914493*c_1001_4^6 - 3023447885231125387/180333520618914493*c_1001_4^5 - 2128961060616151495/180333520618914493*c_1001_4^4 - 1178762204659512813/180333520618914493*c_1001_4^3 - 520808413644594480/180333520618914493*c_1001_4^2 - 596345806168219706/180333520618914493*c_1001_4 - 6906316016727081/180333520618914493, c_0011_6 - 27282013400076252/180333520618914493*c_1001_4^15 - 27487846423946415/180333520618914493*c_1001_4^14 + 138704916439407874/180333520618914493*c_1001_4^13 - 1329026796013205/180333520618914493*c_1001_4^12 - 911228759862353799/180333520618914493*c_1001_4^11 - 854050598522704124/180333520618914493*c_1001_4^10 + 725460908478981342/180333520618914493*c_1001_4^9 - 352913573105090668/180333520618914493*c_1001_4^8 - 6247882300704967273/180333520618914493*c_1001_4^7 - 11470416062324865319/180333520618914493*c_1001_4^6 - 11012541289037190321/180333520618914493*c_1001_4^5 - 6897466140954490779/180333520618914493*c_1001_4^4 - 3731154610276429357/180333520618914493*c_1001_4^3 - 2071901841376055474/180333520618914493*c_1001_4^2 - 1670828430016786313/180333520618914493*c_1001_4 - 94058949601278519/180333520618914493, c_0101_10 - 32409667745905580/180333520618914493*c_1001_4^15 - 26428756411962614/180333520618914493*c_1001_4^14 + 168325693180567279/180333520618914493*c_1001_4^13 - 27773189420358187/180333520618914493*c_1001_4^12 - 1072640897400879189/180333520618914493*c_1001_4^11 - 847481634283383642/180333520618914493*c_1001_4^10 + 1030137424154829307/180333520618914493*c_1001_4^9 - 466232972891303836/180333520618914493*c_1001_4^8 - 7354078434407132912/180333520618914493*c_1001_4^7 - 12482831601147991737/180333520618914493*c_1001_4^6 - 10589401967496645054/180333520618914493*c_1001_4^5 - 5487476176672612870/180333520618914493*c_1001_4^4 - 2861248003368139564/180333520618914493*c_1001_4^3 - 1685978287864134080/180333520618914493*c_1001_4^2 - 1537835102577923539/180333520618914493*c_1001_4 + 275601939947678584/180333520618914493, c_0101_11 + 6221272287631610/180333520618914493*c_1001_4^15 + 7434912636837703/180333520618914493*c_1001_4^14 - 31521528231323734/180333520618914493*c_1001_4^13 - 3943697285070262/180333520618914493*c_1001_4^12 + 212245517857471945/180333520618914493*c_1001_4^11 + 220892544181554198/180333520618914493*c_1001_4^10 - 146592286361134383/180333520618914493*c_1001_4^9 + 82801558785090128/180333520618914493*c_1001_4^8 + 1465589948002628909/180333520618914493*c_1001_4^7 + 2794324812433358429/180333520618914493*c_1001_4^6 + 2885246219807090961/180333520618914493*c_1001_4^5 + 2068775443705239628/180333520618914493*c_1001_4^4 + 1244355522774776570/180333520618914493*c_1001_4^3 + 737911254843413105/180333520618914493*c_1001_4^2 + 540947708168166338/180333520618914493*c_1001_4 + 190571224522032357/180333520618914493, c_0101_12 - 11431841793821864/180333520618914493*c_1001_4^15 - 14037755189022548/180333520618914493*c_1001_4^14 + 56469871429780928/180333520618914493*c_1001_4^13 + 16736068400142191/180333520618914493*c_1001_4^12 - 390396506061611176/180333520618914493*c_1001_4^11 - 455947648155446803/180333520618914493*c_1001_4^10 + 287102233590299502/180333520618914493*c_1001_4^9 + 16567143802121073/180333520618914493*c_1001_4^8 - 2734203066583235715/180333520618914493*c_1001_4^7 - 5444343216280173253/180333520618914493*c_1001_4^6 - 5244191462899563243/180333520618914493*c_1001_4^5 - 3041797792626214822/180333520618914493*c_1001_4^4 - 1560390001876229968/180333520618914493*c_1001_4^3 - 869923580051715257/180333520618914493*c_1001_4^2 - 685047427570579554/180333520618914493*c_1001_4 - 11920107090238322/180333520618914493, c_0101_3 - 20619237627294686/180333520618914493*c_1001_4^15 - 19629562368429283/180333520618914493*c_1001_4^14 + 102920954284944482/180333520618914493*c_1001_4^13 - 4053487749975077/180333520618914493*c_1001_4^12 - 674705791660596471/180333520618914493*c_1001_4^11 - 634402227735446436/180333520618914493*c_1001_4^10 + 511179230590140826/180333520618914493*c_1001_4^9 - 234966152994376928/180333520618914493*c_1001_4^8 - 4614455745427339337/180333520618914493*c_1001_4^7 - 8654451562589701919/180333520618914493*c_1001_4^6 - 8318662564148277123/180333520618914493*c_1001_4^5 - 4922054988047122597/180333520618914493*c_1001_4^4 - 2631355337855715421/180333520618914493*c_1001_4^3 - 1603438658056242048/180333520618914493*c_1001_4^2 - 1458306287700799450/180333520618914493*c_1001_4 + 43388349489954481/180333520618914493, c_0101_6 + 34680396709706936/180333520618914493*c_1001_4^15 + 31145900457734046/180333520618914493*c_1001_4^14 - 177573253769746754/180333520618914493*c_1001_4^13 + 15629141341884625/180333520618914493*c_1001_4^12 + 1145452487826395409/180333520618914493*c_1001_4^11 + 1004761810740217695/180333520618914493*c_1001_4^10 - 1004639763963731183/180333520618914493*c_1001_4^9 + 386392366190521758/180333520618914493*c_1001_4^8 + 7863294573159410257/180333520618914493*c_1001_4^7 + 14090002186626143330/180333520618914493*c_1001_4^6 + 12517818146080585696/180333520618914493*c_1001_4^5 + 6744911363520770449/180333520618914493*c_1001_4^4 + 3462799924967208276/180333520618914493*c_1001_4^3 + 2128338386566988175/180333520618914493*c_1001_4^2 + 1861985189579368708/180333520618914493*c_1001_4 - 160573391400262120/180333520618914493, c_0110_5 - 30506128940015176/180333520618914493*c_1001_4^15 - 29884920982672815/180333520618914493*c_1001_4^14 + 156406898951254994/180333520618914493*c_1001_4^13 - 553234532913434/180333520618914493*c_1001_4^12 - 1020286179745040078/180333520618914493*c_1001_4^11 - 955390755217715263/180333520618914493*c_1001_4^10 + 873496587339434471/180333520618914493*c_1001_4^9 - 236983077058068995/180333520618914493*c_1001_4^8 - 6975639589805837415/180333520618914493*c_1001_4^7 - 12908155510162174631/180333520618914493*c_1001_4^6 - 11634039577420540084/180333520618914493*c_1001_4^5 - 6047065923443111839/180333520618914493*c_1001_4^4 - 2831401754737092163/180333520618914493*c_1001_4^3 - 1877106940486664767/180333520618914493*c_1001_4^2 - 1843623755340433696/180333520618914493*c_1001_4 + 80311851385274662/180333520618914493, c_1001_3 + 6041515290070436/180333520618914493*c_1001_4^15 + 5578867499370790/180333520618914493*c_1001_4^14 - 29967323139658659/180333520618914493*c_1001_4^13 + 2766319060223476/180333520618914493*c_1001_4^12 + 193864674909733857/180333520618914493*c_1001_4^11 + 178570420410379216/180333520618914493*c_1001_4^10 - 130537128235485311/180333520618914493*c_1001_4^9 + 82796673339148074/180333520618914493*c_1001_4^8 + 1284054344047667606/180333520618914493*c_1001_4^7 + 2490861843715687073/180333520618914493*c_1001_4^6 + 2525960907591141556/180333520618914493*c_1001_4^5 + 1533909613729241770/180333520618914493*c_1001_4^4 + 553546668638210750/180333520618914493*c_1001_4^3 + 151619235892806439/180333520618914493*c_1001_4^2 + 304403571446342102/180333520618914493*c_1001_4 + 1713401221662495/180333520618914493, c_1001_4^16 + c_1001_4^15 - 5*c_1001_4^14 + 33*c_1001_4^12 + 32*c_1001_4^11 - 25*c_1001_4^10 + 11*c_1001_4^9 + 228*c_1001_4^8 + 427*c_1001_4^7 + 411*c_1001_4^6 + 255*c_1001_4^5 + 147*c_1001_4^4 + 90*c_1001_4^3 + 70*c_1001_4^2 + 4*c_1001_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.410 Total time: 1.620 seconds, Total memory usage: 64.12MB