Magma V2.19-8 Wed Aug 21 2013 00:25:23 on localhost [Seed = 4020894954] Type ? for help. Type -D to quit. Loading file "K14n14094__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n14094 geometric_solution 11.32235846 oriented_manifold CS_known 0.0000000000000011 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 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 0 -1 0 0 1 -1 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.521807869519 0.502622895300 0 4 5 4 0132 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.403825875776 0.381139517836 0 0 7 6 3012 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 0 -1 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.993547944615 1.044308161323 8 9 10 0 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 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.630796937710 0.894161798749 11 1 8 1 0132 0132 3120 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.608637408344 0.546904110596 11 8 12 1 1230 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 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.144416762845 1.263835640562 8 9 2 7 3120 0213 0132 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 -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.311437058072 0.696605521653 9 10 6 2 3120 3120 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 1 0 -1 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.418043182561 1.017347245728 3 5 4 6 0132 0132 3120 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.452902827241 1.249124170557 12 3 6 7 1230 0132 0213 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.823888597834 1.147979826294 12 7 11 3 0132 3120 1230 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.269056684223 0.792805843130 4 5 12 10 0132 3012 3120 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 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.207623472770 0.475855041503 10 9 11 5 0132 3012 3120 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.723902701041 0.525105383195 ==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' : d['c_0101_12'], 'c_1001_12' : d['c_0011_3'], 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : negation(d['c_1001_1']), 'c_1001_7' : negation(d['c_0101_12']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_7']), 'c_1001_2' : negation(d['c_0011_10']), 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_1'], 'c_1010_12' : negation(d['c_0011_6']), 'c_1010_11' : negation(d['c_0101_10']), 'c_1010_10' : negation(d['c_0011_7']), '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'], 'c_0101_12' : d['c_0101_12'], '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' : negation(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_0']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : negation(d['c_0101_11']), 'c_1100_4' : negation(d['c_0101_0']), 'c_1100_7' : d['c_0101_7'], 'c_1100_6' : d['c_0101_7'], 'c_1100_1' : negation(d['c_0101_11']), 'c_1100_0' : d['c_0101_4'], 'c_1100_3' : d['c_0101_4'], 'c_1100_2' : d['c_0101_7'], 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0101_7']), 'c_1100_11' : negation(d['c_0101_12']), 'c_1100_10' : d['c_0101_4'], 's_0_11' : negation(d['1']), 'c_1010_7' : negation(d['c_0011_10']), 'c_1010_6' : negation(d['c_0101_7']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_1']), 'c_1010_0' : negation(d['c_0011_10']), 'c_1010_9' : negation(d['c_0011_7']), 'c_1010_8' : negation(d['c_0011_6']), 'c_1100_8' : negation(d['c_0101_4']), 's_3_1' : d['1'], 's_3_0' : 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' : negation(d['c_0101_11']), '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' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], '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' : d['c_0101_4'], 'c_0110_10' : d['c_0101_12'], 'c_0110_12' : d['c_0101_10'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0101_10'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_12'], 'c_0101_2' : negation(d['c_0011_10']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_6'], 'c_0101_8' : d['c_0101_0'], 's_1_12' : d['1'], 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_10']), 'c_0110_8' : d['c_0101_12'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0011_0']), 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : negation(d['c_0011_10']), 'c_0110_6' : d['c_0101_12'], 's_2_9' : d['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_3, c_0011_6, c_0011_7, c_0101_0, c_0101_10, c_0101_11, c_0101_12, c_0101_4, c_0101_7, c_1001_0, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 2597842820338378012113601450239673421402398775360/97557937907338908\ 6264297736073882020891*c_1001_1^25 - 1516672689386509641983149047646261831569079890880/97557937907338908\ 6264297736073882020891*c_1001_1^24 - 631180148669244619567971180123718474737837657648/975579379073389086\ 264297736073882020891*c_1001_1^23 - 18580418129292569713247725725042632475313666448/8198146042633521733\ 313426353562033789*c_1001_1^22 - 3030958742509426774326271395728009\ 502861345790068/975579379073389086264297736073882020891*c_1001_1^21 - 58841515107444998154131364476778430398178798780/52170020271304229\ 21199453134084930593*c_1001_1^20 + 74167684223744038928530576718496177969608359451831/9755793790733890\ 86264297736073882020891*c_1001_1^19 - 6639395080630760674483822593574908361635172622697/97557937907338908\ 6264297736073882020891*c_1001_1^18 - 1614503274667863967892988509340143404956634294838/18407158095724322\ 382345240303280792847*c_1001_1^17 + 71711697539336388629856889212603690533815812361379/9755793790733890\ 86264297736073882020891*c_1001_1^16 + 257480138329338716006853014946008289945250903324406/975579379073389\ 086264297736073882020891*c_1001_1^15 - 58822946436615418850427166133276107046801869683014/1393684827247698\ 69466328248010554574413*c_1001_1^14 + 8699490103751624756624828465816010395930684492091/97557937907338908\ 6264297736073882020891*c_1001_1^13 + 690422150353186222103983884480540697248542497486594/975579379073389\ 086264297736073882020891*c_1001_1^12 - 13244495021520976739790754073206687288006380336874/8868903446121718\ 9660390703279443820081*c_1001_1^11 - 1338277642936265288768396996138735036602855987290960/97557937907338\ 9086264297736073882020891*c_1001_1^10 + 971543134674186458006796068686705586719090360211386/975579379073389\ 086264297736073882020891*c_1001_1^9 + 39905602672121976779264989697904741507982040796339/5738702229843465\ 2133193984474934236523*c_1001_1^8 - 756149095095852131998327575438756706127986041547632/975579379073389\ 086264297736073882020891*c_1001_1^7 - 65204208260762675733907610012609415824881299992073/1393684827247698\ 69466328248010554574413*c_1001_1^6 + 25087561190225543706706871855107251770571651046837/2379461900178997\ 7713763359416436146851*c_1001_1^5 - 13315553905049047799938425628179929064010619563229/1840715809572432\ 2382345240303280792847*c_1001_1^4 + 264835936126633428479493873439597915947660991611735/975579379073389\ 086264297736073882020891*c_1001_1^3 - 58644298940182286767827390750494820770941864683053/9755793790733890\ 86264297736073882020891*c_1001_1^2 + 315463742923625881039729864633070338873692442428/424164947423212646\ 20186858090168783517*c_1001_1 - 55736223941400513318468781036156866\ 929677382978/139368482724769869466328248010554574413, c_0011_0 - 1, c_0011_10 + 315158569756869782154135115504/888859959538817017759003*c_1\ 001_1^25 - 206430793291074435687393382704/888859959538817017759003*\ c_1001_1^24 - 71545209851816033751142172944/88885995953881701775900\ 3*c_1001_1^23 - 260889876419174295999144371380/88885995953881701775\ 9003*c_1001_1^22 - 345948423884471479323989734307/88885995953881701\ 7759003*c_1001_1^21 - 1300899415612854101754893440836/8888599595388\ 17017759003*c_1001_1^20 + 9104843594348807432843189697224/888859959\ 538817017759003*c_1001_1^19 - 1407592613966293977289416800136/88885\ 9959538817017759003*c_1001_1^18 - 10540580313703433473803479027151/\ 888859959538817017759003*c_1001_1^17 + 9383388148975006743143631990470/888859959538817017759003*c_1001_1^1\ 6 + 30864479565856353067371326137268/888859959538817017759003*c_100\ 1_1^15 - 52312384277647310725856289227739/888859959538817017759003*\ c_1001_1^14 + 3763112689783025345357885461360/888859959538817017759\ 003*c_1001_1^13 + 84667401669729897661592462855719/8888599595388170\ 17759003*c_1001_1^12 - 23316772048804329624080562789182/88885995953\ 8817017759003*c_1001_1^11 - 163131859718082866743529348135898/88885\ 9959538817017759003*c_1001_1^10 + 129160200108362989472183400606380\ /888859959538817017759003*c_1001_1^9 + 77984825326223397112612422710757/888859959538817017759003*c_1001_1^\ 8 - 99183409251341559753692350004058/888859959538817017759003*c_100\ 1_1^7 - 51521637253092008849058531900019/888859959538817017759003*c\ _1001_1^6 + 130140369363591732183125095712357/888859959538817017759\ 003*c_1001_1^5 - 92574211329005572772094852475246/88885995953881701\ 7759003*c_1001_1^4 + 35697480296567660951461179608811/8888599595388\ 17017759003*c_1001_1^3 - 8099450323599278608968165790789/8888599595\ 38817017759003*c_1001_1^2 + 1025747101948830197904474377942/8888599\ 59538817017759003*c_1001_1 - 56451554993018919055289595778/88885995\ 9538817017759003, c_0011_3 + 1078314439932094290854853026736/888859959538817017759003*c_1\ 001_1^25 - 645047193089543805320298176784/888859959538817017759003*\ c_1001_1^24 - 261822754725602443718336952592/8888599595388170177590\ 03*c_1001_1^23 - 913669937732252396430220885412/8888599595388170177\ 59003*c_1001_1^22 - 1242468330575966614396479972663/888859959538817\ 017759003*c_1001_1^21 - 4540278867987543511535949962434/88885995953\ 8817017759003*c_1001_1^20 + 30866470373482275156219084096454/888859\ 959538817017759003*c_1001_1^19 - 3152713407866234789004267476906/88\ 8859959538817017759003*c_1001_1^18 - 35707067109311702610983023570830/888859959538817017759003*c_1001_1^\ 17 + 30174133455332383678814798094866/888859959538817017759003*c_10\ 01_1^16 + 106685574173849955359110776381381/88885995953881701775900\ 3*c_1001_1^15 - 172563975053774096669965895940406/88885995953881701\ 7759003*c_1001_1^14 + 5124525574570310963799700135024/8888599595388\ 17017759003*c_1001_1^13 + 287422116126146880063708292072733/8888599\ 59538817017759003*c_1001_1^12 - 64126534537128386419545666501589/88\ 8859959538817017759003*c_1001_1^11 - 556735038199305469449101115203056/888859959538817017759003*c_1001_1\ ^10 + 410595408630313470513189537672662/888859959538817017759003*c_\ 1001_1^9 + 280023864080243683863302712138269/8888599595388170177590\ 03*c_1001_1^8 - 318909804884386372184641107815897/88885995953881701\ 7759003*c_1001_1^7 - 187843027020600720628466247405113/888859959538\ 817017759003*c_1001_1^6 + 430670648091601365133217935585265/8888599\ 59538817017759003*c_1001_1^5 - 296938860912597850089585579497363/88\ 8859959538817017759003*c_1001_1^4 + 111787427985358617889410513162143/888859959538817017759003*c_1001_1\ ^3 - 24814836615966315890979021166929/888859959538817017759003*c_10\ 01_1^2 + 3076410570625180060836162034380/888859959538817017759003*c\ _1001_1 - 165710494881125616296600576263/888859959538817017759003, c_0011_6 - 1982072635123427810132257497968/888859959538817017759003*c_1\ 001_1^25 + 1162837823999009943954556572640/888859959538817017759003\ *c_1001_1^24 + 484013609355212958195864714880/888859959538817017759\ 003*c_1001_1^23 + 1686253680572757168555577172036/88885995953881701\ 7759003*c_1001_1^22 + 2306402501929076817957504589751/8888599595388\ 17017759003*c_1001_1^21 + 8382699132920583344358786302421/888859959\ 538817017759003*c_1001_1^20 - 56622380629909400527961225793746/8888\ 59959538817017759003*c_1001_1^19 + 5195877079704150775685931448550/888859959538817017759003*c_1001_1^1\ 8 + 65414690494721956221543969021830/888859959538817017759003*c_100\ 1_1^17 - 54813222468612199987752963022610/888859959538817017759003*\ c_1001_1^16 - 196430128763627984904558992512513/8888599595388170177\ 59003*c_1001_1^15 + 314777724417867718751349764078594/8888599595388\ 17017759003*c_1001_1^14 - 6919103617334016344055778783592/888859959\ 538817017759003*c_1001_1^13 - 527235279027144056055849791579387/888\ 859959538817017759003*c_1001_1^12 + 112304529711347455587341508515349/888859959538817017759003*c_1001_1\ ^11 + 1022048002864671242350638731752887/888859959538817017759003*c\ _1001_1^10 - 743562524186660710845901968777522/88885995953881701775\ 9003*c_1001_1^9 - 518087677967530730796323840324272/888859959538817\ 017759003*c_1001_1^8 + 578672770075214696689407415080510/8888599595\ 38817017759003*c_1001_1^7 + 348440329564275633961567815340536/88885\ 9959538817017759003*c_1001_1^6 - 786149612062592645088457606774713/\ 888859959538817017759003*c_1001_1^5 + 539304338534853174888075828115290/888859959538817017759003*c_1001_1\ ^4 - 202287423903257079596421147925106/888859959538817017759003*c_1\ 001_1^3 + 44762110327115111852886362983654/888859959538817017759003\ *c_1001_1^2 - 5533026316706049685878465837048/888859959538817017759\ 003*c_1001_1 + 297185319441827770403341694211/888859959538817017759\ 003, c_0011_7 + 906507787059069214302182641664/888859959538817017759003*c_10\ 01_1^25 - 473408510215911273872145931632/888859959538817017759003*c\ _1001_1^24 - 230499335596780891506308227392/88885995953881701775900\ 3*c_1001_1^23 - 789126995930720266731615823920/88885995953881701775\ 9003*c_1001_1^22 - 1112182100655296765365746358156/8888599595388170\ 17759003*c_1001_1^21 - 3926571066782361056414110736369/888859959538\ 817017759003*c_1001_1^20 + 25609170831004311821579992452603/8888599\ 59538817017759003*c_1001_1^19 - 831660432237305672989494773529/8888\ 59959538817017759003*c_1001_1^18 - 29407677231868410594064449706718/888859959538817017759003*c_1001_1^\ 17 + 23367291788412763993506600293311/888859959538817017759003*c_10\ 01_1^16 + 90726458373497173426714003238003/888859959538817017759003\ *c_1001_1^15 - 137799004765035861930908062727696/888859959538817017\ 759003*c_1001_1^14 - 3458180353811348643241741416924/88885995953881\ 7017759003*c_1001_1^13 + 238517542638249075965116938298874/88885995\ 9538817017759003*c_1001_1^12 - 36968626487107690900090032825644/888\ 859959538817017759003*c_1001_1^11 - 464573734210833065901322365706951/888859959538817017759003*c_1001_1\ ^10 + 311240979795152991149483350946417/888859959538817017759003*c_\ 1001_1^9 + 246496989227679787117689064675406/8888599595388170177590\ 03*c_1001_1^8 - 245404027705799075015982016553810/88885995953881701\ 7759003*c_1001_1^7 - 168133989364109849736209167372175/888859959538\ 817017759003*c_1001_1^6 + 345595089915257441231353235213668/8888599\ 59538817017759003*c_1001_1^5 - 229492040106021054873631998431472/88\ 8859959538817017759003*c_1001_1^4 + 83936032588515534944402933572949/888859959538817017759003*c_1001_1^\ 3 - 18147087641533188016049910231773/888859959538817017759003*c_100\ 1_1^2 + 2192170623317809816717964627329/888859959538817017759003*c_\ 1001_1 - 114972064940232041802761178447/888859959538817017759003, c_0101_0 - 154183231224410618596018283872/888859959538817017759003*c_10\ 01_1^25 + 103816503023033575379882398480/888859959538817017759003*c\ _1001_1^24 + 34099519993699823767988932160/888859959538817017759003\ *c_1001_1^23 + 126733937352419932407375212312/888859959538817017759\ 003*c_1001_1^22 + 166619160038674025394934049674/888859959538817017\ 759003*c_1001_1^21 + 632439991123764104511556695861/888859959538817\ 017759003*c_1001_1^20 - 4467361943420132797743086366149/88885995953\ 8817017759003*c_1001_1^19 + 765782949961414693892816070329/88885995\ 9538817017759003*c_1001_1^18 + 5169729461969075102585515630603/8888\ 59959538817017759003*c_1001_1^17 - 4679652651218578467487405835418/888859959538817017759003*c_1001_1^1\ 6 - 15044542184701596721070430488096/888859959538817017759003*c_100\ 1_1^15 + 25886804943009122743725951895749/888859959538817017759003*\ c_1001_1^14 - 2210964780032087671895347671767/888859959538817017759\ 003*c_1001_1^13 - 41506990744850118461980184377717/8888599595388170\ 17759003*c_1001_1^12 + 12134662930640181322970215146142/88885995953\ 8817017759003*c_1001_1^11 + 79839888127039806922197114292917/888859\ 959538817017759003*c_1001_1^10 - 64630748477702683223193386120517/8\ 88859959538817017759003*c_1001_1^9 - 37471696121729262010472508539554/888859959538817017759003*c_1001_1^\ 8 + 49431487425943793608629655738841/888859959538817017759003*c_100\ 1_1^7 + 24619675393950706132386838764114/888859959538817017759003*c\ _1001_1^6 - 64312293502881322183525249701702/8888599595388170177590\ 03*c_1001_1^5 + 46240003448629582023723124591830/888859959538817017\ 759003*c_1001_1^4 - 17985811478861642911572940117948/88885995953881\ 7017759003*c_1001_1^3 + 4115285216598185508554260020137/88885995953\ 8817017759003*c_1001_1^2 - 525776035888912406867076008338/888859959\ 538817017759003*c_1001_1 + 29217199304709140496699895624/8888599595\ 38817017759003, c_0101_10 + 2726474792025221950678738827344/888859959538817017759003*c_\ 1001_1^25 - 1586688560701856866322537483824/88885995953881701775900\ 3*c_1001_1^24 - 666183530350769320852121064096/88885995953881701775\ 9003*c_1001_1^23 - 2323146424599676146321934229340/8888599595388170\ 17759003*c_1001_1^22 - 3185601675956210274696886391113/888859959538\ 817017759003*c_1001_1^21 - 11553118792463311188104567894534/8888599\ 59538817017759003*c_1001_1^20 + 77821384064767913334611354394337/88\ 8859959538817017759003*c_1001_1^19 - 6816090352641413212040719487707/888859959538817017759003*c_1001_1^1\ 8 - 89830530195519260007191598321363/888859959538817017759003*c_100\ 1_1^17 + 75053223001975647060254177576608/888859959538817017759003*\ c_1001_1^16 + 270362518828189826387525369076526/8888599595388170177\ 59003*c_1001_1^15 - 431628000924879280208831047277863/8888599595388\ 17017759003*c_1001_1^14 + 8233735653017753372638615836135/888859959\ 538817017759003*c_1001_1^13 + 724553475267392502130899497349904/888\ 859959538817017759003*c_1001_1^12 - 151426467769171976756373080020590/888859959538817017759003*c_1001_1\ ^11 - 1404909105127388876769918306850763/888859959538817017759003*c\ _1001_1^10 + 1016680075165172081490743083559578/8888599595388170177\ 59003*c_1001_1^9 + 714049551872550791472398400531335/88885995953881\ 7017759003*c_1001_1^8 - 791763830681140968409863637586246/888859959\ 538817017759003*c_1001_1^7 - 480706441743119732585323823957109/8888\ 59959538817017759003*c_1001_1^6 + 107828126112836896982802532998075\ 2/888859959538817017759003*c_1001_1^5 - 738470250539127692530428273454240/888859959538817017759003*c_1001_1\ ^4 + 276695380134763410663953426503156/888859959538817017759003*c_1\ 001_1^3 - 61178649968143587727394559663057/888859959538817017759003\ *c_1001_1^2 + 7557808118808904464779423702772/888859959538817017759\ 003*c_1001_1 - 405776056834852724694309562241/888859959538817017759\ 003, c_0101_11 - 50366728201377043216135885392/888859959538817017759003*c_10\ 01_1^25 + 34099519993699823767988932160/888859959538817017759003*c_\ 1001_1^24 + 11096513934111968460361499408/888859959538817017759003*\ c_1001_1^23 + 41345284668840397785669194028/88885995953881701775900\ 3*c_1001_1^22 + 54252874032224284776488131341/888859959538817017759\ 003*c_1001_1^21 + 206317253069814078448717863721/888859959538817017\ 759003*c_1001_1^20 - 1460237450841013612087197903073/88885995953881\ 7017759003*c_1001_1^19 + 255138966690986634837432832183/88885995953\ 8817017759003*c_1001_1^18 + 1690042088739885213260599517044/8888599\ 59538817017759003*c_1001_1^17 - 1534236548662616266594328363812/888\ 859959538817017759003*c_1001_1^16 - 4911295494066898320828700307683/888859959538817017759003*c_1001_1^1\ 5 + 8475860434209873329541169629111/888859959538817017759003*c_1001\ _1^14 - 744798989896561170657850579057/888859959538817017759003*c_1\ 001_1^13 - 13565754424078763664253582546772/88885995953881701775900\ 3*c_1001_1^12 + 4010647720484359563942872056119/8888599595388170177\ 59003*c_1001_1^11 + 26086810193959914493238871652671/88885995953881\ 7017759003*c_1001_1^10 - 21205365227553941748592579591058/888859959\ 538817017759003*c_1001_1^9 - 12203259256014351175128653238991/88885\ 9959538817017759003*c_1001_1^8 + 16207052840268801755241591150348/8\ 88859959538817017759003*c_1001_1^7 + 8009278393318783601669576577008/888859959538817017759003*c_1001_1^6 - 21051340528874127329776605175556/888859959538817017759003*c_1001_\ 1^5 + 15163583234386640086570990914532/888859959538817017759003*c_1\ 001_1^4 - 5906624812988504700186928431543/888859959538817017759003*\ c_1001_1^3 + 1353332094658592007271896826352/8888599595388170177590\ 03*c_1001_1^2 - 173149180537289335227591860961/88885995953881701775\ 9003*c_1001_1 + 9636451951525663662251142742/8888599595388170177590\ 03, c_0101_12 + 622877599053987484970880940176/888859959538817017759003*c_1\ 001_1^25 - 386849562921955919892084067888/888859959538817017759003*\ c_1001_1^24 - 148392899441303182217862668240/8888599595388170177590\ 03*c_1001_1^23 - 523257675241639782563513051676/8888599595388170177\ 59003*c_1001_1^22 - 703845213826577499183895571165/8888599595388170\ 17759003*c_1001_1^21 - 2600695147468071738139076200566/888859959538\ 817017759003*c_1001_1^20 + 17898514417760408425664748529544/8888599\ 59538817017759003*c_1001_1^19 - 2201316135546340985125662939011/888\ 859959538817017759003*c_1001_1^18 - 20735205997723245426071964196239/888859959538817017759003*c_1001_1^\ 17 + 17855987352761776806259244063980/888859959538817017759003*c_10\ 01_1^16 + 61395725780805590020936156785686/888859959538817017759003\ *c_1001_1^15 - 101179016218653225229134650447187/888859959538817017\ 759003*c_1001_1^14 + 4641904579292686549646584169991/88885995953881\ 7017759003*c_1001_1^13 + 166620389332858684879128489781296/88885995\ 9538817017759003*c_1001_1^12 - 40596273566776507745836017959928/888\ 859959538817017759003*c_1001_1^11 - 322155715485004556936176607704191/888859959538817017759003*c_1001_1\ ^10 + 244289041416087775631419815746937/888859959538817017759003*c_\ 1001_1^9 + 159152932457738315007506962330251/8888599595388170177590\ 03*c_1001_1^8 - 188914666678177037676168575376841/88885995953881701\ 7759003*c_1001_1^7 - 106165954710798427545372520723892/888859959538\ 817017759003*c_1001_1^6 + 252160005343974216590034807716435/8888599\ 59538817017759003*c_1001_1^5 - 175860514602735830358294718012804/88\ 8859959538817017759003*c_1001_1^4 + 66787461268203325335254229379963/888859959538817017759003*c_1001_1^\ 3 - 14944828342911809163394431760100/888859959538817017759003*c_100\ 1_1^2 + 1867491040620780375872247519637/888859959538817017759003*c_\ 1001_1 - 101420487140977113495049888001/888859959538817017759003, c_0101_4 - 417108460673969204731062444592/888859959538817017759003*c_10\ 01_1^25 + 279192437657235805583191113952/888859959538817017759003*c\ _1001_1^24 + 92719989088921606919520899072/888859959538817017759003\ *c_1001_1^23 + 343360626981369111942718485620/888859959538817017759\ 003*c_1001_1^22 + 452304654281414474087985724083/888859959538817017\ 759003*c_1001_1^21 + 1713333865251408376748209923393/88885995953881\ 7017759003*c_1001_1^20 - 12077664220819155424300694778706/888859959\ 538817017759003*c_1001_1^19 + 2026672129276692022157156690812/88885\ 9959538817017759003*c_1001_1^18 + 13976512506623191133949163321525/\ 888859959538817017759003*c_1001_1^17 - 12608602729781050499138787013049/888859959538817017759003*c_1001_1^\ 16 - 40730870582353895123031959192583/888859959538817017759003*c_10\ 01_1^15 + 69857766358938942976841266297097/888859959538817017759003\ *c_1001_1^14 - 5770270096016752896456381772210/88885995953881701775\ 9003*c_1001_1^13 - 112233963414872988308682323614515/88885995953881\ 7017759003*c_1001_1^12 + 32404632080324799678775565195372/888859959\ 538817017759003*c_1001_1^11 + 215957994065436493398262822158727/888\ 859959538817017759003*c_1001_1^10 - 174005460899938099965143123520361/888859959538817017759003*c_1001_1\ ^9 - 101746121648037361206494156694838/888859959538817017759003*c_1\ 001_1^8 + 133194457790921598851178432721202/88885995953881701775900\ 3*c_1001_1^7 + 66928824025636089660579088041585/8888599595388170177\ 59003*c_1001_1^6 - 173604064859017265965569272718450/88885995953881\ 7017759003*c_1001_1^5 + 124547826007515965818359130526158/888859959\ 538817017759003*c_1001_1^4 - 48360537346581356584737587923187/88885\ 9959538817017759003*c_1001_1^3 + 11046743703377271197723054504660/8\ 88859959538817017759003*c_1001_1^2 - 1408919467282807553074627765582/888859959538817017759003*c_1001_1 + 78148697558453879901370657024/888859959538817017759003, c_0101_7 - 1760209746922642542294859622160/888859959538817017759003*c_1\ 001_1^25 + 1076946564469142948749858562528/888859959538817017759003\ *c_1001_1^24 + 421055905290979246898005201936/888859959538817017759\ 003*c_1001_1^23 + 1483035089474525010326162907916/88885995953881701\ 7759003*c_1001_1^22 + 2004870494560281442171460675441/8888599595388\ 17017759003*c_1001_1^21 + 7376062851717799907268074917115/888859959\ 538817017759003*c_1001_1^20 - 50497870653406956098056081749583/8888\ 59959538817017759003*c_1001_1^19 + 5796576957854047584943724169882/888859959538817017759003*c_1001_1^1\ 8 + 58437087967094636278590539014254/888859959538817017759003*c_100\ 1_1^17 - 50010797996040484691140673138773/888859959538817017759003*\ c_1001_1^16 - 173741220922842733742823837710276/8888599595388170177\ 59003*c_1001_1^15 + 284207728540298087806252433732157/8888599595388\ 17017759003*c_1001_1^14 - 11365249649709954918315340276645/88885995\ 9538817017759003*c_1001_1^13 - 470119087189825195120509381349262/88\ 8859959538817017759003*c_1001_1^12 + 110786949206856842226613791341761/888859959538817017759003*c_1001_1\ ^11 + 909447946387717871555485417169336/888859959538817017759003*c_\ 1001_1^10 - 682511930668238574655013240782061/888859959538817017759\ 003*c_1001_1^9 - 452139209538463685122108784076402/8888599595388170\ 17759003*c_1001_1^8 + 528664679979624033363577240222597/88885995953\ 8817017759003*c_1001_1^7 + 302257681110641125808783307049608/888859\ 959538817017759003*c_1001_1^6 - 708799709825668049005994676987785/8\ 88859959538817017759003*c_1001_1^5 + 492360976839490789146666791938438/888859959538817017759003*c_1001_1\ ^4 - 186417929923433336290840476222460/888859959538817017759003*c_1\ 001_1^3 + 41595597865410628280744633994956/888859959538817017759003\ *c_1001_1^2 - 5182563375639553030143296523366/888859959538817017759\ 003*c_1001_1 + 280553947582443406172840511440/888859959538817017759\ 003, c_1001_0 + 221594791086540561588970594656/888859959538817017759003*c_10\ 01_1^25 - 136798590845169684529017445312/888859959538817017759003*c\ _1001_1^24 - 53276330043801384549375954144/888859959538817017759003\ *c_1001_1^23 - 186261311107114902538472711992/888859959538817017759\ 003*c_1001_1^22 - 250990101924279128690021371222/888859959538817017\ 759003*c_1001_1^21 - 926150551204506478608456110938/888859959538817\ 017759003*c_1001_1^20 + 6363971904603950264801457611102/88885995953\ 8817017759003*c_1001_1^19 - 759809941768603045956897416441/88885995\ 9538817017759003*c_1001_1^18 - 7379653308477787904628254884047/8888\ 59959538817017759003*c_1001_1^17 + 6326853080241114252301831369547/888859959538817017759003*c_1001_1^1\ 6 + 21868678583079631554852863271955/888859959538817017759003*c_100\ 1_1^15 - 35913128939975493563305335649461/888859959538817017759003*\ c_1001_1^14 + 1519694785484209789495898014175/888859959538817017759\ 003*c_1001_1^13 + 59290003070372193915001657484275/8888599595388170\ 17759003*c_1001_1^12 - 14219420411107650998707414532101/88885995953\ 8817017759003*c_1001_1^11 - 114666279630233456117729622882844/88885\ 9959538817017759003*c_1001_1^10 + 86494775591951348647818698218502/\ 888859959538817017759003*c_1001_1^9 + 56959612462613945056333062111498/888859959538817017759003*c_1001_1^\ 8 - 67015023629242545991530808193927/888859959538817017759003*c_100\ 1_1^7 - 38044862543287841812511278919605/888859959538817017759003*c\ _1001_1^6 + 89580160286965868067362962581786/8888599595388170177590\ 03*c_1001_1^5 - 62213645429379873879826089442061/888859959538817017\ 759003*c_1001_1^4 + 23519633994676993463135235218750/88885995953881\ 7017759003*c_1001_1^3 - 5233781158393730560350503460172/88885995953\ 8817017759003*c_1001_1^2 + 649454323137233138414122846353/888859959\ 538817017759003*c_1001_1 - 34953079736365885633820859948/8888599595\ 38817017759003, c_1001_1^26 - c_1001_1^25 - 3/4*c_1001_1^23 - 13/16*c_1001_1^22 - 15/4*c_1001_1^21 + 485/16*c_1001_1^20 - 231/16*c_1001_1^19 - 255/8*c_1001_1^18 + 661/16*c_1001_1^17 + 701/8*c_1001_1^16 - 799/4*c_1001_1^15 + 1109/16*c_1001_1^14 + 2115/8*c_1001_1^13 - 2667/16*c_1001_1^12 - 7869/16*c_1001_1^11 + 4707/8*c_1001_1^10 + 211/2*c_1001_1^9 - 1599/4*c_1001_1^8 - 873/16*c_1001_1^7 + 7505/16*c_1001_1^6 - 6983/16*c_1001_1^5 + 215*c_1001_1^4 - 65*c_1001_1^3 + 195/16*c_1001_1^2 - 21/16*c_1001_1 + 1/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 23.540 Total time: 23.750 seconds, Total memory usage: 187.72MB