Magma V2.19-8 Tue Aug 20 2013 23:44:52 on localhost [Seed = 913331095] Type ? for help. Type -D to quit. Loading file "K13n2067__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2067 geometric_solution 10.19902710 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 2 0132 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 0 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.461613151043 0.418454401357 0 4 6 5 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 4 -3 0 0 0 0 1 -4 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.716158359070 0.536052408709 0 0 8 7 3012 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 0 -1 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.157909617095 0.899970674591 4 7 5 0 2310 0132 2310 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.994777422965 0.912551051175 6 1 3 9 0321 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.538978917882 0.273211300888 9 3 1 6 1302 3201 0132 3201 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 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.735268344767 0.479795368428 4 5 9 1 0321 2310 1302 0132 0 0 0 0 0 0 0 0 0 0 1 -1 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 4 -4 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.363114827573 0.961581100732 10 3 2 11 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 -1 1 0 0 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.696056203602 0.670933424310 10 10 11 2 2103 1302 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 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.667942924387 1.152776233997 6 5 4 11 2031 2031 0132 2031 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 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.356184701790 0.356380202249 7 11 8 8 0132 1302 2103 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.667942924387 1.152776233997 8 9 7 10 2103 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.415538533875 0.328008849525 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0110_9'], 'c_1001_10' : d['c_0011_8'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0110_9'], 'c_1001_1' : negation(d['c_0110_5']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0110_9'], 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : negation(d['c_0110_5']), 'c_1001_8' : d['c_0011_11'], 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : d['c_0011_8'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_10'], '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_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0011_8']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_10']), 'c_1100_7' : negation(d['c_0011_8']), 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_1' : negation(d['c_0011_6']), 'c_1100_0' : d['c_0011_11'], 'c_1100_3' : d['c_0011_11'], 'c_1100_2' : negation(d['c_0011_8']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0011_10']), 'c_1100_11' : negation(d['c_0011_8']), 'c_1100_10' : negation(d['c_0101_2']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0110_9'], 'c_1010_6' : negation(d['c_0110_5']), 'c_1010_5' : negation(d['c_0110_9']), 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_3']), 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : d['c_0011_11'], 'c_1010_8' : d['c_0101_2'], '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' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_11'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_8'], 'c_0110_10' : d['c_0011_11'], 'c_0101_7' : d['c_0011_11'], 'c_0101_6' : negation(d['c_0011_9']), 'c_0101_5' : negation(d['c_0011_9']), 'c_0101_4' : d['c_0011_9'], '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' : negation(d['c_0011_9']), 'c_0101_9' : negation(d['c_0011_6']), 'c_0101_8' : d['c_0101_10'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : negation(d['c_0011_9']), 'c_0110_0' : negation(d['c_0011_0']), 'c_0110_3' : negation(d['c_0011_9']), 'c_0110_2' : d['c_0011_11'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : negation(d['c_0011_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_6, c_0011_8, c_0011_9, c_0101_10, c_0101_2, c_0101_3, c_0110_5, c_0110_9, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 6930043046102035651095431590312922848701661052502493204968264939234\ 1/14040742993967151151152231297051836177693828657199207660592272691\ 116408*c_1001_0^20 + 3316948461846844096491125441389583507598173759\ 5223879633110241589601/70203714969835755755761156485259180888469143\ 28599603830296136345558204*c_1001_0^19 - 5507695118368338913600311981208987764187788258938201540536968490107\ 7/58503095808196463129800963737715984073724286071663365252467802879\ 6517*c_1001_0^18 - 275139096436575669591816312288743893780745407108\ 702700073347471390399/702037149698357557557611564852591808884691432\ 8599603830296136345558204*c_1001_0^17 + 1349691651337967783198276409048673763679233090618034186989726923096\ 2839/14040742993967151151152231297051836177693828657199207660592272\ 691116408*c_1001_0^16 - 5954384231593791179622884649076237577661318\ 171079500698670185628138551/140407429939671511511522312970518361776\ 93828657199207660592272691116408*c_1001_0^15 - 1003732967655218834805196737931445519506690728482306568969808547902\ 35439/1404074299396715115115223129705183617769382865719920766059227\ 2691116408*c_1001_0^14 + 262061910583986201033178093743783574741737\ 93726661966917145447200131567/3510185748491787787788057824262959044\ 423457164299801915148068172779102*c_1001_0^13 + 1724021001287609965189453572659386712580255409524942239009969112059\ 42633/4680247664655717050384077099017278725897942885733069220197424\ 230372136*c_1001_0^12 - 1559755065836537806580075734301662408611015\ 9139103823382724711763613589/29873921263759896066281343185216672718\ 4975077812749099161537716832264*c_1001_0^11 - 9593089857662945664150929478817769288747183140656897094137759031251\ 875/742896454707256674664139222066234718396498870751280828602765750\ 85272*c_1001_0^10 + 85930461592380630021224635057421307884431671199\ 486342096284882512106665/342457146194320759784200763342727711651068\ 991639005064892494455880888*c_1001_0^9 + 1165377827691802886288713951856881631658022476087011797477248326887\ 80389/3191077953174352534352779840239053676748597422090729013770971\ 06616282*c_1001_0^8 - 602098963543936938512422469652312184362581121\ 0117548493040081318781308873/70203714969835755755761156485259180888\ 46914328599603830296136345558204*c_1001_0^7 - 2757202528627698565428004793814967036228608151470323435545701837628\ 042903/351018574849178778778805782426295904442345716429980191514806\ 8172779102*c_1001_0^6 + 1580666594086746010011582385208303864308460\ 337098236921618787768859600293/780041277442619508397346183169546454\ 316323814288844870032904038395356*c_1001_0^5 + 5105734198105170753726332449049719421484200261601128949163334200650\ 309997/702037149698357557557611564852591808884691432859960383029613\ 6345558204*c_1001_0^4 - 3072416411251546745087988596628741618988007\ 992818329620747988676605818453/100291021385479651079658794978941686\ 9835273475514229118613733763651172*c_1001_0^3 + 3499807174986419355628599964780813749817761739593527914353400227448\ 054087/468024766465571705038407709901727872589794288573306922019742\ 4230372136*c_1001_0^2 + 1704350354281854810433549986949619384813588\ 73035987862451853700731311529/8357585115456637589971566248245140581\ 9606122959519093217811146970931*c_1001_0 - 2704428343960241300091493318007336367573521428011859643254666574906\ 918833/175509287424589389389402891213147952221172858214990095757403\ 4086389551, c_0011_0 - 1, c_0011_10 + 195673227846996301083174973830781714338164496180274/9192710\ 38540998011964569483676778756696101156610973759869*c_1001_0^20 - 1483702127963754036749002723139316431992984403339035/91927103854099\ 8011964569483676778756696101156610973759869*c_1001_0^19 - 6802044728031697162117414557835538940155537165560315/18385420770819\ 96023929138967353557513392202313221947519738*c_1001_0^18 + 27758320269763109542003414921481426850372425549490862/9192710385409\ 98011964569483676778756696101156610973759869*c_1001_0^17 + 20815991680140971633542561322356300981325014449914746/9192710385409\ 98011964569483676778756696101156610973759869*c_1001_0^16 - 592713238925003808652151843253694655290812458326870811/183854207708\ 1996023929138967353557513392202313221947519738*c_1001_0^15 + 232456725419321264749841932902849030852937089053700629/183854207708\ 1996023929138967353557513392202313221947519738*c_1001_0^14 + 2138301787340644301029771823693151927979059315216489502/91927103854\ 0998011964569483676778756696101156610973759869*c_1001_0^13 - 2206385500315063504177522114074774228650334763636930681/91927103854\ 0998011964569483676778756696101156610973759869*c_1001_0^12 - 10137382672170833585125174058962089740730390828608439809/9192710385\ 40998011964569483676778756696101156610973759869*c_1001_0^11 + 15490909201996716310662059821978711220349576362948639947/9192710385\ 40998011964569483676778756696101156610973759869*c_1001_0^10 + 65622847121504446693816503627160024915679818959560855413/1838542077\ 081996023929138967353557513392202313221947519738*c_1001_0^9 - 73107751276893169872627530632961715506607656556769364142/9192710385\ 40998011964569483676778756696101156610973759869*c_1001_0^8 - 174540317212723722424025257550565316457005240101644417203/183854207\ 7081996023929138967353557513392202313221947519738*c_1001_0^7 + 226410081782791989991992449435620826856618615872061804799/919271038\ 540998011964569483676778756696101156610973759869*c_1001_0^6 + 139301651724896491255462266259273591327752618652849378705/919271038\ 540998011964569483676778756696101156610973759869*c_1001_0^5 - 890251485729206461233658537293663427395548145119824940779/183854207\ 7081996023929138967353557513392202313221947519738*c_1001_0^4 + 3956406136532755824857095777387927235459039337558709902/91927103854\ 0998011964569483676778756696101156610973759869*c_1001_0^3 + 804409019820040198885878285863784220498232247423415366563/183854207\ 7081996023929138967353557513392202313221947519738*c_1001_0^2 - 5620278603546971725615226594507782732393814337751477681/18385420770\ 81996023929138967353557513392202313221947519738*c_1001_0 - 281754524644251878455029266837242626486496566596042850194/919271038\ 540998011964569483676778756696101156610973759869, c_0011_11 + 3532713140179582779599225939300170198101825528315825/183854\ 2077081996023929138967353557513392202313221947519738*c_1001_0^20 + 10723078836362434534767586813323264128967067587311201/1838542077081\ 996023929138967353557513392202313221947519738*c_1001_0^19 - 46902243902568053052970929769280428670019561687864471/1838542077081\ 996023929138967353557513392202313221947519738*c_1001_0^18 - 162250257234169405733748970493422327150439474861983329/183854207708\ 1996023929138967353557513392202313221947519738*c_1001_0^17 + 199774552967012305045833391010644926965148281518536499/919271038540\ 998011964569483676778756696101156610973759869*c_1001_0^16 + 575727058159673713344604533276597272724547277236997593/919271038540\ 998011964569483676778756696101156610973759869*c_1001_0^15 - 3646904693610191594778925090671008758390782516390192977/18385420770\ 81996023929138967353557513392202313221947519738*c_1001_0^14 - 3705513709968446801776293151758525515416270243625268376/91927103854\ 0998011964569483676778756696101156610973759869*c_1001_0^13 + 11781768784500252477180037315145386501961753574018463315/9192710385\ 40998011964569483676778756696101156610973759869*c_1001_0^12 + 39381833563481573406267697998497379375309550752036432947/1838542077\ 081996023929138967353557513392202313221947519738*c_1001_0^11 - 108971407661955668607147648366916381256903424509356573317/183854207\ 7081996023929138967353557513392202313221947519738*c_1001_0^10 - 65494590475494238745648095880563446664087178916578782979/9192710385\ 40998011964569483676778756696101156610973759869*c_1001_0^9 + 452558576728681583265348586880645880721089964570921384517/183854207\ 7081996023929138967353557513392202313221947519738*c_1001_0^8 + 427019765930757003485425409721577227660935011011817308305/183854207\ 7081996023929138967353557513392202313221947519738*c_1001_0^7 - 1345417369944139173680026553800969909532866512913231907741/18385420\ 77081996023929138967353557513392202313221947519738*c_1001_0^6 - 1249169825033409613613093098397803183624558957110554389281/18385420\ 77081996023929138967353557513392202313221947519738*c_1001_0^5 + 1343648325241326804226518719171257814231196445183345560996/91927103\ 8540998011964569483676778756696101156610973759869*c_1001_0^4 + 864195004879986753078500902386238759245888877749314579730/919271038\ 540998011964569483676778756696101156610973759869*c_1001_0^3 - 1920341738674748945210868034348026260309575040330200572390/91927103\ 8540998011964569483676778756696101156610973759869*c_1001_0^2 - 1951419039859805484102726826777217814186514902643770571257/18385420\ 77081996023929138967353557513392202313221947519738*c_1001_0 + 1242148263178685110095279204890119287699375418578717955562/91927103\ 8540998011964569483676778756696101156610973759869, c_0011_6 + 29535525423224474592265507100117042448661770258946179/367708\ 4154163992047858277934707115026784404626443895039476*c_1001_0^20 + 26363807895618494280805938762969011489489196503014141/1838542077081\ 996023929138967353557513392202313221947519738*c_1001_0^19 - 237651862190078671036636335295959790316827775063137887/183854207708\ 1996023929138967353557513392202313221947519738*c_1001_0^18 - 145606904242552267214284934277939886297524189434325546/919271038540\ 998011964569483676778756696101156610973759869*c_1001_0^17 + 4554459441891518442890489091944779894547888043972184251/36770841541\ 63992047858277934707115026784404626443895039476*c_1001_0^16 + 833679152468581353936408549020990886466555445721524963/367708415416\ 3992047858277934707115026784404626443895039476*c_1001_0^15 - 35434943560838613071959294834183677691405582240426350283/3677084154\ 163992047858277934707115026784404626443895039476*c_1001_0^14 + 6455059513786683010704535546523973912252258583140580117/18385420770\ 81996023929138967353557513392202313221947519738*c_1001_0^13 + 183285553897256865768049224352066584669304850952539130395/367708415\ 4163992047858277934707115026784404626443895039476*c_1001_0^12 - 121244431331962760576377149985135120751959103814003364839/367708415\ 4163992047858277934707115026784404626443895039476*c_1001_0^11 - 637634352087202763614592480069370162356702460964277974759/367708415\ 4163992047858277934707115026784404626443895039476*c_1001_0^10 + 723306732056685158711009197177936902392624828137958714875/367708415\ 4163992047858277934707115026784404626443895039476*c_1001_0^9 + 494916632253071443633878246019364462232479742866868218615/919271038\ 540998011964569483676778756696101156610973759869*c_1001_0^8 - 562648669424969870310576491126814433791697278702895069219/919271038\ 540998011964569483676778756696101156610973759869*c_1001_0^7 - 2059814438603914315628802475756505894033487587556892750057/18385420\ 77081996023929138967353557513392202313221947519738*c_1001_0^6 + 1218618430535761613889002613788155617528338491308305667684/91927103\ 8540998011964569483676778756696101156610973759869*c_1001_0^5 + 1694354016002166056887158141672925491556940526755424832843/18385420\ 77081996023929138967353557513392202313221947519738*c_1001_0^4 - 3947448232664418512867296263020948415635439112579371089101/18385420\ 77081996023929138967353557513392202313221947519738*c_1001_0^3 + 2053910145431026818592596362453269896109441380658827087061/36770841\ 54163992047858277934707115026784404626443895039476*c_1001_0^2 + 1098371973458087217522426802324728939807143870109375634303/91927103\ 8540998011964569483676778756696101156610973759869*c_1001_0 - 1144544175334471636616777173741632770387151233479536009646/91927103\ 8540998011964569483676778756696101156610973759869, c_0011_8 - 15005935538762915081115304653729914983282071954986989/367708\ 4154163992047858277934707115026784404626443895039476*c_1001_0^20 - 769134423743352407634732318871175088343484246638076/919271038540998\ 011964569483676778756696101156610973759869*c_1001_0^19 + 130881461258662513655296452236945730687942566003796681/183854207708\ 1996023929138967353557513392202313221947519738*c_1001_0^18 - 44790397721088314990183296063152156832081028202416005/1838542077081\ 996023929138967353557513392202313221947519738*c_1001_0^17 - 2391257765363664534000283004723548096977190311406617259/36770841541\ 63992047858277934707115026784404626443895039476*c_1001_0^16 + 3033975984532180461228105882436792940894095610739345703/36770841541\ 63992047858277934707115026784404626443895039476*c_1001_0^15 + 15196686617096736948502976103634183264877667944956145523/3677084154\ 163992047858277934707115026784404626443895039476*c_1001_0^14 - 14905883029941073260555587979171135474407413970755045039/1838542077\ 081996023929138967353557513392202313221947519738*c_1001_0^13 - 61845056801848183248501734641659434993044217963687874195/3677084154\ 163992047858277934707115026784404626443895039476*c_1001_0^12 + 160514880528099763794937473849772291306912954688702581049/367708415\ 4163992047858277934707115026784404626443895039476*c_1001_0^11 + 154027240272893661887813792442282717580643607058136483929/367708415\ 4163992047858277934707115026784404626443895039476*c_1001_0^10 - 638347623166041452869078819161528983721589032068992407373/367708415\ 4163992047858277934707115026784404626443895039476*c_1001_0^9 - 147827181631259474578673038402862437543442181413467664899/183854207\ 7081996023929138967353557513392202313221947519738*c_1001_0^8 + 473087207657686959351505506247676319686400650332974067163/919271038\ 540998011964569483676778756696101156610973759869*c_1001_0^7 + 22347707437936876418019217898223679008407121275343904167/9192710385\ 40998011964569483676778756696101156610973759869*c_1001_0^6 - 1776353761269444360539728635515578003927030264763244947105/18385420\ 77081996023929138967353557513392202313221947519738*c_1001_0^5 + 497019357691078361795946581658580488642637411847193328530/919271038\ 540998011964569483676778756696101156610973759869*c_1001_0^4 + 1574617513869285517783637052546692936381463015410329262747/18385420\ 77081996023929138967353557513392202313221947519738*c_1001_0^3 - 4430570692159470281395629356625077914529273234922382795979/36770841\ 54163992047858277934707115026784404626443895039476*c_1001_0^2 - 97863811928312809597558344622115259065462670923723583090/9192710385\ 40998011964569483676778756696101156610973759869*c_1001_0 + 423814174904529907608048717756749678673832840269459657619/919271038\ 540998011964569483676778756696101156610973759869, c_0011_9 - 20015072510966765894414082899565608535820364060410785/183854\ 2077081996023929138967353557513392202313221947519738*c_1001_0^20 - 30718243641612522017604212066848180141685460416903335/1838542077081\ 996023929138967353557513392202313221947519738*c_1001_0^19 + 164231022055998634887595533386997089300356872747679574/919271038540\ 998011964569483676778756696101156610973759869*c_1001_0^18 + 158607580111653680584476627591750811341402182823000243/919271038540\ 998011964569483676778756696101156610973759869*c_1001_0^17 - 3103212958116108474714273901172298677914316886771271941/18385420770\ 81996023929138967353557513392202313221947519738*c_1001_0^16 + 69742553969007656174554129098821779244699990955198091/9192710385409\ 98011964569483676778756696101156610973759869*c_1001_0^15 + 11690097711751149121945280547443190820547328280828940034/9192710385\ 40998011964569483676778756696101156610973759869*c_1001_0^14 - 13553237244156409027675050822751975372435756887492339457/1838542077\ 081996023929138967353557513392202313221947519738*c_1001_0^13 - 117611679325700604368211974898468700643883628845746584877/183854207\ 7081996023929138967353557513392202313221947519738*c_1001_0^12 + 49915794980722322194777712471410561428554153918916906963/9192710385\ 40998011964569483676778756696101156610973759869*c_1001_0^11 + 197815937422082742463958904254847879216526763695490965701/919271038\ 540998011964569483676778756696101156610973759869*c_1001_0^10 - 266908623850007107676419645565445261058688809149010977649/919271038\ 540998011964569483676778756696101156610973759869*c_1001_0^9 - 1202161545482653925801439960657843022643007182541050327123/18385420\ 77081996023929138967353557513392202313221947519738*c_1001_0^8 + 838777998950744863979197274351111479871290040556808543417/919271038\ 540998011964569483676778756696101156610973759869*c_1001_0^7 + 1244547133183792776147386220060421317884433226995326477034/91927103\ 8540998011964569483676778756696101156610973759869*c_1001_0^6 - 1732336697373052265447510409961506903708120069452310364899/91927103\ 8540998011964569483676778756696101156610973759869*c_1001_0^5 - 755749561788822738717018627319504085854355826089198569784/919271038\ 540998011964569483676778756696101156610973759869*c_1001_0^4 + 2827303236885619461104750282334514912292451714757594932543/91927103\ 8540998011964569483676778756696101156610973759869*c_1001_0^3 - 2431117955299856153052142389607617900723275923120544830013/18385420\ 77081996023929138967353557513392202313221947519738*c_1001_0^2 - 4078621688116772381011556430022501960039113746704635253205/18385420\ 77081996023929138967353557513392202313221947519738*c_1001_0 + 1405288101426295869580503343418142572341973027706203608207/91927103\ 8540998011964569483676778756696101156610973759869, c_0101_10 - 591883106403982838546158852853330459590846743677375/9192710\ 38540998011964569483676778756696101156610973759869*c_1001_0^20 + 12832660771907796585316236115483689859456873221717009/1838542077081\ 996023929138967353557513392202313221947519738*c_1001_0^19 + 20119230750437218349888696727956791519548191403521620/9192710385409\ 98011964569483676778756696101156610973759869*c_1001_0^18 - 118393259008233586239783395696385778627277466053702945/919271038540\ 998011964569483676778756696101156610973759869*c_1001_0^17 - 203937157164639532374438448598852611174572557645396213/919271038540\ 998011964569483676778756696101156610973759869*c_1001_0^16 + 2508638775984663249723044070505917886378694811356684457/18385420770\ 81996023929138967353557513392202313221947519738*c_1001_0^15 + 1282727560455223805641740118951310910651319453944222989/18385420770\ 81996023929138967353557513392202313221947519738*c_1001_0^14 - 19774760935612660246676362848188610183642602227687840045/1838542077\ 081996023929138967353557513392202313221947519738*c_1001_0^13 + 1981904389624955042232862068365907908710078422852519494/91927103854\ 0998011964569483676778756696101156610973759869*c_1001_0^12 + 104865638250301030840186240197286157747441351714409154043/183854207\ 7081996023929138967353557513392202313221947519738*c_1001_0^11 - 59470940314449036167657801962500069288865346451366198587/1838542077\ 081996023929138967353557513392202313221947519738*c_1001_0^10 - 388952689242832939773557188195212362644121742483514387443/183854207\ 7081996023929138967353557513392202313221947519738*c_1001_0^9 + 366112325245313673332240354830660455945118419799932019427/183854207\ 7081996023929138967353557513392202313221947519738*c_1001_0^8 + 617090549780591379563456948058182148022206998013215040364/919271038\ 540998011964569483676778756696101156610973759869*c_1001_0^7 - 656192072378018366746357204299919512626790337507025315404/919271038\ 540998011964569483676778756696101156610973759869*c_1001_0^6 - 1436816726222723824509477047117277583091448108338671853635/91927103\ 8540998011964569483676778756696101156610973759869*c_1001_0^5 + 1581479505024176660246946986336845529557822362723993382839/91927103\ 8540998011964569483676778756696101156610973759869*c_1001_0^4 + 1673223531197296160614725284941879168365952618244283114492/91927103\ 8540998011964569483676778756696101156610973759869*c_1001_0^3 - 2619859710394137431092525830288933545167072603730045753970/91927103\ 8540998011964569483676778756696101156610973759869*c_1001_0^2 - 2062794968914007659533076802426115776924392041217715271463/18385420\ 77081996023929138967353557513392202313221947519738*c_1001_0 + 1723276410591505353863801158911221879385710770773316272603/91927103\ 8540998011964569483676778756696101156610973759869, c_0101_2 - 2802430640537649774797993891092743395041672483029917/3677084\ 154163992047858277934707115026784404626443895039476*c_1001_0^20 - 8423094798772603690743710307557013393573427750664135/18385420770819\ 96023929138967353557513392202313221947519738*c_1001_0^19 + 11513678851688154151450607376627629402658521014526841/9192710385409\ 98011964569483676778756696101156610973759869*c_1001_0^18 + 145756164429905590222829520489821598862854315807333943/183854207708\ 1996023929138967353557513392202313221947519738*c_1001_0^17 - 538738894563451412524252165885581074922204342384735597/367708415416\ 3992047858277934707115026784404626443895039476*c_1001_0^16 - 2437055773920082788131229715273406515837638945909235357/36770841541\ 63992047858277934707115026784404626443895039476*c_1001_0^15 + 6096493525406160998248747714195098015144507627016199769/36770841541\ 63992047858277934707115026784404626443895039476*c_1001_0^14 + 7188029546801254559406462954227914222249040459169117859/18385420770\ 81996023929138967353557513392202313221947519738*c_1001_0^13 - 46211423371548417229923170052154394140123664322335875983/3677084154\ 163992047858277934707115026784404626443895039476*c_1001_0^12 - 59065051464403194617356220419379182895222385607655440239/3677084154\ 163992047858277934707115026784404626443895039476*c_1001_0^11 + 227912237228795912684291411733623142857288995758362172255/367708415\ 4163992047858277934707115026784404626443895039476*c_1001_0^10 + 147102360817974124990231241034514216798387798132394999969/367708415\ 4163992047858277934707115026784404626443895039476*c_1001_0^9 - 214252521478285711227747088475607068304869364847756031373/919271038\ 540998011964569483676778756696101156610973759869*c_1001_0^8 - 140865654590131208620968612954269272605941601919954877675/183854207\ 7081996023929138967353557513392202313221947519738*c_1001_0^7 + 624143290574646179877074194026494110846676252821972815468/919271038\ 540998011964569483676778756696101156610973759869*c_1001_0^6 + 94471343620177227721925169095217438386161854984936116760/9192710385\ 40998011964569483676778756696101156610973759869*c_1001_0^5 - 2384476057366171964997372206192689320190348051215058393953/18385420\ 77081996023929138967353557513392202313221947519738*c_1001_0^4 + 158798191928119840548561914553288201405167757210785289845/919271038\ 540998011964569483676778756696101156610973759869*c_1001_0^3 + 3317228078378882585185822478105674417183893922230790428797/36770841\ 54163992047858277934707115026784404626443895039476*c_1001_0^2 - 1205445730079207075473725583779711144327045059638948164951/18385420\ 77081996023929138967353557513392202313221947519738*c_1001_0 + 189219409864120414303675802612902351656060286901653584263/919271038\ 540998011964569483676778756696101156610973759869, c_0101_3 + 18410648015728378844315897251570655769835101883120981/367708\ 4154163992047858277934707115026784404626443895039476*c_1001_0^20 + 13950347811686808037352794643215138580352721310106086/9192710385409\ 98011964569483676778756696101156610973759869*c_1001_0^19 - 133229822509019287265139943494293815903993339888446149/183854207708\ 1996023929138967353557513392202313221947519738*c_1001_0^18 - 365412333771373389847288453183890214035938309383518629/183854207708\ 1996023929138967353557513392202313221947519738*c_1001_0^17 + 2466953691170817871644386010801815663146817002403923693/36770841541\ 63992047858277934707115026784404626443895039476*c_1001_0^16 + 3815323111222054801420993154758367493776490220735230825/36770841541\ 63992047858277934707115026784404626443895039476*c_1001_0^15 - 21584341303905768242550725536578774460658774668561163249/3677084154\ 163992047858277934707115026784404626443895039476*c_1001_0^14 - 3975266099638756436305091137687903139936385762720781247/91927103854\ 0998011964569483676778756696101156610973759869*c_1001_0^13 + 121823195860176789073533130932203280515569710047483768459/367708415\ 4163992047858277934707115026784404626443895039476*c_1001_0^12 + 48776480623956371058790266858969746032091967315220577761/3677084154\ 163992047858277934707115026784404626443895039476*c_1001_0^11 - 444429245406646435784617369948807972190100816488525658553/367708415\ 4163992047858277934707115026784404626443895039476*c_1001_0^10 + 9858034754184274806042894687814660039682890938389297895/36770841541\ 63992047858277934707115026784404626443895039476*c_1001_0^9 + 758096780388185913650398065850891417891983453443457413395/183854207\ 7081996023929138967353557513392202313221947519738*c_1001_0^8 - 5935401911237207256103532468243288327822119915296883773/91927103854\ 0998011964569483676778756696101156610973759869*c_1001_0^7 - 839465973274968633966288254803244104222951681195471363490/919271038\ 540998011964569483676778756696101156610973759869*c_1001_0^6 - 95898259486809654947586175214027089113726491140961960024/9192710385\ 40998011964569483676778756696101156610973759869*c_1001_0^5 + 567702868781510008652028847637853274733342897710979050182/919271038\ 540998011964569483676778756696101156610973759869*c_1001_0^4 - 267786131596310910334180980632738629124784697444921850979/919271038\ 540998011964569483676778756696101156610973759869*c_1001_0^3 + 1663737299216809541776423802380628185000448119609261386893/36770841\ 54163992047858277934707115026784404626443895039476*c_1001_0^2 + 1155988082705569007577375738121069345483615218318324996493/18385420\ 77081996023929138967353557513392202313221947519738*c_1001_0 - 382719894450363547479873847780296721290928538468983636423/919271038\ 540998011964569483676778756696101156610973759869, c_0110_5 + 4113111241482436108845684806784487848105255076906661/1838542\ 077081996023929138967353557513392202313221947519738*c_1001_0^20 + 12420523507527587344250796102184258931355054892906776/9192710385409\ 98011964569483676778756696101156610973759869*c_1001_0^19 - 39523301168220414373634861360581112143057600601606729/1838542077081\ 996023929138967353557513392202313221947519738*c_1001_0^18 - 177948441589030324106902435679987687698693567902799154/919271038540\ 998011964569483676778756696101156610973759869*c_1001_0^17 + 165753631553085942527838418230650981735046440213751870/919271038540\ 998011964569483676778756696101156610973759869*c_1001_0^16 + 1324849140858794001329299309944645934536014872736975202/91927103854\ 0998011964569483676778756696101156610973759869*c_1001_0^15 - 4529625077660422770790359107244655453078240144402460413/18385420770\ 81996023929138967353557513392202313221947519738*c_1001_0^14 - 17340348615880679496195566869034086852683848349504695737/1838542077\ 081996023929138967353557513392202313221947519738*c_1001_0^13 + 31345509232798462657120656543924377277525792259851129247/1838542077\ 081996023929138967353557513392202313221947519738*c_1001_0^12 + 41312080698372625101166937526277035913297559673434714600/9192710385\ 40998011964569483676778756696101156610973759869*c_1001_0^11 - 136356020066283511775854920389648492115333584965854624275/183854207\ 7081996023929138967353557513392202313221947519738*c_1001_0^10 - 260606296699882228678163765189478271955342273198929174327/183854207\ 7081996023929138967353557513392202313221947519738*c_1001_0^9 + 287627080425834365437899737245404951059938651185760698274/919271038\ 540998011964569483676778756696101156610973759869*c_1001_0^8 + 877573505111437149910914515474131698154992875267275747739/183854207\ 7081996023929138967353557513392202313221947519738*c_1001_0^7 - 750382582235118005207175260344834937041510254825454742571/919271038\ 540998011964569483676778756696101156610973759869*c_1001_0^6 - 2061707844686729840032488120026681670529473356213730882815/18385420\ 77081996023929138967353557513392202313221947519738*c_1001_0^5 + 2056276175272728249438136823051052928853328643466737640029/18385420\ 77081996023929138967353557513392202313221947519738*c_1001_0^4 + 2320193213118673123635491481532233784450989494121255287197/18385420\ 77081996023929138967353557513392202313221947519738*c_1001_0^3 - 1853313607506432942055383316936572532134383591096732615409/18385420\ 77081996023929138967353557513392202313221947519738*c_1001_0^2 - 808248701860013821853849998893577028911893526434240791448/919271038\ 540998011964569483676778756696101156610973759869*c_1001_0 + 580150999238050844905381495497189952885347156717923383527/919271038\ 540998011964569483676778756696101156610973759869, c_0110_9 + 1891974414090117710340313286770391720872486480961309/3677084\ 154163992047858277934707115026784404626443895039476*c_1001_0^20 - 40245898637033075801895897155306085644901614593147/1838542077081996\ 023929138967353557513392202313221947519738*c_1001_0^19 - 9461724870400643749531808014248514485045853278065237/18385420770819\ 96023929138967353557513392202313221947519738*c_1001_0^18 + 3066251770412502398303753713350920122600155362311753/18385420770819\ 96023929138967353557513392202313221947519738*c_1001_0^17 + 107821315981954710409146222688909050034085710680753525/367708415416\ 3992047858277934707115026784404626443895039476*c_1001_0^16 - 191737352326249375051616138635494709354994004946098621/367708415416\ 3992047858277934707115026784404626443895039476*c_1001_0^15 - 466543264935928059972086097611606244637492222856053415/367708415416\ 3992047858277934707115026784404626443895039476*c_1001_0^14 + 166390456687183288626384660092884134012681536598990447/183854207708\ 1996023929138967353557513392202313221947519738*c_1001_0^13 + 533423116363336872821783696103613919257476411776050167/367708415416\ 3992047858277934707115026784404626443895039476*c_1001_0^12 + 3846432560773857878688673824676695715898155014326950131/36770841541\ 63992047858277934707115026784404626443895039476*c_1001_0^11 + 2809725750644129774515862106247264362419064531678417013/36770841541\ 63992047858277934707115026784404626443895039476*c_1001_0^10 - 18995235016489826632664304572194295487176536208695876459/3677084154\ 163992047858277934707115026784404626443895039476*c_1001_0^9 + 433775184071973206510316289891250918818627588602370585/919271038540\ 998011964569483676778756696101156610973759869*c_1001_0^8 + 46485284336384535918809437286243348348532814898781057544/9192710385\ 40998011964569483676778756696101156610973759869*c_1001_0^7 + 14731401736510201170180399005615087273396617476979038830/9192710385\ 40998011964569483676778756696101156610973759869*c_1001_0^6 - 215125168923256711524827064048733735376453373776161781928/919271038\ 540998011964569483676778756696101156610973759869*c_1001_0^5 - 13721253548500218327659458792841462528828767335920571787/9192710385\ 40998011964569483676778756696101156610973759869*c_1001_0^4 + 411082746682355059153304719344355674855028837037501424435/919271038\ 540998011964569483676778756696101156610973759869*c_1001_0^3 - 1397798896185967873708684041224484555253260755207349145283/36770841\ 54163992047858277934707115026784404626443895039476*c_1001_0^2 - 927599671271380537686698775746686418135275484733203541111/919271038\ 540998011964569483676778756696101156610973759869*c_1001_0 + 260913924455129328095268203710080974524923660689541050687/919271038\ 540998011964569483676778756696101156610973759869, c_1001_0^21 + 2*c_1001_0^20 - 18*c_1001_0^19 - 28*c_1001_0^18 + 185*c_1001_0^17 + 121*c_1001_0^16 - 1525*c_1001_0^15 - 46*c_1001_0^14 + 8985*c_1001_0^13 - 2413*c_1001_0^12 - 37173*c_1001_0^11 + 21649*c_1001_0^10 + 128044*c_1001_0^9 - 90008*c_1001_0^8 - 346702*c_1001_0^7 + 226464*c_1001_0^6 + 598958*c_1001_0^5 - 433502*c_1001_0^4 - 553593*c_1001_0^3 + 554052*c_1001_0^2 + 188668*c_1001_0 - 368952 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.720 Total time: 2.930 seconds, Total memory usage: 32.09MB