Magma V2.19-8 Wed Aug 21 2013 00:34:55 on localhost [Seed = 2664992708] Type ? for help. Type -D to quit. Loading file "K14n21977__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n21977 geometric_solution 11.60408926 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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 1.159862965801 1.154941646669 0 4 2 5 0132 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 1 -1 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.756542569384 0.872551764370 1 0 3 0 2103 0132 2310 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -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.586799305626 0.332424679205 6 2 7 0 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 10 -1 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.756542569384 0.872551764370 6 1 8 9 3201 0132 0132 0132 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 0 1 -10 0 0 10 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.349360030000 0.304581881215 10 11 1 7 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 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.477469246847 0.638542666830 3 7 10 4 0132 3120 0132 2310 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 0 0 -10 0 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.776670017774 0.415118271600 12 6 5 3 0132 3120 0132 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 0 0 0 0 -9 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.448701732729 0.576621166536 12 11 11 4 2310 0321 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.427868798994 1.064648974038 12 10 4 12 1302 1230 0132 1023 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 1 -1 0 9 0 -10 1 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.373727407849 1.417830097755 5 11 9 6 0132 3201 3012 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 -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.133185423460 1.219854122967 8 5 10 8 2103 0132 2310 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.215519550470 0.817726416191 7 9 8 9 0132 2031 3201 1023 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 0 -1 0 0 0 0 0 1 0 -1 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.260679765972 0.590157740739 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0011_9']), 'c_1001_12' : negation(d['c_0011_9']), 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_1001_11'], 'c_1001_6' : negation(d['c_1001_11']), 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_3'], 'c_1001_2' : negation(d['c_1001_0']), 'c_1001_9' : negation(d['c_0011_0']), 'c_1001_8' : d['c_0011_10'], 'c_1010_12' : d['c_0011_9'], 'c_1010_11' : d['c_1001_4'], 'c_1010_10' : negation(d['c_1001_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'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0011_9'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(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_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0110_2']), 'c_1100_4' : d['c_0011_8'], 'c_1100_7' : negation(d['c_0110_2']), 'c_1100_6' : d['c_0011_0'], 'c_1100_1' : negation(d['c_0110_2']), 'c_1100_0' : negation(d['c_0110_2']), 'c_1100_3' : negation(d['c_0110_2']), 'c_1100_2' : d['c_0011_3'], 's_3_11' : d['1'], 'c_1100_9' : d['c_0011_8'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : d['c_0011_0'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_3'], 'c_1010_6' : d['c_0011_12'], 'c_1010_5' : d['c_1001_11'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_1001_0']), 'c_1010_9' : d['c_0101_10'], 'c_1010_8' : d['c_1001_4'], 'c_1100_8' : d['c_0011_8'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_8']), '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' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_12']), 'c_0011_6' : negation(d['c_0011_3']), '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_8']), 'c_0110_10' : d['c_0101_0'], 'c_0110_12' : d['c_0101_10'], 'c_0101_7' : d['c_0101_10'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0101_12']), 'c_0101_3' : d['c_0101_12'], 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_12']), 'c_0101_8' : d['c_0011_9'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_9'], 'c_0110_8' : negation(d['c_0101_12']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : negation(d['c_0011_12']), 'c_0110_7' : d['c_0101_12'], 'c_0110_6' : d['c_0101_12'], 's_2_9' : d['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_12, c_0011_3, c_0011_8, c_0011_9, c_0101_0, c_0101_10, c_0101_12, c_0110_2, c_1001_0, c_1001_11, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 531634341136159604132258498053890214171433/592447191709785709098198\ 4154597857124776400*c_1001_4^29 - 437467604995550855127461591719123\ 373101123/1481117979274464272745496038649464281194100*c_1001_4^28 + 3290482736201601189675069741443158362334451/14811179792744642727454\ 96038649464281194100*c_1001_4^27 - 37141808308673187707029165619445913298170203/5924471917097857090981\ 984154597857124776400*c_1001_4^26 + 142695288102927644608651881536682998064931679/592447191709785709098\ 1984154597857124776400*c_1001_4^25 - 86739558191538903096671550578982061975562953/1481117979274464272745\ 496038649464281194100*c_1001_4^24 + 178492223050321964650448404758288417809949201/118489438341957141819\ 6396830919571424955280*c_1001_4^23 - 1874060469532309719099759295377437212670328869/59244719170978570909\ 81984154597857124776400*c_1001_4^22 + 3562364796285464543588616329926434487070328051/59244719170978570909\ 81984154597857124776400*c_1001_4^21 - 6451174819042177734724479770920670908080207837/59244719170978570909\ 81984154597857124776400*c_1001_4^20 + 277742956220220658584195833585692284344220891/174249174032289914440\ 646592782289915434600*c_1001_4^19 - 14635487344627257346833374491772192261823625219/5924471917097857090\ 981984154597857124776400*c_1001_4^18 + 16631427669113228789165643053861632342797168149/5924471917097857090\ 981984154597857124776400*c_1001_4^17 - 21639503219222933532085061974795943431977190761/5924471917097857090\ 981984154597857124776400*c_1001_4^16 + 18545749922866258019589830891898868677756118653/5924471917097857090\ 981984154597857124776400*c_1001_4^15 - 9660473746927108216432221119933910193784826973/29622359585489285454\ 90992077298928562388200*c_1001_4^14 + 137141723515127266902323721466439564051698654/740558989637232136372\ 74801932473214059705*c_1001_4^13 - 3785719567198408432833082291044034070797689661/29622359585489285454\ 90992077298928562388200*c_1001_4^12 + 284327304334927283151300708774669270069022431/592447191709785709098\ 1984154597857124776400*c_1001_4^11 + 158770474293450827589083934131586673759405776/370279494818616068186\ 374009662366070298525*c_1001_4^10 - 1974635407099915047994877232399348852934675807/29622359585489285454\ 90992077298928562388200*c_1001_4^9 + 2828312489098531159661007223113703750080167/43562293508072478610161\ 64819557247885865*c_1001_4^8 - 509573892254190806518445955824941545\ 419953149/1481117979274464272745496038649464281194100*c_1001_4^7 + 142703048746425046104134624173072705786625773/740558989637232136372\ 748019324732140597050*c_1001_4^6 - 17885563770594865004645465594744163693008271/5924471917097857090981\ 98415459785712477640*c_1001_4^5 - 152055775835632759530879972597874\ 17075330071/1481117979274464272745496038649464281194100*c_1001_4^4 + 63961028590248799555124492400130990965370101/5924471917097857090981\ 984154597857124776400*c_1001_4^3 - 2027448969303037863871525879751808849971017/74055898963723213637274\ 8019324732140597050*c_1001_4^2 - 1030938962519133577446157395821122\ 320059573/2962235958548928545490992077298928562388200*c_1001_4 + 394813789541602316440213799775357056278207/592447191709785709098198\ 4154597857124776400, c_0011_0 - 1, c_0011_10 - 2183575184795534057504494185471/538876697655321110958063333\ 53770*c_1001_4^29 + 9254189884959238421918869025367/538876697655321\ 11095806333353770*c_1001_4^28 - 61597738297252776710115924644997/53\ 887669765532111095806333353770*c_1001_4^27 + 102841563651804579534067124616693/26943834882766055547903166676885*\ c_1001_4^26 - 746421477072509571663592062622741/5388766976553211109\ 5806333353770*c_1001_4^25 + 403584935040479122602450611108167/10777\ 533953106422219161266670754*c_1001_4^24 - 2581538827641174718007579947774088/26943834882766055547903166676885\ *c_1001_4^23 + 11484155157244435833998997623799477/5388766976553211\ 1095806333353770*c_1001_4^22 - 11343560423323956120363145205121101/\ 26943834882766055547903166676885*c_1001_4^21 + 8360164695090170716126512720795599/10777533953106422219161266670754\ *c_1001_4^20 - 66202304127947287024357360421432339/5388766976553211\ 1095806333353770*c_1001_4^19 + 50329333163818480335171909600259368/\ 26943834882766055547903166676885*c_1001_4^18 - 128883116242875864965026789319518999/538876697655321110958063333537\ 70*c_1001_4^17 + 15837949978087750269998481827095835/53887669765532\ 11109580633335377*c_1001_4^16 - 16012135607546186682535803167905489\ 9/53887669765532111095806333353770*c_1001_4^15 + 149014093834499203330182869304797247/538876697655321110958063333537\ 70*c_1001_4^14 - 105957642598044605947417945581143781/5388766976553\ 2111095806333353770*c_1001_4^13 + 528032299013015676036141107138865\ 43/53887669765532111095806333353770*c_1001_4^12 + 221769236379422069297243478658515/5388766976553211109580633335377*c\ _1001_4^11 - 23966096498498067280816575110727137/269438348827660555\ 47903166676885*c_1001_4^10 + 32952301752040124062434330303566936/26\ 943834882766055547903166676885*c_1001_4^9 - 6961506020998434141057481018610397/5388766976553211109580633335377*\ c_1001_4^8 + 25863999984164732542034253946881656/269438348827660555\ 47903166676885*c_1001_4^7 - 17225667205400345644930476341894402/269\ 43834882766055547903166676885*c_1001_4^6 + 8224690152358311404972704470308414/26943834882766055547903166676885\ *c_1001_4^5 - 3237234721778190382888682865021692/269438348827660555\ 47903166676885*c_1001_4^4 + 1443146789353929206741647308332987/5388\ 7669765532111095806333353770*c_1001_4^3 + 163617597928977039340195260638077/53887669765532111095806333353770*\ c_1001_4^2 - 19490273169699772813644366789799/538876697655321110958\ 06333353770*c_1001_4 + 71418619206485353466926478462132/26943834882\ 766055547903166676885, c_0011_12 + 21895180097678683867997876233659/26943834882766055547903166\ 676885*c_1001_4^29 - 132198025634353353602320470968001/538876697655\ 32111095806333353770*c_1001_4^28 + 1054818328090144437212952818549631/53887669765532111095806333353770\ *c_1001_4^27 - 2783275603324668791198732953987113/53887669765532111\ 095806333353770*c_1001_4^26 + 5560837744257486054211527137021529/26\ 943834882766055547903166676885*c_1001_4^25 - 5149891756421210497219017860753499/10777533953106422219161266670754\ *c_1001_4^24 + 67463216379618153898966911425575743/5388766976553211\ 1095806333353770*c_1001_4^23 - 68704809499360781099957101601290118/\ 26943834882766055547903166676885*c_1001_4^22 + 259534546313620429319527612992050711/538876697655321110958063333537\ 70*c_1001_4^21 - 46533529290394413796655584791411227/53887669765532\ 11109580633335377*c_1001_4^20 + 65439988031678033583548321619023428\ 7/53887669765532111095806333353770*c_1001_4^19 - 1029675411378833263123065797979272823/53887669765532111095806333353\ 770*c_1001_4^18 + 532059197149191900335264431979698341/269438348827\ 66055547903166676885*c_1001_4^17 - 290875154352852023455381999110404773/107775339531064222191612666707\ 54*c_1001_4^16 + 502104644127457076786342780595731106/2694383488276\ 6055547903166676885*c_1001_4^15 - 115725069727217383867651770201340\ 2831/53887669765532111095806333353770*c_1001_4^14 + 287796807212766647865264534673164893/538876697655321110958063333537\ 70*c_1001_4^13 - 211373171948376397650133265920512409/5388766976553\ 2111095806333353770*c_1001_4^12 - 930592314286632010964143133407227\ 11/10777533953106422219161266670754*c_1001_4^11 + 248326860901102738259223351850759516/269438348827660555479031666768\ 85*c_1001_4^10 - 289176336460253289054991626278909733/2694383488276\ 6055547903166676885*c_1001_4^9 + 4695548987918441571036044466391099\ 1/5388766976553211109580633335377*c_1001_4^8 - 124614455414721848909956494280835528/269438348827660555479031666768\ 85*c_1001_4^7 + 77666932101657682010495986733142606/269438348827660\ 55547903166676885*c_1001_4^6 - 15434162208812245112324750321478797/\ 26943834882766055547903166676885*c_1001_4^5 + 4399691180117409948963055386130991/26943834882766055547903166676885\ *c_1001_4^4 + 1247662810581601156047112355424212/269438348827660555\ 47903166676885*c_1001_4^3 - 831832423575157049098622771732461/53887\ 669765532111095806333353770*c_1001_4^2 + 301058907498781443359836278469047/53887669765532111095806333353770*\ c_1001_4 - 142756017031867154966725511967617/5388766976553211109580\ 6333353770, c_0011_3 - 2732219814911100798446341190739/1077753395310642221916126667\ 07540*c_1001_4^29 + 3387598568808820677433368650429/538876697655321\ 11095806333353770*c_1001_4^28 - 29606138564439006751924257609249/53\ 887669765532111095806333353770*c_1001_4^27 + 130585142871864239040382111374659/107775339531064222191612666707540\ *c_1001_4^26 - 546650845970982899417684261027409/107775339531064222\ 191612666707540*c_1001_4^25 + 107342859935116236099451149980547/107\ 77533953106422219161266670754*c_1001_4^24 - 2761823873796573104676976511362469/10777533953106422219161266670754\ 0*c_1001_4^23 + 4844677774546286579629848386394323/1077753395310642\ 22191612666707540*c_1001_4^22 - 7961432835052575051171478897105723/\ 107775339531064222191612666707540*c_1001_4^21 + 2524108665136562699230364720690995/21555067906212844438322533341508\ *c_1001_4^20 - 2747002089560481070768482934616149/26943834882766055\ 547903166676885*c_1001_4^19 + 16790952935139319491657946217056059/1\ 07775339531064222191612666707540*c_1001_4^18 + 4834181453258083221137639449273309/10777533953106422219161266670754\ 0*c_1001_4^17 + 161182343616231180527013628737953/21555067906212844\ 438322533341508*c_1001_4^16 + 47534601045779592084640781513887909/1\ 07775339531064222191612666707540*c_1001_4^15 - 8086032429516137905843321908797563/26943834882766055547903166676885\ *c_1001_4^14 + 41078943470783823544110035670901763/5388766976553211\ 1095806333353770*c_1001_4^13 - 10400737154747409995440252696746262/\ 26943834882766055547903166676885*c_1001_4^12 + 12011981585580510735053055888045981/2155506790621284443832253334150\ 8*c_1001_4^11 - 1346189767230010360625231162330214/2694383488276605\ 5547903166676885*c_1001_4^10 + 669855983113693416429838913500389/53\ 887669765532111095806333353770*c_1001_4^9 + 1493135820978816898232719330898191/5388766976553211109580633335377*\ c_1001_4^8 - 6738701281095713525790315474473748/2694383488276605554\ 7903166676885*c_1001_4^7 + 5981410356595398728698266300661621/26943\ 834882766055547903166676885*c_1001_4^6 - 7350542973750590340559651858604799/53887669765532111095806333353770\ *c_1001_4^5 + 959508225508748257942124569561671/2694383488276605554\ 7903166676885*c_1001_4^4 - 1893473757474771455693727677434507/10777\ 5339531064222191612666707540*c_1001_4^3 - 1009930307036251926730405781394801/53887669765532111095806333353770\ *c_1001_4^2 + 5197202366844137522146388049486/269438348827660555479\ 03166676885*c_1001_4 - 136450187703488481780748017058639/1077753395\ 31064222191612666707540, c_0011_8 - 826945048281250394333213566047/53887669765532111095806333353\ 770*c_1001_4^29 + 3849683401567611549054759333999/53887669765532111\ 095806333353770*c_1001_4^28 - 24482911017154623831000548546079/5388\ 7669765532111095806333353770*c_1001_4^27 + 43252359642457719476062326139461/26943834882766055547903166676885*c\ _1001_4^26 - 307259508603421831481557120255737/53887669765532111095\ 806333353770*c_1001_4^25 + 171615704495919514503474384557013/107775\ 33953106422219161266670754*c_1001_4^24 - 1092493357729005315579659791751126/26943834882766055547903166676885\ *c_1001_4^23 + 4937392137812693302448308147063859/53887669765532111\ 095806333353770*c_1001_4^22 - 4913983075918399388364015374535217/26\ 943834882766055547903166676885*c_1001_4^21 + 3633947407686627999840185718514213/10777533953106422219161266670754\ *c_1001_4^20 - 29284632715894197194242832863393113/5388766976553211\ 1095806333353770*c_1001_4^19 + 22120452674255353049593894497780231/\ 26943834882766055547903166676885*c_1001_4^18 - 58163927295485804382421423884056753/5388766976553211109580633335377\ 0*c_1001_4^17 + 7042364744911364397031213557837318/5388766976553211\ 109580633335377*c_1001_4^16 - 73833395678837203520246790219488193/5\ 3887669765532111095806333353770*c_1001_4^15 + 67180972548556229211317933742816809/5388766976553211109580633335377\ 0*c_1001_4^14 - 50487388590633428588084871355586077/538876697655321\ 11095806333353770*c_1001_4^13 + 24586602362146867380512916148272911\ /53887669765532111095806333353770*c_1001_4^12 - 76097965685886359472904857474613/5388766976553211109580633335377*c_\ 1001_4^11 - 10538274537194358150850653329365299/2694383488276605554\ 7903166676885*c_1001_4^10 + 14906050855032735149367550181151277/269\ 43834882766055547903166676885*c_1001_4^9 - 3150323993812686543654210729416596/5388766976553211109580633335377*\ c_1001_4^8 + 12068972529012345141974349537100242/269438348827660555\ 47903166676885*c_1001_4^7 - 7946010615406135229469476649567419/2694\ 3834882766055547903166676885*c_1001_4^6 + 3917997217968478903867102108990493/26943834882766055547903166676885\ *c_1001_4^5 - 1576815422018949062924613678717799/269438348827660555\ 47903166676885*c_1001_4^4 + 700830183262350821661228564623669/53887\ 669765532111095806333353770*c_1001_4^3 + 38316746326637236943861763665139/53887669765532111095806333353770*c\ _1001_4^2 - 11384936445795051758738254565663/5388766976553211109580\ 6333353770*c_1001_4 + 48839014980444739415901042910544/269438348827\ 66055547903166676885, c_0011_9 - 27835133161290132685375860836353/107775339531064222191612666\ 707540*c_1001_4^29 + 37366122581154199671665687883693/5388766976553\ 2111095806333353770*c_1001_4^28 - 319436328198680270784941276340533\ /53887669765532111095806333353770*c_1001_4^27 + 1535003388989586845257457248902693/10777533953106422219161266670754\ 0*c_1001_4^26 - 6395268264165685742719752852577323/1077753395310642\ 22191612666707540*c_1001_4^25 + 1379506048201005085061800677608667/\ 10777533953106422219161266670754*c_1001_4^24 - 36563049191872242972731913242155943/1077753395310642221916126667075\ 40*c_1001_4^23 + 71105113487109052482371911638193741/10777533953106\ 4222191612666707540*c_1001_4^22 - 130789060550496947174577230839652\ 161/107775339531064222191612666707540*c_1001_4^21 + 46137216363115973499627446763991609/2155506790621284443832253334150\ 8*c_1001_4^20 - 74648062771758186101071946750042203/269438348827660\ 55547903166676885*c_1001_4^19 + 48251169021591964459881826644054375\ 3/107775339531064222191612666707540*c_1001_4^18 - 412928528532868528835241067548514437/107775339531064222191612666707\ 540*c_1001_4^17 + 125449479108220783815362535100428487/215550679062\ 12844438322533341508*c_1001_4^16 - 260422221408189851815892559290127577/107775339531064222191612666707\ 540*c_1001_4^15 + 106058971964589061599974680919653759/269438348827\ 66055547903166676885*c_1001_4^14 + 61537132853319418463739743034578081/5388766976553211109580633335377\ 0*c_1001_4^13 - 894083030065412547253205288693124/26943834882766055\ 547903166676885*c_1001_4^12 + 70686347172806251557765492731495439/2\ 1555067906212844438322533341508*c_1001_4^11 - 58232913883227499338972978595056348/2694383488276605554790316667688\ 5*c_1001_4^10 + 115764518942010132049409059977237813/53887669765532\ 111095806333353770*c_1001_4^9 - 7373147001348241105535998087966815/\ 5388766976553211109580633335377*c_1001_4^8 + 5993190451626197043984491825127699/26943834882766055547903166676885\ *c_1001_4^7 - 4331687577074719793524331551477413/269438348827660555\ 47903166676885*c_1001_4^6 - 14794070629380813052312369715191903/538\ 87669765532111095806333353770*c_1001_4^5 + 3026733339207429265155158409788992/26943834882766055547903166676885\ *c_1001_4^4 - 7306421615231622124997690852627589/107775339531064222\ 191612666707540*c_1001_4^3 + 755786392064659304122654610087123/5388\ 7669765532111095806333353770*c_1001_4^2 - 98637932846011044891168550445133/26943834882766055547903166676885*c\ _1001_4 + 97874716970728383584764376445707/107775339531064222191612\ 666707540, c_0101_0 - 1340643737854725108836047977312/2694383488276605554790316667\ 6885*c_1001_4^29 + 11406639161490983354387138228613/538876697655321\ 11095806333353770*c_1001_4^28 - 75115447630801256875892662707873/53\ 887669765532111095806333353770*c_1001_4^27 + 251202628140864569311242128507049/53887669765532111095806333353770*\ c_1001_4^26 - 451241535020384951902394784547282/2694383488276605554\ 7903166676885*c_1001_4^25 + 487370159021330427619756293318633/10777\ 533953106422219161266670754*c_1001_4^24 - 6174922119187204702439168093991469/53887669765532111095806333353770\ *c_1001_4^23 + 6835423837746166194857068184867144/26943834882766055\ 547903166676885*c_1001_4^22 - 26743155590434747620556605729683303/5\ 3887669765532111095806333353770*c_1001_4^21 + 4882093047691896792077613015393161/5388766976553211109580633335377*\ c_1001_4^20 - 76464982698686628782606050503488861/53887669765532111\ 095806333353770*c_1001_4^19 + 114433776265098146696598010644600499/\ 53887669765532111095806333353770*c_1001_4^18 - 72138936134057162767425490229618653/2694383488276605554790316667688\ 5*c_1001_4^17 + 34516133704570797761973371226735325/107775339531064\ 22219161266670754*c_1001_4^16 - 84690517471968114419290241540516928\ /26943834882766055547903166676885*c_1001_4^15 + 149444363024796537290903737038109533/538876697655321110958063333537\ 70*c_1001_4^14 - 95882998167720076058562867313872639/53887669765532\ 111095806333353770*c_1001_4^13 + 3576606184625488320086247990020725\ 7/53887669765532111095806333353770*c_1001_4^12 + 5255548501090484423295920046075059/10777533953106422219161266670754\ *c_1001_4^11 - 32160878857488682529513389092311698/2694383488276605\ 5547903166676885*c_1001_4^10 + 41078152545138404104305481422475929/\ 26943834882766055547903166676885*c_1001_4^9 - 6931335862351565088969322045780004/5388766976553211109580633335377*\ c_1001_4^8 + 25659398893139499551492026966199184/269438348827660555\ 47903166676885*c_1001_4^7 - 12691625674228814044016799871091888/269\ 43834882766055547903166676885*c_1001_4^6 + 5320455709772535379793615811045471/26943834882766055547903166676885\ *c_1001_4^5 - 1019946123999880451453905283703708/269438348827660555\ 47903166676885*c_1001_4^4 - 581608362741459589167397505628351/26943\ 834882766055547903166676885*c_1001_4^3 + 99232740506397229070090998342633/53887669765532111095806333353770*c\ _1001_4^2 - 392179141804639347892314468830281/538876697655321110958\ 06333353770*c_1001_4 - 6104943569522398005154416579429/538876697655\ 32111095806333353770, c_0101_10 - 826945048281250394333213566047/5388766976553211109580633335\ 3770*c_1001_4^29 + 3849683401567611549054759333999/5388766976553211\ 1095806333353770*c_1001_4^28 - 24482911017154623831000548546079/538\ 87669765532111095806333353770*c_1001_4^27 + 43252359642457719476062326139461/26943834882766055547903166676885*c\ _1001_4^26 - 307259508603421831481557120255737/53887669765532111095\ 806333353770*c_1001_4^25 + 171615704495919514503474384557013/107775\ 33953106422219161266670754*c_1001_4^24 - 1092493357729005315579659791751126/26943834882766055547903166676885\ *c_1001_4^23 + 4937392137812693302448308147063859/53887669765532111\ 095806333353770*c_1001_4^22 - 4913983075918399388364015374535217/26\ 943834882766055547903166676885*c_1001_4^21 + 3633947407686627999840185718514213/10777533953106422219161266670754\ *c_1001_4^20 - 29284632715894197194242832863393113/5388766976553211\ 1095806333353770*c_1001_4^19 + 22120452674255353049593894497780231/\ 26943834882766055547903166676885*c_1001_4^18 - 58163927295485804382421423884056753/5388766976553211109580633335377\ 0*c_1001_4^17 + 7042364744911364397031213557837318/5388766976553211\ 109580633335377*c_1001_4^16 - 73833395678837203520246790219488193/5\ 3887669765532111095806333353770*c_1001_4^15 + 67180972548556229211317933742816809/5388766976553211109580633335377\ 0*c_1001_4^14 - 50487388590633428588084871355586077/538876697655321\ 11095806333353770*c_1001_4^13 + 24586602362146867380512916148272911\ /53887669765532111095806333353770*c_1001_4^12 - 76097965685886359472904857474613/5388766976553211109580633335377*c_\ 1001_4^11 - 10538274537194358150850653329365299/2694383488276605554\ 7903166676885*c_1001_4^10 + 14906050855032735149367550181151277/269\ 43834882766055547903166676885*c_1001_4^9 - 3150323993812686543654210729416596/5388766976553211109580633335377*\ c_1001_4^8 + 12068972529012345141974349537100242/269438348827660555\ 47903166676885*c_1001_4^7 - 7946010615406135229469476649567419/2694\ 3834882766055547903166676885*c_1001_4^6 + 3917997217968478903867102108990493/26943834882766055547903166676885\ *c_1001_4^5 - 1576815422018949062924613678717799/269438348827660555\ 47903166676885*c_1001_4^4 + 700830183262350821661228564623669/53887\ 669765532111095806333353770*c_1001_4^3 + 38316746326637236943861763665139/53887669765532111095806333353770*c\ _1001_4^2 - 11384936445795051758738254565663/5388766976553211109580\ 6333353770*c_1001_4 + 48839014980444739415901042910544/269438348827\ 66055547903166676885, c_0101_12 + 1, c_0110_2 - 6784037258534561475816478180607/1077753395310642221916126667\ 07540*c_1001_4^29 + 7293569187992593091909487454116/269438348827660\ 55547903166676885*c_1001_4^28 - 47943900182284406253380677264411/26\ 943834882766055547903166676885*c_1001_4^27 + 644273803668343640413277976052917/107775339531064222191612666707540\ *c_1001_4^26 - 2318957253193727010512391870203017/10777533953106422\ 2191612666707540*c_1001_4^25 + 313379202744825774297873568646894/53\ 88766976553211109580633335377*c_1001_4^24 - 15942261252273602090850789398590647/1077753395310642221916126667075\ 40*c_1001_4^23 + 35265388519825229770423821525319399/10777533953106\ 4222191612666707540*c_1001_4^22 - 692863183698919522504002289219787\ 09/107775339531064222191612666707540*c_1001_4^21 + 25270054857287879011821043945929111/2155506790621284443832253334150\ 8*c_1001_4^20 - 99278287066939017907030409646177059/538876697655321\ 11095806333353770*c_1001_4^19 + 29733513347273391421014894707078561\ 7/107775339531064222191612666707540*c_1001_4^18 - 374863929396773033024730035300307123/107775339531064222191612666707\ 540*c_1001_4^17 + 90191558684930376626088854666511919/2155506790621\ 2844438322533341508*c_1001_4^16 - 438704050046652554154895181197331\ 563/107775339531064222191612666707540*c_1001_4^15 + 197405768209341423746300106168482837/538876697655321110958063333537\ 70*c_1001_4^14 - 60851780138603294108094650737376353/26943834882766\ 055547903166676885*c_1001_4^13 + 5051334427550091772238551016992361\ 3/53887669765532111095806333353770*c_1001_4^12 + 15641202163911999352002053079406807/2155506790621284443832253334150\ 8*c_1001_4^11 - 40518508207071503011555504133897632/269438348827660\ 55547903166676885*c_1001_4^10 + 11080613899073361429993723527263428\ 7/53887669765532111095806333353770*c_1001_4^9 - 8958305964557607452621145560692469/5388766976553211109580633335377*\ c_1001_4^8 + 33687241891103312778226602818724316/269438348827660555\ 47903166676885*c_1001_4^7 - 16600501955279008332563787972202472/269\ 43834882766055547903166676885*c_1001_4^6 + 12589982288526589384254390514312413/5388766976553211109580633335377\ 0*c_1001_4^5 - 1405200474337690314627442699661002/26943834882766055\ 547903166676885*c_1001_4^4 - 4441921758560230738076023526978871/107\ 775339531064222191612666707540*c_1001_4^3 + 58911902342409403254861399006911/26943834882766055547903166676885*c\ _1001_4^2 - 464502565378750239980357989145709/538876697655321110958\ 06333353770*c_1001_4 - 14942106953955896808755174349597/10777533953\ 1064222191612666707540, c_1001_0 - 195916445130853008867/505349528074736315780*c_1001_4^29 + 119030639039337027016/126337382018684078945*c_1001_4^28 - 1099078134200262470746/126337382018684078945*c_1001_4^27 + 9757338132827930303157/505349528074736315780*c_1001_4^26 - 43051004174317399636457/505349528074736315780*c_1001_4^25 + 4383080193280291132635/25267476403736815789*c_1001_4^24 - 240715936661991664191147/505349528074736315780*c_1001_4^23 + 453258880788404907467199/505349528074736315780*c_1001_4^22 - 840597761636969041241469/505349528074736315780*c_1001_4^21 + 296853926578753150900471/101069905614947263156*c_1001_4^20 - 931738149245777507375029/252674764037368157890*c_1001_4^19 + 3171556356867831143903297/505349528074736315780*c_1001_4^18 - 2460408351086726914314123/505349528074736315780*c_1001_4^17 + 866314730136469506038047/101069905614947263156*c_1001_4^16 - 1338780103049066904775863/505349528074736315780*c_1001_4^15 + 1695102057313643098454427/252674764037368157890*c_1001_4^14 + 278119457863363211318447/126337382018684078945*c_1001_4^13 + 408100295442877705515393/252674764037368157890*c_1001_4^12 + 487248064124318674192283/101069905614947263156*c_1001_4^11 - 240778313079273470998332/126337382018684078945*c_1001_4^10 + 773795713118105938198617/252674764037368157890*c_1001_4^9 - 46565940262827005787259/25267476403736815789*c_1001_4^8 + 53934820727382019627996/126337382018684078945*c_1001_4^7 - 79490021769794500905102/126337382018684078945*c_1001_4^6 - 66351622548577937668087/252674764037368157890*c_1001_4^5 - 8009450323182574104877/126337382018684078945*c_1001_4^4 - 20234171257241652508771/505349528074736315780*c_1001_4^3 - 419216932191621442209/126337382018684078945*c_1001_4^2 - 421670822840213799229/252674764037368157890*c_1001_4 + 76908048439559981243/505349528074736315780, c_1001_11 - 2310873095875934151233839795863/269438348827660555479031666\ 76885*c_1001_4^29 + 8946721548049054377202409505276/269438348827660\ 55547903166676885*c_1001_4^28 - 62277421627654917524575740541931/26\ 943834882766055547903166676885*c_1001_4^27 + 196428008427094434968064194896813/26943834882766055547903166676885*\ c_1001_4^26 - 728365234343618892745960852987128/2694383488276605554\ 7903166676885*c_1001_4^25 + 380707656772004058258666094808260/53887\ 66976553211109580633335377*c_1001_4^24 - 4892342732272532366551164003688978/26943834882766055547903166676885\ *c_1001_4^23 + 10700125480967289762988792628372596/2694383488276605\ 5547903166676885*c_1001_4^22 - 20950989921447718070642142211039321/\ 26943834882766055547903166676885*c_1001_4^21 + 7692816788456172022110698814138600/5388766976553211109580633335377*\ c_1001_4^20 - 59693491548528189251276476918058422/26943834882766055\ 547903166676885*c_1001_4^19 + 91435565818291605901679962102469668/2\ 6943834882766055547903166676885*c_1001_4^18 - 113481923654584944977361505123461602/269438348827660555479031666768\ 85*c_1001_4^17 + 28367693891498336126080121856162766/53887669765532\ 11109580633335377*c_1001_4^16 - 13723984814321682102482045519248578\ 7/26943834882766055547903166676885*c_1001_4^15 + 131003968247690005750443033456326761/269438348827660555479031666768\ 85*c_1001_4^14 - 86852665941722668267382985793021708/26943834882766\ 055547903166676885*c_1001_4^13 + 4406727521683434317318688146949969\ 4/26943834882766055547903166676885*c_1001_4^12 + 1260413875584501153274460084989787/5388766976553211109580633335377*\ c_1001_4^11 - 44035574026501886158373362577936767/26943834882766055\ 547903166676885*c_1001_4^10 + 57860090320005341242314746367165311/2\ 6943834882766055547903166676885*c_1001_4^9 - 12219459898738794120614141965852038/5388766976553211109580633335377\ *c_1001_4^8 + 43460536667877585921624325390762851/26943834882766055\ 547903166676885*c_1001_4^7 - 29256246789612074769999288377011762/26\ 943834882766055547903166676885*c_1001_4^6 + 13364058973208121457414711109597214/2694383488276605554790316667688\ 5*c_1001_4^5 - 5028431237628800067275630496499822/26943834882766055\ 547903166676885*c_1001_4^4 + 1136847912477311646041318588389361/269\ 43834882766055547903166676885*c_1001_4^3 + 204492088203232564500717956582571/26943834882766055547903166676885*\ c_1001_4^2 - 10834396043341059588919406896272/269438348827660555479\ 03166676885*c_1001_4 + 95349955597812285642654607248197/26943834882\ 766055547903166676885, c_1001_4^30 - 3*c_1001_4^29 + 24*c_1001_4^28 - 63*c_1001_4^27 + 252*c_1001_4^26 - 581*c_1001_4^25 + 1521*c_1001_4^24 - 3088*c_1001_4^23 + 5814*c_1001_4^22 - 10402*c_1001_4^21 + 14529*c_1001_4^20 - 22845*c_1001_4^19 + 23290*c_1001_4^18 - 31884*c_1001_4^17 + 21324*c_1001_4^16 - 24741*c_1001_4^15 + 5038*c_1001_4^14 - 3674*c_1001_4^13 - 11187*c_1001_4^12 + 11359*c_1001_4^11 - 12726*c_1001_4^10 + 10042*c_1001_4^9 - 4972*c_1001_4^8 + 2996*c_1001_4^7 - 342*c_1001_4^6 + 22*c_1001_4^5 + 129*c_1001_4^4 - 35*c_1001_4^3 + 6*c_1001_4^2 - 3*c_1001_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 189.690 Total time: 189.900 seconds, Total memory usage: 546.16MB