Magma V2.19-8 Wed Aug 21 2013 01:01:19 on localhost [Seed = 1747874713] Type ? for help. Type -D to quit. Loading file "L14a8295__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L14a8295 geometric_solution 11.52952488 oriented_manifold CS_known 0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 1 1 1 0 0 0 0 -1 0 0 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 1 -1 0 17 0 0 -17 0 0 0 0 -17 1 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.112045521271 1.549270174219 0 3 6 5 0132 3120 0132 0132 1 1 1 1 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 -1 1 0 -17 0 17 0 17 0 0 -17 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.338524271747 0.866289208006 3 0 4 7 2031 0132 1302 0132 1 1 1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 17 -16 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.694231179494 0.425988419318 7 1 2 0 1023 3120 1302 0132 1 1 1 1 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 16 0 0 -16 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.304185903721 0.621529383349 2 8 0 8 2031 0132 0132 2310 1 1 1 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -17 0 17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.423153365610 0.765787466740 9 10 1 9 0132 0132 0132 0321 1 1 1 1 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 -17 17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.220763040875 1.112962783713 11 12 11 1 0132 0132 3012 0132 1 1 1 0 0 0 0 0 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 0 1 -1 0 0 17 -17 -1 0 0 1 2 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.220763040875 1.112962783713 12 3 2 9 2310 1023 0132 1023 1 1 1 1 0 0 -1 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 0 0 0 0 0 16 -16 0 0 0 0 16 -16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.556794408894 0.729195293040 4 4 8 8 3201 0132 2031 1302 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.505558817559 0.117744277320 5 5 11 7 0132 0321 3120 1023 1 1 1 1 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -16 16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.828523235672 0.864489165449 11 5 12 12 3201 0132 3201 0213 1 0 1 1 0 0 0 0 0 0 0 0 1 -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 -1 0 0 1 -17 17 0 0 16 0 -16 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.422145555214 0.602938922188 6 6 9 10 0132 1230 3120 2310 1 1 0 1 0 1 0 -1 0 0 -1 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -17 0 17 0 0 16 -16 -2 1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.422145555214 0.602938922188 10 6 7 10 2310 0132 3201 0213 1 1 0 1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 16 0 -16 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.828523235672 0.864489165449 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0101_12']), 'c_1001_12' : negation(d['c_0101_7']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_0101_8']), 'c_1001_7' : d['c_0011_0'], 'c_1001_6' : negation(d['c_0011_11']), 'c_1001_1' : negation(d['c_0101_7']), 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : d['c_0101_7'], 'c_1001_2' : negation(d['c_0101_8']), 'c_1001_9' : negation(d['c_1001_11']), 'c_1001_8' : negation(d['c_0110_8']), 'c_1010_12' : negation(d['c_0011_11']), 'c_1010_11' : negation(d['c_0101_10']), 'c_1010_10' : negation(d['c_0011_3']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_1'], 'c_0101_10' : d['c_0101_10'], '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' : negation(d['1']), 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0101_1']), 'c_1100_8' : d['c_0101_8'], 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : negation(d['c_1001_11']), 'c_1100_4' : negation(d['c_0011_4']), 'c_1100_7' : d['c_0101_1'], 'c_1100_6' : negation(d['c_1001_11']), 'c_1100_1' : negation(d['c_1001_11']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0101_1'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : negation(d['c_0011_11']), 's_0_11' : negation(d['1']), 'c_1010_7' : d['c_0101_0'], 'c_1010_6' : negation(d['c_0101_7']), 'c_1010_5' : negation(d['c_0101_12']), 'c_1010_4' : negation(d['c_0110_8']), 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : negation(d['c_0101_8']), 'c_1010_9' : negation(d['c_0101_12']), 'c_1010_8' : negation(d['c_0101_8']), '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' : negation(d['c_0011_3']), 's_1_7' : 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' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_3'], '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' : negation(d['c_0101_10']), 'c_0110_10' : d['c_0101_10'], 'c_0110_12' : negation(d['c_0101_10']), 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0101_10']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : negation(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_10']), 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_0'], 'c_0110_8' : d['c_0110_8'], '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_0101_7'], 'c_0110_5' : negation(d['c_0011_10']), 'c_0110_4' : negation(d['c_0101_8']), 'c_0110_7' : negation(d['c_0101_12']), 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_7, c_0101_8, c_0110_8, c_1001_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 4426834786090863253338750640950079463/10508307551330909542944891934\ 19891*c_1001_11^25 - 18520760899631423009308424463009965389/1050830\ 755133090954294489193419891*c_1001_11^24 + 46852421867616201789624825566015077099/1050830755133090954294489193\ 419891*c_1001_11^23 - 112255444185949484631413409657590273330/10508\ 30755133090954294489193419891*c_1001_11^22 + 151818218244211808631658523855924156870/105083075513309095429448919\ 3419891*c_1001_11^21 + 261226560618658412211698810142485526734/1050\ 830755133090954294489193419891*c_1001_11^20 - 477380999545687716106873914162076959769/105083075513309095429448919\ 3419891*c_1001_11^19 - 192333771896601828083066134923782803489/1501\ 18679304727279184927027631413*c_1001_11^18 + 3274592072537161070628760720987105884909/10508307551330909542944891\ 93419891*c_1001_11^17 - 570032441975208394579214609648479737960/105\ 0830755133090954294489193419891*c_1001_11^16 - 4104881144947652761044706875046378427515/10508307551330909542944891\ 93419891*c_1001_11^15 + 3162816449536279055932964298539998567533/10\ 50830755133090954294489193419891*c_1001_11^14 + 445451287582047524755665032172468223498/105083075513309095429448919\ 3419891*c_1001_11^13 - 1821232991484602429685032236486939864105/105\ 0830755133090954294489193419891*c_1001_11^12 + 3063911299571654260716490151895379900010/10508307551330909542944891\ 93419891*c_1001_11^11 - 1871934177302624971469735750244826556289/10\ 50830755133090954294489193419891*c_1001_11^10 - 1087051511113591265988487322610846253343/10508307551330909542944891\ 93419891*c_1001_11^9 + 176513896419260572632305879636462002166/1501\ 18679304727279184927027631413*c_1001_11^8 - 318925969016910945537082025264648276898/105083075513309095429448919\ 3419891*c_1001_11^7 + 191801184690430264299151272709204332924/10508\ 30755133090954294489193419891*c_1001_11^6 + 32966074204864043968084921627404850970/1050830755133090954294489193\ 419891*c_1001_11^5 - 207565764135452613246574677593770078109/105083\ 0755133090954294489193419891*c_1001_11^4 + 113720108466396866390570592791820756194/105083075513309095429448919\ 3419891*c_1001_11^3 - 40019622870952824860323841544970866779/105083\ 0755133090954294489193419891*c_1001_11^2 + 20456600701040891413146165115653109444/1050830755133090954294489193\ 419891*c_1001_11 - 5431065431844949485376120068757566560/1050830755\ 133090954294489193419891, c_0011_0 - 1, c_0011_10 - 6529876153646421959832765224636/250615491326756726519076840\ 787*c_1001_11^25 + 27345630533622996407647704722558/250615491326756\ 726519076840787*c_1001_11^24 - 69251590073663601379095396605855/250\ 615491326756726519076840787*c_1001_11^23 + 166038245182947174804298516126405/250615491326756726519076840787*c_\ 1001_11^22 - 225032046208286833416306943951024/25061549132675672651\ 9076840787*c_1001_11^21 - 383478614465133600360880348847247/2506154\ 91326756726519076840787*c_1001_11^20 + 704248534564829331754510554720756/250615491326756726519076840787*c_\ 1001_11^19 + 1981000826018884730087228265536940/2506154913267567265\ 19076840787*c_1001_11^18 - 4830415144387069725089493355376569/25061\ 5491326756726519076840787*c_1001_11^17 + 872113321704499064749355938498742/250615491326756726519076840787*c_\ 1001_11^16 + 6010107190889504898551104687955070/2506154913267567265\ 19076840787*c_1001_11^15 - 4685539482658417463105114290458067/25061\ 5491326756726519076840787*c_1001_11^14 - 571057619702820263673044471312783/250615491326756726519076840787*c_\ 1001_11^13 + 2649537944867465587629964020253042/2506154913267567265\ 19076840787*c_1001_11^12 - 4572168983841036517481348770851757/25061\ 5491326756726519076840787*c_1001_11^11 + 2808550257766402078333891963865886/250615491326756726519076840787*c\ _1001_11^10 + 1573147108462155995910351105454480/250615491326756726\ 519076840787*c_1001_11^9 - 1810930555164395652025958013082930/25061\ 5491326756726519076840787*c_1001_11^8 + 514711712844317695510885584634260/250615491326756726519076840787*c_\ 1001_11^7 - 301748927245317939130484994605687/250615491326756726519\ 076840787*c_1001_11^6 - 58966180983244492741455493390420/2506154913\ 26756726519076840787*c_1001_11^5 + 307582292883066752611599989935864/250615491326756726519076840787*c_\ 1001_11^4 - 169590987325563669977071830587731/250615491326756726519\ 076840787*c_1001_11^3 + 61831572392582260334580078832964/2506154913\ 26756726519076840787*c_1001_11^2 - 30366844647105734384806721521150/250615491326756726519076840787*c_1\ 001_11 + 7882549975513706899302727282719/25061549132675672651907684\ 0787, c_0011_11 + 1, c_0011_3 - 3069556753938431676486016521040/2506154913267567265190768407\ 87*c_1001_11^25 + 13027474984269793859001525707900/2506154913267567\ 26519076840787*c_1001_11^24 - 33153488134716118203403709384926/2506\ 15491326756726519076840787*c_1001_11^23 + 79402947868162648667569778951802/250615491326756726519076840787*c_1\ 001_11^22 - 109033895993633636328552579200885/250615491326756726519\ 076840787*c_1001_11^21 - 177027348101484032821792725022057/25061549\ 1326756726519076840787*c_1001_11^20 + 344440163243518116281279768630323/250615491326756726519076840787*c_\ 1001_11^19 + 921360664042408582269292800859456/25061549132675672651\ 9076840787*c_1001_11^18 - 2334335420963472474682360711061984/250615\ 491326756726519076840787*c_1001_11^17 + 495116909659982338743519999717066/250615491326756726519076840787*c_\ 1001_11^16 + 2882220659227366560081332539688628/2506154913267567265\ 19076840787*c_1001_11^15 - 2346010812756313161389004977824205/25061\ 5491326756726519076840787*c_1001_11^14 - 266317723632913537755979112712413/250615491326756726519076840787*c_\ 1001_11^13 + 1309626623876371035605828974436722/2506154913267567265\ 19076840787*c_1001_11^12 - 2175546802751703686684435034066642/25061\ 5491326756726519076840787*c_1001_11^11 + 1396135430671012939270662054531173/250615491326756726519076840787*c\ _1001_11^10 + 734730048400265057355547008708789/2506154913267567265\ 19076840787*c_1001_11^9 - 915772300731846167512014567685597/2506154\ 91326756726519076840787*c_1001_11^8 + 239678267611288855148255270082997/250615491326756726519076840787*c_\ 1001_11^7 - 134770337106829872732806466056911/250615491326756726519\ 076840787*c_1001_11^6 - 17165348018704612328595523584607/2506154913\ 26756726519076840787*c_1001_11^5 + 149216294822955910874671292734246/250615491326756726519076840787*c_\ 1001_11^4 - 85079535265934646571662201121578/2506154913267567265190\ 76840787*c_1001_11^3 + 29170825873470109181144807184079/25061549132\ 6756726519076840787*c_1001_11^2 - 14698502612354366096611102537793/\ 250615491326756726519076840787*c_1001_11 + 4115153610428793220541988404400/250615491326756726519076840787, c_0011_4 - 2836642005298773895579895356117/2506154913267567265190768407\ 87*c_1001_11^25 + 11834249031051078633221325651363/2506154913267567\ 26519076840787*c_1001_11^24 - 29949901154962489443513802483315/2506\ 15491326756726519076840787*c_1001_11^23 + 71822379688601495027051710389156/250615491326756726519076840787*c_1\ 001_11^22 - 97005170503677580693688500986754/2506154913267567265190\ 76840787*c_1001_11^21 - 167175328759176619898312439747094/250615491\ 326756726519076840787*c_1001_11^20 + 302450348125945961616331558632829/250615491326756726519076840787*c_\ 1001_11^19 + 861262401393758251125212736460191/25061549132675672651\ 9076840787*c_1001_11^18 - 2083290885976407723996953237464652/250615\ 491326756726519076840787*c_1001_11^17 + 364179942376021301511400693332260/250615491326756726519076840787*c_\ 1001_11^16 + 2596694096861688375222457949684058/2506154913267567265\ 19076840787*c_1001_11^15 - 2010415266366033550014803812064862/25061\ 5491326756726519076840787*c_1001_11^14 - 247994986199646912912597063354579/250615491326756726519076840787*c_\ 1001_11^13 + 1147087929276509742187586747918044/2506154913267567265\ 19076840787*c_1001_11^12 - 1972763552056667748408776119678925/25061\ 5491326756726519076840787*c_1001_11^11 + 1198029928439119095293509214642240/250615491326756726519076840787*c\ _1001_11^10 + 675775892182114090965099884616744/2506154913267567265\ 19076840787*c_1001_11^9 - 776254354190224045931329932544592/2506154\ 91326756726519076840787*c_1001_11^8 + 221703431816124858045552668571126/250615491326756726519076840787*c_\ 1001_11^7 - 129968637374009246211276599873673/250615491326756726519\ 076840787*c_1001_11^6 - 24090639141261525946022949929835/2506154913\ 26756726519076840787*c_1001_11^5 + 130536903046049774972472052229910/250615491326756726519076840787*c_\ 1001_11^4 - 73816146065642076038665286378493/2506154913267567265190\ 76840787*c_1001_11^3 + 27964340439393947195326052839458/25061549132\ 6756726519076840787*c_1001_11^2 - 12985525997848721354746234631516/\ 250615491326756726519076840787*c_1001_11 + 3481592842852647997369165778728/250615491326756726519076840787, c_0101_0 + 1223575723124899010121670102241/2506154913267567265190768407\ 87*c_1001_11^25 - 4762598875517003401852026247163/25061549132675672\ 6519076840787*c_1001_11^24 + 11533516224751476700732537279714/25061\ 5491326756726519076840787*c_1001_11^23 - 27564099754300445547298086229634/250615491326756726519076840787*c_1\ 001_11^22 + 33666544525804230461116743076531/2506154913267567265190\ 76840787*c_1001_11^21 + 82655842154247316804443831861417/2506154913\ 26756726519076840787*c_1001_11^20 - 108618807853006307830025092227053/250615491326756726519076840787*c_\ 1001_11^19 - 405541349352223111065874244351384/25061549132675672651\ 9076840787*c_1001_11^18 + 788602063143160702760245372421231/2506154\ 91326756726519076840787*c_1001_11^17 + 80086237584581441093201771356463/250615491326756726519076840787*c_1\ 001_11^16 - 1126586629766302388240892367315138/25061549132675672651\ 9076840787*c_1001_11^15 + 549252888765618422611323281439103/2506154\ 91326756726519076840787*c_1001_11^14 + 301405172643706488204788587315577/250615491326756726519076840787*c_\ 1001_11^13 - 435693074693449876231658538383826/25061549132675672651\ 9076840787*c_1001_11^12 + 724987168574842942108234056512340/2506154\ 91326756726519076840787*c_1001_11^11 - 286688189788609128677306269568336/250615491326756726519076840787*c_\ 1001_11^10 - 405960857404177640543147596597731/25061549132675672651\ 9076840787*c_1001_11^9 + 224561159926759689583165880358791/25061549\ 1326756726519076840787*c_1001_11^8 - 19763417770509651805464992362286/250615491326756726519076840787*c_1\ 001_11^7 + 37416066380858370533182022752837/25061549132675672651907\ 6840787*c_1001_11^6 + 25680323966845233481652207804192/250615491326\ 756726519076840787*c_1001_11^5 - 45328954780384437193492458743185/2\ 50615491326756726519076840787*c_1001_11^4 + 16612839302892918333682500008658/250615491326756726519076840787*c_1\ 001_11^3 - 6353305630981111406149999654741/250615491326756726519076\ 840787*c_1001_11^2 + 3150810278885060496329426231027/25061549132675\ 6726519076840787*c_1001_11 - 596884023912565095357788601877/2506154\ 91326756726519076840787, c_0101_1 - 3069556753938431676486016521040/2506154913267567265190768407\ 87*c_1001_11^25 + 13027474984269793859001525707900/2506154913267567\ 26519076840787*c_1001_11^24 - 33153488134716118203403709384926/2506\ 15491326756726519076840787*c_1001_11^23 + 79402947868162648667569778951802/250615491326756726519076840787*c_1\ 001_11^22 - 109033895993633636328552579200885/250615491326756726519\ 076840787*c_1001_11^21 - 177027348101484032821792725022057/25061549\ 1326756726519076840787*c_1001_11^20 + 344440163243518116281279768630323/250615491326756726519076840787*c_\ 1001_11^19 + 921360664042408582269292800859456/25061549132675672651\ 9076840787*c_1001_11^18 - 2334335420963472474682360711061984/250615\ 491326756726519076840787*c_1001_11^17 + 495116909659982338743519999717066/250615491326756726519076840787*c_\ 1001_11^16 + 2882220659227366560081332539688628/2506154913267567265\ 19076840787*c_1001_11^15 - 2346010812756313161389004977824205/25061\ 5491326756726519076840787*c_1001_11^14 - 266317723632913537755979112712413/250615491326756726519076840787*c_\ 1001_11^13 + 1309626623876371035605828974436722/2506154913267567265\ 19076840787*c_1001_11^12 - 2175546802751703686684435034066642/25061\ 5491326756726519076840787*c_1001_11^11 + 1396135430671012939270662054531173/250615491326756726519076840787*c\ _1001_11^10 + 734730048400265057355547008708789/2506154913267567265\ 19076840787*c_1001_11^9 - 915772300731846167512014567685597/2506154\ 91326756726519076840787*c_1001_11^8 + 239678267611288855148255270082997/250615491326756726519076840787*c_\ 1001_11^7 - 134770337106829872732806466056911/250615491326756726519\ 076840787*c_1001_11^6 - 17165348018704612328595523584607/2506154913\ 26756726519076840787*c_1001_11^5 + 149216294822955910874671292734246/250615491326756726519076840787*c_\ 1001_11^4 - 85079535265934646571662201121578/2506154913267567265190\ 76840787*c_1001_11^3 + 29170825873470109181144807184079/25061549132\ 6756726519076840787*c_1001_11^2 - 14698502612354366096611102537793/\ 250615491326756726519076840787*c_1001_11 + 4115153610428793220541988404400/250615491326756726519076840787, c_0101_10 - 5584778993929288547296393647225/250615491326756726519076840\ 787*c_1001_11^25 + 23113786243324427174689308499582/250615491326756\ 726519076840787*c_1001_11^24 - 58122490861054979398953169053009/250\ 615491326756726519076840787*c_1001_11^23 + 139215873574346996515423281796913/250615491326756726519076840787*c_\ 1001_11^22 - 185740577315781764114729718297365/25061549132675672651\ 9076840787*c_1001_11^21 - 336783288663781862348733161980337/2506154\ 91326756726519076840787*c_1001_11^20 + 585788948134723733920369748386081/250615491326756726519076840787*c_\ 1001_11^19 + 1720581140061992030569322814359065/2506154913267567265\ 19076840787*c_1001_11^18 - 4048640974534141861405447211606851/25061\ 5491326756726519076840787*c_1001_11^17 + 558740898240271996192764186889589/250615491326756726519076840787*c_\ 1001_11^16 + 5168755527562682307537519082054111/2506154913267567265\ 19076840787*c_1001_11^15 - 3776685492018118185012655737914543/25061\ 5491326756726519076840787*c_1001_11^14 - 673480272836210967222684543184194/250615491326756726519076840787*c_\ 1001_11^13 + 2266873636647345836352502845925305/2506154913267567265\ 19076840787*c_1001_11^12 - 3797515736050507282435565123965734/25061\ 5491326756726519076840787*c_1001_11^11 + 2191950348720018900481211693966683/250615491326756726519076840787*c\ _1001_11^10 + 1448729774968740625212360212063753/250615491326756726\ 519076840787*c_1001_11^9 - 1482750727414117390600892920488827/25061\ 5491326756726519076840787*c_1001_11^8 + 366018245699565493768242807151845/250615491326756726519076840787*c_\ 1001_11^7 - 220922548080970075438280524601201/250615491326756726519\ 076840787*c_1001_11^6 - 59637202740146018264566559718722/2506154913\ 26756726519076840787*c_1001_11^5 + 250692435257850159617358063273369/250615491326756726519076840787*c_\ 1001_11^4 - 133152374783120367145953526031204/250615491326756726519\ 076840787*c_1001_11^3 + 46896486607351829855432746215440/2506154913\ 26756726519076840787*c_1001_11^2 - 23237637974613333166784584110339/250615491326756726519076840787*c_1\ 001_11 + 6134645753573426528464771024173/25061549132675672651907684\ 0787, c_0101_12 - c_1001_11, c_0101_7 - 1223575723124899010121670102241/2506154913267567265190768407\ 87*c_1001_11^25 + 4762598875517003401852026247163/25061549132675672\ 6519076840787*c_1001_11^24 - 11533516224751476700732537279714/25061\ 5491326756726519076840787*c_1001_11^23 + 27564099754300445547298086229634/250615491326756726519076840787*c_1\ 001_11^22 - 33666544525804230461116743076531/2506154913267567265190\ 76840787*c_1001_11^21 - 82655842154247316804443831861417/2506154913\ 26756726519076840787*c_1001_11^20 + 108618807853006307830025092227053/250615491326756726519076840787*c_\ 1001_11^19 + 405541349352223111065874244351384/25061549132675672651\ 9076840787*c_1001_11^18 - 788602063143160702760245372421231/2506154\ 91326756726519076840787*c_1001_11^17 - 80086237584581441093201771356463/250615491326756726519076840787*c_1\ 001_11^16 + 1126586629766302388240892367315138/25061549132675672651\ 9076840787*c_1001_11^15 - 549252888765618422611323281439103/2506154\ 91326756726519076840787*c_1001_11^14 - 301405172643706488204788587315577/250615491326756726519076840787*c_\ 1001_11^13 + 435693074693449876231658538383826/25061549132675672651\ 9076840787*c_1001_11^12 - 724987168574842942108234056512340/2506154\ 91326756726519076840787*c_1001_11^11 + 286688189788609128677306269568336/250615491326756726519076840787*c_\ 1001_11^10 + 405960857404177640543147596597731/25061549132675672651\ 9076840787*c_1001_11^9 - 224561159926759689583165880358791/25061549\ 1326756726519076840787*c_1001_11^8 + 19763417770509651805464992362286/250615491326756726519076840787*c_1\ 001_11^7 - 37416066380858370533182022752837/25061549132675672651907\ 6840787*c_1001_11^6 - 25680323966845233481652207804192/250615491326\ 756726519076840787*c_1001_11^5 + 45328954780384437193492458743185/2\ 50615491326756726519076840787*c_1001_11^4 - 16612839302892918333682500008658/250615491326756726519076840787*c_1\ 001_11^3 + 6353305630981111406149999654741/250615491326756726519076\ 840787*c_1001_11^2 - 3150810278885060496329426231027/25061549132675\ 6726519076840787*c_1001_11 + 596884023912565095357788601877/2506154\ 91326756726519076840787, c_0101_8 + 3223386276684052945222627155901/2506154913267567265190768407\ 87*c_1001_11^25 - 12829923371075394530823075767774/2506154913267567\ 26519076840787*c_1001_11^24 + 31782709110849999420419034372409/2506\ 15491326756726519076840787*c_1001_11^23 - 76360220808716741522253462430124/250615491326756726519076840787*c_1\ 001_11^22 + 97609607162731352153595260987320/2506154913267567265190\ 76840787*c_1001_11^21 + 203904125738462464874009394004521/250615491\ 326756726519076840787*c_1001_11^20 - 298672777284360282051955002075195/250615491326756726519076840787*c_\ 1001_11^19 - 1021630150318198228078481855189861/2506154913267567265\ 19076840787*c_1001_11^18 + 2150422690515650270745209649100118/25061\ 5491326756726519076840787*c_1001_11^17 - 72418741529784772461157571851163/250615491326756726519076840787*c_1\ 001_11^16 - 2819611328250358081259122153073342/25061549132675672651\ 9076840787*c_1001_11^15 + 1758882945730327456268866774271810/250615\ 491326756726519076840787*c_1001_11^14 + 403469039331167140260272687321605/250615491326756726519076840787*c_\ 1001_11^13 - 1123660119494797251236505741551496/2506154913267567265\ 19076840787*c_1001_11^12 + 2102815887337465699566357830766021/25061\ 5491326756726519076840787*c_1001_11^11 - 1043397599223454849862065008480810/250615491326756726519076840787*c\ _1001_11^10 - 845771677805126607410414887868651/2506154913267567265\ 19076840787*c_1001_11^9 + 670061123085895551685759846298960/2506154\ 91326756726519076840787*c_1001_11^8 - 211991307961404418119960296043286/250615491326756726519076840787*c_\ 1001_11^7 + 150583346312358830641082527330982/250615491326756726519\ 076840787*c_1001_11^6 + 62281895756706260192334890634096/2506154913\ 26756726519076840787*c_1001_11^5 - 132602595114896915517674750514864/250615491326756726519076840787*c_\ 1001_11^4 + 63720818911061042181121064024613/2506154913267567265190\ 76840787*c_1001_11^3 - 27297744284091343008546318772774/25061549132\ 6756726519076840787*c_1001_11^2 + 11773174045352512633816021333771/\ 250615491326756726519076840787*c_1001_11 - 2400682747775820849596616118491/250615491326756726519076840787, c_0110_8 - 1070389229761553244418694121825/2506154913267567265190768407\ 87*c_1001_11^25 + 5220549072250512366552462498638/25061549132675672\ 6519076840787*c_1001_11^24 - 13895983719180353561676048116571/25061\ 5491326756726519076840787*c_1001_11^23 + 33031392325990975315445088937045/250615491326756726519076840787*c_1\ 001_11^22 - 50911450914957635385987409812105/2506154913267567265190\ 76840787*c_1001_11^21 - 48767810791483419936084635481321/2506154913\ 26756726519076840787*c_1001_11^20 + 171482157154666800833328458165257/250615491326756726519076840787*c_\ 1001_11^19 + 284614771683736765805518731926933/25061549132675672651\ 9076840787*c_1001_11^18 - 1056056718794726594354059580166820/250615\ 491326756726519076840787*c_1001_11^17 + 500513518136976769697152198245486/250615491326756726519076840787*c_\ 1001_11^16 + 1200180490974806366524466949189932/2506154913267567265\ 19076840787*c_1001_11^15 - 1350543950592872366781897180831930/25061\ 5491326756726519076840787*c_1001_11^14 - 47277573392122865417309052084699/250615491326756726519076840787*c_1\ 001_11^13 + 652846561234498427504225005474504/250615491326756726519\ 076840787*c_1001_11^12 - 886818500108142293370013547303018/25061549\ 1326756726519076840787*c_1001_11^11 + 807465870493203759790574014475992/250615491326756726519076840787*c_\ 1001_11^10 + 234010560843301450927134620107381/25061549132675672651\ 9076840787*c_1001_11^9 - 544288733773342120601135194401106/25061549\ 1326756726519076840787*c_1001_11^8 + 93354621317178238489205881890506/250615491326756726519076840787*c_1\ 001_11^7 - 38571968012778720006710440810094/25061549132675672651907\ 6840787*c_1001_11^6 + 27601470341784684769919457653501/250615491326\ 756726519076840787*c_1001_11^5 + 72506079653532390114311720871404/2\ 50615491326756726519076840787*c_1001_11^4 - 46025794978506549457108401245325/250615491326756726519076840787*c_1\ 001_11^3 + 10904419155286409944639940599603/25061549132675672651907\ 6840787*c_1001_11^2 - 8263179332135147381343035447465/2506154913267\ 56726519076840787*c_1001_11 + 2772060157239251376816628271046/25061\ 5491326756726519076840787, c_1001_11^26 - 5*c_1001_11^25 + 14*c_1001_11^24 - 34*c_1001_11^23 + 55*c_1001_11^22 + 31*c_1001_11^21 - 156*c_1001_11^20 - 216*c_1001_11^19 + 988*c_1001_11^18 - 733*c_1001_11^17 - 822*c_1001_11^16 + 1472*c_1001_11^15 - 483*c_1001_11^14 - 494*c_1001_11^13 + 1028*c_1001_11^12 - 988*c_1001_11^11 + 100*c_1001_11^10 + 480*c_1001_11^9 - 300*c_1001_11^8 + 102*c_1001_11^7 - 28*c_1001_11^6 - 53*c_1001_11^5 + 64*c_1001_11^4 - 30*c_1001_11^3 + 12*c_1001_11^2 - 5*c_1001_11 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.140 Total time: 0.340 seconds, Total memory usage: 32.09MB