Magma V2.19-8 Tue Aug 20 2013 20:57:41 on localhost [Seed = 2648432452] Type ? for help. Type -D to quit. Loading file "11_8__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_8 geometric_solution 14.43413950 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 15 1 2 3 4 0132 0132 0132 0132 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 1 -1 0 1 0 -1 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.874360148007 0.604919913288 0 2 6 5 0132 0213 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 0 0 0 0 0 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.624125482036 0.752987654580 7 0 1 8 0132 0132 0213 0132 0 0 0 0 0 0 0 0 1 0 -1 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 7 0 -6 -1 0 6 0 -6 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.478618638014 0.544978909614 7 7 9 0 3012 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 1 0 0 -1 -7 7 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.522193427546 0.674717885436 10 11 0 12 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 1 -1 0 0 0 1 -1 -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.736106851240 1.287289718861 7 13 1 10 2031 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -7 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.541276349103 1.224769300307 9 11 9 1 0132 0321 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 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.048434837846 0.905831633084 2 3 5 3 0132 0132 1302 1230 0 0 0 0 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 1 0 -1 -7 0 0 7 -1 1 0 0 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.282632555918 0.926899151577 13 10 2 12 0213 0213 0132 0213 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 1 -1 0 0 0 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.497683779137 1.344609062806 6 6 10 3 0132 1230 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.551310075196 0.524813355524 4 5 8 9 0132 1302 0213 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 0 0 0 0 0 0 0 0 0 0 0 1 -7 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.624681837569 1.010180601331 14 4 14 6 0132 0132 3120 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 -1 1 0 0 0 1 -1 -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.316421745943 0.697855915852 14 13 4 8 3012 0321 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 -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.884677106957 0.781318244246 8 5 14 12 0213 0132 3012 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.062348935104 1.206634079655 11 13 11 12 0132 1230 3120 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 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.316421745943 0.697855915852 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_14' : negation(d['c_1001_11']), 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_0110_5'], 'c_1001_13' : d['c_0011_10'], 'c_1001_12' : d['c_1001_11'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_0110_5'], 'c_1001_6' : d['c_0011_6'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0110_5'], 'c_1001_3' : d['c_0101_3'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : d['c_1001_9'], 'c_1001_8' : d['c_0110_5'], 'c_1010_13' : d['c_1001_5'], 'c_1010_12' : d['c_1001_5'], 'c_1010_11' : d['c_1001_1'], 'c_1010_10' : d['c_1001_9'], 'c_1010_14' : d['c_0011_8'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_0_13' : d['1'], 's_0_14' : d['1'], 's_3_14' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_12'], 'c_0101_10' : d['c_0011_8'], 'c_0101_14' : negation(d['c_0011_6']), '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_12' : d['1'], 's_2_13' : 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' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_14' : negation(d['c_0011_10']), 'c_0011_11' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1001_9']), 'c_1100_4' : d['c_1010_8'], 'c_1100_7' : d['c_0101_0'], 'c_1100_6' : negation(d['c_1001_9']), 'c_1100_1' : negation(d['c_1001_9']), 'c_1100_0' : d['c_1010_8'], 'c_1100_3' : d['c_1010_8'], 'c_1100_2' : d['c_1001_5'], 'c_1100_14' : negation(d['c_0011_12']), 's_3_11' : d['1'], 'c_1100_9' : d['c_1010_8'], 'c_1100_11' : d['c_0011_6'], 'c_1100_10' : d['c_1010_8'], 'c_1100_13' : d['c_1001_11'], 's_3_10' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_0101_3'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_0011_10'], 'c_1010_4' : d['c_1001_11'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0110_5'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_0101_3'], 'c_1010_8' : d['c_1010_8'], 'c_1100_8' : d['c_1001_5'], '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'], 'c_1100_12' : d['c_1010_8'], 's_1_7' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(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' : negation(d['c_0011_6']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_13']), 'c_0011_4' : negation(d['c_0011_10']), 'c_0101_13' : d['c_0011_8'], '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' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_6']), 'c_0110_10' : d['c_0101_1'], 'c_0110_13' : negation(d['c_0011_12']), 'c_0110_12' : negation(d['c_0011_12']), 'c_0110_14' : d['c_0011_12'], 'c_0101_12' : d['c_0011_8'], 'c_0011_7' : d['c_0011_0'], 's_3_12' : d['1'], 's_2_14' : d['1'], 'c_0101_7' : d['c_0011_13'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_1'], 'c_0101_8' : d['c_0011_13'], 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0011_12'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_13'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_8'], 'c_0110_7' : negation(d['c_0011_0']), 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_13, c_0011_6, c_0011_8, c_0101_0, c_0101_1, c_0101_3, c_0110_5, c_1001_1, c_1001_11, c_1001_5, c_1001_9, c_1010_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 175020767442494301195293288536605/2198785579366254676637662118*c_10\ 10_8^19 - 1691047395282574064435874071296739/8795142317465018706550\ 648472*c_1010_8^18 + 8309127830541745199775585035745079/17590284634\ 930037413101296944*c_1010_8^17 + 1437651793034157856694112281480435\ 7/17590284634930037413101296944*c_1010_8^16 - 12474778254728794657805929749170591/8795142317465018706550648472*c_\ 1010_8^15 - 24187853172356254834351193318710601/8795142317465018706\ 550648472*c_1010_8^14 + 4871914128297365986178405277654575/21987855\ 79366254676637662118*c_1010_8^13 + 34986671308614344353392307443990877/8795142317465018706550648472*c_\ 1010_8^12 - 71612024069253975680664811556183061/1759028463493003741\ 3101296944*c_1010_8^11 - 134331347607593756075368841933830561/17590\ 284634930037413101296944*c_1010_8^10 + 26643744119275242134819950763989715/8795142317465018706550648472*c_\ 1010_8^9 + 107800485792287062495164120233198743/1759028463493003741\ 3101296944*c_1010_8^8 - 61391919259106299634723925653205541/1759028\ 4634930037413101296944*c_1010_8^7 - 33351229399436971453335906551622401/4397571158732509353275324236*c_\ 1010_8^6 - 27183620511573086906343601646827995/17590284634930037413\ 101296944*c_1010_8^5 + 3663289926387653850258864868959873/439757115\ 8732509353275324236*c_1010_8^4 - 2642975886336650303039719166645819\ /17590284634930037413101296944*c_1010_8^3 - 9980279800245511895480190704556701/17590284634930037413101296944*c_\ 1010_8^2 - 522269192575773367918299968299493/2198785579366254676637\ 662118*c_1010_8 - 517845795865829510596733568209383/175902846349300\ 37413101296944, c_0011_0 - 1, c_0011_10 + 51881577513468089375226714/57862778404375123069412161*c_101\ 0_8^19 + 366455874370795779721409731/115725556808750246138824322*c_\ 1010_8^18 - 565727401542700373929835967/231451113617500492277648644\ *c_1010_8^17 - 3343217847439173927233642881/23145111361750049227764\ 8644*c_1010_8^16 + 251141700567061477417866267/11572555680875024613\ 8824322*c_1010_8^15 + 5427697557046055292692920329/1157255568087502\ 46138824322*c_1010_8^14 + 1200410134999029043247510168/578627784043\ 75123069412161*c_1010_8^13 - 7597316848558642948209120689/115725556\ 808750246138824322*c_1010_8^12 - 6244166960050144851251105119/23145\ 1113617500492277648644*c_1010_8^11 + 30303494880475916236317426373/231451113617500492277648644*c_1010_8^\ 10 + 11353278127755657643221229269/115725556808750246138824322*c_10\ 10_8^9 - 21219875525751028567763794235/231451113617500492277648644*\ c_1010_8^8 - 18766827103604609955066748943/231451113617500492277648\ 644*c_1010_8^7 + 7149698042414484183383024536/578627784043751230694\ 12161*c_1010_8^6 + 34836023871469733733632255651/231451113617500492\ 277648644*c_1010_8^5 + 1394493891668885150833230396/578627784043751\ 23069412161*c_1010_8^4 - 5758554318866815364577867133/2314511136175\ 00492277648644*c_1010_8^3 + 2046643195567495149377815665/2314511136\ 17500492277648644*c_1010_8^2 + 697542212467209866493785291/57862778\ 404375123069412161*c_1010_8 + 787707808939999827058275271/231451113\ 617500492277648644, c_0011_12 + 6334078908496546829619031700/57862778404375123069412161*c_1\ 010_8^19 + 15485656211043868890938236403/57862778404375123069412161\ *c_1010_8^18 - 74345333191187788493623336971/1157255568087502461388\ 24322*c_1010_8^17 - 132432665473976964136898058019/1157255568087502\ 46138824322*c_1010_8^16 + 111160529889495219310601315981/5786277840\ 4375123069412161*c_1010_8^15 + 222492416667238998221788158062/57862\ 778404375123069412161*c_1010_8^14 - 170533230751184414008134647143/57862778404375123069412161*c_1010_8^\ 13 - 322861238358722785909757428852/57862778404375123069412161*c_10\ 10_8^12 + 631512253618649885724564898317/11572555680875024613882432\ 2*c_1010_8^11 + 1237837655790590060088774621689/1157255568087502461\ 38824322*c_1010_8^10 - 225239361594617425848053807804/5786277840437\ 5123069412161*c_1010_8^9 - 995891070705939541892033465781/115725556\ 808750246138824322*c_1010_8^8 + 530443376043175046714700002783/1157\ 25556808750246138824322*c_1010_8^7 + 614396457469220153324094270371/57862778404375123069412161*c_1010_8^\ 6 + 277279812816425384978324274929/115725556808750246138824322*c_10\ 10_8^5 - 65877140777145439115195615930/57862778404375123069412161*c\ _1010_8^4 + 19893410391418630339638542749/1157255568087502461388243\ 22*c_1010_8^3 + 92199214532657160733712979667/115725556808750246138\ 824322*c_1010_8^2 + 20008274727254460435428237203/57862778404375123\ 069412161*c_1010_8 + 5320665181388095338630546425/11572555680875024\ 6138824322, c_0011_13 + 2676861507210993248051126926/57862778404375123069412161*c_1\ 010_8^19 + 12500878995866429820287432473/11572555680875024613882432\ 2*c_1010_8^18 - 65417839355462908061247710693/231451113617500492277\ 648644*c_1010_8^17 - 104361897088959588174359905687/231451113617500\ 492277648644*c_1010_8^16 + 99176205077028772101445572029/1157255568\ 08750246138824322*c_1010_8^15 + 176345788033510715219913909611/1157\ 25556808750246138824322*c_1010_8^14 - 80980977171824258044875792220/57862778404375123069412161*c_1010_8^1\ 3 - 252317562610472562575317645173/115725556808750246138824322*c_10\ 10_8^12 + 584153762692474532164925175015/23145111361750049227764864\ 4*c_1010_8^11 + 973938905944997092252468880719/23145111361750049227\ 7648644*c_1010_8^10 - 239346235645900992841994259097/11572555680875\ 0246138824322*c_1010_8^9 - 773481556762455204206056260825/231451113\ 617500492277648644*c_1010_8^8 + 525871785189229151934567118259/2314\ 51113617500492277648644*c_1010_8^7 + 241976980397898239847739390967/57862778404375123069412161*c_1010_8^\ 6 + 136104219390304155267564362837/231451113617500492277648644*c_10\ 10_8^5 - 27618241503533044332163367556/57862778404375123069412161*c\ _1010_8^4 + 31090559117500261557852769581/2314511136175004922776486\ 44*c_1010_8^3 + 71943865168066284631729815543/231451113617500492277\ 648644*c_1010_8^2 + 6536179914868158592048448580/578627784043751230\ 69412161*c_1010_8 + 2771352635057726793437457333/231451113617500492\ 277648644, c_0011_6 - 848858819839053635454500726/57862778404375123069412161*c_101\ 0_8^19 - 3570374689675560683679417349/115725556808750246138824322*c\ _1010_8^18 + 22384769351960546457577223473/231451113617500492277648\ 644*c_1010_8^17 + 27861784568888232580300980515/2314511136175004922\ 77648644*c_1010_8^16 - 34631304305422955102676134373/11572555680875\ 0246138824322*c_1010_8^15 - 47798946340010189894946654453/115725556\ 808750246138824322*c_1010_8^14 + 31139252598757485471984671800/5786\ 2778404375123069412161*c_1010_8^13 + 65286120536787054386053010369/115725556808750246138824322*c_1010_8^\ 12 - 214928882489496694091316366891/231451113617500492277648644*c_1\ 010_8^11 - 258222803370312957324260253779/2314511136175004922776486\ 44*c_1010_8^10 + 105257836314359537092611572533/1157255568087502461\ 38824322*c_1010_8^9 + 195099567228135799098482547117/23145111361750\ 0492277648644*c_1010_8^8 - 210922256440359685121804091647/231451113\ 617500492277648644*c_1010_8^7 - 64262209888941089616084195135/57862\ 778404375123069412161*c_1010_8^6 + 15124051310243111976113771411/231451113617500492277648644*c_1010_8^\ 5 + 7593064705962433396185697905/57862778404375123069412161*c_1010_\ 8^4 - 16857748771455957632615330625/231451113617500492277648644*c_1\ 010_8^3 - 19076508280943367701420615111/231451113617500492277648644\ *c_1010_8^2 - 1041376419676794880522493825/578627784043751230694121\ 61*c_1010_8 - 11835389710065611494074861/23145111361750049227764864\ 4, c_0011_8 + 4159668397993886172314883762/57862778404375123069412161*c_10\ 10_8^19 + 20505416817292530112048638023/115725556808750246138824322\ *c_1010_8^18 - 96886582416668004385501917947/2314511136175004922776\ 48644*c_1010_8^17 - 176000222977234212681462210377/2314511136175004\ 92277648644*c_1010_8^16 + 144424260699352878060533178995/1157255568\ 08750246138824322*c_1010_8^15 + 295335583245488101170943542313/1157\ 25556808750246138824322*c_1010_8^14 - 109298401805353535433843213257/57862778404375123069412161*c_1010_8^\ 13 - 429186418857966866965043866599/115725556808750246138824322*c_1\ 010_8^12 + 813912852920695868864232696341/2314511136175004922776486\ 44*c_1010_8^11 + 1643865064871741381909762759433/231451113617500492\ 277648644*c_1010_8^10 - 280763913621005192822372767673/115725556808\ 750246138824322*c_1010_8^9 - 1323189646572789710700039431843/231451\ 113617500492277648644*c_1010_8^8 + 672201668013318342213221051121/231451113617500492277648644*c_1010_8\ ^7 + 407391885979117034357102885935/57862778404375123069412161*c_10\ 10_8^6 + 394912927288038541304861158355/231451113617500492277648644\ *c_1010_8^5 - 42205351222950570478149455999/57862778404375123069412\ 161*c_1010_8^4 + 21299341163777285199734667715/23145111361750049227\ 7648644*c_1010_8^3 + 120941372478611088950314130917/231451113617500\ 492277648644*c_1010_8^2 + 13780711069121290068467071953/57862778404\ 375123069412161*c_1010_8 + 7795442558636751877061644531/23145111361\ 7500492277648644, c_0101_0 - 4708842807713503327975052084/57862778404375123069412161*c_10\ 10_8^19 - 11498499294961251788714308659/57862778404375123069412161*\ c_1010_8^18 + 55309440009946699971235736503/11572555680875024613882\ 4322*c_1010_8^17 + 98226724723667269424090343689/115725556808750246\ 138824322*c_1010_8^16 - 82691439383153016318700541674/5786277840437\ 5123069412161*c_1010_8^15 - 165013088399116914481320806159/57862778\ 404375123069412161*c_1010_8^14 + 126950226612423936141495876088/578\ 62778404375123069412161*c_1010_8^13 + 239145908119390138286602562566/57862778404375123069412161*c_1010_8^\ 12 - 469687118058817577382703385357/115725556808750246138824322*c_1\ 010_8^11 - 917216277617121347830902568719/1157255568087502461388243\ 22*c_1010_8^10 + 167686036731543828714175374625/5786277840437512306\ 9412161*c_1010_8^9 + 736497033992368767034559735609/115725556808750\ 246138824322*c_1010_8^8 - 394113139888409028265568669829/1157255568\ 08750246138824322*c_1010_8^7 - 454783020675909192872606303586/57862\ 778404375123069412161*c_1010_8^6 - 206063937202191471770029594361/115725556808750246138824322*c_1010_8\ ^5 + 47799183998053022043916852335/57862778404375123069412161*c_101\ 0_8^4 - 14268728148922290098701787555/115725556808750246138824322*c\ _1010_8^3 - 67397440156413031049109136291/1157255568087502461388243\ 22*c_1010_8^2 - 14944933098972472414343491736/578627784043751230694\ 12161*c_1010_8 - 4109935984278139347394447447/115725556808750246138\ 824322, c_0101_1 - 790238390325914672965589828/57862778404375123069412161*c_101\ 0_8^19 - 1924299186994535953945428791/57862778404375123069412161*c_\ 1010_8^18 + 9302891121130712657520352887/11572555680875024613882432\ 2*c_1010_8^17 + 16432713707437942579760831223/115725556808750246138\ 824322*c_1010_8^16 - 13895548123123114207409702596/5786277840437512\ 3069412161*c_1010_8^15 - 27659938183803287618388071159/578627784043\ 75123069412161*c_1010_8^14 + 21374144655677970796680898968/57862778\ 404375123069412161*c_1010_8^13 + 40183456202921661604740921193/5786\ 2778404375123069412161*c_1010_8^12 - 78743903449347592695528511439/115725556808750246138824322*c_1010_8^\ 11 - 154248490326617059055053842999/115725556808750246138824322*c_1\ 010_8^10 + 28276794701865387047939290223/57862778404375123069412161\ *c_1010_8^9 + 124544939641746057687147428639/1157255568087502461388\ 24322*c_1010_8^8 - 65706023490649922037562132445/115725556808750246\ 138824322*c_1010_8^7 - 76874106926140218615520177593/57862778404375\ 123069412161*c_1010_8^6 - 34268004124083192723031769637/11572555680\ 8750246138824322*c_1010_8^5 + 8804913108316631092286291403/57862778\ 404375123069412161*c_1010_8^4 - 1677507814908068595493050381/115725\ 556808750246138824322*c_1010_8^3 - 11694760464340150810371714865/115725556808750246138824322*c_1010_8^\ 2 - 2364973320269516729497228865/57862778404375123069412161*c_1010_\ 8 - 598623304497629166162211689/115725556808750246138824322, c_0101_3 - 848858819839053635454500726/57862778404375123069412161*c_101\ 0_8^19 - 3570374689675560683679417349/115725556808750246138824322*c\ _1010_8^18 + 22384769351960546457577223473/231451113617500492277648\ 644*c_1010_8^17 + 27861784568888232580300980515/2314511136175004922\ 77648644*c_1010_8^16 - 34631304305422955102676134373/11572555680875\ 0246138824322*c_1010_8^15 - 47798946340010189894946654453/115725556\ 808750246138824322*c_1010_8^14 + 31139252598757485471984671800/5786\ 2778404375123069412161*c_1010_8^13 + 65286120536787054386053010369/115725556808750246138824322*c_1010_8^\ 12 - 214928882489496694091316366891/231451113617500492277648644*c_1\ 010_8^11 - 258222803370312957324260253779/2314511136175004922776486\ 44*c_1010_8^10 + 105257836314359537092611572533/1157255568087502461\ 38824322*c_1010_8^9 + 195099567228135799098482547117/23145111361750\ 0492277648644*c_1010_8^8 - 210922256440359685121804091647/231451113\ 617500492277648644*c_1010_8^7 - 64262209888941089616084195135/57862\ 778404375123069412161*c_1010_8^6 + 15124051310243111976113771411/231451113617500492277648644*c_1010_8^\ 5 + 7593064705962433396185697905/57862778404375123069412161*c_1010_\ 8^4 - 16857748771455957632615330625/231451113617500492277648644*c_1\ 010_8^3 - 19076508280943367701420615111/231451113617500492277648644\ *c_1010_8^2 - 1041376419676794880522493825/578627784043751230694121\ 61*c_1010_8 - 11835389710065611494074861/23145111361750049227764864\ 4, c_0110_5 + 1648797568749299523513972094/57862778404375123069412161*c_10\ 10_8^19 + 8218637604381922066785945409/115725556808750246138824322*\ c_1010_8^18 - 37969259681691428610574421693/23145111361750049227764\ 8644*c_1010_8^17 - 70855417268280571687814129919/231451113617500492\ 277648644*c_1010_8^16 + 56316849948782826730871220675/1157255568087\ 50246138824322*c_1010_8^15 + 118718584755980290182416855747/1157255\ 56808750246138824322*c_1010_8^14 - 41745653616113624771471520797/57862778404375123069412161*c_1010_8^1\ 3 - 172779390123463172807620233009/115725556808750246138824322*c_10\ 10_8^12 + 313300564690201663533965561383/23145111361750049227764864\ 4*c_1010_8^11 + 661307707817100145466020761967/23145111361750049227\ 7648644*c_1010_8^10 - 102391279329418201327085472315/11572555680875\ 0246138824322*c_1010_8^9 - 532283386390293030123377624765/231451113\ 617500492277648644*c_1010_8^8 + 251721151014679196696002175023/2314\ 51113617500492277648644*c_1010_8^7 + 163679338067340282508729311708/57862778404375123069412161*c_1010_8^\ 6 + 174451136009445803129589339381/231451113617500492277648644*c_10\ 10_8^5 - 16102851393045643350959395505/57862778404375123069412161*c\ _1010_8^4 + 5684184389862916191534701745/23145111361750049227764864\ 4*c_1010_8^3 + 48416175365179483271951156763/2314511136175004922776\ 48644*c_1010_8^2 + 5790065394959962071501358466/5786277840437512306\ 9412161*c_1010_8 + 3541791056905856540898262313/2314511136175004922\ 77648644, c_1001_1 + c_1010_8, c_1001_11 + 1544059060835641448143871436/57862778404375123069412161*c_1\ 010_8^19 + 3942414057339641396758443277/57862778404375123069412161*\ c_1010_8^18 - 17355230395452741588616887993/11572555680875024613882\ 4322*c_1010_8^17 - 34372644203010170353049829995/115725556808750246\ 138824322*c_1010_8^16 + 25498146929974009408566164653/5786277840437\ 5123069412161*c_1010_8^15 + 57442458552424433828326487055/578627784\ 04375123069412161*c_1010_8^14 - 36146147671539918588223408999/57862\ 778404375123069412161*c_1010_8^13 - 84113809951992579411393435363/57862778404375123069412161*c_1010_8^1\ 2 + 138326569453326339183545126405/115725556808750246138824322*c_10\ 10_8^11 + 321105328462610214528366478531/11572555680875024613882432\ 2*c_1010_8^10 - 39896649813552773800491303937/578627784043751230694\ 12161*c_1010_8^9 - 259771568244834668326990243261/11572555680875024\ 6138824322*c_1010_8^8 + 105094309795106669970796701593/115725556808\ 750246138824322*c_1010_8^7 + 158887172645297148649154715088/5786277\ 8404375123069412161*c_1010_8^6 + 97645565989995139656885843455/1157\ 25556808750246138824322*c_1010_8^5 - 14980282197390598222335516928/57862778404375123069412161*c_1010_8^4 + 557715176880570384129282373/115725556808750246138824322*c_1010_8^\ 3 + 23759625463082256402356224493/115725556808750246138824322*c_101\ 0_8^2 + 6003314050307508132008018348/57862778404375123069412161*c_1\ 010_8 + 1907848421030608752453180549/115725556808750246138824322, c_1001_5 - 2759727215646316045510854904/57862778404375123069412161*c_10\ 10_8^19 - 6744863416600347652442874882/57862778404375123069412161*c\ _1010_8^18 + 16193394111517627397679933845/578627784043751230694121\ 61*c_1010_8^17 + 28822072689426501031941368933/57862778404375123069\ 412161*c_1010_8^16 - 48398421999681282301549296035/5786277840437512\ 3069412161*c_1010_8^15 - 96841270057635762855253407546/578627784043\ 75123069412161*c_1010_8^14 + 74190916613128693430841968576/57862778\ 404375123069412161*c_1010_8^13 + 140411021424472326543283922177/578\ 62778404375123069412161*c_1010_8^12 - 137325765001143379850151512804/57862778404375123069412161*c_1010_8^\ 11 - 269273483422360947455201949350/57862778404375123069412161*c_10\ 10_8^10 + 97738963057880569468610921694/57862778404375123069412161*\ c_1010_8^9 + 216355285765082667049565901088/57862778404375123069412\ 161*c_1010_8^8 - 115073465460579442455878723783/5786277840437512306\ 9412161*c_1010_8^7 - 267177043152729021810464866822/578627784043751\ 23069412161*c_1010_8^6 - 60858187165451896278362585563/578627784043\ 75123069412161*c_1010_8^5 + 28225391121638572768505669155/578627784\ 04375123069412161*c_1010_8^4 - 4180756486334355562347455227/5786277\ 8404375123069412161*c_1010_8^3 - 19955994527685800934214147838/5786\ 2778404375123069412161*c_1010_8^2 - 8777911808610646089212293656/57862778404375123069412161*c_1010_8 - 1220055452627838291230956444/57862778404375123069412161, c_1001_9 - 790238390325914672965589828/57862778404375123069412161*c_101\ 0_8^19 - 1924299186994535953945428791/57862778404375123069412161*c_\ 1010_8^18 + 9302891121130712657520352887/11572555680875024613882432\ 2*c_1010_8^17 + 16432713707437942579760831223/115725556808750246138\ 824322*c_1010_8^16 - 13895548123123114207409702596/5786277840437512\ 3069412161*c_1010_8^15 - 27659938183803287618388071159/578627784043\ 75123069412161*c_1010_8^14 + 21374144655677970796680898968/57862778\ 404375123069412161*c_1010_8^13 + 40183456202921661604740921193/5786\ 2778404375123069412161*c_1010_8^12 - 78743903449347592695528511439/115725556808750246138824322*c_1010_8^\ 11 - 154248490326617059055053842999/115725556808750246138824322*c_1\ 010_8^10 + 28276794701865387047939290223/57862778404375123069412161\ *c_1010_8^9 + 124544939641746057687147428639/1157255568087502461388\ 24322*c_1010_8^8 - 65706023490649922037562132445/115725556808750246\ 138824322*c_1010_8^7 - 76874106926140218615520177593/57862778404375\ 123069412161*c_1010_8^6 - 34268004124083192723031769637/11572555680\ 8750246138824322*c_1010_8^5 + 8804913108316631092286291403/57862778\ 404375123069412161*c_1010_8^4 - 1677507814908068595493050381/115725\ 556808750246138824322*c_1010_8^3 - 11694760464340150810371714865/115725556808750246138824322*c_1010_8^\ 2 - 2422836098673891852566641026/57862778404375123069412161*c_1010_\ 8 - 598623304497629166162211689/115725556808750246138824322, c_1010_8^20 + 11/4*c_1010_8^19 - 41/8*c_1010_8^18 - 49/4*c_1010_8^17 + 115/8*c_1010_8^16 + 81/2*c_1010_8^15 - 65/4*c_1010_8^14 - 237/4*c_1010_8^13 + 275/8*c_1010_8^12 + 113*c_1010_8^11 - 47/8*c_1010_8^10 - 717/8*c_1010_8^9 + 18*c_1010_8^8 + 879/8*c_1010_8^7 + 411/8*c_1010_8^6 - 31/8*c_1010_8^5 - 13/8*c_1010_8^4 + 31/4*c_1010_8^3 + 43/8*c_1010_8^2 + 11/8*c_1010_8 + 1/8 ], Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_13, c_0011_6, c_0011_8, c_0101_0, c_0101_1, c_0101_3, c_0110_5, c_1001_1, c_1001_11, c_1001_5, c_1001_9, c_1010_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 9837281389485802408808114764721935925337405275777688/57558148686344\ 304184879415511033568215809323529914561*c_1010_8^23 + 37273211271705687159905365499814024091292181275188779/8895350251525\ 9379194813642153415514515341681818958867*c_1010_8^22 - 3497945216139789486089549025338302440168880890437407/12707643216465\ 625599259091736202216359334525974136981*c_1010_8^21 - 1813300111175546610391705032281311346526976815823060217/97848852766\ 7853171142950063687570659668758500008547537*c_1010_8^20 + 1248380058388121281117674819143464977815956458061865774/97848852766\ 7853171142950063687570659668758500008547537*c_1010_8^19 + 11024933372857516176128215930079642033185445940903165419/9784885276\ 67853171142950063687570659668758500008547537*c_1010_8^18 + 183766264228038258298595459906933496802266225112305956/199691536258\ 74554513121429871174911421811397959358113*c_1010_8^17 - 2487685121025354518258017100468881411043993498247335787/13978407538\ 1121881591850009098224379952679785715506791*c_1010_8^16 - 8224097444020373467357827777277118629439702635088399813/97848852766\ 7853171142950063687570659668758500008547537*c_1010_8^15 + 48823217196219476048898114770889263691551068243913853061/9784885276\ 67853171142950063687570659668758500008547537*c_1010_8^14 + 10150552109642463489923680859904559453399921635331513778/1397840753\ 81121881591850009098224379952679785715506791*c_1010_8^13 + 33743779486281238967729462607580147482182203908207749297/9784885276\ 67853171142950063687570659668758500008547537*c_1010_8^12 - 6523357494903761314792534481073779861585899888436799779/97848852766\ 7853171142950063687570659668758500008547537*c_1010_8^11 + 31616159319060962148986925293420959109041552338376978947/9784885276\ 67853171142950063687570659668758500008547537*c_1010_8^10 + 138237106298254122125728984085939559735214652780109171476/978488527\ 667853171142950063687570659668758500008547537*c_1010_8^9 + 189365239493281750550937487617114143134305521759606687597/978488527\ 667853171142950063687570659668758500008547537*c_1010_8^8 + 148314772378962950565302597453629939591930320240280588136/978488527\ 667853171142950063687570659668758500008547537*c_1010_8^7 + 105240441929872605985284738528455440706547361582907029149/978488527\ 667853171142950063687570659668758500008547537*c_1010_8^6 + 15294151105470594454461503899493857372364059211506190887/1397840753\ 81121881591850009098224379952679785715506791*c_1010_8^5 + 114333326856894215166062212335568493796921117114847335896/978488527\ 667853171142950063687570659668758500008547537*c_1010_8^4 + 5949711550051118682815530607273037013912312846838812519/88953502515\ 259379194813642153415514515341681818958867*c_1010_8^3 - 21029054694167543338288013569217014177073539992785074619/9784885276\ 67853171142950063687570659668758500008547537*c_1010_8^2 - 48634233245768678408036717745005518821675559275844616730/9784885276\ 67853171142950063687570659668758500008547537*c_1010_8 - 29335828341889396517645030684523402399232305638932696650/9784885276\ 67853171142950063687570659668758500008547537, c_0011_0 - 1, c_0011_10 + 4489147466000487121688021342473070780/190018951673922287507\ 01350584489365449893*c_1010_8^23 - 33381820436969041882276270785352624580/1900189516739222875070135058\ 4489365449893*c_1010_8^22 - 56059907407491219272900712935810607973/\ 19001895167392228750701350584489365449893*c_1010_8^21 + 119906591079688208105197610627628080240/190018951673922287507013505\ 84489365449893*c_1010_8^20 + 31950276835461922614680350121696590568\ 2/19001895167392228750701350584489365449893*c_1010_8^19 - 585345245975532950419569457211965804111/190018951673922287507013505\ 84489365449893*c_1010_8^18 - 17222289046382688382967500648823475137\ 61/19001895167392228750701350584489365449893*c_1010_8^17 + 681604465963938600583439142512122947017/190018951673922287507013505\ 84489365449893*c_1010_8^16 + 45609371155897362071981324625160258076\ 57/19001895167392228750701350584489365449893*c_1010_8^15 - 4916758806245978470224720024500312331518/19001895167392228750701350\ 584489365449893*c_1010_8^14 - 8066301779331269440435234443874790446\ 882/19001895167392228750701350584489365449893*c_1010_8^13 + 2673846315052181029112406978783557671064/19001895167392228750701350\ 584489365449893*c_1010_8^12 + 2656312086945790944140708407496826400\ 714/19001895167392228750701350584489365449893*c_1010_8^11 - 9562975134713492993585573321903133922305/19001895167392228750701350\ 584489365449893*c_1010_8^10 - 3482399838896558796620062217440442775\ 307/19001895167392228750701350584489365449893*c_1010_8^9 + 1124906447367892678828943030433864305161/19001895167392228750701350\ 584489365449893*c_1010_8^8 - 21017205014627362006926976087402338733\ 788/19001895167392228750701350584489365449893*c_1010_8^7 - 16560347705479966490752513151427337751967/1900189516739222875070135\ 0584489365449893*c_1010_8^6 + 1345182690199285807012107486884984897\ 3104/19001895167392228750701350584489365449893*c_1010_8^5 + 12529244623826547069428548679250431289011/1900189516739222875070135\ 0584489365449893*c_1010_8^4 - 1529647433713319443573957263005622875\ 3339/19001895167392228750701350584489365449893*c_1010_8^3 - 11483327428079667448561061947858803944761/1900189516739222875070135\ 0584489365449893*c_1010_8^2 + 5227829242072871861118159470839805599\ 316/19001895167392228750701350584489365449893*c_1010_8 + 15418074017031948034028140364151266437980/1900189516739222875070135\ 0584489365449893, c_0011_12 + 1260333619072920061507837259636999973/190018951673922287507\ 01350584489365449893*c_1010_8^23 + 50834911964491060547073511677945094716/1900189516739222875070135058\ 4489365449893*c_1010_8^22 + 31219637137271408244430486496004906553/\ 19001895167392228750701350584489365449893*c_1010_8^21 - 225829003563174974218163401301324654912/190018951673922287507013505\ 84489365449893*c_1010_8^20 - 24468528506726876737682355201340830514\ 5/19001895167392228750701350584489365449893*c_1010_8^19 + 1206934783687329564078674267182431466644/19001895167392228750701350\ 584489365449893*c_1010_8^18 + 1978628491778990733296626655058731315\ 002/19001895167392228750701350584489365449893*c_1010_8^17 - 2379157727679275127771715542414658603537/19001895167392228750701350\ 584489365449893*c_1010_8^16 - 5721990443379621249264221122137943455\ 578/19001895167392228750701350584489365449893*c_1010_8^15 + 9118129181282378458373692568964770671998/19001895167392228750701350\ 584489365449893*c_1010_8^14 + 1219138330396850439697897687405985911\ 2934/19001895167392228750701350584489365449893*c_1010_8^13 - 4571480767613664568482926717111976511708/19001895167392228750701350\ 584489365449893*c_1010_8^12 - 1103763255003972712483363508627086672\ 8984/19001895167392228750701350584489365449893*c_1010_8^11 + 8396670003965026453526681178945858670037/19001895167392228750701350\ 584489365449893*c_1010_8^10 + 2319565511820444782325228614918366947\ 3135/19001895167392228750701350584489365449893*c_1010_8^9 + 13456391326142865368989281435194009593632/1900189516739222875070135\ 0584489365449893*c_1010_8^8 - 2346001488688637807242949552035074258\ 240/19001895167392228750701350584489365449893*c_1010_8^7 + 4647269188994886223816419533355314117308/19001895167392228750701350\ 584489365449893*c_1010_8^6 + 22110745219192078351303871464763349248\ 818/19001895167392228750701350584489365449893*c_1010_8^5 + 15341246530879798856298559989861801108076/1900189516739222875070135\ 0584489365449893*c_1010_8^4 - 4660802841192401307770418549697375639\ 218/19001895167392228750701350584489365449893*c_1010_8^3 - 11661634468445106860153683801999167770837/1900189516739222875070135\ 0584489365449893*c_1010_8^2 + 4985763673688586002912597684555463631\ 868/19001895167392228750701350584489365449893*c_1010_8 + 17541749759687308567876022939379128689454/1900189516739222875070135\ 0584489365449893, c_0011_13 - 10908425061038050318359963016640308746/19001895167392228750\ 701350584489365449893*c_1010_8^23 - 29479598440480285177615760314545768583/1900189516739222875070135058\ 4489365449893*c_1010_8^22 + 23189066472429866171916629903627503477/\ 19001895167392228750701350584489365449893*c_1010_8^21 + 168644642693325816687483780512787725409/190018951673922287507013505\ 84489365449893*c_1010_8^20 - 82131897342256510025834195873517953271\ /19001895167392228750701350584489365449893*c_1010_8^19 - 941804527387530888800861315633412666277/190018951673922287507013505\ 84489365449893*c_1010_8^18 - 62738408117472618045147447520598845119\ 6/19001895167392228750701350584489365449893*c_1010_8^17 + 2180366138365440052670509825883543183365/19001895167392228750701350\ 584489365449893*c_1010_8^16 + 1426692199651992456112090536539212380\ 441/19001895167392228750701350584489365449893*c_1010_8^15 - 5437615503077796669765463780163647625389/19001895167392228750701350\ 584489365449893*c_1010_8^14 - 5555582212610024208971818701284251712\ 105/19001895167392228750701350584489365449893*c_1010_8^13 + 4633682524275721822978663550771307806672/19001895167392228750701350\ 584489365449893*c_1010_8^12 + 1010513437307587440783722117016166405\ 452/19001895167392228750701350584489365449893*c_1010_8^11 - 2896506288353657737931571166937645342506/19001895167392228750701350\ 584489365449893*c_1010_8^10 + 6259159211523797525372968633243512570\ 30/19001895167392228750701350584489365449893*c_1010_8^9 - 11202047153086508422025510364198379346927/1900189516739222875070135\ 0584489365449893*c_1010_8^8 - 4262217811875451473481130530028894716\ 049/19001895167392228750701350584489365449893*c_1010_8^7 + 3165091995367940141323020191614027146043/19001895167392228750701350\ 584489365449893*c_1010_8^6 + 75775312042372120734508085936451784370\ 74/19001895167392228750701350584489365449893*c_1010_8^5 + 12342462042253850154687245887982236129296/1900189516739222875070135\ 0584489365449893*c_1010_8^4 + 1469202505254599429408508290008673041\ 8233/19001895167392228750701350584489365449893*c_1010_8^3 + 2114033111383766885624692578555924755930/19001895167392228750701350\ 584489365449893*c_1010_8^2 + 49549339743483204984216356394627748583\ 34/19001895167392228750701350584489365449893*c_1010_8 + 5601524144611535121641843466118257299790/19001895167392228750701350\ 584489365449893, c_0011_6 - 4000680441793828805771827828498296431/1900189516739222875070\ 1350584489365449893*c_1010_8^23 + 159773939559126511676179241416678\ 92992/19001895167392228750701350584489365449893*c_1010_8^22 + 13183482047222494042703260679329950297/1900189516739222875070135058\ 4489365449893*c_1010_8^21 - 110026465278582844671968281149674726562\ /19001895167392228750701350584489365449893*c_1010_8^20 - 138374675772839019433648971996717392385/190018951673922287507013505\ 84489365449893*c_1010_8^19 + 49957822052812154347857682157359586622\ 3/19001895167392228750701350584489365449893*c_1010_8^18 + 616453419963156039741638994126649856195/190018951673922287507013505\ 84489365449893*c_1010_8^17 - 18210607150974275756949989667095294321\ 25/19001895167392228750701350584489365449893*c_1010_8^16 - 2987711205553674355072871250713780168709/19001895167392228750701350\ 584489365449893*c_1010_8^15 + 5819391440626165826808537187564493690\ 830/19001895167392228750701350584489365449893*c_1010_8^14 + 2959135659374518320207118113723963810182/19001895167392228750701350\ 584489365449893*c_1010_8^13 - 1260021863375385972872538009745917735\ 7383/19001895167392228750701350584489365449893*c_1010_8^12 - 3982491081143597223154553097075897334853/19001895167392228750701350\ 584489365449893*c_1010_8^11 + 1085573929144935411946850239053818091\ 3010/19001895167392228750701350584489365449893*c_1010_8^10 - 4852073304816531492040889229546477044931/19001895167392228750701350\ 584489365449893*c_1010_8^9 - 13648357681774971349823612064185486312\ 480/19001895167392228750701350584489365449893*c_1010_8^8 - 9643211225705031003293272047922884772190/19001895167392228750701350\ 584489365449893*c_1010_8^7 - 33546253000983230537813483250816191497\ 21/19001895167392228750701350584489365449893*c_1010_8^6 - 3183574755573058467956022041854919331324/19001895167392228750701350\ 584489365449893*c_1010_8^5 - 11789778159146882462933279341673406122\ 257/19001895167392228750701350584489365449893*c_1010_8^4 - 23669178068412713004670817278816154682783/1900189516739222875070135\ 0584489365449893*c_1010_8^3 - 4059241008118278972603564228235363298\ 095/19001895167392228750701350584489365449893*c_1010_8^2 + 7291070809199508986360880326218019014875/19001895167392228750701350\ 584489365449893*c_1010_8 - 2129602304124973806862560242820838337498\ /19001895167392228750701350584489365449893, c_0011_8 + 5800282308043265226236198619891557152/1900189516739222875070\ 1350584489365449893*c_1010_8^23 + 578910673223867963087208813609258\ 7662/19001895167392228750701350584489365449893*c_1010_8^22 - 20076476471877815499123020216751938517/1900189516739222875070135058\ 4489365449893*c_1010_8^21 - 46433022124628461762162265389804605897/\ 19001895167392228750701350584489365449893*c_1010_8^20 + 86034753937499183376597117728208895311/1900189516739222875070135058\ 4489365449893*c_1010_8^19 + 241536483102703919408809538216828106798\ /19001895167392228750701350584489365449893*c_1010_8^18 - 23024494949895071023310139006678638920/1900189516739222875070135058\ 4489365449893*c_1010_8^17 - 606337115462246373558716010149752495492\ /19001895167392228750701350584489365449893*c_1010_8^16 + 202995207106019832172455331213659947425/190018951673922287507013505\ 84489365449893*c_1010_8^15 + 44697461821443443737663029952001154708\ 0/19001895167392228750701350584489365449893*c_1010_8^14 + 755828567040043183346518390788907510815/190018951673922287507013505\ 84489365449893*c_1010_8^13 - 36205205233435369930370048795593800901\ 0/19001895167392228750701350584489365449893*c_1010_8^12 - 784653564641633421416176636291440658709/190018951673922287507013505\ 84489365449893*c_1010_8^11 - 30752251759509041213376756047234498706\ 11/19001895167392228750701350584489365449893*c_1010_8^10 + 3478234010181648818290394851420261229196/19001895167392228750701350\ 584489365449893*c_1010_8^9 - 11729312027168480635128769056523308418\ 05/19001895167392228750701350584489365449893*c_1010_8^8 - 9166873057607175338058021862206532130524/19001895167392228750701350\ 584489365449893*c_1010_8^7 + 17038252384858426506822291265188127390\ 85/19001895167392228750701350584489365449893*c_1010_8^6 + 8786542986348617315979201070362413238421/19001895167392228750701350\ 584489365449893*c_1010_8^5 - 13909921350662034358120537356405016319\ 303/19001895167392228750701350584489365449893*c_1010_8^4 - 11237945942589011201908529049899271279778/1900189516739222875070135\ 0584489365449893*c_1010_8^3 - 1425378604996578115313001236257099707\ 553/19001895167392228750701350584489365449893*c_1010_8^2 + 1663974745158294981360058138740835093799/19001895167392228750701350\ 584489365449893*c_1010_8 + 1022235727285609150868786920237700902701\ 5/19001895167392228750701350584489365449893, c_0101_0 - 2973457713846258186952232515235798360/1900189516739222875070\ 1350584489365449893*c_1010_8^23 - 344936591497381080006976310040389\ 76872/19001895167392228750701350584489365449893*c_1010_8^22 - 15947827413471301871074971821979718912/1900189516739222875070135058\ 4489365449893*c_1010_8^21 + 166822197768690851092362564689362595150\ /19001895167392228750701350584489365449893*c_1010_8^20 + 169501905711136831797404172880440948018/190018951673922287507013505\ 84489365449893*c_1010_8^19 - 86102045472843978940336159300701835854\ 8/19001895167392228750701350584489365449893*c_1010_8^18 - 1559349688072969179595235728303247748849/19001895167392228750701350\ 584489365449893*c_1010_8^17 + 1552657329489677019298165675491532239\ 438/19001895167392228750701350584489365449893*c_1010_8^16 + 4861505565481628475408230130598400062023/19001895167392228750701350\ 584489365449893*c_1010_8^15 - 4313065849499619229545056344506534052\ 750/19001895167392228750701350584489365449893*c_1010_8^14 - 11748793279449345712554660416421941968869/1900189516739222875070135\ 0584489365449893*c_1010_8^13 - 299445739528330247091458347569881787\ 4715/19001895167392228750701350584489365449893*c_1010_8^12 + 13335084761966880128805278709543035429359/1900189516739222875070135\ 0584489365449893*c_1010_8^11 + 983459666993505966102824788457342051\ 5631/19001895167392228750701350584489365449893*c_1010_8^10 - 21803158283036742891623916703949119490429/1900189516739222875070135\ 0584489365449893*c_1010_8^9 - 2871455058347955496756338854920254654\ 5425/19001895167392228750701350584489365449893*c_1010_8^8 + 973211559353637872583153636015105152875/190018951673922287507013505\ 84489365449893*c_1010_8^7 + 154978750492831801157226288267685701803\ 71/19001895167392228750701350584489365449893*c_1010_8^6 - 7338895111824483770968625793902075058549/19001895167392228750701350\ 584489365449893*c_1010_8^5 - 13659428675696119954239205616766267017\ 017/19001895167392228750701350584489365449893*c_1010_8^4 + 5529734233997819389667003947711992010548/19001895167392228750701350\ 584489365449893*c_1010_8^3 + 38291780633608858432908652084191033442\ 68/19001895167392228750701350584489365449893*c_1010_8^2 - 1293860183656610867009249553248379891068/19001895167392228750701350\ 584489365449893*c_1010_8 - 1134173693073352809576257227764219814452\ 3/19001895167392228750701350584489365449893, c_0101_1 + 21836346803055572602750329587700613024/190018951673922287507\ 01350584489365449893*c_1010_8^23 + 48771832910466989615283009806292520783/1900189516739222875070135058\ 4489365449893*c_1010_8^22 - 48344638564454623304426218224221914199/\ 19001895167392228750701350584489365449893*c_1010_8^21 - 225484630658432805384924729908019666443/190018951673922287507013505\ 84489365449893*c_1010_8^20 + 24412344555926686777459213856045310481\ 4/19001895167392228750701350584489365449893*c_1010_8^19 + 1384825588046863009297163223864580408929/19001895167392228750701350\ 584489365449893*c_1010_8^18 + 7194012199314511192703637952226535701\ 13/19001895167392228750701350584489365449893*c_1010_8^17 - 2526360303208289151503606379503758172817/19001895167392228750701350\ 584489365449893*c_1010_8^16 + 8383910228815975705241230144809153099\ 0/19001895167392228750701350584489365449893*c_1010_8^15 + 6955744366662008796428096383740445876953/19001895167392228750701350\ 584489365449893*c_1010_8^14 + 6240180161469931267833880838901989566\ 393/19001895167392228750701350584489365449893*c_1010_8^13 + 1485748590598585117953550132170423749623/19001895167392228750701350\ 584489365449893*c_1010_8^12 + 1758495849261941678059449573608093604\ 562/19001895167392228750701350584489365449893*c_1010_8^11 + 3460915980601917870366292774958085258088/19001895167392228750701350\ 584489365449893*c_1010_8^10 + 1962314738062888927685452180286533984\ 4448/19001895167392228750701350584489365449893*c_1010_8^9 + 20247553138756534130142125219678507171903/1900189516739222875070135\ 0584489365449893*c_1010_8^8 + 4871496684709477906019407596128527535\ 417/19001895167392228750701350584489365449893*c_1010_8^7 + 12680926259364220824948310096036481449736/1900189516739222875070135\ 0584489365449893*c_1010_8^6 + 2211904804425254387273929211395454267\ 6515/19001895167392228750701350584489365449893*c_1010_8^5 + 10510663568353675077581065948051861367076/1900189516739222875070135\ 0584489365449893*c_1010_8^4 - 5806060933280900320268000925324648395\ 089/19001895167392228750701350584489365449893*c_1010_8^3 - 4875479702472802245179396385765498755868/19001895167392228750701350\ 584489365449893*c_1010_8^2 - 21454374335452272610805615037156239899\ 91/19001895167392228750701350584489365449893*c_1010_8 + 1991409063661129477710110589618508279986/19001895167392228750701350\ 584489365449893, c_0101_3 + 14909105502831879124131790845138605177/190018951673922287507\ 01350584489365449893*c_1010_8^23 + 13502204484567634009997836172877875591/1900189516739222875070135058\ 4489365449893*c_1010_8^22 - 36372548519652360214619890582957453774/\ 19001895167392228750701350584489365449893*c_1010_8^21 - 58618177414742972015515499363112998847/1900189516739222875070135058\ 4489365449893*c_1010_8^20 + 220506573115095529459483167870235345656\ /19001895167392228750701350584489365449893*c_1010_8^19 + 442226306859409345322284494059816800054/190018951673922287507013505\ 84489365449893*c_1010_8^18 + 10930661211570140709835481079338595001\ /19001895167392228750701350584489365449893*c_1010_8^17 - 359305423268012476975510859174013751240/190018951673922287507013505\ 84489365449893*c_1010_8^16 + 15610190059016818989607807141745677882\ 68/19001895167392228750701350584489365449893*c_1010_8^15 - 381775937548369157043073407400846065441/190018951673922287507013505\ 84489365449893*c_1010_8^14 + 25964465532355058887647005875602879019\ 23/19001895167392228750701350584489365449893*c_1010_8^13 + 7966536109478137905746716546687869550711/19001895167392228750701350\ 584489365449893*c_1010_8^12 + 2971977643836009782370830980059730929\ 401/19001895167392228750701350584489365449893*c_1010_8^11 - 7959233003095696381536931223600535570504/19001895167392228750701350\ 584489365449893*c_1010_8^10 + 4226157383664151739503592366222125787\ 901/19001895167392228750701350584489365449893*c_1010_8^9 + 24850404834861479771849122428383865659407/1900189516739222875070135\ 0584489365449893*c_1010_8^8 + 1390542903758048247677440257795177948\ 8239/19001895167392228750701350584489365449893*c_1010_8^7 + 189533304730382912458328133467592003678/190018951673922287507013505\ 84489365449893*c_1010_8^6 - 439395644866415360549478655179025910575\ 0/19001895167392228750701350584489365449893*c_1010_8^5 - 552683883106967691753966546308830007039/190018951673922287507013505\ 84489365449893*c_1010_8^4 + 897715301586671871058573437872942426455\ 0/19001895167392228750701350584489365449893*c_1010_8^3 + 1945207896734512086978871649679438542165/19001895167392228750701350\ 584489365449893*c_1010_8^2 - 12246004783547829484782515965680793873\ 209/19001895167392228750701350584489365449893*c_1010_8 - 3471921840486561314779283223297418962292/19001895167392228750701350\ 584489365449893, c_0110_5 + 22306548170952500547159383716695871412/190018951673922287507\ 01350584489365449893*c_1010_8^23 + 35557871136886185376078154747160119957/1900189516739222875070135058\ 4489365449893*c_1010_8^22 - 74383917184253295287775682720816501905/\ 19001895167392228750701350584489365449893*c_1010_8^21 - 189800880124061945580233510568323188919/190018951673922287507013505\ 84489365449893*c_1010_8^20 + 29585173577246646292153336225817220469\ 4/19001895167392228750701350584489365449893*c_1010_8^19 + 1159583616846211972937743011871081728916/19001895167392228750701350\ 584489365449893*c_1010_8^18 + 3160895886492651838748748467150766835\ 98/19001895167392228750701350584489365449893*c_1010_8^17 - 2225151465353211975493181114675240023124/19001895167392228750701350\ 584489365449893*c_1010_8^16 - 3508334952821353772676830532128495016\ 3/19001895167392228750701350584489365449893*c_1010_8^15 + 3028552265421463216414879055781365971670/19001895167392228750701350\ 584489365449893*c_1010_8^14 + 5658486578425419735709057056535135424\ 741/19001895167392228750701350584489365449893*c_1010_8^13 + 9434516632100215107716487806319185680869/19001895167392228750701350\ 584489365449893*c_1010_8^12 - 8037472724542736960200755622583409786\ 917/19001895167392228750701350584489365449893*c_1010_8^11 - 13763842932769916983675235872356893157005/1900189516739222875070135\ 0584489365449893*c_1010_8^10 + 191438999025568020700422322509092530\ 61893/19001895167392228750701350584489365449893*c_1010_8^9 + 27482146266879708498763240978955577620137/1900189516739222875070135\ 0584489365449893*c_1010_8^8 + 1009500036309639787000825429288257215\ 744/19001895167392228750701350584489365449893*c_1010_8^7 - 9261098229951222156896522258510949882477/19001895167392228750701350\ 584489365449893*c_1010_8^6 + 10170936227855082284401755181631479448\ 202/19001895167392228750701350584489365449893*c_1010_8^5 + 2005696927971915451551968572230436417723/19001895167392228750701350\ 584489365449893*c_1010_8^4 - 12902437226354924070667050288833856531\ 456/19001895167392228750701350584489365449893*c_1010_8^3 - 14100390238164541525845920072345796182661/1900189516739222875070135\ 0584489365449893*c_1010_8^2 + 1620949649981986743469124417777234502\ 986/19001895167392228750701350584489365449893*c_1010_8 + 3817220453309535517665151037845675308910/19001895167392228750701350\ 584489365449893, c_1001_1 + 18782391516248614719545988337405695549/190018951673922287507\ 01350584489365449893*c_1010_8^23 + 24075601105598112240110197262067815127/1900189516739222875070135058\ 4489365449893*c_1010_8^22 - 76696958977401995370688025927705114100/\ 19001895167392228750701350584489365449893*c_1010_8^21 - 137248627447676180935269663816782650368/190018951673922287507013505\ 84489365449893*c_1010_8^20 + 39124846693357548153006803456926550974\ 5/19001895167392228750701350584489365449893*c_1010_8^19 + 957273129406966645389037016650361698307/190018951673922287507013505\ 84489365449893*c_1010_8^18 - 52334101811899754618560422888097566856\ 5/19001895167392228750701350584489365449893*c_1010_8^17 - 2538165652357054009287843140293072056297/19001895167392228750701350\ 584489365449893*c_1010_8^16 + 2429873499660777832791946429671005724\ 774/19001895167392228750701350584489365449893*c_1010_8^15 + 6111967373990054585245450929057770291275/19001895167392228750701350\ 584489365449893*c_1010_8^14 + 8539706377843843082959715021905219013\ /19001895167392228750701350584489365449893*c_1010_8^13 - 3564815358796090871223998930370290469051/19001895167392228750701350\ 584489365449893*c_1010_8^12 - 1426445741390748263013872109014872264\ 392/19001895167392228750701350584489365449893*c_1010_8^11 + 5551773125556900753514891827733297612402/19001895167392228750701350\ 584489365449893*c_1010_8^10 + 1417711655270369740981546337970017889\ 9449/19001895167392228750701350584489365449893*c_1010_8^9 + 9325866349706685534000065362764113737130/19001895167392228750701350\ 584489365449893*c_1010_8^8 - 15621837149368164143928342510122258494\ 395/19001895167392228750701350584489365449893*c_1010_8^7 - 8294624644529409722672604904643866751871/19001895167392228750701350\ 584489365449893*c_1010_8^6 + 13981349501170140046320573241654052196\ 422/19001895167392228750701350584489365449893*c_1010_8^5 + 2556603691172945423689299454334089942421/19001895167392228750701350\ 584489365449893*c_1010_8^4 - 18537971006303601303438209829550119806\ 562/19001895167392228750701350584489365449893*c_1010_8^3 - 5165133348713538010802592944708527441729/19001895167392228750701350\ 584489365449893*c_1010_8^2 - 10520030377531450486002136554665531051\ 594/19001895167392228750701350584489365449893*c_1010_8 - 2474334944811366033971374644057695119297/19001895167392228750701350\ 584489365449893, c_1001_11 - 23279055760179146078665831699061496567/19001895167392228750\ 701350584489365449893*c_1010_8^23 - 52900973094222720101696708820846301169/1900189516739222875070135058\ 4489365449893*c_1010_8^22 + 116634773579099374012073406918783331649\ /19001895167392228750701350584489365449893*c_1010_8^21 + 320923455539479880822771731002337108058/190018951673922287507013505\ 84489365449893*c_1010_8^20 - 50519566743916143082753565475506553136\ 8/19001895167392228750701350584489365449893*c_1010_8^19 - 2002374409695603463847087696710933832742/19001895167392228750701350\ 584489365449893*c_1010_8^18 + 4677248588121222292589639041964887000\ 39/19001895167392228750701350584489365449893*c_1010_8^17 + 6021621120589198342959242889169137598034/19001895167392228750701350\ 584489365449893*c_1010_8^16 - 1336615655340025614179384858936274712\ 554/19001895167392228750701350584489365449893*c_1010_8^15 - 16359976097429107494623415214636443486330/1900189516739222875070135\ 0584489365449893*c_1010_8^14 + 204358213324567223051819080719706638\ 015/19001895167392228750701350584489365449893*c_1010_8^13 + 17452699645855161012598895523689576951565/1900189516739222875070135\ 0584489365449893*c_1010_8^12 + 122435511016623671716192077613855940\ 8757/19001895167392228750701350584489365449893*c_1010_8^11 - 21373205880102995775734864892512658978867/1900189516739222875070135\ 0584489365449893*c_1010_8^10 - 119465766570948951179417701923430599\ 65499/19001895167392228750701350584489365449893*c_1010_8^9 + 2746784682193719653024678407737063455826/19001895167392228750701350\ 584489365449893*c_1010_8^8 + 45522537040096375695484684622434521588\ 66/19001895167392228750701350584489365449893*c_1010_8^7 - 3667681647157619626026497980747608051631/19001895167392228750701350\ 584489365449893*c_1010_8^6 + 28991537771393474469465326996233308031\ 90/19001895167392228750701350584489365449893*c_1010_8^5 + 431679251649289685539533764589674500914/190018951673922287507013505\ 84489365449893*c_1010_8^4 - 858559034886472082359767648638899210883\ 1/19001895167392228750701350584489365449893*c_1010_8^3 - 1883475001204395482054077685081125545582/19001895167392228750701350\ 584489365449893*c_1010_8^2 - 38206871795827998794873891547643118275\ 16/19001895167392228750701350584489365449893*c_1010_8 + 4729650108249703593998710440782218685592/19001895167392228750701350\ 584489365449893, c_1001_5 + 36529772361742075303186820629158185064/190018951673922287507\ 01350584489365449893*c_1010_8^23 + 34428363663359612641676263867666070791/1900189516739222875070135058\ 4489365449893*c_1010_8^22 - 221627142072977810291173865653375505031\ /19001895167392228750701350584489365449893*c_1010_8^21 - 334728499135521701109278537802150449201/190018951673922287507013505\ 84489365449893*c_1010_8^20 + 10756581971172354512906125833617992583\ 98/19001895167392228750701350584489365449893*c_1010_8^19 + 2231759875063230755353137493779049221285/19001895167392228750701350\ 584489365449893*c_1010_8^18 - 2645457445345409342108264375137482518\ 104/19001895167392228750701350584489365449893*c_1010_8^17 - 8470727000245438316432892330309931794064/19001895167392228750701350\ 584489365449893*c_1010_8^16 + 6876339303902704465847627237397897177\ 613/19001895167392228750701350584489365449893*c_1010_8^15 + 20050722458705513345862760135836117935902/1900189516739222875070135\ 0584489365449893*c_1010_8^14 - 851678530249597399580897244042642542\ 7456/19001895167392228750701350584489365449893*c_1010_8^13 - 32559543039367310359715658367120993434661/1900189516739222875070135\ 0584489365449893*c_1010_8^12 + 417422527467419884253451035416147757\ 8647/19001895167392228750701350584489365449893*c_1010_8^11 + 29712348271193043394924368137651282150240/1900189516739222875070135\ 0584489365449893*c_1010_8^10 + 780619753287130062060726866391368520\ 6205/19001895167392228750701350584489365449893*c_1010_8^9 - 25761597718319734539654805866409907350794/1900189516739222875070135\ 0584489365449893*c_1010_8^8 - 2412326564253274647637446099978182782\ 5955/19001895167392228750701350584489365449893*c_1010_8^7 - 3459915669721467686934935307186685542352/19001895167392228750701350\ 584489365449893*c_1010_8^6 - 40812659830159148889524061701753242336\ 63/19001895167392228750701350584489365449893*c_1010_8^5 - 18588761282861961450697165026182544214954/1900189516739222875070135\ 0584489365449893*c_1010_8^4 - 1360678754736022502489485786200480320\ 4645/19001895167392228750701350584489365449893*c_1010_8^3 + 2694004304292928844671829049118499328878/19001895167392228750701350\ 584489365449893*c_1010_8^2 + 40735139955165498865054714925490446347\ 46/19001895167392228750701350584489365449893*c_1010_8 - 2273356464906004999895165024909712591824/19001895167392228750701350\ 584489365449893, c_1001_9 + 18782391516248614719545988337405695549/190018951673922287507\ 01350584489365449893*c_1010_8^23 + 24075601105598112240110197262067815127/1900189516739222875070135058\ 4489365449893*c_1010_8^22 - 76696958977401995370688025927705114100/\ 19001895167392228750701350584489365449893*c_1010_8^21 - 137248627447676180935269663816782650368/190018951673922287507013505\ 84489365449893*c_1010_8^20 + 39124846693357548153006803456926550974\ 5/19001895167392228750701350584489365449893*c_1010_8^19 + 957273129406966645389037016650361698307/190018951673922287507013505\ 84489365449893*c_1010_8^18 - 52334101811899754618560422888097566856\ 5/19001895167392228750701350584489365449893*c_1010_8^17 - 2538165652357054009287843140293072056297/19001895167392228750701350\ 584489365449893*c_1010_8^16 + 2429873499660777832791946429671005724\ 774/19001895167392228750701350584489365449893*c_1010_8^15 + 6111967373990054585245450929057770291275/19001895167392228750701350\ 584489365449893*c_1010_8^14 + 8539706377843843082959715021905219013\ /19001895167392228750701350584489365449893*c_1010_8^13 - 3564815358796090871223998930370290469051/19001895167392228750701350\ 584489365449893*c_1010_8^12 - 1426445741390748263013872109014872264\ 392/19001895167392228750701350584489365449893*c_1010_8^11 + 5551773125556900753514891827733297612402/19001895167392228750701350\ 584489365449893*c_1010_8^10 + 1417711655270369740981546337970017889\ 9449/19001895167392228750701350584489365449893*c_1010_8^9 + 9325866349706685534000065362764113737130/19001895167392228750701350\ 584489365449893*c_1010_8^8 - 15621837149368164143928342510122258494\ 395/19001895167392228750701350584489365449893*c_1010_8^7 - 8294624644529409722672604904643866751871/19001895167392228750701350\ 584489365449893*c_1010_8^6 + 13981349501170140046320573241654052196\ 422/19001895167392228750701350584489365449893*c_1010_8^5 + 2556603691172945423689299454334089942421/19001895167392228750701350\ 584489365449893*c_1010_8^4 - 18537971006303601303438209829550119806\ 562/19001895167392228750701350584489365449893*c_1010_8^3 - 5165133348713538010802592944708527441729/19001895167392228750701350\ 584489365449893*c_1010_8^2 + 84818647898607782646992140298238343982\ 99/19001895167392228750701350584489365449893*c_1010_8 - 2474334944811366033971374644057695119297/19001895167392228750701350\ 584489365449893, c_1010_8^24 + 2*c_1010_8^23 - 3*c_1010_8^22 - 11*c_1010_8^21 + 13*c_1010_8^20 + 67*c_1010_8^19 + 22*c_1010_8^18 - 154*c_1010_8^17 - 20*c_1010_8^16 + 369*c_1010_8^15 + 330*c_1010_8^14 - 139*c_1010_8^13 - 269*c_1010_8^12 + 248*c_1010_8^11 + 824*c_1010_8^10 + 723*c_1010_8^9 + 93*c_1010_8^8 - 75*c_1010_8^7 + 303*c_1010_8^6 + 429*c_1010_8^5 + 14*c_1010_8^4 - 362*c_1010_8^3 - 175*c_1010_8^2 + 162*c_1010_8 + 289 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 35.070 Total time: 35.289 seconds, Total memory usage: 246.50MB