Magma V2.19-8 Wed Aug 21 2013 01:06:52 on localhost [Seed = 3381645624] Type ? for help. Type -D to quit. Loading file "L14n32861__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n32861 geometric_solution 11.73867943 oriented_manifold CS_known 0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 0132 0132 2031 1 1 0 1 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 1 0 -1 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.114111107000 1.021156606631 0 0 5 4 0132 1302 0132 0132 1 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 0 0 0 0 0 0 0 -1 0 1 0 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.891917943566 0.967203884771 6 0 6 7 0132 0132 3012 0132 1 1 1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.449406605713 0.748769293865 6 8 4 0 2031 0132 3012 0132 1 1 1 1 0 0 0 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 -1 0 1 -1 0 0 1 0 3 0 -3 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.053395048717 0.752145221331 7 3 1 9 3120 1230 0132 0132 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.412567002733 0.363875134516 10 10 8 1 0132 1230 1023 0132 1 1 0 1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 2 -1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.256675376737 0.486213721313 2 2 3 10 0132 1230 1302 2031 1 1 0 1 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 2 -2 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.637402118621 0.866823211502 11 9 2 4 0132 2103 0132 3120 1 1 1 1 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 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.570566442709 0.860822733276 11 3 5 12 3012 0132 1023 0132 1 1 1 1 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 0 0 0 0 2 -3 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.778083856651 1.159490627675 11 7 4 12 2103 2103 0132 3201 1 1 1 1 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 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.922537721022 0.523557905066 5 6 5 11 0132 1302 3012 2031 1 1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 -2 0 0 0 0 -1 1 0 0 -2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.150885751503 1.608455800593 7 10 9 8 0132 1302 2103 1230 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.812156505342 2.056189895880 12 9 8 12 3012 2310 0132 1230 1 1 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 0 0 0 0 0 0 0 0 0 0 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.166825336934 1.062215406183 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_9'], 'c_1001_10' : d['c_0011_10'], 'c_1001_12' : negation(d['c_0011_4']), 'c_1001_5' : d['c_0101_8'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_0011_9'], 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : d['c_0011_9'], 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : negation(d['c_0011_11']), 'c_1001_8' : d['c_0011_9'], 'c_1010_12' : d['c_0101_12'], 'c_1010_11' : d['c_0101_8'], 'c_1010_10' : d['c_0011_11'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_1'], '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' : negation(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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_12']), 'c_1100_4' : negation(d['c_0011_12']), 'c_1100_7' : negation(d['c_0101_0']), 'c_1100_6' : negation(d['c_0011_11']), 'c_1100_1' : negation(d['c_0011_12']), 'c_1100_0' : negation(d['c_1001_4']), 'c_1100_3' : negation(d['c_1001_4']), 'c_1100_2' : negation(d['c_0101_0']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0011_12']), 'c_1100_11' : d['c_0101_12'], 'c_1100_10' : negation(d['c_0101_8']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_4']), 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_11']), 'c_1010_3' : d['c_0011_9'], 'c_1010_2' : d['c_0011_9'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : d['c_0011_4'], 'c_1010_8' : negation(d['c_0011_4']), 'c_1100_8' : d['c_0011_12'], 's_3_1' : negation(d['1']), 's_3_0' : 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' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_12'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : 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' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_3']), 'c_0110_10' : d['c_0011_9'], 'c_0110_12' : d['c_0011_12'], 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0011_9'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_11']), 'c_0101_2' : d['c_0011_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_11'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_12']), 'c_0110_8' : d['c_0101_12'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_11'], 'c_0110_6' : 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_12, c_0011_3, c_0011_4, c_0011_9, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_8, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 94649194740471099512379398988125644850338616546419637056357/1036941\ 7531913919576291309687199520295268781843940811461390*c_1001_4^20 + 6422806921951425732845514466647227344975377306662971430030957/10369\ 417531913919576291309687199520295268781843940811461390*c_1001_4^19 + 165446192188825545111622276771437679670204923066555010938036391/103\ 69417531913919576291309687199520295268781843940811461390*c_1001_4^1\ 8 + 167687675281957092192353619420382539490322053932374083960995868\ /740672680850994255449379263371394306804912988852915104385*c_1001_4\ ^17 + 2381450575894279713604718496144569794080485803461687436238219\ 479/1152157503545991064032367743022168921696531315993423495710*c_10\ 01_4^16 + 137301792214286458594750272113399193534373356093243314222\ 471673961/103694175319139195762913096871995202952687818439408114613\ 90*c_1001_4^15 + 12778522758902026573902568647855700574703890892192\ 164607479090131/203321912390469011299829601709794515593505526351780\ 616890*c_1001_4^14 + 1188257505504372072723682303625179137810122624\ 352735863071655692637/518470876595695978814565484359976014763439092\ 1970405730695*c_1001_4^13 + 341239303838865304393737961337632445188\ 6405908845206980172577122558/51847087659569597881456548435997601476\ 34390921970405730695*c_1001_4^12 + 1569709042518907115915635798088787432784869583058109077256787758587\ 9/10369417531913919576291309687199520295268781843940811461390*c_100\ 1_4^11 + 5414113092535226890043507811125190010730002314411279348086\ 76828193/192026250590998510672061290503694820282755219332237249285*\ c_1001_4^10 + 31697349074666319880565339762757820885536010919003182\ 35503247092033/7406726808509942554493792633713943068049129888529151\ 04385*c_1001_4^9 + 550137365569478193137305498217322430987362895354\ 2670793456170539551/10369417531913919576291309687199520295268781843\ 94081146139*c_1001_4^8 + 264764614229643893506609755266578534689498\ 7699053806374914297677033/49378178723399617029958617558092953786994\ 1992568610069590*c_1001_4^7 + 4552113009244433932302233891289551125\ 9228471659185292127630097708861/10369417531913919576291309687199520\ 295268781843940811461390*c_1001_4^6 + 584889102448708986152587417438735317014612914334391681050473528409/\ 203321912390469011299829601709794515593505526351780616890*c_1001_4^\ 5 + 255555355002992695425699626481377537995233999150792459049575192\ 6853/1728236255318986596048551614533253382544796973990135243565*c_1\ 001_4^4 + 299090490247836181796979101928940935652354156854835305963\ 8674080071/51847087659569597881456548435997601476343909219704057306\ 95*c_1001_4^3 + 167317422854198760102549097852309525121629184130398\ 5473998871416237/10369417531913919576291309687199520295268781843940\ 811461390*c_1001_4^2 + 36664974602920466134537417285415735541595906\ 79537965363892876864/1264563113648038972718452400877990279910827054\ 13912334895*c_1001_4 + 13132847129724931346018926953788941570496634\ 849558664706720842924/518470876595695978814565484359976014763439092\ 1970405730695, c_0011_0 - 1, c_0011_10 - 163415511330651196726952099703195198611/1756705014540512497\ 28748021067751709110*c_1001_4^20 - 1104562692828883473357733676496067967015/17567050145405124972874802\ 106775170911*c_1001_4^19 - 1413361749225751699495591744737558646060\ 49/87835250727025624864374010533875854555*c_1001_4^18 - 283994658083860164739670323855246746425162/125478929610036606949105\ 72933410836365*c_1001_4^17 - 71797738595637786386097787921066215503\ 10717/35134100290810249945749604213550341822*c_1001_4^16 - 113455062250299619421251830700042697333790499/878352507270256248643\ 74010533875854555*c_1001_4^15 - 62365935760129238726126751176322014\ 29930928/1033355890906183821933811888633833583*c_1001_4^14 - 1898499342487136069165743914956931156728572221/87835250727025624864\ 374010533875854555*c_1001_4^13 - 5342045370982975566872695805149188\ 314288501028/87835250727025624864374010533875854555*c_1001_4^12 - 24023089914912114875825940755033601195847541151/1756705014540512497\ 28748021067751709110*c_1001_4^11 - 8729010345997532830189492994516031004559437985/35134100290810249945\ 749604213550341822*c_1001_4^10 - 4606039156118788800007342984441581\ 399553131109/12547892961003660694910572933410836365*c_1001_4^9 - 77661894004675834831783282919115630603799830299/1756705014540512497\ 28748021067751709110*c_1001_4^8 - 108730758653952199917783825406185\ 3740955257279/2509578592200732138982114586682167273*c_1001_4^7 - 30161117979426320512251814294131657926241729764/8783525072702562486\ 4374010533875854555*c_1001_4^6 - 2247234181526227696313906376014250\ 923756800277/10333558909061838219338118886338335830*c_1001_4^5 - 3789702072455010864377816928230838143412221049/35134100290810249945\ 749604213550341822*c_1001_4^4 - 35601640439642300120675094935494987\ 30586426358/87835250727025624864374010533875854555*c_1001_4^3 - 191452738987264275391218633880678187365235278/175670501454051249728\ 74802106775170911*c_1001_4^2 - 402288583883065940049325844462348103\ 6432087/2142323188464039630838390500826240355*c_1001_4 - 2753867137863663530030159190654768770089214/17567050145405124972874\ 802106775170911, c_0011_11 - 200411301008734089314100788350092627553/1756705014540512497\ 28748021067751709110*c_1001_4^20 - 13543227419117543789578867358663871737099/1756705014540512497287480\ 21067751709110*c_1001_4^19 - 34647976459256034447035696448346936596\ 2969/175670501454051249728748021067751709110*c_1001_4^18 - 347996656878421696136285662279525623429964/125478929610036606949105\ 72933410836365*c_1001_4^17 - 43980179745842018471540845738422233442\ 192407/175670501454051249728748021067751709110*c_1001_4^16 - 277977630555296443509310292611713867361115869/175670501454051249728\ 748021067751709110*c_1001_4^15 - 7641331634313920369966438086054664\ 9072549811/10333558909061838219338118886338335830*c_1001_4^14 - 2326983507662218165335021345640183191494526753/87835250727025624864\ 374010533875854555*c_1001_4^13 - 6551669078462074279068651630365892\ 295558420808/87835250727025624864374010533875854555*c_1001_4^12 - 29487409761143077001752501860903678102035161817/1756705014540512497\ 28748021067751709110*c_1001_4^11 - 26814997846986428222554631879988813900167338367/8783525072702562486\ 4374010533875854555*c_1001_4^10 - 566716356452482897593689160595219\ 8005539214482/12547892961003660694910572933410836365*c_1001_4^9 - 47849814400647168887406593381296690375934735473/8783525072702562486\ 4374010533875854555*c_1001_4^8 - 1342197330858613531493659288884834\ 9705721131793/25095785922007321389821145866821672730*c_1001_4^7 - 74610619340689212209328167486321707221732017109/1756705014540512497\ 28748021067751709110*c_1001_4^6 - 278567957042547380279546344507604\ 3527863783817/10333558909061838219338118886338335830*c_1001_4^5 - 11773217777604674815867246930918731379265650318/8783525072702562486\ 4374010533875854555*c_1001_4^4 - 4436180301552653763496142570281302\ 947412278304/87835250727025624864374010533875854555*c_1001_4^3 - 2392961744050331080874522470983265254027426379/17567050145405124972\ 8748021067751709110*c_1001_4^2 - 5045830016006618558522745611857190\ 817712901/2142323188464039630838390500826240355*c_1001_4 - 17341542621356205840879341310225421400298878/8783525072702562486437\ 4010533875854555, c_0011_12 - 15007071901881196422012474264750761159/87835250727025624864\ 374010533875854555*c_1001_4^20 - 1021501270442868839054152662611174\ 083506/87835250727025624864374010533875854555*c_1001_4^19 - 26430796819414176897347360124392489040767/8783525072702562486437401\ 0533875854555*c_1001_4^18 - 215297123183082207275543396481797704264\ 29/5019157184401464277964229173364334546*c_1001_4^17 - 6906083980793781123310129619716479072454991/17567050145405124972874\ 8021067751709110*c_1001_4^16 - 221725904004015986519566425838145247\ 37382862/87835250727025624864374010533875854555*c_1001_4^15 - 6192785023027972984691272330387840008520424/51667794545309191096690\ 59443169167915*c_1001_4^14 - 76625103373030484018318224897829429453\ 4329471/175670501454051249728748021067751709110*c_1001_4^13 - 2190387469035323878366216582830519100215709977/17567050145405124972\ 8748021067751709110*c_1001_4^12 - 500144518751758300710297461516343\ 645366965817/17567050145405124972874802106775170911*c_1001_4^11 - 4611564715626178392249895724685903823609887826/87835250727025624864\ 374010533875854555*c_1001_4^10 - 9874597434108952189280592042425093\ 94997698697/12547892961003660694910572933410836365*c_1001_4^9 - 16881471464972833020149054924965912837412534419/1756705014540512497\ 28748021067751709110*c_1001_4^8 - 119756182519343320887160610073506\ 9047503005742/12547892961003660694910572933410836365*c_1001_4^7 - 13458600308751336802386670683627936778288659159/1756705014540512497\ 28748021067751709110*c_1001_4^6 - 507590991001202447937146590932108\ 246385612709/10333558909061838219338118886338335830*c_1001_4^5 - 4331261729856959946372772098824214568286037303/17567050145405124972\ 8748021067751709110*c_1001_4^4 - 8233054565837368168169702505120193\ 49526157219/87835250727025624864374010533875854555*c_1001_4^3 - 447861310804162568972840370520620148404579437/175670501454051249728\ 748021067751709110*c_1001_4^2 - 95199131413240870143375806264676502\ 9435501/2142323188464039630838390500826240355*c_1001_4 - 6594804147418062035664563414113393960841733/17567050145405124972874\ 8021067751709110, c_0011_3 - 131743249925927015602101413377548273771/17567050145405124972\ 8748021067751709110*c_1001_4^20 - 890410164884473627466464270535575\ 7256273/175670501454051249728748021067751709110*c_1001_4^19 - 113922613856240366975442014091588118062644/878352507270256248643740\ 10533875854555*c_1001_4^18 - 22889935461212583827248007166403427537\ 5063/12547892961003660694910572933410836365*c_1001_4^17 - 14467939881125444373627838176350392805870727/8783525072702562486437\ 4010533875854555*c_1001_4^16 - 182934122667126688033046882977851997\ 185057873/175670501454051249728748021067751709110*c_1001_4^15 - 25148973374170663355155150429622505799633316/5166779454530919109669\ 059443169167915*c_1001_4^14 - 1532007133601541052455424324664814625\ 725298311/87835250727025624864374010533875854555*c_1001_4^13 - 8628310562004580488646361459211251332513570267/17567050145405124972\ 8748021067751709110*c_1001_4^12 - 194199210249135606480025220257153\ 33363651726469/175670501454051249728748021067751709110*c_1001_4^11 - 17662286532975089279178681000517504151333181169/8783525072702562486\ 4374010533875854555*c_1001_4^10 - 746646366250904740569728173953843\ 6079473717053/25095785922007321389821145866821672730*c_1001_4^9 - 63048006723878153456885260294865296274689856637/1756705014540512497\ 28748021067751709110*c_1001_4^8 - 442161585228665841279362448849554\ 4782017934213/12547892961003660694910572933410836365*c_1001_4^7 - 49160908408599734864828660448893511888601685663/1756705014540512497\ 28748021067751709110*c_1001_4^6 - 183554578966657138384011690124190\ 6433756397259/10333558909061838219338118886338335830*c_1001_4^5 - 15515394221353915745278707595154456155881460857/1756705014540512497\ 28748021067751709110*c_1001_4^4 - 584610928476040040347505648519011\ 8452817240971/175670501454051249728748021067751709110*c_1001_4^3 - 788327190632211935185825418533776027649751424/878352507270256248643\ 74010533875854555*c_1001_4^2 - 664833901806089604997734732460011695\ 9132619/4284646376928079261676781001652480710*c_1001_4 - 22844521360804864722715216246817952072507427/1756705014540512497287\ 48021067751709110, c_0011_4 - 1658193951391807243565492782176436299/2066711781812367643867\ 623777267667166*c_1001_4^20 - 2802988555726919517354497642001559729\ 44/5166779454530919109669059443169167915*c_1001_4^19 - 1435483629224478164494797193527939818510/10333558909061838219338118\ 88633833583*c_1001_4^18 - 14433828831086545881909713775034925935646\ /738111350647274158524151349024166845*c_1001_4^17 - 1826506604379036792406570749148899721904239/10333558909061838219338\ 118886338335830*c_1001_4^16 - 1156068671443492283014142909499666386\ 883187/1033355890906183821933811888633833583*c_1001_4^15 - 27052640735428611594383127480970214505085327/5166779454530919109669\ 059443169167915*c_1001_4^14 - 1941436488736490030392132622762053129\ 0463341/1033355890906183821933811888633833583*c_1001_4^13 - 273751056689041369148231622207995444232829283/516677945453091910966\ 9059443169167915*c_1001_4^12 - 123414977342833556365335680207637134\ 8408636103/10333558909061838219338118886338335830*c_1001_4^11 - 2248478448691722181273375979862420852104311423/10333558909061838219\ 338118886338335830*c_1001_4^10 - 4760453795067797171759275935222039\ 1370006656/147622270129454831704830269804833369*c_1001_4^9 - 4026766552400210301620128710929188289133082643/10333558909061838219\ 338118886338335830*c_1001_4^8 - 28291019674111079203930216074387265\ 6439584198/738111350647274158524151349024166845*c_1001_4^7 - 315139320848826875409133383662231291338634275/103335589090618382193\ 3811888633833583*c_1001_4^6 - 2004232003175868129051622870433763579\ 609756549/10333558909061838219338118886338335830*c_1001_4^5 - 998595815348824774695898048764964133343913037/103335589090618382193\ 38118886338335830*c_1001_4^4 - 377083976587292686819679529330681567\ 10785787/1033355890906183821933811888633833583*c_1001_4^3 - 50966712941285746412612717188878509930068024/5166779454530919109669\ 059443169167915*c_1001_4^2 - 43091033551015351328174668091353239306\ 511/25203802217223995656922241186191063*c_1001_4 - 742398684790479190304092984093662618704511/516677945453091910966905\ 9443169167915, c_0011_9 + 113734379914656091476378997136115811511/17567050145405124972\ 8748021067751709110*c_1001_4^20 + 769389804701270164323071129578863\ 9192061/175670501454051249728748021067751709110*c_1001_4^19 + 98582073300441772344611650281371717414519/8783525072702562486437401\ 0533875854555*c_1001_4^18 + 396884078192966502745747095912947761107\ 403/25095785922007321389821145866821672730*c_1001_4^17 + 25140119592170010409745171079108128349619413/1756705014540512497287\ 48021067751709110*c_1001_4^16 + 15932367575550282560101287569670474\ 9630406913/175670501454051249728748021067751709110*c_1001_4^15 + 21961063040695000591678280921206410579845792/5166779454530919109669\ 059443169167915*c_1001_4^14 + 2683174709360752556055682172016975979\ 184595117/175670501454051249728748021067751709110*c_1001_4^13 + 3789187242905229956087503487358852327199913149/87835250727025624864\ 374010533875854555*c_1001_4^12 + 1710998363287410389343151254163224\ 1964485339787/175670501454051249728748021067751709110*c_1001_4^11 + 15611889300194640561785554324899559090438460363/8783525072702562486\ 4374010533875854555*c_1001_4^10 + 662187290643044161815310786617663\ 8576892310663/25095785922007321389821145866821672730*c_1001_4^9 + 5611037737502066159083364993617507668989839033/17567050145405124972\ 874802106775170911*c_1001_4^8 + 39491753370477837943978259924148116\ 45774962706/12547892961003660694910572933410836365*c_1001_4^7 + 22035225984861759782705560729418425174563488964/8783525072702562486\ 4374010533875854555*c_1001_4^6 + 8258811553412214915605411559213826\ 80606732253/5166779454530919109669059443169167915*c_1001_4^5 + 7008587829379426830383534683100322074106888447/87835250727025624864\ 374010533875854555*c_1001_4^4 + 53033997033776971856468318779648765\ 81146260151/175670501454051249728748021067751709110*c_1001_4^3 + 1436510468897592993863564076113277442077060681/17567050145405124972\ 8748021067751709110*c_1001_4^2 + 6085499991923837977594874506828756\ 037567309/4284646376928079261676781001652480710*c_1001_4 + 10508143127810088135647782700175676219292937/8783525072702562486437\ 4010533875854555, c_0101_0 - 1, c_0101_1 + 31967029181361747327326306950101123638/878352507270256248643\ 74010533875854555*c_1001_4^20 + 43175018248614352436723527966842512\ 9245/17567050145405124972874802106775170911*c_1001_4^19 + 55159576073111602411480181122981250909619/8783525072702562486437401\ 0533875854555*c_1001_4^18 + 110595285470361170949099670829547619976\ 982/12547892961003660694910572933410836365*c_1001_4^17 + 2788089146241466850254677995363724374274097/35134100290810249945749\ 604213550341822*c_1001_4^16 + 4390195207321413478522914880103160045\ 4235394/87835250727025624864374010533875854555*c_1001_4^15 + 2403028481530690133039607067381043360598650/10333558909061838219338\ 11888633833583*c_1001_4^14 + 72787997930687674463054319024760336403\ 2760966/87835250727025624864374010533875854555*c_1001_4^13 + 4072992592086997788204629174788030521970464201/17567050145405124972\ 8748021067751709110*c_1001_4^12 + 454983089081548691597364736496426\ 7005028217643/87835250727025624864374010533875854555*c_1001_4^11 + 1641539563045224079918149868012299401760412084/17567050145405124972\ 874802106775170911*c_1001_4^10 + 1718977777540147142657265943425807\ 678936716594/12547892961003660694910572933410836365*c_1001_4^9 + 14370096328591662536284678214886499357891637067/8783525072702562486\ 4374010533875854555*c_1001_4^8 + 7974806986519151177201643906370027\ 00041501077/5019157184401464277964229173364334546*c_1001_4^7 + 21907206824351785898983701975481958600422450513/1756705014540512497\ 28748021067751709110*c_1001_4^6 + 403834660208585607831211408653609\ 605020241716/5166779454530919109669059443169167915*c_1001_4^5 + 1346916074784917817770713737196659146731260347/35134100290810249945\ 749604213550341822*c_1001_4^4 + 12501864937369396741034735734790383\ 98506418963/87835250727025624864374010533875854555*c_1001_4^3 + 66353030728154092277700528844764705484640992/1756705014540512497287\ 4802106775170911*c_1001_4^2 + 2748067001062197136176379161791435673\ 740759/4284646376928079261676781001652480710*c_1001_4 + 1849905199641432516027082264095285513167683/35134100290810249945749\ 604213550341822, c_0101_11 + 101017972019709800865802355067716392967/1756705014540512497\ 28748021067751709110*c_1001_4^20 + 6817397848320956889291709870511349352349/17567050145405124972874802\ 1067751709110*c_1001_4^19 + 174042952573811549314306037186208913000\ 971/175670501454051249728748021067751709110*c_1001_4^18 + 174351626936679197738105988772017381108007/125478929610036606949105\ 72933410836365*c_1001_4^17 + 10985176461036086552214134943794549344\ 103626/87835250727025624864374010533875854555*c_1001_4^16 + 138432069176167098007981266999478812679306191/175670501454051249728\ 748021067751709110*c_1001_4^15 + 3793209695004612253795735680024459\ 8816630231/10333558909061838219338118886338335830*c_1001_4^14 + 1151435237413464708768882105295876594849089447/87835250727025624864\ 374010533875854555*c_1001_4^13 + 1292670418678624911158144517080254\ 397395772565/35134100290810249945749604213550341822*c_1001_4^12 + 14500417299868746032011653736286675743265233151/1756705014540512497\ 28748021067751709110*c_1001_4^11 + 13147418059599992999931671811208036065714988612/8783525072702562486\ 4374010533875854555*c_1001_4^10 + 277081283415162504273327528656709\ 9823133075188/12547892961003660694910572933410836365*c_1001_4^9 + 23332793915928949936845246752246594481179777131/8783525072702562486\ 4374010533875854555*c_1001_4^8 + 3264286730193541245752529790034390\ 174519252204/12547892961003660694910572933410836365*c_1001_4^7 + 18103412090960259382029727882785504237636145653/8783525072702562486\ 4374010533875854555*c_1001_4^6 + 2697811531347389162054958316897737\ 22039722061/2066711781812367643867623777267667166*c_1001_4^5 + 11379116115612193922380069464909724275557640661/1756705014540512497\ 28748021067751709110*c_1001_4^4 + 213991943914281916657340149575184\ 6148092128781/87835250727025624864374010533875854555*c_1001_4^3 + 1152398794229881938614853049940758449709786199/17567050145405124972\ 8748021067751709110*c_1001_4^2 + 4852768427818939825210698061704906\ 479397123/4284646376928079261676781001652480710*c_1001_4 + 16657297338662090505780828677111684467643501/1756705014540512497287\ 48021067751709110, c_0101_12 + 14030062834705221121017124683683635982/87835250727025624864\ 374010533875854555*c_1001_4^20 + 9429255922140549494021222698470104\ 85476/87835250727025624864374010533875854555*c_1001_4^19 + 47827978554732630113140224507080215148487/1756705014540512497287480\ 21067751709110*c_1001_4^18 + 95050029961766957104942571422778514126\ 059/25095785922007321389821145866821672730*c_1001_4^17 + 2966968326511735313017486217595448283435538/87835250727025624864374\ 010533875854555*c_1001_4^16 + 1851197026031483425610076659184735752\ 2857521/87835250727025624864374010533875854555*c_1001_4^15 + 10043165392471942540715868281700880178159233/1033355890906183821933\ 8118886338335830*c_1001_4^14 + 603582227791341926343903930053826143\ 319388633/175670501454051249728748021067751709110*c_1001_4^13 + 838612875162906711572410988323546912410792179/878352507270256248643\ 74010533875854555*c_1001_4^12 + 18632549574439572846522016915757964\ 50910545998/87835250727025624864374010533875854555*c_1001_4^11 + 3347454503903361536584144951338270592505493246/87835250727025624864\ 374010533875854555*c_1001_4^10 + 1398492059133553105830616266593709\ 364654629527/25095785922007321389821145866821672730*c_1001_4^9 + 5839241645334469358755781313072222755990166119/87835250727025624864\ 374010533875854555*c_1001_4^8 + 16210856185301183493192676940439041\ 97070473179/25095785922007321389821145866821672730*c_1001_4^7 + 8925051191728315816155681725484513379362904407/17567050145405124972\ 8748021067751709110*c_1001_4^6 + 3302662342723184009411288221549471\ 59690322221/10333558909061838219338118886338335830*c_1001_4^5 + 1384334279466260535718532442340965860611170779/87835250727025624864\ 374010533875854555*c_1001_4^4 + 10353097175010294852832046648173348\ 05210821989/175670501454051249728748021067751709110*c_1001_4^3 + 138635712776533473698971274422283134532077566/878352507270256248643\ 74010533875854555*c_1001_4^2 + 116171360777872095085725968011017213\ 6194781/4284646376928079261676781001652480710*c_1001_4 + 1984182094899329975098434353327570982657714/87835250727025624864374\ 010533875854555, c_0101_8 + 47106537719209447620972982279521976113/175670501454051249728\ 748021067751709110*c_1001_4^20 + 1589283321006721124619407524964905\ 304617/87835250727025624864374010533875854555*c_1001_4^19 + 40564235649271827281609237214587073588467/8783525072702562486437401\ 0533875854555*c_1001_4^18 + 812570882724589851811272243214187651807\ 39/12547892961003660694910572933410836365*c_1001_4^17 + 5119252809060434805380575437360432758220021/87835250727025624864374\ 010533875854555*c_1001_4^16 + 3225860973058075550604281556076000617\ 5022507/87835250727025624864374010533875854555*c_1001_4^15 + 8842049097837185842181633726578125307273153/51667794545309191096690\ 59443169167915*c_1001_4^14 + 53711462422529967799746744227848827870\ 0051273/87835250727025624864374010533875854555*c_1001_4^13 + 3017606218121404910006957669331026064341482851/17567050145405124972\ 8748021067751709110*c_1001_4^12 + 677791687485344463299523552070793\ 4877217441657/175670501454051249728748021067751709110*c_1001_4^11 + 12309362455010102881255303235554378992585724439/1756705014540512497\ 28748021067751709110*c_1001_4^10 + 1299457088984628170916341344356374606128989577/12547892961003660694\ 910572933410836365*c_1001_4^9 + 21932138752493173845890299818713464\ 304349143581/175670501454051249728748021067751709110*c_1001_4^8 + 3075880695906313280948844998816040556790366223/25095785922007321389\ 821145866821672730*c_1001_4^7 + 17105774012800380732348008660920912\ 612672494289/175670501454051249728748021067751709110*c_1001_4^6 + 639243869288655895113384116732562584248900387/103335589090618382193\ 38118886338335830*c_1001_4^5 + 270537799782430861103241287041558123\ 5963935663/87835250727025624864374010533875854555*c_1001_4^4 + 1021288245000303386971641082926943046182769174/87835250727025624864\ 374010533875854555*c_1001_4^3 + 27610498942779493539489703256981037\ 1737511642/87835250727025624864374010533875854555*c_1001_4^2 + 2335674305286252731729785064523108722198237/42846463769280792616767\ 81001652480710*c_1001_4 + 80568353697608400451337071021540964341041\ 61/175670501454051249728748021067751709110, c_1001_4^21 + 69*c_1001_4^20 + 1825*c_1001_4^19 + 26770*c_1001_4^18 + 254048*c_1001_4^17 + 1699414*c_1001_4^16 + 8456587*c_1001_4^15 + 32452648*c_1001_4^14 + 98460879*c_1001_4^13 + 240295114*c_1001_4^12 + 477312146*c_1001_4^11 + 777429358*c_1001_4^10 + 1042172508*c_1001_4^9 + 1150145798*c_1001_4^8 + 1041462071*c_1001_4^7 + 767919116*c_1001_4^6 + 455062707*c_1001_4^5 + 212190739*c_1001_4^4 + 75241809*c_1001_4^3 + 19145701*c_1001_4^2 + 3127966*c_1001_4 + 247823 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.140 Total time: 1.350 seconds, Total memory usage: 32.09MB