Magma V2.19-8 Tue Aug 20 2013 23:38:34 on localhost [Seed = 1443902053] Type ? for help. Type -D to quit. Loading file "K10a71__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K10a71 geometric_solution 10.97745474 oriented_manifold CS_known 0.0000000000000009 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.356886975188 0.420907552679 0 5 6 3 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.803029903976 1.206882174905 4 0 3 3 1023 0132 3201 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 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.263427359058 1.065435697820 2 2 1 0 2310 1302 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.263427359058 1.065435697820 7 2 0 5 0132 1023 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 1 0 0 -1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.803029903976 1.206882174905 7 1 4 8 1023 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 1 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.470394651389 0.408035035451 7 9 8 1 3120 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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.586084990697 0.868574010975 4 5 10 6 0132 1023 0132 3120 0 0 0 0 0 -1 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 2 -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.207802390182 1.244526073484 9 11 5 6 0213 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 -1 0 0 0 0 0 2 -2 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.095486718031 0.499952712466 8 6 11 10 0213 0132 0132 3012 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 -2 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.478296785204 0.465576444296 11 11 9 7 2310 3012 1230 0132 0 0 0 0 0 0 1 -1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 2 0 0 -2 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.692837028045 1.576607713221 10 8 10 9 1230 0132 3201 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 1 -1 -1 1 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.766384490313 0.531611330793 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_10']), 'c_1001_10' : d['c_0011_10'], 'c_1001_5' : d['c_0110_2'], 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_7' : negation(d['c_0101_11']), 'c_1001_6' : negation(d['c_0101_10']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_3'], 'c_1001_3' : d['c_0110_2'], 'c_1001_2' : negation(d['c_0101_0']), 'c_1001_9' : d['c_1001_1'], 'c_1001_8' : d['c_1001_1'], 'c_1010_11' : d['c_1001_1'], 'c_1010_10' : negation(d['c_0101_11']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_1100_0'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0101_6']), 'c_1100_6' : d['c_1100_0'], 'c_1100_1' : d['c_1100_0'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0011_3']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : negation(d['c_0101_6']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_6']), 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0110_2'], 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : d['c_0110_2'], 'c_1010_0' : negation(d['c_0101_0']), 'c_1010_9' : negation(d['c_0101_10']), 'c_1010_8' : negation(d['c_0101_10']), 'c_1100_8' : d['c_1100_0'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_6']), 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : negation(d['c_0101_11']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0101_11']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_11']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : negation(d['c_0011_6']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_6']), 'c_0110_8' : d['c_0101_6'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_10']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : negation(d['c_0101_11']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_1']})} 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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_6, c_0110_2, c_1001_1, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t - 5585608762589875944620946121901/2395751253082171313688957216808*c_1\ 001_1^26 - 5209842868808646137885571712239/342250179011738759098422\ 459544*c_1001_1^25 + 72768906593237956847191072570533/3422501790117\ 38759098422459544*c_1001_1^24 - 2183610013383688015978909103020473/\ 2395751253082171313688957216808*c_1001_1^23 + 3776057719234676376753930256626655/2395751253082171313688957216808*\ c_1001_1^22 - 288635158103203706148811458111139/1197875626541085656\ 844478608404*c_1001_1^21 - 1716740761399982023753375626509835/59893\ 7813270542828422239304202*c_1001_1^20 + 921895324083941897785314219273941/1197875626541085656844478608404*c\ _1001_1^19 + 2582025519713039649691665950913469/5989378132705428284\ 22239304202*c_1001_1^18 + 55088982327904404192469033931701/22601426\ 915869540695178841668*c_1001_1^17 - 15604328438347614075226675384751935/1197875626541085656844478608404\ *c_1001_1^16 + 1289991084984325337662139302155415/23957512530821713\ 13688957216808*c_1001_1^15 + 21111039832779576324625979648566701/11\ 97875626541085656844478608404*c_1001_1^14 - 2496553083769918615459241119500765/598937813270542828422239304202*c\ _1001_1^13 - 39821334915936670303193385801080649/239575125308217131\ 3688957216808*c_1001_1^12 + 147982997332371383876176197172503/11978\ 75626541085656844478608404*c_1001_1^11 + 49900234781055128700104555289206539/2395751253082171313688957216808\ *c_1001_1^10 - 57896118465446950556276552012817/4278127237646734488\ 7302807443*c_1001_1^9 - 14249360221107716114997713763839971/5989378\ 13270542828422239304202*c_1001_1^8 + 11384411112613108716166413448313483/1197875626541085656844478608404\ *c_1001_1^7 + 18615734289800274033938591394320661/11978756265410856\ 56844478608404*c_1001_1^6 - 3734844750428717856753885930175643/2994\ 68906635271414211119652101*c_1001_1^5 - 4493802716430466474388262241729585/1197875626541085656844478608404*\ c_1001_1^4 + 16463262890150104867050753713810471/239575125308217131\ 3688957216808*c_1001_1^3 - 2133125325873485635103305607631021/23957\ 51253082171313688957216808*c_1001_1^2 - 3695796795350786470355036367667475/2395751253082171313688957216808*\ c_1001_1 + 1295593431978150775904346537199149/239575125308217131368\ 8957216808, c_0011_0 - 1, c_0011_10 - 1720431879359581164547797563/1614387636847824335369917262*c\ _1001_1^26 + 13209190398156978413853437209/161438763684782433536991\ 7262*c_1001_1^25 - 44069128867543486631424357011/161438763684782433\ 5369917262*c_1001_1^24 + 55823816258707975078250096671/161438763684\ 7824335369917262*c_1001_1^23 + 27476571598430045888545757911/161438\ 7636847824335369917262*c_1001_1^22 - 65346124324276497923626388171/807193818423912167684958631*c_1001_1^\ 21 - 23705613108656989547320971078/807193818423912167684958631*c_10\ 01_1^20 + 93800483971869202577968561658/807193818423912167684958631\ *c_1001_1^19 + 130299039532322382177576391794/807193818423912167684\ 958631*c_1001_1^18 - 4909168000359248896875818310/15230072045734191\ 843112427*c_1001_1^17 - 154426782706418746619407984294/807193818423\ 912167684958631*c_1001_1^16 + 750152355459214234995620017243/161438\ 7636847824335369917262*c_1001_1^15 + 125430973446013874466652010379/807193818423912167684958631*c_1001_1\ ^14 - 372465136221607020853100810453/807193818423912167684958631*c_\ 1001_1^13 - 448535922188011358223903469837/161438763684782433536991\ 7262*c_1001_1^12 + 425278982573994088487511529693/80719381842391216\ 7684958631*c_1001_1^11 + 460980024555170007740620169149/16143876368\ 47824335369917262*c_1001_1^10 - 511933319152388718407552822076/8071\ 93818423912167684958631*c_1001_1^9 - 64887180861860814030262164635/807193818423912167684958631*c_1001_1^\ 8 + 406822506044296270993203621787/807193818423912167684958631*c_10\ 01_1^7 - 94476479933128099725971132971/807193818423912167684958631*\ c_1001_1^6 - 182501312985699132996038469580/80719381842391216768495\ 8631*c_1001_1^5 + 90000846797981006386523079087/8071938184239121676\ 84958631*c_1001_1^4 + 77567815089543820753837823177/161438763684782\ 4335369917262*c_1001_1^3 - 60044921369089626587823050659/1614387636\ 847824335369917262*c_1001_1^2 - 4359000007905416930997435047/161438\ 7636847824335369917262*c_1001_1 + 3668682273469652126944758833/1614\ 387636847824335369917262, c_0011_3 + 5862864607363129456728746600/807193818423912167684958631*c_1\ 001_1^26 - 44698499464151237388064843148/80719381842391216768495863\ 1*c_1001_1^25 + 147290859058813169905355240892/80719381842391216768\ 4958631*c_1001_1^24 - 178561674575527214662075955600/80719381842391\ 2167684958631*c_1001_1^23 - 116397719005990452597014699592/80719381\ 8423912167684958631*c_1001_1^22 + 459391922764167221726873296260/80\ 7193818423912167684958631*c_1001_1^21 + 180844707095193668075396064884/807193818423912167684958631*c_1001_1\ ^20 - 650956911462934424920114110016/807193818423912167684958631*c_\ 1001_1^19 - 931171947768184158722469193280/807193818423912167684958\ 631*c_1001_1^18 + 33072652750906525381797610357/1523007204573419184\ 3112427*c_1001_1^17 + 1199166146016453229199762772508/8071938184239\ 12167684958631*c_1001_1^16 - 2607369738395864547092586838140/807193\ 818423912167684958631*c_1001_1^15 - 996483746206427603507158355716/807193818423912167684958631*c_1001_1\ ^14 + 2591038228635356946958515843372/807193818423912167684958631*c\ _1001_1^13 + 1648875848828230805039069908492/8071938184239121676849\ 58631*c_1001_1^12 - 2906541444700542875998229797244/807193818423912\ 167684958631*c_1001_1^11 - 1757527751356583666216337312052/80719381\ 8423912167684958631*c_1001_1^10 + 3545136686179302071648621995556/8\ 07193818423912167684958631*c_1001_1^9 + 615096286602505018375574012964/807193818423912167684958631*c_1001_1\ ^8 - 2911014874376261036366924641264/807193818423912167684958631*c_\ 1001_1^7 + 577789983662504255472313632424/8071938184239121676849586\ 31*c_1001_1^6 + 1360471549833442316148820473176/8071938184239121676\ 84958631*c_1001_1^5 - 640194878313763301225623406836/80719381842391\ 2167684958631*c_1001_1^4 - 304283754199722807255529382808/807193818\ 423912167684958631*c_1001_1^3 + 223919521670559285459710813228/8071\ 93818423912167684958631*c_1001_1^2 + 18955870838731614191159649448/807193818423912167684958631*c_1001_1 - 16647206215623576860697825428/807193818423912167684958631, c_0011_6 + 510780599909039730773478133/807193818423912167684958631*c_10\ 01_1^26 - 3770636959909058545533956978/807193818423912167684958631*\ c_1001_1^25 + 11954504582908081549356192886/80719381842391216768495\ 8631*c_1001_1^24 - 12899026333020552594014107776/807193818423912167\ 684958631*c_1001_1^23 - 12647998492792160802343856054/8071938184239\ 12167684958631*c_1001_1^22 + 36899231063923530272762447134/80719381\ 8423912167684958631*c_1001_1^21 + 22226756864146637214297689902/807\ 193818423912167684958631*c_1001_1^20 - 47977276691294983890396316520/807193818423912167684958631*c_1001_1^\ 19 - 89443005636596429414869405231/807193818423912167684958631*c_10\ 01_1^18 + 2394035088907754065865398155/15230072045734191843112427*c\ _1001_1^17 + 124395410988532467952283827322/80719381842391216768495\ 8631*c_1001_1^16 - 188832561828806923416279964487/80719381842391216\ 7684958631*c_1001_1^15 - 110988363096928644953503363203/80719381842\ 3912167684958631*c_1001_1^14 + 183809725392908223624840653543/80719\ 3818423912167684958631*c_1001_1^13 + 162806308511914241672410556270/807193818423912167684958631*c_1001_1\ ^12 - 199138942794730344746053692622/807193818423912167684958631*c_\ 1001_1^11 - 171756397308403286184059075616/807193818423912167684958\ 631*c_1001_1^10 + 256539439144301605516364930682/807193818423912167\ 684958631*c_1001_1^9 + 81504118879928364478805765572/80719381842391\ 2167684958631*c_1001_1^8 - 219448953666889045161650483052/807193818\ 423912167684958631*c_1001_1^7 + 25507950425320893973389832346/80719\ 3818423912167684958631*c_1001_1^6 + 106175482439930273965223758307/807193818423912167684958631*c_1001_1\ ^5 - 41535119864642842070879024301/807193818423912167684958631*c_10\ 01_1^4 - 24577829967915849564103911308/807193818423912167684958631*\ c_1001_1^3 + 14994012045176823697986041367/807193818423912167684958\ 631*c_1001_1^2 + 1498253988160474975200924088/807193818423912167684\ 958631*c_1001_1 - 509020948247334384684239851/807193818423912167684\ 958631, c_0101_0 - 8166628295445241155680195849/1614387636847824335369917262*c_\ 1001_1^26 + 62845783563559437028766102357/1614387636847824335369917\ 262*c_1001_1^25 - 209646663660978130484278411605/161438763684782433\ 5369917262*c_1001_1^24 + 263781065997069781015217753867/16143876368\ 47824335369917262*c_1001_1^23 + 142337134311890689479769433367/1614\ 387636847824335369917262*c_1001_1^22 - 323140822035465953106890245672/807193818423912167684958631*c_1001_1\ ^21 - 105671312790710126064483680164/807193818423912167684958631*c_\ 1001_1^20 + 460218975960147235908447429027/807193818423912167684958\ 631*c_1001_1^19 + 622479249380701942911548922131/807193818423912167\ 684958631*c_1001_1^18 - 23879850178195041289680365884/1523007204573\ 4191843112427*c_1001_1^17 - 752964860549212794353285309355/80719381\ 8423912167684958631*c_1001_1^16 + 3722460575472279227735339187231/1\ 614387636847824335369917262*c_1001_1^15 + 588078619262729040509565801235/807193818423912167684958631*c_1001_1\ ^14 - 1839245207297712261105340965728/807193818423912167684958631*c\ _1001_1^13 - 2111967396457383766817115470137/1614387636847824335369\ 917262*c_1001_1^12 + 2099427319029669751562146783350/80719381842391\ 2167684958631*c_1001_1^11 + 2218871717828243706861406219159/1614387\ 636847824335369917262*c_1001_1^10 - 2533606592894091337952555983973/807193818423912167684958631*c_1001_\ 1^9 - 289122638772501071317184071064/807193818423912167684958631*c_\ 1001_1^8 + 2035372433486325051751347670848/807193818423912167684958\ 631*c_1001_1^7 - 496462192889662403675213701471/8071938184239121676\ 84958631*c_1001_1^6 - 916411146911758403731015250876/80719381842391\ 2167684958631*c_1001_1^5 + 478590733123193609596268953163/807193818\ 423912167684958631*c_1001_1^4 + 385179031279227892436217909967/1614\ 387636847824335369917262*c_1001_1^3 - 319333464285295461072718861791/1614387636847824335369917262*c_1001_\ 1^2 - 18714106374278827922009544525/1614387636847824335369917262*c_\ 1001_1 + 24220795317255400573120968281/1614387636847824335369917262\ , c_0101_1 + 167456693896678956000908005/1614387636847824335369917262*c_1\ 001_1^26 - 1756745079677220624225592761/161438763684782433536991726\ 2*c_1001_1^25 + 7769323033517616853079784309/1614387636847824335369\ 917262*c_1001_1^24 - 16482984507143473651669453775/1614387636847824\ 335369917262*c_1001_1^23 + 9445397503939662455915550839/16143876368\ 47824335369917262*c_1001_1^22 + 11631570164593884410274843348/80719\ 3818423912167684958631*c_1001_1^21 - 13154123106799729591727408198/807193818423912167684958631*c_1001_1^\ 20 - 21027238174615964210928176328/807193818423912167684958631*c_10\ 01_1^19 + 8075380651398561632852047712/807193818423912167684958631*\ c_1001_1^18 + 1336951729691260855181167595/152300720457341918431124\ 27*c_1001_1^17 - 41215325582330286090791060684/80719381842391216768\ 4958631*c_1001_1^16 - 198702445151547065639291505853/16143876368478\ 24335369917262*c_1001_1^15 + 63511842293337336302691381393/80719381\ 8423912167684958631*c_1001_1^14 + 103091832054918968132360808728/80\ 7193818423912167684958631*c_1001_1^13 - 93308629249806002602355548619/1614387636847824335369917262*c_1001_1\ ^12 - 139381422954145031807847847877/807193818423912167684958631*c_\ 1001_1^11 + 107891169854044699663300340487/161438763684782433536991\ 7262*c_1001_1^10 + 147544003860792464625703654022/80719381842391216\ 7684958631*c_1001_1^9 - 87059336024681479376662974853/8071938184239\ 12167684958631*c_1001_1^8 - 96715716837161479975767875665/807193818\ 423912167684958631*c_1001_1^7 + 83972048781764608360514177299/80719\ 3818423912167684958631*c_1001_1^6 + 31843583145090695693336562817/807193818423912167684958631*c_1001_1^\ 5 - 45597218444946891801360344183/807193818423912167684958631*c_100\ 1_1^4 - 6514390795892884094801013431/1614387636847824335369917262*c\ _1001_1^3 + 28768850681038387715461190603/1614387636847824335369917\ 262*c_1001_1^2 - 96626422557189067787988069/16143876368478243353699\ 17262*c_1001_1 - 4016497223266431423465576323/161438763684782433536\ 9917262, c_0101_10 - 626257836859090301928303871/807193818423912167684958631*c_1\ 001_1^26 + 4825436884493661242324501801/807193818423912167684958631\ *c_1001_1^25 - 16133151645657658229433267399/8071938184239121676849\ 58631*c_1001_1^24 + 20471654266438419318300072593/80719381842391216\ 7684958631*c_1001_1^23 + 10331775443586149472411682908/807193818423\ 912167684958631*c_1001_1^22 - 48731716903811102861486524911/8071938\ 18423912167684958631*c_1001_1^21 - 16938039911855282415615795354/807193818423912167684958631*c_1001_1^\ 20 + 71157018100600770050631072442/807193818423912167684958631*c_10\ 01_1^19 + 95253298837403887886727779821/807193818423912167684958631\ *c_1001_1^18 - 3677292802747217618095509280/15230072045734191843112\ 427*c_1001_1^17 - 114614295009627579463720477665/807193818423912167\ 684958631*c_1001_1^16 + 283454159223483492420637067434/807193818423\ 912167684958631*c_1001_1^15 + 94390387114417925402760807693/8071938\ 18423912167684958631*c_1001_1^14 - 283981784164690091800481322819/807193818423912167684958631*c_1001_1\ ^13 - 165273514110970560256626216606/807193818423912167684958631*c_\ 1001_1^12 + 323286829527482269921997371175/807193818423912167684958\ 631*c_1001_1^11 + 172574084018634288108695962209/807193818423912167\ 684958631*c_1001_1^10 - 387219523094013104373451694709/807193818423\ 912167684958631*c_1001_1^9 - 50680498340174625237287759350/80719381\ 8423912167684958631*c_1001_1^8 + 311813858622707767185512383408/807\ 193818423912167684958631*c_1001_1^7 - 69062998996461180257504010620/807193818423912167684958631*c_1001_1^\ 6 - 142899308202497767270351997728/807193818423912167684958631*c_10\ 01_1^5 + 68750090706315475652726426941/807193818423912167684958631*\ c_1001_1^4 + 31779345638087903924399497289/807193818423912167684958\ 631*c_1001_1^3 - 23461260499749011612408248401/80719381842391216768\ 4958631*c_1001_1^2 - 1867554096244846877132999647/80719381842391216\ 7684958631*c_1001_1 + 1194201925510971946882791275/8071938184239121\ 67684958631, c_0101_11 + c_1001_1, c_0101_6 - 214124150222729625089407451/1614387636847824335369917262*c_1\ 001_1^26 + 1614168824679455739548029507/161438763684782433536991726\ 2*c_1001_1^25 - 5279678575405757862216901513/1614387636847824335369\ 917262*c_1001_1^24 + 6338456331926591808389247101/16143876368478243\ 35369917262*c_1001_1^23 + 4004918508719636125493882071/161438763684\ 7824335369917262*c_1001_1^22 - 7883615863632149205022417433/8071938\ 18423912167684958631*c_1001_1^21 - 3525576650689315369095227683/807193818423912167684958631*c_1001_1^2\ 0 + 11215569256027121146693365530/807193818423912167684958631*c_100\ 1_1^19 + 15091901589193965925599719759/807193818423912167684958631*\ c_1001_1^18 - 537457779157043295363981324/1523007204573419184311242\ 7*c_1001_1^17 - 19177341120684594700197196640/807193818423912167684\ 958631*c_1001_1^16 + 86629916351179308378788913723/1614387636847824\ 335369917262*c_1001_1^15 + 11541933874577171047312469750/8071938184\ 23912167684958631*c_1001_1^14 - 44216411317268356109586993565/80719\ 3818423912167684958631*c_1001_1^13 - 35180986837389539003367617331/1614387636847824335369917262*c_1001_1\ ^12 + 48253265599067568925858845519/807193818423912167684958631*c_1\ 001_1^11 + 37224836421005094592394327273/16143876368478243353699172\ 62*c_1001_1^10 - 63407820690702873319918918437/80719381842391216768\ 4958631*c_1001_1^9 + 1074928669639544487234326902/80719381842391216\ 7684958631*c_1001_1^8 + 54604470125551159287701259753/8071938184239\ 12167684958631*c_1001_1^7 - 22684329894689403156417486837/807193818\ 423912167684958631*c_1001_1^6 - 25824361593312315794807737261/80719\ 3818423912167684958631*c_1001_1^5 + 20106409056716361897443300262/807193818423912167684958631*c_1001_1^\ 4 + 7828127276634436271247125839/1614387636847824335369917262*c_100\ 1_1^3 - 14790060490911345058092502817/1614387636847824335369917262*\ c_1001_1^2 + 278467544902066522642598941/16143876368478243353699172\ 62*c_1001_1 + 1189017893714758417547864271/161438763684782433536991\ 7262, c_0110_2 - 167456693896678956000908005/1614387636847824335369917262*c_1\ 001_1^26 + 1756745079677220624225592761/161438763684782433536991726\ 2*c_1001_1^25 - 7769323033517616853079784309/1614387636847824335369\ 917262*c_1001_1^24 + 16482984507143473651669453775/1614387636847824\ 335369917262*c_1001_1^23 - 9445397503939662455915550839/16143876368\ 47824335369917262*c_1001_1^22 - 11631570164593884410274843348/80719\ 3818423912167684958631*c_1001_1^21 + 13154123106799729591727408198/807193818423912167684958631*c_1001_1^\ 20 + 21027238174615964210928176328/807193818423912167684958631*c_10\ 01_1^19 - 8075380651398561632852047712/807193818423912167684958631*\ c_1001_1^18 - 1336951729691260855181167595/152300720457341918431124\ 27*c_1001_1^17 + 41215325582330286090791060684/80719381842391216768\ 4958631*c_1001_1^16 + 198702445151547065639291505853/16143876368478\ 24335369917262*c_1001_1^15 - 63511842293337336302691381393/80719381\ 8423912167684958631*c_1001_1^14 - 103091832054918968132360808728/80\ 7193818423912167684958631*c_1001_1^13 + 93308629249806002602355548619/1614387636847824335369917262*c_1001_1\ ^12 + 139381422954145031807847847877/807193818423912167684958631*c_\ 1001_1^11 - 107891169854044699663300340487/161438763684782433536991\ 7262*c_1001_1^10 - 147544003860792464625703654022/80719381842391216\ 7684958631*c_1001_1^9 + 87059336024681479376662974853/8071938184239\ 12167684958631*c_1001_1^8 + 96715716837161479975767875665/807193818\ 423912167684958631*c_1001_1^7 - 83972048781764608360514177299/80719\ 3818423912167684958631*c_1001_1^6 - 31843583145090695693336562817/807193818423912167684958631*c_1001_1^\ 5 + 45597218444946891801360344183/807193818423912167684958631*c_100\ 1_1^4 + 6514390795892884094801013431/1614387636847824335369917262*c\ _1001_1^3 - 28768850681038387715461190603/1614387636847824335369917\ 262*c_1001_1^2 + 96626422557189067787988069/16143876368478243353699\ 17262*c_1001_1 + 4016497223266431423465576323/161438763684782433536\ 9917262, c_1001_1^27 - 8*c_1001_1^26 + 28*c_1001_1^25 - 40*c_1001_1^24 - 8*c_1001_1^23 + 85*c_1001_1^22 + 2*c_1001_1^21 - 122*c_1001_1^20 - 118*c_1001_1^19 + 358*c_1001_1^18 + 92*c_1001_1^17 - 517*c_1001_1^16 - 7*c_1001_1^15 + 502*c_1001_1^14 + 121*c_1001_1^13 - 599*c_1001_1^12 - 117*c_1001_1^11 + 711*c_1001_1^10 - 116*c_1001_1^9 - 530*c_1001_1^8 + 276*c_1001_1^7 + 194*c_1001_1^6 - 190*c_1001_1^5 - 13*c_1001_1^4 + 56*c_1001_1^3 - 10*c_1001_1^2 - 4*c_1001_1 + 1, c_1100_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.360 Total time: 0.580 seconds, Total memory usage: 32.09MB