Magma V2.19-8 Wed Aug 21 2013 00:05:51 on localhost [Seed = 3120551722] Type ? for help. Type -D to quit. Loading file "K13n2150__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2150 geometric_solution 11.77215038 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.897674824883 0.630904736236 0 5 2 6 0132 0132 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 -2 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.010312052572 1.064155959483 1 0 8 7 2103 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 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.613503293221 0.130137356703 9 10 11 0 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 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.984825223178 1.160328840902 11 8 0 12 2310 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 1 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.459956978884 0.639003477622 9 1 6 9 2103 0132 2103 3201 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 -1 1 0 0 0 0 0 1 0 -1 -1 -2 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.165762823193 0.898907675612 5 9 1 7 2103 2310 0132 3120 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 1 -1 0 0 -3 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.195304225127 1.065405723934 6 11 2 10 3120 3012 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.796718493551 1.089254028292 12 4 10 2 3201 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 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.362226588333 0.872965761176 3 5 5 6 0132 2310 2103 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 0 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.165762823193 0.898907675612 7 3 12 8 3012 0132 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.563124891216 1.299084616208 7 12 4 3 1230 0132 3201 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.802401008748 0.723543836275 10 11 4 8 2103 0132 0132 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 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.512354025804 0.795295388037 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0011_10'], 'c_1001_11' : negation(d['c_0101_1']), 'c_1001_10' : negation(d['c_0011_11']), 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_0011_6'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : d['c_0011_6'], 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : negation(d['c_0011_11']), 'c_1001_3' : d['c_1001_12'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_0'], 'c_1001_8' : d['c_1001_12'], 'c_1010_12' : negation(d['c_0101_1']), 'c_1010_11' : d['c_1001_12'], 'c_1010_10' : d['c_1001_12'], 's_3_11' : d['1'], 's_0_11' : 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' : negation(d['c_0101_10']), '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' : negation(d['1']), 's_2_6' : negation(d['1']), 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0101_8'], 'c_0011_12' : negation(d['c_0011_11']), 'c_1100_5' : negation(d['c_0011_10']), 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_7' : d['c_0101_8'], 'c_1100_6' : negation(d['c_0101_7']), 'c_1100_1' : negation(d['c_0101_7']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0101_8'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_4']), 'c_1100_10' : d['c_0101_8'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_10'], 'c_1010_6' : negation(d['c_0011_7']), 'c_1010_5' : negation(d['c_0011_0']), 'c_1010_4' : d['c_1001_12'], 'c_1010_3' : negation(d['c_0011_11']), 'c_1010_2' : negation(d['c_0011_11']), 'c_1010_1' : d['c_0011_6'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_6']), 'c_1010_8' : d['c_1001_2'], 's_3_1' : negation(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_0011_4']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_7'], 'c_0110_10' : d['c_0101_8'], 'c_0110_12' : negation(d['c_0101_8']), 'c_0101_12' : d['c_0101_10'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_7'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], '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_0011_7'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_6']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_4, c_0011_6, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_7, c_0101_8, c_1001_12, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 18553259273571715960089379554562144839856326498/4376127516672694739\ 70485758644899632373132735*c_1001_2^18 + 63013578067463838231570516753199000138758414046/1312838255001808421\ 911457275934698897119398205*c_1001_2^17 + 2504876823922688401888618890354375597313033448/64671835221763961670\ 51513674555166980883735*c_1001_2^16 + 620915758558698488201817113555424294021729074917/131283825500180842\ 1911457275934698897119398205*c_1001_2^15 + 43514423315601860318178086372534543189036658689/3750966442862309776\ 8898779312419968489125663*c_1001_2^14 + 1903713632794565504434370227909606496667356839469/13128382550018084\ 21911457275934698897119398205*c_1001_2^13 + 291252357838686354818990477435449941365064872078/262567651000361684\ 382291455186939779423879641*c_1001_2^12 + 592879669713026168997456105825204870788288919407/131283825500180842\ 1911457275934698897119398205*c_1001_2^11 - 3133033751491677368279205592368158934210791297852/13128382550018084\ 21911457275934698897119398205*c_1001_2^10 - 8064940937542014403205144363643418375566151761368/13128382550018084\ 21911457275934698897119398205*c_1001_2^9 - 9420886423003162516112143853803432045785061332883/13128382550018084\ 21911457275934698897119398205*c_1001_2^8 - 1221588972006210669338974950275043918576529073101/10098755807706218\ 6300881328918053761316876785*c_1001_2^7 - 1312838002051933822880946913853497534090841290888/13128382550018084\ 21911457275934698897119398205*c_1001_2^6 - 258485215457930055777397532775986453261496541110/875225503334538947\ 94097151728979926474626547*c_1001_2^5 + 2224270606825346002338010221020653649472721043431/87522550333453894\ 794097151728979926474626547*c_1001_2^4 + 6733144856560471361453948213160662018632540530907/43761275166726947\ 3970485758644899632373132735*c_1001_2^3 + 3175866308464896105371685451778730932403185251174/69096750263253074\ 837445119786036784058915695*c_1001_2^2 + 19316352883174469554210999004164048979058925371844/1312838255001808\ 421911457275934698897119398205*c_1001_2 + 12905420754725046424220156034064826458859285142796/4376127516672694\ 73970485758644899632373132735, c_0011_0 - 1, c_0011_10 + 29640793144763143197/1169042659709276230550527*c_1001_2^18 - 12386892394979884967485/1169042659709276230550527*c_1001_2^17 - 14772965389154084903003/1169042659709276230550527*c_1001_2^16 - 90894043975637653800390/1169042659709276230550527*c_1001_2^15 - 113339279542655772253591/1169042659709276230550527*c_1001_2^14 - 168060116187849864822912/1169042659709276230550527*c_1001_2^13 - 182205839090529302803496/1169042659709276230550527*c_1001_2^12 + 38228884537099586688110/1169042659709276230550527*c_1001_2^11 + 359634082482788567695957/1169042659709276230550527*c_1001_2^10 + 800268936749911077425383/1169042659709276230550527*c_1001_2^9 + 1296767046072093475497604/1169042659709276230550527*c_1001_2^8 + 839461425728138371493800/1169042659709276230550527*c_1001_2^7 + 971595553290093075267139/1169042659709276230550527*c_1001_2^6 - 1837434881453872449191056/1169042659709276230550527*c_1001_2^5 - 1365184719375105553405864/1169042659709276230550527*c_1001_2^4 - 5505520980800858984382701/1169042659709276230550527*c_1001_2^3 - 1983539233404552007547262/1169042659709276230550527*c_1001_2^2 - 3376669009767977783988079/1169042659709276230550527*c_1001_2 + 486773644290916876943230/1169042659709276230550527, c_0011_11 + 11664914545054676360307/1169042659709276230550527*c_1001_2^\ 18 + 9309575436043018740029/1169042659709276230550527*c_1001_2^17 + 91519323194878294210313/1169042659709276230550527*c_1001_2^16 + 78804103914913430499963/1169042659709276230550527*c_1001_2^15 + 186028794216935571763447/1169042659709276230550527*c_1001_2^14 + 172185248689764195484757/1169042659709276230550527*c_1001_2^13 - 33228281786700744479292/1169042659709276230550527*c_1001_2^12 - 184555178955311980362453/1169042659709276230550527*c_1001_2^11 - 670526837392717375484345/1169042659709276230550527*c_1001_2^10 - 1137481416202455184435135/1169042659709276230550527*c_1001_2^9 - 553255313843337704635159/1169042659709276230550527*c_1001_2^8 - 1170715085039264850378190/1169042659709276230550527*c_1001_2^7 + 1799524205374777881039708/1169042659709276230550527*c_1001_2^6 + 15145230097526764400211/1169042659709276230550527*c_1001_2^5 + 5350415130038845874004473/1169042659709276230550527*c_1001_2^4 - 50776816914584087310561/1169042659709276230550527*c_1001_2^3 + 5350283948937701543727710/1169042659709276230550527*c_1001_2^2 - 2261922059817498628919008/1169042659709276230550527*c_1001_2 + 2306188630469684179700302/1169042659709276230550527, c_0011_4 + 4651655371445059699719/1169042659709276230550527*c_1001_2^18 + 18971420699524581847728/1169042659709276230550527*c_1001_2^17 + 50714912666117303549968/1169042659709276230550527*c_1001_2^16 + 142971879093610815153350/1169042659709276230550527*c_1001_2^15 + 194984209588600233324552/1169042659709276230550527*c_1001_2^14 + 262314637327024123826748/1169042659709276230550527*c_1001_2^13 + 235115889858501018405452/1169042659709276230550527*c_1001_2^12 - 147961631637745043536391/1169042659709276230550527*c_1001_2^11 - 613481546610812768525280/1169042659709276230550527*c_1001_2^10 - 1221515504490115199608161/1169042659709276230550527*c_1001_2^9 - 1789009315757387348389041/1169042659709276230550527*c_1001_2^8 - 1208656333283209339248351/1169042659709276230550527*c_1001_2^7 - 432310130925493114645393/1169042659709276230550527*c_1001_2^6 + 1916971868191731553746148/1169042659709276230550527*c_1001_2^5 + 3510602272422888609881654/1169042659709276230550527*c_1001_2^4 + 6156281332953561856303771/1169042659709276230550527*c_1001_2^3 + 4304264390205121071870861/1169042659709276230550527*c_1001_2^2 + 4496931566561062551123708/1169042659709276230550527*c_1001_2 + 448492294417164156665013/1169042659709276230550527, c_0011_6 + 3726470901581616679252/1169042659709276230550527*c_1001_2^18 + 10398494484931652593883/1169042659709276230550527*c_1001_2^17 + 34543077781468948367095/1169042659709276230550527*c_1001_2^16 + 79810981930018857971783/1169042659709276230550527*c_1001_2^15 + 108769153440142829455370/1169042659709276230550527*c_1001_2^14 + 150340976244443304590179/1169042659709276230550527*c_1001_2^13 + 103579259154289603454887/1169042659709276230550527*c_1001_2^12 - 101351744354532194170777/1169042659709276230550527*c_1001_2^11 - 362878632727620056326427/1169042659709276230550527*c_1001_2^10 - 751514973958175544148574/1169042659709276230550527*c_1001_2^9 - 899674694384518267478764/1169042659709276230550527*c_1001_2^8 - 737659821992880543825046/1169042659709276230550527*c_1001_2^7 - 95934076371572295447393/1169042659709276230550527*c_1001_2^6 + 1045211167340884319594993/1169042659709276230550527*c_1001_2^5 + 1975351924643251181350505/1169042659709276230550527*c_1001_2^4 + 2753628789897466981324010/1169042659709276230550527*c_1001_2^3 + 2441553730689969163543778/1169042659709276230550527*c_1001_2^2 + 1617624868735824573522531/1169042659709276230550527*c_1001_2 + 587310715788185988837202/1169042659709276230550527, c_0011_7 + 1514963675389638442022/1169042659709276230550527*c_1001_2^18 - 941688920568628126673/1169042659709276230550527*c_1001_2^17 + 13459983424943684063036/1169042659709276230550527*c_1001_2^16 + 6999900850289114984527/1169042659709276230550527*c_1001_2^15 + 33085277870264853984793/1169042659709276230550527*c_1001_2^14 + 69363192721492182729423/1169042659709276230550527*c_1001_2^13 + 16161996850607499930983/1169042659709276230550527*c_1001_2^12 + 47870632120680422221273/1169042659709276230550527*c_1001_2^11 - 15705312637664726318653/1169042659709276230550527*c_1001_2^10 - 182975717302694091293465/1169042659709276230550527*c_1001_2^9 - 164837681102073760545227/1169042659709276230550527*c_1001_2^8 - 443804486848183590923325/1169042659709276230550527*c_1001_2^7 + 93662668444146768966052/1169042659709276230550527*c_1001_2^6 - 40098606061343760980307/1169042659709276230550527*c_1001_2^5 + 637077975647150965706277/1169042659709276230550527*c_1001_2^4 + 344602493498274480912568/1169042659709276230550527*c_1001_2^3 + 835171511528654628748891/1169042659709276230550527*c_1001_2^2 - 139106627192215082013454/1169042659709276230550527*c_1001_2 - 346677994500392152011756/1169042659709276230550527, c_0101_0 - 1477089222866611495454/1169042659709276230550527*c_1001_2^18 - 8468656232709503649924/1169042659709276230550527*c_1001_2^17 - 22704097377988678173540/1169042659709276230550527*c_1001_2^16 - 63414635223613482764313/1169042659709276230550527*c_1001_2^15 - 99035328002794471190986/1169042659709276230550527*c_1001_2^14 - 123183483063069974512436/1169042659709276230550527*c_1001_2^13 - 90498916183421657666121/1169042659709276230550527*c_1001_2^12 + 40448934779213272862555/1169042659709276230550527*c_1001_2^11 + 297294688413931301179478/1169042659709276230550527*c_1001_2^10 + 660495384389075050887090/1169042659709276230550527*c_1001_2^9 + 767125370619127827522667/1169042659709276230550527*c_1001_2^8 + 592710515373361532674224/1169042659709276230550527*c_1001_2^7 + 189397111770479609185179/1169042659709276230550527*c_1001_2^6 - 1154929139069724222775687/1169042659709276230550527*c_1001_2^5 - 1571299067665481271709218/1169042659709276230550527*c_1001_2^4 - 2980557088459221923629060/1169042659709276230550527*c_1001_2^3 - 2315772083789760099542154/1169042659709276230550527*c_1001_2^2 - 897926981825571537435486/1169042659709276230550527*c_1001_2 - 292908401163428981215429/1169042659709276230550527, c_0101_1 + 3142341892013761906857/1169042659709276230550527*c_1001_2^18 + 7249118113290205589938/1169042659709276230550527*c_1001_2^17 + 31848121201807324807770/1169042659709276230550527*c_1001_2^16 + 59239681117794150529161/1169042659709276230550527*c_1001_2^15 + 106251985252302685224343/1169042659709276230550527*c_1001_2^14 + 130095906240809600617952/1169042659709276230550527*c_1001_2^13 + 83342919715209627182456/1169042659709276230550527*c_1001_2^12 - 48609633231300054084986/1169042659709276230550527*c_1001_2^11 - 358920858581390968836050/1169042659709276230550527*c_1001_2^10 - 646023733064260108282621/1169042659709276230550527*c_1001_2^9 - 724927480901209890678740/1169042659709276230550527*c_1001_2^8 - 750300794531024574718328/1169042659709276230550527*c_1001_2^7 + 286567557541973375128431/1169042659709276230550527*c_1001_2^6 + 592463879887907981409782/1169042659709276230550527*c_1001_2^5 + 2182642492075087554634983/1169042659709276230550527*c_1001_2^4 + 2270338433586728540805249/1169042659709276230550527*c_1001_2^3 + 2202791506550903661505088/1169042659709276230550527*c_1001_2^2 + 717987189346148853146822/1169042659709276230550527*c_1001_2 + 406005395298542660339957/1169042659709276230550527, c_0101_10 - 6594873210618393727244/1169042659709276230550527*c_1001_2^1\ 8 - 11743473573962182427863/1169042659709276230550527*c_1001_2^17 - 56436731135973332645653/1169042659709276230550527*c_1001_2^16 - 93875119086229053563842/1169042659709276230550527*c_1001_2^15 - 151495426350333623162178/1169042659709276230550527*c_1001_2^14 - 187490638699277399192808/1169042659709276230550527*c_1001_2^13 - 91133924238228444657417/1169042659709276230550527*c_1001_2^12 + 147493224893063285776820/1169042659709276230550527*c_1001_2^11 + 527356164436875280799194/1169042659709276230550527*c_1001_2^10 + 985350699031197316401592/1169042659709276230550527*c_1001_2^9 + 979358340250171932946088/1169042659709276230550527*c_1001_2^8 + 940631550739730289240817/1169042659709276230550527*c_1001_2^7 - 406829325133182305424217/1169042659709276230550527*c_1001_2^6 - 1126402037311922318507764/1169042659709276230550527*c_1001_2^5 - 3804144148370381672585706/1169042659709276230550527*c_1001_2^4 - 2803666285527635224649126/1169042659709276230550527*c_1001_2^3 - 4233155918071539443442815/1169042659709276230550527*c_1001_2^2 - 744752518021433073088618/1169042659709276230550527*c_1001_2 - 1084843873933319365364659/1169042659709276230550527, c_0101_7 - 4469076356815447796984/1169042659709276230550527*c_1001_2^18 - 9072579869544016204276/1169042659709276230550527*c_1001_2^17 - 39334331237232666270083/1169042659709276230550527*c_1001_2^16 - 66922918940653757138917/1169042659709276230550527*c_1001_2^15 - 101372253994093929776579/1169042659709276230550527*c_1001_2^14 - 117273504866758048398071/1169042659709276230550527*c_1001_2^13 - 34964339690138055818887/1169042659709276230550527*c_1001_2^12 + 120614444326934259411430/1169042659709276230550527*c_1001_2^11 + 352923531924142406660258/1169042659709276230550527*c_1001_2^10 + 749471493659318668005556/1169042659709276230550527*c_1001_2^9 + 676936620870332374623898/1169042659709276230550527*c_1001_2^8 + 498230019238257757696607/1169042659709276230550527*c_1001_2^7 - 253175811105603554195151/1169042659709276230550527*c_1001_2^6 - 1048036956803136824411497/1169042659709276230550527*c_1001_2^5 - 2402664550437780258475105/1169042659709276230550527*c_1001_2^4 - 2112069950118167538089620/1169042659709276230550527*c_1001_2^3 - 2640440494965283577830034/1169042659709276230550527*c_1001_2^2 + 412724688255308245253075/1169042659709276230550527*c_1001_2 - 86276683645504818166616/1169042659709276230550527, c_0101_8 - 2263591874330735952541/1169042659709276230550527*c_1001_2^18 - 8673770353229043230501/1169042659709276230550527*c_1001_2^17 - 24303325043669214909272/1169042659709276230550527*c_1001_2^16 - 67517139602240529899163/1169042659709276230550527*c_1001_2^15 - 96322630239874381862757/1169042659709276230550527*c_1001_2^14 - 140956343886866123345854/1169042659709276230550527*c_1001_2^13 - 131014483239189341444337/1169042659709276230550527*c_1001_2^12 + 33047208512872479829961/1169042659709276230550527*c_1001_2^11 + 289563431396116976032606/1169042659709276230550527*c_1001_2^10 + 679536697515045465178362/1169042659709276230550527*c_1001_2^9 + 898660241991893117204444/1169042659709276230550527*c_1001_2^8 + 793011294612665702581791/1169042659709276230550527*c_1001_2^7 + 332755200949610808204013/1169042659709276230550527*c_1001_2^6 - 938185134924984578086385/1169042659709276230550527*c_1001_2^5 - 1777430852370620533200044/1169042659709276230550527*c_1001_2^4 - 3363299150554397908397391/1169042659709276230550527*c_1001_2^3 - 2323407602119701957639580/1169042659709276230550527*c_1001_2^2 - 2333540263440599446874275/1169042659709276230550527*c_1001_2 - 660923380927531534073643/1169042659709276230550527, c_1001_12 - 2763027005049796433478/1169042659709276230550527*c_1001_2^1\ 8 - 9201562796237364899140/1169042659709276230550527*c_1001_2^17 - 33638895300250639170784/1169042659709276230550527*c_1001_2^16 - 78836684674452713790001/1169042659709276230550527*c_1001_2^15 - 139156285934382392329884/1169042659709276230550527*c_1001_2^14 - 194686143534496512175350/1169042659709276230550527*c_1001_2^13 - 178446389944029666854661/1169042659709276230550527*c_1001_2^12 - 9905146681102503577090/1169042659709276230550527*c_1001_2^11 + 334988624387983663569173/1169042659709276230550527*c_1001_2^10 + 822970920394169840114721/1169042659709276230550527*c_1001_2^9 + 1207221280166051518407527/1169042659709276230550527*c_1001_2^8 + 1203182667444193085521765/1169042659709276230550527*c_1001_2^7 + 490196006993431585370770/1169042659709276230550527*c_1001_2^6 - 455162828468980403520653/1169042659709276230550527*c_1001_2^5 - 2555467336094424313222810/1169042659709276230550527*c_1001_2^4 - 3694829789937039259938311/1169042659709276230550527*c_1001_2^3 - 4118508967336878293988382/1169042659709276230550527*c_1001_2^2 - 2592441213310818212042747/1169042659709276230550527*c_1001_2 - 1236451355262156088665701/1169042659709276230550527, c_1001_2^19 + c_1001_2^18 + 9*c_1001_2^17 + 10*c_1001_2^16 + 26*c_1001_2^15 + 31*c_1001_2^14 + 22*c_1001_2^13 + 8*c_1001_2^12 - 57*c_1001_2^11 - 138*c_1001_2^10 - 151*c_1001_2^9 - 266*c_1001_2^8 + 9*c_1001_2^7 - 69*c_1001_2^6 + 605*c_1001_2^5 + 289*c_1001_2^4 + 1042*c_1001_2^3 + 224*c_1001_2^2 + 654*c_1001_2 - 71 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 15.640 Total time: 15.849 seconds, Total memory usage: 64.12MB