Magma V2.19-8 Tue Aug 20 2013 23:47:13 on localhost [Seed = 3203978489] Type ? for help. Type -D to quit. Loading file "K14n9757__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n9757 geometric_solution 10.52635174 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 1 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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.182929237966 1.070201317801 0 0 5 4 0132 1302 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.844816615007 0.907878177196 6 0 8 7 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.966299929792 0.748824674167 9 6 10 0 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.090321890025 0.802650518794 5 11 1 9 2103 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.282645191620 1.021662397072 9 9 4 1 2103 1302 2103 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 2 -3 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.398548283414 0.647922820209 2 7 3 11 0132 1302 2310 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.473255506013 0.645260153322 10 8 2 6 1230 2103 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 -0.298359609222 0.964777416167 10 7 11 2 0132 2103 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.336838163989 0.340168622008 3 4 5 5 0132 1302 2103 2031 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 -1 -2 3 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.398548283414 0.647922820209 8 7 11 3 0132 3012 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.966819812634 0.710717322580 8 4 6 10 2031 0132 1230 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.464291628821 0.508415897090 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_3']), 'c_1001_10' : negation(d['c_0011_7']), 'c_1001_5' : negation(d['c_0011_11']), 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : d['c_0011_10'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : negation(d['c_0011_10']), 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : d['c_0011_5'], 'c_1001_8' : d['c_0011_7'], 'c_1010_11' : d['c_1001_4'], 'c_1010_10' : negation(d['c_0101_6']), 's_0_10' : d['1'], 's_3_10' : 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' : d['1'], 's_2_2' : negation(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' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 'c_1100_7' : d['c_0101_11'], 'c_1100_6' : d['c_0011_3'], 'c_1100_1' : negation(d['c_0011_5']), 'c_1100_0' : negation(d['c_1001_4']), 'c_1100_3' : negation(d['c_1001_4']), 'c_1100_2' : d['c_0101_11'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_10'], 'c_1100_10' : negation(d['c_1001_4']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_0'], 'c_1010_6' : negation(d['c_0101_11']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : negation(d['c_0011_10']), 'c_1010_2' : negation(d['c_0011_10']), 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : d['c_0011_5'], 'c_1010_8' : negation(d['c_0011_0']), 'c_1100_8' : d['c_0101_11'], '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' : negation(d['1']), 's_1_7' : negation(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' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_0'], '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_7'], 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_11']), 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0011_11']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_11']), 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_5'], 'c_0110_7' : d['c_0011_10'], 'c_0110_6' : d['c_0101_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_5, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_6, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 354468581492838004697960418464916851068022158929462480796/665430469\ 0407081903563599855860197715225803093616073179*c_1001_4^22 - 3643540554415439757202500207464359358557707457996266598651/66543046\ 90407081903563599855860197715225803093616073179*c_1001_4^21 - 2905166661199674993260883187601596609209597301469766915678/22181015\ 63469027301187866618620065905075267697872024393*c_1001_4^20 + 85729392583924693865326394514784685639449086288558439755/2153496663\ 5621624283377345811845300049274443668660431*c_1001_4^19 + 45740050109457884568877824220459117412003620308425752708648/2218101\ 563469027301187866618620065905075267697872024393*c_1001_4^18 + 103098596878652526768737816965790678592406962035643491969/130476562\ 557001605952227448154121523827956923404236729*c_1001_4^17 - 272087574515100556048550337924873401101853180679234130964555/221810\ 1563469027301187866618620065905075267697872024393*c_1001_4^16 - 346136128308579528733886484524872264220281798279523908738272/221810\ 1563469027301187866618620065905075267697872024393*c_1001_4^15 + 26177833837694952885318572298968240321615760473154051503539/1090869\ 62137821014812518030423937667462718083501902839*c_1001_4^14 + 4152687930380303993933714758987622852398779676707064078267024/66543\ 04690407081903563599855860197715225803093616073179*c_1001_4^13 + 10210200916141617863220870357289187221189525406217589789127/1255529\ 18686926073652143393506796183306147228181435343*c_1001_4^12 - 121903975974275784021244845785996959197375662879689827258753/130476\ 562557001605952227448154121523827956923404236729*c_1001_4^11 - 153262818993198647340161633640589318733883350572244688042045/130476\ 562557001605952227448154121523827956923404236729*c_1001_4^10 - 4478649058721312877496492292504433041239220898444728141700724/66543\ 04690407081903563599855860197715225803093616073179*c_1001_4^9 - 1387213885876912716434268897169206250130228746503409550028142/66543\ 04690407081903563599855860197715225803093616073179*c_1001_4^8 + 232021761149597345583722011513525677210905052612436947532240/665430\ 4690407081903563599855860197715225803093616073179*c_1001_4^7 + 29265415936688421094490001427463970284962390133209587558659/1255529\ 18686926073652143393506796183306147228181435343*c_1001_4^6 + 1091312461373446139520179300447675833612837715774748718197586/66543\ 04690407081903563599855860197715225803093616073179*c_1001_4^5 - 91342475916856244717865233809796774995975673894081338405313/2218101\ 563469027301187866618620065905075267697872024393*c_1001_4^4 - 179283370413133758772340213945596838068251758733424115778236/665430\ 4690407081903563599855860197715225803093616073179*c_1001_4^3 + 40779369344444536127985899505259269499002804591587346788078/2218101\ 563469027301187866618620065905075267697872024393*c_1001_4^2 - 46995895888055923491475425706315602491259790198583354640866/2218101\ 563469027301187866618620065905075267697872024393*c_1001_4 - 118474568152893150939122321641293406584388476787067286277175/665430\ 4690407081903563599855860197715225803093616073179, c_0011_0 - 1, c_0011_10 - 11650174224025022960753761671247776297579810/21582612209386\ 277966524589477156806282849927*c_1001_4^22 - 119961255547948588650865681629885973638810931/215826122093862779665\ 24589477156806282849927*c_1001_4^21 - 288460359970912546395523305511144928808510460/215826122093862779665\ 24589477156806282849927*c_1001_4^20 + 8416869608048723346576445537529694535936531/20953992436297357249052\ 9994923852488183009*c_1001_4^19 + 452846479017999350192087151915053\ 0549174510091/21582612209386277966524589477156806282849927*c_1001_4\ ^18 + 241018452766137845321356094240523537172945810/215826122093862\ 77966524589477156806282849927*c_1001_4^17 - 26875034209574595009633559691210853613782973960/2158261220938627796\ 6524589477156806282849927*c_1001_4^16 - 34582121494295262646486191627244755652642717186/2158261220938627796\ 6524589477156806282849927*c_1001_4^15 + 52198651944916758972140454829979994915161779622/2158261220938627796\ 6524589477156806282849927*c_1001_4^14 + 137658764479819564506344520395964986874092817840/215826122093862779\ 66524589477156806282849927*c_1001_4^13 + 19403460635220410025067752158830592446893162410/2158261220938627796\ 6524589477156806282849927*c_1001_4^12 - 205248449712931666673560228563509394235483240109/215826122093862779\ 66524589477156806282849927*c_1001_4^11 - 259991761140577659715982028379203805547567752299/215826122093862779\ 66524589477156806282849927*c_1001_4^10 - 149530002967428612111980517644831690270730097734/215826122093862779\ 66524589477156806282849927*c_1001_4^9 - 46385609642143479060513643993714023202553976945/2158261220938627796\ 6524589477156806282849927*c_1001_4^8 + 7481202926899332301363113357473540012454144158/21582612209386277966\ 524589477156806282849927*c_1001_4^7 + 51143080006259366450389512667239633230094022794/2158261220938627796\ 6524589477156806282849927*c_1001_4^6 + 36486595757542143091903366045875060814813689469/2158261220938627796\ 6524589477156806282849927*c_1001_4^5 - 8993606647558268706562256646009362781683541243/21582612209386277966\ 524589477156806282849927*c_1001_4^4 - 6192735017289882063374470909743510857402319733/21582612209386277966\ 524589477156806282849927*c_1001_4^3 + 4102085518965730831589515686519281114620815162/21582612209386277966\ 524589477156806282849927*c_1001_4^2 - 4615506029006870120627148834498101645652857025/21582612209386277966\ 524589477156806282849927*c_1001_4 - 3977588314806713165535951203617411751250815906/21582612209386277966\ 524589477156806282849927, c_0011_11 - 9308453403126734203573023042180184636834030/215826122093862\ 77966524589477156806282849927*c_1001_4^22 - 95918671546254943032308654638915974682429177/2158261220938627796652\ 4589477156806282849927*c_1001_4^21 - 231120648335728190932598918019035908479100646/215826122093862779665\ 24589477156806282849927*c_1001_4^20 + 6715542954522847181098288140585716125750049/20953992436297357249052\ 9994923852488183009*c_1001_4^19 + 362481409944944674408319144717274\ 8028186858299/21582612209386277966524589477156806282849927*c_1001_4\ ^18 + 212786472361909785167843627239204087274073433/215826122093862\ 77966524589477156806282849927*c_1001_4^17 - 21497137711166449175794799093355919357465435736/2158261220938627796\ 6524589477156806282849927*c_1001_4^16 - 27774028466542845359295705836907957729503334621/2158261220938627796\ 6524589477156806282849927*c_1001_4^15 + 41669574291824103794829891804466369873074317398/2158261220938627796\ 6524589477156806282849927*c_1001_4^14 + 110405264142280533484630823907800713244217476141/215826122093862779\ 66524589477156806282849927*c_1001_4^13 + 15879717776825392503516400511931466805714888264/2158261220938627796\ 6524589477156806282849927*c_1001_4^12 - 164477354969592007217538835060818798833734358059/215826122093862779\ 66524589477156806282849927*c_1001_4^11 - 208582213553956709815424392672031279150440190821/215826122093862779\ 66524589477156806282849927*c_1001_4^10 - 119863331771221495643514810889239345284463451389/215826122093862779\ 66524589477156806282849927*c_1001_4^9 - 37159265686029387986185486763446015645272545396/2158261220938627796\ 6524589477156806282849927*c_1001_4^8 + 5936864215316675870973672780136372050994910374/21582612209386277966\ 524589477156806282849927*c_1001_4^7 + 40972784912312224601449571925409253448103669742/2158261220938627796\ 6524589477156806282849927*c_1001_4^6 + 29416889954404086077567326773431240209778568671/2158261220938627796\ 6524589477156806282849927*c_1001_4^5 - 7168879109563632417278635323121070885840033789/21582612209386277966\ 524589477156806282849927*c_1001_4^4 - 4998911256646801743582604451677159528014564158/21582612209386277966\ 524589477156806282849927*c_1001_4^3 + 3373129671958823288606586499865151303724015315/21582612209386277966\ 524589477156806282849927*c_1001_4^2 - 3684286922184274546117965753841461034989539042/21582612209386277966\ 524589477156806282849927*c_1001_4 - 3217254750539481996977241237433972380823096233/21582612209386277966\ 524589477156806282849927, c_0011_3 - 5832284991743408833940300104615242170300446/2158261220938627\ 7966524589477156806282849927*c_1001_4^22 - 59739774278995892632370572539581660207493827/2158261220938627796652\ 4589477156806282849927*c_1001_4^21 - 141406224895405377421980529046625887776143151/215826122093862779665\ 24589477156806282849927*c_1001_4^20 + 4267012458891418821798173473380836821656366/20953992436297357249052\ 9994923852488183009*c_1001_4^19 + 223936802234178746040924663096343\ 6816253544803/21582612209386277966524589477156806282849927*c_1001_4\ ^18 + 19451100549383033630562030106504721324895282/2158261220938627\ 7966524589477156806282849927*c_1001_4^17 - 13382885373248689777305887934061757090525788649/2158261220938627796\ 6524589477156806282849927*c_1001_4^16 - 16640870186767493278821287140382249606114706467/2158261220938627796\ 6524589477156806282849927*c_1001_4^15 + 26549703604008137349904694406996867515609557312/2158261220938627796\ 6524589477156806282849927*c_1001_4^14 + 67186121081790568254435166096809709645432460826/2158261220938627796\ 6524589477156806282849927*c_1001_4^13 + 7331696834808409751781032219634255530594215473/21582612209386277966\ 524589477156806282849927*c_1001_4^12 - 101462552279822592975834886189345157956198603687/215826122093862779\ 66524589477156806282849927*c_1001_4^11 - 125659371829047039970252329370059251139217818444/215826122093862779\ 66524589477156806282849927*c_1001_4^10 - 71262415480937312392222786776513724032602139871/2158261220938627796\ 6524589477156806282849927*c_1001_4^9 - 21780667968940625700266786749336689742654218393/2158261220938627796\ 6524589477156806282849927*c_1001_4^8 + 3947443092272055528989089505729456861644420673/21582612209386277966\ 524589477156806282849927*c_1001_4^7 + 25076864918796427905788505864453326292195263955/2158261220938627796\ 6524589477156806282849927*c_1001_4^6 + 17114474875393579638652429671840166135439331646/2158261220938627796\ 6524589477156806282849927*c_1001_4^5 - 4625618124471683269686423348740850348109964719/21582612209386277966\ 524589477156806282849927*c_1001_4^4 - 2698548564956941584770064297669428209708593711/21582612209386277966\ 524589477156806282849927*c_1001_4^3 + 1965967873248044133978920896771409098788386906/21582612209386277966\ 524589477156806282849927*c_1001_4^2 - 2283641845610339154966017218943583724876672245/21582612209386277966\ 524589477156806282849927*c_1001_4 - 1896706155882495423980084403727430858325396140/21582612209386277966\ 524589477156806282849927, c_0011_5 - 3767973017427581305192795756523378820344569/2158261220938627\ 7966524589477156806282849927*c_1001_4^22 - 38828430088049276413518812869704777393168532/2158261220938627796652\ 4589477156806282849927*c_1001_4^21 - 93613298099867170046212660658250014118721618/2158261220938627796652\ 4589477156806282849927*c_1001_4^20 + 2714187045233926794617564884643707467725513/20953992436297357249052\ 9994923852488183009*c_1001_4^19 + 146674159910428615943942696187149\ 3321902475669/21582612209386277966524589477156806282849927*c_1001_4\ ^18 + 90506541936882434489831931938510872656159411/2158261220938627\ 7966524589477156806282849927*c_1001_4^17 - 8689160363246097043985069088579071372439298690/21582612209386277966\ 524589477156806282849927*c_1001_4^16 - 11257515396713661285077215205334914006405032816/2158261220938627796\ 6524589477156806282849927*c_1001_4^15 + 16777968115461222093098072951205519785599855434/2158261220938627796\ 6524589477156806282849927*c_1001_4^14 + 44655280121904363970494414440064321465997134753/2158261220938627796\ 6524589477156806282849927*c_1001_4^13 + 6666645772100283522386277100848758140089399434/21582612209386277966\ 524589477156806282849927*c_1001_4^12 - 66298936503794740849271550622311202416374616954/2158261220938627796\ 6524589477156806282849927*c_1001_4^11 - 84623829086282949773777074995938710335146100342/2158261220938627796\ 6524589477156806282849927*c_1001_4^10 - 49098975701470666785452325020941005565286262227/2158261220938627796\ 6524589477156806282849927*c_1001_4^9 - 15531952767894032073506180090249445990575416627/2158261220938627796\ 6524589477156806282849927*c_1001_4^8 + 2215959591620459857695528642310765034513563474/21582612209386277966\ 524589477156806282849927*c_1001_4^7 + 16608777047710188328846634870163394300180784341/2158261220938627796\ 6524589477156806282849927*c_1001_4^6 + 12011060294238138449871131435316172608504251886/2158261220938627796\ 6524589477156806282849927*c_1001_4^5 - 2751552592608228925804700626113671913427038738/21582612209386277966\ 524589477156806282849927*c_1001_4^4 - 2026811133065431375875595271203076812761648158/21582612209386277966\ 524589477156806282849927*c_1001_4^3 + 1339425731830313138041280232236237693431643562/21582612209386277966\ 524589477156806282849927*c_1001_4^2 - 1501401963193833486563237207244864340775237165/21582612209386277966\ 524589477156806282849927*c_1001_4 - 1329240367106568279171962233829770926308977315/21582612209386277966\ 524589477156806282849927, c_0011_7 + 11875143761417621214828102634343236171749353/215826122093862\ 77966524589477156806282849927*c_1001_4^22 + 122092692774377863298194536728177690341006040/215826122093862779665\ 24589477156806282849927*c_1001_4^21 + 292274378967417249294916464782923631583945257/215826122093862779665\ 24589477156806282849927*c_1001_4^20 - 8609952779926750241772829725944613469099082/20953992436297357249052\ 9994923852488183009*c_1001_4^19 - 459942431869349919838533074483034\ 2927865631399/21582612209386277966524589477156806282849927*c_1001_4\ ^18 - 186705244732068135796039449044937684394322963/215826122093862\ 77966524589477156806282849927*c_1001_4^17 + 27348701922137189029684852302131425704873405072/2158261220938627796\ 6524589477156806282849927*c_1001_4^16 + 34853612186219085158186542688088487855876706262/2158261220938627796\ 6524589477156806282849927*c_1001_4^15 - 53433020251502132862917167960382688086377997411/2158261220938627796\ 6524589477156806282849927*c_1001_4^14 - 139267068370475440471161176777803987682200139856/215826122093862779\ 66524589477156806282849927*c_1001_4^13 - 18408182571491912029302858051584902831553554428/2158261220938627796\ 6524589477156806282849927*c_1001_4^12 + 208325732884455674926934847742343679294290930763/215826122093862779\ 66524589477156806282849927*c_1001_4^11 + 262313269882356465889309142788470125314449492132/215826122093862779\ 66524589477156806282849927*c_1001_4^10 + 150497033312641794283381737819079942156625409570/215826122093862779\ 66524589477156806282849927*c_1001_4^9 + 46725458793470135895384812372672679513030610144/2158261220938627796\ 6524589477156806282849927*c_1001_4^8 - 7634586230466107996564989763342918168553594044/21582612209386277966\ 524589477156806282849927*c_1001_4^7 - 51872786119939450337621254475237186264571499838/2158261220938627796\ 6524589477156806282849927*c_1001_4^6 - 36568107603120246591468623078589762902778943437/2158261220938627796\ 6524589477156806282849927*c_1001_4^5 + 9179278508730521307719638577986513224086951031/21582612209386277966\ 524589477156806282849927*c_1001_4^4 + 6066937312096994807395028021097839443115910318/21582612209386277966\ 524589477156806282849927*c_1001_4^3 - 4068439122661192270941616637640822478931969664/21582612209386277966\ 524589477156806282849927*c_1001_4^2 + 4717077108565006730327762456588930588299309709/21582612209386277966\ 524589477156806282849927*c_1001_4 + 3983888120456589958793366212729843892274612418/21582612209386277966\ 524589477156806282849927, c_0101_0 + 18505896005644340565447534327227734386471937/215826122093862\ 77966524589477156806282849927*c_1001_4^22 + 190364597101631364321156323831249422960980981/215826122093862779665\ 24589477156806282849927*c_1001_4^21 + 456376947435443107284387526298223930697740930/215826122093862779665\ 24589477156806282849927*c_1001_4^20 - 13403913540178725282813818805429808512718169/2095399243629735724905\ 29994923852488183009*c_1001_4^19 - 7176729763272413409946806857522886822325644172/21582612209386277966\ 524589477156806282849927*c_1001_4^18 - 319365270837574477567002412836208640742738105/215826122093862779665\ 24589477156806282849927*c_1001_4^17 + 42651122834459392129906433223370156404779700379/2158261220938627796\ 6524589477156806282849927*c_1001_4^16 + 54512754958117771196745651124600444931571514708/2158261220938627796\ 6524589477156806282849927*c_1001_4^15 - 83202857566592097868681782666914618069559112735/2158261220938627796\ 6524589477156806282849927*c_1001_4^14 - 217583791608258201309331701345983268423847122291/215826122093862779\ 66524589477156806282849927*c_1001_4^13 - 29251505354947080241576063502291542859733378159/2158261220938627796\ 6524589477156806282849927*c_1001_4^12 + 325207683089909296931281241400835090371776962980/215826122093862779\ 66524589477156806282849927*c_1001_4^11 + 409997462270715967715951996986528821593678979614/215826122093862779\ 66524589477156806282849927*c_1001_4^10 + 235300967742880529198351063522094555990617747353/215826122093862779\ 66524589477156806282849927*c_1001_4^9 + 73057669413713678020675306525681227912123918998/2158261220938627796\ 6524589477156806282849927*c_1001_4^8 - 11903882792384270168287649918376393011423782181/2158261220938627796\ 6524589477156806282849927*c_1001_4^7 - 81096616322407244020755238597046274118083374301/2158261220938627796\ 6524589477156806282849927*c_1001_4^6 - 57470837743297026521827310306565380081640134637/2158261220938627796\ 6524589477156806282849927*c_1001_4^5 + 14241025864196837991317352423860608040651801181/2158261220938627796\ 6524589477156806282849927*c_1001_4^4 + 9471707517364605205424803646159021903898079348/21582612209386277966\ 524589477156806282849927*c_1001_4^3 - 6441906616725104463951356391092513770561813133/21582612209386277966\ 524589477156806282849927*c_1001_4^2 + 7365595415402417233357971543142951406962913283/21582612209386277966\ 524589477156806282849927*c_1001_4 + 6245795181122416893559293834179727799082534912/21582612209386277966\ 524589477156806282849927, c_0101_1 + 917089660510890932038994167752218191726296/74422800722021648\ 1604296188867476078718963*c_1001_4^22 + 9432054376398650276260927238013403833707259/74422800722021648160429\ 6188867476078718963*c_1001_4^21 + 226018203605275505067204880963221\ 18794992499/744228007220216481604296188867476078718963*c_1001_4^20 - 664363240144565141226791955286656954404217/722551463320598525829413\ 7755994913385621*c_1001_4^19 - 355473940443851009934214181776605479\ 244154069/744228007220216481604296188867476078718963*c_1001_4^18 - 15471199472589869915064058331175478391554607/7442280072202164816042\ 96188867476078718963*c_1001_4^17 + 2112672433514830783153502754588451577146212411/74422800722021648160\ 4296188867476078718963*c_1001_4^16 + 2698597511048508423677617686576490765546123649/74422800722021648160\ 4296188867476078718963*c_1001_4^15 - 4121378945142638129157014865502983982745938170/74422800722021648160\ 4296188867476078718963*c_1001_4^14 - 10772872259064824422318664427207665985422629564/7442280072202164816\ 04296188867476078718963*c_1001_4^13 - 1449229468363680717683750392917381847107966124/74422800722021648160\ 4296188867476078718963*c_1001_4^12 + 16099736771710394794862893667804164632470851725/7442280072202164816\ 04296188867476078718963*c_1001_4^11 + 20309824661828459328052063359509993434133651077/7442280072202164816\ 04296188867476078718963*c_1001_4^10 + 11666044481332229159145423454648893023524585132/7442280072202164816\ 04296188867476078718963*c_1001_4^9 + 3620788771444586728635261959454069895184760132/74422800722021648160\ 4296188867476078718963*c_1001_4^8 - 596448448417241478538331090436488463839668180/744228007220216481604\ 296188867476078718963*c_1001_4^7 - 4020725932901063079724174632967388953837548111/74422800722021648160\ 4296188867476078718963*c_1001_4^6 - 2842293570245314706068290560189025807163893333/74422800722021648160\ 4296188867476078718963*c_1001_4^5 + 704308081568679160207427038541616843736644458/744228007220216481604\ 296188867476078718963*c_1001_4^4 + 471698176128516962626126105683099716802195971/744228007220216481604\ 296188867476078718963*c_1001_4^3 - 317176686950741187908834024048862025954679902/744228007220216481604\ 296188867476078718963*c_1001_4^2 + 363468568845477307819703148395264506758488134/744228007220216481604\ 296188867476078718963*c_1001_4 + 3090762267664331571920997282440365\ 29033696063/744228007220216481604296188867476078718963, c_0101_10 + 329534773450207226714394227619277073083368/2158261220938627\ 7966524589477156806282849927*c_1001_4^22 + 3627075213150158541832379322283015165016689/21582612209386277966524\ 589477156806282849927*c_1001_4^21 + 10389590755243232549344134126264376088418194/2158261220938627796652\ 4589477156806282849927*c_1001_4^20 - 198289205957523793565505116235933157312938/209539924362973572490529\ 994923852488183009*c_1001_4^19 - 1485560252298641384078266176609863\ 40932915974/21582612209386277966524589477156806282849927*c_1001_4^1\ 8 - 81938214631423259080915099835878026528281272/215826122093862779\ 66524589477156806282849927*c_1001_4^17 + 812307052960968831266378937684993555616972425/215826122093862779665\ 24589477156806282849927*c_1001_4^16 + 1475138599411222175335402134722531105747181625/21582612209386277966\ 524589477156806282849927*c_1001_4^15 - 1163477854571437338402302885650915096552547632/21582612209386277966\ 524589477156806282849927*c_1001_4^14 - 5164416210637608983646792232740427702304036581/21582612209386277966\ 524589477156806282849927*c_1001_4^13 - 2310416908161212912347643870399140349078491637/21582612209386277966\ 524589477156806282849927*c_1001_4^12 + 6734805329605163097485700732722033484014325549/21582612209386277966\ 524589477156806282849927*c_1001_4^11 + 10648615413409216038390106259414934367831681276/2158261220938627796\ 6524589477156806282849927*c_1001_4^10 + 6896363273654759354321431465503005908722814762/21582612209386277966\ 524589477156806282849927*c_1001_4^9 + 2449585305327712410973746263370548776684812492/21582612209386277966\ 524589477156806282849927*c_1001_4^8 + 66754346758320477497332313985023103790600465/2158261220938627796652\ 4589477156806282849927*c_1001_4^7 - 1718445355502946580225903903227634802403732392/21582612209386277966\ 524589477156806282849927*c_1001_4^6 - 1850567461272560656591870423880639588009305060/21582612209386277966\ 524589477156806282849927*c_1001_4^5 + 161868034298639614478061821611265039635125156/215826122093862779665\ 24589477156806282849927*c_1001_4^4 + 449011262690251112526984439796082327676348625/215826122093862779665\ 24589477156806282849927*c_1001_4^3 - 222628778447435901194066891484764059411476849/215826122093862779665\ 24589477156806282849927*c_1001_4^2 + 137814243941858927942041134793411443114049612/215826122093862779665\ 24589477156806282849927*c_1001_4 + 207704079142049758178095009823081228688132740/215826122093862779665\ 24589477156806282849927, c_0101_11 - 14447997454726728496735620807450240819486138/21582612209386\ 277966524589477156806282849927*c_1001_4^22 - 148531344546295826311116262665698884319832047/215826122093862779665\ 24589477156806282849927*c_1001_4^21 - 355488967514477741382276179963823430519154398/215826122093862779665\ 24589477156806282849927*c_1001_4^20 + 10475471337760883862372835374667596920182625/2095399243629735724905\ 29994923852488183009*c_1001_4^19 + 5594174681690865313757303809707499194795865611/21582612209386277966\ 524589477156806282849927*c_1001_4^18 + 224516719422320315913490996558545422941092813/215826122093862779665\ 24589477156806282849927*c_1001_4^17 - 33262072848039518926581017510542578042516735864/2158261220938627796\ 6524589477156806282849927*c_1001_4^16 - 42376500060163965326705116525913549012660282676/2158261220938627796\ 6524589477156806282849927*c_1001_4^15 + 64973548688858295870437278549247782105721126282/2158261220938627796\ 6524589477156806282849927*c_1001_4^14 + 169305318403779250878393895435129505349866505786/215826122093862779\ 66524589477156806282849927*c_1001_4^13 + 22411928826571085059666769652803577921871626039/2158261220938627796\ 6524589477156806282849927*c_1001_4^12 - 253150402622024472340744272591385352371608974171/215826122093862779\ 66524589477156806282849927*c_1001_4^11 - 318960062681089372562155117559749126838538292879/215826122093862779\ 66524589477156806282849927*c_1001_4^10 - 183348610275209671352423110138753294457089232521/215826122093862779\ 66524589477156806282849927*c_1001_4^9 - 57254500029149258683585823803686740638941473629/2158261220938627796\ 6524589477156806282849927*c_1001_4^8 + 9051453104778024190989247937327791649338349217/21582612209386277966\ 524589477156806282849927*c_1001_4^7 + 63110892762613888564878210163437831157374898989/2158261220938627796\ 6524589477156806282849927*c_1001_4^6 + 44553180038908436200294294786628482606463921392/2158261220938627796\ 6524589477156806282849927*c_1001_4^5 - 11046470058537418264356385343400011624798545724/2158261220938627796\ 6524589477156806282849927*c_1001_4^4 - 7287996881513559231649913793409311572859004585/21582612209386277966\ 524589477156806282849927*c_1001_4^3 + 4944977076078163240537051730996969893607957065/21582612209386277966\ 524589477156806282849927*c_1001_4^2 - 5728561361708945571397989728115379365798744561/21582612209386277966\ 524589477156806282849927*c_1001_4 - 4858729784232076574294200789580577682308176713/21582612209386277966\ 524589477156806282849927, c_0101_6 - 554504310842805480788735190714736947252911/21582612209386277\ 966524589477156806282849927*c_1001_4^22 - 5758512439579433189161234420574731867211798/21582612209386277966524\ 589477156806282849927*c_1001_4^21 - 14203609751747935448737293398043078863852991/2158261220938627796652\ 4589477156806282849927*c_1001_4^20 + 391372377835550688761889304650852090475489/209539924362973572490529\ 994923852488183009*c_1001_4^19 + 2195155537433698348722858433407987\ 19624037282/21582612209386277966524589477156806282849927*c_1001_4^1\ 8 + 27625006597353549555598454640292173749658425/215826122093862779\ 66524589477156806282849927*c_1001_4^17 - 1285974765523562851317671548605565646707403537/21582612209386277966\ 524589477156806282849927*c_1001_4^16 - 1746629291335044687035753195566263308981170701/21582612209386277966\ 524589477156806282849927*c_1001_4^15 + 2397846161156811229179016016053608267768765421/21582612209386277966\ 524589477156806282849927*c_1001_4^14 + 6772720101293484948463448614579428510411358597/21582612209386277966\ 524589477156806282849927*c_1001_4^13 + 1315138844432714916582749763153450733738883655/21582612209386277966\ 524589477156806282849927*c_1001_4^12 - 9812088501129171350860319911556318542822016203/21582612209386277966\ 524589477156806282849927*c_1001_4^11 - 12970124155188022211717220668681254134713421109/2158261220938627796\ 6524589477156806282849927*c_1001_4^10 - 7863393618867941525722651639751257794618126598/21582612209386277966\ 524589477156806282849927*c_1001_4^9 - 2789434456654369245844914642329205087161445691/21582612209386277966\ 524589477156806282849927*c_1001_4^8 + 86628956808455217704544091884355052308849421/2158261220938627796652\ 4589477156806282849927*c_1001_4^7 + 2448151469183030467457645711225187836881209436/21582612209386277966\ 524589477156806282849927*c_1001_4^6 + 1932079306850664156157127456595341675974559028/21582612209386277966\ 524589477156806282849927*c_1001_4^5 - 347539895470892215635443753588415482038534944/215826122093862779665\ 24589477156806282849927*c_1001_4^4 - 323213557497363856547541551150410913389939210/215826122093862779665\ 24589477156806282849927*c_1001_4^3 + 188982382142897340546167842606305423722631351/215826122093862779665\ 24589477156806282849927*c_1001_4^2 - 239385323499995537642654756884240385760502296/215826122093862779665\ 24589477156806282849927*c_1001_4 - 214003884791926551435510018935513369711929252/215826122093862779665\ 24589477156806282849927, c_1001_4^23 + 11*c_1001_4^22 + 32*c_1001_4^21 - 57*c_1001_4^20 - 441*c_1001_4^19 - 294*c_1001_4^18 + 2292*c_1001_4^17 + 4590*c_1001_4^16 - 2392*c_1001_4^15 - 14963*c_1001_4^14 - 9975*c_1001_4^13 + 16436*c_1001_4^12 + 34697*c_1001_4^11 + 28538*c_1001_4^10 + 13030*c_1001_4^9 + 2174*c_1001_4^8 - 4842*c_1001_4^7 - 6230*c_1001_4^6 - 1445*c_1001_4^5 + 1064*c_1001_4^4 + 20*c_1001_4^3 + 149*c_1001_4^2 + 621*c_1001_4 + 241 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.530 Total time: 1.740 seconds, Total memory usage: 32.09MB