Magma V2.19-8 Wed Aug 21 2013 01:01:03 on localhost [Seed = 3296911139] Type ? for help. Type -D to quit. Loading file "L14a16634__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L14a16634 geometric_solution 11.04202944 oriented_manifold CS_known 0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 3012 1 1 1 1 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 1 -1 0 1 0 0 -1 0 0 0 0 -11 1 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.995106252428 0.981130187241 0 3 5 4 0132 3120 0132 0132 1 1 1 1 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 -1 0 -10 11 11 0 0 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.507406625972 1.028818845448 3 0 0 6 2031 0132 1230 0132 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 -1 1 0 1 0 0 -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.490434608014 0.502408649560 6 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 0 -1 1 0 0 0 0 10 0 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.011888346415 0.492797178219 7 8 1 8 0132 0132 0132 1230 1 1 0 1 0 0 0 0 0 0 1 -1 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -11 11 -1 4 0 -3 0 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.065695205156 1.194995579430 9 10 11 1 0132 0132 0132 0132 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 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.060081965985 0.716955672494 11 3 2 7 0213 1023 0132 1023 1 1 1 1 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 1 -1 10 -10 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.378592841902 0.790720036112 4 9 9 6 0132 2310 3120 1023 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 -1 0 1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.954134039200 0.834301685677 4 4 9 11 3012 0132 2310 3012 1 1 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 -11 11 0 0 3 -4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.406053544087 0.519351064957 5 8 7 7 0132 3201 3120 3201 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.406053544087 0.519351064957 12 5 11 12 0132 0132 3012 1023 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 1.519754832321 0.960142912461 6 10 8 5 0213 1230 1230 0132 1 1 1 1 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -10 0 0 10 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.672584834058 0.513037833684 10 12 12 10 0132 1230 3012 1023 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 1.754008740900 0.197025040168 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0101_5']), 'c_1001_11' : negation(d['c_0011_10']), 'c_1001_10' : negation(d['c_0011_11']), 'c_1001_12' : d['c_0011_10'], 'c_1001_5' : d['c_0101_10'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_7' : d['c_0101_8'], 'c_1001_6' : d['c_0011_0'], 'c_1001_1' : negation(d['c_0011_11']), 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : d['c_0011_11'], 'c_1001_2' : negation(d['c_0101_2']), 'c_1001_9' : negation(d['c_0101_8']), 'c_1001_8' : d['c_0101_8'], 'c_1010_12' : d['c_0101_12'], 'c_1010_11' : d['c_0101_10'], 'c_1010_10' : d['c_0101_10'], '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_0011_3'], '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' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : negation(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' : 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' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : d['c_0110_8'], 'c_1100_4' : d['c_0110_8'], 'c_1100_7' : negation(d['c_0101_1']), 'c_1100_6' : d['c_0101_1'], 'c_1100_1' : d['c_0110_8'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_0101_1'], 's_3_11' : negation(d['1']), 'c_1100_9' : d['c_0011_4'], 'c_1100_11' : d['c_0110_8'], 'c_1100_10' : d['c_0011_10'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : negation(d['c_0011_11']), 'c_1010_4' : d['c_0101_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_2']), 'c_1010_9' : negation(d['c_0101_8']), 'c_1010_8' : negation(d['c_0011_3']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_10']), 's_1_7' : 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' : 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' : negation(d['c_0011_4']), 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_5'], 'c_0110_10' : d['c_0101_12'], 'c_0110_12' : d['c_0101_10'], 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0011_11'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0101_2'], '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_0101_8'], 's_1_12' : d['1'], 's_1_11' : negation(d['1']), 's_1_10' : negation(d['1']), 'c_0110_9' : d['c_0101_5'], '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_0011_11'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_4']), 'c_0110_7' : d['c_0101_0'], 'c_0011_10' : d['c_0011_10']})} 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_2, c_0101_5, c_0101_8, c_0110_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 12183741004807887953514649181308919015562114375926/3533981118657757\ 538383883914094538371200447153125*c_0110_8^22 + 37919176542896125328236155644539555504421035382624/1177993706219252\ 512794627971364846123733482384375*c_0110_8^21 + 180156071117125499398664970663355104439971206024014/117799370621925\ 2512794627971364846123733482384375*c_0110_8^20 + 47765706333266416553693367692733586626324757104166/8619466143067701\ 3131314241807183862712206028125*c_0110_8^19 + 1832086611241312615963041640846923740341751826772763/11779937062192\ 52512794627971364846123733482384375*c_0110_8^18 + 113159496269388956477403252287964900918886432989076/436293965266389\ 81955356591532031337916054903125*c_0110_8^17 + 6245535274673992074861099349705747377105209717220212/35339811186577\ 57538383883914094538371200447153125*c_0110_8^16 + 102486690549212710581484102781479882100872583277872/117799370621925\ 2512794627971364846123733482384375*c_0110_8^15 + 16905755574589839779123971744807682780386008919875293/3533981118657\ 757538383883914094538371200447153125*c_0110_8^14 + 96130687767967061209431178060554781151414242472357801/3533981118657\ 757538383883914094538371200447153125*c_0110_8^13 + 262937337120466588493419901830251686794153719400935782/353398111865\ 7757538383883914094538371200447153125*c_0110_8^12 + 155365628880149023647098887571010715631819721373746772/117799370621\ 9252512794627971364846123733482384375*c_0110_8^11 + 195285320398270815285360953398830358772775564815471911/117799370621\ 9252512794627971364846123733482384375*c_0110_8^10 + 555267694452933199610177407148438613997658923056222521/353398111865\ 7757538383883914094538371200447153125*c_0110_8^9 + 456197140835049764484488177129703481527800379047578199/353398111865\ 7757538383883914094538371200447153125*c_0110_8^8 + 386683293551045032401676661309058190309719724434193498/353398111865\ 7757538383883914094538371200447153125*c_0110_8^7 + 5664523771768431785478486107958725083588220782430729/61999668748381\ 711199717261650781374933341178125*c_0110_8^6 + 27933837691927865181333640472194468374954239469192833/3926645687397\ 50837598209323788282041244494128125*c_0110_8^5 + 37535692548640861630283663598979415747899338069428038/7067962237315\ 51507676776782818907674240089430625*c_0110_8^4 + 8091472084304885275891966527440730736903440074948129/23559874124385\ 0502558925594272969224746696476875*c_0110_8^3 + 56807354055985415508419532000411856829814455058417521/3533981118657\ 757538383883914094538371200447153125*c_0110_8^2 + 16245093090251158727837542685936974778056196146636558/3533981118657\ 757538383883914094538371200447153125*c_0110_8 + 141620408230464778981929659939871115381960558924517/235598741243850\ 502558925594272969224746696476875, c_0011_0 - 1, c_0011_10 + 98744797077279057503522088633386515116636/11350737307743474\ 9802553734067073399456403*c_0110_8^22 + 6664466930433528203184689296180647516450295/10215663576969127482229\ 83606603660595107627*c_0110_8^21 + 8958614525045067297188485328635541213051122/34052211923230424940766\ 1202201220198369209*c_0110_8^20 + 304634102084907184984735855406609\ 03770741528/340522119232304249407661202201220198369209*c_0110_8^19 + 225215097486653305786591353631258244425563142/102156635769691274822\ 2983606603660595107627*c_0110_8^18 + 25458673869592558343139900235497696756212074/1135073730774347498025\ 53734067073399456403*c_0110_8^17 - 2641779083729782609236752180340446859712801/11350737307743474980255\ 3734067073399456403*c_0110_8^16 + 316916093325112151989075412624850\ 44824847119/1021566357696912748222983606603660595107627*c_0110_8^15 + 407645008397040124887398557279028776445429413/3405221192323042494\ 07661202201220198369209*c_0110_8^14 + 4741169411035097482221289182001489451975647285/10215663576969127482\ 22983606603660595107627*c_0110_8^13 + 10058263432762426014179840147922822125903314354/1021566357696912748\ 222983606603660595107627*c_0110_8^12 + 14162584308981004672754337160139329312026796330/1021566357696912748\ 222983606603660595107627*c_0110_8^11 + 1582199995000434791737260452764348431804674827/11350737307743474980\ 2553734067073399456403*c_0110_8^10 + 1272994629098790644984863965860435847225523692/11350737307743474980\ 2553734067073399456403*c_0110_8^9 + 9981098098858851730018604146814746605479237425/10215663576969127482\ 22983606603660595107627*c_0110_8^8 + 8425281213408811662916804658302896291311909473/10215663576969127482\ 22983606603660595107627*c_0110_8^7 + 344149404526324000786900547418000279826440800/537666504051006709591\ 04400347561083953033*c_0110_8^6 + 170176271051597169142111605758006\ 2948762228445/340522119232304249407661202201220198369209*c_0110_8^5 + 388353755495873456143759961613841202967916040/1135073730774347498\ 02553734067073399456403*c_0110_8^4 + 1747423215415091142754941616697124653473713709/10215663576969127482\ 22983606603660595107627*c_0110_8^3 + 188820453781467867099776142728674387129103888/340522119232304249407\ 661202201220198369209*c_0110_8^2 + 101488124777138540403048736322493298895088763/102156635769691274822\ 2983606603660595107627*c_0110_8 + 793488702156577561009049805774905\ 3706364214/1021566357696912748222983606603660595107627, c_0011_11 - 139938429009464582797753473602289802/6064115516994820449273\ 29491059148203*c_0110_8^22 - 369722261434256491380164073875490580/2\ 02137183899827348309109830353049401*c_0110_8^21 - 1549367758432743796269778903449672176/20213718389982734830910983035\ 3049401*c_0110_8^20 - 15975916314793419098161764908212292335/606411\ 551699482044927329491059148203*c_0110_8^19 - 13588973350014998468851088472966318265/2021371838998273483091098303\ 53049401*c_0110_8^18 - 5379324421943313665875872564158903578/673790\ 61299942449436369943451016467*c_0110_8^17 - 5161376405921183148137220140503661044/60641155169948204492732949105\ 9148203*c_0110_8^16 + 373448968745478588004178878133991725/20213718\ 3899827348309109830353049401*c_0110_8^15 - 198254264670430593319966198289336928367/606411551699482044927329491\ 059148203*c_0110_8^14 - 825674358458175339561964052020639276693/606\ 411551699482044927329491059148203*c_0110_8^13 - 1860176389588910156893690283542096332256/60641155169948204492732949\ 1059148203*c_0110_8^12 - 919967108179048749614903259832979756867/20\ 2137183899827348309109830353049401*c_0110_8^11 - 972106552135936391716040561303107250972/202137183899827348309109830\ 353049401*c_0110_8^10 - 2412324206657959056014877357393295665394/60\ 6411551699482044927329491059148203*c_0110_8^9 - 2032336226056376088265754473671206573353/60641155169948204492732949\ 1059148203*c_0110_8^8 - 1766223489953186843184469347243385456874/60\ 6411551699482044927329491059148203*c_0110_8^7 - 24070035636765921257408112473192415646/1063879915262249201626893843\ 9634179*c_0110_8^6 - 118927885732688509782124644301354145701/673790\ 61299942449436369943451016467*c_0110_8^5 - 761068693113283361643953761872856755700/606411551699482044927329491\ 059148203*c_0110_8^4 - 134609260834237396484627333909892003608/2021\ 37183899827348309109830353049401*c_0110_8^3 - 143196922610736282790966963728285121336/606411551699482044927329491\ 059148203*c_0110_8^2 - 29115282095044132932586849004259125288/60641\ 1551699482044927329491059148203*c_0110_8 - 789815358285560030556304469583925097/202137183899827348309109830353\ 049401, c_0011_3 - 32423645345252109778184060365977772266998/102156635769691274\ 8222983606603660595107627*c_0110_8^22 - 227400858185560283983272256684430595524287/102156635769691274822298\ 3606603660595107627*c_0110_8^21 - 293747523174478441958814390089609\ 613776345/340522119232304249407661202201220198369209*c_0110_8^20 - 2996802201203026385818658742570176686587620/10215663576969127482229\ 83606603660595107627*c_0110_8^19 - 7143965454414488741957849773079470234732633/10215663576969127482229\ 83606603660595107627*c_0110_8^18 - 689007135495901976535489887323229347746550/113507373077434749802553\ 734067073399456403*c_0110_8^17 + 5108277942282823783355621355648314\ 88301783/1021566357696912748222983606603660595107627*c_0110_8^16 - 5473190974314740618748426494977593645122812/10215663576969127482229\ 83606603660595107627*c_0110_8^15 - 42144839335802549953078910322335684909510351/1021566357696912748222\ 983606603660595107627*c_0110_8^14 - 16868816661450374550669051478783258939704296/1135073730774347498025\ 53734067073399456403*c_0110_8^13 - 34401441359384332406263821761979996703749959/1135073730774347498025\ 53734067073399456403*c_0110_8^12 - 434808568133211010230884108874930903699199042/102156635769691274822\ 2983606603660595107627*c_0110_8^11 - 154288208066606474804184529785120550322800879/340522119232304249407\ 661202201220198369209*c_0110_8^10 - 419719634024132537647919820487085078736035006/102156635769691274822\ 2983606603660595107627*c_0110_8^9 - 43727163689108784994890422034745518948110227/1135073730774347498025\ 53734067073399456403*c_0110_8^8 - 302043349550297148870206357388483\ 712786724636/1021566357696912748222983606603660595107627*c_0110_8^7 - 13002346997931245022917141442753386978750945/53766650405100670959\ 104400347561083953033*c_0110_8^6 - 68875521885734929569271268335822832699603237/3405221192323042494076\ 61202201220198369209*c_0110_8^5 - 131886977563215267890961889575726\ 590302032863/1021566357696912748222983606603660595107627*c_0110_8^4 - 79665799415833852635995485319537417562593455/10215663576969127482\ 22983606603660595107627*c_0110_8^3 - 39413818693988251830776353691543020281599339/1021566357696912748222\ 983606603660595107627*c_0110_8^2 - 13146036075635342153521861264455922700161499/1021566357696912748222\ 983606603660595107627*c_0110_8 - 2160737805920178839346344703819523\ 882919132/1021566357696912748222983606603660595107627, c_0011_4 - 1, c_0101_0 - 139938429009464582797753473602289802/60641155169948204492732\ 9491059148203*c_0110_8^22 - 369722261434256491380164073875490580/20\ 2137183899827348309109830353049401*c_0110_8^21 - 1549367758432743796269778903449672176/20213718389982734830910983035\ 3049401*c_0110_8^20 - 15975916314793419098161764908212292335/606411\ 551699482044927329491059148203*c_0110_8^19 - 13588973350014998468851088472966318265/2021371838998273483091098303\ 53049401*c_0110_8^18 - 5379324421943313665875872564158903578/673790\ 61299942449436369943451016467*c_0110_8^17 - 5161376405921183148137220140503661044/60641155169948204492732949105\ 9148203*c_0110_8^16 + 373448968745478588004178878133991725/20213718\ 3899827348309109830353049401*c_0110_8^15 - 198254264670430593319966198289336928367/606411551699482044927329491\ 059148203*c_0110_8^14 - 825674358458175339561964052020639276693/606\ 411551699482044927329491059148203*c_0110_8^13 - 1860176389588910156893690283542096332256/60641155169948204492732949\ 1059148203*c_0110_8^12 - 919967108179048749614903259832979756867/20\ 2137183899827348309109830353049401*c_0110_8^11 - 972106552135936391716040561303107250972/202137183899827348309109830\ 353049401*c_0110_8^10 - 2412324206657959056014877357393295665394/60\ 6411551699482044927329491059148203*c_0110_8^9 - 2032336226056376088265754473671206573353/60641155169948204492732949\ 1059148203*c_0110_8^8 - 1766223489953186843184469347243385456874/60\ 6411551699482044927329491059148203*c_0110_8^7 - 24070035636765921257408112473192415646/1063879915262249201626893843\ 9634179*c_0110_8^6 - 118927885732688509782124644301354145701/673790\ 61299942449436369943451016467*c_0110_8^5 - 761068693113283361643953761872856755700/606411551699482044927329491\ 059148203*c_0110_8^4 - 134609260834237396484627333909892003608/2021\ 37183899827348309109830353049401*c_0110_8^3 - 143196922610736282790966963728285121336/606411551699482044927329491\ 059148203*c_0110_8^2 - 29115282095044132932586849004259125288/60641\ 1551699482044927329491059148203*c_0110_8 - 789815358285560030556304469583925097/202137183899827348309109830353\ 049401, c_0101_1 + 32423645345252109778184060365977772266998/102156635769691274\ 8222983606603660595107627*c_0110_8^22 + 227400858185560283983272256684430595524287/102156635769691274822298\ 3606603660595107627*c_0110_8^21 + 293747523174478441958814390089609\ 613776345/340522119232304249407661202201220198369209*c_0110_8^20 + 2996802201203026385818658742570176686587620/10215663576969127482229\ 83606603660595107627*c_0110_8^19 + 7143965454414488741957849773079470234732633/10215663576969127482229\ 83606603660595107627*c_0110_8^18 + 689007135495901976535489887323229347746550/113507373077434749802553\ 734067073399456403*c_0110_8^17 - 5108277942282823783355621355648314\ 88301783/1021566357696912748222983606603660595107627*c_0110_8^16 + 5473190974314740618748426494977593645122812/10215663576969127482229\ 83606603660595107627*c_0110_8^15 + 42144839335802549953078910322335684909510351/1021566357696912748222\ 983606603660595107627*c_0110_8^14 + 16868816661450374550669051478783258939704296/1135073730774347498025\ 53734067073399456403*c_0110_8^13 + 34401441359384332406263821761979996703749959/1135073730774347498025\ 53734067073399456403*c_0110_8^12 + 434808568133211010230884108874930903699199042/102156635769691274822\ 2983606603660595107627*c_0110_8^11 + 154288208066606474804184529785120550322800879/340522119232304249407\ 661202201220198369209*c_0110_8^10 + 419719634024132537647919820487085078736035006/102156635769691274822\ 2983606603660595107627*c_0110_8^9 + 43727163689108784994890422034745518948110227/1135073730774347498025\ 53734067073399456403*c_0110_8^8 + 302043349550297148870206357388483\ 712786724636/1021566357696912748222983606603660595107627*c_0110_8^7 + 13002346997931245022917141442753386978750945/53766650405100670959\ 104400347561083953033*c_0110_8^6 + 68875521885734929569271268335822832699603237/3405221192323042494076\ 61202201220198369209*c_0110_8^5 + 131886977563215267890961889575726\ 590302032863/1021566357696912748222983606603660595107627*c_0110_8^4 + 79665799415833852635995485319537417562593455/10215663576969127482\ 22983606603660595107627*c_0110_8^3 + 39413818693988251830776353691543020281599339/1021566357696912748222\ 983606603660595107627*c_0110_8^2 + 13146036075635342153521861264455922700161499/1021566357696912748222\ 983606603660595107627*c_0110_8 + 2160737805920178839346344703819523\ 882919132/1021566357696912748222983606603660595107627, c_0101_10 + 69274237784399985967625116254514607306477/11350737307743474\ 9802553734067073399456403*c_0110_8^22 + 511017896556657383525297163139777650702881/113507373077434749802553\ 734067073399456403*c_0110_8^21 + 6103879632267722022033915463146303\ 860988902/340522119232304249407661202201220198369209*c_0110_8^20 + 6890023463534327832766063483321457404986615/11350737307743474980255\ 3734067073399456403*c_0110_8^19 + 503089245176909769574551294987516\ 30766357423/340522119232304249407661202201220198369209*c_0110_8^18 + 15999517582265004144266506755578215832055595/1135073730774347498025\ 53734067073399456403*c_0110_8^17 - 3369935024675172305843278574112019011024396/11350737307743474980255\ 3734067073399456403*c_0110_8^16 + 318399199064979683937202747862416\ 0590829467/113507373077434749802553734067073399456403*c_0110_8^15 + 284082749881965284251070422169925472912832822/340522119232304249407\ 661202201220198369209*c_0110_8^14 + 358219787334398977004205625120129612914586796/113507373077434749802\ 553734067073399456403*c_0110_8^13 + 743112275458460538026440874608183783238919501/113507373077434749802\ 553734067073399456403*c_0110_8^12 + 1022982079438702940683632209175646874789015131/11350737307743474980\ 2553734067073399456403*c_0110_8^11 + 1003639623888483119247692261835129695839568357/11350737307743474980\ 2553734067073399456403*c_0110_8^10 + 2381555758777346370935578728530138874231027196/34052211923230424940\ 7661202201220198369209*c_0110_8^9 + 2105767528884322973901685518924834904289516332/34052211923230424940\ 7661202201220198369209*c_0110_8^8 + 1760519817284181629277832419666225856107464963/34052211923230424940\ 7661202201220198369209*c_0110_8^7 + 71605340884907584632898165973627055393484072/1792221680170022365303\ 4800115853694651011*c_0110_8^6 + 1062922469541803961519778622861234\ 773568860477/340522119232304249407661202201220198369209*c_0110_8^5 + 713949505836472248927582598043573659793784593/340522119232304249407\ 661202201220198369209*c_0110_8^4 + 343423191544732192827843373242035546530085464/340522119232304249407\ 661202201220198369209*c_0110_8^3 + 103669290757522368150774729979291557425777119/340522119232304249407\ 661202201220198369209*c_0110_8^2 + 16325991702411885717573503900105942809581181/3405221192323042494076\ 61202201220198369209*c_0110_8 + 11131459394373670877639965179070198\ 59952625/340522119232304249407661202201220198369209, c_0101_12 + 107524072977045022438864326057503938376185/1021566357696912\ 748222983606603660595107627*c_0110_8^22 + 903278711768216710792791849576673147121230/102156635769691274822298\ 3606603660595107627*c_0110_8^21 + 434756946011737629712424747109579\ 250323945/113507373077434749802553734067073399456403*c_0110_8^20 + 13535888199746558265067533597411955475784061/1021566357696912748222\ 983606603660595107627*c_0110_8^19 + 35504897274216212919236013374099657289776011/1021566357696912748222\ 983606603660595107627*c_0110_8^18 + 5173700582880400668229690261552370289353599/11350737307743474980255\ 3734067073399456403*c_0110_8^17 + 891986228551659471440604977439006\ 6835689850/1021566357696912748222983606603660595107627*c_0110_8^16 - 7741705381225393936233418405277082847215704/10215663576969127482229\ 83606603660595107627*c_0110_8^15 + 158308437607687133228996953278235094583326119/102156635769691274822\ 2983606603660595107627*c_0110_8^14 + 700075902425797807187310348496582594430548718/102156635769691274822\ 2983606603660595107627*c_0110_8^13 + 1648026709644072834224125273781826148354637768/10215663576969127482\ 22983606603660595107627*c_0110_8^12 + 2512648276535268232336364403016619435998318072/10215663576969127482\ 22983606603660595107627*c_0110_8^11 + 901544345172717243180529738612602917504018686/340522119232304249407\ 661202201220198369209*c_0110_8^10 + 2229038863975538539309986892872691267340686903/10215663576969127482\ 22983606603660595107627*c_0110_8^9 + 1823049378567910106985535260877126908930267419/10215663576969127482\ 22983606603660595107627*c_0110_8^8 + 542682791923079911432760712685014565439101838/340522119232304249407\ 661202201220198369209*c_0110_8^7 + 65648158124392852862045760097115436106504163/5376665040510067095910\ 4400347561083953033*c_0110_8^6 + 1090921206018174276537436141932075\ 62637673128/113507373077434749802553734067073399456403*c_0110_8^5 + 702092877057791257154219052720015635225028412/102156635769691274822\ 2983606603660595107627*c_0110_8^4 + 376658003098865162045838597972839198072937907/102156635769691274822\ 2983606603660595107627*c_0110_8^3 + 124298855230950413035476184732976881744156633/102156635769691274822\ 2983606603660595107627*c_0110_8^2 + 7217524058967207566341059427108827560400139/34052211923230424940766\ 1202201220198369209*c_0110_8 + 913679192881751229945115717679112966\ 510914/1021566357696912748222983606603660595107627, c_0101_2 + 377987788352942587174014508921670030015879/10215663576969127\ 48222983606603660595107627*c_0110_8^22 + 2940294936386785119165596218803362682275189/10215663576969127482229\ 83606603660595107627*c_0110_8^21 + 4068189041502963768609252394009281383939969/34052211923230424940766\ 1202201220198369209*c_0110_8^20 + 419131697487373490832909795585544\ 90967839037/1021566357696912748222983606603660595107627*c_0110_8^19 + 106013881980925271558690072995386616761468983/1021566357696912748\ 222983606603660595107627*c_0110_8^18 + 13559380193868905404912312089395131046150569/1135073730774347498025\ 53734067073399456403*c_0110_8^17 + 11506925080523732727123687066735886222528463/1021566357696912748222\ 983606603660595107627*c_0110_8^16 + 4081194213714389836977762103710284724658703/10215663576969127482229\ 83606603660595107627*c_0110_8^15 + 524094862967082843816013146010348349838582977/102156635769691274822\ 2983606603660595107627*c_0110_8^14 + 2163189994388485200704506618453640562692972695/10215663576969127482\ 22983606603660595107627*c_0110_8^13 + 4813812113987909124280909145058192303135217159/10215663576969127482\ 22983606603660595107627*c_0110_8^12 + 7104384247926594647703133232061496662227850215/10215663576969127482\ 22983606603660595107627*c_0110_8^11 + 831537535362857134901742020617255270546796027/113507373077434749802\ 553734067073399456403*c_0110_8^10 + 6196070508775161064656729130353663022022478908/10215663576969127482\ 22983606603660595107627*c_0110_8^9 + 5234654002630387038510767159034858200014878484/10215663576969127482\ 22983606603660595107627*c_0110_8^8 + 497828335953158923805237366496224159387820163/113507373077434749802\ 553734067073399456403*c_0110_8^7 + 186337106310021424813049855990955747673221976/537666504051006709591\ 04400347561083953033*c_0110_8^6 + 303143438781834731400124185992190\ 264550793599/113507373077434749802553734067073399456403*c_0110_8^5 + 1930103792060181242010652068524231374635227063/10215663576969127482\ 22983606603660595107627*c_0110_8^4 + 1031848867529596084601342034031283309660560661/10215663576969127482\ 22983606603660595107627*c_0110_8^3 + 359001861231299958011293616854358812332012260/102156635769691274822\ 2983606603660595107627*c_0110_8^2 + 22694751940495578282694574529885512659611856/3405221192323042494076\ 61202201220198369209*c_0110_8 + 47525815243784501800257354080177308\ 65971746/1021566357696912748222983606603660595107627, c_0101_5 - c_0110_8, c_0101_8 - 375747467049587915442458881657104736911709/10215663576969127\ 48222983606603660595107627*c_0110_8^22 - 2683325024365459402823646680486000365367143/10215663576969127482229\ 83606603660595107627*c_0110_8^21 - 3466400895403708056983431165207963143457051/34052211923230424940766\ 1202201220198369209*c_0110_8^20 - 348857435410423206384867796520504\ 18447526628/1021566357696912748222983606603660595107627*c_0110_8^19 - 82593186258145986991850784278689149933604567/10215663576969127482\ 22983606603660595107627*c_0110_8^18 - 7424208643154901119606534138470156789949510/11350737307743474980255\ 3734067073399456403*c_0110_8^17 + 352953571323762308032795021960309\ 94588860808/1021566357696912748222983606603660595107627*c_0110_8^16 - 24255471591615669634147869270292358585059069/10215663576969127482\ 22983606603660595107627*c_0110_8^15 - 508093889239603302541607611780156831834796374/102156635769691274822\ 2983606603660595107627*c_0110_8^14 - 1823238721145670123653026813048046294975623511/10215663576969127482\ 22983606603660595107627*c_0110_8^13 - 3594364176502987002117911880384878435307194909/10215663576969127482\ 22983606603660595107627*c_0110_8^12 - 4675551779568482052877932342431419608401852242/10215663576969127482\ 22983606603660595107627*c_0110_8^11 - 1428557756238074084360447744396864408740004404/34052211923230424940\ 7661202201220198369209*c_0110_8^10 - 3216284158335801517161320769459060858229390699/10215663576969127482\ 22983606603660595107627*c_0110_8^9 - 2969062678061366797316290047492881228671461059/10215663576969127482\ 22983606603660595107627*c_0110_8^8 - 268748683618012549796951964558958388195810688/113507373077434749802\ 553734067073399456403*c_0110_8^7 - 96478109809916704639334665899053550978204605/5376665040510067095910\ 4400347561083953033*c_0110_8^6 - 4809468769925956130620286403363999\ 63085984631/340522119232304249407661202201220198369209*c_0110_8^5 - 917721661390385208169426966915032399056690179/102156635769691274822\ 2983606603660595107627*c_0110_8^4 - 376901790264746326443724000252900547665126930/102156635769691274822\ 2983606603660595107627*c_0110_8^3 - 78453712482332957261812759262329800278758873/1021566357696912748222\ 983606603660595107627*c_0110_8^2 - 174742014380946234028874670971677222738783/113507373077434749802553\ 734067073399456403*c_0110_8 + 8358409182131835180396906125515339962\ 98524/1021566357696912748222983606603660595107627, c_0110_8^23 + 8*c_0110_8^22 + 34*c_0110_8^21 + 118*c_0110_8^20 + 305*c_0110_8^19 + 385*c_0110_8^18 + 103*c_0110_8^17 + 23*c_0110_8^16 + 1394*c_0110_8^15 + 6024*c_0110_8^14 + 13993*c_0110_8^13 + 21618*c_0110_8^12 + 24034*c_0110_8^11 + 20959*c_0110_8^10 + 17730*c_0110_8^9 + 15137*c_0110_8^8 + 12131*c_0110_8^7 + 9455*c_0110_8^6 + 6832*c_0110_8^5 + 3950*c_0110_8^4 + 1631*c_0110_8^3 + 439*c_0110_8^2 + 68*c_0110_8 + 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.360 Total time: 0.570 seconds, Total memory usage: 32.09MB