Magma V2.19-8 Wed Aug 21 2013 00:57:54 on localhost [Seed = 3398226025] Type ? for help. Type -D to quit. Loading file "L13n4595__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n4595 geometric_solution 12.38580049 oriented_manifold CS_known -0.0000000000000005 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 1 1 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 -1 0 1 0 0 -2 2 -1 0 0 1 5 -6 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.232531791250 0.718885503636 0 5 6 3 0132 0132 0132 0321 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 -5 5 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.496085510532 1.779474254342 6 0 8 7 0132 0132 0132 0132 0 0 1 1 0 0 0 0 0 0 1 -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 1 0 -1 0 0 -2 2 0 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.645379817393 0.831186779032 9 1 10 0 0132 0321 0132 0132 0 0 1 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 0 0 0 -2 0 0 2 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.681657771554 0.772574022579 8 7 0 9 0132 1023 0132 1023 0 0 0 1 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 -1 -1 2 2 0 -2 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.149971726784 0.755026793598 6 1 7 11 1023 0132 0213 0132 0 0 1 1 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 1 0 -1 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.706151274943 1.041646972646 2 5 8 1 0132 1023 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.146318322011 0.520847405789 4 5 2 12 1023 0213 0132 0132 0 0 0 1 0 0 0 0 -1 0 1 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 1 0 -2 1 0 0 0 0 -1 -5 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.166032530076 0.743502143777 4 6 10 2 0132 1230 2310 0132 0 0 1 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 0 0 0 -2 0 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.568778566250 0.820605562803 3 11 11 4 0132 1023 0213 1023 0 0 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 0 0 0 0 0 0 0 2 0 0 -2 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.785176620742 1.187233413841 12 8 11 3 0132 3201 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.556056375320 0.607654796792 9 9 5 10 1023 0213 0132 1302 0 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 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.612454720377 0.585991346647 10 12 7 12 0132 2310 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 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.543708017490 1.105054150751 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_11'], 'c_1001_10' : negation(d['c_0101_8']), 'c_1001_12' : d['c_0101_10'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_0101_6'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_0101_11'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_6'], 'c_1001_9' : d['c_0101_11'], 'c_1001_8' : negation(d['c_1001_3']), 'c_1010_12' : negation(d['c_0101_10']), 'c_1010_11' : d['c_1010_11'], 'c_1010_10' : d['c_1001_3'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : 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_1100_9' : d['c_1010_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : d['c_0101_10'], 'c_1100_4' : negation(d['c_1010_11']), 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : d['c_1001_3'], 'c_1100_1' : d['c_1001_3'], 'c_1100_0' : negation(d['c_1010_11']), 'c_1100_3' : negation(d['c_1010_11']), 'c_1100_2' : d['c_0011_10'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_10'], 'c_1100_10' : negation(d['c_1010_11']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_10'], 'c_1010_6' : d['c_0101_11'], 'c_1010_5' : d['c_0101_11'], 'c_1010_4' : d['c_0101_12'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : d['c_0101_6'], 'c_1010_9' : d['c_0101_8'], 'c_1010_8' : d['c_0101_6'], 'c_1100_8' : d['c_0011_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_10'], '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' : d['c_0011_11'], 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_4'], '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' : negation(d['c_0011_11']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_8'], 'c_0110_10' : d['c_0101_12'], 'c_0110_12' : d['c_0101_10'], 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_12'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_11'], 'c_0101_9' : d['c_0011_11'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0011_11'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_11'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0101_8'], 'c_0110_7' : d['c_0101_12'], '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_4, c_0101_1, c_0101_10, c_0101_11, c_0101_12, c_0101_6, c_0101_8, c_1001_0, c_1001_3, c_1010_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 5260427430002456381083877387361156147182889236953817976698982957828\ 876690994981/174269237226938620273892107741868546798792920528198032\ 75060730852844115510539264*c_1010_11^14 - 8267642748990391307049108947432804501441566539630622789192853151146\ 63501652578063/1742692372269386202738921077418685467987929205281980\ 3275060730852844115510539264*c_1010_11^13 - 1290899068484048542129815310038733231381131082297368102062264355223\ 96710814300663833/2788307795631017924382273723869896748780686728451\ 16852400971693645505848168628224*c_1010_11^12 - 2476218304859808561019221184175309589062356289905857160292853895447\ 468543927223550565/111532311825240716975290948954795869951227469138\ 0467409603886774582023392674512896*c_1010_11^11 - 2376706579199923038292831681984934122109817354485101189376064355912\ 21417201625624363/3485384744538772405477842154837370935975858410563\ 9606550121461705688231021078528*c_1010_11^10 - 1775196456052461454827266154054677785895814101116283816952379737392\ 412267570260172727/117402433500253386289779946268206178896028914882\ 154464168830186798107725544685568*c_1010_11^9 - 1141682012404910525232568293276634267043604121469687945175498875521\ 71736922219943343973/4461292473009628679011637958191834798049098765\ 521869638415547098328093570698051584*c_1010_11^8 - 1467823135217548437474253475014648529338685788211767376129770320388\ 743268752355942799/428970430097079680674195957518445653658567188992\ 48746523226414407000899718250496*c_1010_11^7 - 8197770557656415953903137744201462780694736409810285349795148332600\ 3048181989798415519/22306462365048143395058189790959173990245493827\ 60934819207773549164046785349025792*c_1010_11^6 - 7110426563466793707770041143254043023767327546305281810915567728035\ 2863084163918004635/22306462365048143395058189790959173990245493827\ 60934819207773549164046785349025792*c_1010_11^5 - 9881639159958322714266241859049940287688303179526682104768916968231\ 8423508939506543411/44612924730096286790116379581918347980490987655\ 21869638415547098328093570698051584*c_1010_11^4 - 6722743050658500267793056229365737717483528141087231696809954231127\ 104666066511772109/557661559126203584876454744773979349756137345690\ 233704801943387291011696337256448*c_1010_11^3 - 1103215362963876558419247360238497370522645096069069491266608854882\ 5092100430631343609/22306462365048143395058189790959173990245493827\ 60934819207773549164046785349025792*c_1010_11^2 - 3147043995920144182617810357348678923540739341803124616748678572512\ 307841477695794199/223064623650481433950581897909591739902454938276\ 0934819207773549164046785349025792*c_1010_11 - 1079547539767559719051399058592686877543280036775989733983048978469\ 352140121765808485/446129247300962867901163795819183479804909876552\ 1869638415547098328093570698051584, c_0011_0 - 1, c_0011_10 - 73640308192452891351457616118856889419401317072534016/25684\ 43931730309204099321150315617654872574825448482359*c_1010_11^14 + 11758900800746584798814066629636157422419347464358048896/2568443931\ 730309204099321150315617654872574825448482359*c_1010_11^13 + 83539663687337906902083242037576314298194649270161317152/2568443931\ 730309204099321150315617654872574825448482359*c_1010_11^12 + 307608337867709120021100122969193571654078422130911327456/256844393\ 1730309204099321150315617654872574825448482359*c_1010_11^11 + 724997797481793557016482205116163701275886275350208519134/256844393\ 1730309204099321150315617654872574825448482359*c_1010_11^10 + 1291103534358737321119317118957337667374749119021540424130/25684439\ 31730309204099321150315617654872574825448482359*c_1010_11^9 + 1759253910887645611800795617972000784372023781940455199295/25684439\ 31730309204099321150315617654872574825448482359*c_1010_11^8 + 3948996292031312038337715844440904237266473618947697863981/51368878\ 63460618408198642300631235309745149650896964718*c_1010_11^7 + 3533723179133266537587407431198801001653454900396670937085/51368878\ 63460618408198642300631235309745149650896964718*c_1010_11^6 + 2667242517142471597364800575315730531718261603295775347057/51368878\ 63460618408198642300631235309745149650896964718*c_1010_11^5 + 1570288607217312845844578272158932243978548447838592791825/51368878\ 63460618408198642300631235309745149650896964718*c_1010_11^4 + 787723113315376305284502675168073724996653057107902546557/513688786\ 3460618408198642300631235309745149650896964718*c_1010_11^3 + 271586504455688699622906970243502004092971515988364449901/513688786\ 3460618408198642300631235309745149650896964718*c_1010_11^2 + 40783748132221110284733662008254195995679391722177849167/2568443931\ 730309204099321150315617654872574825448482359*c_1010_11 + 4263552577645231264315195522119233626030964664401887540/25684439317\ 30309204099321150315617654872574825448482359, c_0011_11 - 1, c_0011_4 - 408178798375270092470295903284719374234485425082643712/28252\ 883249033401245092532653471794203598323079933305949*c_1010_11^14 + 65345022057788333706906772602243111342368882477075906048/2825288324\ 9033401245092532653471794203598323079933305949*c_1010_11^13 + 436508755143023756159094317285609503469776575374940464272/282528832\ 49033401245092532653471794203598323079933305949*c_1010_11^12 + 1497066416908169686936074373534385282644494298014091514916/28252883\ 249033401245092532653471794203598323079933305949*c_1010_11^11 + 3193674709072732802577877133775588105027664401892974521492/28252883\ 249033401245092532653471794203598323079933305949*c_1010_11^10 + 5041079115217142706257895951876385207084458133521105481870/28252883\ 249033401245092532653471794203598323079933305949*c_1010_11^9 + 5695193556554799536824881852149119434830118408330168711707/28252883\ 249033401245092532653471794203598323079933305949*c_1010_11^8 + 4893584589748694143667217545875260036090492675546253037771/28252883\ 249033401245092532653471794203598323079933305949*c_1010_11^7 + 2485130142074268074797641436413208057359343457357675024801/28252883\ 249033401245092532653471794203598323079933305949*c_1010_11^6 + 168662103677370232166025546156789308663196138682910725401/282528832\ 49033401245092532653471794203598323079933305949*c_1010_11^5 - 1474517120268576577827131515462416151541123896401256312497/28252883\ 249033401245092532653471794203598323079933305949*c_1010_11^4 - 1643975145005363651201426827020500541658527501468320770650/28252883\ 249033401245092532653471794203598323079933305949*c_1010_11^3 - 1217980566833385525480166282984399096403995146483373222533/28252883\ 249033401245092532653471794203598323079933305949*c_1010_11^2 - 555917397662666581312388342136890527286320856247143556791/282528832\ 49033401245092532653471794203598323079933305949*c_1010_11 - 181531277773473692181218102166958641002322295132301282455/282528832\ 49033401245092532653471794203598323079933305949, c_0101_1 - 689658028283052148544714756499845138301427117891815680/28252\ 883249033401245092532653471794203598323079933305949*c_1010_11^14 + 109960362868690887119813760458573993973967080907065633024/282528832\ 49033401245092532653471794203598323079933305949*c_1010_11^13 + 808617714009477426139829511640154339626147386488664862800/282528832\ 49033401245092532653471794203598323079933305949*c_1010_11^12 + 3067281122564211590355446840141408066927433474866456836676/28252883\ 249033401245092532653471794203598323079933305949*c_1010_11^11 + 7452415702641674037559767446984156117359386159733841751760/28252883\ 249033401245092532653471794203598323079933305949*c_1010_11^10 + 13561788395521942926437774939919818560740848053908662344972/2825288\ 3249033401245092532653471794203598323079933305949*c_1010_11^9 + 18885759706755197351846990223262530879396020825068440674061/2825288\ 3249033401245092532653471794203598323079933305949*c_1010_11^8 + 21485284520511823327194107884443320465878348305624205074401/2825288\ 3249033401245092532653471794203598323079933305949*c_1010_11^7 + 39098965174566845874835104682283925007871338477813901911849/5650576\ 6498066802490185065306943588407196646159866611898*c_1010_11^6 + 14880909910093093771768890660909796890969154010957069354293/2825288\ 3249033401245092532653471794203598323079933305949*c_1010_11^5 + 17833874807110167782357823257548184896155057977641610151581/5650576\ 6498066802490185065306943588407196646159866611898*c_1010_11^4 + 4509978895072248708058087604144862313520180211088813049602/28252883\ 249033401245092532653471794203598323079933305949*c_1010_11^3 + 3302178815402194673958460323795047155026743199273827954843/56505766\ 498066802490185065306943588407196646159866611898*c_1010_11^2 + 493553243478953613697234787843293668198636877192772829585/282528832\ 49033401245092532653471794203598323079933305949*c_1010_11 + 61839782675208058480911833717407477032573665192402867989/2825288324\ 9033401245092532653471794203598323079933305949, c_0101_10 - 65095741524766630039480728104433400232557307038248448/28252\ 883249033401245092532653471794203598323079933305949*c_1010_11^14 + 9649411438418655368173125266626041690014211016144993024/28252883249\ 033401245092532653471794203598323079933305949*c_1010_11^13 + 192722752068912778409708486027912301776211936370242494560/282528832\ 49033401245092532653471794203598323079933305949*c_1010_11^12 + 1132904521521089820161481123806514498404209537196201546088/28252883\ 249033401245092532653471794203598323079933305949*c_1010_11^11 + 3904600836354359522655571930271661885699572148955850405996/28252883\ 249033401245092532653471794203598323079933305949*c_1010_11^10 + 9102455877111062304821634618232615586292644686723323482408/28252883\ 249033401245092532653471794203598323079933305949*c_1010_11^9 + 16197331007440142950912842362271152321651130665181444899688/2825288\ 3249033401245092532653471794203598323079933305949*c_1010_11^8 + 22301687978917540666342295062418501178476124539225686864941/2825288\ 3249033401245092532653471794203598323079933305949*c_1010_11^7 + 25261354258199506186126506586922255409961059060675452508101/2825288\ 3249033401245092532653471794203598323079933305949*c_1010_11^6 + 22845907752019722100868836210573548333382730512005337007225/2825288\ 3249033401245092532653471794203598323079933305949*c_1010_11^5 + 17412788089500391639385410224955408460198569234127478257804/2825288\ 3249033401245092532653471794203598323079933305949*c_1010_11^4 + 10261131109375453956671119624258938052862766938711366119968/2825288\ 3249033401245092532653471794203598323079933305949*c_1010_11^3 + 5147073756414358129649558749133820797986246564142260437778/28252883\ 249033401245092532653471794203598323079933305949*c_1010_11^2 + 1679501927369774815948447363550028306944277673560872360225/28252883\ 249033401245092532653471794203598323079933305949*c_1010_11 + 480512627217177373806204565110460146826305064198850230800/282528832\ 49033401245092532653471794203598323079933305949, c_0101_11 + 456789592684935268200163282547420365179130610403331712/2825\ 2883249033401245092532653471794203598323079933305949*c_1010_11^14 - 72787331911103147889853678060986970778581184045145573248/2825288324\ 9033401245092532653471794203598323079933305949*c_1010_11^13 - 542669804578144154653490549590959317296048417160785760392/282528832\ 49033401245092532653471794203598323079933305949*c_1010_11^12 - 2073014956166871806373504092672030252209336461641894703738/28252883\ 249033401245092532653471794203598323079933305949*c_1010_11^11 - 5052525582145713755725720573464961263442551169686563743296/28252883\ 249033401245092532653471794203598323079933305949*c_1010_11^10 - 9176553857815976308487620104013031074689881016331511992209/28252883\ 249033401245092532653471794203598323079933305949*c_1010_11^9 - 25530818499041689363481644373886481673812298772816955718481/5650576\ 6498066802490185065306943588407196646159866611898*c_1010_11^8 - 14501045480622307094111404903054062174109401859773108182244/2825288\ 3249033401245092532653471794203598323079933305949*c_1010_11^7 - 13176288655371783188512743692018600613986575373465305898721/2825288\ 3249033401245092532653471794203598323079933305949*c_1010_11^6 - 19991951779509951914291958599649313833419745788753107328885/5650576\ 6498066802490185065306943588407196646159866611898*c_1010_11^5 - 5859127717572839434070899783131154725287272565988220573654/28252883\ 249033401245092532653471794203598323079933305949*c_1010_11^4 - 5778177811016890923506540062657126154786255284529889858143/56505766\ 498066802490185065306943588407196646159866611898*c_1010_11^3 - 1765866004124527779532392388069533738732876842063914444221/56505766\ 498066802490185065306943588407196646159866611898*c_1010_11^2 - 461935823551735556490332005270287277629852604273027939211/565057664\ 98066802490185065306943588407196646159866611898*c_1010_11 + 35189490544289062339662462277545424681783769789064938325/2825288324\ 9033401245092532653471794203598323079933305949, c_0101_12 + 948923192266371955643802606656758496474542269700206336/2825\ 2883249033401245092532653471794203598323079933305949*c_1010_11^14 - 150933668564229961590216881848992016485915955223556348416/282528832\ 49033401245092532653471794203598323079933305949*c_1010_11^13 - 1170814990142617724388972504538959152121445543818670173616/28252883\ 249033401245092532653471794203598323079933305949*c_1010_11^12 - 4630240689555625006779758186935327848686056316210061051820/28252883\ 249033401245092532653471794203598323079933305949*c_1010_11^11 - 11775125021462035477292854517385352478120663121572844948172/2825288\ 3249033401245092532653471794203598323079933305949*c_1010_11^10 - 22293635755481477317143692791548385381718604384241532683534/2825288\ 3249033401245092532653471794203598323079933305949*c_1010_11^9 - 32587694857672212853789434395478770570970009970923481488921/2825288\ 3249033401245092532653471794203598323079933305949*c_1010_11^8 - 38730924840046062515291926726774030868174375680398644898411/2825288\ 3249033401245092532653471794203598323079933305949*c_1010_11^7 - 37489146140875213829189115762636195600180873463625500620484/2825288\ 3249033401245092532653471794203598323079933305949*c_1010_11^6 - 30171500525160614006865557599204158082369733534137302953109/2825288\ 3249033401245092532653471794203598323079933305949*c_1010_11^5 - 19886164717185325985807917124225974847353429737928259562647/2825288\ 3249033401245092532653471794203598323079933305949*c_1010_11^4 - 10770651056811734842323517936756428216370867295933705877155/2825288\ 3249033401245092532653471794203598323079933305949*c_1010_11^3 - 4670312260031378756348270232069252621283278833299636754148/28252883\ 249033401245092532653471794203598323079933305949*c_1010_11^2 - 1472058543670871101896029878966557625799336978681000607015/28252883\ 249033401245092532653471794203598323079933305949*c_1010_11 - 360647214195999385885800044344667315048984438145119508936/282528832\ 49033401245092532653471794203598323079933305949, c_0101_6 + 318426702394627051738216659600625389493816401172575488/28252\ 883249033401245092532653471794203598323079933305949*c_1010_11^14 - 50378775819271483785645300204796532253013407332027911040/2825288324\ 9033401245092532653471794203598323079933305949*c_1010_11^13 - 435994989313005049883630795174822931774928102928201919632/282528832\ 49033401245092532653471794203598323079933305949*c_1010_11^12 - 1847126556223927222390752562266775851836109241047509754092/28252883\ 249033401245092532653471794203598323079933305949*c_1010_11^11 - 4989488496327981339884267607385476147493839032167336609590/28252883\ 249033401245092532653471794203598323079933305949*c_1010_11^10 - 9822780597012113433264204918917237798548728240403348603956/28252883\ 249033401245092532653471794203598323079933305949*c_1010_11^9 - 14958040880470528955492920023633759602464193733247445058402/2825288\ 3249033401245092532653471794203598323079933305949*c_1010_11^8 - 36481464732538434503219161844846827217276189607531796722301/5650576\ 6498066802490185065306943588407196646159866611898*c_1010_11^7 - 36453949848042762092442733182083686086264166327449055397531/5650576\ 6498066802490185065306943588407196646159866611898*c_1010_11^6 - 29769658516398526795939207442922118131468663616552873404311/5650576\ 6498066802490185065306943588407196646159866611898*c_1010_11^5 - 20069143845642055415969293073040230569025108178796565381855/5650576\ 6498066802490185065306943588407196646159866611898*c_1010_11^4 - 10773144448128916796061507161372703709266448889066656115401/5650576\ 6498066802490185065306943588407196646159866611898*c_1010_11^3 - 4696638196944374661416979327314715221741791247097374642555/56505766\ 498066802490185065306943588407196646159866611898*c_1010_11^2 - 684676892516312676223883550475294851863269323902158522809/282528832\ 49033401245092532653471794203598323079933305949*c_1010_11 - 161047936990121427626938363357494701533076420309221779973/282528832\ 49033401245092532653471794203598323079933305949, c_0101_8 + 426435697310691356695284800179549345041063148477008512/28252\ 883249033401245092532653471794203598323079933305949*c_1010_11^14 - 68080674687641342204809429710571667684150175894480209536/2825288324\ 9033401245092532653471794203598323079933305949*c_1010_11^13 - 485917406757367157975972556982732348156020790430195715528/282528832\ 49033401245092532653471794203598323079933305949*c_1010_11^12 - 1774538515457472692603811046331816680668502676847968232442/28252883\ 249033401245092532653471794203598323079933305949*c_1010_11^11 - 4081554079408567376703701738155797826013692616648818169148/28252883\ 249033401245092532653471794203598323079933305949*c_1010_11^10 - 6933421643620472132016668452463635717209400054345456282739/28252883\ 249033401245092532653471794203598323079933305949*c_1010_11^9 - 17509731606436507336619055637000391316325110871937728462929/5650576\ 6498066802490185065306943588407196646159866611898*c_1010_11^8 - 8759926178590851890208223533129282616425878154368719267372/28252883\ 249033401245092532653471794203598323079933305949*c_1010_11^7 - 12924139704563117300374559522676693040588779522753728103185/5650576\ 6498066802490185065306943588407196646159866611898*c_1010_11^6 - 3502673507721270182114312340628303567269948054019038536078/28252883\ 249033401245092532653471794203598323079933305949*c_1010_11^5 - 1502679507543802326605098752371090903632431288592108274761/56505766\ 498066802490185065306943588407196646159866611898*c_1010_11^4 + 409268938558251268190509750993818716812729580483295606190/282528832\ 49033401245092532653471794203598323079933305949*c_1010_11^3 + 737809931356079716423765572016248162748221489276365865632/282528832\ 49033401245092532653471794203598323079933305949*c_1010_11^2 + 350045139940149833266481674940179614639765060780853110004/282528832\ 49033401245092532653471794203598323079933305949*c_1010_11 + 171781440058497767709810017439420384625548478151365323672/282528832\ 49033401245092532653471794203598323079933305949, c_1001_0 + 18256898935421264224988896894829970806577723394364800/282528\ 83249033401245092532653471794203598323079933305949*c_1010_11^14 - 2735652629853008497902657108328556341781293417404303488/28252883249\ 033401245092532653471794203598323079933305949*c_1010_11^13 - 49408651614343401816878239697122844686244215055255251256/2825288324\ 9033401245092532653471794203598323079933305949*c_1010_11^12 - 277472098549303005667736672797431398024008378833876717526/282528832\ 49033401245092532653471794203598323079933305949*c_1010_11^11 - 887879370335834574125824604380209720986028214755843647656/282528832\ 49033401245092532653471794203598323079933305949*c_1010_11^10 - 1892342528403329425758772500587250510124941920824350800869/28252883\ 249033401245092532653471794203598323079933305949*c_1010_11^9 - 6119344493326908262969291932702152446664874055277391039515/56505766\ 498066802490185065306943588407196646159866611898*c_1010_11^8 - 3866341588842157746541005987254022580335385478822466229601/28252883\ 249033401245092532653471794203598323079933305949*c_1010_11^7 - 7953879420414581150779276649850276925870092608038378053583/56505766\ 498066802490185065306943588407196646159866611898*c_1010_11^6 - 3334011404043899949948286794471514258606751915336127810677/28252883\ 249033401245092532653471794203598323079933305949*c_1010_11^5 - 4451713748080955482259361783295923206714679081394620899755/56505766\ 498066802490185065306943588407196646159866611898*c_1010_11^4 - 1234706206447112383010917076026681824845797920985025164460/28252883\ 249033401245092532653471794203598323079933305949*c_1010_11^3 - 480170635477305809056400710968150933655773657207007356901/282528832\ 49033401245092532653471794203598323079933305949*c_1010_11^2 - 177619374473483346800814134543239118442957472386357140838/282528832\ 49033401245092532653471794203598323079933305949*c_1010_11 - 9749837714975924471408084727538256376773816980935958783/28252883249\ 033401245092532653471794203598323079933305949, c_1001_3 + 138362890290308216461946622946794975685314209230756224/28252\ 883249033401245092532653471794203598323079933305949*c_1010_11^14 - 22408556091831664104208377856190438525567776713117662208/2825288324\ 9033401245092532653471794203598323079933305949*c_1010_11^13 - 106674815265139104769859754416136385521120314232583840760/282528832\ 49033401245092532653471794203598323079933305949*c_1010_11^12 - 225888399942944583982751530405254400373227220594384949646/282528832\ 49033401245092532653471794203598323079933305949*c_1010_11^11 - 63037085817732415841452966079485115948712137519227133706/2825288324\ 9033401245092532653471794203598323079933305949*c_1010_11^10 + 646226739196137124776584814904206723858847224071836611747/282528832\ 49033401245092532653471794203598323079933305949*c_1010_11^9 + 4385263261899368547504195673381037531116088693677934398323/56505766\ 498066802490185065306943588407196646159866611898*c_1010_11^8 + 7479373771293820314996352038738702869057385887985580357813/56505766\ 498066802490185065306943588407196646159866611898*c_1010_11^7 + 10101372537299195715417245798046484858291015580518443600089/5650576\ 6498066802490185065306943588407196646159866611898*c_1010_11^6 + 4888853368444287440823624421636402149024458913899883037713/28252883\ 249033401245092532653471794203598323079933305949*c_1010_11^5 + 8350888410496376547827493506777921118450563046820124234547/56505766\ 498066802490185065306943588407196646159866611898*c_1010_11^4 + 2497483318556012936277483549357788777240096802268383128629/28252883\ 249033401245092532653471794203598323079933305949*c_1010_11^3 + 1465386096409923440942293469622590741504457202516730099167/28252883\ 249033401245092532653471794203598323079933305949*c_1010_11^2 + 963923727978956598447620160987246014503882689691155718305/565057664\ 98066802490185065306943588407196646159866611898*c_1010_11 + 196237427534410489966600825635040126214860190098286718298/282528832\ 49033401245092532653471794203598323079933305949, c_1010_11^15 - 159*c_1010_11^14 - 19877/16*c_1010_11^13 - 324241/64*c_1010_11^12 - 215769/16*c_1010_11^11 - 3465649/128*c_1010_11^10 - 10826185/256*c_1010_11^9 - 3474927/64*c_1010_11^8 - 7298531/128*c_1010_11^7 - 6480139/128*c_1010_11^6 - 9445999/256*c_1010_11^5 - 1463145/64*c_1010_11^4 - 1429461/128*c_1010_11^3 - 587551/128*c_1010_11^2 - 318617/256*c_1010_11 - 17761/64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.290 Total time: 0.490 seconds, Total memory usage: 32.09MB