Magma V2.19-8 Tue Aug 20 2013 23:55:15 on localhost [Seed = 4290353065] Type ? for help. Type -D to quit. Loading file "K12n583__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n583 geometric_solution 11.73768515 oriented_manifold CS_known -0.0000000000000004 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 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 -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.596226736379 0.531566003272 0 2 6 5 0132 3201 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 -1 1 0 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.623029260263 0.235922126730 5 0 1 4 1230 0132 2310 0321 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 -1 1 0 -7 0 0 7 -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.953071762669 0.596467294336 5 7 8 0 0132 0132 0132 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 0 0 0 0 0 0 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.539925099364 0.414784394970 9 2 0 10 0132 0321 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.166972995051 1.641134072887 3 2 1 6 0132 3012 0132 0321 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 0 -7 7 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.835276912636 0.894770333273 10 5 8 1 3120 0321 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 1 -1 -1 0 1 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.534866699601 1.134657820835 11 3 10 12 0132 0132 0213 0132 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 0 -1 0 0 -6 6 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.213611326953 1.032433492714 12 12 6 3 3012 0132 3120 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 -1 0 -7 0 0 7 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.821787598946 0.911695419626 4 11 12 10 0132 0132 3201 3120 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 0 -1 1 -7 0 0 7 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.610289021410 0.524923159901 9 7 4 6 3120 0213 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 -7 6 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.176519726467 1.099559229549 7 9 11 11 0132 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.716387991784 0.788985512209 9 8 7 8 2310 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 -6 7 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.454513881991 0.605165125266 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_10']), 'c_1001_10' : d['c_1001_0'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_0011_0'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0101_8']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_12'], 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : negation(d['c_0101_11']), 'c_1001_8' : d['c_0101_8'], 'c_1010_12' : d['c_0101_8'], 'c_1010_11' : negation(d['c_0101_11']), 'c_1010_10' : negation(d['c_0011_6']), '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_0011_12'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0011_12']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_8']), 'c_1100_4' : negation(d['c_0101_6']), 'c_1100_7' : negation(d['c_0011_6']), 'c_1100_6' : negation(d['c_0101_8']), 'c_1100_1' : negation(d['c_0101_8']), 'c_1100_0' : negation(d['c_0101_6']), 'c_1100_3' : negation(d['c_0101_6']), 'c_1100_2' : negation(d['c_0011_0']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_11'], 'c_1100_10' : negation(d['c_0101_6']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_12'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_0'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : d['c_1001_12'], 'c_1100_8' : negation(d['c_0101_6']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(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_0011_6']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_11']), 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_11'], 'c_0011_7' : negation(d['c_0011_11']), '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_11'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : negation(d['c_0011_12']), 'c_0101_12' : d['c_0101_11'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0011_10'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(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' : d['c_0011_12'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : negation(d['c_0011_6']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_11']), 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : d['c_0011_12'], 'c_0110_7' : d['c_0101_11'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_6, c_0101_0, c_0101_1, c_0101_11, c_0101_2, c_0101_6, c_0101_8, c_1001_0, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 417031450975955/15815954006757376*c_1001_12^15 - 3972028381724721/15815954006757376*c_1001_12^14 - 4288609473068479/3953988501689344*c_1001_12^13 - 44745713375241479/15815954006757376*c_1001_12^12 - 79723690668427253/15815954006757376*c_1001_12^11 - 46588048405936077/7907977003378688*c_1001_12^10 - 24987873624479617/15815954006757376*c_1001_12^9 + 68751674036682595/7907977003378688*c_1001_12^8 + 198157681974084375/15815954006757376*c_1001_12^7 - 24334687043033941/7907977003378688*c_1001_12^6 - 5658093369977729/272688862185472*c_1001_12^5 - 6181846639662151/494248562711168*c_1001_12^4 + 119433111243624281/15815954006757376*c_1001_12^3 + 128430876356115609/15815954006757376*c_1001_12^2 - 20285458220044865/15815954006757376*c_1001_12 - 16803824576874643/15815954006757376, c_0011_0 - 1, c_0011_10 - 90444725017/57577884752*c_1001_12^15 - 191422719311/14394471188*c_1001_12^14 - 1399403409801/28788942376*c_1001_12^13 - 5734331640135/57577884752*c_1001_12^12 - 3500125591383/28788942376*c_1001_12^11 - 930198562863/28788942376*c_1001_12^10 + 16496349234231/57577884752*c_1001_12^9 + 37013017074421/57577884752*c_1001_12^8 + 893913759920/3598617797*c_1001_12^7 - 12796682445563/14394471188*c_1001_12^6 - 29720571150699/28788942376*c_1001_12^5 + 8962201011777/28788942376*c_1001_12^4 + 51185661927209/57577884752*c_1001_12^3 - 225512833941/3598617797*c_1001_12^2 - 21767811387137/57577884752*c_1001_12 + 3449074765739/28788942376, c_0011_11 - 1541494494/3598617797*c_1001_12^15 - 13301380323/3598617797*c_1001_12^14 - 49788179498/3598617797*c_1001_12^13 - 105455894143/3598617797*c_1001_12^12 - 136064825098/3598617797*c_1001_12^11 - 55069767020/3598617797*c_1001_12^10 + 267514339511/3598617797*c_1001_12^9 + 664588431108/3598617797*c_1001_12^8 + 339395162224/3598617797*c_1001_12^7 - 809383011115/3598617797*c_1001_12^6 - 1098210952196/3598617797*c_1001_12^5 + 157744139268/3598617797*c_1001_12^4 + 852598410630/3598617797*c_1001_12^3 + 16597430327/3598617797*c_1001_12^2 - 351748286006/3598617797*c_1001_12 + 98407795417/3598617797, c_0011_12 - 100215568109/115155769504*c_1001_12^15 - 862113249337/115155769504*c_1001_12^14 - 806101315009/28788942376*c_1001_12^13 - 6846504027497/115155769504*c_1001_12^12 - 8913069669861/115155769504*c_1001_12^11 - 1912858719179/57577884752*c_1001_12^10 + 16885850099829/115155769504*c_1001_12^9 + 1330047531365/3598617797*c_1001_12^8 + 22228820376219/115155769504*c_1001_12^7 - 25322179369329/57577884752*c_1001_12^6 - 34678341570855/57577884752*c_1001_12^5 + 2307637584167/28788942376*c_1001_12^4 + 52406490899203/115155769504*c_1001_12^3 + 262908112241/115155769504*c_1001_12^2 - 21855033885279/115155769504*c_1001_12 + 6303243717885/115155769504, c_0011_6 + 177988875397/115155769504*c_1001_12^15 + 1521550474893/115155769504*c_1001_12^14 + 1410058859789/28788942376*c_1001_12^13 + 11810943343689/115155769504*c_1001_12^12 + 14993481889817/115155769504*c_1001_12^11 + 2733712226983/57577884752*c_1001_12^10 - 31151838774477/115155769504*c_1001_12^9 - 18686960989471/28788942376*c_1001_12^8 - 35118917897495/115155769504*c_1001_12^7 + 47321104165789/57577884752*c_1001_12^6 + 60899040398583/57577884752*c_1001_12^5 - 5829776753565/28788942376*c_1001_12^4 - 97145043946259/115155769504*c_1001_12^3 + 1137399717915/115155769504*c_1001_12^2 + 40422246161287/115155769504*c_1001_12 - 11559767323929/115155769504, c_0101_0 - 15835499739/14394471188*c_1001_12^15 - 543609560801/57577884752*c_1001_12^14 - 507184415087/14394471188*c_1001_12^13 - 1074856387133/14394471188*c_1001_12^12 - 5587494428853/57577884752*c_1001_12^11 - 593861314167/14394471188*c_1001_12^10 + 5324024809453/28788942376*c_1001_12^9 + 26697266143711/57577884752*c_1001_12^8 + 13773968894421/57577884752*c_1001_12^7 - 15947000926587/28788942376*c_1001_12^6 - 10831763120103/14394471188*c_1001_12^5 + 3010710405219/28788942376*c_1001_12^4 + 16394921519341/28788942376*c_1001_12^3 - 19371815839/57577884752*c_1001_12^2 - 853309990140/3598617797*c_1001_12 + 3959589756513/57577884752, c_0101_1 - 227316699205/115155769504*c_1001_12^15 - 1947194645229/115155769504*c_1001_12^14 - 1808364295773/28788942376*c_1001_12^13 - 15185531956265/115155769504*c_1001_12^12 - 19347556292953/115155769504*c_1001_12^11 - 3614828499303/57577884752*c_1001_12^10 + 39712297638829/115155769504*c_1001_12^9 + 24003668438335/28788942376*c_1001_12^8 + 45979563088663/115155769504*c_1001_12^7 - 60271232343629/57577884752*c_1001_12^6 - 78470415633719/57577884752*c_1001_12^5 + 7091729867709/28788942376*c_1001_12^4 + 124428193086419/115155769504*c_1001_12^3 - 606281947451/115155769504*c_1001_12^2 - 51678191313479/115155769504*c_1001_12 + 14593661007769/115155769504, c_0101_11 - 80901541943/57577884752*c_1001_12^15 - 169554793383/14394471188*c_1001_12^14 - 1221135700231/28788942376*c_1001_12^13 - 4882462700237/57577884752*c_1001_12^12 - 2842593870637/28788942376*c_1001_12^11 - 404108216619/28788942376*c_1001_12^10 + 15369240249557/57577884752*c_1001_12^9 + 32171664538111/57577884752*c_1001_12^8 + 2344655231823/14394471188*c_1001_12^7 - 12216057180523/14394471188*c_1001_12^6 - 25427432955425/28788942376*c_1001_12^5 + 11087815434383/28788942376*c_1001_12^4 + 47852756375903/57577884752*c_1001_12^3 - 397929439388/3598617797*c_1001_12^2 - 21068120701487/57577884752*c_1001_12 + 3578194594279/28788942376, c_0101_2 - 11490383299/115155769504*c_1001_12^15 - 90566403473/115155769504*c_1001_12^14 - 73633851583/28788942376*c_1001_12^13 - 483790085215/115155769504*c_1001_12^12 - 317355340725/115155769504*c_1001_12^11 + 312408570703/57577884752*c_1001_12^10 + 2749954401383/115155769504*c_1001_12^9 + 1932010389031/57577884752*c_1001_12^8 - 1437320686081/115155769504*c_1001_12^7 - 4748741526653/57577884752*c_1001_12^6 - 2785460641509/57577884752*c_1001_12^5 + 243304302513/3598617797*c_1001_12^4 + 8548009264953/115155769504*c_1001_12^3 - 2871559287607/115155769504*c_1001_12^2 - 3998572057329/115155769504*c_1001_12 + 1583614351973/115155769504, c_0101_6 - 11490383299/115155769504*c_1001_12^15 - 90566403473/115155769504*c_1001_12^14 - 73633851583/28788942376*c_1001_12^13 - 483790085215/115155769504*c_1001_12^12 - 317355340725/115155769504*c_1001_12^11 + 312408570703/57577884752*c_1001_12^10 + 2749954401383/115155769504*c_1001_12^9 + 1932010389031/57577884752*c_1001_12^8 - 1437320686081/115155769504*c_1001_12^7 - 4748741526653/57577884752*c_1001_12^6 - 2785460641509/57577884752*c_1001_12^5 + 243304302513/3598617797*c_1001_12^4 + 8548009264953/115155769504*c_1001_12^3 - 2871559287607/115155769504*c_1001_12^2 - 3998572057329/115155769504*c_1001_12 + 1583614351973/115155769504, c_0101_8 - 1, c_1001_0 + 11490383299/115155769504*c_1001_12^15 + 90566403473/115155769504*c_1001_12^14 + 73633851583/28788942376*c_1001_12^13 + 483790085215/115155769504*c_1001_12^12 + 317355340725/115155769504*c_1001_12^11 - 312408570703/57577884752*c_1001_12^10 - 2749954401383/115155769504*c_1001_12^9 - 1932010389031/57577884752*c_1001_12^8 + 1437320686081/115155769504*c_1001_12^7 + 4748741526653/57577884752*c_1001_12^6 + 2785460641509/57577884752*c_1001_12^5 - 243304302513/3598617797*c_1001_12^4 - 8548009264953/115155769504*c_1001_12^3 + 2871559287607/115155769504*c_1001_12^2 + 3998572057329/115155769504*c_1001_12 - 1583614351973/115155769504, c_1001_12^16 + 8*c_1001_12^15 + 27*c_1001_12^14 + 49*c_1001_12^13 + 48*c_1001_12^12 - 15*c_1001_12^11 - 191*c_1001_12^10 - 323*c_1001_12^9 + 33*c_1001_12^8 + 637*c_1001_12^7 + 388*c_1001_12^6 - 506*c_1001_12^5 - 467*c_1001_12^4 + 310*c_1001_12^3 + 220*c_1001_12^2 - 192*c_1001_12 + 37 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_6, c_0101_0, c_0101_1, c_0101_11, c_0101_2, c_0101_6, c_0101_8, c_1001_0, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 581178905524322292506973780036092411317684903/590297001916230079218\ 553003896225625964314624*c_1001_12^19 - 4076059285380152569451449818045417642924578233/59029700191623007921\ 8553003896225625964314624*c_1001_12^18 + 12313835268780454263568503563708791720317002339/5902970019162300792\ 18553003896225625964314624*c_1001_12^17 - 14953499589530443503038780181481122073829968487/5902970019162300792\ 18553003896225625964314624*c_1001_12^16 - 21973401006415317591370642404979213822244141665/5902970019162300792\ 18553003896225625964314624*c_1001_12^15 + 107898993942375655997947008153712114256583633239/590297001916230079\ 218553003896225625964314624*c_1001_12^14 - 20848429376464988393025358800284329648100674165/7378712523952875990\ 2319125487028203245539328*c_1001_12^13 + 72379027378855554006279576480930182743581836033/2951485009581150396\ 09276501948112812982157312*c_1001_12^12 + 105438625452525038157161719004092885813546941147/590297001916230079\ 218553003896225625964314624*c_1001_12^11 - 332874555783855303180559565734715479773442942019/590297001916230079\ 218553003896225625964314624*c_1001_12^10 + 256442123565237780529778328057131738343022155829/590297001916230079\ 218553003896225625964314624*c_1001_12^9 - 1094098991749535146799230713752601917709770365217/59029700191623007\ 9218553003896225625964314624*c_1001_12^8 - 166863272776117597347857596953442706289387378993/147574250479057519\ 804638250974056406491078656*c_1001_12^7 + 1974485133580671505488180346430790832456733082383/29514850095811503\ 9609276501948112812982157312*c_1001_12^6 + 2525086539685958795119383062312867968143521832693/29514850095811503\ 9609276501948112812982157312*c_1001_12^5 - 5684925885041856888672222671322572737987652211639/29514850095811503\ 9609276501948112812982157312*c_1001_12^4 + 3166379664614653715342425177163913124889755659507/59029700191623007\ 9218553003896225625964314624*c_1001_12^3 + 374893764835844320004359665239222919073995672035/590297001916230079\ 218553003896225625964314624*c_1001_12^2 + 198716718727986936370803723161058011272213681737/590297001916230079\ 218553003896225625964314624*c_1001_12 - 119379187395231805889224427349367731456929787931/590297001916230079\ 218553003896225625964314624, c_0011_0 - 1, c_0011_10 - 72361293063471750731635097789535703/94929134537190873148326\ 18387125801152*c_1001_12^19 + 553320958797151247639354212818123041/\ 9492913453719087314832618387125801152*c_1001_12^18 - 1833222343499796038442358842513514723/94929134537190873148326183871\ 25801152*c_1001_12^17 + 2700728452298867494732365358132943311/94929\ 13453719087314832618387125801152*c_1001_12^16 + 1902387154228674861310931658232804529/94929134537190873148326183871\ 25801152*c_1001_12^15 - 15445002730060018944072717766414949135/9492\ 913453719087314832618387125801152*c_1001_12^14 + 3534160692991188071014004132333372429/11866141817148859143540772983\ 90725144*c_1001_12^13 - 14031461946261695216234792290476640721/4746\ 456726859543657416309193562900576*c_1001_12^12 - 5373784997090703692738805526961359339/94929134537190873148326183871\ 25801152*c_1001_12^11 + 52321302813418701849398571176425310107/9492\ 913453719087314832618387125801152*c_1001_12^10 - 52463708604221238620835020997033494357/9492913453719087314832618387\ 125801152*c_1001_12^9 + 149110447671991237488595160597168415609/949\ 2913453719087314832618387125801152*c_1001_12^8 + 207687831989961706118907457500031605/237322836342977182870815459678\ 1450288*c_1001_12^7 - 290708533897200114030122789446315458223/47464\ 56726859543657416309193562900576*c_1001_12^6 - 186136202720642134353614443545716843485/474645672685954365741630919\ 3562900576*c_1001_12^5 + 955067724278648583998667748738146746303/47\ 46456726859543657416309193562900576*c_1001_12^4 - 1034463210346761392040470748234015110787/94929134537190873148326183\ 87125801152*c_1001_12^3 + 2831620416438602417805696658333636661/949\ 2913453719087314832618387125801152*c_1001_12^2 - 15478167580996099013560065024822230329/9492913453719087314832618387\ 125801152*c_1001_12 + 17613229222179206637230368929278755539/949291\ 3453719087314832618387125801152, c_0011_11 + 3240817475290850214292861/257420455651657839576650072*c_100\ 1_12^19 - 24755736205132526697807435/257420455651657839576650072*c_\ 1001_12^18 + 81823552105568622528439041/257420455651657839576650072\ *c_1001_12^17 - 119701769767097421678360573/25742045565165783957665\ 0072*c_1001_12^16 - 88057787000415881209927643/25742045565165783957\ 6650072*c_1001_12^15 + 693693813462442751894468661/2574204556516578\ 39576650072*c_1001_12^14 - 157365463292640182668537907/321775569564\ 57229947081259*c_1001_12^13 + 616892197676177246872229099/128710227\ 825828919788325036*c_1001_12^12 + 271095153601223751849486905/25742\ 0455651657839576650072*c_1001_12^11 - 2359943533702576267033467889/257420455651657839576650072*c_1001_12^\ 10 + 2321667874700957348784733767/257420455651657839576650072*c_100\ 1_12^9 - 6629160563857624730786918539/257420455651657839576650072*c\ _1001_12^8 - 23311058973204974077881755/64355113912914459894162518*\ c_1001_12^7 + 13072723394979176025368641129/12871022782582891978832\ 5036*c_1001_12^6 + 8505699119646501395537159631/1287102278258289197\ 88325036*c_1001_12^5 - 43046869418982839415115356017/12871022782582\ 8919788325036*c_1001_12^4 + 45111012908372734798204904017/257420455\ 651657839576650072*c_1001_12^3 + 1691265972680410658711274593/25742\ 0455651657839576650072*c_1001_12^2 + 905857915777010233067633115/257420455651657839576650072*c_1001_12 - 1380816732336041340764941545/257420455651657839576650072, c_0011_12 - 185216299185134244441249844638043667/9492913453719087314832\ 618387125801152*c_1001_12^19 + 140811854597653856913868688162275560\ 5/9492913453719087314832618387125801152*c_1001_12^18 - 4624916826348424174062689508149596047/94929134537190873148326183871\ 25801152*c_1001_12^17 + 6667832877268145976251602378305956091/94929\ 13453719087314832618387125801152*c_1001_12^16 + 5300623518080528535092730446701359013/94929134537190873148326183871\ 25801152*c_1001_12^15 - 39506179751372271612135494531768987275/9492\ 913453719087314832618387125801152*c_1001_12^14 + 8813616496579549760978674768809935671/11866141817148859143540772983\ 90725144*c_1001_12^13 - 33820071561287937973210332692045305221/4746\ 456726859543657416309193562900576*c_1001_12^12 - 18697927454994585034103003968681625703/9492913453719087314832618387\ 125801152*c_1001_12^11 + 135007960675899654644953683838418599383/94\ 92913453719087314832618387125801152*c_1001_12^10 - 128014903622449038803371458930008882921/949291345371908731483261838\ 7125801152*c_1001_12^9 + 372701879523577441334976849391054999757/94\ 92913453719087314832618387125801152*c_1001_12^8 + 5332068065325315249346111479094605537/23732283634297718287081545967\ 81450288*c_1001_12^7 - 748112260955570016421775691236134843243/4746\ 456726859543657416309193562900576*c_1001_12^6 - 509676151788487982495994037994647861873/474645672685954365741630919\ 3562900576*c_1001_12^5 + 2444889537628386475037145788588142655667/4\ 746456726859543657416309193562900576*c_1001_12^4 - 2409624656102751797710805945025696328143/94929134537190873148326183\ 87125801152*c_1001_12^3 - 244816002162461224981060422541532890551/9\ 492913453719087314832618387125801152*c_1001_12^2 + 1109067870623240877525145958495114883/94929134537190873148326183871\ 25801152*c_1001_12 + 82074288357123475222020165862708052895/9492913\ 453719087314832618387125801152, c_0011_6 - 210521458510321162906343206463301713/94929134537190873148326\ 18387125801152*c_1001_12^19 + 1608422954971061114968812721685677751\ /9492913453719087314832618387125801152*c_1001_12^18 - 5317418289398051304193952679717574469/94929134537190873148326183871\ 25801152*c_1001_12^17 + 7784465427963188847717588122166220457/94929\ 13453719087314832618387125801152*c_1001_12^16 + 5694663507245314638808846805725228375/94929134537190873148326183871\ 25801152*c_1001_12^15 - 45002989017378412359216259905180668841/9492\ 913453719087314832618387125801152*c_1001_12^14 + 10208883533104489851650704526416579169/1186614181714885914354077298\ 390725144*c_1001_12^13 - 40018460519235187422906031950364855879/474\ 6456726859543657416309193562900576*c_1001_12^12 - 17511882205470698687427963769092538525/9492913453719087314832618387\ 125801152*c_1001_12^11 + 152854772327168053671890241829942791229/94\ 92913453719087314832618387125801152*c_1001_12^10 - 149920936244299679021342686492689279635/949291345371908731483261838\ 7125801152*c_1001_12^9 + 429410265777034757126219377860577914815/94\ 92913453719087314832618387125801152*c_1001_12^8 + 1689688340236883422599065693890803939/23732283634297718287081545967\ 81450288*c_1001_12^7 - 850375932588628873678161692721745050129/4746\ 456726859543657416309193562900576*c_1001_12^6 - 550687667063517828018704721127759710131/474645672685954365741630919\ 3562900576*c_1001_12^5 + 2795351414115708069400575299094683269625/4\ 746456726859543657416309193562900576*c_1001_12^4 - 2913837962710950947509297628615280109413/94929134537190873148326183\ 87125801152*c_1001_12^3 - 135755486336781967702770791708430217069/9\ 492913453719087314832618387125801152*c_1001_12^2 - 61473707574639444014420714560540617919/9492913453719087314832618387\ 125801152*c_1001_12 + 109719136234695344569807426375811225125/94929\ 13453719087314832618387125801152, c_0101_0 - 21748132063051179754148869520945/185880427916958827390495758\ 5103936*c_1001_12^19 + 162719636984154252450531273973015/1858804279\ 169588273904957585103936*c_1001_12^18 - 524574031380168781992154265111781/185880427916958827390495758510393\ 6*c_1001_12^17 + 727646825309171101384331761134729/1858804279169588\ 273904957585103936*c_1001_12^16 + 685782033525771816699335875200695\ /1858804279169588273904957585103936*c_1001_12^15 - 4524398408850092938748753222316169/18588042791695882739049575851039\ 36*c_1001_12^14 + 970804108621252127074425349743295/232350534896198\ 534238119698137992*c_1001_12^13 - 359659947340793785195813782667983\ 1/929402139584794136952478792551968*c_1001_12^12 - 2764765594012989694430927503430157/18588042791695882739049575851039\ 36*c_1001_12^11 + 15234932161124305167834996161682061/1858804279169\ 588273904957585103936*c_1001_12^10 - 13327726933529441795921346315780579/1858804279169588273904957585103\ 936*c_1001_12^9 + 42631618040541581668429250253880591/1858804279169\ 588273904957585103936*c_1001_12^8 + 1844012624252483257299974070963611/46470106979239706847623939627598\ 4*c_1001_12^7 - 86460860614334479772375325986323281/929402139584794\ 136952478792551968*c_1001_12^6 - 6951281234716906730996645358178878\ 7/929402139584794136952478792551968*c_1001_12^5 + 274867626615169794981519209216818681/929402139584794136952478792551\ 968*c_1001_12^4 - 225982134194596082316343044606549349/185880427916\ 9588273904957585103936*c_1001_12^3 - 36526264860144373817872382755030125/1858804279169588273904957585103\ 936*c_1001_12^2 - 7518717240222778685973722315670895/18588042791695\ 88273904957585103936*c_1001_12 + 8994854183782467267157707120422277\ /1858804279169588273904957585103936, c_0101_1 + 131570936717159643601121441223289409/94929134537190873148326\ 18387125801152*c_1001_12^19 - 1005416917651284489769709117085590199\ /9492913453719087314832618387125801152*c_1001_12^18 + 3324388045764641917214087023852682533/94929134537190873148326183871\ 25801152*c_1001_12^17 - 4868072163416500799776911030444727881/94929\ 13453719087314832618387125801152*c_1001_12^16 - 3555515804990579983496422293410852583/94929134537190873148326183871\ 25801152*c_1001_12^15 + 28126963361915148953385887957406564857/9492\ 913453719087314832618387125801152*c_1001_12^14 - 6380511188293705144797048876010806343/11866141817148859143540772983\ 90725144*c_1001_12^13 + 25000803402627954468892007968250920599/4746\ 456726859543657416309193562900576*c_1001_12^12 + 10988459909314765449114552501027718685/9492913453719087314832618387\ 125801152*c_1001_12^11 - 95633642459739981270438846402313223517/949\ 2913453719087314832618387125801152*c_1001_12^10 + 93706722323492484772238654685075612067/9492913453719087314832618387\ 125801152*c_1001_12^9 - 268144833308932329749252017837118975695/949\ 2913453719087314832618387125801152*c_1001_12^8 - 1109521615734483580958980797930681099/23732283634297718287081545967\ 81450288*c_1001_12^7 + 532216236711147718688756497264413150545/4746\ 456726859543657416309193562900576*c_1001_12^6 + 343208128374467386730959451693476452827/474645672685954365741630919\ 3562900576*c_1001_12^5 - 1747619888314872183591624700532083621457/4\ 746456726859543657416309193562900576*c_1001_12^4 + 1818088801241491770159430890514275692341/94929134537190873148326183\ 87125801152*c_1001_12^3 + 91237007423295660560620667619166524493/94\ 92913453719087314832618387125801152*c_1001_12^2 + 35991814611772871993338383757799256351/9492913453719087314832618387\ 125801152*c_1001_12 - 61561429054297900431154539959317242229/949291\ 3453719087314832618387125801152, c_0101_11 + 1375438928824932996089067233109181/949291345371908731483261\ 8387125801152*c_1001_12^19 + 1885014791007722529274888513845221/949\ 2913453719087314832618387125801152*c_1001_12^18 - 59108680036487556746763045830171391/9492913453719087314832618387125\ 801152*c_1001_12^17 + 255536587136628093997241936183838971/94929134\ 53719087314832618387125801152*c_1001_12^16 - 470672815108920538619059526047442123/949291345371908731483261838712\ 5801152*c_1001_12^15 - 92240800990490605046647606783844203/94929134\ 53719087314832618387125801152*c_1001_12^14 + 269248554984968293209230284178568081/118661418171488591435407729839\ 0725144*c_1001_12^13 - 2104737108712123584593742868749436725/474645\ 6726859543657416309193562900576*c_1001_12^12 + 4550010772147025540306883788408348377/94929134537190873148326183871\ 25801152*c_1001_12^11 + 528350535153805242638237130757367335/949291\ 3453719087314832618387125801152*c_1001_12^10 - 8455905629497472862858483922778626441/94929134537190873148326183871\ 25801152*c_1001_12^9 + 6182789232070256791217720330759383757/949291\ 3453719087314832618387125801152*c_1001_12^8 - 6309004385264610343748933380121519143/23732283634297718287081545967\ 81450288*c_1001_12^7 + 4732099650865458236279827817520313757/474645\ 6726859543657416309193562900576*c_1001_12^6 + 53503671581444622731745570128841155647/4746456726859543657416309193\ 562900576*c_1001_12^5 + 17167704017734962164731134212445962211/4746\ 456726859543657416309193562900576*c_1001_12^4 - 311861499288547324189238001535829838847/949291345371908731483261838\ 7125801152*c_1001_12^3 + 163631255590220195918560504247622653001/94\ 92913453719087314832618387125801152*c_1001_12^2 + 18226836406838652129146223933204900307/9492913453719087314832618387\ 125801152*c_1001_12 - 7483430022660741032884320488159436401/9492913\ 453719087314832618387125801152, c_0101_2 - 1575661812138800109350291544687/2323505348961985342381196981\ 37992*c_1001_12^19 + 12214493255936048225906772866833/2323505348961\ 98534238119698137992*c_1001_12^18 - 40985795480398719040409726140191/232350534896198534238119698137992*\ c_1001_12^17 + 61624604228815891652541670638083/2323505348961985342\ 38119698137992*c_1001_12^16 + 39312139071241734506392837112869/2323\ 50534896198534238119698137992*c_1001_12^15 - 345181942879547071740281253595675/232350534896198534238119698137992\ *c_1001_12^14 + 80260412663986664174945852000298/290438168620248167\ 79764962267249*c_1001_12^13 - 318722941042679777710369677076537/116\ 175267448099267119059849068996*c_1001_12^12 - 109031397690116974925611029175815/232350534896198534238119698137992\ *c_1001_12^11 + 1196370697571042010035015573928035/2323505348961985\ 34238119698137992*c_1001_12^10 - 1216439232587934329556709152978085\ /232350534896198534238119698137992*c_1001_12^9 + 3244813273654110262023575492214129/23235053489619853423811969813799\ 2*c_1001_12^8 - 55968791703732097992306373070313/580876337240496335\ 59529924534498*c_1001_12^7 - 6529204665155694740510768225766563/116\ 175267448099267119059849068996*c_1001_12^6 - 3498446121190765249430346317265681/11617526744809926711905984906899\ 6*c_1001_12^5 + 21873139182411191624906255214309649/116175267448099\ 267119059849068996*c_1001_12^4 - 2501304567974420678098967880935269\ 5/232350534896198534238119698137992*c_1001_12^3 - 1603050028009741805832260992526559/23235053489619853423811969813799\ 2*c_1001_12^2 + 495348858259100504000017309069867/23235053489619853\ 4238119698137992*c_1001_12 + 799459631697248397479384171505663/2323\ 50534896198534238119698137992, c_0101_6 + 201864343826436293650723838411538931/94929134537190873148326\ 18387125801152*c_1001_12^19 - 1516206525018356276038306746913871877\ /9492913453719087314832618387125801152*c_1001_12^18 + 4908258366339493342291706402295408719/94929134537190873148326183871\ 25801152*c_1001_12^17 - 6864378012984985022746890596468166859/94929\ 13453719087314832618387125801152*c_1001_12^16 - 6258688686278890801132950511225535701/94929134537190873148326183871\ 25801152*c_1001_12^15 + 42280966135770609353444055977297584171/9492\ 913453719087314832618387125801152*c_1001_12^14 - 9142308555420122429226043922911952443/11866141817148859143540772983\ 90725144*c_1001_12^13 + 34066361032252675103810633102418957565/4746\ 456726859543657416309193562900576*c_1001_12^12 + 24763230808888802898532963444698382679/9492913453719087314832618387\ 125801152*c_1001_12^11 - 143060686933594016665484303073749229351/94\ 92913453719087314832618387125801152*c_1001_12^10 + 126997816471974429214181665317857549001/949291345371908731483261838\ 7125801152*c_1001_12^9 - 397552313014194136061516464445432318957/94\ 92913453719087314832618387125801152*c_1001_12^8 - 14479921256342044915268089812261805889/2373228363429771828708154596\ 781450288*c_1001_12^7 + 807517380895912965955535257134999524587/474\ 6456726859543657416309193562900576*c_1001_12^6 + 625765934738965455159835813118257618153/474645672685954365741630919\ 3562900576*c_1001_12^5 - 2582924791405318481736719289329782821867/4\ 746456726859543657416309193562900576*c_1001_12^4 + 2200754149840885187915839778353990747391/94929134537190873148326183\ 87125801152*c_1001_12^3 + 343077513795374094864652676277455342583/9\ 492913453719087314832618387125801152*c_1001_12^2 + 57491818745841823211015561307461305885/9492913453719087314832618387\ 125801152*c_1001_12 - 87234899952801713171848502741476275439/949291\ 3453719087314832618387125801152, c_0101_8 + 131570936717159643601121441223289409/94929134537190873148326\ 18387125801152*c_1001_12^19 - 1005416917651284489769709117085590199\ /9492913453719087314832618387125801152*c_1001_12^18 + 3324388045764641917214087023852682533/94929134537190873148326183871\ 25801152*c_1001_12^17 - 4868072163416500799776911030444727881/94929\ 13453719087314832618387125801152*c_1001_12^16 - 3555515804990579983496422293410852583/94929134537190873148326183871\ 25801152*c_1001_12^15 + 28126963361915148953385887957406564857/9492\ 913453719087314832618387125801152*c_1001_12^14 - 6380511188293705144797048876010806343/11866141817148859143540772983\ 90725144*c_1001_12^13 + 25000803402627954468892007968250920599/4746\ 456726859543657416309193562900576*c_1001_12^12 + 10988459909314765449114552501027718685/9492913453719087314832618387\ 125801152*c_1001_12^11 - 95633642459739981270438846402313223517/949\ 2913453719087314832618387125801152*c_1001_12^10 + 93706722323492484772238654685075612067/9492913453719087314832618387\ 125801152*c_1001_12^9 - 268144833308932329749252017837118975695/949\ 2913453719087314832618387125801152*c_1001_12^8 - 1109521615734483580958980797930681099/23732283634297718287081545967\ 81450288*c_1001_12^7 + 532216236711147718688756497264413150545/4746\ 456726859543657416309193562900576*c_1001_12^6 + 343208128374467386730959451693476452827/474645672685954365741630919\ 3562900576*c_1001_12^5 - 1747619888314872183591624700532083621457/4\ 746456726859543657416309193562900576*c_1001_12^4 + 1818088801241491770159430890514275692341/94929134537190873148326183\ 87125801152*c_1001_12^3 + 91237007423295660560620667619166524493/94\ 92913453719087314832618387125801152*c_1001_12^2 + 35991814611772871993338383757799256351/9492913453719087314832618387\ 125801152*c_1001_12 - 52068515600578813116321921572191441077/949291\ 3453719087314832618387125801152, c_1001_0 + 1575661812138800109350291544687/2323505348961985342381196981\ 37992*c_1001_12^19 - 12214493255936048225906772866833/2323505348961\ 98534238119698137992*c_1001_12^18 + 40985795480398719040409726140191/232350534896198534238119698137992*\ c_1001_12^17 - 61624604228815891652541670638083/2323505348961985342\ 38119698137992*c_1001_12^16 - 39312139071241734506392837112869/2323\ 50534896198534238119698137992*c_1001_12^15 + 345181942879547071740281253595675/232350534896198534238119698137992\ *c_1001_12^14 - 80260412663986664174945852000298/290438168620248167\ 79764962267249*c_1001_12^13 + 318722941042679777710369677076537/116\ 175267448099267119059849068996*c_1001_12^12 + 109031397690116974925611029175815/232350534896198534238119698137992\ *c_1001_12^11 - 1196370697571042010035015573928035/2323505348961985\ 34238119698137992*c_1001_12^10 + 1216439232587934329556709152978085\ /232350534896198534238119698137992*c_1001_12^9 - 3244813273654110262023575492214129/23235053489619853423811969813799\ 2*c_1001_12^8 + 55968791703732097992306373070313/580876337240496335\ 59529924534498*c_1001_12^7 + 6529204665155694740510768225766563/116\ 175267448099267119059849068996*c_1001_12^6 + 3498446121190765249430346317265681/11617526744809926711905984906899\ 6*c_1001_12^5 - 21873139182411191624906255214309649/116175267448099\ 267119059849068996*c_1001_12^4 + 2501304567974420678098967880935269\ 5/232350534896198534238119698137992*c_1001_12^3 + 1603050028009741805832260992526559/23235053489619853423811969813799\ 2*c_1001_12^2 - 495348858259100504000017309069867/23235053489619853\ 4238119698137992*c_1001_12 - 799459631697248397479384171505663/2323\ 50534896198534238119698137992, c_1001_12^20 - 8*c_1001_12^19 + 28*c_1001_12^18 - 46*c_1001_12^17 - 14*c_1001_12^16 + 224*c_1001_12^15 - 465*c_1001_12^14 + 518*c_1001_12^13 - 49*c_1001_12^12 - 762*c_1001_12^11 + 976*c_1001_12^10 - 2290*c_1001_12^9 + 691*c_1001_12^8 + 8110*c_1001_12^7 + 2308*c_1001_12^6 - 28504*c_1001_12^5 + 23431*c_1001_12^4 - 4088*c_1001_12^3 - 222*c_1001_12^2 - 532*c_1001_12 + 181 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.950 Total time: 1.159 seconds, Total memory usage: 32.09MB