Magma V2.19-8 Fri Sep 13 2013 02:21:14 on localhost [Seed = 4035972177] Type ? for help. Type -D to quit. Loading file "m037__sl3_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation m037 geometric_solution 3.17729328 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 4 0 0 1 2 1230 3012 0132 0132 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 -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.352201128739 1.721433237247 2 2 3 0 1302 2031 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 -1 0 1 -1 0 1 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.290178311196 0.303145364604 1 1 0 3 1302 2031 0132 2310 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 0 0 0 0 1 -1 0 0 0 0 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.290178311196 0.303145364604 2 3 3 1 3201 1230 3012 0132 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 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.352201128739 1.721433237247 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1020_2' : d['c_0012_1'], 'c_1020_3' : d['c_0102_3'], 'c_1020_0' : d['c_0201_0'], 'c_1020_1' : d['c_0012_1'], 'c_0201_0' : d['c_0201_0'], 'c_0201_1' : d['c_0012_1'], 'c_0201_2' : d['c_0012_1'], 'c_0201_3' : d['c_0120_2'], 'c_2100_0' : d['c_0021_3'], 'c_2100_1' : d['c_0021_3'], 'c_2100_2' : d['c_0021_3'], 'c_2100_3' : d['c_0021_3'], 'c_2010_2' : d['c_0012_0'], 'c_2010_3' : d['c_0120_2'], 'c_2010_0' : d['c_0102_0'], 'c_2010_1' : d['c_0012_0'], 'c_0102_0' : d['c_0102_0'], 'c_0102_1' : d['c_0012_0'], 'c_0102_2' : d['c_0012_0'], 'c_0102_3' : d['c_0102_3'], 'c_1101_0' : d['c_1101_0'], 'c_1101_1' : d['c_1101_1'], 'c_1101_2' : d['c_1101_2'], 'c_1101_3' : d['c_1011_3'], 'c_1200_2' : d['c_0012_3'], 'c_1200_3' : d['c_0012_3'], 'c_1200_0' : d['c_0012_3'], 'c_1200_1' : d['c_0012_3'], 'c_1110_2' : d['c_0111_3'], 'c_1110_3' : d['c_1101_1'], 'c_1110_0' : d['c_1101_2'], 'c_1110_1' : d['c_1101_0'], 'c_0120_0' : d['c_0012_0'], 'c_0120_1' : d['c_0102_0'], 'c_0120_2' : d['c_0120_2'], 'c_0120_3' : d['c_0012_0'], 'c_2001_0' : d['c_0012_0'], 'c_2001_1' : d['c_0120_2'], 'c_2001_2' : d['c_0102_0'], 'c_2001_3' : d['c_0012_3'], 'c_0012_2' : d['c_0012_1'], 'c_0012_3' : d['c_0012_3'], 'c_0012_0' : d['c_0012_0'], 'c_0012_1' : d['c_0012_1'], 'c_0111_0' : d['c_0111_0'], 'c_0111_1' : d['c_0111_1'], 'c_0111_2' : d['c_0111_2'], 'c_0111_3' : d['c_0111_3'], 'c_0210_2' : d['c_0102_3'], 'c_0210_3' : d['c_0012_1'], 'c_0210_0' : d['c_0012_1'], 'c_0210_1' : d['c_0201_0'], 'c_1002_2' : d['c_0201_0'], 'c_1002_3' : d['c_0021_3'], 'c_1002_0' : d['c_0012_1'], 'c_1002_1' : d['c_0102_3'], 'c_1011_2' : d['c_0111_1'], 'c_1011_3' : d['c_1011_3'], 'c_1011_0' : d['c_0111_0'], 'c_1011_1' : d['c_0111_2'], 'c_0021_0' : d['c_0012_1'], 'c_0021_1' : d['c_0012_0'], 'c_0021_2' : d['c_0012_0'], 'c_0021_3' : d['c_0021_3']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY_DECOMPOSITION_TIME: 13156.880 PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0012_3, c_0021_3, c_0102_0, c_0102_3, c_0111_0, c_0111_1, c_0111_2, c_0111_3, c_0120_2, c_0201_0, c_1011_3, c_1101_0, c_1101_1, c_1101_2 Inhomogeneous, Dimension 1, Radical, Prime Groebner basis: [ t*c_0201_0^7 - 5/6*t*c_0201_0^6*c_1101_2 + 7/2*t*c_0201_0^6 - 3*t*c_0201_0^5*c_1101_2 + t*c_0201_0^5 - 3/2*t*c_0201_0^4*c_1101_2 - 11/2*t*c_0201_0^4 + 10/3*t*c_0201_0^3*c_1101_2 - 2*t*c_0201_0^3 + 2*t*c_0201_0^2*c_1101_2 + 2*t*c_0201_0^2 - 23/54*c_1101_2 - 1/18, c_0012_0 - 1, c_0012_1 + 1/3*c_0201_0*c_1101_2 + 2/3*c_0201_0 - 1/3*c_1101_2 - 2/3, c_0012_3 - 1/3*c_0201_0*c_1101_2 + 1/3*c_0201_0 - 2/3*c_1101_2 - 1/3, c_0021_3 - 2/3*c_0201_0*c_1101_2 - 1/3*c_0201_0 - 1/3*c_1101_2 - 2/3, c_0102_0 + 1/3*c_0201_0*c_1101_2 + 2/3*c_0201_0 + 2/3*c_1101_2 + 4/3, c_0102_3 - c_0201_0, c_0111_0 - 1, c_0111_1 + 1, c_0111_2 + 1, c_0111_3 + c_1101_2 + 2, c_0120_2 + 1/3*c_0201_0*c_1101_2 + 2/3*c_0201_0 + 2/3*c_1101_2 + 4/3, c_1011_3 - 1, c_1101_0 + c_1101_2 + 2, c_1101_1 - c_1101_2, c_1101_2^2 + 2*c_1101_2 + 3 ], Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0012_3, c_0021_3, c_0102_0, c_0102_3, c_0111_0, c_0111_1, c_0111_2, c_0111_3, c_0120_2, c_0201_0, c_1011_3, c_1101_0, c_1101_1, c_1101_2 Inhomogeneous, Dimension 1, Radical, Prime Groebner basis: [ t*c_0201_0^7 + 11/2*t*c_0201_0^6*c_1101_2 - 3/2*t*c_0201_0^6 + 13*t*c_0201_0^5*c_1101_2 + 11*t*c_0201_0^5 + 27/2*t*c_0201_0^4*c_1101_2 + 3/2*t*c_0201_0^4 - 18*t*c_0201_0^3*c_1101_2 - 6*t*c_0201_0^3 - 14*t*c_0201_0^2*c_1101_2 - 6*t*c_0201_0^2 - 7/2*c_1101_2 + 17/2, c_0012_0 - 1, c_0012_1 - c_0201_0*c_1101_2 + 2*c_0201_0 + c_1101_2 - 2, c_0012_3 - c_0201_0*c_1101_2 + c_0201_0 - 1, c_0021_3 - c_0201_0 - c_1101_2, c_0102_0 - c_0201_0*c_1101_2 + 2*c_0201_0 - 2, c_0102_3 - c_0201_0, c_0111_0 - 1, c_0111_1 + 1, c_0111_2 + 1, c_0111_3 - c_1101_2, c_0120_2 - c_0201_0*c_1101_2 + 2*c_0201_0 - 2, c_1011_3 + 2*c_1101_2 + 1, c_1101_0 - c_1101_2, c_1101_1 - c_1101_2, c_1101_2^2 - 2*c_1101_2 - 1 ], Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0012_3, c_0021_3, c_0102_0, c_0102_3, c_0111_0, c_0111_1, c_0111_2, c_0111_3, c_0120_2, c_0201_0, c_1011_3, c_1101_0, c_1101_1, c_1101_2 Inhomogeneous, Dimension 1, Radical, Prime Groebner basis: [ t*c_0201_0^7 + 3/2*t*c_0201_0^6*c_1101_2 - 3/2*t*c_0201_0^6 - 2*t*c_0201_0^5*c_1101_2 + 1/2*t*c_0201_0^4*c_1101_2 + 1/2*t*c_0201_0^4 + 1/2*c_1101_2 + 1/2, c_0012_0 - 1, c_0012_1 + c_0201_0*c_1101_2 - c_1101_2, c_0012_3 - c_0201_0*c_1101_2 - c_0201_0 + 1, c_0021_3 + c_0201_0 + c_1101_2, c_0102_0 + c_0201_0*c_1101_2, c_0102_3 - c_0201_0, c_0111_0 - 1, c_0111_1 + 1, c_0111_2 + 1, c_0111_3 + c_1101_2, c_0120_2 + c_0201_0*c_1101_2, c_1011_3 + 1, c_1101_0 + c_1101_2, c_1101_1 - c_1101_2, c_1101_2^2 + 1 ], Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0012_3, c_0021_3, c_0102_0, c_0102_3, c_0111_0, c_0111_1, c_0111_2, c_0111_3, c_0120_2, c_0201_0, c_1011_3, c_1101_0, c_1101_1, c_1101_2 Inhomogeneous, Dimension 1, Radical, Prime Groebner basis: [ t*c_0201_0^6 - 2*t*c_0201_0^5 + t*c_0201_0^4 - 1, c_0012_0 - 1, c_0012_1 - c_0201_0 + 1, c_0012_3 - 1, c_0021_3 - c_0201_0 + 1, c_0102_0 - c_0201_0, c_0102_3 - c_0201_0, c_0111_0 - 1, c_0111_1 + 1, c_0111_2 + 1, c_0111_3 - 1, c_0120_2 - c_0201_0, c_1011_3 - 1, c_1101_0 - 1, c_1101_1 - 1, c_1101_2 - 1 ], Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0012_3, c_0021_3, c_0102_0, c_0102_3, c_0111_0, c_0111_1, c_0111_2, c_0111_3, c_0120_2, c_0201_0, c_1011_3, c_1101_0, c_1101_1, c_1101_2 Inhomogeneous, Dimension 1, Radical, Prime Groebner basis: [ t*c_1101_1^5 - 3/2*t*c_1101_1^4*c_1101_2 - 3/2*t*c_1101_1^4 + 2*t*c_1101_1^3*c_1101_2 + t*c_1101_1^3 + 7/8*c_1101_2 - 17/8, c_0012_0 - 1, c_0012_1 + 1, c_0012_3 + 1, c_0021_3 - 1, c_0102_0 - c_1101_2 + 1, c_0102_3 + c_1101_2 - 1, c_0111_0 - 1, c_0111_1 + c_1101_1*c_1101_2 - c_1101_1 - c_1101_2, c_0111_2 - c_1101_1 + c_1101_2 + 1, c_0111_3 - c_1101_1, c_0120_2 - c_1101_2 + 1, c_0201_0 + c_1101_2 - 1, c_1011_3 + c_1101_1*c_1101_2, c_1101_0 - c_1101_2, c_1101_2^2 - 2*c_1101_2 - 1 ], Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0012_3, c_0021_3, c_0102_0, c_0102_3, c_0111_0, c_0111_1, c_0111_2, c_0111_3, c_0120_2, c_0201_0, c_1011_3, c_1101_0, c_1101_1, c_1101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 2 Groebner basis: [ t + 1/4, c_0012_0 - 1, c_0012_1 - 1, c_0012_3 + 1, c_0021_3 + 1, c_0102_0 - c_1101_2 - 1, c_0102_3 + c_1101_2 + 1, c_0111_0 - 1, c_0111_1 - 1, c_0111_2 + c_1101_2, c_0111_3 - 1, c_0120_2 + c_1101_2 + 1, c_0201_0 - c_1101_2 - 1, c_1011_3 + c_1101_2, c_1101_0 - c_1101_2, c_1101_1 - 1, c_1101_2^2 + 1 ], Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0012_3, c_0021_3, c_0102_0, c_0102_3, c_0111_0, c_0111_1, c_0111_2, c_0111_3, c_0120_2, c_0201_0, c_1011_3, c_1101_0, c_1101_1, c_1101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 3 Groebner basis: [ t - 37895489/16*c_1101_2^2 - 24548655/8*c_1101_2 - 128199521/16, c_0012_0 - 1, c_0012_1 - 1, c_0012_3 - c_1101_2^2, c_0021_3 - c_1101_2^2, c_0102_0 - c_1101_2 - 1, c_0102_3 - c_1101_2^2 - c_1101_2, c_0111_0 - 1, c_0111_1 - 1, c_0111_2 - 1/2*c_1101_2^2 - 1/2, c_0111_3 + 1/2*c_1101_2^2 + c_1101_2 - 1/2, c_0120_2 - c_1101_2^2 - c_1101_2, c_0201_0 - c_1101_2 - 1, c_1011_3 + 1/2*c_1101_2^2 - 2*c_1101_2 + 1/2, c_1101_0 - c_1101_2, c_1101_1 + 1/2*c_1101_2^2 + c_1101_2 - 1/2, c_1101_2^3 + c_1101_2^2 + 3*c_1101_2 - 1 ], Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0012_3, c_0021_3, c_0102_0, c_0102_3, c_0111_0, c_0111_1, c_0111_2, c_0111_3, c_0120_2, c_0201_0, c_1011_3, c_1101_0, c_1101_1, c_1101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 15601788465047418987391421162267211121657808949/5164066558897319839\ 831241767022434704448252672*c_1101_2^23 + 10588398369636000670957351624315471130307771001/3873049919172989879\ 873431325266826028336189504*c_1101_2^22 - 72627236222054922111234933578365051508686888129/1549219967669195951\ 9493725301067304113344758016*c_1101_2^21 - 2192644675918774461530278409754289177559357261269/15492199676691959\ 519493725301067304113344758016*c_1101_2^20 - 239142274919489881439098789782688332572058014087/193652495958649493\ 9936715662633413014168094752*c_1101_2^19 + 884173069647464913710856306822291330851335450985/387304991917298987\ 9873431325266826028336189504*c_1101_2^18 + 5994596138775737415891032324771126168835827954191/25820332794486599\ 19915620883511217352224126336*c_1101_2^17 + 7745988503466051888911917710228846657697126722389/38730499191729898\ 79873431325266826028336189504*c_1101_2^16 - 2883959433818305700531816245520066200977562141475/19365249595864949\ 39936715662633413014168094752*c_1101_2^15 - 38498836052321621770493489180644036964864038604233/3873049919172989\ 879873431325266826028336189504*c_1101_2^14 - 17094404337680309699200244263756607262035338497199/3873049919172989\ 879873431325266826028336189504*c_1101_2^13 + 61840973742905942584060920213210053372268470507059/7746099838345979\ 759746862650533652056672379008*c_1101_2^12 + 40049706208524357930502054256206280270689965855741/2582033279448659\ 919915620883511217352224126336*c_1101_2^11 + 3573472150823693596488968364521833740942345600457/38730499191729898\ 79873431325266826028336189504*c_1101_2^10 + 95747148968518471892483605895196404179472486623763/7746099838345979\ 759746862650533652056672379008*c_1101_2^9 + 21242288562267784358364767102862255542446223902773/1291016639724329\ 959957810441755608676112063168*c_1101_2^8 + 38673730127683662257159617942995888052033140947609/1549219967669195\ 9519493725301067304113344758016*c_1101_2^7 - 13987452401287270767434097143781775867024784716973/9682624797932474\ 69968357831316706507084047376*c_1101_2^6 + 161780454280295653042152628318065961177099385968541/154921996766919\ 59519493725301067304113344758016*c_1101_2^5 + 20787065871080596907098840882595243167672299101781/5164066558897319\ 839831241767022434704448252672*c_1101_2^4 - 26478992267884140701132827757987537153731705604011/7746099838345979\ 759746862650533652056672379008*c_1101_2^3 - 624057300532983116354240144829176648430705820955/193652495958649493\ 9936715662633413014168094752*c_1101_2^2 + 107859539478115446117058275972487023091409308907/484131239896623734\ 984178915658353253542023688*c_1101_2 + 670740755370525732784364186665079795968533343/403442699913853112486\ 81576304862771128501974, c_0012_0 - 1, c_0012_1 - 44757793933497886606808306627039287/154800367300964542476358\ 9047494793088*c_1101_2^23 - 15269661574372623715960615755314553/774\ 001836504822712381794523747396544*c_1101_2^22 + 4668720409888848197067857137246177/96750229563102839047724315468424\ 568*c_1101_2^21 + 2066023444992849775457300673163245301/15480036730\ 09645424763589047494793088*c_1101_2^20 + 1355980670590254738637830599936232877/15480036730096454247635890474\ 94793088*c_1101_2^19 - 3598021368990787102815434677976563087/154800\ 3673009645424763589047494793088*c_1101_2^18 - 8233051672879450970300864781833514457/38700091825241135619089726187\ 3698272*c_1101_2^17 - 2710138840326254213298678804048423941/1935004\ 59126205678095448630936849136*c_1101_2^16 + 12517805464799700720131571779148164545/7740018365048227123817945237\ 47396544*c_1101_2^15 + 32678443886175200931007164155555739227/38700\ 0918252411356190897261873698272*c_1101_2^14 + 6257361334127579829984669502954757513/38700091825241135619089726187\ 3698272*c_1101_2^13 - 58667682285015098445355449778862632377/774001\ 836504822712381794523747396544*c_1101_2^12 - 79850089886792956725196759510234070995/7740018365048227123817945237\ 47396544*c_1101_2^11 + 25822993749469740790416147958002775595/77400\ 1836504822712381794523747396544*c_1101_2^10 - 55414937416702478147855554259202847457/3870009182524113561908972618\ 73698272*c_1101_2^9 - 33189655114681312166616053771994921129/193500\ 459126205678095448630936849136*c_1101_2^8 - 15221232804511388688979103887389289547/1548003673009645424763589047\ 494793088*c_1101_2^7 + 71108087018321707748676253845361703859/77400\ 1836504822712381794523747396544*c_1101_2^6 - 70430187974068253093660963235621904037/3870009182524113561908972618\ 73698272*c_1101_2^5 - 36403616242503370056421254921717026339/154800\ 3673009645424763589047494793088*c_1101_2^4 + 93753276819653587960432254512198805625/1548003673009645424763589047\ 494793088*c_1101_2^3 - 47000331999728001903449635530200249511/15480\ 03673009645424763589047494793088*c_1101_2^2 - 1912617807081859921879489392891850071/19350045912620567809544863093\ 6849136*c_1101_2 + 481534603109240782732975790326746961/96750229563\ 102839047724315468424568, c_0012_3 + 116887366371048874702348325879743073/15480036730096454247635\ 89047494793088*c_1101_2^23 + 17774766629812257812300677551308035/77\ 4001836504822712381794523747396544*c_1101_2^22 - 115387606758101941818817612812959643/774001836504822712381794523747\ 396544*c_1101_2^21 - 5335466464447333010928457291918949563/15480036\ 73009645424763589047494793088*c_1101_2^20 - 1491721187045184966153878749906236537/15480036730096454247635890474\ 94793088*c_1101_2^19 + 11014259395522698305107619369496622127/15480\ 03673009645424763589047494793088*c_1101_2^18 + 20767826473133364734611398735974315763/3870009182524113561908972618\ 73698272*c_1101_2^17 + 2956229688763883969268930135734576107/193500\ 459126205678095448630936849136*c_1101_2^16 - 45985786269200482298207165245415774259/7740018365048227123817945237\ 47396544*c_1101_2^15 - 81586661729460184408055320206382888787/38700\ 0918252411356190897261873698272*c_1101_2^14 + 4180423252467006816737897731228714643/96750229563102839047724315468\ 424568*c_1101_2^13 + 178992816769860434075727724099913974367/774001\ 836504822712381794523747396544*c_1101_2^12 + 166742178533336684205303758461273186799/774001836504822712381794523\ 747396544*c_1101_2^11 - 160099218716595791687206192917892211935/774\ 001836504822712381794523747396544*c_1101_2^10 + 142853333118140850570548221930428158243/387000918252411356190897261\ 873698272*c_1101_2^9 + 56203176487883257749966470578963945447/19350\ 0459126205678095448630936849136*c_1101_2^8 - 211304703177338342037430773460542086011/154800367300964542476358904\ 7494793088*c_1101_2^7 - 228402503488823305258993461474437374845/774\ 001836504822712381794523747396544*c_1101_2^6 + 430624550643661272874007391894300372627/774001836504822712381794523\ 747396544*c_1101_2^5 - 122593199277196372462896211999729757891/1548\ 003673009645424763589047494793088*c_1101_2^4 - 253544828613696193940239306427822885413/154800367300964542476358904\ 7494793088*c_1101_2^3 + 145789270629346536246246682506909768335/154\ 8003673009645424763589047494793088*c_1101_2^2 + 3163742718483465318068793850373543689/19350045912620567809544863093\ 6849136*c_1101_2 - 1288514877407974417623288218684710377/9675022956\ 3102839047724315468424568, c_0021_3 - 198701552423215848571720409740519099/15480036730096454247635\ 89047494793088*c_1101_2^23 - 10269031511822163509726923136474849/19\ 3500459126205678095448630936849136*c_1101_2^22 + 94233469808687107715641066807497703/3870009182524113561908972618736\ 98272*c_1101_2^21 + 9107975610788501144395002601599479043/154800367\ 3009645424763589047494793088*c_1101_2^20 + 3546966616608932650235271037794781547/15480036730096454247635890474\ 94793088*c_1101_2^19 - 18037007737110166717520656367851438775/15480\ 03673009645424763589047494793088*c_1101_2^18 - 35762982026986368372379830162374420237/3870009182524113561908972618\ 73698272*c_1101_2^17 - 1768208886200293916440933984821834407/483751\ 14781551419523862157734212284*c_1101_2^16 + 72643479450197775742025016597739469789/7740018365048227123817945237\ 47396544*c_1101_2^15 + 71077102423815656369323689967140920363/19350\ 0459126205678095448630936849136*c_1101_2^14 - 11038980889241366964806847966312740377/3870009182524113561908972618\ 73698272*c_1101_2^13 - 295536177104387130579105905903868366299/7740\ 01836504822712381794523747396544*c_1101_2^12 - 315845165874209873308780023695734792569/774001836504822712381794523\ 747396544*c_1101_2^11 + 222027593867351602572701809067158488043/774\ 001836504822712381794523747396544*c_1101_2^10 - 238694660661647777619478854005224917125/387000918252411356190897261\ 873698272*c_1101_2^9 - 53165044363772804921491029699441364177/96750\ 229563102839047724315468424568*c_1101_2^8 + 257215021709557036116111134735019458689/154800367300964542476358904\ 7494793088*c_1101_2^7 + 48929956768858527806474824088143112901/9675\ 0229563102839047724315468424568*c_1101_2^6 - 169134661039105186157354103646603956611/193500459126205678095448630\ 936849136*c_1101_2^5 + 117281101834450818701291256706645543699/1548\ 003673009645424763589047494793088*c_1101_2^4 + 417299120160227048810105585706053749511/154800367300964542476358904\ 7494793088*c_1101_2^3 - 213370248381649964246940008418844171263/154\ 8003673009645424763589047494793088*c_1101_2^2 - 5361631449586851259447623752634653835/19350045912620567809544863093\ 6849136*c_1101_2 + 1993900433550362110733253176406528837/9675022956\ 3102839047724315468424568, c_0102_0 - 89294758725484364394355908004212989/154800367300964542476358\ 9047494793088*c_1101_2^23 - 11258730614958006057822004778156743/387\ 000918252411356190897261873698272*c_1101_2^22 + 1231900801671060813669876937995631/12093778695387854880965539433553\ 071*c_1101_2^21 + 4092839443982750580713219312046658529/15480036730\ 09645424763589047494793088*c_1101_2^20 + 1970812846839601005658995502218119213/15480036730096454247635890474\ 94793088*c_1101_2^19 - 7560066266178336001938301073107840517/154800\ 3673009645424763589047494793088*c_1101_2^18 - 16076554985931271968501607770417808045/3870009182524113561908972618\ 73698272*c_1101_2^17 - 3941238128006699693075234701759798839/193500\ 459126205678095448630936849136*c_1101_2^16 + 28046946121345489324562680774454263155/7740018365048227123817945237\ 47396544*c_1101_2^15 + 7806766596095857440145173582925488237/483751\ 14781551419523862157734212284*c_1101_2^14 + 346892072940419130402335587247571161/387000918252411356190897261873\ 698272*c_1101_2^13 - 119150551310322601831118789579770662237/774001\ 836504822712381794523747396544*c_1101_2^12 - 135510887346496084808487071704345031887/774001836504822712381794523\ 747396544*c_1101_2^11 + 83252938642131193385086215332027520753/7740\ 01836504822712381794523747396544*c_1101_2^10 - 116620088545014554679215223468968544005/387000918252411356190897261\ 873698272*c_1101_2^9 - 57668381154231871384649881737574279871/19350\ 0459126205678095448630936849136*c_1101_2^8 + 36750886366685631520320261141122088183/1548003673009645424763589047\ 494793088*c_1101_2^7 + 67770101847569311980361191126211447391/38700\ 0918252411356190897261873698272*c_1101_2^6 - 159229381122142696002557701617568148553/387000918252411356190897261\ 873698272*c_1101_2^5 + 13700817047931620610771202953540039577/15480\ 03673009645424763589047494793088*c_1101_2^4 + 185692838330387182034459320785916576081/154800367300964542476358904\ 7494793088*c_1101_2^3 - 120261843785404523279086058988444587101/154\ 8003673009645424763589047494793088*c_1101_2^2 - 3126444270338870757814372626782987655/19350045912620567809544863093\ 6849136*c_1101_2 + 1093513496872794803713508257124128119/9675022956\ 3102839047724315468424568, c_0102_3 + 133379639608183073194220855326301965/77400183650482271238179\ 4523747396544*c_1101_2^23 + 27841707954063531146246683474400127/387\ 000918252411356190897261873698272*c_1101_2^22 - 122036361938556137869893010699856917/387000918252411356190897261873\ 698272*c_1101_2^21 - 6110274264490844753847136032917122549/77400183\ 6504822712381794523747396544*c_1101_2^20 - 2421047852752149850485749214369499671/77400183650482271238179452374\ 7396544*c_1101_2^19 + 11695295175022535350551531316864647119/774001\ 836504822712381794523747396544*c_1101_2^18 + 47936183572742393760122149391008352849/3870009182524113561908972618\ 73698272*c_1101_2^17 + 19556571233980112834753859660488484125/38700\ 0918252411356190897261873698272*c_1101_2^16 - 22740701348439734643317724261583651405/1935004591262056780954486309\ 36849136*c_1101_2^15 - 189398829083513982495473784091010350675/3870\ 00918252411356190897261873698272*c_1101_2^14 + 11213185578287709624223355662171599849/3870009182524113561908972618\ 73698272*c_1101_2^13 + 92625054879079725146117622189882935653/19350\ 0459126205678095448630936849136*c_1101_2^12 + 105822361394027041432402963524324125251/193500459126205678095448630\ 936849136*c_1101_2^11 - 34001135680313243089268849002490600501/9675\ 0229563102839047724315468424568*c_1101_2^10 + 337117960473385081595529845566116944561/387000918252411356190897261\ 873698272*c_1101_2^9 + 281016791495701551159965849469239549723/3870\ 00918252411356190897261873698272*c_1101_2^8 - 130285743902049554985379138056601019929/774001836504822712381794523\ 747396544*c_1101_2^7 - 61533944419299682774713323122417095801/96750\ 229563102839047724315468424568*c_1101_2^6 + 112530972312399138022876879178836092483/967502295631028390477243154\ 68424568*c_1101_2^5 - 114396766249273765917892659948993225007/77400\ 1836504822712381794523747396544*c_1101_2^4 - 234871579999008109983086719955046505077/774001836504822712381794523\ 747396544*c_1101_2^3 + 137156395226257916262063073324877928233/7740\ 01836504822712381794523747396544*c_1101_2^2 + 4822498830852701511447994276602026175/19350045912620567809544863093\ 6849136*c_1101_2 - 299234435013589025580180442153645820/12093778695\ 387854880965539433553071, c_0111_0 - 1, c_0111_1 - 1, c_0111_2 + 17437088079265218801686236231082461/774001836504822712381794\ 523747396544*c_1101_2^23 + 10846611213762335460536336712745345/1161\ 002754757234068572691785621094816*c_1101_2^22 - 95283801597879174091838932368912305/2322005509514468137145383571242\ 189632*c_1101_2^21 - 2397427551108770109399526031785237015/23220055\ 09514468137145383571242189632*c_1101_2^20 - 157404886657303039045879882113026831/387000918252411356190897261873\ 698272*c_1101_2^19 + 190383379263546884974519594458794235/967502295\ 63102839047724315468424568*c_1101_2^18 + 18823240426495118982446594262090077561/1161002754757234068572691785\ 621094816*c_1101_2^17 + 1275687832195873609312677641960919681/19350\ 0459126205678095448630936849136*c_1101_2^16 - 8871523223117856782040365067199945685/58050137737861703428634589281\ 0547408*c_1101_2^15 - 9336518073298546996501754140381099681/1451253\ 44344654258571586473202636852*c_1101_2^14 + 699499152556529936851625020137385131/193500459126205678095448630936\ 849136*c_1101_2^13 + 72438412712861549266153790682505891249/1161002\ 754757234068572691785621094816*c_1101_2^12 + 28344583565095913685984627527488964285/3870009182524113561908972618\ 73698272*c_1101_2^11 - 26420321940067759845302896353145882801/58050\ 1377378617034286345892810547408*c_1101_2^10 + 43666121938863696312148907319157771645/3870009182524113561908972618\ 73698272*c_1101_2^9 + 17747945262136888037414209464016508619/193500\ 459126205678095448630936849136*c_1101_2^8 - 46747444453549195103050995469158966979/2322005509514468137145383571\ 242189632*c_1101_2^7 - 32809746638961684097720992386447731083/38700\ 0918252411356190897261873698272*c_1101_2^6 + 348093672544842693058742380839762568141/232200550951446813714538357\ 1242189632*c_1101_2^5 - 46903021216390979484711798805273001083/2322\ 005509514468137145383571242189632*c_1101_2^4 - 20785852576738717114661900021984833453/5805013773786170342863458928\ 10547408*c_1101_2^3 + 3838325665102367096035154022667790553/1935004\ 59126205678095448630936849136*c_1101_2^2 + 208038408408267473687999570308856603/725626721723271292857932366013\ 18426*c_1101_2 - 98605376617590289816167598729187590/36281336086163\ 564642896618300659213, c_0111_3 + 37657784125256243912399997417369385/116100275475723406857269\ 1785621094816*c_1101_2^23 + 4579849243089213464374462323869633/7740\ 01836504822712381794523747396544*c_1101_2^22 - 47278636541384047647850856148678617/7740018365048227123817945237473\ 96544*c_1101_2^21 - 3403578820520343276575202836707847521/232200550\ 9514468137145383571242189632*c_1101_2^20 - 22805202250347430323434138774863135/9675022956310283904772431546842\ 4568*c_1101_2^19 + 6754552262704329190315562520613024861/2322005509\ 514468137145383571242189632*c_1101_2^18 + 25957233502451399894967473437932195245/1161002754757234068572691785\ 621094816*c_1101_2^17 + 2244192776214809257622364697842784651/58050\ 1377378617034286345892810547408*c_1101_2^16 - 8888578349980993401399310307255095581/38700091825241135619089726187\ 3698272*c_1101_2^15 - 95368688557941274642351135498349787005/116100\ 2754757234068572691785621094816*c_1101_2^14 + 8961273074227630487888105258464380925/29025068868930851714317294640\ 5273704*c_1101_2^13 + 96595029761404191056093861257652041507/116100\ 2754757234068572691785621094816*c_1101_2^12 + 73761805571792780879475017756160780751/1161002754757234068572691785\ 621094816*c_1101_2^11 - 114662445806628855917612687698784235323/116\ 1002754757234068572691785621094816*c_1101_2^10 + 75652298212658880005266776670270937465/3870009182524113561908972618\ 73698272*c_1101_2^9 + 73021440235563037700849176257759447641/580501\ 377378617034286345892810547408*c_1101_2^8 - 27945199852729428509512183053718355053/5805013773786170342863458928\ 10547408*c_1101_2^7 - 187129976075754783628417643911248899945/23220\ 05509514468137145383571242189632*c_1101_2^6 + 219645117186830365782274684149485069617/774001836504822712381794523\ 747396544*c_1101_2^5 - 158705441723224104024510199753047844997/2322\ 005509514468137145383571242189632*c_1101_2^4 - 71881759399692078978580500214739418419/1161002754757234068572691785\ 621094816*c_1101_2^3 + 143462129457366720396214192968477449881/2322\ 005509514468137145383571242189632*c_1101_2^2 + 125224733018308892455072632084165809/241875573907757097619310788671\ 06142*c_1101_2 - 1118943973576507766981251690918243153/145125344344\ 654258571586473202636852, c_0120_2 - 47001945254461588725239010215138811/154800367300964542476358\ 9047494793088*c_1101_2^23 - 6747275747981808550100082799637541/7740\ 01836504822712381794523747396544*c_1101_2^22 + 44247159474049521879797761527897889/7740018365048227123817945237473\ 96544*c_1101_2^21 + 2136272852362100280185523252410445893/154800367\ 3009645424763589047494793088*c_1101_2^20 + 565638239133533069354618988032716375/154800367300964542476358904749\ 4793088*c_1101_2^19 - 4222583159839912795518582901120143373/1548003\ 673009645424763589047494793088*c_1101_2^18 - 4122142135943449360445207928606138479/19350045912620567809544863093\ 6849136*c_1101_2^17 - 2267165591613835105735388970590329903/3870009\ 18252411356190897261873698272*c_1101_2^16 + 16734794687738300541506419061506896175/7740018365048227123817945237\ 47396544*c_1101_2^15 + 15600782402541509855288634751004702619/19350\ 0459126205678095448630936849136*c_1101_2^14 - 7601323866175490796234276984833507389/38700091825241135619089726187\ 3698272*c_1101_2^13 - 64078495626492169710555825028749895851/774001\ 836504822712381794523747396544*c_1101_2^12 - 56548472954941157696792385223231103171/7740018365048227123817945237\ 47396544*c_1101_2^11 + 64521832900020339828947985951588594399/77400\ 1836504822712381794523747396544*c_1101_2^10 - 16309674722454486296155550794874752725/9675022956310283904772431546\ 8424568*c_1101_2^9 - 49817104709902390612454612457657753413/3870009\ 18252411356190897261873698272*c_1101_2^8 + 60897111892744742179575836123094681117/1548003673009645424763589047\ 494793088*c_1101_2^7 + 70172278338042504604523275396825749481/77400\ 1836504822712381794523747396544*c_1101_2^6 - 190040874988959537441253815361509333303/774001836504822712381794523\ 747396544*c_1101_2^5 + 61924609068958862072239061867516651697/15480\ 03673009645424763589047494793088*c_1101_2^4 + 97967005208442208763773861355210170479/1548003673009645424763589047\ 494793088*c_1101_2^3 - 74607344367923202464553326829816554897/15480\ 03673009645424763589047494793088*c_1101_2^2 - 1494052789944163634811013136593114283/19350045912620567809544863093\ 6849136*c_1101_2 + 610283906711675015403235714158890107/96750229563\ 102839047724315468424568, c_0201_0 - 15269661574372623715960615755314553/774001836504822712381794\ 523747396544*c_1101_2^23 - 7408030654387101030265449529069871/77400\ 1836504822712381794523747396544*c_1101_2^22 + 25961358992722439075463437473238693/7740018365048227123817945237473\ 96544*c_1101_2^21 + 350184616130938156311159726640818041/3870009182\ 52411356190897261873698272*c_1101_2^20 + 326984527345756062415677225796084589/774001836504822712381794523747\ 396544*c_1101_2^19 - 624226704184810247143452655236835667/387000918\ 252411356190897261873698272*c_1101_2^18 - 688724158564938024976371777668865807/483751147815514195238621577342\ 12284*c_1101_2^17 - 667569289333244504498117820630063871/9675022956\ 3102839047724315468424568*c_1101_2^16 + 4481033708071532368717930980520988417/38700091825241135619089726187\ 3698272*c_1101_2^15 + 21654042447250852822726726982656272241/387000\ 918252411356190897261873698272*c_1101_2^14 + 586744102035787973973628090744447171/387000918252411356190897261873\ 698272*c_1101_2^13 - 9478009242776359243654344050174564769/19350045\ 9126205678095448630936849136*c_1101_2^12 - 25110249071771584277275582500668486509/3870009182524113561908972618\ 73698272*c_1101_2^11 + 3008764510269709242151140956936339513/967502\ 29563102839047724315468424568*c_1101_2^10 - 1271510515985463669403879360627165360/12093778695387854880965539433\ 553071*c_1101_2^9 - 8568544105339133369957382677051079253/967502295\ 63102839047724315468424568*c_1101_2^8 + 2897209063670928559900394545753830471/77400183650482271238179452374\ 7396544*c_1101_2^7 + 49673552826763997097861034840062436685/7740018\ 36504822712381794523747396544*c_1101_2^6 - 99951918740785574915545999515145770875/7740018365048227123817945237\ 47396544*c_1101_2^5 + 6038726813266093571711334426788178585/3870009\ 18252411356190897261873698272*c_1101_2^4 + 20340093157997178979643918576084856861/7740018365048227123817945237\ 47396544*c_1101_2^3 - 6913523395575074019628751943049410945/3870009\ 18252411356190897261873698272*c_1101_2^2 - 23729038236653439546143601134855293/1209377869538785488096553943355\ 3071*c_1101_2 + 20570236542722176844877227759933145/241875573907757\ 09761931078867106142, c_1011_3 - 620399538675913401491563076869833/12093778695387854880965539\ 433553071*c_1101_2^23 - 43436621394154836120122854828487489/2322005\ 509514468137145383571242189632*c_1101_2^22 + 219759465681390493586826733170165209/232200550951446813714538357124\ 2189632*c_1101_2^21 + 5437651549593621317283403990110356857/2322005\ 509514468137145383571242189632*c_1101_2^20 + 311112930719639605801171107683498415/387000918252411356190897261873\ 698272*c_1101_2^19 - 3504089482702149529357589953235992595/77400183\ 6504822712381794523747396544*c_1101_2^18 - 42353750365650581977048823227842958325/1161002754757234068572691785\ 621094816*c_1101_2^17 - 2506787119876319089089233539672294579/19350\ 0459126205678095448630936849136*c_1101_2^16 + 41036757431054396470727393627359039285/1161002754757234068572691785\ 621094816*c_1101_2^15 + 164019211234163351742476706646593297455/116\ 1002754757234068572691785621094816*c_1101_2^14 - 3654733783150110286642791977990978307/19350045912620567809544863093\ 6849136*c_1101_2^13 - 163162716250822804344798800383867936039/11610\ 02754757234068572691785621094816*c_1101_2^12 - 56174982294947477727629783624544444731/3870009182524113561908972618\ 73698272*c_1101_2^11 + 138985561219127698582610893767328883339/1161\ 002754757234068572691785621094816*c_1101_2^10 - 104871273067175772843508576528923468193/387000918252411356190897261\ 873698272*c_1101_2^9 - 42226671301687447255448037429595867361/19350\ 0459126205678095448630936849136*c_1101_2^8 + 62352811605172362708500021505963016787/1161002754757234068572691785\ 621094816*c_1101_2^7 + 130051609954740284407488113179956653089/7740\ 01836504822712381794523747396544*c_1101_2^6 - 880888831433289350512122811131440035237/232200550951446813714538357\ 1242189632*c_1101_2^5 + 122059671152043465485500485618158599957/232\ 2005509514468137145383571242189632*c_1101_2^4 + 27631594071631907446211024937314498687/2902506886893085171431729464\ 05273704*c_1101_2^3 - 51984058553247729071958827819793331007/774001\ 836504822712381794523747396544*c_1101_2^2 - 735786004301973666449374019619351623/725626721723271292857932366013\ 18426*c_1101_2 + 1312389847115692190735469095112822097/145125344344\ 654258571586473202636852, c_1101_0 - 22268482395993238893773800688586851/774001836504822712381794\ 523747396544*c_1101_2^23 - 7247799655543388399683393800998933/77400\ 1836504822712381794523747396544*c_1101_2^22 + 5186486003479638312291158366718871/96750229563102839047724315468424\ 568*c_1101_2^21 + 506703999747475201313979659720853307/387000918252\ 411356190897261873698272*c_1101_2^20 + 4803376376948017711102850799077237/12093778695387854880965539433553\ 071*c_1101_2^19 - 1981022448593774449561433197565638715/77400183650\ 4822712381794523747396544*c_1101_2^18 - 1960875828262955249550185747146073397/96750229563102839047724315468\ 424568*c_1101_2^17 - 615549643840222739888277948855687449/967502295\ 63102839047724315468424568*c_1101_2^16 + 7764570328272894302215554497653049305/38700091825241135619089726187\ 3698272*c_1101_2^15 + 29775688882591658590154224507848166669/387000\ 918252411356190897261873698272*c_1101_2^14 - 369404328824197543723895869731699147/241875573907757097619310788671\ 06142*c_1101_2^13 - 15120717256326875846440834950227007465/19350045\ 9126205678095448630936849136*c_1101_2^12 - 13915199364925782020822578048527740223/1935004591262056780954486309\ 36849136*c_1101_2^11 + 28714972446330726297335033687012372579/38700\ 0918252411356190897261873698272*c_1101_2^10 - 15301287782078019132839917302441424137/9675022956310283904772431546\ 8424568*c_1101_2^9 - 12239363019775279609016913982789679371/9675022\ 9563102839047724315468424568*c_1101_2^8 + 25986059585598510104649682514255688865/7740018365048227123817945237\ 47396544*c_1101_2^7 + 64432116676816916212046128407061190923/774001\ 836504822712381794523747396544*c_1101_2^6 - 22199798287018610727224184595486561129/9675022956310283904772431546\ 8424568*c_1101_2^5 + 12526108322608747666798114468814266479/3870009\ 18252411356190897261873698272*c_1101_2^4 + 11492445188841699259253383284214721307/1935004591262056780954486309\ 36849136*c_1101_2^3 - 36630755892838260687818211729122168795/774001\ 836504822712381794523747396544*c_1101_2^2 - 75864153953563177245930202118196099/1209377869538785488096553943355\ 3071*c_1101_2 + 305989446881777010490266233398690579/48375114781551\ 419523862157734212284, c_1101_1 - 28441145722431426405179237350691095/290250688689308517143172\ 946405273704*c_1101_2^23 - 30830776553446249357744432339465811/1161\ 002754757234068572691785621094816*c_1101_2^22 + 450878238834082577975472420643703857/232200550951446813714538357124\ 2189632*c_1101_2^21 + 431942502800125008784196383028960399/96750229\ 563102839047724315468424568*c_1101_2^20 + 851571373907927828347817683335888097/774001836504822712381794523747\ 396544*c_1101_2^19 - 21503612721493266098559962428131563185/2322005\ 509514468137145383571242189632*c_1101_2^18 - 26798042974193160948380468364542622443/3870009182524113561908972618\ 73698272*c_1101_2^17 - 10113683754882031850519951062243869373/58050\ 1377378617034286345892810547408*c_1101_2^16 + 89958667513381405805844090159074599703/1161002754757234068572691785\ 621094816*c_1101_2^15 + 26077826636350921958780364956888112011/9675\ 0229563102839047724315468424568*c_1101_2^14 - 38842629280965218848410997395051787919/5805013773786170342863458928\ 10547408*c_1101_2^13 - 57566712253041365159065924104457056873/19350\ 0459126205678095448630936849136*c_1101_2^12 - 76541156415519974583055071050170847851/2902506886893085171431729464\ 05273704*c_1101_2^11 + 109434630416583014290468945558308571017/3870\ 00918252411356190897261873698272*c_1101_2^10 - 190032419354028384352495499862064984761/387000918252411356190897261\ 873698272*c_1101_2^9 - 215474389433026220193911873918708436851/5805\ 01377378617034286345892810547408*c_1101_2^8 + 70588581254541054117612385137096754551/3870009182524113561908972618\ 73698272*c_1101_2^7 + 425910986222162722178286148222819164727/11610\ 02754757234068572691785621094816*c_1101_2^6 - 1740528019501940211098168023244761480181/23220055095144681371453835\ 71242189632*c_1101_2^5 + 69241894813366173485806389382725064813/580\ 501377378617034286345892810547408*c_1101_2^4 + 164302682967440386883495787233057030535/774001836504822712381794523\ 747396544*c_1101_2^3 - 307353877445945759152036399103839319029/2322\ 005509514468137145383571242189632*c_1101_2^2 - 6576608648414073366571184339263986697/29025068868930851714317294640\ 5273704*c_1101_2 + 885823317589793494916992205325090573/48375114781\ 551419523862157734212284, c_1101_2^24 - 2*c_1101_2^22 - 45*c_1101_2^21 + c_1101_2^20 + 95*c_1101_2^19 + 680*c_1101_2^18 - 8*c_1101_2^17 - 798*c_1101_2^16 - 2520*c_1101_2^15 + 1376*c_1101_2^14 + 2674*c_1101_2^13 + 1874*c_1101_2^12 - 3398*c_1101_2^11 + 6028*c_1101_2^10 + 2296*c_1101_2^9 - 2723*c_1101_2^8 - 3048*c_1101_2^7 + 8514*c_1101_2^6 - 3653*c_1101_2^5 - 1555*c_1101_2^4 + 1959*c_1101_2^3 - 276*c_1101_2^2 - 240*c_1101_2 + 64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE FREE=VARIABLES=IN=COMPONENTS=BEGINS=HERE [ [ "c_0201_0" ], [ "c_0201_0" ], [ "c_0201_0" ], [ "c_0201_0" ], [ "c_1101_1" ], [ ], [ ], [ ] ] FREE=VARIABLES=IN=COMPONENTS=ENDS=HERE CPUTIME: 13156.890 Total time: 13157.100 seconds, Total memory usage: 226.62MB