Magma V2.19-8 Tue Aug 20 2013 23:46:36 on localhost [Seed = 3263473886] Type ? for help. Type -D to quit. Loading file "K14n21794__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n21794 geometric_solution 11.17727172 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.697057814552 0.485185236853 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.850343142593 0.816408573484 8 0 6 9 0132 0132 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.149656857407 0.816408573484 8 4 9 0 2031 1302 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 0 0 0 0 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.479818896389 0.773838999203 7 5 0 3 0132 1230 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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 1.015609594441 0.849833133313 9 1 4 10 0321 0132 3012 0132 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 -1 1 0 0 0 0 0 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.334635059748 1.072388188928 11 2 1 10 0132 3201 0132 0213 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 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.074077247955 1.482936584398 4 8 10 1 0132 0321 2103 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 -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.480852589809 0.403126147063 2 11 3 7 0132 1302 1302 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.582247950288 0.673303230918 5 3 2 11 0321 1230 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.201661343453 0.933108974351 7 11 5 6 2103 1230 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.401688494487 0.890068426984 6 9 10 8 0132 2310 3012 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 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.015609594441 0.849833133313 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_10']), 'c_1001_10' : d['c_1001_1'], 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0011_10'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_9']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0101_0'], 'c_1010_11' : d['c_0011_0'], 'c_1010_10' : d['c_0101_11'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : negation(d['1']), 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_9']), 's_2_0' : negation(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_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_1001_2']), 'c_1100_4' : negation(d['c_1001_0']), 'c_1100_7' : d['c_0101_11'], 'c_1100_6' : d['c_0101_11'], 'c_1100_1' : d['c_0101_11'], 'c_1100_0' : negation(d['c_1001_0']), 'c_1100_3' : negation(d['c_1001_0']), 'c_1100_2' : negation(d['c_0011_11']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_1001_1']), 'c_1100_10' : negation(d['c_1001_2']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_1001_2']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_4']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_10'], 'c_1010_8' : d['c_1001_1'], 'c_1100_8' : d['c_0011_10'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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'], '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_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), 'c_0011_6' : negation(d['c_0011_11']), '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' : d['c_0101_0'], 'c_0110_10' : negation(d['c_0101_11']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_9']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_10'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_3']), 'c_0101_8' : negation(d['c_0011_3']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_0']), 'c_0110_8' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_11']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : negation(d['c_0011_9']), 'c_0110_4' : negation(d['c_0011_9']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_11']})} 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_3, c_0011_4, c_0011_9, c_0101_0, c_0101_1, c_0101_11, c_1001_0, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 48295618083703028089161503664224342616997057323296839/1846822262401\ 03892360376584331348553292098370668*c_1001_2^21 - 1761331232623313405736948879730788016556280552228538667/18468222624\ 0103892360376584331348553292098370668*c_1001_2^20 + 4620090419563737706034126108269272164650661406788482703/18468222624\ 0103892360376584331348553292098370668*c_1001_2^19 - 4425134486102880205423362435070369987915225239458953967/92341113120\ 051946180188292165674276646049185334*c_1001_2^18 - 29083808493128557412354691284637464216448918944164045071/1846822262\ 40103892360376584331348553292098370668*c_1001_2^17 - 10345874777706083184066351150715268165690297734568997243/1846822262\ 40103892360376584331348553292098370668*c_1001_2^16 + 116971840615815747314649434618653259604077309558964348595/184682226\ 240103892360376584331348553292098370668*c_1001_2^15 - 18486359168222896855873298031116307451491844942119165796/4617055656\ 0025973090094146082837138323024592667*c_1001_2^14 - 38937923310287647198883580473297491716301940399432218379/1846822262\ 40103892360376584331348553292098370668*c_1001_2^13 + 2821009201303090940623373639242797918279012775045800893/46170556560\ 025973090094146082837138323024592667*c_1001_2^12 + 59613965391141128371840541745657291175284345844296943127/9234111312\ 0051946180188292165674276646049185334*c_1001_2^11 - 40181570170942578867866237907286835749878077203623572364/4617055656\ 0025973090094146082837138323024592667*c_1001_2^10 + 168798896566379051241771702460379471299423345265028086227/184682226\ 240103892360376584331348553292098370668*c_1001_2^9 - 66823010979939248954760502536107578780432796666424098878/4617055656\ 0025973090094146082837138323024592667*c_1001_2^8 + 19367815066594725027317679270997167091594840289430665293/9720117170\ 531783808440872859544660699584124772*c_1001_2^7 - 85044080459637658727030183619130381765195938364427020797/4617055656\ 0025973090094146082837138323024592667*c_1001_2^6 + 223815652751826898228989142939648398811849548753699487271/184682226\ 240103892360376584331348553292098370668*c_1001_2^5 - 58581343747712660018075426748514951671305331982838169499/9234111312\ 0051946180188292165674276646049185334*c_1001_2^4 + 52562653618502132930774718091485868222404712902496355415/1846822262\ 40103892360376584331348553292098370668*c_1001_2^3 - 247040499113354079874099000196441384342149867573838696/243002929263\ 2945952110218214886165174896031193*c_1001_2^2 + 1012594105788247425477811185202116933317192666601514138/46170556560\ 025973090094146082837138323024592667*c_1001_2 - 182328600677860877208263403459181739941199365706876409/923411131200\ 51946180188292165674276646049185334, c_0011_0 - 1, c_0011_10 - 9878844533892577450357324878888262789376335/280928241922883\ 92509944719247238903756023482*c_1001_2^21 + 182118347170391741661163846796359720579590422/140464120961441962549\ 72359623619451878011741*c_1001_2^20 - 544592352671421162788076149433625817770450224/140464120961441962549\ 72359623619451878011741*c_1001_2^19 + 2181800543305508198297600480769955767367862015/28092824192288392509\ 944719247238903756023482*c_1001_2^18 + 5267375257352585603005828641347089130177950987/28092824192288392509\ 944719247238903756023482*c_1001_2^17 - 171523883338373170010149233452519557507358680/140464120961441962549\ 72359623619451878011741*c_1001_2^16 - 12397718740374591789866282337041859578591916348/1404641209614419625\ 4972359623619451878011741*c_1001_2^15 + 25233670158829753341315066507308300454644811481/2809282419228839250\ 9944719247238903756023482*c_1001_2^14 + 3037441821848321882233860003085617310117730803/28092824192288392509\ 944719247238903756023482*c_1001_2^13 - 7063226802147155766491594444694024740592635809/28092824192288392509\ 944719247238903756023482*c_1001_2^12 - 12008816644279629443326934044529003560772822574/1404641209614419625\ 4972359623619451878011741*c_1001_2^11 + 21688642554608247813291957488335448300629997338/1404641209614419625\ 4972359623619451878011741*c_1001_2^10 - 46644559288776034079067381272632343057093298193/2809282419228839250\ 9944719247238903756023482*c_1001_2^9 + 66420493913901713033313600006980187606431902109/2809282419228839250\ 9944719247238903756023482*c_1001_2^8 - 95810337985638935676623684771387994354009555367/2809282419228839250\ 9944719247238903756023482*c_1001_2^7 + 97486081435321953252918689165273358857736663343/2809282419228839250\ 9944719247238903756023482*c_1001_2^6 - 69794686537959967130522967385537404272890279553/2809282419228839250\ 9944719247238903756023482*c_1001_2^5 + 38458854260717869095446435462724333339591535279/2809282419228839250\ 9944719247238903756023482*c_1001_2^4 - 17913767695887585842145092074170661912950575737/2809282419228839250\ 9944719247238903756023482*c_1001_2^3 + 6952153474155312007817884187137825726050684501/28092824192288392509\ 944719247238903756023482*c_1001_2^2 - 914911567330028394676805654300912981054001737/140464120961441962549\ 72359623619451878011741*c_1001_2 + 109223730152355106433204659326830594120786715/140464120961441962549\ 72359623619451878011741, c_0011_11 + 20449114558271645631877511028129704373901327/28092824192288\ 392509944719247238903756023482*c_1001_2^21 - 377799035218757325870512015701488134978448744/140464120961441962549\ 72359623619451878011741*c_1001_2^20 + 1155622400859553836908582936061224527200873966/14046412096144196254\ 972359623619451878011741*c_1001_2^19 - 4570874421785772536443732912009242582170038429/28092824192288392509\ 944719247238903756023482*c_1001_2^18 - 10778170499890279136608029591109676234844863105/2809282419228839250\ 9944719247238903756023482*c_1001_2^17 + 1011212534025953663794693563399641061572557669/14046412096144196254\ 972359623619451878011741*c_1001_2^16 + 26878988269967236294061526579155830289345832649/1404641209614419625\ 4972359623619451878011741*c_1001_2^15 - 53607122997739191547404656782021423641418324387/2809282419228839250\ 9944719247238903756023482*c_1001_2^14 - 8725713583811701083433205399414778638676877403/28092824192288392509\ 944719247238903756023482*c_1001_2^13 + 14780460138111135920542061335990607625348062199/2809282419228839250\ 9944719247238903756023482*c_1001_2^12 + 25841469048808874898070589069284972288671253650/1404641209614419625\ 4972359623619451878011741*c_1001_2^11 - 45783285235913885274263076528060429885246108751/1404641209614419625\ 4972359623619451878011741*c_1001_2^10 + 96418186932078834372058815886835927758449846049/2809282419228839250\ 9944719247238903756023482*c_1001_2^9 - 139933934251784837950130309964596021976246976791/280928241922883925\ 09944719247238903756023482*c_1001_2^8 + 201866540394927877795171607484091134221502633885/280928241922883925\ 09944719247238903756023482*c_1001_2^7 - 204128011182774409142957988138467590430703167409/280928241922883925\ 09944719247238903756023482*c_1001_2^6 + 145131251177123090463361196810998439133092566031/280928241922883925\ 09944719247238903756023482*c_1001_2^5 - 79742946832783249192589578626159964750367880999/2809282419228839250\ 9944719247238903756023482*c_1001_2^4 + 37024717495260429769033889882892122155229699943/2809282419228839250\ 9944719247238903756023482*c_1001_2^3 - 14197935436900323849331012902923594813377376885/2809282419228839250\ 9944719247238903756023482*c_1001_2^2 + 1842609781590838714574006270455445739716173505/14046412096144196254\ 972359623619451878011741*c_1001_2 - 210062691740216404433610452652315840212724285/140464120961441962549\ 72359623619451878011741, c_0011_3 + 23120366881739828081021805265520358331512278/702320604807209\ 81274861798118097259390058705*c_1001_2^21 - 332279628608172676240364412205383830582013299/280928241922883925099\ 44719247238903756023482*c_1001_2^20 + 704338782041081556541375988294275503224717387/280928241922883925099\ 44719247238903756023482*c_1001_2^19 - 6428149405494291581786532044896755313972872169/14046412096144196254\ 9723596236194518780117410*c_1001_2^18 - 15858312596645966836946152934559404093592400694/7023206048072098127\ 4861798118097259390058705*c_1001_2^17 - 26289586157324212872715928636514248107866664831/1404641209614419625\ 49723596236194518780117410*c_1001_2^16 + 100057967764397949973175483155772844800225011083/140464120961441962\ 549723596236194518780117410*c_1001_2^15 - 3284420192047933822197042670953559642813613109/28092824192288392509\ 944719247238903756023482*c_1001_2^14 - 27996638544313994226385241692851275892416240814/7023206048072098127\ 4861798118097259390058705*c_1001_2^13 - 11635516392736764115390352627893810867631836989/1404641209614419625\ 49723596236194518780117410*c_1001_2^12 + 55834860938291298436441681619862398961359150193/7023206048072098127\ 4861798118097259390058705*c_1001_2^11 - 48206789907727989109594030747661931033787425003/7023206048072098127\ 4861798118097259390058705*c_1001_2^10 + 49483985475870781544638675117748676243356478127/7023206048072098127\ 4861798118097259390058705*c_1001_2^9 - 37446942963550727096328846801065644413826610231/2809282419228839250\ 9944719247238903756023482*c_1001_2^8 + 23718811962151519839054573996817174516110154318/1404641209614419625\ 4972359623619451878011741*c_1001_2^7 - 176000178866754102107066636754499467739999317821/140464120961441962\ 549723596236194518780117410*c_1001_2^6 + 43703165164594489616811143868744611310674917887/7023206048072098127\ 4861798118097259390058705*c_1001_2^5 - 35540669558045980108932264193462141379242671941/1404641209614419625\ 49723596236194518780117410*c_1001_2^4 + 6545807630869634271141962116449392365453825219/70232060480720981274\ 861798118097259390058705*c_1001_2^3 - 466234833361833168961891458469293845160585751/280928241922883925099\ 44719247238903756023482*c_1001_2^2 - 113315255713614703653433465083063727780494069/140464120961441962549\ 72359623619451878011741*c_1001_2 + 182791516289267032329482382513064455078087509/702320604807209812748\ 61798118097259390058705, c_0011_4 - 100840960497205954128359017077254715022862417/14046412096144\ 1962549723596236194518780117410*c_1001_2^21 + 371820827117224568064621202388068926729164353/140464120961441962549\ 72359623619451878011741*c_1001_2^20 - 1111385625172779797537426158554336132469826478/14046412096144196254\ 972359623619451878011741*c_1001_2^19 + 21923702409949305482939809632341436648174724823/1404641209614419625\ 49723596236194518780117410*c_1001_2^18 + 54306199100878481258167304725348679249722078821/1404641209614419625\ 49723596236194518780117410*c_1001_2^17 - 2359321095843152452784007335408877098488691909/70232060480720981274\ 861798118097259390058705*c_1001_2^16 - 130389091928081856176714369987487516640385505788/702320604807209812\ 74861798118097259390058705*c_1001_2^15 + 49490195216416349857758906224216671745951576133/2809282419228839250\ 9944719247238903756023482*c_1001_2^14 + 46368460082187092235557494475053988702501832701/1404641209614419625\ 49723596236194518780117410*c_1001_2^13 - 66487068717256002593995746198752820119755695387/1404641209614419625\ 49723596236194518780117410*c_1001_2^12 - 126087168732452054628807395342088245948494862631/702320604807209812\ 74861798118097259390058705*c_1001_2^11 + 217295174379902945412814371457850380583452789741/702320604807209812\ 74861798118097259390058705*c_1001_2^10 - 457825711282443891369874564895030849702772170653/140464120961441962\ 549723596236194518780117410*c_1001_2^9 + 133883794608118337424264258483006655031367119163/280928241922883925\ 09944719247238903756023482*c_1001_2^8 - 192018677104152906014440756571151874437930354579/280928241922883925\ 09944719247238903756023482*c_1001_2^7 + 962532076778942440207995040332731558101764601537/140464120961441962\ 549723596236194518780117410*c_1001_2^6 - 678680392726054374680424160988040235521465719643/140464120961441962\ 549723596236194518780117410*c_1001_2^5 + 370662516466658609651644440340227383883088557357/140464120961441962\ 549723596236194518780117410*c_1001_2^4 - 170953807809919110299455547561163865008978107471/140464120961441962\ 549723596236194518780117410*c_1001_2^3 + 13006508988903028892150231023814611302718331237/2809282419228839250\ 9944719247238903756023482*c_1001_2^2 - 1649053466891161882488668433762930697382609683/14046412096144196254\ 972359623619451878011741*c_1001_2 + 958609807098410533110994288188232142075376147/702320604807209812748\ 61798118097259390058705, c_0011_9 + 64409079131342840311599142516988189698042567/702320604807209\ 81274861798118097259390058705*c_1001_2^21 - 473922963488912682039467897017603970877869782/140464120961441962549\ 72359623619451878011741*c_1001_2^20 + 1381853455797985983806202217157897635284636666/14046412096144196254\ 972359623619451878011741*c_1001_2^19 - 13608414356512102445214436611964255389383724943/7023206048072098127\ 4861798118097259390058705*c_1001_2^18 - 35439852839782681153254598919297501097151433506/7023206048072098127\ 4861798118097259390058705*c_1001_2^17 - 573721911729871104890889869220033415595778962/702320604807209812748\ 61798118097259390058705*c_1001_2^16 + 163281064018010056755519710005393081555654352851/702320604807209812\ 74861798118097259390058705*c_1001_2^15 - 29506322062130206986390524683405329602208066274/1404641209614419625\ 4972359623619451878011741*c_1001_2^14 - 31948191685251414169225598533048675741508030126/7023206048072098127\ 4861798118097259390058705*c_1001_2^13 + 37705456158508305340711951121911210073737784757/7023206048072098127\ 4861798118097259390058705*c_1001_2^12 + 159637287493100795616433296710018201796048776197/702320604807209812\ 74861798118097259390058705*c_1001_2^11 - 265743220642113521284359650881108400881799428077/702320604807209812\ 74861798118097259390058705*c_1001_2^10 + 281657505626588748056428170137455220825183483948/702320604807209812\ 74861798118097259390058705*c_1001_2^9 - 82889283802659600239637083220860358865480503482/1404641209614419625\ 4972359623619451878011741*c_1001_2^8 + 118149389462136897465091964452323468703285563546/140464120961441962\ 54972359623619451878011741*c_1001_2^7 - 586994150140168934619263813284737371721495180577/702320604807209812\ 74861798118097259390058705*c_1001_2^6 + 410968930916445382883313054894620697522691550763/702320604807209812\ 74861798118097259390058705*c_1001_2^5 - 223476107177720064254230141281934264105513988867/702320604807209812\ 74861798118097259390058705*c_1001_2^4 + 102821495375119925679420238161327051955410613481/702320604807209812\ 74861798118097259390058705*c_1001_2^3 - 7787110135653758102592545034244468948133528178/14046412096144196254\ 972359623619451878011741*c_1001_2^2 + 1952926155703506708755524404331735330607686618/14046412096144196254\ 972359623619451878011741*c_1001_2 - 1029755164046513078875506259496167728796119509/70232060480720981274\ 861798118097259390058705, c_0101_0 + 180206339016789593747258788777101941459234859/14046412096144\ 1962549723596236194518780117410*c_1001_2^21 - 1322276182400974979460112027404320124345407343/28092824192288392509\ 944719247238903756023482*c_1001_2^20 + 3731367502403942812528390036410830709879395377/28092824192288392509\ 944719247238903756023482*c_1001_2^19 - 18117107046275290964273246327318552333275878823/7023206048072098127\ 4861798118097259390058705*c_1001_2^18 - 102545850752172010368479158581729410335650448077/140464120961441962\ 549723596236194518780117410*c_1001_2^17 - 12644568839198264326283998079211058358649322779/1404641209614419625\ 49723596236194518780117410*c_1001_2^16 + 454933795855956869148332428379220336250191081117/140464120961441962\ 549723596236194518780117410*c_1001_2^15 - 36353783956640549609081139859460916949458598510/1404641209614419625\ 4972359623619451878011741*c_1001_2^14 - 118314463598287737519411421582184015835132608267/140464120961441962\ 549723596236194518780117410*c_1001_2^13 + 41750075786084510979164904892688289977014417392/7023206048072098127\ 4861798118097259390058705*c_1001_2^12 + 225107339321815658391324083958559401296898592272/702320604807209812\ 74861798118097259390058705*c_1001_2^11 - 347211233529056350721600950423911442951898322237/702320604807209812\ 74861798118097259390058705*c_1001_2^10 + 725169754675488192611648362435735537324242726491/140464120961441962\ 549723596236194518780117410*c_1001_2^9 - 109799343965737441911938041234703068436049321799/140464120961441962\ 54972359623619451878011741*c_1001_2^8 + 310269324626900123865176380844714543014108214893/280928241922883925\ 09944719247238903756023482*c_1001_2^7 - 750033655665108962287506098312599835063158487322/702320604807209812\ 74861798118097259390058705*c_1001_2^6 + 1023309164172934422154020421458983974288890707541/14046412096144196\ 2549723596236194518780117410*c_1001_2^5 - 273179638258284017672391524840789101254135992777/702320604807209812\ 74861798118097259390058705*c_1001_2^4 + 248411613748364531018766145397708410246613477717/140464120961441962\ 549723596236194518780117410*c_1001_2^3 - 9186133819949721248921548184730114493267777476/14046412096144196254\ 972359623619451878011741*c_1001_2^2 + 2143087916282191759204683365455797232764855018/14046412096144196254\ 972359623619451878011741*c_1001_2 - 1006299540539094988351316616478371513936525934/70232060480720981274\ 861798118097259390058705, c_0101_1 + 4698677742947974344103253638462950690328704/7023206048072098\ 1274861798118097259390058705*c_1001_2^21 - 33607225638007253267597504455108302266214618/1404641209614419625497\ 2359623619451878011741*c_1001_2^20 + 65485483731852353948910357064584880101676633/1404641209614419625497\ 2359623619451878011741*c_1001_2^19 - 513269680875489014330825750943053923166146611/702320604807209812748\ 61798118097259390058705*c_1001_2^18 - 3481776112375055197961771422077119123451204087/70232060480720981274\ 861798118097259390058705*c_1001_2^17 - 2916562625342998862212943098526613253300368549/70232060480720981274\ 861798118097259390058705*c_1001_2^16 + 11311496098400047564961606098950868479205506917/7023206048072098127\ 4861798118097259390058705*c_1001_2^15 + 361896342874948345174965369839216998636674845/140464120961441962549\ 72359623619451878011741*c_1001_2^14 - 9907572203331570485269019929587488043993627002/70232060480720981274\ 861798118097259390058705*c_1001_2^13 - 1789764731074808643722933673751164682959326646/70232060480720981274\ 861798118097259390058705*c_1001_2^12 + 13134141769296242253701047335300436754414417509/7023206048072098127\ 4861798118097259390058705*c_1001_2^11 - 7065907640573771387174354319512022798842202954/70232060480720981274\ 861798118097259390058705*c_1001_2^10 + 3411822707525723701664063917658717026940294991/70232060480720981274\ 861798118097259390058705*c_1001_2^9 - 2744165499961138643369461563341031224720910774/14046412096144196254\ 972359623619451878011741*c_1001_2^8 + 3241339726737708588304792913572617130026524578/14046412096144196254\ 972359623619451878011741*c_1001_2^7 - 5248605579728658373742006018716036526691910439/70232060480720981274\ 861798118097259390058705*c_1001_2^6 - 4498212935857711247913993310692022233111649654/70232060480720981274\ 861798118097259390058705*c_1001_2^5 + 5475757566441325504863166860323346063846176016/70232060480720981274\ 861798118097259390058705*c_1001_2^4 - 3532040388017514389437225426651157042322436988/70232060480720981274\ 861798118097259390058705*c_1001_2^3 + 414372527810472728763318255858529298009186193/140464120961441962549\ 72359623619451878011741*c_1001_2^2 - 207913619228954386164750474409081215909198190/140464120961441962549\ 72359623619451878011741*c_1001_2 + 245470498946291965166466954330323320685123407/702320604807209812748\ 61798118097259390058705, c_0101_11 - 39906833029093730765303452447065825452558337/70232060480720\ 981274861798118097259390058705*c_1001_2^21 + 584763838417019852015605779059727180408411677/280928241922883925099\ 44719247238903756023482*c_1001_2^20 - 1620758464456077294231993426704609883641986223/28092824192288392509\ 944719247238903756023482*c_1001_2^19 + 15634236008039620027490917057190379868643057321/1404641209614419625\ 49723596236194518780117410*c_1001_2^18 + 23083491687465276718180382981911231774902376066/7023206048072098127\ 4861798118097259390058705*c_1001_2^17 + 8327633245905979190186940513836943729686586469/14046412096144196254\ 9723596236194518780117410*c_1001_2^16 - 200653598710389057319980193331987753203492900617/140464120961441962\ 549723596236194518780117410*c_1001_2^15 + 29910108784493685088350223370012952036360307645/2809282419228839250\ 9944719247238903756023482*c_1001_2^14 + 28942732427693662746548913918147889291507221551/7023206048072098127\ 4861798118097259390058705*c_1001_2^13 - 31069835395168990065163706900568893664638455899/1404641209614419625\ 49723596236194518780117410*c_1001_2^12 - 100087156795782779586584324685454475665397709362/702320604807209812\ 74861798118097259390058705*c_1001_2^11 + 147698413750287421590141805255264454191384428557/702320604807209812\ 74861798118097259390058705*c_1001_2^10 - 153770015526617850644871968593604945683694250743/702320604807209812\ 74861798118097259390058705*c_1001_2^9 + 94854802862134725671844274269061118447244916169/2809282419228839250\ 9944719247238903756023482*c_1001_2^8 - 66462379209873295277726314497287666527361823515/1404641209614419625\ 4972359623619451878011741*c_1001_2^7 + 633708539902089013659664770327597084369844153939/140464120961441962\ 549723596236194518780117410*c_1001_2^6 - 213860201749750625201070621357156248843715457598/702320604807209812\ 74861798118097259390058705*c_1001_2^5 + 227247572517332691117430600467352007515143367299/140464120961441962\ 549723596236194518780117410*c_1001_2^4 - 51566180022088727036612715419261607074726805671/7023206048072098127\ 4861798118097259390058705*c_1001_2^3 + 7561187227385240607759197227269915504526765803/28092824192288392509\ 944719247238903756023482*c_1001_2^2 - 865388562700854329541391292908378165251911727/140464120961441962549\ 72359623619451878011741*c_1001_2 + 394810583715354843115195975261885648564270329/702320604807209812748\ 61798118097259390058705, c_1001_0 + 34832957066694178805993465328664553493433897/702320604807209\ 81274861798118097259390058705*c_1001_2^21 - 256999792636577322291041718158674115824200679/140464120961441962549\ 72359623619451878011741*c_1001_2^20 + 772405568477154448143337760563548606377551200/140464120961441962549\ 72359623619451878011741*c_1001_2^19 - 7626108787423923728824625690969227301051787243/70232060480720981274\ 861798118097259390058705*c_1001_2^18 - 18633083366991361879611966946799666273458221351/7023206048072098127\ 4861798118097259390058705*c_1001_2^17 + 2005583542435845763471279242342096002172111123/70232060480720981274\ 861798118097259390058705*c_1001_2^16 + 90452763406272860313034338710808941998726085546/7023206048072098127\ 4861798118097259390058705*c_1001_2^15 - 17262030769704264178835090469781065824513276922/1404641209614419625\ 4972359623619451878011741*c_1001_2^14 - 14807780434511533586586709333737432360232438611/7023206048072098127\ 4861798118097259390058705*c_1001_2^13 + 22088688018007392403031299638676598019980581232/7023206048072098127\ 4861798118097259390058705*c_1001_2^12 + 86084099975702090997901949090401750205146241617/7023206048072098127\ 4861798118097259390058705*c_1001_2^11 - 151275140560393283399510795281500626486741052272/702320604807209812\ 74861798118097259390058705*c_1001_2^10 + 160805939605569386689043698312102574306836222063/702320604807209812\ 74861798118097259390058705*c_1001_2^9 - 46783940862987785357951162306285209430782477959/1404641209614419625\ 4972359623619451878011741*c_1001_2^8 + 67037238043539665966301310287026560459542243006/1404641209614419625\ 4972359623619451878011741*c_1001_2^7 - 337651113297636345164305512252961788039197370877/702320604807209812\ 74861798118097259390058705*c_1001_2^6 + 240202572710987744274773543681373619939549136553/702320604807209812\ 74861798118097259390058705*c_1001_2^5 - 132049626586595144406038533790418755959181954597/702320604807209812\ 74861798118097259390058705*c_1001_2^4 + 61404186186146838176550889850062833490367726181/7023206048072098127\ 4861798118097259390058705*c_1001_2^3 - 4716023464414534901631814227582026816816676513/14046412096144196254\ 972359623619451878011741*c_1001_2^2 + 1232301670012130073522331583349897653044135103/14046412096144196254\ 972359623619451878011741*c_1001_2 - 738633573097407572006817356454383932629398059/702320604807209812748\ 61798118097259390058705, c_1001_1 + 74347279058361643973558786262216972668074491/702320604807209\ 81274861798118097259390058705*c_1001_2^21 - 548865830808754534017660424937100697875600502/140464120961441962549\ 72359623619451878011741*c_1001_2^20 + 1660472398679336221251529501790993006233869809/14046412096144196254\ 972359623619451878011741*c_1001_2^19 - 16420098823271574206301504111681740495164958869/7023206048072098127\ 4861798118097259390058705*c_1001_2^18 - 39551708789848476950079916296090149986908309173/7023206048072098127\ 4861798118097259390058705*c_1001_2^17 + 5396946503553112329909688805326882288121974104/70232060480720981274\ 861798118097259390058705*c_1001_2^16 + 193476718037626119351242718334902514909383931683/702320604807209812\ 74861798118097259390058705*c_1001_2^15 - 37832359795469511383911888844049390922837125318/1404641209614419625\ 4972359623619451878011741*c_1001_2^14 - 31417078273516686723074548284217283813177467548/7023206048072098127\ 4861798118097259390058705*c_1001_2^13 + 51267546824659451024566452837803504188625099361/7023206048072098127\ 4861798118097259390058705*c_1001_2^12 + 185581473823854970902980191890112027324742431821/702320604807209812\ 74861798118097259390058705*c_1001_2^11 - 327087030787870151212707997170404631072245153366/702320604807209812\ 74861798118097259390058705*c_1001_2^10 + 346441324183028039397572971042867143736981417484/702320604807209812\ 74861798118097259390058705*c_1001_2^9 - 100431505321494709919109949801551174978282358557/140464120961441962\ 54972359623619451878011741*c_1001_2^8 + 144409681343399957688715837198463569677561218386/140464120961441962\ 54972359623619451878011741*c_1001_2^7 - 729027942514713032732921848382939979837088582721/702320604807209812\ 74861798118097259390058705*c_1001_2^6 + 517244625049891161698728954100876607803241747239/702320604807209812\ 74861798118097259390058705*c_1001_2^5 - 283524311935139587311513140464500146891339634231/702320604807209812\ 74861798118097259390058705*c_1001_2^4 + 130954159750164757742653881015196894229276813658/702320604807209812\ 74861798118097259390058705*c_1001_2^3 - 10020853505943424898632914427297817755787679800/1404641209614419625\ 4972359623619451878011741*c_1001_2^2 + 2564682518539953918906580136301792076167925603/14046412096144196254\ 972359623619451878011741*c_1001_2 - 1405284069392397424620630900298996405797553467/70232060480720981274\ 861798118097259390058705, c_1001_2^22 - 37*c_1001_2^21 + 115*c_1001_2^20 - 234*c_1001_2^19 - 505*c_1001_2^18 + 105*c_1001_2^17 + 2535*c_1001_2^16 - 2816*c_1001_2^15 + 7*c_1001_2^14 + 662*c_1001_2^13 + 2344*c_1001_2^12 - 4638*c_1001_2^11 + 5261*c_1001_2^10 - 7388*c_1001_2^9 + 10555*c_1001_2^8 - 11086*c_1001_2^7 + 8371*c_1001_2^6 - 4884*c_1001_2^5 + 2375*c_1001_2^4 - 966*c_1001_2^3 + 290*c_1001_2^2 - 52*c_1001_2 + 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.750 Total time: 1.950 seconds, Total memory usage: 64.12MB