Magma V2.19-8 Wed Aug 21 2013 00:27:07 on localhost [Seed = 1932878047] Type ? for help. Type -D to quit. Loading file "K14n14939__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n14939 geometric_solution 11.29287167 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.868441847982 0.633311123274 0 4 6 5 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 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.036236226798 0.725545852919 7 0 6 0 0132 0132 3120 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0.739449759584 0.419025713427 8 8 9 0 0132 2103 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 -1 1 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.557455274862 0.343252466987 10 1 11 11 0132 0132 0132 3120 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 2 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.005856950334 1.066967500764 8 9 1 7 2103 3120 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.629443683184 0.771025367257 8 7 2 1 3201 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.208282550577 0.515309633117 2 10 6 5 0132 0132 2310 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.244747109013 0.972680495659 3 3 5 6 0132 2103 2103 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.617847547231 1.993560681883 12 5 12 3 0132 3120 3120 0132 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 -1 0 1 0 0 1 -1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.128340682370 0.880446867654 4 7 12 11 0132 0132 3012 2031 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 -1 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.095463244745 1.020097771499 4 10 12 4 3120 1302 0132 0132 0 0 0 0 0 1 0 -1 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 -2 0 2 1 0 -1 0 0 0 0 0 -2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.005144652821 0.937207428818 9 10 9 11 0132 1230 3120 0132 0 0 0 0 0 -1 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 1 -1 0 0 0 -1 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.128340682370 0.880446867654 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_10'], 'c_1001_10' : negation(d['c_0011_12']), 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_1001_12'], 'c_1001_4' : d['c_1001_12'], 'c_1001_7' : d['c_0011_11'], 'c_1001_6' : negation(d['c_0101_7']), 'c_1001_1' : negation(d['c_0011_11']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_0101_7'], 'c_1001_9' : negation(d['c_1001_12']), 'c_1001_8' : d['c_0011_3'], 'c_1010_12' : d['c_0101_10'], 'c_1010_11' : d['c_1001_12'], 'c_1010_10' : d['c_0011_11'], '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_0011_11' : d['c_0011_11'], 'c_0011_10' : negation(d['c_0011_0']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_2']), 'c_1100_4' : negation(d['c_0101_11']), 'c_1100_7' : d['c_0011_6'], 'c_1100_6' : negation(d['c_0101_2']), 'c_1100_1' : negation(d['c_0101_2']), 'c_1100_0' : negation(d['c_0101_12']), 'c_1100_3' : negation(d['c_0101_12']), 'c_1100_2' : d['c_0101_12'], 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0101_12']), 'c_1100_11' : negation(d['c_0101_11']), 'c_1100_10' : negation(d['c_1001_12']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_12']), 'c_1010_6' : negation(d['c_0011_11']), 'c_1010_5' : d['c_0011_12'], 'c_1010_4' : negation(d['c_0011_11']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_1001_12'], 'c_1010_0' : d['c_0101_7'], 'c_1010_9' : negation(d['c_0011_3']), 'c_1010_8' : negation(d['c_0101_1']), 'c_1100_8' : d['c_0011_6'], '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' : negation(d['c_0101_11']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_12']), '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_0'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_10'], 'c_0110_10' : d['c_0101_10'], 'c_0110_12' : d['c_0101_11'], 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0101_12']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_10'], 'c_0101_3' : d['c_0101_12'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_11'], 'c_0101_8' : d['c_0101_0'], '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_12'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_2'], '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_11, c_0011_12, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_12, c_0101_2, c_0101_7, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t + 25826377629354614134285983238643048340874561272322433955/1632753694\ 99880690947399468264246763507735779980236753*c_1001_12^14 - 3049687924350211119768145988768111066370726574200647772238/81637684\ 7499403454736997341321233817538678899901183765*c_1001_12^13 + 45244788185136385273269591355760926137031183152370287041331/8163768\ 47499403454736997341321233817538678899901183765*c_1001_12^12 - 345506682739012892552001815550467601607512586752081951039933/816376\ 847499403454736997341321233817538678899901183765*c_1001_12^11 + 1114334382332856026023945235672274570722121146531493495656373/81637\ 6847499403454736997341321233817538678899901183765*c_1001_12^10 - 2727592394738932827252752581197149653585194581673752517434577/81637\ 6847499403454736997341321233817538678899901183765*c_1001_12^9 + 2729494034171710679161509654474491000119380924571941317233618/81637\ 6847499403454736997341321233817538678899901183765*c_1001_12^8 - 172195083161949421497513118918698113845962915083080576903847/163275\ 369499880690947399468264246763507735779980236753*c_1001_12^7 - 219042258249442917955849974359451864386019668807971251410267/163275\ 369499880690947399468264246763507735779980236753*c_1001_12^6 - 38798004283212892854119362075766731038893407125534945191646/2332505\ 2785697241563914209752035251929676539997176679*c_1001_12^5 + 950250874390627543571931265787994023803976075067960471597084/816376\ 847499403454736997341321233817538678899901183765*c_1001_12^4 - 88211237053908164789574860704423570975886476119133897684882/1632753\ 69499880690947399468264246763507735779980236753*c_1001_12^3 - 126130950722862868843710418252688784849793530776322743983319/163275\ 369499880690947399468264246763507735779980236753*c_1001_12^2 + 20952297708907287489114973592104887744812321393972691291594/8163768\ 47499403454736997341321233817538678899901183765*c_1001_12 + 7941121874554685458237189299477023122203309280805523840613/81637684\ 7499403454736997341321233817538678899901183765, c_0011_0 - 1, c_0011_11 + 1857240838262181574009099754218889917344/189445135580725748\ 382960312197182253440231*c_1001_12^14 - 42946767704945406302611409114559790534111/1894451355807257483829603\ 12197182253440231*c_1001_12^13 + 6293854410676479564512030229863660\ 41795646/189445135580725748382960312197182253440231*c_1001_12^12 - 4654936776689242191723324355407260835994081/18944513558072574838296\ 0312197182253440231*c_1001_12^11 + 13673135411998290046188367064216794557350385/1894451355807257483829\ 60312197182253440231*c_1001_12^10 - 32063924976558435697796011349980630992658016/1894451355807257483829\ 60312197182253440231*c_1001_12^9 + 22332186086226431364676224699206549170173414/1894451355807257483829\ 60312197182253440231*c_1001_12^8 + 977496622738903209786364976279150686594185/189445135580725748382960\ 312197182253440231*c_1001_12^7 - 1540450434440715102725381220368306\ 5786155029/189445135580725748382960312197182253440231*c_1001_12^6 - 30153786743599215337792006495488808520497056/1894451355807257483829\ 60312197182253440231*c_1001_12^5 + 2697129659796904706084277254985495126615169/18944513558072574838296\ 0312197182253440231*c_1001_12^4 - 293734896706948588896633173842166\ 5249594208/189445135580725748382960312197182253440231*c_1001_12^3 - 9760709039817839056729839761541891473470498/18944513558072574838296\ 0312197182253440231*c_1001_12^2 - 522084146605410234993118353977516\ 7800541520/189445135580725748382960312197182253440231*c_1001_12 - 635816612319876664702655211903768831713332/189445135580725748382960\ 312197182253440231, c_0011_12 - 1064394199744343078726747073530016256497/189445135580725748\ 382960312197182253440231*c_1001_12^14 + 24540651560400078648185391685587513562621/1894451355807257483829603\ 12197182253440231*c_1001_12^13 - 3590231201419981237623798408461100\ 38482834/189445135580725748382960312197182253440231*c_1001_12^12 + 2643062662824925323353074367051124615666058/18944513558072574838296\ 0312197182253440231*c_1001_12^11 - 7652020942777783053850400502902398163895600/18944513558072574838296\ 0312197182253440231*c_1001_12^10 + 17821545124682069290777171662462408184770776/1894451355807257483829\ 60312197182253440231*c_1001_12^9 - 11473064860621758717793208342213781323235185/1894451355807257483829\ 60312197182253440231*c_1001_12^8 - 1629588574309123745443056107211290851900346/18944513558072574838296\ 0312197182253440231*c_1001_12^7 + 904623255228123492976113791514832\ 4749240255/189445135580725748382960312197182253440231*c_1001_12^6 + 17693099106130041415032985774130776356517044/1894451355807257483829\ 60312197182253440231*c_1001_12^5 - 343171678070392538310754855060070719465052/189445135580725748382960\ 312197182253440231*c_1001_12^4 + 1352996375276003429606681416490833\ 148747836/189445135580725748382960312197182253440231*c_1001_12^3 + 5902904163785297310089146616327947648027269/18944513558072574838296\ 0312197182253440231*c_1001_12^2 + 312286636905495775521049492033925\ 4254864988/189445135580725748382960312197182253440231*c_1001_12 + 421254851080452774781928040423399925043002/189445135580725748382960\ 312197182253440231, c_0011_3 - 1013601734875324211515759816940406590830/1894451355807257483\ 82960312197182253440231*c_1001_12^14 + 23504392143827790654067720155308441255676/1894451355807257483829603\ 12197182253440231*c_1001_12^13 - 3450413267957089013967844811064730\ 45898081/189445135580725748382960312197182253440231*c_1001_12^12 + 2563377859259446886451222673961655462055226/18944513558072574838296\ 0312197182253440231*c_1001_12^11 - 7635727499834090257332797058324628337761328/18944513558072574838296\ 0312197182253440231*c_1001_12^10 + 18042550194318957564331577588597039560370921/1894451355807257483829\ 60312197182253440231*c_1001_12^9 - 13465885291434162192044099225321881612309244/1894451355807257483829\ 60312197182253440231*c_1001_12^8 + 558200000491281587372860357130788107229406/189445135580725748382960\ 312197182253440231*c_1001_12^7 + 8476182572889943758663003797880158\ 512368590/189445135580725748382960312197182253440231*c_1001_12^6 + 15642440087793535478423277618756700465207126/1894451355807257483829\ 60312197182253440231*c_1001_12^5 - 2307901331972826608418426861593291704220047/18944513558072574838296\ 0312197182253440231*c_1001_12^4 + 208328328795608966783011020961337\ 7117939932/189445135580725748382960312197182253440231*c_1001_12^3 + 5656706211989015997537949748379819494670178/18944513558072574838296\ 0312197182253440231*c_1001_12^2 + 267406675182843337322448905232984\ 9111485151/189445135580725748382960312197182253440231*c_1001_12 + 144750835273555049187542108542901332265356/189445135580725748382960\ 312197182253440231, c_0011_6 + 2271805840437315249793458754877607468700/1894451355807257483\ 82960312197182253440231*c_1001_12^14 - 52498101828947876200256067907638523923960/1894451355807257483829603\ 12197182253440231*c_1001_12^13 + 7690153180238252075444066587381941\ 43741189/189445135580725748382960312197182253440231*c_1001_12^12 - 5680966441479360774108859608706792293187024/18944513558072574838296\ 0312197182253440231*c_1001_12^11 + 16620310470372402729478958728742666562920442/1894451355807257483829\ 60312197182253440231*c_1001_12^10 - 38832348198295530150712365661869177891930887/1894451355807257483829\ 60312197182253440231*c_1001_12^9 + 26289958273560675988961053349830752619438344/1894451355807257483829\ 60312197182253440231*c_1001_12^8 + 2593993241882060775631359849259152752520106/18944513558072574838296\ 0312197182253440231*c_1001_12^7 - 197084254140869783379444785011315\ 61398989696/189445135580725748382960312197182253440231*c_1001_12^6 - 37354912465507448328528062035112603328376590/1894451355807257483829\ 60312197182253440231*c_1001_12^5 + 3371661043101320714639700187473653095088219/18944513558072574838296\ 0312197182253440231*c_1001_12^4 - 273118055870981819958036870358707\ 9704656892/189445135580725748382960312197182253440231*c_1001_12^3 - 12856534636974175098041237307579547094237000/1894451355807257483829\ 60312197182253440231*c_1001_12^2 - 7234080629867991644795942119447151416358121/18944513558072574838296\ 0312197182253440231*c_1001_12 - 72645316207748301316946407720376512\ 0149250/189445135580725748382960312197182253440231, c_0101_0 - 629102052780995519138849468968600438935/18944513558072574838\ 2960312197182253440231*c_1001_12^14 + 14496854842560042773094173876165041334142/1894451355807257483829603\ 12197182253440231*c_1001_12^13 - 2119869956140581530738110888158605\ 48921554/189445135580725748382960312197182253440231*c_1001_12^12 + 1558794291109956943828818467372568415565899/18944513558072574838296\ 0312197182253440231*c_1001_12^11 - 4492291485269156236073080835209019112579557/18944513558072574838296\ 0312197182253440231*c_1001_12^10 + 10394899001988286293190394036636069165779983/1894451355807257483829\ 60312197182253440231*c_1001_12^9 - 6412036491063256898458477062254435503564550/18944513558072574838296\ 0312197182253440231*c_1001_12^8 - 157609662118667118150211010319497\ 0429874756/189445135580725748382960312197182253440231*c_1001_12^7 + 5616121420598517289640737351625701443310553/18944513558072574838296\ 0312197182253440231*c_1001_12^6 + 108562361888569564250523922081779\ 51431584732/189445135580725748382960312197182253440231*c_1001_12^5 - 531879855564247053110636662940180695434086/189445135580725748382960\ 312197182253440231*c_1001_12^4 + 3239486353768642658751292469868512\ 93358480/189445135580725748382960312197182253440231*c_1001_12^3 + 3599914212492579550251643779599863799783411/18944513558072574838296\ 0312197182253440231*c_1001_12^2 + 228000693901977913578572653355865\ 1152436485/189445135580725748382960312197182253440231*c_1001_12 + 290851163401963981990960984330431893941947/189445135580725748382960\ 312197182253440231, c_0101_1 - 629102052780995519138849468968600438935/18944513558072574838\ 2960312197182253440231*c_1001_12^14 + 14496854842560042773094173876165041334142/1894451355807257483829603\ 12197182253440231*c_1001_12^13 - 2119869956140581530738110888158605\ 48921554/189445135580725748382960312197182253440231*c_1001_12^12 + 1558794291109956943828818467372568415565899/18944513558072574838296\ 0312197182253440231*c_1001_12^11 - 4492291485269156236073080835209019112579557/18944513558072574838296\ 0312197182253440231*c_1001_12^10 + 10394899001988286293190394036636069165779983/1894451355807257483829\ 60312197182253440231*c_1001_12^9 - 6412036491063256898458477062254435503564550/18944513558072574838296\ 0312197182253440231*c_1001_12^8 - 157609662118667118150211010319497\ 0429874756/189445135580725748382960312197182253440231*c_1001_12^7 + 5616121420598517289640737351625701443310553/18944513558072574838296\ 0312197182253440231*c_1001_12^6 + 108562361888569564250523922081779\ 51431584732/189445135580725748382960312197182253440231*c_1001_12^5 - 531879855564247053110636662940180695434086/189445135580725748382960\ 312197182253440231*c_1001_12^4 + 3239486353768642658751292469868512\ 93358480/189445135580725748382960312197182253440231*c_1001_12^3 + 3599914212492579550251643779599863799783411/18944513558072574838296\ 0312197182253440231*c_1001_12^2 + 228000693901977913578572653355865\ 1152436485/189445135580725748382960312197182253440231*c_1001_12 + 290851163401963981990960984330431893941947/189445135580725748382960\ 312197182253440231, c_0101_10 + 2009719789463739773505210721169414812667/189445135580725748\ 382960312197182253440231*c_1001_12^14 - 46506689941688247029835569784141516417267/1894451355807257483829603\ 12197182253440231*c_1001_12^13 + 6818410541101335816350118674281909\ 77871594/189445135580725748382960312197182253440231*c_1001_12^12 - 5048541038249083214649472439380445466524034/18944513558072574838296\ 0312197182253440231*c_1001_12^11 + 14879500587572383524064909661124087267369397/1894451355807257483829\ 60312197182253440231*c_1001_12^10 - 34933548533303583944499894632497296689286694/1894451355807257483829\ 60312197182253440231*c_1001_12^9 + 24692407079661708249356428283636797210934885/1894451355807257483829\ 60312197182253440231*c_1001_12^8 + 788874167487606722686302761965861411033295/189445135580725748382960\ 312197182253440231*c_1001_12^7 - 1690648160282736518980026063243062\ 1612414499/189445135580725748382960312197182253440231*c_1001_12^6 - 32385313950509685432159146595798788892779284/1894451355807257483829\ 60312197182253440231*c_1001_12^5 + 3633143974909237845167318202969129145008839/18944513558072574838296\ 0312197182253440231*c_1001_12^4 - 313928844203305508270861682184018\ 1773039693/189445135580725748382960312197182253440231*c_1001_12^3 - 10835103526782070058113476100826828915786042/1894451355807257483829\ 60312197182253440231*c_1001_12^2 - 5993688306075990153722199648523131511578889/18944513558072574838296\ 0312197182253440231*c_1001_12 - 59180569205044841140032569060567620\ 3988369/189445135580725748382960312197182253440231, c_0101_11 + 1171599870558858560652484779388154968622/189445135580725748\ 382960312197182253440231*c_1001_12^14 - 27112043492286022445895807261276605113074/1894451355807257483829603\ 12197182253440231*c_1001_12^13 + 3974756785705657119975994475316946\ 53609223/189445135580725748382960312197182253440231*c_1001_12^12 - 2942768002482000888429156740557742697755870/18944513558072574838296\ 0312197182253440231*c_1001_12^11 + 8668621905607036295528514002565348658231351/18944513558072574838296\ 0312197182253440231*c_1001_12^10 - 20324555706427138833806434868845460776043474/1894451355807257483829\ 60312197182253440231*c_1001_12^9 + 14302642409808149398741956121017293516592005/1894451355807257483829\ 60312197182253440231*c_1001_12^8 + 669056425368238639227365371318367658514102/189445135580725748382960\ 312197182253440231*c_1001_12^7 - 9817413685729138515218488584001791\ 756800630/189445135580725748382960312197182253440231*c_1001_12^6 - 18966181362596919724392196197149483719302989/1894451355807257483829\ 60312197182253440231*c_1001_12^5 + 2158064926425242431935220837966156009880735/18944513558072574838296\ 0312197182253440231*c_1001_12^4 - 145105210607483634533972386707159\ 9303141950/189445135580725748382960312197182253440231*c_1001_12^3 - 6010567143616803946071167691009480641513226/18944513558072574838296\ 0312197182253440231*c_1001_12^2 - 339393713951826332469959809476331\ 8649879073/189445135580725748382960312197182253440231*c_1001_12 - 276587973027370127196940514851473384972262/189445135580725748382960\ 312197182253440231, c_0101_12 + 1564989890451088066952038669901798478177/189445135580725748\ 382960312197182253440231*c_1001_12^14 - 36210175996225649078451561381981285677090/1894451355807257483829603\ 12197182253440231*c_1001_12^13 + 5308196399811655600622902245735295\ 67258531/189445135580725748382960312197182253440231*c_1001_12^12 - 3929169123349279224775561319782787193937548/18944513558072574838296\ 0312197182253440231*c_1001_12^11 + 11567274611634796223713175285983715021799869/1894451355807257483829\ 60312197182253440231*c_1001_12^10 - 27114484529828176141360918490931665524043275/1894451355807257483829\ 60312197182253440231*c_1001_12^9 + 18983817724312015849173821523045732071782980/1894451355807257483829\ 60312197182253440231*c_1001_12^8 + 1045534830700507774147954334576625444392966/18944513558072574838296\ 0312197182253440231*c_1001_12^7 - 134675681795641340573282608800643\ 50115725235/189445135580725748382960312197182253440231*c_1001_12^6 - 25242363343117413313132776415229288639132870/1894451355807257483829\ 60312197182253440231*c_1001_12^5 + 2872490444397484668509466588233783975788048/18944513558072574838296\ 0312197182253440231*c_1001_12^4 - 206910138890635318657676587754294\ 8887751185/189445135580725748382960312197182253440231*c_1001_12^3 - 8727162184258907735362708395097264460650815/18944513558072574838296\ 0312197182253440231*c_1001_12^2 - 469666336989248142155565734382934\ 3660075768/189445135580725748382960312197182253440231*c_1001_12 - 476972278826205844593486069877312838489432/189445135580725748382960\ 312197182253440231, c_0101_2 - 1033777715436165431064368838049040380136/1894451355807257483\ 82960312197182253440231*c_1001_12^14 + 23845451386036050629511807716281021846152/1894451355807257483829603\ 12197182253440231*c_1001_12^13 - 3489211283637864653993012084329548\ 85596229/189445135580725748382960312197182253440231*c_1001_12^12 + 2570150378384255538920878441487017459045908/18944513558072574838296\ 0312197182253440231*c_1001_12^11 - 7451268119278969736592597323654937043012186/18944513558072574838296\ 0312197182253440231*c_1001_12^10 + 17333146053731534082693822063887398232354876/1894451355807257483829\ 60312197182253440231*c_1001_12^9 - 11172600843503059456858478250431736486263481/1894451355807257483829\ 60312197182253440231*c_1001_12^8 - 1815154897600951596206645544640033040643485/18944513558072574838296\ 0312197182253440231*c_1001_12^7 + 899592744665284280637067459367929\ 4935774072/189445135580725748382960312197182253440231*c_1001_12^6 + 17165313821068627036677080955690135383370892/1894451355807257483829\ 60312197182253440231*c_1001_12^5 - 820056567780775857807084347887115820409579/189445135580725748382960\ 312197182253440231*c_1001_12^4 + 1141014675001067031755137898417092\ 921043023/189445135580725748382960312197182253440231*c_1001_12^3 + 5582940577936613154251933717238425683205740/18944513558072574838296\ 0312197182253440231*c_1001_12^2 + 311804929008549746780538858723392\ 4936433066/189445135580725748382960312197182253440231*c_1001_12 + 315513278541690228656320512027279308373488/189445135580725748382960\ 312197182253440231, c_0101_7 + 1433375739555810824767297926248783026925/1894451355807257483\ 82960312197182253440231*c_1001_12^14 - 33006483595070281085633434732006110941311/1894451355807257483829603\ 12197182253440231*c_1001_12^13 + 4824885436647106868211848270063230\ 09703633/189445135580725748382960312197182253440231*c_1001_12^12 - 3544443033130544268880138460429357757854376/18944513558072574838296\ 0312197182253440231*c_1001_12^11 + 10188708258333812665290160619964090615324099/1894451355807257483829\ 60312197182253440231*c_1001_12^10 - 23604253385031639049432065644137236075904772/1894451355807257483829\ 60312197182253440231*c_1001_12^9 + 14469409264424896993206456002302698877727652/1894451355807257483829\ 60312197182253440231*c_1001_12^8 + 3285803894483785436099016792912521438619969/18944513558072574838296\ 0312197182253440231*c_1001_12^7 - 124928906566919144837686533617949\ 23209389175/189445135580725748382960312197182253440231*c_1001_12^6 - 24556084735383914753821869618097836275256510/1894451355807257483829\ 60312197182253440231*c_1001_12^5 + 496611492007794743825706243195031098355610/189445135580725748382960\ 312197182253440231*c_1001_12^4 - 1466701201878834605231724509131823\ 721537125/189445135580725748382960312197182253440231*c_1001_12^3 - 8185147455630156847312441317869385122744187/18944513558072574838296\ 0312197182253440231*c_1001_12^2 - 494359597162976492685554761587740\ 8669482264/189445135580725748382960312197182253440231*c_1001_12 - 598397619489909740542472087637793205258897/189445135580725748382960\ 312197182253440231, c_1001_12^15 - 23*c_1001_12^14 + 336*c_1001_12^13 - 2464*c_1001_12^12 + 7046*c_1001_12^11 - 16311*c_1001_12^10 + 9757*c_1001_12^9 + 2318*c_1001_12^8 - 8492*c_1001_12^7 - 17249*c_1001_12^6 - 425*c_1001_12^5 - 1125*c_1001_12^4 - 5602*c_1001_12^3 - 3621*c_1001_12^2 - 650*c_1001_12 - 37 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 15.980 Total time: 16.199 seconds, Total memory usage: 82.19MB