Magma V2.19-8 Wed Aug 21 2013 00:14:04 on localhost [Seed = 4088766285] Type ? for help. Type -D to quit. Loading file "K13n3514__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n3514 geometric_solution 11.97957324 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -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 0 4 0 -4 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.619283796029 0.740576526262 0 2 6 5 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.458647469375 0.533402534954 6 0 4 1 2031 0132 0132 0321 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 1 -1 0 0 -1 -4 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.240656269165 1.452689410811 7 8 6 0 0132 0132 0213 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 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.520770978028 0.671224986019 5 9 0 2 3012 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 5 0 -5 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.062724201375 0.923511498803 7 8 1 4 2103 0213 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.085224696416 1.246376691727 8 3 2 1 3012 0213 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 -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.380716203971 0.740576526262 3 10 5 11 0132 0132 2103 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 -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.272944427879 0.698418796888 11 3 5 6 0132 0132 0213 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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.159609805775 0.808027603338 11 4 12 12 3201 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 -1 1 1 -1 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 1 0 4 -5 -4 4 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.284121935738 1.067117195954 11 7 12 12 1023 0132 3120 2310 0 0 0 0 0 0 -1 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 0 5 -5 4 0 -4 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.284121935738 1.067117195954 8 10 7 9 0132 1023 0132 2310 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -4 0 4 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.143368764366 1.719898373384 10 9 10 9 3201 0321 3120 0132 0 0 0 0 0 0 0 0 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 0 -1 1 0 0 4 -4 5 0 0 -5 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.767010878380 0.875070407730 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_11' : d['c_0101_10'], 'c_1001_10' : d['c_0101_10'], 'c_1001_12' : negation(d['c_0101_10']), 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0011_5'], 'c_1001_6' : d['c_0011_0'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_2'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_1001_2'], 'c_1010_11' : d['c_0011_12'], 'c_1010_10' : d['c_0011_5'], '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_0011_6'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(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' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0101_10']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_2'], 'c_1100_4' : d['c_1001_1'], 'c_1100_7' : negation(d['c_0011_4']), 'c_1100_6' : d['c_0101_2'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : d['c_1001_1'], 'c_1100_3' : d['c_1001_1'], 'c_1100_2' : d['c_1001_1'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_4']), 'c_1100_10' : d['c_0011_12'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_10'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_1001_2'], '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_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_0011_0'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : negation(d['1']), 'c_1100_12' : negation(d['c_0101_10']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(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_4']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_10']), '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' : d['c_0011_5'], 'c_0110_10' : d['c_0011_12'], 'c_0110_12' : negation(d['c_0011_5']), 'c_0101_12' : negation(d['c_0011_12']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0011_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_5']), 'c_0101_8' : d['c_0011_5'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_12']), 'c_0110_8' : d['c_0011_6'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_0'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_2'], 'c_0110_7' : d['c_0011_6'], 'c_1100_8' : 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_12, c_0011_4, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_1001_0, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 1367391584060380765446454/9353205156598836679*c_1001_2^15 - 58952179231786887062038342/495719873299738343987*c_1001_2^14 + 10660335847345543048094125/495719873299738343987*c_1001_2^13 + 50219548286773825367870456/495719873299738343987*c_1001_2^12 - 17917857685759899872074065/495719873299738343987*c_1001_2^11 - 43325466496148095955247765/495719873299738343987*c_1001_2^10 + 16309615932515334748393686/495719873299738343987*c_1001_2^9 + 74367884045980301859631332/495719873299738343987*c_1001_2^8 - 2040414146346186801829134/495719873299738343987*c_1001_2^7 - 82634127802053115366972978/495719873299738343987*c_1001_2^6 + 51975832507941384274608337/495719873299738343987*c_1001_2^5 + 9648678297253004509191041/495719873299738343987*c_1001_2^4 - 44081165213441968804210550/495719873299738343987*c_1001_2^3 + 13630433950922835355788632/495719873299738343987*c_1001_2^2 + 13035158742405788985703609/495719873299738343987*c_1001_2 - 3078016349642046480778281/495719873299738343987, c_0011_0 - 1, c_0011_10 + c_1001_2, c_0011_12 + 27437490570952176059/9353205156598836679*c_1001_2^15 - 51737382927493919036/9353205156598836679*c_1001_2^14 + 51807246551024393988/9353205156598836679*c_1001_2^13 - 19363296155619169216/9353205156598836679*c_1001_2^12 + 17244487734534562210/9353205156598836679*c_1001_2^11 - 13840493098657616852/9353205156598836679*c_1001_2^10 + 27083340520259315837/9353205156598836679*c_1001_2^9 + 14970975610628866661/9353205156598836679*c_1001_2^8 - 17559100022340960516/9353205156598836679*c_1001_2^7 - 20546057368531380915/9353205156598836679*c_1001_2^6 + 34133828974477230875/9353205156598836679*c_1001_2^5 - 21811855757656497952/9353205156598836679*c_1001_2^4 + 15677992086321839068/9353205156598836679*c_1001_2^3 - 217705191415840538/9353205156598836679*c_1001_2^2 - 3999325554672054070/9353205156598836679*c_1001_2 - 24419376364998165/9353205156598836679, c_0011_4 - 47496957382782505419/9353205156598836679*c_1001_2^15 + 70656052034617464104/9353205156598836679*c_1001_2^14 - 40806160553637616005/9353205156598836679*c_1001_2^13 + 5780796038159858051/9353205156598836679*c_1001_2^12 + 19255490781022349148/9353205156598836679*c_1001_2^11 + 23676993612346081553/9353205156598836679*c_1001_2^10 - 12736698091408296648/9353205156598836679*c_1001_2^9 - 40731590931552409831/9353205156598836679*c_1001_2^8 + 28615582200860061070/9353205156598836679*c_1001_2^7 + 43019024762703527130/9353205156598836679*c_1001_2^6 - 46508278461649930012/9353205156598836679*c_1001_2^5 + 32418127507999448185/9353205156598836679*c_1001_2^4 + 18079274489192409751/9353205156598836679*c_1001_2^3 - 16043448032027549991/9353205156598836679*c_1001_2^2 - 5325824499100964122/9353205156598836679*c_1001_2 - 2186806322882560369/9353205156598836679, c_0011_5 + 62803274819250344937/9353205156598836679*c_1001_2^15 - 77673787149696245558/9353205156598836679*c_1001_2^14 + 77008975205641762620/9353205156598836679*c_1001_2^13 - 1495013240040943835/9353205156598836679*c_1001_2^12 + 4125122667824257303/9353205156598836679*c_1001_2^11 - 10545203202626851483/9353205156598836679*c_1001_2^10 + 29960320101521265692/9353205156598836679*c_1001_2^9 + 47640860593218111800/9353205156598836679*c_1001_2^8 - 18208765112887676528/9353205156598836679*c_1001_2^7 - 26672754674144571195/9353205156598836679*c_1001_2^6 + 66087279960156270165/9353205156598836679*c_1001_2^5 - 41146667421645580621/9353205156598836679*c_1001_2^4 + 943812480692140711/9353205156598836679*c_1001_2^3 + 12194394903328302324/9353205156598836679*c_1001_2^2 - 6970919823968939440/9353205156598836679*c_1001_2 + 1628869930424874659/9353205156598836679, c_0011_6 + 12297300042360652670/9353205156598836679*c_1001_2^15 + 24385146302576917881/9353205156598836679*c_1001_2^14 - 45676908412181663390/9353205156598836679*c_1001_2^13 + 36155789138236958534/9353205156598836679*c_1001_2^12 + 6534019563483626373/9353205156598836679*c_1001_2^11 - 23740070507013984194/9353205156598836679*c_1001_2^10 - 20391653787634817913/9353205156598836679*c_1001_2^9 + 25245168518586644226/9353205156598836679*c_1001_2^8 + 25304448940492831119/9353205156598836679*c_1001_2^7 - 35886987944144905001/9353205156598836679*c_1001_2^6 - 25069443192811076065/9353205156598836679*c_1001_2^5 + 40622606094192848708/9353205156598836679*c_1001_2^4 - 18989121408504575222/9353205156598836679*c_1001_2^3 - 14576898186731341559/9353205156598836679*c_1001_2^2 + 10643932219219113474/9353205156598836679*c_1001_2 - 1481944514436977224/9353205156598836679, c_0101_0 - 12297300042360652670/9353205156598836679*c_1001_2^15 - 24385146302576917881/9353205156598836679*c_1001_2^14 + 45676908412181663390/9353205156598836679*c_1001_2^13 - 36155789138236958534/9353205156598836679*c_1001_2^12 - 6534019563483626373/9353205156598836679*c_1001_2^11 + 23740070507013984194/9353205156598836679*c_1001_2^10 + 20391653787634817913/9353205156598836679*c_1001_2^9 - 25245168518586644226/9353205156598836679*c_1001_2^8 - 25304448940492831119/9353205156598836679*c_1001_2^7 + 35886987944144905001/9353205156598836679*c_1001_2^6 + 25069443192811076065/9353205156598836679*c_1001_2^5 - 40622606094192848708/9353205156598836679*c_1001_2^4 + 18989121408504575222/9353205156598836679*c_1001_2^3 + 14576898186731341559/9353205156598836679*c_1001_2^2 - 10643932219219113474/9353205156598836679*c_1001_2 + 1481944514436977224/9353205156598836679, c_0101_1 - 50467228226799699352/9353205156598836679*c_1001_2^15 - 93999862486051301725/9353205156598836679*c_1001_2^14 + 96841290955745550522/9353205156598836679*c_1001_2^13 - 105218061370918699529/9353205156598836679*c_1001_2^12 - 34497466277705279925/9353205156598836679*c_1001_2^11 + 20598753239032883100/9353205156598836679*c_1001_2^10 + 47300910758790305306/9353205156598836679*c_1001_2^9 - 71957415516263220536/9353205156598836679*c_1001_2^8 - 122208274088084270589/9353205156598836679*c_1001_2^7 + 45558268994029215035/9353205156598836679*c_1001_2^6 + 66723938759441180221/9353205156598836679*c_1001_2^5 - 90669062638401330627/9353205156598836679*c_1001_2^4 + 46258705243337850553/9353205156598836679*c_1001_2^3 + 22252030564064561040/9353205156598836679*c_1001_2^2 - 16343764159280320144/9353205156598836679*c_1001_2 - 3355426257704619729/9353205156598836679, c_0101_10 - 681277447187636394/9353205156598836679*c_1001_2^15 + 23184053809598951736/9353205156598836679*c_1001_2^14 - 50513670766714503869/9353205156598836679*c_1001_2^13 + 30371783999876585294/9353205156598836679*c_1001_2^12 - 3267087814002033525/9353205156598836679*c_1001_2^11 - 13991248606022865850/9353205156598836679*c_1001_2^10 - 13590871135180981423/9353205156598836679*c_1001_2^9 + 16650230097782307608/9353205156598836679*c_1001_2^8 + 18924696398727691766/9353205156598836679*c_1001_2^7 - 23665560126433900843/9353205156598836679*c_1001_2^6 - 26129393907354099662/9353205156598836679*c_1001_2^5 + 49524568610430603416/9353205156598836679*c_1001_2^4 - 18112073066212125338/9353205156598836679*c_1001_2^3 - 4355719362162607759/9353205156598836679*c_1001_2^2 + 8565991990351827100/9353205156598836679*c_1001_2 - 562438939603203949/9353205156598836679, c_0101_2 - 50467228226799699352/9353205156598836679*c_1001_2^15 - 93999862486051301725/9353205156598836679*c_1001_2^14 + 96841290955745550522/9353205156598836679*c_1001_2^13 - 105218061370918699529/9353205156598836679*c_1001_2^12 - 34497466277705279925/9353205156598836679*c_1001_2^11 + 20598753239032883100/9353205156598836679*c_1001_2^10 + 47300910758790305306/9353205156598836679*c_1001_2^9 - 71957415516263220536/9353205156598836679*c_1001_2^8 - 122208274088084270589/9353205156598836679*c_1001_2^7 + 45558268994029215035/9353205156598836679*c_1001_2^6 + 66723938759441180221/9353205156598836679*c_1001_2^5 - 90669062638401330627/9353205156598836679*c_1001_2^4 + 46258705243337850553/9353205156598836679*c_1001_2^3 + 22252030564064561040/9353205156598836679*c_1001_2^2 - 25696969315879156823/9353205156598836679*c_1001_2 - 3355426257704619729/9353205156598836679, c_1001_0 - 12297300042360652670/9353205156598836679*c_1001_2^15 - 24385146302576917881/9353205156598836679*c_1001_2^14 + 45676908412181663390/9353205156598836679*c_1001_2^13 - 36155789138236958534/9353205156598836679*c_1001_2^12 - 6534019563483626373/9353205156598836679*c_1001_2^11 + 23740070507013984194/9353205156598836679*c_1001_2^10 + 20391653787634817913/9353205156598836679*c_1001_2^9 - 25245168518586644226/9353205156598836679*c_1001_2^8 - 25304448940492831119/9353205156598836679*c_1001_2^7 + 35886987944144905001/9353205156598836679*c_1001_2^6 + 25069443192811076065/9353205156598836679*c_1001_2^5 - 40622606094192848708/9353205156598836679*c_1001_2^4 + 18989121408504575222/9353205156598836679*c_1001_2^3 + 14576898186731341559/9353205156598836679*c_1001_2^2 - 10643932219219113474/9353205156598836679*c_1001_2 - 7871260642161859455/9353205156598836679, c_1001_1 + 58254275274158263407/9353205156598836679*c_1001_2^15 + 15520003056718663113/9353205156598836679*c_1001_2^14 - 43405724692638325410/9353205156598836679*c_1001_2^13 + 78881458721047113089/9353205156598836679*c_1001_2^12 - 16384204502837339/9353205156598836679*c_1001_2^11 - 35665657949977689826/9353205156598836679*c_1001_2^10 - 13162562465137367064/9353205156598836679*c_1001_2^9 + 70175796249735336812/9353205156598836679*c_1001_2^8 + 52260753296037463263/9353205156598836679*c_1001_2^7 - 60147149037017138811/9353205156598836679*c_1001_2^6 - 1666464069357447630/9353205156598836679*c_1001_2^5 + 51267405446923008312/9353205156598836679*c_1001_2^4 - 49407779315582554515/9353205156598836679*c_1001_2^3 - 4206721636252126529/9353205156598836679*c_1001_2^2 + 19901670770586538859/9353205156598836679*c_1001_2 - 23735305569759435/9353205156598836679, c_1001_2^16 - 23/53*c_1001_2^15 + 1/53*c_1001_2^14 + 34/53*c_1001_2^13 + 1/53*c_1001_2^12 - 30/53*c_1001_2^11 - 1/53*c_1001_2^10 + c_1001_2^9 + 20/53*c_1001_2^8 - 51/53*c_1001_2^7 + 17/53*c_1001_2^6 + 11/53*c_1001_2^5 - 25/53*c_1001_2^4 + 8/53*c_1001_2^2 + 2/53*c_1001_2 + 1/53 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_4, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_1001_0, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 4463627321108284100410646759423111704891349/15994661610546529707576\ 6459667260523568439296*c_1001_2^20 + 19493180325400705370826993023164298289027885/1599466161054652970757\ 66459667260523568439296*c_1001_2^19 - 153080901008852421069865550842363396763145/644946032683327810789380\ 885755082756324352*c_1001_2^18 - 3309766194514229571554628474394212\ 8039263281/159946616105465297075766459667260523568439296*c_1001_2^1\ 7 + 189638968962243780292788382368826593423102793/15994661610546529\ 7075766459667260523568439296*c_1001_2^16 + 514856771624311856177075603682662472644439841/159946616105465297075\ 766459667260523568439296*c_1001_2^15 - 68155637028696543995714833879455115820574193/3998665402636632426894\ 1614916815130892109824*c_1001_2^14 - 177929473477599997251616884330139213752965507/799733080527326485378\ 83229833630261784219648*c_1001_2^13 - 94497539108843182467324372437517913343473969/7997330805273264853788\ 3229833630261784219648*c_1001_2^12 + 2439694578233384189046776841825763096779908299/79973308052732648537\ 883229833630261784219648*c_1001_2^11 + 370952651320836542558867539868725851104877343/999666350659158106723\ 5403729203782723027456*c_1001_2^10 - 3591967510563631709945048308158252632101585055/15994661610546529707\ 5766459667260523568439296*c_1001_2^9 + 5226215835088446434675711975194099112966569871/15994661610546529707\ 5766459667260523568439296*c_1001_2^8 + 12087623360554100695194038494494263204337114969/1599466161054652970\ 75766459667260523568439296*c_1001_2^7 - 766114737880196862446673776545846900282363789/399866540263663242689\ 41614916815130892109824*c_1001_2^6 - 2544394327315857064630709195945559140009196123/79973308052732648537\ 883229833630261784219648*c_1001_2^5 + 7924221872725488317606478797803663867403124471/15994661610546529707\ 5766459667260523568439296*c_1001_2^4 + 423652470923462914979217376398899755367358669/399866540263663242689\ 41614916815130892109824*c_1001_2^3 - 1988097703084897707846226010105692797300160293/15994661610546529707\ 5766459667260523568439296*c_1001_2^2 + 38039693399347620467723610990313101512323015/2499165876647895266808\ 850932300945680756864*c_1001_2 + 2379164204170671945774273906995956\ 476696911259/159946616105465297075766459667260523568439296, c_0011_0 - 1, c_0011_10 + c_1001_2, c_0011_12 + 191065088879212265363682601/15352442715980178300357235606*c\ _1001_2^20 - 276775947860306110067118159/15352442715980178300357235\ 606*c_1001_2^19 - 245742296483547369018260031/153524427159801783003\ 57235606*c_1001_2^18 + 704528970570198941742604363/1535244271598017\ 8300357235606*c_1001_2^17 + 3967772140721336108184471385/1535244271\ 5980178300357235606*c_1001_2^16 - 1369181942587373497009677553/7676\ 221357990089150178617803*c_1001_2^15 + 308498496621233614062574731/7676221357990089150178617803*c_1001_2^1\ 4 - 6986343364400879309652918101/15352442715980178300357235606*c_10\ 01_2^13 + 14754217331392664857936602958/767622135799008915017861780\ 3*c_1001_2^12 + 20603885742081088384335381855/767622135799008915017\ 8617803*c_1001_2^11 - 34616916582448596313727733593/153524427159801\ 78300357235606*c_1001_2^10 + 24729742546485731769274298937/76762213\ 57990089150178617803*c_1001_2^9 + 39157680554485136795774402368/767\ 6221357990089150178617803*c_1001_2^8 - 38022836289318593328134019759/15352442715980178300357235606*c_1001_\ 2^7 - 936510704039162198504483574/7676221357990089150178617803*c_10\ 01_2^6 + 55245864580888577121305164461/1535244271598017830035723560\ 6*c_1001_2^5 - 15663692477351726517546810610/7676221357990089150178\ 617803*c_1001_2^4 + 142876802840598458721241593/1535244271598017830\ 0357235606*c_1001_2^3 + 24534381889579333201076719505/1535244271598\ 0178300357235606*c_1001_2^2 + 4454559373889875565172054173/76762213\ 57990089150178617803*c_1001_2 + 2783656243177487239444533012/767622\ 1357990089150178617803, c_0011_4 - 50404215727377382323223935/7676221357990089150178617803*c_10\ 01_2^20 + 81521648854647921485086640/7676221357990089150178617803*c\ _1001_2^19 + 107243517612742245125459575/15352442715980178300357235\ 606*c_1001_2^18 - 182209397003045915716927193/767622135799008915017\ 8617803*c_1001_2^17 - 1074339431870113817296535776/7676221357990089\ 150178617803*c_1001_2^16 + 911407943765767816000875595/767622135799\ 0089150178617803*c_1001_2^15 - 280891157920127062730300493/15352442\ 715980178300357235606*c_1001_2^14 + 2125111933169030655462395980/7676221357990089150178617803*c_1001_2^\ 13 - 18195394911317199335613696667/15352442715980178300357235606*c_\ 1001_2^12 - 9595729862854710524475009485/76762213579900891501786178\ 03*c_1001_2^11 + 21175021085476564676466885139/15352442715980178300\ 357235606*c_1001_2^10 - 10105961877162075574607117630/7676221357990\ 089150178617803*c_1001_2^9 - 19619891011872136225203521875/76762213\ 57990089150178617803*c_1001_2^8 + 30096295035839557191001804/767622\ 1357990089150178617803*c_1001_2^7 + 3644822903731180001887610725/7676221357990089150178617803*c_1001_2^\ 6 - 29608705691692906667777961891/15352442715980178300357235606*c_1\ 001_2^5 + 397523243484062157926153201/15352442715980178300357235606\ *c_1001_2^4 - 28664744806083829047806932659/15352442715980178300357\ 235606*c_1001_2^3 - 4641736787477889251158133109/153524427159801783\ 00357235606*c_1001_2^2 + 3762575625248397978081768602/7676221357990\ 089150178617803*c_1001_2 - 1362190212667961289784238314/76762213579\ 90089150178617803, c_0011_5 + 129370786286520202252848568/7676221357990089150178617803*c_1\ 001_2^20 - 474912949711135029940818711/1535244271598017830035723560\ 6*c_1001_2^19 - 105076920183172022950797320/76762213579900891501786\ 17803*c_1001_2^18 + 1011174276112879131554412877/153524427159801783\ 00357235606*c_1001_2^17 + 2639533559844455374579060925/767622135799\ 0089150178617803*c_1001_2^16 - 5883046907396386152939704753/1535244\ 2715980178300357235606*c_1001_2^15 + 649297337597515032219940404/7676221357990089150178617803*c_1001_2^1\ 4 - 5629926462082777558040036449/7676221357990089150178617803*c_100\ 1_2^13 + 23487095052641421639938720774/7676221357990089150178617803\ *c_1001_2^12 + 19711785858708827562766710848/7676221357990089150178\ 617803*c_1001_2^11 - 34111587823628017540965338994/7676221357990089\ 150178617803*c_1001_2^10 + 60385750345690092486987741617/1535244271\ 5980178300357235606*c_1001_2^9 + 37936367186089811673587452234/7676\ 221357990089150178617803*c_1001_2^8 - 28524033937278800535550275210/7676221357990089150178617803*c_1001_2\ ^7 - 42676666119825161603091188479/15352442715980178300357235606*c_\ 1001_2^6 + 62916814547461655568149483347/15352442715980178300357235\ 606*c_1001_2^5 - 17793586765580595262108229818/76762213579900891501\ 78617803*c_1001_2^4 + 721628477704114231935244355/76762213579900891\ 50178617803*c_1001_2^3 + 8074047097790168920072864903/1535244271598\ 0178300357235606*c_1001_2^2 + 9174117903459086194292373293/15352442\ 715980178300357235606*c_1001_2 - 1650747129299458625977755735/76762\ 21357990089150178617803, c_0011_6 + 78156721708467437939786518/7676221357990089150178617803*c_10\ 01_2^20 - 154208005669532584729245751/7676221357990089150178617803*\ c_1001_2^19 - 47966859650191904634227059/76762213579900891501786178\ 03*c_1001_2^18 + 319838382601346463625413518/7676221357990089150178\ 617803*c_1001_2^17 + 1572301844465349804086941550/76762213579900891\ 50178617803*c_1001_2^16 - 2029956812666611420486685086/767622135799\ 0089150178617803*c_1001_2^15 + 526276261199831665447266456/76762213\ 57990089150178617803*c_1001_2^14 - 3381251041600531995628425073/7676221357990089150178617803*c_1001_2^\ 13 + 14984617175314735795973854045/7676221357990089150178617803*c_1\ 001_2^12 + 9940616331455243868638078126/767622135799008915017861780\ 3*c_1001_2^11 - 22951942028517654456011507316/767622135799008915017\ 8617803*c_1001_2^10 + 19041424115257217435719889490/767622135799008\ 9150178617803*c_1001_2^9 + 23526411086732077526850855859/7676221357\ 990089150178617803*c_1001_2^8 - 18741643787573853557238996019/76762\ 21357990089150178617803*c_1001_2^7 - 13224424778595399153744346226/7676221357990089150178617803*c_1001_2\ ^6 + 19248762072881967229757171312/7676221357990089150178617803*c_1\ 001_2^5 - 12487974305298582678054540744/767622135799008915017861780\ 3*c_1001_2^4 + 44401740610245434780990356/7676221357990089150178617\ 803*c_1001_2^3 - 5363277679301819507102842241/767622135799008915017\ 8617803*c_1001_2^2 + 2728181187618216091350353043/76762213579900891\ 50178617803*c_1001_2 - 7208919749525597059470452772/767622135799008\ 9150178617803, c_0101_0 + 25764790452007388332700429/7676221357990089150178617803*c_10\ 01_2^20 - 51411858685695152798935727/7676221357990089150178617803*c\ _1001_2^19 - 24704645991919726905141521/767622135799008915017861780\ 3*c_1001_2^18 + 218081660051190384482850927/15352442715980178300357\ 235606*c_1001_2^17 + 549496822569814578840888696/767622135799008915\ 0178617803*c_1001_2^16 - 693657724514197355154718865/76762213579900\ 89150178617803*c_1001_2^15 - 70780095027175852911092605/76762213579\ 90089150178617803*c_1001_2^14 - 2499824149789973158388006889/153524\ 42715980178300357235606*c_1001_2^13 + 5210283278702537897876889071/7676221357990089150178617803*c_1001_2^\ 12 + 7689307445480858300779921299/15352442715980178300357235606*c_1\ 001_2^11 - 8536154490068619367684577643/767622135799008915017861780\ 3*c_1001_2^10 + 3809844330922857793201371591/1535244271598017830035\ 7235606*c_1001_2^9 + 6755312229330147653022809832/76762213579900891\ 50178617803*c_1001_2^8 - 4518121695117102441565341311/7676221357990\ 089150178617803*c_1001_2^7 - 4557460485058870476159057256/767622135\ 7990089150178617803*c_1001_2^6 + 5020769055345857207238170609/76762\ 21357990089150178617803*c_1001_2^5 - 6159980757735028907390853931/15352442715980178300357235606*c_1001_2\ ^4 - 937422937341091883649205557/15352442715980178300357235606*c_10\ 01_2^3 - 4853907506917315310962212067/15352442715980178300357235606\ *c_1001_2^2 + 667551536551512504583343175/1535244271598017830035723\ 5606*c_1001_2 - 13433916143827617369085267557/767622135799008915017\ 8617803, c_0101_1 + 427551740017395264114822849/15352442715980178300357235606*c_\ 1001_2^20 - 529979869173500792740946949/153524427159801783003572356\ 06*c_1001_2^19 - 688606541662720667747318489/1535244271598017830035\ 7235606*c_1001_2^18 + 1396875341118146028977609069/1535244271598017\ 8300357235606*c_1001_2^17 + 4731096254744952435168669843/7676221357\ 990089150178617803*c_1001_2^16 - 4272222130845187461558352995/15352\ 442715980178300357235606*c_1001_2^15 - 742177158041208272722602513/15352442715980178300357235606*c_1001_2^\ 14 - 8246504136728193384954308079/7676221357990089150178617803*c_10\ 01_2^13 + 33459952441752099842793679353/767622135799008915017861780\ 3*c_1001_2^12 + 53492524425195627452684446376/767622135799008915017\ 8617803*c_1001_2^11 - 29438549568053765843410483776/767622135799008\ 9150178617803*c_1001_2^10 + 75763259092395134184260519481/153524427\ 15980178300357235606*c_1001_2^9 + 98515570256874056437678079450/767\ 6221357990089150178617803*c_1001_2^8 + 15217917023076243910353560697/15352442715980178300357235606*c_1001_\ 2^7 - 25704404271738859943219017276/7676221357990089150178617803*c_\ 1001_2^6 + 102593268046148206646796711525/1535244271598017830035723\ 5606*c_1001_2^5 + 9809269410046995547595806362/76762213579900891501\ 78617803*c_1001_2^4 + 6588267680334198376398157621/7676221357990089\ 150178617803*c_1001_2^3 + 29001720067047326157843914281/15352442715\ 980178300357235606*c_1001_2^2 + 19679054145171765836055507025/15352\ 442715980178300357235606*c_1001_2 + 8188588126297461700902503348/7676221357990089150178617803, c_0101_10 + 118349984610031888242185208/7676221357990089150178617803*c_\ 1001_2^20 - 226331598744835161044136795/767622135799008915017861780\ 3*c_1001_2^19 - 100193481074324603772856805/76762213579900891501786\ 17803*c_1001_2^18 + 521420833792400715653769901/7676221357990089150\ 178617803*c_1001_2^17 + 2387991544965799136301668460/76762213579900\ 89150178617803*c_1001_2^16 - 2967348348081119081844031954/767622135\ 7990089150178617803*c_1001_2^15 + 352814942937818144632841452/76762\ 21357990089150178617803*c_1001_2^14 - 4401237963642019423219340178/7676221357990089150178617803*c_1001_2^\ 13 + 21946587533798646785383724173/7676221357990089150178617803*c_1\ 001_2^12 + 17582309994323284927901662471/76762213579900891501786178\ 03*c_1001_2^11 - 37660363796258575057510919162/76762213579900891501\ 78617803*c_1001_2^10 + 28869382917887953238047138567/76762213579900\ 89150178617803*c_1001_2^9 + 41902862255536125947357914391/767622135\ 7990089150178617803*c_1001_2^8 - 28861870272956816586326429431/7676\ 221357990089150178617803*c_1001_2^7 - 20206838803397318240151350102/7676221357990089150178617803*c_1001_2\ ^6 + 32887260791255885421882028224/7676221357990089150178617803*c_1\ 001_2^5 - 2715526366497396536412291256/7676221357990089150178617803\ *c_1001_2^4 - 1116806631011716009650167307/767622135799008915017861\ 7803*c_1001_2^3 + 4515636053657352803010479443/76762213579900891501\ 78617803*c_1001_2^2 + 4432320862803318744127446988/7676221357990089\ 150178617803*c_1001_2 + 1286406273103055926707296682/76762213579900\ 89150178617803, c_0101_2 + 478845876484770793047293445/15352442715980178300357235606*c_\ 1001_2^20 - 583629738997690892261465623/153524427159801783003572356\ 06*c_1001_2^19 - 376049729500933361116983421/7676221357990089150178\ 617803*c_1001_2^18 + 1483062056770856734600051411/15352442715980178\ 300357235606*c_1001_2^17 + 5295930026999112848659886563/76762213579\ 90089150178617803*c_1001_2^16 - 4439839426214924415728572933/153524\ 42715980178300357235606*c_1001_2^15 - 100238541301898313809914114/7676221357990089150178617803*c_1001_2^1\ 4 - 9695128009437652586256934516/7676221357990089150178617803*c_100\ 1_2^13 + 74174175900187626617773686227/1535244271598017830035723560\ 6*c_1001_2^12 + 59658318193679567093760584551/767622135799008915017\ 8617803*c_1001_2^11 - 56245745854028542396847231893/153524427159801\ 78300357235606*c_1001_2^10 + 88687309637494419307565539971/15352442\ 715980178300357235606*c_1001_2^9 + 105687465368547919877511564948/7676221357990089150178617803*c_1001_\ 2^8 + 15778927563127531936215132781/15352442715980178300357235606*c\ _1001_2^7 - 25520685655779224707251701227/7676221357990089150178617\ 803*c_1001_2^6 + 57030397818498378775361926915/76762213579900891501\ 78617803*c_1001_2^5 + 20865139242859171638833223429/153524427159801\ 78300357235606*c_1001_2^4 + 21689043111770761207001988227/153524427\ 15980178300357235606*c_1001_2^3 + 16485915405928571776573324163/767\ 6221357990089150178617803*c_1001_2^2 + 64321219451295873377857118071/15352442715980178300357235606*c_1001_\ 2 + 8858472678049653797552714502/7676221357990089150178617803, c_1001_0 + 1, c_1001_1 + 478845876484770793047293445/15352442715980178300357235606*c_\ 1001_2^20 - 583629738997690892261465623/153524427159801783003572356\ 06*c_1001_2^19 - 376049729500933361116983421/7676221357990089150178\ 617803*c_1001_2^18 + 1483062056770856734600051411/15352442715980178\ 300357235606*c_1001_2^17 + 5295930026999112848659886563/76762213579\ 90089150178617803*c_1001_2^16 - 4439839426214924415728572933/153524\ 42715980178300357235606*c_1001_2^15 - 100238541301898313809914114/7676221357990089150178617803*c_1001_2^1\ 4 - 9695128009437652586256934516/7676221357990089150178617803*c_100\ 1_2^13 + 74174175900187626617773686227/1535244271598017830035723560\ 6*c_1001_2^12 + 59658318193679567093760584551/767622135799008915017\ 8617803*c_1001_2^11 - 56245745854028542396847231893/153524427159801\ 78300357235606*c_1001_2^10 + 88687309637494419307565539971/15352442\ 715980178300357235606*c_1001_2^9 + 105687465368547919877511564948/7676221357990089150178617803*c_1001_\ 2^8 + 15778927563127531936215132781/15352442715980178300357235606*c\ _1001_2^7 - 25520685655779224707251701227/7676221357990089150178617\ 803*c_1001_2^6 + 57030397818498378775361926915/76762213579900891501\ 78617803*c_1001_2^5 + 20865139242859171638833223429/153524427159801\ 78300357235606*c_1001_2^4 + 21689043111770761207001988227/153524427\ 15980178300357235606*c_1001_2^3 + 16485915405928571776573324163/767\ 6221357990089150178617803*c_1001_2^2 + 48968776735315695077499882465/15352442715980178300357235606*c_1001_\ 2 + 8858472678049653797552714502/7676221357990089150178617803, c_1001_2^21 - c_1001_2^20 - 2*c_1001_2^19 + 3*c_1001_2^18 + 23*c_1001_2^17 - 5*c_1001_2^16 - 6*c_1001_2^15 - 38*c_1001_2^14 + 146*c_1001_2^13 + 290*c_1001_2^12 - 92*c_1001_2^11 + 125*c_1001_2^10 + 513*c_1001_2^9 + 103*c_1001_2^8 - 166*c_1001_2^7 + 202*c_1001_2^6 + 103*c_1001_2^5 + 6*c_1001_2^4 + 71*c_1001_2^3 + 90*c_1001_2^2 + 47*c_1001_2 + 26 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 3.360 Total time: 3.569 seconds, Total memory usage: 64.12MB