Magma V2.19-8 Wed Aug 21 2013 00:51:09 on localhost [Seed = 4223528698] Type ? for help. Type -D to quit. Loading file "L11a194__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L11a194 geometric_solution 12.29499162 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 1230 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 1 0 -1 0 0 -2 2 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.457437249301 0.801870623867 0 4 4 5 0132 0132 1302 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 -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.075591086070 1.059655122732 0 0 7 6 3012 0132 0132 0132 1 1 1 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 -1 1 0 1 0 0 -1 -2 0 0 2 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.578813346798 0.855446524668 8 7 8 0 0132 1230 3012 0132 1 1 1 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 0 0 0 0 0 0 0 0 -2 0 0 2 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.525740990219 0.496728750647 1 1 9 10 2031 0132 0132 0132 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 0 0 0 0 0 0 0 1 -1 0 -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.933021242882 0.938925299054 8 11 1 12 2103 0132 0132 0132 1 1 1 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 0 0 0 0 0 0 0 0 2 0 0 -2 -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.750102382953 1.207037676731 11 7 2 7 0213 1023 0132 0321 1 1 0 1 0 0 0 0 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 0 0 0 1 0 1 -2 -1 1 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.609917388298 0.461846607041 6 6 3 2 1023 0321 3012 0132 1 1 0 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 0 1 -1 0 0 0 0 -1 0 0 1 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.067354637600 1.263717230907 3 3 5 9 0132 1230 2103 1302 1 1 1 1 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 1 -1 2 0 -2 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.005508086046 1.053147678896 12 10 8 4 3012 0321 2031 0132 1 1 1 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 -1 1 0 0 1 -1 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.998356377907 0.791792904388 11 11 4 9 2031 0321 0132 0321 1 1 1 0 0 0 0 0 0 0 0 0 0 -1 0 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 -1 -1 0 2 3 -2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.678189844767 0.671133123552 6 5 10 10 0213 0132 1302 0321 1 0 1 1 0 0 0 0 0 0 -1 1 -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 -3 2 -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.678189844767 0.671133123552 12 12 5 9 1302 2031 0132 1230 1 1 1 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 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.203165338511 0.982603113736 ==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_0011_9']), 'c_1001_10' : d['c_0101_10'], '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' : negation(d['c_0011_3']), 'c_1001_6' : d['c_0101_7'], 'c_1001_1' : d['c_0101_10'], 'c_1001_0' : d['c_0101_7'], 'c_1001_3' : d['c_0011_3'], 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : negation(d['c_0101_3']), 'c_1001_8' : negation(d['c_0011_11']), 'c_1010_12' : d['c_0011_12'], 'c_1010_11' : d['c_1001_4'], 'c_1010_10' : d['c_1001_4'], 's_0_10' : 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_0011_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' : 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_0101_3']), 'c_1100_8' : d['c_0011_12'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_4'], 'c_1100_4' : negation(d['c_0101_3']), 'c_1100_7' : negation(d['c_0011_3']), 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : d['c_0011_11'], 'c_1100_3' : d['c_0011_11'], 'c_1100_2' : negation(d['c_0011_3']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_10'], 'c_1100_10' : negation(d['c_0101_3']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_2'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0011_9']), 'c_1010_4' : d['c_0101_10'], 'c_1010_3' : d['c_0101_7'], 'c_1010_2' : d['c_0101_7'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : d['c_1001_4'], 'c_1010_8' : d['c_0101_3'], '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' : d['c_0101_4'], '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' : d['1'], 's_1_1' : d['1'], 's_1_0' : 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_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : negation(d['c_0011_10']), '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_10']), 'c_0110_10' : negation(d['c_0011_9']), 'c_0110_12' : d['c_0011_9'], 'c_0101_12' : negation(d['c_0011_12']), 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_11'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_12'], 'c_0101_8' : d['c_0101_0'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_4'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_11'], 'c_0110_5' : negation(d['c_0011_12']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_2'], '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_12, c_0011_3, c_0011_9, c_0101_0, c_0101_10, c_0101_2, c_0101_3, c_0101_4, c_0101_7, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 9794252501828084346428868018320312577346718069841087848078739434737\ 53/9299318587243298791676239965387880624065810951579828876943667200\ *c_1001_4^18 + 1915410220755442559358475749813386064494665420715056\ 775104749175189399/342606474266858376535440419777448233518214087689\ 7831691505561600*c_1001_4^17 - 499986529989312644412091954856482819\ 50240199011037399436150775785447991/3254761505535154577086683987885\ 7582184230338330529401069302835200*c_1001_4^16 + 1245571769781063413860014159587098016690915020262791446624935731829\ 6771/40684518819189432213583549848571977730287922913161751336628544\ 00*c_1001_4^15 - 47394481622192488858553962379272867808177728698437\ 50744159935310547497/8565161856671459413386010494436205837955352192\ 24457922876390400*c_1001_4^14 + 30778140745108056197076166643198275\ 0803685104196721797795995902493049/10171129704797358053395887462142\ 9944325719807282904378341571360*c_1001_4^13 - 6075138367364802667316743789532376262081190891764374340377300646889\ 511/232482964681082469791905999134697015601645273789495721923591680\ 0*c_1001_4^12 + 219695362811186294426602938369483841301750579543845\ 36606186717353688683/4649659293621649395838119982693940312032905475\ 789914438471833600*c_1001_4^11 - 1909700914732913227045750805674336\ 4084419090325364761078738668295793439/65095230110703091541733679757\ 71516436846067666105880213860567040*c_1001_4^10 + 5583233874934330657542194269132624691831658659472160730398620396796\ 349/203422594095947161067917749242859888651439614565808756683142720\ 0*c_1001_4^9 - 6842275042730033633861010384299598951747156613037305\ 4808569429502113529/13019046022140618308346735951543032873692135332\ 211760427721134080*c_1001_4^8 + 23933136501528881076157516746744163\ 9121185060368622115905401389676246837/65095230110703091541733679757\ 715164368460676661058802138605670400*c_1001_4^7 - 2727399907279243350319357256542359118851683192954232132499332038788\ 22947/6509523011070309154173367975771516436846067666105880213860567\ 0400*c_1001_4^6 + 1010361026554737360486535647551708085298476649435\ 3678973228453546212901/40684518819189432213583549848571977730287922\ 91316175133662854400*c_1001_4^5 - 874437681946966448933456611010378\ 2735610844501271813064450514476036449/65095230110703091541733679757\ 71516436846067666105880213860567040*c_1001_4^4 + 8224504647760931279578129522565914327601698301252741996446392241257\ 009/130190460221406183083467359515430328736921353322117604277211340\ 80*c_1001_4^3 - 348613079790692322663060156876055379433382288822286\ 059152359091866407/650952301107030915417336797577151643684606766610\ 5880213860567040*c_1001_4^2 + 7348788616342731618142789169118112271\ 9143948921382744020153025499347/32547615055351545770866839878857582\ 18423033833052940106930283520*c_1001_4 - 2378716393402714158918314372185808791947518043553015176219617915841\ 9/65095230110703091541733679757715164368460676661058802138605670400\ , c_0011_0 - 1, c_0011_10 + 2307808097662357095086778738940377691757705724659488422396/\ 281156836156494859945706752049507807180782306730717542961*c_1001_4^\ 18 - 11837570691397936309783362875608726846237088326018265600881/28\ 1156836156494859945706752049507807180782306730717542961*c_1001_4^17 + 31267357868738616797149939751420261318872955961182860824572/28115\ 6836156494859945706752049507807180782306730717542961*c_1001_4^16 - 60046650266764082669228117371630830764186190772290254999093/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^15 + 106626780926637501704834830083153058218501138465822804769889/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^14 - 39712457305725788150198632874027969265050592636232275034132/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^13 + 36812606948894086026784797665754913026213135954254136596100/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^12 - 91230815836574797782319079762853326314919982525394140922779/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^11 + 43812071120317942449251853223192214966497675921576388773475/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^10 - 41584704536472231464983499514349352232149501809739860089217/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^9 + 101934907478226162320407705957543223791763155617838152778485/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^8 - 57306624753785886336959039518952285086122849540400602164731/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^7 + 69352755852646864824622313857042507145056226705855623249915/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^6 - 34448113299744275550374169881699397736306306078745513827485/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^5 + 14903923550348159828859098848262063243922210818478814914782/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^4 - 6820122347532486035141600563195830843174764703480326092838/28115683\ 6156494859945706752049507807180782306730717542961*c_1001_4^3 - 1498853014830328159949044993237164966466116444380947860956/28115683\ 6156494859945706752049507807180782306730717542961*c_1001_4^2 - 192692668970097889687693693205670079571002923604113780464/281156836\ 156494859945706752049507807180782306730717542961*c_1001_4 + 240457696043488499337692418093361452904589584386991921210/281156836\ 156494859945706752049507807180782306730717542961, c_0011_11 + 3185177337081122027961808891917094841106904360610510752476/\ 281156836156494859945706752049507807180782306730717542961*c_1001_4^\ 18 - 16197481174013100741740733211597145955312937514066356721378/28\ 1156836156494859945706752049507807180782306730717542961*c_1001_4^17 + 42569464009268599060138891313271126769135072063593385068828/28115\ 6836156494859945706752049507807180782306730717542961*c_1001_4^16 - 81683753295496190032390484031545245113952725122549502914926/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^15 + 145402064262592009423154809728961537623978216844789031551478/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^14 - 51916414191432433707456101969610283322322203451700187718105/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^13 + 54634782478737746098096917233359835175529245746497926724052/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^12 - 125852267793122293951006726624065169666173082054780342571208/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^11 + 55653358182472922495716521331232397254395091803348772271080/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^10 - 59254719329811507399632125381780284950790414265802033574020/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^9 + 140417734434728906114219589091452440170753323284371613759722/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^8 - 74671575345857855495569318418380534865769011028445471919060/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^7 + 97645913244236506879420686396635109344798405453782718632642/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^6 - 46356918299535376020806980214213834767353996375718799711908/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^5 + 21561101608793727735649230498983026790845075520326565585090/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^4 - 9895407037332079799530410450940047338140675512215661588168/28115683\ 6156494859945706752049507807180782306730717542961*c_1001_4^3 - 2760832371367770540086642906892057767446405013256790976278/28115683\ 6156494859945706752049507807180782306730717542961*c_1001_4^2 - 288105733227431303610638052644532412963089070638224542358/281156836\ 156494859945706752049507807180782306730717542961*c_1001_4 + 196181277650139272546948977148255169329130713243316453133/281156836\ 156494859945706752049507807180782306730717542961, c_0011_12 + 15400902858072103382217843169779526570780666218512109022452\ /281156836156494859945706752049507807180782306730717542961*c_1001_4\ ^18 - 80284386601410701563091654021378869078910693960687714345291/2\ 81156836156494859945706752049507807180782306730717542961*c_1001_4^1\ 7 + 216381869865854248965266908098374194299521530660870180670996/28\ 1156836156494859945706752049507807180782306730717542961*c_1001_4^16 - 424021786564987673755977016911905983727059239088438508038166/2811\ 56836156494859945706752049507807180782306730717542961*c_1001_4^15 + 760705295837735551202139344697701662500737417539724090416808/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^14 - 354502303436436305750259104789800668201890922015487258238600/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^13 + 320537652462716691907470662042735273761568049466385284064878/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^12 - 649955978933098749923817712683907212357729168814866456220423/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^11 + 355008683081744507483426032727836841567279189962853292210378/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^10 - 343855319458211239436596988556632225895433379553936344522211/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^9 + 724581943555810736421543028183615970734300412177994917367739/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^8 - 455980022641125874252545092394910659826642449225182144284088/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^7 + 542827043532636442878212193954726152821803808762343668969372/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^6 - 296786464723614093929233700461321322446865932825360567529301/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^5 + 147915471960831829649845102134627900142278296892446027061021/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^4 - 69589215930783590888679342159262783408801670964161897762690/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^3 - 4154004056467680110990250199912233208431500045846799596915/28115683\ 6156494859945706752049507807180782306730717542961*c_1001_4^2 - 1713318513357153629808516564057712835254922812414294284685/28115683\ 6156494859945706752049507807180782306730717542961*c_1001_4 + 88379219931651700547706823889407506312620560542393620739/2811568361\ 56494859945706752049507807180782306730717542961, c_0011_3 + 2505257965643916710998580614350627664065934723817693552355/2\ 81156836156494859945706752049507807180782306730717542961*c_1001_4^1\ 8 - 12611730391635870556533917922448778043643094844167797973966/281\ 156836156494859945706752049507807180782306730717542961*c_1001_4^17 + 32787331641569554491781349641083139771497427763067012936969/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^16 - 62243666658801955445485286503422808359300892589527522456990/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^15 + 110163191003337893181095201484950508094915385231839441914051/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^14 - 33052261128452725264634986970134787874031701208908561783397/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^13 + 37437430711058334841206790659062171447061767253405846019711/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^12 - 93549720100716008221655072770791099676390330998195776210148/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^11 + 38050874713918283841447922408181098091640604540603892146091/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^10 - 42144066482362083345966232149849308562270111550810076327240/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^9 + 105170875822570998297950779519676991889357537614896407771244/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^8 - 51806877749312301446836740627242725808643642676456405564087/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^7 + 71127175169663252494617857262834957887561711304817488577418/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^6 - 29071624097417618805600682993769600976156073478645984416732/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^5 + 13178581961975338377853000044298669887961208849968558929342/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^4 - 4866611578071222118970120354827253080266620842802138925829/28115683\ 6156494859945706752049507807180782306730717542961*c_1001_4^3 - 3007109461414708974202874004125359864488927157000794706835/28115683\ 6156494859945706752049507807180782306730717542961*c_1001_4^2 - 112842868956508632794123649401754919319029572145304833233/281156836\ 156494859945706752049507807180782306730717542961*c_1001_4 + 51831696803213920806896866050447673879512148706908719781/2811568361\ 56494859945706752049507807180782306730717542961, c_0011_9 + 7555597473790177812841209909336323043223279038308351422767/2\ 81156836156494859945706752049507807180782306730717542961*c_1001_4^1\ 8 - 39835510101254429199498809938886817170522270637581841988667/281\ 156836156494859945706752049507807180782306730717542961*c_1001_4^17 + 108654123464923827496925169756487330792009159508994751866643/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^16 - 215197859269409333188828330709843721301664849019641294589724/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^15 + 387996263303256683344569433723321435975923349901496576429927/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^14 - 201025020486486307470635885746993108399593360794825623338314/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^13 + 176583132403639379438690563372221448264952741720802131151767/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^12 - 333833942770042497537615014565267090598489221296346290866749/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^11 + 197474314008889639744413835002684254176815223609456998032662/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^10 - 186774601486909949533434237474620613496782740920120919786236/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^9 + 370664936878330110813578372932966768162573937209540780911748/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^8 - 249195392609043039372501648160916748494000256730909532186426/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^7 + 288097499141918781716183316863242320680194951169984648748498/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^6 - 168027759879539862610048870529403865404874151551013227245131/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^5 + 88011813630617801169941442907213603958600788410656783013444/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^4 - 42865712380429640300159735509052991321261306765381846826683/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^3 + 2281246040029743804042424518706182398905174904567943072542/28115683\ 6156494859945706752049507807180782306730717542961*c_1001_4^2 - 1678299080958132598972525099764515420716085298451765302659/28115683\ 6156494859945706752049507807180782306730717542961*c_1001_4 + 91670048844858014560820305645318363729530021076680753840/2811568361\ 56494859945706752049507807180782306730717542961, c_0101_0 - 1, c_0101_10 - 10532079087113678531894990465643313524192925463066064924354\ /281156836156494859945706752049507807180782306730717542961*c_1001_4\ ^18 + 55817109531760783128465722668443983224495862826926487228361/2\ 81156836156494859945706752049507807180782306730717542961*c_1001_4^1\ 7 - 153002164660954279708673905754664437031124457277851244842926/28\ 1156836156494859945706752049507807180782306730717542961*c_1001_4^16 + 304198025423029804433505396677286695264021857930269781479588/2811\ 56836156494859945706752049507807180782306730717542961*c_1001_4^15 - 549125442429096989045360437919395768804272703033816429718508/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^14 + 294900937095564712693389393291566066045623004126880131233258/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^13 - 253359399690049415149956719719780245768810865836656545903236/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^12 + 469747861687570045139056633219261673605819004952631208552226/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^11 - 286334607332738684143666080342883952846363831243349830290172/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^10 + 267709443320695556476240044016384940306960912319573353972519/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^9 - 522471325115576380618512675127036727044335539013458676295728/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^8 + 360511628216481973041191873130127220867829246993565231188970/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^7 - 410711654703235838874134016515954494581875465216548044495442/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^6 + 243298195497579740799185320780989076718788727567806865915910/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^5 - 127973093018936403848374864694929120165061003864105545051933/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^4 + 61730018642748296332002766900293517915499181921891607147450/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^3 - 3520858445720018293992123289189036538629591295068382804386/28115683\ 6156494859945706752049507807180782306730717542961*c_1001_4^2 + 2351572646632115870674192041216916405116769130378398146580/28115683\ 6156494859945706752049507807180782306730717542961*c_1001_4 - 146283437738485124883300519148945745767707372396611401764/281156836\ 156494859945706752049507807180782306730717542961, c_0101_2 + 2659463329681342857694436464607192787904279491327040963230/2\ 81156836156494859945706752049507807180782306730717542961*c_1001_4^1\ 8 - 13487896738446489781053482532631350677265564082539484230882/281\ 156836156494859945706752049507807180782306730717542961*c_1001_4^17 + 35321966104899508835471385942308547196896716045867293962644/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^16 - 67497966995053390928895732699000341130850126400432506734494/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^15 + 119852123644134886422540145700430359352083917530730089973916/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^14 - 40483624103417115198648471128695986934577736326854579770721/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^13 + 42930858937398033947886806582386673613714475375085854146306/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^12 - 103181185695343623205481586301925307779861999939659171581344/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^11 + 45137224400726729235273272078440050327385018625455911985634/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^10 - 47123303839998432070355081435860855123074829172207902980198/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^9 + 114944921305198212211037420277036333148812015698936636258056/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^8 - 60672795584158421699527838364920559711935787078967247116078/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^7 + 79009517291396742827528234915858441940215543814712611757354/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^6 - 35470446552409089070050620831235872197037184945315662008641/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^5 + 16748101350595367753606817488521008757063609565394190604106/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^4 - 7176463643377661329447107607493336746401178445569619023508/28115683\ 6156494859945706752049507807180782306730717542961*c_1001_4^3 - 2555544993648616087537370785334751518330300706662845011886/28115683\ 6156494859945706752049507807180782306730717542961*c_1001_4^2 - 193644898646486949754846558210151372415581970549569923944/281156836\ 156494859945706752049507807180782306730717542961*c_1001_4 + 140776390918560365650079053636415121107798282249236853747/281156836\ 156494859945706752049507807180782306730717542961, c_0101_3 + 197449867981559615911801875410249972308228999158205129959/28\ 1156836156494859945706752049507807180782306730717542961*c_1001_4^18 - 774159700237934246750555046840051197406006518149532373085/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^17 + 1519973772830937694631409889662878452624471801884152112397/28115683\ 6156494859945706752049507807180782306730717542961*c_1001_4^16 - 2197016392037872776257169131791977595114701817237267457897/28115683\ 6156494859945706752049507807180782306730717542961*c_1001_4^15 + 3536410076700391476260371401797449876414246766016637144162/28115683\ 6156494859945706752049507807180782306730717542961*c_1001_4^14 + 6660196177273062885563645903893181391018891427323713250735/28115683\ 6156494859945706752049507807180782306730717542961*c_1001_4^13 + 624823762164248814421992993307258420848631299151709423611/281156836\ 156494859945706752049507807180782306730717542961*c_1001_4^12 - 2318904264141210439335993007937773361470348472801635287369/28115683\ 6156494859945706752049507807180782306730717542961*c_1001_4^11 - 5761196406399658607803930815011116874857071380972496627384/28115683\ 6156494859945706752049507807180782306730717542961*c_1001_4^10 - 559361945889851880982732635499956330120609741070216238023/281156836\ 156494859945706752049507807180782306730717542961*c_1001_4^9 + 3235968344344835977543073562133768097594381997058254992759/28115683\ 6156494859945706752049507807180782306730717542961*c_1001_4^8 + 5499747004473584890122298891709559277479206863944196600644/28115683\ 6156494859945706752049507807180782306730717542961*c_1001_4^7 + 1774419317016387669995543405792450742505484598961865327503/28115683\ 6156494859945706752049507807180782306730717542961*c_1001_4^6 + 5376489202326656744773486887929796760150232600099529410753/28115683\ 6156494859945706752049507807180782306730717542961*c_1001_4^5 - 1725341588372821451006098803963393355961001968510255985440/28115683\ 6156494859945706752049507807180782306730717542961*c_1001_4^4 + 1953510769461263916171480208368577762908143860678187167009/28115683\ 6156494859945706752049507807180782306730717542961*c_1001_4^3 - 1508256446584380814253829010888194898022810712619846845879/28115683\ 6156494859945706752049507807180782306730717542961*c_1001_4^2 + 79849800013589256893570043803915160251973351458808947231/2811568361\ 56494859945706752049507807180782306730717542961*c_1001_4 - 188625999240274578530795552042913779025077435680083201429/281156836\ 156494859945706752049507807180782306730717542961, c_0101_4 - 10532079087113678531894990465643313524192925463066064924354/\ 281156836156494859945706752049507807180782306730717542961*c_1001_4^\ 18 + 55817109531760783128465722668443983224495862826926487228361/28\ 1156836156494859945706752049507807180782306730717542961*c_1001_4^17 - 153002164660954279708673905754664437031124457277851244842926/2811\ 56836156494859945706752049507807180782306730717542961*c_1001_4^16 + 304198025423029804433505396677286695264021857930269781479588/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^15 - 549125442429096989045360437919395768804272703033816429718508/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^14 + 294900937095564712693389393291566066045623004126880131233258/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^13 - 253359399690049415149956719719780245768810865836656545903236/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^12 + 469747861687570045139056633219261673605819004952631208552226/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^11 - 286334607332738684143666080342883952846363831243349830290172/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^10 + 267709443320695556476240044016384940306960912319573353972519/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^9 - 522471325115576380618512675127036727044335539013458676295728/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^8 + 360511628216481973041191873130127220867829246993565231188970/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^7 - 410711654703235838874134016515954494581875465216548044495442/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^6 + 243298195497579740799185320780989076718788727567806865915910/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^5 - 127973093018936403848374864694929120165061003864105545051933/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^4 + 61730018642748296332002766900293517915499181921891607147450/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^3 - 3520858445720018293992123289189036538629591295068382804386/28115683\ 6156494859945706752049507807180782306730717542961*c_1001_4^2 + 2070415810475621010728485289167408597935986823647680603619/28115683\ 6156494859945706752049507807180782306730717542961*c_1001_4 - 146283437738485124883300519148945745767707372396611401764/281156836\ 156494859945706752049507807180782306730717542961, c_0101_7 + 525714007399779170267372427309902053202624869283469789246/28\ 1156836156494859945706752049507807180782306730717542961*c_1001_4^18 - 2709584435566610960687250678965795278047373431526872490496/281156\ 836156494859945706752049507807180782306730717542961*c_1001_4^17 + 7247497904369090224667505370962579572238356017726091106184/28115683\ 6156494859945706752049507807180782306730717542961*c_1001_4^16 - 14185786300442799103494751332544903983102598722116996180432/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^15 + 25549940618457123000614664028531178271894299314058941577562/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^14 - 11432790088015318508807630840914296387744467124845607947384/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^13 + 11703923541339712150210110650973161561814770371412072577746/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^12 - 22671082097778670745525140322139861886311082115121170989864/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^11 + 10516133781746193260443249252792346927010073177892860285446/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^10 - 12131415489813075329277043945919429827715585093594130593822/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^9 + 25472813129530693903182168814416107021941307585434977501666/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^8 - 13998779761699433796041480053459975153833223949478224802982/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^7 + 18636395952839764051892451480776667404582861639070106875288/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^6 - 10886471747126286950756359382977962570316811430403137703267/2811568\ 36156494859945706752049507807180782306730717542961*c_1001_4^5 + 4813000258198359982042413010462018033781465954932374980984/28115683\ 6156494859945706752049507807180782306730717542961*c_1001_4^4 - 2718943393954418470083302843446710591739497066646042564660/28115683\ 6156494859945706752049507807180782306730717542961*c_1001_4^3 - 205287377719154452549272121557306249116104306593945964392/281156836\ 156494859945706752049507807180782306730717542961*c_1001_4^2 - 94460834580944353855791494434381040547507100088654618414/2811568361\ 56494859945706752049507807180782306730717542961*c_1001_4 + 55404886731578906896869923511840048221332430994079599386/2811568361\ 56494859945706752049507807180782306730717542961, c_1001_4^19 - 2360/441*c_1001_4^18 + 6521/441*c_1001_4^17 - 266/9*c_1001_4^16 + 7852/147*c_1001_4^15 - 13348/441*c_1001_4^14 + 1212/49*c_1001_4^13 - 318/7*c_1001_4^12 + 1432/49*c_1001_4^11 - 1282/49*c_1001_4^10 + 3181/63*c_1001_4^9 - 16082/441*c_1001_4^8 + 17660/441*c_1001_4^7 - 10849/441*c_1001_4^6 + 5654/441*c_1001_4^5 - 2705/441*c_1001_4^4 + 25/49*c_1001_4^3 - 10/63*c_1001_4^2 + 1/49*c_1001_4 - 1/441 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.510 Total time: 0.710 seconds, Total memory usage: 32.09MB