Magma V2.19-8 Tue Aug 20 2013 23:53:12 on localhost [Seed = 340951038] Type ? for help. Type -D to quit. Loading file "K12n352__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n352 geometric_solution 11.32069415 oriented_manifold CS_known 0.0000000000000003 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.151326047656 0.431276970724 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 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.177424862467 1.165550816261 8 0 10 9 0132 0132 0132 0132 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 -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 1.162098075071 1.640596145554 11 12 7 0 0132 0132 0321 0132 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 0 2 0 -2 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.590020424481 0.311730570182 9 5 0 10 3201 1302 0132 0321 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 0 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.070703102828 0.876783509623 8 1 8 4 1023 0132 2031 2031 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 1 -1 0 0 -1 1 -1 2 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.221823821134 0.934797438603 11 10 1 12 2103 2031 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 -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 0 0 0 -1 0 0 1 1 0 0 -1 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.579543972979 1.497651906519 9 10 3 1 0213 0213 0321 0132 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 2 0 -2 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.250948152919 0.367854806685 2 5 11 5 0132 1023 2310 1302 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 0 -1 1 1 0 0 -1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.221823821134 0.934797438603 7 12 2 4 0213 0213 0132 2310 0 0 0 0 0 0 0 0 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 0 -1 1 0 0 -1 1 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.862907747457 0.428480721027 6 4 7 2 1302 0321 0213 0132 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 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.141741790002 0.471487667046 3 8 6 12 0132 3201 2103 3120 0 0 0 0 0 -1 1 0 1 0 0 -1 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 -2 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.723953102998 0.544966711052 11 3 9 6 3120 0132 0213 0213 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 0 0 0 -1 0 0 1 1 0 0 -1 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.621384432164 0.796584746812 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_6'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_1001_0'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : d['c_0110_5'], 'c_1001_7' : d['c_1001_10'], 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0110_5'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0011_11'], 'c_1010_12' : d['c_1001_3'], 'c_1010_11' : negation(d['c_0011_11']), 'c_1010_10' : d['c_0110_5'], 's_3_11' : 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_0'], 'c_0101_10' : negation(d['c_0011_6']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : 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' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_0011_4'], 'c_1100_8' : d['c_0011_11'], 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : negation(d['c_0110_5']), 'c_1100_4' : d['c_1001_10'], 'c_1100_7' : d['c_1001_3'], 'c_1100_6' : d['c_1001_3'], 'c_1100_1' : d['c_1001_3'], 'c_1100_0' : d['c_1001_10'], 'c_1100_3' : d['c_1001_10'], 'c_1100_2' : d['c_0011_4'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_9']), 'c_1100_10' : d['c_0011_4'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_4'], 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0110_5'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : d['c_0110_5'], 'c_1010_9' : d['c_0011_10'], 'c_1010_8' : d['c_0110_5'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(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_0011_10'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(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_9'], '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_6']), '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' : negation(d['c_0011_11']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_9']), 'c_0110_10' : d['c_0101_2'], 'c_0110_12' : negation(d['c_0011_9']), 'c_0101_12' : d['c_0011_9'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_9'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_11'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_9']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_6']), 'c_0101_8' : negation(d['c_0011_6']), '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' : negation(d['c_0101_1']), 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_6']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_10']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0011_9']})} 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_11, c_0011_4, c_0011_6, c_0011_9, c_0101_0, c_0101_1, c_0101_2, c_0110_5, c_1001_0, c_1001_10, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 937363180790997057744279941107481690920088882942492860547/232302181\ 3827791774175224934240859161499282948740616*c_1001_3^18 + 2078397339590727441163093644942611953992238440617312580275/11615109\ 06913895887087612467120429580749641474370308*c_1001_3^17 - 3599398854473822786980158842364977510471785809146793228443/58075545\ 3456947943543806233560214790374820737185154*c_1001_3^16 + 52702359807563657325747722569628837133130853296656564228081/2323021\ 813827791774175224934240859161499282948740616*c_1001_3^15 - 131441159831119341157482124460261779505291105386333673574741/232302\ 1813827791774175224934240859161499282948740616*c_1001_3^14 + 241971016964701997310838137434571933465923262642920613562521/232302\ 1813827791774175224934240859161499282948740616*c_1001_3^13 - 436648087509278215839923373985292822330060769992860916220819/232302\ 1813827791774175224934240859161499282948740616*c_1001_3^12 + 422968680453687127879845736695598368325644256024269015522581/116151\ 0906913895887087612467120429580749641474370308*c_1001_3^11 - 692649095666334730934151876137517478787471267136840949460907/116151\ 0906913895887087612467120429580749641474370308*c_1001_3^10 + 707842499521547452513805439425345620687609247297770090343911/116151\ 0906913895887087612467120429580749641474370308*c_1001_3^9 - 696835914280174250716502535774139757485868914108857802369517/232302\ 1813827791774175224934240859161499282948740616*c_1001_3^8 + 54301072469950119005708249328012905066699624412875859295895/2323021\ 813827791774175224934240859161499282948740616*c_1001_3^7 + 9962618466295969666931627315396212758289165851887498540940/29037772\ 6728473971771903116780107395187410368592577*c_1001_3^6 - 40443219125625559565395237510072792040528843981921154039507/2323021\ 813827791774175224934240859161499282948740616*c_1001_3^5 + 10446278324191953162014788195679637084817861863207437700279/2323021\ 813827791774175224934240859161499282948740616*c_1001_3^4 + 535134472056295037887734076457955801828259818731894328091/116151090\ 6913895887087612467120429580749641474370308*c_1001_3^3 - 584424313670032502156546777610758953050685252526523088835/116151090\ 6913895887087612467120429580749641474370308*c_1001_3^2 + 104932915556178341442768006567369772479884856395924146621/232302181\ 3827791774175224934240859161499282948740616*c_1001_3 + 1302687320762636635299208960566763285176021551360675120/29037772672\ 8473971771903116780107395187410368592577, c_0011_0 - 1, c_0011_10 - 1782532032822859494791026063329771741645648511296/885028121\ 69604989872570288564494786707531352817*c_1001_3^18 + 7315762124116586760863702393095157921039494631234/88502812169604989\ 872570288564494786707531352817*c_1001_3^17 - 24916053039899336867652851362775376977778550766028/8850281216960498\ 9872570288564494786707531352817*c_1001_3^16 + 91792940728198909319596315176405297163080890851640/8850281216960498\ 9872570288564494786707531352817*c_1001_3^15 - 218962847688102132225386036341370358664343466282144/885028121696049\ 89872570288564494786707531352817*c_1001_3^14 + 385364083144143164226728384060172640780766978654197/885028121696049\ 89872570288564494786707531352817*c_1001_3^13 - 697117848048243124369820016273817995290488356905449/885028121696049\ 89872570288564494786707531352817*c_1001_3^12 + 1367929548291205601854583494156356496315921699218699/88502812169604\ 989872570288564494786707531352817*c_1001_3^11 - 2163730592092316262806202554609268463709748203899604/88502812169604\ 989872570288564494786707531352817*c_1001_3^10 + 1940557021836043488672842959050117954130637898570814/88502812169604\ 989872570288564494786707531352817*c_1001_3^9 - 625251904380259377681882332480253026387394300958714/885028121696049\ 89872570288564494786707531352817*c_1001_3^8 - 156931820146537654367365461593369077079393888884715/885028121696049\ 89872570288564494786707531352817*c_1001_3^7 + 116204557921964431274826262133425493542753426070015/885028121696049\ 89872570288564494786707531352817*c_1001_3^6 - 32743297489971121933139498776113891861189557084406/8850281216960498\ 9872570288564494786707531352817*c_1001_3^5 + 7198885942481379512494512109359284766492993696419/88502812169604989\ 872570288564494786707531352817*c_1001_3^4 + 3414106131092030604720089956875413084249434798554/88502812169604989\ 872570288564494786707531352817*c_1001_3^3 - 997014461281675315137242291013949190978757119176/885028121696049898\ 72570288564494786707531352817*c_1001_3^2 - 228650166862013971610204252924503880594057038101/885028121696049898\ 72570288564494786707531352817*c_1001_3 - 42425589421836806230327146983010611366292974623/8850281216960498987\ 2570288564494786707531352817, c_0011_11 - 4720519780896686106293083789685436040835469951712/885028121\ 69604989872570288564494786707531352817*c_1001_3^18 + 19861555966679895534355530856347084381195208257278/8850281216960498\ 9872570288564494786707531352817*c_1001_3^17 - 68129406811896289927019865838890880268488173567817/8850281216960498\ 9872570288564494786707531352817*c_1001_3^16 + 250537788412866219126602319988838303135649542877969/885028121696049\ 89872570288564494786707531352817*c_1001_3^15 - 607145426580940415645145082741908085210657718130806/885028121696049\ 89872570288564494786707531352817*c_1001_3^14 + 1088384269888785773293374336053179404207203313652840/88502812169604\ 989872570288564494786707531352817*c_1001_3^13 - 1971179131323405474478368032626225096843231698904609/88502812169604\ 989872570288564494786707531352817*c_1001_3^12 + 3848795554993536226877282425556709327840030538633533/88502812169604\ 989872570288564494786707531352817*c_1001_3^11 - 6168186548375436387894567651948258004520727124314908/88502812169604\ 989872570288564494786707531352817*c_1001_3^10 + 5855620979660043597473746552325577102831087477811693/88502812169604\ 989872570288564494786707531352817*c_1001_3^9 - 2388985088831578886684874081799107631352039312036308/88502812169604\ 989872570288564494786707531352817*c_1001_3^8 - 46234974056260357469971228393905748514908993573729/8850281216960498\ 9872570288564494786707531352817*c_1001_3^7 + 265730626149541663145115230661765747138144236530651/885028121696049\ 89872570288564494786707531352817*c_1001_3^6 - 119109431111010697461043955033924005419366682316157/885028121696049\ 89872570288564494786707531352817*c_1001_3^5 + 35274461490995153187964640973060832665343833130149/8850281216960498\ 9872570288564494786707531352817*c_1001_3^4 + 4676637364050591599545017523040602394625505489650/88502812169604989\ 872570288564494786707531352817*c_1001_3^3 - 2529744146037874902518424211327750515015383035865/88502812169604989\ 872570288564494786707531352817*c_1001_3^2 + 145998018876681327364344465552828502999870961924/885028121696049898\ 72570288564494786707531352817*c_1001_3 - 136531114543988971045799211127071795105972653847/885028121696049898\ 72570288564494786707531352817, c_0011_4 - 4636891146753359735664390918888933991739140225746/8850281216\ 9604989872570288564494786707531352817*c_1001_3^18 + 19648264547180631283869823210661839294644961682135/8850281216960498\ 9872570288564494786707531352817*c_1001_3^17 - 67412375840433644860752879293240164585324556083815/8850281216960498\ 9872570288564494786707531352817*c_1001_3^16 + 247719715412598767423251697573717838948374184170779/885028121696049\ 89872570288564494786707531352817*c_1001_3^15 - 602447161607066689542246999532398401125022690885855/885028121696049\ 89872570288564494786707531352817*c_1001_3^14 + 1082141215643349693450569213454742516501595511297123/88502812169604\ 989872570288564494786707531352817*c_1001_3^13 - 1956816243947045055633857287121597781936250814236790/88502812169604\ 989872570288564494786707531352817*c_1001_3^12 + 3818343164672130090215736546842955098635119156904036/88502812169604\ 989872570288564494786707531352817*c_1001_3^11 - 6135256465461525004413815459779525293201372182834309/88502812169604\ 989872570288564494786707531352817*c_1001_3^10 + 5861134420483661620441655694848196072316769734747085/88502812169604\ 989872570288564494786707531352817*c_1001_3^9 - 2405063808349444612690394837895556010242241952928270/88502812169604\ 989872570288564494786707531352817*c_1001_3^8 - 78350324996465801246005573782877119090717581513514/8850281216960498\ 9872570288564494786707531352817*c_1001_3^7 + 299977396628215874137308132828560821876250713127408/885028121696049\ 89872570288564494786707531352817*c_1001_3^6 - 122748094955223441430598356391066447069303459142255/885028121696049\ 89872570288564494786707531352817*c_1001_3^5 + 34226562566945082517927881566086896497413587606916/8850281216960498\ 9872570288564494786707531352817*c_1001_3^4 + 6229800539941891321804227991686847259459479498897/88502812169604989\ 872570288564494786707531352817*c_1001_3^3 - 3489254116403559591395868650190721177361320790282/88502812169604989\ 872570288564494786707531352817*c_1001_3^2 + 199758146322581740474811629097688950578550614312/885028121696049898\ 72570288564494786707531352817*c_1001_3 - 118116124794897686268044688117447888617200364665/885028121696049898\ 72570288564494786707531352817, c_0011_6 + 911133785513475940348992037419123078494621266317/88502812169\ 604989872570288564494786707531352817*c_1001_3^18 - 3293902340021502324395864626847324259626329392172/88502812169604989\ 872570288564494786707531352817*c_1001_3^17 + 11007343343912124503405798445762113382770410845318/8850281216960498\ 9872570288564494786707531352817*c_1001_3^16 - 41098351052691683671644103091221470661443156845047/8850281216960498\ 9872570288564494786707531352817*c_1001_3^15 + 90368551404494335104141507339484325599836096058875/8850281216960498\ 9872570288564494786707531352817*c_1001_3^14 - 147382684367575909247275444208138904816279282433633/885028121696049\ 89872570288564494786707531352817*c_1001_3^13 + 272212704226019214196318347012158258651087142508212/885028121696049\ 89872570288564494786707531352817*c_1001_3^12 - 546569185286928185675573712566926279464593962154101/885028121696049\ 89872570288564494786707531352817*c_1001_3^11 + 803563368511964536704836565471433946745834866182572/885028121696049\ 89872570288564494786707531352817*c_1001_3^10 - 528513691851596877443278265296444255680888041872521/885028121696049\ 89872570288564494786707531352817*c_1001_3^9 - 43221740558752001828721749401817442383539301569461/8850281216960498\ 9872570288564494786707531352817*c_1001_3^8 + 124794130844393332556796042832361210341341885723034/885028121696049\ 89872570288564494786707531352817*c_1001_3^7 + 23667655360859485958724605692478722400021623714126/8850281216960498\ 9872570288564494786707531352817*c_1001_3^6 - 15589759810652865049640565389763326473192740349535/8850281216960498\ 9872570288564494786707531352817*c_1001_3^5 + 3637598209463496150043886642443574874063755900656/88502812169604989\ 872570288564494786707531352817*c_1001_3^4 - 1259676435652490398750596186227602404004210654004/88502812169604989\ 872570288564494786707531352817*c_1001_3^3 - 943274421500664652288742647834280947790669167316/885028121696049898\ 72570288564494786707531352817*c_1001_3^2 + 224189114523180961651532079950074025724135840830/885028121696049898\ 72570288564494786707531352817*c_1001_3 + 13202972905935427204680553769809337843667173968/8850281216960498987\ 2570288564494786707531352817, c_0011_9 - 7498382172495712776627605820017120681497481912584/8850281216\ 9604989872570288564494786707531352817*c_1001_3^18 + 31950663162662812370879850238824894196237990754348/8850281216960498\ 9872570288564494786707531352817*c_1001_3^17 - 109854165747427494898078359460571822708215033459167/885028121696049\ 89872570288564494786707531352817*c_1001_3^16 + 403506489368467375337177492264919392429432126478908/885028121696049\ 89872570288564494786707531352817*c_1001_3^15 - 984838151497166926203572289890894195182820680035689/885028121696049\ 89872570288564494786707531352817*c_1001_3^14 + 1777228958483450047198515841645933553869499111364987/88502812169604\ 989872570288564494786707531352817*c_1001_3^13 - 3215422047019897261925497827798737731328420790625604/88502812169604\ 989872570288564494786707531352817*c_1001_3^12 + 6265840901728957292705148851492095115519559464028777/88502812169604\ 989872570288564494786707531352817*c_1001_3^11 - 10097407197963402627029132458379174756897310079169770/8850281216960\ 4989872570288564494786707531352817*c_1001_3^10 + 9772231503195381677124392368510992077184980341527795/88502812169604\ 989872570288564494786707531352817*c_1001_3^9 - 4203726831881889709766136933443882578655265338674343/88502812169604\ 989872570288564494786707531352817*c_1001_3^8 + 35238439470353038574669307997351079387300358938494/8850281216960498\ 9872570288564494786707531352817*c_1001_3^7 + 476377960284962575533581590873153141318191682318597/885028121696049\ 89872570288564494786707531352817*c_1001_3^6 - 218380191514841537086387993152269873806476270895730/885028121696049\ 89872570288564494786707531352817*c_1001_3^5 + 62133261756013603462933802728839987471569916981167/8850281216960498\ 9872570288564494786707531352817*c_1001_3^4 + 7100659254571630818062253201971020162359376237191/88502812169604989\ 872570288564494786707531352817*c_1001_3^3 - 5754643868652578737935494194257952435884692519986/88502812169604989\ 872570288564494786707531352817*c_1001_3^2 + 537715140664691687312906142697947392311519592509/885028121696049898\ 72570288564494786707531352817*c_1001_3 - 177037660855529748119944697550485225017506627771/885028121696049898\ 72570288564494786707531352817, c_0101_0 - 2645786937914702158203021978418293029879241754365/8850281216\ 9604989872570288564494786707531352817*c_1001_3^18 + 11651417545904670300558592137458727178453103434564/8850281216960498\ 9872570288564494786707531352817*c_1001_3^17 - 40214788172498890384532556744336245041154151844231/8850281216960498\ 9872570288564494786707531352817*c_1001_3^16 + 147268740484483134790731583657172803196790128341598/885028121696049\ 89872570288564494786707531352817*c_1001_3^15 - 365631294005045851440225520938002253160037737777251/885028121696049\ 89872570288564494786707531352817*c_1001_3^14 + 668626100066889202091146307857635838030474729449860/885028121696049\ 89872570288564494786707531352817*c_1001_3^13 - 1204804371388561784836168251152776224236350965262538/88502812169604\ 989872570288564494786707531352817*c_1001_3^12 + 2338761259521508848718557032348856194230015221016679/88502812169604\ 989872570288564494786707531352817*c_1001_3^11 - 3816675864144641579476305867054712388246500758821652/88502812169604\ 989872570288564494786707531352817*c_1001_3^10 + 3835750928084607144699930778019763126062960143813105/88502812169604\ 989872570288564494786707531352817*c_1001_3^9 - 1783912308689029307731794930400761626500521457560715/88502812169604\ 989872570288564494786707531352817*c_1001_3^8 + 50109043855561531414762202565547942287234797713110/8850281216960498\ 9872570288564494786707531352817*c_1001_3^7 + 227068509163579748086139218041635330598114793703720/885028121696049\ 89872570288564494786707531352817*c_1001_3^6 - 90688062895118016266490022040849392234356153278425/8850281216960498\ 9872570288564494786707531352817*c_1001_3^5 + 21466857022372258686862984871706366922206556511811/8850281216960498\ 9872570288564494786707531352817*c_1001_3^4 + 3710051156480218126065073895589855600638282673427/88502812169604989\ 872570288564494786707531352817*c_1001_3^3 - 3109351158018073819038204557244683764391067151407/88502812169604989\ 872570288564494786707531352817*c_1001_3^2 + 167893951536598092933776661595431146397606873831/885028121696049898\ 72570288564494786707531352817*c_1001_3 + 7359124860988323757356026061540069104917462311/88502812169604989872\ 570288564494786707531352817, c_0101_1 - 3240892962041573766381875946950816642271958030565/8850281216\ 9604989872570288564494786707531352817*c_1001_3^18 + 13294403017352040573905347192382939809426992567143/8850281216960498\ 9872570288564494786707531352817*c_1001_3^17 - 45347364328316862529302163623210433165178819851377/8850281216960498\ 9872570288564494786707531352817*c_1001_3^16 + 167100868059929437545435137819618106103223015979625/885028121696049\ 89872570288564494786707531352817*c_1001_3^15 - 398792640332499271336106277411614250814032639852491/885028121696049\ 89872570288564494786707531352817*c_1001_3^14 + 703628909526715384198399323022603382139306456433211/885028121696049\ 89872570288564494786707531352817*c_1001_3^13 - 1275083438206336090704154142905989807026720051036738/88502812169604\ 989872570288564494786707531352817*c_1001_3^12 + 2500516524991044375326263821964570006362968928601634/88502812169604\ 989872570288564494786707531352817*c_1001_3^11 - 3958028341359320536361353620885093228988362027253683/88502812169604\ 989872570288564494786707531352817*c_1001_3^10 + 3577383114562838583338060588765420912821294989778685/88502812169604\ 989872570288564494786707531352817*c_1001_3^9 - 1220182826192785347063261394499932982105748816946282/88502812169604\ 989872570288564494786707531352817*c_1001_3^8 - 204977084495549211373309887574817777591497452242901/885028121696049\ 89872570288564494786707531352817*c_1001_3^7 + 179780849183246184954884095674166034924471165622946/885028121696049\ 89872570288564494786707531352817*c_1001_3^6 - 59103274435087694521268483261673695821699053305694/8850281216960498\ 9872570288564494786707531352817*c_1001_3^5 + 13447919810819637363131601386056069036095799002582/8850281216960498\ 9872570288564494786707531352817*c_1001_3^4 + 5857609248927458811528920765608052459033784281701/88502812169604989\ 872570288564494786707531352817*c_1001_3^3 - 1558579662704583225523672504547824334354594060344/88502812169604989\ 872570288564494786707531352817*c_1001_3^2 - 243489542465824616408355605582324581325057486639/885028121696049898\ 72570288564494786707531352817*c_1001_3 - 64169582826934668068056275952670320515951973775/8850281216960498987\ 2570288564494786707531352817, c_0101_2 + 446200212042593091640961781646268290463319004291/88502812169\ 604989872570288564494786707531352817*c_1001_3^18 - 1718912236569516414649735621355630861333426446363/88502812169604989\ 872570288564494786707531352817*c_1001_3^17 + 5738622561159058334462278992699167698692562862215/88502812169604989\ 872570288564494786707531352817*c_1001_3^16 - 21248395001268741700778390917559346292319333298108/8850281216960498\ 9872570288564494786707531352817*c_1001_3^15 + 48465685023268172459026584986761448462166914837568/8850281216960498\ 9872570288564494786707531352817*c_1001_3^14 - 80609753143084679319316442581414389662751608621198/8850281216960498\ 9872570288564494786707531352817*c_1001_3^13 + 145150599331657439420431513398163171739589370587623/885028121696049\ 89872570288564494786707531352817*c_1001_3^12 - 289014643658132443241242301222640789241034892709515/885028121696049\ 89872570288564494786707531352817*c_1001_3^11 + 437999190772360712402821022806731692817384857206408/885028121696049\ 89872570288564494786707531352817*c_1001_3^10 - 315791041659917202926527163512928393940706251109486/885028121696049\ 89872570288564494786707531352817*c_1001_3^9 - 20543886504024657642470385316310569982814584002294/8850281216960498\ 9872570288564494786707531352817*c_1001_3^8 + 136306720443739203190265022165237811528893416192823/885028121696049\ 89872570288564494786707531352817*c_1001_3^7 - 53836197318180020290019176682343001560944427142384/8850281216960498\ 9872570288564494786707531352817*c_1001_3^6 + 12158800656976986565992087597439362678624104583108/8850281216960498\ 9872570288564494786707531352817*c_1001_3^5 - 767157027600787334798024095367358647156120496938/885028121696049898\ 72570288564494786707531352817*c_1001_3^4 - 2267290655209585050391482391398489050936016735580/88502812169604989\ 872570288564494786707531352817*c_1001_3^3 + 351284174003473981875789494289290060269392629288/885028121696049898\ 72570288564494786707531352817*c_1001_3^2 + 18582565635279987708318488972371678607788346135/8850281216960498987\ 2570288564494786707531352817*c_1001_3 + 69294358514076725813072104489291188875463503910/8850281216960498987\ 2570288564494786707531352817, c_0110_5 - 7716346511212589142479622148026307503057814154/8850281216960\ 4989872570288564494786707531352817*c_1001_3^18 + 57171865290243169828289114964777156864953934071/8850281216960498987\ 2570288564494786707531352817*c_1001_3^17 - 364215700607947592162127250048686362586931293502/885028121696049898\ 72570288564494786707531352817*c_1001_3^16 + 1345168258940556186748805358148374412440791401062/88502812169604989\ 872570288564494786707531352817*c_1001_3^15 - 4275916361700602344873686640505114417180345278928/88502812169604989\ 872570288564494786707531352817*c_1001_3^14 + 12261082934792601487568299400308727149479784091139/8850281216960498\ 9872570288564494786707531352817*c_1001_3^13 - 25847211224692122984118128407619314278066031942170/8850281216960498\ 9872570288564494786707531352817*c_1001_3^12 + 45931904887548236344015315637344533160324429839604/8850281216960498\ 9872570288564494786707531352817*c_1001_3^11 - 83966609512529578660506267233818652936043676623916/8850281216960498\ 9872570288564494786707531352817*c_1001_3^10 + 147767452526260618109827000731325824888430044653088/885028121696049\ 89872570288564494786707531352817*c_1001_3^9 - 198397807563102358505063734222048096685200650932065/885028121696049\ 89872570288564494786707531352817*c_1001_3^8 + 150825116672842313663902566944473894721560418046654/885028121696049\ 89872570288564494786707531352817*c_1001_3^7 - 39842791548937184678168314656676846642599731605860/8850281216960498\ 9872570288564494786707531352817*c_1001_3^6 - 7244534828091286825537037242717482122608515876264/88502812169604989\ 872570288564494786707531352817*c_1001_3^5 + 2883963425660964306506823407359266372603902030373/88502812169604989\ 872570288564494786707531352817*c_1001_3^4 - 1897642235037158066632819190894200470086113277630/88502812169604989\ 872570288564494786707531352817*c_1001_3^3 + 325034830813770299025634535956798374483578541115/885028121696049898\ 72570288564494786707531352817*c_1001_3^2 + 123093350832476924823447748786218645896960751525/885028121696049898\ 72570288564494786707531352817*c_1001_3 + 9780775873192841720382665921252073335846222413/88502812169604989872\ 570288564494786707531352817, c_1001_0 - 2524376446981802060682441763749805416719911037360/8850281216\ 9604989872570288564494786707531352817*c_1001_3^18 + 11143727982312810465889148382167385399781106173411/8850281216960498\ 9872570288564494786707531352817*c_1001_3^17 - 38491386507581446049861197385876058569734230892750/8850281216960498\ 9872570288564494786707531352817*c_1001_3^16 + 140983507125608726722306899268647618026388315032662/885028121696049\ 89872570288564494786707531352817*c_1001_3^15 - 350596526564067376503561939050174413108704198200967/885028121696049\ 89872570288564494786707531352817*c_1001_3^14 + 642508908308086840161601161892495505866305127625235/885028121696049\ 89872570288564494786707531352817*c_1001_3^13 - 1159212924502395933986716576874713816311646059761815/88502812169604\ 989872570288564494786707531352817*c_1001_3^12 + 2250252637281548516840443929712853232822845394647078/88502812169604\ 989872570288564494786707531352817*c_1001_3^11 - 3676832608208045116042960429157105748849006919028915/88502812169604\ 989872570288564494786707531352817*c_1001_3^10 + 3719713664949014441721195286464379099017986863440924/88502812169604\ 989872570288564494786707531352817*c_1001_3^9 - 1781657110205033856801743768813771328124690418764563/88502812169604\ 989872570288564494786707531352817*c_1001_3^8 + 126732011736936505088436356840557891445162984870127/885028121696049\ 89872570288564494786707531352817*c_1001_3^7 + 164981743627468551595479227103833057939131268691701/885028121696049\ 89872570288564494786707531352817*c_1001_3^6 - 72987275643573738169758332922731314141054771147248/8850281216960498\ 9872570288564494786707531352817*c_1001_3^5 + 23408498029949684665365816729958867940752808842221/8850281216960498\ 9872570288564494786707531352817*c_1001_3^4 + 2276290328414655294185984073973586644512343033391/88502812169604989\ 872570288564494786707531352817*c_1001_3^3 - 2407456042071755412475217801640544210139970619076/88502812169604989\ 872570288564494786707531352817*c_1001_3^2 + 55243418146653382618900809996912371885937928532/8850281216960498987\ 2570288564494786707531352817*c_1001_3 - 56459758724884740734460471560271966925995207853/8850281216960498987\ 2570288564494786707531352817, c_1001_10 - c_1001_3, c_1001_3^19 - 468/101*c_1001_3^18 + 1638/101*c_1001_3^17 - 5978/101*c_1001_3^16 + 15262/101*c_1001_3^15 - 28776/101*c_1001_3^14 + 51979/101*c_1001_3^13 - 100097/101*c_1001_3^12 + 166664/101*c_1001_3^11 - 180749/101*c_1001_3^10 + 103208/101*c_1001_3^9 - 19406/101*c_1001_3^8 - 6843/101*c_1001_3^7 + 5045/101*c_1001_3^6 - 1758/101*c_1001_3^5 + 177/101*c_1001_3^4 + 118/101*c_1001_3^3 - 30/101*c_1001_3^2 + 3/101*c_1001_3 - 1/101 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 8.650 Total time: 8.859 seconds, Total memory usage: 120.66MB