Magma V2.19-8 Wed Aug 21 2013 00:38:36 on localhost [Seed = 1696822035] Type ? for help. Type -D to quit. Loading file "K14n2479__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n2479 geometric_solution 11.86902268 oriented_manifold CS_known 0.0000000000000005 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 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 -1 0 0 16 -16 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.293892634183 0.806115893873 0 4 6 5 0132 3012 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 1 16 0 -17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.658102792599 0.665644053327 7 0 8 7 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 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.786112774975 0.978766658811 5 4 9 0 0132 2310 0132 0132 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 16 -16 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.312397061257 0.342594939261 1 8 0 3 1230 3201 0132 3201 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 1 -1 -16 0 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.603245838192 1.436485117686 3 10 1 11 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 -1 1 0 0 0 0 0 1 0 0 -1 0 -17 17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.528916463504 1.470192331294 10 7 12 1 3201 0321 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 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.225580355184 1.207822984325 2 2 11 6 0132 1302 2103 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.501184015910 0.621061595297 10 9 4 2 2103 0132 2310 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.352948075619 0.640074885893 11 8 10 3 1230 0132 3201 0132 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 0 17 -16 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.367196020054 1.334857043591 9 5 8 6 2310 0132 2103 2310 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 1 0 -1 0 0 0 0 -17 17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.412426970513 0.510199824493 7 9 5 12 2103 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.532733122822 0.462397957810 11 12 12 6 3201 3201 2310 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.416413251100 0.784516994682 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_8'], 'c_1001_10' : d['c_0011_8'], 'c_1001_12' : negation(d['c_0101_12']), 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0101_10']), 'c_1001_7' : d['c_0011_11'], 'c_1001_6' : d['c_0101_12'], 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0101_10']), 'c_1001_9' : negation(d['c_0101_10']), 'c_1001_8' : d['c_1001_3'], 'c_1010_12' : d['c_0101_12'], 'c_1010_11' : negation(d['c_0101_6']), 'c_1010_10' : negation(d['c_0101_1']), '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_0011_11'], 'c_0101_10' : d['c_0101_10'], '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' : 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_1100_8' : d['c_0011_4'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_12'], 'c_1100_4' : negation(d['c_0011_10']), 'c_1100_7' : d['c_0101_12'], 'c_1100_6' : d['c_0011_12'], 'c_1100_1' : d['c_0011_12'], 'c_1100_0' : negation(d['c_0011_10']), 'c_1100_3' : negation(d['c_0011_10']), 'c_1100_2' : d['c_0011_4'], 's_0_10' : d['1'], 'c_1100_9' : negation(d['c_0011_10']), 'c_1100_11' : d['c_0011_12'], 'c_1100_10' : d['c_0011_6'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_4']), 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : d['c_0011_8'], 'c_1010_4' : negation(d['c_1001_3']), 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_10']), 'c_1010_9' : d['c_1001_3'], 'c_1010_8' : negation(d['c_0101_10']), '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_0011_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' : d['1'], 'c_0011_9' : negation(d['c_0011_8']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], '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_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_12']), 'c_0110_10' : negation(d['c_0101_6']), 'c_0110_12' : d['c_0101_6'], 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : d['c_0011_11'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_11'], 'c_0101_2' : negation(d['c_0011_6']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_6'], 'c_0101_8' : d['c_0101_10'], '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_0011_11'], 'c_0110_8' : negation(d['c_0011_6']), '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_11'], 'c_0110_5' : d['c_0011_11'], 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_7' : negation(d['c_0011_6']), '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_11, c_0011_12, c_0011_4, c_0011_6, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_6, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 1344724877286513849817556726136/1921658261013651902229081465443*c_1\ 001_3^19 - 301844569735103861112090347359/1558101292713771812618174\ 16117*c_1001_3^18 - 558123148498671444610952975284/5764974783040955\ 706687244396329*c_1001_3^17 + 9006012968942796364158517411889/19216\ 58261013651902229081465443*c_1001_3^16 + 3220875065566230679911202973972/1921658261013651902229081465443*c_1\ 001_3^15 - 919599383443990731737180310863/5193670975712572708727247\ 2039*c_1001_3^14 + 74438779985069066422930959295516/192165826101365\ 1902229081465443*c_1001_3^13 - 54235223785863481057815297467971/576\ 4974783040955706687244396329*c_1001_3^12 + 168876325389168703795418340026951/5764974783040955706687244396329*c\ _1001_3^11 - 1047753325196041407383074964334568/5764974783040955706\ 687244396329*c_1001_3^10 + 538358569904979056498132185716978/192165\ 8261013651902229081465443*c_1001_3^9 + 406264242799504318328370582289527/1921658261013651902229081465443*c\ _1001_3^8 - 1251076169390834193245388336849836/57649747830409557066\ 87244396329*c_1001_3^7 - 4793260946371837918435488817173266/5764974\ 783040955706687244396329*c_1001_3^6 + 6280357865596316713409338421076451/5764974783040955706687244396329*\ c_1001_3^5 - 169526598472245184007629126162319/19216582610136519022\ 29081465443*c_1001_3^4 - 10503344651769090705352023279101/403145089\ 72314375571239471303*c_1001_3^3 + 533519299441037028985771903579915\ /5764974783040955706687244396329*c_1001_3^2 - 32848631525902534684819826838961/5764974783040955706687244396329*c_\ 1001_3 - 1046343600486069897952333369411/57649747830409557066872443\ 96329, c_0011_0 - 1, c_0011_10 + 2865659864589742/32737139114119453*c_1001_3^19 - 7140747697428780/32737139114119453*c_1001_3^18 - 2919393667442142/32737139114119453*c_1001_3^17 + 19746682240016878/32737139114119453*c_1001_3^16 + 12230661219867198/32737139114119453*c_1001_3^15 - 72580339354276856/32737139114119453*c_1001_3^14 + 138210820867310988/32737139114119453*c_1001_3^13 + 13849896250080574/32737139114119453*c_1001_3^12 + 92473972437472414/32737139114119453*c_1001_3^11 - 719351899078225713/32737139114119453*c_1001_3^10 + 908254607307111642/32737139114119453*c_1001_3^9 + 1214776972851217879/32737139114119453*c_1001_3^8 - 805024257905690464/32737139114119453*c_1001_3^7 - 3780354474064977616/32737139114119453*c_1001_3^6 + 3671087439898806208/32737139114119453*c_1001_3^5 + 1319232217333462661/32737139114119453*c_1001_3^4 - 125716831529181430/2518241470316881*c_1001_3^3 - 156915109274385915/32737139114119453*c_1001_3^2 + 172228652028952128/32737139114119453*c_1001_3 - 14562361159380029/32737139114119453, c_0011_11 + 128221484706860280814592/85002798293168129439071149*c_1001_\ 3^19 + 124911627458660623775725360/3995131519778902083636344003*c_1\ 001_3^18 - 259650300138944358243882098/3995131519778902083636344003\ *c_1001_3^17 - 278751264506166651622419242/399513151977890208363634\ 4003*c_1001_3^16 + 776273790285140255973856170/39951315197789020836\ 36344003*c_1001_3^15 + 20851158556284329660981060/85002798293168129\ 439071149*c_1001_3^14 - 2502377007575111966213950012/39951315197789\ 02083636344003*c_1001_3^13 + 4794488334754321555506394650/399513151\ 9778902083636344003*c_1001_3^12 + 4196174503298775884239186148/3995\ 131519778902083636344003*c_1001_3^11 + 5674419171247566542959958247/3995131519778902083636344003*c_1001_3^\ 10 - 28727852224216235187232524010/3995131519778902083636344003*c_1\ 001_3^9 + 25727052511079390273381320135/399513151977890208363634400\ 3*c_1001_3^8 + 74452923372119023445481842042/3995131519778902083636\ 344003*c_1001_3^7 + 4980522199997601798343163512/399513151977890208\ 3636344003*c_1001_3^6 - 3661803111596355821622051334/85002798293168\ 129439071149*c_1001_3^5 + 56224833932921548295740720453/39951315197\ 78902083636344003*c_1001_3^4 + 744946998554654862024117386/27937982\ 655796518067387021*c_1001_3^3 - 924862043937101305132010428/3995131\ 519778902083636344003*c_1001_3^2 - 17251385552779310216799475788/3995131519778902083636344003*c_1001_3 - 3070380501777650945888646272/3995131519778902083636344003, c_0011_12 + 163240495273738036087158233/3995131519778902083636344003*c_\ 1001_3^19 - 99233044731251632884240458/3995131519778902083636344003\ *c_1001_3^18 - 703423079813624150748424211/399513151977890208363634\ 4003*c_1001_3^17 + 397941583818692082051045750/39951315197789020836\ 36344003*c_1001_3^16 + 2299461887344888206477646350/399513151977890\ 2083636344003*c_1001_3^15 - 1594419619549929373735729198/3995131519\ 778902083636344003*c_1001_3^14 + 1893268118318167046337535999/39951\ 31519778902083636344003*c_1001_3^13 + 11065024164685421168188638949/3995131519778902083636344003*c_1001_3\ ^12 + 14688378449381491762180956234/3995131519778902083636344003*c_\ 1001_3^11 - 24477291783451686131956924796/3995131519778902083636344\ 003*c_1001_3^10 - 13534404394230467867492153569/3995131519778902083\ 636344003*c_1001_3^9 + 117522580296254025113842642731/3995131519778\ 902083636344003*c_1001_3^8 + 123464268930421759035657120264/3995131\ 519778902083636344003*c_1001_3^7 - 177205015141675967120011038491/3995131519778902083636344003*c_1001_\ 3^6 - 176419627629850203264297478859/3995131519778902083636344003*c\ _1001_3^5 + 182776008225462608699256887777/399513151977890208363634\ 4003*c_1001_3^4 + 11256763646686096648682516123/3073178092137616987\ 41257231*c_1001_3^3 - 10662781346578370660213397370/399513151977890\ 2083636344003*c_1001_3^2 - 19990509817370234734458337151/3995131519\ 778902083636344003*c_1001_3 - 4132150529861730928126444416/39951315\ 19778902083636344003, c_0011_4 + 7670035959657983089639952/307317809213761698741257231*c_1001\ _3^19 - 2768014468821969087471079/307317809213761698741257231*c_100\ 1_3^18 - 46223708272750960841983252/307317809213761698741257231*c_1\ 001_3^17 + 34541318495714924202652483/307317809213761698741257231*c\ _1001_3^16 + 134386928380254777928627228/30731780921376169874125723\ 1*c_1001_3^15 - 116137381154168820026986688/30731780921376169874125\ 7231*c_1001_3^14 - 9438043627081851418993688/3073178092137616987412\ 57231*c_1001_3^13 + 795008271351092558836685163/3073178092137616987\ 41257231*c_1001_3^12 + 345921454244308797955270706/3073178092137616\ 98741257231*c_1001_3^11 - 1224459562047584405174392564/307317809213\ 761698741257231*c_1001_3^10 - 1519491187576893590852448688/30731780\ 9213761698741257231*c_1001_3^9 + 8019633741577372399401459547/30731\ 7809213761698741257231*c_1001_3^8 + 4528528139747060987734397012/307317809213761698741257231*c_1001_3^7 - 12816755203933933560429295432/307317809213761698741257231*c_1001_\ 3^6 - 10364895474231035877619299998/307317809213761698741257231*c_1\ 001_3^5 + 21240206100537618042626243949/307317809213761698741257231\ *c_1001_3^4 + 40400407662028336078534221/27937982655796518067387021\ *c_1001_3^3 - 5685423787106678889768488669/307317809213761698741257\ 231*c_1001_3^2 + 857991301710481661304965862/3073178092137616987412\ 57231*c_1001_3 + 104757909700787935097313563/3073178092137616987412\ 57231, c_0011_6 + 39818238909177232123617852/307317809213761698741257231*c_100\ 1_3^19 - 55717352635905338813705675/307317809213761698741257231*c_1\ 001_3^18 - 134758309327865311709663888/307317809213761698741257231*\ c_1001_3^17 + 208200597218979444942251462/3073178092137616987412572\ 31*c_1001_3^16 + 429155444770754305910720504/3073178092137616987412\ 57231*c_1001_3^15 - 752592693477437735119157776/3073178092137616987\ 41257231*c_1001_3^14 + 955309417497234062844635135/3073178092137616\ 98741257231*c_1001_3^13 + 2029940245910944610880599427/307317809213\ 761698741257231*c_1001_3^12 + 1897330845700226107026990065/30731780\ 9213761698741257231*c_1001_3^11 - 8020387509670635091186457944/3073\ 17809213761698741257231*c_1001_3^10 + 2486077230493339950993360286/307317809213761698741257231*c_1001_3^9 + 27756260212384538144749017443/307317809213761698741257231*c_1001_\ 3^8 + 8761592980769377379443447099/307317809213761698741257231*c_10\ 01_3^7 - 56068348785385744840484032457/307317809213761698741257231*\ c_1001_3^6 - 3363227281696455193126381021/3073178092137616987412572\ 31*c_1001_3^5 + 55771793070555676483984846593/307317809213761698741\ 257231*c_1001_3^4 - 37606851155777956562493758/65386767917821638030\ 05473*c_1001_3^3 - 12582513599112492539005047849/307317809213761698\ 741257231*c_1001_3^2 + 1039923976830714351370462125/307317809213761\ 698741257231*c_1001_3 + 248253646396172766774006496/307317809213761\ 698741257231, c_0011_8 + 666741197361604364720766208/3995131519778902083636344003*c_1\ 001_3^19 - 106612193556445807418158134/363193774525354734876031273*\ c_1001_3^18 - 148187216484635862015433814/3631937745253547348760312\ 73*c_1001_3^17 + 3665652245549762250962825313/399513151977890208363\ 6344003*c_1001_3^16 + 5509916569771660067926449348/3995131519778902\ 083636344003*c_1001_3^15 - 13461567283347857445725498962/3995131519\ 778902083636344003*c_1001_3^14 + 22176560716362820368975262822/3995\ 131519778902083636344003*c_1001_3^13 + 21808036199315424815890353918/3995131519778902083636344003*c_1001_3\ ^12 + 32056721845787282769618874448/3995131519778902083636344003*c_\ 1001_3^11 - 141917519340070895681823635819/399513151977890208363634\ 4003*c_1001_3^10 + 103491612402963577642944880276/39951315197789020\ 83636344003*c_1001_3^9 + 382870614002597497054510668586/39951315197\ 78902083636344003*c_1001_3^8 + 54293536731616646720288050508/399513\ 1519778902083636344003*c_1001_3^7 - 860774435653062240661586394327/3995131519778902083636344003*c_1001_\ 3^6 + 258066608170386047104468616086/3995131519778902083636344003*c\ _1001_3^5 + 12752847349671329740632916623/8500279829316812943907114\ 9*c_1001_3^4 - 7850885808453627704650331960/30731780921376169874125\ 7231*c_1001_3^3 - 76314033316170145878659718741/3995131519778902083\ 636344003*c_1001_3^2 + 22427044702447859241919011816/39951315197789\ 02083636344003*c_1001_3 - 513777922258165994952080801/3995131519778\ 902083636344003, c_0101_0 + 852391079462937951618180448/3995131519778902083636344003*c_1\ 001_3^19 - 1349040155180304098548451630/399513151977890208363634400\ 3*c_1001_3^18 - 2451303618559488989478297316/3995131519778902083636\ 344003*c_1001_3^17 + 4498423088181462411961584748/39951315197789020\ 83636344003*c_1001_3^16 + 8097805682278649490900784072/399513151977\ 8902083636344003*c_1001_3^15 - 16483740761974479465567671188/399513\ 1519778902083636344003*c_1001_3^14 + 24513402378834730069342558388/3995131519778902083636344003*c_1001_3\ ^13 + 34821797561082183561600473528/3995131519778902083636344003*c_\ 1001_3^12 + 42285108922964142090057982940/3995131519778902083636344\ 003*c_1001_3^11 - 177158993579977975359550569786/399513151977890208\ 3636344003*c_1001_3^10 + 94332060607196672272118949720/399513151977\ 8902083636344003*c_1001_3^9 + 533879789814365033057334723772/399513\ 1519778902083636344003*c_1001_3^8 + 138173966589019694876253904848/3995131519778902083636344003*c_1001_\ 3^7 - 103829695861809021608287642418/363193774525354734876031273*c_\ 1001_3^6 + 121559793753764932587528412040/3995131519778902083636344\ 003*c_1001_3^5 + 944177155128716648254157813542/3995131519778902083\ 636344003*c_1001_3^4 - 2961367695719448578535679072/307317809213761\ 698741257231*c_1001_3^3 - 183272862748079323687945686380/3995131519\ 778902083636344003*c_1001_3^2 + 16578556595529635348865412671/39951\ 31519778902083636344003*c_1001_3 + 3766826024332311993800737140/3995131519778902083636344003, c_0101_1 + 25519012218322783568174077/307317809213761698741257231*c_100\ 1_3^19 - 63632870419403738572581798/307317809213761698741257231*c_1\ 001_3^18 - 23578069201767908625390079/307317809213761698741257231*c\ _1001_3^17 + 171331291094159495162805934/30731780921376169874125723\ 1*c_1001_3^16 + 104496236210018104207763466/30731780921376169874125\ 7231*c_1001_3^15 - 634249645543390356327484562/30731780921376169874\ 1257231*c_1001_3^14 + 1247387446612939986035752660/3073178092137616\ 98741257231*c_1001_3^13 + 74918230964616021027035645/30731780921376\ 1698741257231*c_1001_3^12 + 914409593177831319369787548/30731780921\ 3761698741257231*c_1001_3^11 - 578686806306386604163274558/27937982\ 655796518067387021*c_1001_3^10 + 8222190029324701216070581854/30731\ 7809213761698741257231*c_1001_3^9 + 935788179490963710196636979/27937982655796518067387021*c_1001_3^8 - 6701850502665836384623301008/307317809213761698741257231*c_1001_3^7 - 32593088698105529785109453487/307317809213761698741257231*c_1001_\ 3^6 + 32848621952168775853599378772/307317809213761698741257231*c_1\ 001_3^5 + 8974282084356601995620866122/307317809213761698741257231*\ c_1001_3^4 - 13144488586642617397341703107/307317809213761698741257\ 231*c_1001_3^3 - 595276101876414606630458742/3073178092137616987412\ 57231*c_1001_3^2 + 1405485003747919295942933855/3073178092137616987\ 41257231*c_1001_3 + 472659783355927281233349903/3073178092137616987\ 41257231, c_0101_10 - 68543758466560421873261088/3995131519778902083636344003*c_1\ 001_3^19 + 155055952059274028849882617/3995131519778902083636344003\ *c_1001_3^18 + 92881745293095735172423770/3995131519778902083636344\ 003*c_1001_3^17 - 461020739633600658613111343/399513151977890208363\ 6344003*c_1001_3^16 - 27026700267795082639396780/363193774525354734\ 876031273*c_1001_3^15 + 1642100811459109140569261376/39951315197789\ 02083636344003*c_1001_3^14 - 3216880522567496985141030494/399513151\ 9778902083636344003*c_1001_3^13 - 994298347618885254444957904/39951\ 31519778902083636344003*c_1001_3^12 - 2162579607369119425440419607/3995131519778902083636344003*c_1001_3^\ 11 + 14888780577478074013468793078/3995131519778902083636344003*c_1\ 001_3^10 - 19223656713643773188221144685/39951315197789020836363440\ 03*c_1001_3^9 - 32376292445273985514814330400/399513151977890208363\ 6344003*c_1001_3^8 + 17308467603771425731394041228/3995131519778902\ 083636344003*c_1001_3^7 + 78810986046139477884228299696/39951315197\ 78902083636344003*c_1001_3^6 - 84104395487060679231589217549/399513\ 1519778902083636344003*c_1001_3^5 - 32763096941175439043687862020/3995131519778902083636344003*c_1001_3\ ^4 + 4991705408072254329819742525/307317809213761698741257231*c_100\ 1_3^3 - 1936621735864919563805411761/363193774525354734876031273*c_\ 1001_3^2 - 1305290006100754865448963573/363193774525354734876031273\ *c_1001_3 + 2746906528388671363342072813/39951315197789020836363440\ 03, c_0101_12 + 1075080488498002824159044612/3995131519778902083636344003*c\ _1001_3^19 - 1918272325927120831106569289/3995131519778902083636344\ 003*c_1001_3^18 - 2551663641116082544308237406/39951315197789020836\ 36344003*c_1001_3^17 + 533315304614184377412250028/3631937745253547\ 34876031273*c_1001_3^16 + 8779006359838361904093147027/399513151977\ 8902083636344003*c_1001_3^15 - 21660391887510285224124222412/399513\ 1519778902083636344003*c_1001_3^14 + 36227804614683672443188979193/3995131519778902083636344003*c_1001_3\ ^13 + 3025088811913829781825575479/363193774525354734876031273*c_10\ 01_3^12 + 52922745483005823995162877425/399513151977890208363634400\ 3*c_1001_3^11 - 231540371417081731346468877004/39951315197789020836\ 36344003*c_1001_3^10 + 172776678483959852288312083150/3995131519778\ 902083636344003*c_1001_3^9 + 603657440714768173616945031820/3995131\ 519778902083636344003*c_1001_3^8 + 88971989776572901522624623189/3995131519778902083636344003*c_1001_3\ ^7 - 1385458035869010573559731542902/3995131519778902083636344003*c\ _1001_3^6 + 38580156414718492656319547048/3631937745253547348760312\ 73*c_1001_3^5 + 916379880481254751463032543481/39951315197789020836\ 36344003*c_1001_3^4 - 8439138092061638848025282777/3073178092137616\ 98741257231*c_1001_3^3 - 127558123053045046538972481659/39951315197\ 78902083636344003*c_1001_3^2 + 13224172098502625142620450524/399513\ 1519778902083636344003*c_1001_3 - 501498030244464060645359292/39951\ 31519778902083636344003, c_0101_6 - 17968435126153185103360441/3995131519778902083636344003*c_10\ 01_3^19 + 44205771640025108574098406/3995131519778902083636344003*c\ _1001_3^18 + 49758188834238127373544815/399513151977890208363634400\ 3*c_1001_3^17 - 182512606320177044079463036/39951315197789020836363\ 44003*c_1001_3^16 - 134138125194779859357517440/3995131519778902083\ 636344003*c_1001_3^15 + 612217700838200953957109150/399513151977890\ 2083636344003*c_1001_3^14 - 650751855578564870513308208/39951315197\ 78902083636344003*c_1001_3^13 - 716258248226418293236546089/3995131\ 519778902083636344003*c_1001_3^12 + 602108835964581329888212810/3995131519778902083636344003*c_1001_3^1\ 1 + 457736246460524169132372679/363193774525354734876031273*c_1001_\ 3^10 - 3951899542003038078014046240/3995131519778902083636344003*c_\ 1001_3^9 - 1311784522561444364792461412/363193774525354734876031273\ *c_1001_3^8 + 11118425061987795613490247760/39951315197789020836363\ 44003*c_1001_3^7 + 37631727246732713201518199885/399513151977890208\ 3636344003*c_1001_3^6 - 20975209696607931704948830972/3995131519778\ 902083636344003*c_1001_3^5 - 44329042764971179725678326425/39951315\ 19778902083636344003*c_1001_3^4 + 2197575191689963070801938823/3073\ 17809213761698741257231*c_1001_3^3 + 11410808453046205379388372519/3995131519778902083636344003*c_1001_3\ ^2 - 2746906528388671363342072813/3995131519778902083636344003*c_10\ 01_3 + 3926587761312341661763082915/3995131519778902083636344003, c_1001_3^20 - 2*c_1001_3^19 - 2*c_1001_3^18 + 6*c_1001_3^17 + 7*c_1001_3^16 - 22*c_1001_3^15 + 38*c_1001_3^14 + 24*c_1001_3^13 + 42*c_1001_3^12 - 226*c_1001_3^11 + 207*c_1001_3^10 + 530*c_1001_3^9 - 42*c_1001_3^8 - 1312*c_1001_3^7 + 678*c_1001_3^6 + 784*c_1001_3^5 - 300*c_1001_3^4 - 106*c_1001_3^3 + 43*c_1001_3^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 6.740 Total time: 6.950 seconds, Total memory usage: 64.12MB