Magma V2.19-8 Wed Aug 21 2013 00:06:19 on localhost [Seed = 3086080256] Type ? for help. Type -D to quit. Loading file "K13n2164__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2164 geometric_solution 11.18653729 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 -1 0 -3 0 3 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.589913056141 0.902918900045 0 3 4 5 0132 3012 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 2 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.303097556402 1.096865302422 5 0 6 6 0213 0132 2103 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 -1 1 0 1 0 0 -1 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.785123231597 0.833544098194 1 6 7 0 1230 0132 0132 0132 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 0 0 0 -2 0 3 -1 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.088716261631 0.595412496447 6 1 0 8 3201 0213 0132 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 1 -1 -1 0 1 0 0 0 0 0 1 2 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.618785559300 0.304664688356 2 7 1 9 0213 2031 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 0 0 0 0 0 0 -1 1 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.478638275034 0.763656536873 2 3 2 4 2103 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.401224300191 0.635703964208 5 10 9 3 1302 0132 2103 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 0 0 3 0 0 -3 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.268815103509 0.492110013753 11 9 4 11 0132 0321 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.418536720843 0.393735542722 7 12 5 8 2103 0132 0132 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.025474611929 0.388523937119 12 7 11 11 3120 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.032564400196 0.548180913527 8 8 10 10 0132 2310 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.933976814681 0.816534614626 12 9 12 10 2310 0132 3201 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.911689362874 0.892966308455 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_12'], 'c_1001_10' : negation(d['c_0101_8']), 'c_1001_12' : negation(d['c_0101_12']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_7' : negation(d['c_0011_12']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_8']), 'c_1001_2' : negation(d['c_0011_3']), 'c_1001_9' : negation(d['c_0011_10']), 'c_1001_8' : d['c_1001_8'], 'c_1010_12' : negation(d['c_0011_10']), 'c_1010_11' : negation(d['c_0101_11']), 'c_1010_10' : negation(d['c_0011_12']), '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'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_12'], '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' : d['1'], 's_2_6' : 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' : 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_1100_9' : d['c_1001_8'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_8'], 'c_1100_4' : negation(d['c_0011_11']), 'c_1100_7' : negation(d['c_0011_11']), 'c_1100_6' : d['c_0011_4'], 'c_1100_1' : d['c_1001_8'], 'c_1100_0' : negation(d['c_0011_11']), 'c_1100_3' : negation(d['c_0011_11']), 'c_1100_2' : d['c_0011_4'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_12'], 'c_1100_10' : d['c_0101_11'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_8']), 'c_1010_6' : negation(d['c_0101_8']), 'c_1010_5' : negation(d['c_0011_10']), 'c_1010_4' : d['c_1001_8'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_3']), 'c_1010_0' : negation(d['c_0011_3']), 'c_1010_9' : negation(d['c_0101_12']), 'c_1010_8' : negation(d['c_0101_12']), 'c_1100_8' : negation(d['c_0011_11']), '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_12']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : 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' : negation(d['c_0011_12']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : negation(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_8'], 'c_0110_10' : negation(d['c_0101_12']), 'c_0110_12' : negation(d['c_0101_12']), 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : negation(d['c_0011_0']), 'c_0101_4' : d['c_0011_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_5'], 'c_0101_1' : d['c_0011_4'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0101_9' : negation(d['c_0011_5']), 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_11'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0011_4'], 'c_0110_3' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : negation(d['c_0011_5']), 'c_0110_4' : d['c_0101_8'], 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0011_4']), 's_2_9' : d['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_12, c_0011_3, c_0011_4, c_0011_5, c_0101_11, c_0101_12, c_0101_3, c_0101_8, c_1001_0, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 7619526213852976584159029853745428656116608951938214480756688562029\ 4544484024349855/13595138486302779011153700410450211642541536843930\ 681379978451628257524408024765462948*c_1001_8^14 + 4272909181251048046728890874722624570331350145265374572085116594484\ 64830977718805907/3398784621575694752788425102612552910635384210982\ 670344994612907064381102006191365737*c_1001_8^13 - 3241459118196783402199327826000320259394468499481491170590924307894\ 22373519211425995/6179608402864899550524409277477368928427971292695\ 76426362656892193523836728398430134*c_1001_8^12 + 5442068778649860163849355732075672616449890423659829041024482471581\ 7648392981886245395/67975692431513895055768502052251058212707684219\ 65340689989225814128762204012382731474*c_1001_8^11 + 1748767796498149186593504808350476292314457218475282271285592862661\ 25003710103733342509/1359513848630277901115370041045021164254153684\ 3930681379978451628257524408024765462948*c_1001_8^10 + 3638887766062036774559796380955014965909505669951329921958151878194\ 40208835845914987745/1942162640900397001593385772921458806077362406\ 275811625711207375465360629717823637564*c_1001_8^9 + 2530896024243273074207097083467279935756681508349203618853744460996\ 335208171607541062024/339878462157569475278842510261255291063538421\ 0982670344994612907064381102006191365737*c_1001_8^8 + 1522375654332611971933866316277235542822411850620096851709776548799\ 3278534324676716243301/13595138486302779011153700410450211642541536\ 843930681379978451628257524408024765462948*c_1001_8^7 - 5524567824968236471927878593065441609754974249714602841298378240399\ 474655102470565942943/679756924315138950557685020522510582127076842\ 1965340689989225814128762204012382731474*c_1001_8^6 - 6475853852939442403882532323095338228680090155629266244149537486593\ 2779199352414836806873/13595138486302779011153700410450211642541536\ 843930681379978451628257524408024765462948*c_1001_8^5 - 1318411464708759597196596487315778218072883727684048597375362998269\ 7866285665973194678871/67975692431513895055768502052251058212707684\ 21965340689989225814128762204012382731474*c_1001_8^4 + 2096046859606384928846817052815263650747048911413011838952643870045\ 01901826891848017058079/1359513848630277901115370041045021164254153\ 6843930681379978451628257524408024765462948*c_1001_8^3 - 5415968825112292293570780260681200512302181402137038900129690954495\ 2490208001916202293561/67975692431513895055768502052251058212707684\ 21965340689989225814128762204012382731474*c_1001_8^2 + 3458382325056737836981535737494557457187622231964909799548320058238\ 0240437861493112456581/13595138486302779011153700410450211642541536\ 843930681379978451628257524408024765462948*c_1001_8 + 4082586889756592225906924579624779241779573906185844854835380593330\ 566339977346511468303/339878462157569475278842510261255291063538421\ 0982670344994612907064381102006191365737, c_0011_0 - 1, c_0011_10 + 20457279211307956246085799206523302031622260945233532101/41\ 935502670930069344355477448670055234384936242233756692251951*c_1001\ _8^14 - 423903609515812000865191909689646361926389469736783163269/4\ 1935502670930069344355477448670055234384936242233756692251951*c_100\ 1_8^13 + 1178938913580313634740403563723268310159151433055296019119\ /41935502670930069344355477448670055234384936242233756692251951*c_1\ 001_8^12 - 27012536929971037450797059684103444410390706535261775861\ 327/41935502670930069344355477448670055234384936242233756692251951*\ c_1001_8^11 - 93125233354046539976290844312679407710005890572748571\ 269613/419355026709300693443554774486700552343849362422337566922519\ 51*c_1001_8^10 - 83066862798973586674597233536746448362531807426772\ 8595749701/41935502670930069344355477448670055234384936242233756692\ 251951*c_1001_8^9 - 40503395860702445800918531090180825202085020123\ 10315282481395/4193550267093006934435547744867005523438493624223375\ 6692251951*c_1001_8^8 - 1043712955997605143907807464345383708855148\ 5467314677366839833/41935502670930069344355477448670055234384936242\ 233756692251951*c_1001_8^7 - 11662558651338766330070604415866903078\ 828791720717201512437652/419355026709300693443554774486700552343849\ 36242233756692251951*c_1001_8^6 + 848984800816126876917356054930672\ 6568921028312617819390663873/41935502670930069344355477448670055234\ 384936242233756692251951*c_1001_8^5 + 38550119616128331590419802913831041227009361401712823038571305/4193\ 5502670930069344355477448670055234384936242233756692251951*c_1001_8\ ^4 + 5828206359190934704289300341998727101674045438242735924176313/\ 41935502670930069344355477448670055234384936242233756692251951*c_10\ 01_8^3 - 1641450902991757157023235529417939488662864498682966812044\ 1945/41935502670930069344355477448670055234384936242233756692251951\ *c_1001_8^2 - 89868392634564969287599057580909967786736588136920980\ 829321871/419355026709300693443554774486700552343849362422337566922\ 51951*c_1001_8 - 12362433753671574981869625701330736555884177172287\ 879542630945/419355026709300693443554774486700552343849362422337566\ 92251951, c_0011_11 + 35729364757518184873759527254141225881985944570940628365/41\ 935502670930069344355477448670055234384936242233756692251951*c_1001\ _8^14 - 748678617332752423996806739400245791598974815405341586060/4\ 1935502670930069344355477448670055234384936242233756692251951*c_100\ 1_8^13 + 2209183483029014976404337357478856138797767208043299594573\ /41935502670930069344355477448670055234384936242233756692251951*c_1\ 001_8^12 - 47175268496875978918080370584643483426797716780400474451\ 146/41935502670930069344355477448670055234384936242233756692251951*\ c_1001_8^11 - 15336692329059971660462912400605554310427418709070713\ 4975601/41935502670930069344355477448670055234384936242233756692251\ 951*c_1001_8^10 - 1383302174787920583370850756000174924627101727384\ 043286548109/419355026709300693443554774486700552343849362422337566\ 92251951*c_1001_8^9 - 666122599030926766244671782204227690014299126\ 7858711094184519/41935502670930069344355477448670055234384936242233\ 756692251951*c_1001_8^8 - 15844806501567801482068681516614115894469\ 936716768146689455679/419355026709300693443554774486700552343849362\ 42233756692251951*c_1001_8^7 - 127474008974711659171092142293640312\ 68756883521332561267143624/4193550267093006934435547744867005523438\ 4936242233756692251951*c_1001_8^6 + 24885594933709170695326567099023161514217700482913594020958322/4193\ 5502670930069344355477448670055234384936242233756692251951*c_1001_8\ ^5 + 59617972952964679029273533483493315908193802254593664614263288\ /41935502670930069344355477448670055234384936242233756692251951*c_1\ 001_8^4 - 377741894713774490342931266349059730826303199575233095802\ 33700/4193550267093006934435547744867005523438493624223375669225195\ 1*c_1001_8^3 - 5702007238546568656398782028929775878029516582149054\ 0446663660/41935502670930069344355477448670055234384936242233756692\ 251951*c_1001_8^2 - 53902333953070545538034952940781095182214506995\ 977551584287921/419355026709300693443554774486700552343849362422337\ 56692251951*c_1001_8 - 10615272873234969015315141465515094369611622\ 149199458484083273/419355026709300693443554774486700552343849362422\ 33756692251951, c_0011_12 - 11431116033268677574806953120394193567737714324374753524/41\ 935502670930069344355477448670055234384936242233756692251951*c_1001\ _8^14 + 229095414099641779761747943119108895706204919096519720260/4\ 1935502670930069344355477448670055234384936242233756692251951*c_100\ 1_8^13 - 467030920343384530052179060346311529961335851582981242200/\ 41935502670930069344355477448670055234384936242233756692251951*c_10\ 01_8^12 + 140040680535333767642042516063239494227125039566155813516\ 49/41935502670930069344355477448670055234384936242233756692251951*c\ _1001_8^11 + 641634572588966398647763525407254464341677828181507664\ 29982/4193550267093006934435547744867005523438493624223375669225195\ 1*c_1001_8^10 + 459563809876769948697882991440430876222344862738743\ 535623998/419355026709300693443554774486700552343849362422337566922\ 51951*c_1001_8^9 + 244577941505047210027283041104041427637731840189\ 8274552344029/41935502670930069344355477448670055234384936242233756\ 692251951*c_1001_8^8 + 62106931835140366815805943955955791693083443\ 19374429749674190/4193550267093006934435547744867005523438493624223\ 3756692251951*c_1001_8^7 + 4878647266626614799451684362845854747792\ 041327272254743270829/419355026709300693443554774486700552343849362\ 42233756692251951*c_1001_8^6 - 130171912074696477324869262985498091\ 82029320887199142326023746/4193550267093006934435547744867005523438\ 4936242233756692251951*c_1001_8^5 - 31175907570692663898790947331339090998283785423237556417823627/4193\ 5502670930069344355477448670055234384936242233756692251951*c_1001_8\ ^4 + 15965209966268347235154658385832550819213669507789338221202867\ /41935502670930069344355477448670055234384936242233756692251951*c_1\ 001_8^3 + 668452403434808606341560145528009746619389711474135569404\ 85152/4193550267093006934435547744867005523438493624223375669225195\ 1*c_1001_8^2 + 8254121818975060006392330298851361466969978083794197\ 889975651/419355026709300693443554774486700552343849362422337566922\ 51951*c_1001_8 - 11689705690285970488614253121809435998800264387723\ 129435500016/419355026709300693443554774486700552343849362422337566\ 92251951, c_0011_3 - 125489154449175569709259815883760321600461182732746643491/41\ 935502670930069344355477448670055234384936242233756692251951*c_1001\ _8^14 + 2753083886391761900869429871330588566964418206154241885685/\ 41935502670930069344355477448670055234384936242233756692251951*c_10\ 01_8^13 - 103610977165924352166095653518016520195407621153032933924\ 42/41935502670930069344355477448670055234384936242233756692251951*c\ _1001_8^12 + 173553658092174627007564757361759373424494395646392277\ 641215/419355026709300693443554774486700552343849362422337566922519\ 51*c_1001_8^11 + 37562603821344256294227326551163190044811883733487\ 9834934958/41935502670930069344355477448670055234384936242233756692\ 251951*c_1001_8^10 + 4342611460211436169352210902727900337661077453\ 440255408824575/419355026709300693443554774486700552343849362422337\ 56692251951*c_1001_8^9 + 187200771474152494712636488927901547175782\ 73065100987878504863/4193550267093006934435547744867005523438493624\ 2233756692251951*c_1001_8^8 + 3332737152363960353273847576078308969\ 1708234764394157652388895/41935502670930069344355477448670055234384\ 936242233756692251951*c_1001_8^7 - 6128883619228423121906061436698805943476188300958298938026214/41935\ 502670930069344355477448670055234384936242233756692251951*c_1001_8^\ 6 - 117613139389027543362147141313937916295628174471853987268793498\ /41935502670930069344355477448670055234384936242233756692251951*c_1\ 001_8^5 - 101594224692674516055921479926595877289538237584023989146\ 073298/419355026709300693443554774486700552343849362422337566922519\ 51*c_1001_8^4 + 325301613718010545593345809881596115715255264007192\ 363669011771/419355026709300693443554774486700552343849362422337566\ 92251951*c_1001_8^3 + 102828489231437068872515575909842178678359743\ 28549961963084482/4193550267093006934435547744867005523438493624223\ 3756692251951*c_1001_8^2 - 2843320970301904582507630619055639935673\ 9653160833248611069182/41935502670930069344355477448670055234384936\ 242233756692251951*c_1001_8 - 9157739594102541527655700800110536054\ 859561451465183466254609/419355026709300693443554774486700552343849\ 36242233756692251951, c_0011_4 + 131071969706249399568760264258326484768273747355355407076/41\ 935502670930069344355477448670055234384936242233756692251951*c_1001\ _8^14 - 2891465998310125995527890839610052291799312397812380266360/\ 41935502670930069344355477448670055234384936242233756692251951*c_10\ 01_8^13 + 111590348033980535430165611560665889607452825061067997231\ 24/41935502670930069344355477448670055234384936242233756692251951*c\ _1001_8^12 - 182339371927786260197178592295837590829541261320092184\ 211750/419355026709300693443554774486700552343849362422337566922519\ 51*c_1001_8^11 - 37105679112718277755523774843374080290826218229212\ 4948736804/41935502670930069344355477448670055234384936242233756692\ 251951*c_1001_8^10 - 4472844680150809917709866640097597406068388571\ 985678896818021/419355026709300693443554774486700552343849362422337\ 56692251951*c_1001_8^9 - 189492668585591928602367252130953839643988\ 82356346295964811340/4193550267093006934435547744867005523438493624\ 2233756692251951*c_1001_8^8 - 3199221444194989822197339433474647482\ 0123135914751018644748372/41935502670930069344355477448670055234384\ 936242233756692251951*c_1001_8^7 + 12859815260175726855273851013627760792654990020062201548050013/4193\ 5502670930069344355477448670055234384936242233756692251951*c_1001_8\ ^6 + 12729289352878869088289132811940528473349922142417846496569237\ 2/41935502670930069344355477448670055234384936242233756692251951*c_\ 1001_8^5 + 94990601040828648806431813700362272535079203049354327993\ 519697/419355026709300693443554774486700552343849362422337566922519\ 51*c_1001_8^4 - 357385198705123243455431409191537740027208018521153\ 097042233977/419355026709300693443554774486700552343849362422337566\ 92251951*c_1001_8^3 + 177799790554160149077999615683983456664829672\ 63391122385810784/4193550267093006934435547744867005523438493624223\ 3756692251951*c_1001_8^2 + 2636739890350462410302297775294565234065\ 0111857889192091905110/41935502670930069344355477448670055234384936\ 242233756692251951*c_1001_8 + 1374805998619071471765900454899384989\ 7890374325575730485605387/41935502670930069344355477448670055234384\ 936242233756692251951, c_0011_5 + 36843806552507312937179507606188704758788213749662109311/419\ 35502670930069344355477448670055234384936242233756692251951*c_1001_\ 8^14 - 800726336990071302306161442025806413054382490724301092961/41\ 935502670930069344355477448670055234384936242233756692251951*c_1001\ _8^13 + 2910647413013822010300124286514312310948930818172033516505/\ 41935502670930069344355477448670055234384936242233756692251951*c_10\ 01_8^12 - 510856570988803120265427177698164308736063753259777206621\ 91/41935502670930069344355477448670055234384936242233756692251951*c\ _1001_8^11 - 118111473676534247241922028688875440115244884493475574\ 106933/419355026709300693443554774486700552343849362422337566922519\ 51*c_1001_8^10 - 13455940499489209353827152088757887913422747790165\ 66121463897/4193550267093006934435547744867005523438493624223375669\ 2251951*c_1001_8^9 - 5877206217211572587868197327404744500531960063\ 407182305543411/419355026709300693443554774486700552343849362422337\ 56692251951*c_1001_8^8 - 121886597099893820407174535760979287329937\ 00249523278434468164/4193550267093006934435547744867005523438493624\ 2233756692251951*c_1001_8^7 - 5880024353547679445916072524873378127\ 695609938135333384469593/419355026709300693443554774486700552343849\ 36242233756692251951*c_1001_8^6 + 232594277815563170856033878465363\ 11993855979143326291727906336/4193550267093006934435547744867005523\ 4384936242233756692251951*c_1001_8^5 + 32726898999228491153680234899899485964921293817506163474962502/4193\ 5502670930069344355477448670055234384936242233756692251951*c_1001_8\ ^4 - 60991433491652098286533125295735427155965414247020437450506138\ /41935502670930069344355477448670055234384936242233756692251951*c_1\ 001_8^3 + 150826038842808270712151946460722065846314778987718708690\ 19733/4193550267093006934435547744867005523438493624223375669225195\ 1*c_1001_8^2 - 7606055701461577581042578115948791023590509837173743\ 3297503175/41935502670930069344355477448670055234384936242233756692\ 251951*c_1001_8 - 2613957796769074922758790776033354144708450193086\ 4374708425787/41935502670930069344355477448670055234384936242233756\ 692251951, c_0101_11 + 44433953072834439459119685799359168043899958772704520095/41\ 935502670930069344355477448670055234384936242233756692251951*c_1001\ _8^14 - 934142157372414438698042498553424774794206983248782110690/4\ 1935502670930069344355477448670055234384936242233756692251951*c_100\ 1_8^13 + 2814464684251889728740548613451347542232986746349992425451\ /41935502670930069344355477448670055234384936242233756692251951*c_1\ 001_8^12 - 58931061639042124087667910081924290702624372994070184775\ 670/41935502670930069344355477448670055234384936242233756692251951*\ c_1001_8^11 - 18619669825777435034313645407695019758931215361181854\ 3260909/41935502670930069344355477448670055234384936242233756692251\ 951*c_1001_8^10 - 1712088122904276116153602771123940102785180851377\ 738501913485/419355026709300693443554774486700552343849362422337566\ 92251951*c_1001_8^9 - 815787864307349370605899343646137867335210761\ 1655335598528345/41935502670930069344355477448670055234384936242233\ 756692251951*c_1001_8^8 - 19202369135425705360888035494128808265691\ 937638818668611200698/419355026709300693443554774486700552343849362\ 42233756692251951*c_1001_8^7 - 145524766406685094577808314370679594\ 33351600792064483116305279/4193550267093006934435547744867005523438\ 4936242233756692251951*c_1001_8^6 + 32898063270947710624424233893919495412617948747428801749659379/4193\ 5502670930069344355477448670055234384936242233756692251951*c_1001_8\ ^5 + 74010860803777471512408398992915393280304423811100434734917773\ /41935502670930069344355477448670055234384936242233756692251951*c_1\ 001_8^4 - 493194575936204090182600150904958286100883878668330683885\ 01859/4193550267093006934435547744867005523438493624223375669225195\ 1*c_1001_8^3 - 7800231344713277920334136946441137884557994356139437\ 0685728856/41935502670930069344355477448670055234384936242233756692\ 251951*c_1001_8^2 - 86599356663130250228419068948649450539982199438\ 035501630236476/419355026709300693443554774486700552343849362422337\ 56692251951*c_1001_8 - 45073274675554142169138857525303116357565281\ 78506536895973427/4193550267093006934435547744867005523438493624223\ 3756692251951, c_0101_12 - 35067309185778481020324622979401177089882825229575551018/41\ 935502670930069344355477448670055234384936242233756692251951*c_1001\ _8^14 + 737050779118393702963324906296099499010299264362739440846/4\ 1935502670930069344355477448670055234384936242233756692251951*c_100\ 1_8^13 - 2216852720391429576864285615792839924605875361857729653700\ /41935502670930069344355477448670055234384936242233756692251951*c_1\ 001_8^12 + 46476065217238271505758427713731689473993330096895803256\ 501/41935502670930069344355477448670055234384936242233756692251951*\ c_1001_8^11 + 14738341213825207762052758995659037105485026105138096\ 4234396/41935502670930069344355477448670055234384936242233756692251\ 951*c_1001_8^10 + 1350600357922423576860078037998175402267469994746\ 079139130852/419355026709300693443554774486700552343849362422337566\ 92251951*c_1001_8^9 + 645067236560632280188187474180617271590395281\ 1608685193315828/41935502670930069344355477448670055234384936242233\ 756692251951*c_1001_8^8 + 15198980571278138952028170628693219341781\ 012532816704290933198/419355026709300693443554774486700552343849362\ 42233756692251951*c_1001_8^7 + 116154644329148877662443842810091415\ 51211206399697990258360900/4193550267093006934435547744867005523438\ 4936242233756692251951*c_1001_8^6 - 25067219650051335930724621023526449121582966421774905887800167/4193\ 5502670930069344355477448670055234384936242233756692251951*c_1001_8\ ^5 - 58026125428413023760802615426142319364567809945701222238616064\ /41935502670930069344355477448670055234384936242233756692251951*c_1\ 001_8^4 + 306051098746510905611438410235678599837774160906828418114\ 32478/4193550267093006934435547744867005523438493624223375669225195\ 1*c_1001_8^3 + 4510199571680675641190961121937507542599682370738179\ 5108270915/41935502670930069344355477448670055234384936242233756692\ 251951*c_1001_8^2 + 64946764638460373751766903385085394779882892235\ 240045769710969/419355026709300693443554774486700552343849362422337\ 56692251951*c_1001_8 + 98667810369005898472773385977789470583716906\ 57756169711818391/4193550267093006934435547744867005523438493624223\ 3756692251951, c_0101_3 + 31980187750132609404686123988194492879500168849230560321/419\ 35502670930069344355477448670055234384936242233756692251951*c_1001_\ 8^14 - 710942390667707930974792569464117963825530749452899270862/41\ 935502670930069344355477448670055234384936242233756692251951*c_1001\ _8^13 + 2868579860896264069575667763951097206190991203270363018881/\ 41935502670930069344355477448670055234384936242233756692251951*c_10\ 01_8^12 - 454885274700857315600342375667517131914742254008311275758\ 37/41935502670930069344355477448670055234384936242233756692251951*c\ _1001_8^11 - 813599313870161502669766257706314745903074316721719630\ 97631/4193550267093006934435547744867005523438493624223375669225195\ 1*c_1001_8^10 - 110987783875398017052695862294430317796363444540044\ 2061272931/41935502670930069344355477448670055234384936242233756692\ 251951*c_1001_8^9 - 45456605536358975263379560149694228308800145732\ 60679060558680/4193550267093006934435547744867005523438493624223375\ 6692251951*c_1001_8^8 - 8028080834209191523308112076147935998381806\ 257551796085664801/419355026709300693443554774486700552343849362422\ 33756692251951*c_1001_8^7 - 281143589856120692831380767820723405236\ 943140746516546743081/419355026709300693443554774486700552343849362\ 42233756692251951*c_1001_8^6 + 186255151623960313501718013028066038\ 58723082161907716303475982/4193550267093006934435547744867005523438\ 4936242233756692251951*c_1001_8^5 + 8225956914559382210608152628800592275711327690642678512176373/41935\ 502670930069344355477448670055234384936242233756692251951*c_1001_8^\ 4 - 77083351233709174805994005431217720993598042225687385925445125/\ 41935502670930069344355477448670055234384936242233756692251951*c_10\ 01_8^3 + 6230452193388066535096929337886843741818870595142838572234\ 8366/41935502670930069344355477448670055234384936242233756692251951\ *c_1001_8^2 + 85664619591341263591476978736067919335465329505814388\ 3454981/41935502670930069344355477448670055234384936242233756692251\ 951*c_1001_8 - 4219006818321966854804893235931211799346730526619200\ 4673487977/41935502670930069344355477448670055234384936242233756692\ 251951, c_0101_8 + 31888395244576633820892752326917495599359975269608285625/419\ 35502670930069344355477448670055234384936242233756692251951*c_1001_\ 8^14 - 652999023615453780626939852808755257632594388833302883529/41\ 935502670930069344355477448670055234384936242233756692251951*c_1001\ _8^13 + 1645969833923698164792582624069579840120487284638277261319/\ 41935502670930069344355477448670055234384936242233756692251951*c_10\ 01_8^12 - 410166049835044142150013112904273938331032104918773572129\ 76/41935502670930069344355477448670055234384936242233756692251951*c\ _1001_8^11 - 157288690612943179841067196853404854144173673390899337\ 699595/419355026709300693443554774486700552343849362422337566922519\ 51*c_1001_8^10 - 12902324378665058154438553268078953598476629370064\ 72131373699/4193550267093006934435547744867005523438493624223375669\ 2251951*c_1001_8^9 - 6496119001120716680364683520058496796585820414\ 208589834825424/419355026709300693443554774486700552343849362422337\ 56692251951*c_1001_8^8 - 166478227434900881206586690390494162578598\ 29786689107116514023/4193550267093006934435547744867005523438493624\ 2233756692251951*c_1001_8^7 - 1654120591796538112952228877871275782\ 6620833047989456255708481/41935502670930069344355477448670055234384\ 936242233756692251951*c_1001_8^6 + 21507039215630916501660486847856535750950349199816961716687619/4193\ 5502670930069344355477448670055234384936242233756692251951*c_1001_8\ ^5 + 69726027186820995489210750245170132225293146824950379456394932\ /41935502670930069344355477448670055234384936242233756692251951*c_1\ 001_8^4 - 101370036070774125308653580438338237175396240695466022970\ 26554/4193550267093006934435547744867005523438493624223375669225195\ 1*c_1001_8^3 - 8325974937339843220438836984698036954856761613424322\ 5060927097/41935502670930069344355477448670055234384936242233756692\ 251951*c_1001_8^2 - 98122514453540029293991387879761329253706566220\ 715178719297522/419355026709300693443554774486700552343849362422337\ 56692251951*c_1001_8 - 67272806338560449325537257952130055708391278\ 4564750107130929/41935502670930069344355477448670055234384936242233\ 756692251951, c_1001_0 + 36514429358037932957611862380096975816778482364633489557/419\ 35502670930069344355477448670055234384936242233756692251951*c_1001_\ 8^14 - 839576913297965109087691885957721133474531648242419282117/41\ 935502670930069344355477448670055234384936242233756692251951*c_1001\ _8^13 + 3858548998718422069341031915418009982535516359637400658331/\ 41935502670930069344355477448670055234384936242233756692251951*c_10\ 01_8^12 - 536625996669423848282373558436151374909837436848518935743\ 77/41935502670930069344355477448670055234384936242233756692251951*c\ _1001_8^11 - 561095053449989383367538796796211363010202567546491094\ 96217/4193550267093006934435547744867005523438493624223375669225195\ 1*c_1001_8^10 - 114698906006583470328481013690866633231889120432929\ 3092073346/41935502670930069344355477448670055234384936242233756692\ 251951*c_1001_8^9 - 41123857872871430734445708753886538745335754560\ 98059849010701/4193550267093006934435547744867005523438493624223375\ 6692251951*c_1001_8^8 - 3897340522880920829414115095797529882368158\ 316004031254686480/419355026709300693443554774486700552343849362422\ 33756692251951*c_1001_8^7 + 122175028849450583486806685770920196282\ 32460069205115265964091/4193550267093006934435547744867005523438493\ 6242233756692251951*c_1001_8^6 + 3323402661140869011787629521780093\ 2064176306884928136550067909/41935502670930069344355477448670055234\ 384936242233756692251951*c_1001_8^5 - 3875520151435560609159523761989699965519073446825894372006964/41935\ 502670930069344355477448670055234384936242233756692251951*c_1001_8^\ 4 - 126984544044336644043480586355661169926008436340105605429663696\ /41935502670930069344355477448670055234384936242233756692251951*c_1\ 001_8^3 + 891347849056210833841625458388817455321067711603497405394\ 50477/4193550267093006934435547744867005523438493624223375669225195\ 1*c_1001_8^2 + 7010662539978128590033688594411748146111632861253665\ 235993355/419355026709300693443554774486700552343849362422337566922\ 51951*c_1001_8 + 23744575894534887725892506203039344324018692598844\ 201712104120/419355026709300693443554774486700552343849362422337566\ 92251951, c_1001_8^15 - 22*c_1001_8^14 + 84*c_1001_8^13 - 1390*c_1001_8^12 - 2903*c_1001_8^11 - 34543*c_1001_8^10 - 147456*c_1001_8^9 - 259921*c_1001_8^8 + 48064*c_1001_8^7 + 897385*c_1001_8^6 + 727348*c_1001_8^5 - 2532603*c_1001_8^4 + 253420*c_1001_8^3 - 70897*c_1001_8^2 - 239954*c_1001_8 - 167746 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 11.320 Total time: 11.519 seconds, Total memory usage: 64.12MB