Magma V2.19-8 Tue Aug 20 2013 16:17:47 on localhost [Seed = 1292685736] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2024 geometric_solution 5.56671464 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 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 1 1 -2 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.519597993231 0.638398665695 3 2 4 0 0132 3012 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.823932745378 0.862848142818 1 3 0 4 1230 3201 0132 3201 0 0 0 0 0 0 -1 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 2 -1 -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.823932745378 0.862848142818 1 5 2 5 0132 0132 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.686118352508 0.507685663565 4 2 4 1 2031 2310 1302 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 1 0 -1 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.139952838340 1.074889189697 6 3 6 3 0132 0132 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.844281837841 0.463150074832 5 5 6 6 0132 3201 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 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.597447796901 0.155493261387 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_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_0_6' : d['1'], 's_0_4' : negation(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_6' : d['c_0101_6'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 7445673012387135146613629420006902360915243524567901205737149818971\ 3387700090244861414378638294863/56736121364802603593798984968301790\ 5280794324530201167268456323747631012196178898310615239879528*c_010\ 1_6^27 - 6006382795388829236160457907268759455218943444811518329305\ 41774581524320228012950200745481915348273/5673612136480260359379898\ 4968301790528079432453020116726845632374763101219617889831061523987\ 9528*c_0101_6^26 - 494788607104949536920320761271833839085936918271\ 6050614698832000797166927498286512179404335157452735/56736121364802\ 6035937989849683017905280794324530201167268456323747631012196178898\ 310615239879528*c_0101_6^25 + 1378919062822862713308103795592455151\ 5645337241657741050240431019682701946293171724701960712245514875/28\ 3680606824013017968994924841508952640397162265100583634228161873815\ 506098089449155307619939764*c_0101_6^24 + 7507026506530893353046539734430034299867995268434764197467183051343\ 53798774709870659024254595887613/6035757592000276978063721805138488\ 354051003452448948587962301316464159704214669130963991913612*c_0101\ _6^23 - 11855403581932769409858091515979966875509040311833083171954\ 141317230007265944506761336802517861166331/183019746338072914818706\ 4031235541629938046208161939249253084915314938749019931930034242709\ 2888*c_0101_6^22 + 284090461013166558883656036707360013390414071358\ 98532103655345417502171636803967592332082840364583637/1418403034120\ 0650898449746242075447632019858113255029181711408093690775304904472\ 4577653809969882*c_0101_6^21 + 208708836885707749442815737601132077\ 710046675631644752886788134422640345691586607913680541576452213781/\ 5673612136480260359379898496830179052807943245302011672684563237476\ 31012196178898310615239879528*c_0101_6^20 - 2234721747726253178796989041813785846407394763049606624844695976996\ 357682440697701357769567236729861619/567361213648026035937989849683\ 017905280794324530201167268456323747631012196178898310615239879528*\ c_0101_6^19 + 28169267694267296203928576492966487178320392576205500\ 99719872748315611627706376821053067581514431450263/1418403034120065\ 0898449746242075447632019858113255029181711408093690775304904472457\ 7653809969882*c_0101_6^18 - 722087934256874624530946287780762495792\ 8979494025830425522604671970661972217304612603575059331972196883/56\ 7361213648026035937989849683017905280794324530201167268456323747631\ 012196178898310615239879528*c_0101_6^17 - 1642188840381906178528435409164463427743641917137725909230752562633\ 0037342899141310019146231269532824049/56736121364802603593798984968\ 3017905280794324530201167268456323747631012196178898310615239879528\ *c_0101_6^16 + 2273956104593760874820976867920818553227445015833077\ 4024485294029243754660633575361458040313484357576037/28368060682401\ 3017968994924841508952640397162265100583634228161873815506098089449\ 155307619939764*c_0101_6^15 - 2060555965119843797596280464551237017\ 9248447727254982464232852644541665695360020414423708300045885718879\ /141840303412006508984497462420754476320198581132550291817114080936\ 907753049044724577653809969882*c_0101_6^14 + 1113751004785176646796278270182407882943712933193127393623124398217\ 225491564242634541838787423871072463/709201517060032544922487312103\ 77238160099290566275145908557040468453876524522362288826904984941*c\ _0101_6^13 + 718880753936752320014550761423210612496585469642532439\ 2040035774346384673966333672864691058461916960104/70920151706003254\ 4922487312103772381600992905662751459085570404684538765245223622888\ 26904984941*c_0101_6^12 - 18439827313978414468141689300779556590309\ 71666651211142101655563816950528733446421365425014957637211337/1418\ 4030341200650898449746242075447632019858113255029181711408093690775\ 3049044724577653809969882*c_0101_6^11 + 2041358984979059561409232310400098433657998234878916488283238989845\ 1157574397513289161360006694355355025/28368060682401301796899492484\ 1508952640397162265100583634228161873815506098089449155307619939764\ *c_0101_6^10 + 6465262052940551599900634368543802246174030499298942\ 08286995018219339656308280893944602045707268467385/1418403034120065\ 0898449746242075447632019858113255029181711408093690775304904472457\ 7653809969882*c_0101_6^9 + 8639095373704590884047663180563991350885\ 884780243954906763089381530916470907977045664488105886468215687/567\ 3612136480260359379898496830179052807943245302011672684563237476310\ 12196178898310615239879528*c_0101_6^8 + 5991641575523057266396433021967155220897384819198702164538009719484\ 694260387115969546420292104680203045/283680606824013017968994924841\ 508952640397162265100583634228161873815506098089449155307619939764*\ c_0101_6^7 - 245128027834389799377008073265697155089405553525455286\ 23818038730559384897291155541745501012469856091079/5673612136480260\ 3593798984968301790528079432453020116726845632374763101219617889831\ 0615239879528*c_0101_6^6 - 4356015547178777075379722003917037893555\ 55370288085937518327580853899513489049020920233951490555815189/1830\ 1974633807291481870640312355416299380462081619392492530849153149387\ 490199319300342427092888*c_0101_6^5 + 4592358223738708717888946531017682471174174141238807360059856903278\ 01580019939756485245492941682457465/5673612136480260359379898496830\ 17905280794324530201167268456323747631012196178898310615239879528*c\ _0101_6^4 + 9874195798197308530292604624672212458100290555341092278\ 4536193041075862773732591214779558606477757291/28368060682401301796\ 8994924841508952640397162265100583634228161873815506098089449155307\ 619939764*c_0101_6^3 - 19537173157423330475973367280950379655074091\ 885901480346220516991500701632440686031864900149908953667/141840303\ 4120065089844974624207544763201985811325502918171140809369077530490\ 44724577653809969882*c_0101_6^2 - 258053383210961494363513107328890\ 5620110633387888818387763515316467630914807670997202753899486954363\ /567361213648026035937989849683017905280794324530201167268456323747\ 631012196178898310615239879528*c_0101_6 + 2153943057703786345739272206301156579945909832596504358015064289101\ 8577663927858722905078412743751/14184030341200650898449746242075447\ 6320198581132550291817114080936907753049044724577653809969882, c_0011_0 - 1, c_0011_1 + 931251288593715703373221386803800969705777716741158686042194\ 776718916369095726296436581333952/709201517060032544922487312103772\ 38160099290566275145908557040468453876524522362288826904984941*c_01\ 01_6^27 - 752249000074207138184465939943143418320829023475961702559\ 5804162427327110942072516026978258547/70920151706003254492248731210\ 377238160099290566275145908557040468453876524522362288826904984941*\ c_0101_6^26 - 61827425953544439917357823534814506861996379093426273\ 364321091276179133411186756331031566070358/709201517060032544922487\ 3121037723816009929056627514590855704046845387652452236228882690498\ 4941*c_0101_6^25 + 345807279857765541640789421243547794026923790647\ 866300319111365235376973731921889722322997697425/709201517060032544\ 9224873121037723816009929056627514590855704046845387652452236228882\ 6904984941*c_0101_6^24 + 187325402024528245723039780643203137223729\ 63201219994158762543912750402479112492503939727111167/1508939398000\ 0692445159304512846220885127508631122371469905753291160399260536672\ 82740997978403*c_0101_6^23 - 14889151056720761886843558988094063146\ 2930317977627139152271418235331887576102610918666812613481/22877468\ 2922591143523383003904442703742255776020242406156635614414367343627\ 4914912542803386611*c_0101_6^22 + 144989404386067856179499983656388\ 5099981051553627993532588304884839579901203512066501601104918059/70\ 9201517060032544922487312103772381600992905662751459085570404684538\ 76524522362288826904984941*c_0101_6^21 + 2719224067785889129743804258396294639516559011864608887096585910191\ 675490295056256971310326644754/709201517060032544922487312103772381\ 60099290566275145908557040468453876524522362288826904984941*c_0101_\ 6^20 - 280410953490992259618067576899249678946862046470821531126722\ 29340735048125146767658002287340954787/7092015170600325449224873121\ 0377238160099290566275145908557040468453876524522362288826904984941\ *c_0101_6^19 + 1411892028759219313380087702299011164448964688974996\ 37187980679174853209447301751641758799686126254/7092015170600325449\ 2248731210377238160099290566275145908557040468453876524522362288826\ 904984941*c_0101_6^18 - 9111276441494985371561463778064923754504518\ 9097703170395269272903388443532915895546420346393218168/70920151706\ 0032544922487312103772381600992905662751459085570404684538765245223\ 62288826904984941*c_0101_6^17 - 20826836555763327306293474583385751\ 1334400876554761191727704470295722317527663846726893539964584496/70\ 9201517060032544922487312103772381600992905662751459085570404684538\ 76524522362288826904984941*c_0101_6^16 + 5742299489621540740038366080532468660487201873490595557598493948213\ 54800511112096503616527022199803/7092015170600325449224873121037723\ 8160099290566275145908557040468453876524522362288826904984941*c_010\ 1_6^15 - 1032670900543632699515675595616880855872823615612468796661\ 921228553430443595430500658050655416151589/709201517060032544922487\ 3121037723816009929056627514590855704046845387652452236228882690498\ 4941*c_0101_6^14 + 107319931610880138362375528981024810070772727231\ 444048432430352532885688600346042035681856815812440/709201517060032\ 5449224873121037723816009929056627514590855704046845387652452236228\ 8826904984941*c_0101_6^13 + 748421378808257850460725168649675130597\ 977828283082023644810918831541094452033983856393804775065877/709201\ 5170600325449224873121037723816009929056627514590855704046845387652\ 4522362288826904984941*c_0101_6^12 - 1102955238943561313826889861022447039711572712924391543632090589143\ 53138871242473211021572071773977/7092015170600325449224873121037723\ 8160099290566275145908557040468453876524522362288826904984941*c_010\ 1_6^11 + 4983443677168935524340728268040708776778116931415915508240\ 11735614764931822782471060146912116462319/7092015170600325449224873\ 1210377238160099290566275145908557040468453876524522362288826904984\ 941*c_0101_6^10 + 2916460620103383603165029231961486503222440091749\ 0784479744695421488079194649316771393114876492770/70920151706003254\ 4922487312103772381600992905662751459085570404684538765245223622888\ 26904984941*c_0101_6^9 + 935559610219401333987277060318449100451407\ 33269929196516748580342561260298744472320214459288441408/7092015170\ 6003254492248731210377238160099290566275145908557040468453876524522\ 362288826904984941*c_0101_6^8 + 15031414193648270085357556230320246\ 3183605787545453056296006173295399420627050479507777089421505578/70\ 9201517060032544922487312103772381600992905662751459085570404684538\ 76524522362288826904984941*c_0101_6^7 - 3127085467188650041182010031652122984577423831476758414955357854423\ 60898545685883450840421242348370/7092015170600325449224873121037723\ 8160099290566275145908557040468453876524522362288826904984941*c_010\ 1_6^6 - 54214594577811327619185411645858775296211855665170318459882\ 70710839031689826339468963868768424880/2287746829225911435233830039\ 044427037422557760202424061566356144143673436274914912542803386611*\ c_0101_6^5 + 152859954437322209483955093356782051877114518106242665\ 99938077456472667002713351775290656025042897/7092015170600325449224\ 8731210377238160099290566275145908557040468453876524522362288826904\ 984941*c_0101_6^4 + 56562351039921182014091934075354413194162222187\ 50786874659074401940959374319002419708263297715235/7092015170600325\ 4492248731210377238160099290566275145908557040468453876524522362288\ 826904984941*c_0101_6^3 - 10338688872729762108528731353611311421181\ 61813730318075175976902526543700989873304528090323328653/7092015170\ 6003254492248731210377238160099290566275145908557040468453876524522\ 362288826904984941*c_0101_6^2 + 13851436411431303398907163374294114\ 0423298257452060324075434354093060432895702388761742369291408/70920\ 1517060032544922487312103772381600992905662751459085570404684538765\ 24522362288826904984941*c_0101_6 + 1330698613195619925448563921000752150629269580497483665290175645575\ 3007932427115869939569488196/70920151706003254492248731210377238160\ 099290566275145908557040468453876524522362288826904984941, c_0011_4 + 121128339942584165280132245917752376722023541324217011606178\ 313134587867925882796644444286202/150893939800006924451593045128462\ 2088512750863112237146990575329116039926053667282740997978403*c_010\ 1_6^27 - 9756871607252460147879565014582935067004771422878696607545\ 01058054073691071826866335207666533/1508939398000069244515930451284\ 622088512750863112237146990575329116039926053667282740997978403*c_0\ 101_6^26 - 80614265536566880415298398762404643061440198223774025506\ 33846104470160398789423464803308653080/1508939398000069244515930451\ 284622088512750863112237146990575329116039926053667282740997978403*\ c_0101_6^25 + 44772190655018192986291820478186969994537541285888848\ 624224516438921016622838665811707380981661/150893939800006924451593\ 0451284622088512750863112237146990575329116039926053667282740997978\ 403*c_0101_6^24 + 1153597996858661287881065777649755561784326521661\ 64355437422604373022211568007739702866694269296/1508939398000069244\ 5159304512846220885127508631122371469905753291160399260536672827409\ 97978403*c_0101_6^23 - 19247084935735420671318409664840469810260492\ 574103525738779900826479170174781130254586042997815/486754644516151\ 3691986872423498780930686293106813668216098630093922709438882797686\ 2612838013*c_0101_6^22 + 177395869526351555395681821902734796645689\ 546158432123904914543568453913180672525903137752900875/150893939800\ 0069244515930451284622088512750863112237146990575329116039926053667\ 282740997978403*c_0101_6^21 + 3436237966101473372405135040230744585\ 82215361894646437889532573007836610755366628662483895275623/1508939\ 3980000692445159304512846220885127508631122371469905753291160399260\ 53667282740997978403*c_0101_6^20 - 3632521129844931557774105220235144998465936589062118251475172416627\ 155024642132539229736540274921/150893939800006924451593045128462208\ 8512750863112237146990575329116039926053667282740997978403*c_0101_6\ ^19 + 1828709407967293337343595099036515964451006468293374954978795\ 9326045462923629937674937097035575701/15089393980000692445159304512\ 84622088512750863112237146990575329116039926053667282740997978403*c\ _0101_6^18 - 115171421576336212234181050481187841363001710889365273\ 31923668649700249716992936777605025816532904/1508939398000069244515\ 9304512846220885127508631122371469905753291160399260536672827409979\ 78403*c_0101_6^17 - 26915755050445419702017847537570012994845673388\ 016579833346265131137584274446605062078668872147520/150893939800006\ 9244515930451284622088512750863112237146990575329116039926053667282\ 740997978403*c_0101_6^16 + 7372059028420390179102500671416091034703\ 3043920464959893762274680194368593912069176276281818567919/15089393\ 9800006924451593045128462208851275086311223714699057532911603992605\ 3667282740997978403*c_0101_6^15 - 133153909439917307422145713230953\ 756125813370853460809598428522448938754358917958899961937080524902/\ 1508939398000069244515930451284622088512750863112237146990575329116\ 039926053667282740997978403*c_0101_6^14 + 1267664339105058625594188286289267537407514193888576200062100925253\ 4423952066995207652844793333544/15089393980000692445159304512846220\ 88512750863112237146990575329116039926053667282740997978403*c_0101_\ 6^13 + 942142797328047271415336983064295656466048859418938398179445\ 23409780553074791919172873128213558868/1508939398000069244515930451\ 284622088512750863112237146990575329116039926053667282740997978403*\ c_0101_6^12 - 11119319295760470892681350344114179129902099736568662\ 398483094644545491128884363445238840486642169/150893939800006924451\ 5930451284622088512750863112237146990575329116039926053667282740997\ 978403*c_0101_6^11 + 6624289259204368318100919066752897343832469794\ 7095087126769164440081401580218700941238479625933060/15089393980000\ 6924451593045128462208851275086311223714699057532911603992605366728\ 2740997978403*c_0101_6^10 + 491629496113949707426773802083222881759\ 5972140870503707816836937742158771700399713365530395930062/15089393\ 9800006924451593045128462208851275086311223714699057532911603992605\ 3667282740997978403*c_0101_6^9 + 1388574234545157887661668132847801\ 6952758287679264316727364279907302750707616422210252976826911869/15\ 0893939800006924451593045128462208851275086311223714699057532911603\ 9926053667282740997978403*c_0101_6^8 + 1970314173497585400575759405013729084228794175462071144043050486189\ 8301600989829843790562403316403/15089393980000692445159304512846220\ 88512750863112237146990575329116039926053667282740997978403*c_0101_\ 6^7 - 3978539887770650525226975466068081471928968637554883720476827\ 4950956045996853285308609605298866475/15089393980000692445159304512\ 84622088512750863112237146990575329116039926053667282740997978403*c\ _0101_6^6 - 7239129067137115024675941852375169372688325772807228037\ 58031683404264754603538117151826204932422/4867546445161513691986872\ 4234987809306862931068136682160986300939227094388827976862612838013\ *c_0101_6^5 + 56214498649688565491268083492551581445354941700072746\ 8405174871097720875076610412398891695951537/15089393980000692445159\ 3045128462208851275086311223714699057532911603992605366728274099797\ 8403*c_0101_6^4 + 3855269284050864278950341542780472306982650284610\ 84281851345537976123178460495177843387480586182/1508939398000069244\ 5159304512846220885127508631122371469905753291160399260536672827409\ 97978403*c_0101_6^3 - 955701666230720880989986167297887319551531069\ 06305702201874768185962656486583404614031960788504/1508939398000069\ 2445159304512846220885127508631122371469905753291160399260536672827\ 40997978403*c_0101_6^2 - 340637641773898175883147404156952687736166\ 4041074101849227612055624909696730882707480148538607/15089393980000\ 6924451593045128462208851275086311223714699057532911603992605366728\ 2740997978403*c_0101_6 + 441788565238389179641316124293213472730710\ 191597533615694361511518812022216872145267453471917/150893939800006\ 9244515930451284622088512750863112237146990575329116039926053667282\ 740997978403, c_0101_0 + 394660052584642934486041699101892609596142749331052818108595\ 4424332974023795046165541778083868/70920151706003254492248731210377\ 238160099290566275145908557040468453876524522362288826904984941*c_0\ 101_6^27 - 31860385190848949545748788747040711928460953951604529574\ 492783074310367896811829470449486134006/709201517060032544922487312\ 1037723816009929056627514590855704046845387652452236228882690498494\ 1*c_0101_6^26 - 261943416703827419204263409643822873449526992901874\ 600912487649849542389246044374038091396946491/709201517060032544922\ 4873121037723816009929056627514590855704046845387652452236228882690\ 4984941*c_0101_6^25 + 146227528281490059114573592980177770170054086\ 2922586471162858642196292121407762995830649357092768/70920151706003\ 2544922487312103772381600992905662751459085570404684538765245223622\ 88826904984941*c_0101_6^24 + 79213730801738061592073504569180194042\ 274734576262997191993060160287544053455727682417364204291/150893939\ 8000069244515930451284622088512750863112237146990575329116039926053\ 667282740997978403*c_0101_6^23 - 6275105593750396495180582086315342\ 86079092744031405448220084510445664376582260189315347102552178/2287\ 7468292259114352338300390444270374225577602024240615663561441436734\ 36274914912542803386611*c_0101_6^22 + 6258720242172144233991449512244830090485146455471932152239275398021\ 807805667976771580902206911543/709201517060032544922487312103772381\ 60099290566275145908557040468453876524522362288826904984941*c_0101_\ 6^21 + 103663360071294119579620511352392148780090320297288214642235\ 41787484334628675914924652431900485484/7092015170600325449224873121\ 0377238160099290566275145908557040468453876524522362288826904984941\ *c_0101_6^20 - 1182474460516752370771330776831848336052850756249835\ 95168691393845982098015840965885091351414733626/7092015170600325449\ 2248731210377238160099290566275145908557040468453876524522362288826\ 904984941*c_0101_6^19 + 5982552072973146884680685122620169582468682\ 38421978784318066256836007213643670134647488170388719649/7092015170\ 6003254492248731210377238160099290566275145908557040468453876524522\ 362288826904984941*c_0101_6^18 - 3902439350574452160096744187783422\ 43696336940527711990674142249626485570306403116824164846895197524/7\ 0920151706003254492248731210377238160099290566275145908557040468453\ 876524522362288826904984941*c_0101_6^17 - 8478062034332038060905468895518374248670440898718051247623959648571\ 15807717175017749649685975173821/7092015170600325449224873121037723\ 8160099290566275145908557040468453876524522362288826904984941*c_010\ 1_6^16 + 2400807592491019067351012691784349312700613722824595413472\ 248823841854908698169275532053910610669611/709201517060032544922487\ 3121037723816009929056627514590855704046845387652452236228882690498\ 4941*c_0101_6^15 - 440956824066216723952623272319796725553811704234\ 1367277054219251906163752018715539324180820409628649/70920151706003\ 2544922487312103772381600992905662751459085570404684538765245223622\ 88826904984941*c_0101_6^14 + 57997671709647397036026301497057820428\ 6653019696642814114620823157797754763542693330130716552248520/70920\ 1517060032544922487312103772381600992905662751459085570404684538765\ 24522362288826904984941*c_0101_6^13 + 2890697647430978651589838728918955936775870586368401802813311466683\ 409310181342640976370245398112427/709201517060032544922487312103772\ 38160099290566275145908557040468453876524522362288826904984941*c_01\ 01_6^12 - 373519467632139291046604142329128311349685762347811804033\ 991315024643387556059512666129035119721977/709201517060032544922487\ 3121037723816009929056627514590855704046845387652452236228882690498\ 4941*c_0101_6^11 + 225417643560573150584331400748108113744866350894\ 3852979738660104166699393619676222334808089855252990/70920151706003\ 2544922487312103772381600992905662751459085570404684538765245223622\ 88826904984941*c_0101_6^10 + 10992555656348485731772435174733853092\ 8161746562068543339524798156029169422455880978043068562567432/70920\ 1517060032544922487312103772381600992905662751459085570404684538765\ 24522362288826904984941*c_0101_6^9 + 5321475274658962824824018428983089182528517805276436455755235574666\ 42918932485453288472673391218299/7092015170600325449224873121037723\ 8160099290566275145908557040468453876524522362288826904984941*c_010\ 1_6^8 + 62883173209685098585434616577001380847815760247774870957336\ 2650935909820173642962203406279242692680/70920151706003254492248731\ 2103772381600992905662751459085570404684538765245223622888269049849\ 41*c_0101_6^7 - 128303826711231953273206405291340933697150113792692\ 8553464754688160673883343225969429059813181001332/70920151706003254\ 4922487312103772381600992905662751459085570404684538765245223622888\ 26904984941*c_0101_6^6 - 222893021927457114548493449515818843888723\ 73696879947976851978994567534414980104730737357660745024/2287746829\ 2259114352338300390444270374225577602024240615663561441436734362749\ 14912542803386611*c_0101_6^5 - 143016928109197765138064982924169812\ 32481480014765506652872019545606405218197487385404611591294025/7092\ 0151706003254492248731210377238160099290566275145908557040468453876\ 524522362288826904984941*c_0101_6^4 - 9735820527776974307925809113626538721171221342430921472145566278300\ 267132814510475818674294915951/709201517060032544922487312103772381\ 60099290566275145908557040468453876524522362288826904984941*c_0101_\ 6^3 - 3566458075532498233932093029544481978880530178272629919737447\ 990033704987673242922798393671189471/709201517060032544922487312103\ 77238160099290566275145908557040468453876524522362288826904984941*c\ _0101_6^2 + 6614133426988662160622114630687329960657207205799517837\ 3222240401699258395242417512854721585081/70920151706003254492248731\ 2103772381600992905662751459085570404684538765245223622888269049849\ 41*c_0101_6 - 45521001590428792339671644789230819528126332635912212\ 364922239756504604265638038546631183181900/709201517060032544922487\ 3121037723816009929056627514590855704046845387652452236228882690498\ 4941, c_0101_1 + 473439516639374500639109522241787512779919085235675993956504\ 87889417908935573059392564256254/1649305853627982662610435609543656\ 701397657920145933625780396289964043640105171216019230348487*c_0101\ _6^27 - 39199838334643666738619038337178862268664556308275173528104\ 4564123645297018738516078263366332/16493058536279826626104356095436\ 56701397657920145933625780396289964043640105171216019230348487*c_01\ 01_6^26 - 306496454057038118220016083288040991427521775385704384655\ 4054620597822062792508684030230178311/16493058536279826626104356095\ 43656701397657920145933625780396289964043640105171216019230348487*c\ _0101_6^25 + 182064860386780999384546719859553134908844374431911333\ 27817559313549855345050851890894720389342/1649305853627982662610435\ 6095436567013976579201459336257803962899640436401051712160192303484\ 87*c_0101_6^24 + 87540211323782535417758310027847398651843993747903\ 1234685567805227803088492766496480257762850/35091613906978354523626\ 2895647586532212267642584241196974552402120009285128759833195580925\ 21*c_0101_6^23 - 78477448060915639225532020043409087103827209542781\ 31671315224933445779655072536665537254966289/5320341463316073105194\ 9535791730861335408320004707536315496654514969149680811974710297753\ 177*c_0101_6^22 + 1219161659433658709032401109091230419969294073127\ 78162927290435784582646107512256067786635441215/1649305853627982662\ 6104356095436567013976579201459336257803962899640436401051712160192\ 30348487*c_0101_6^21 + 11785918409047733350714357352068568045806063\ 6949416659562936876674271367026709412286951201193959/16493058536279\ 8266261043560954365670139765792014593362578039628996404364010517121\ 6019230348487*c_0101_6^20 - 144955746736711836867872599289536466055\ 8597662493871069622874334612374499727842060253278625828798/16493058\ 5362798266261043560954365670139765792014593362578039628996404364010\ 5171216019230348487*c_0101_6^19 + 746702252467834173746263416519188\ 1083683754186960304333474233934482595403992052914112219067683694/16\ 4930585362798266261043560954365670139765792014593362578039628996404\ 3640105171216019230348487*c_0101_6^18 - 6113553607375997577751763967920953342249001147580428526877606085606\ 448641532289480513328599136172/164930585362798266261043560954365670\ 1397657920145933625780396289964043640105171216019230348487*c_0101_6\ ^17 - 9481115298016510748258980971071905175913050172553581133174966\ 336147987052836690934042453419279858/164930585362798266261043560954\ 3656701397657920145933625780396289964043640105171216019230348487*c_\ 0101_6^16 + 3115700583044740926942718818361551288660025301963726405\ 6907153670129428975493052542434084270105681/16493058536279826626104\ 3560954365670139765792014593362578039628996404364010517121601923034\ 8487*c_0101_6^15 - 585495256281368302673680306479165959503887323200\ 70352367429506138392643769764562230016698807505510/1649305853627982\ 6626104356095436567013976579201459336257803962899640436401051712160\ 19230348487*c_0101_6^14 + 16758902669125075015354764431211880125251\ 142697200669823298261779676583698094481524224199145456919/164930585\ 3627982662610435609543656701397657920145933625780396289964043640105\ 171216019230348487*c_0101_6^13 + 3549423109237060302845770675475853\ 5990763727122244819793245882437291913045792794044308494871647331/16\ 4930585362798266261043560954365670139765792014593362578039628996404\ 3640105171216019230348487*c_0101_6^12 - 1254151704503719362196753754080571483369657733666741397301629388063\ 5197843675157191879126958448007/16493058536279826626104356095436567\ 01397657920145933625780396289964043640105171216019230348487*c_0101_\ 6^11 + 269317207515558793726478485736088431070063099647941068430791\ 04426059100394910622743716430659088647/1649305853627982662610435609\ 543656701397657920145933625780396289964043640105171216019230348487*\ c_0101_6^10 - 39061891682732935954337528103504332185040744889550720\ 86391933184798751624182699629791677810726152/1649305853627982662610\ 4356095436567013976579201459336257803962899640436401051712160192303\ 48487*c_0101_6^9 + 511872547889614998981305868131971865167386632828\ 5784687028677049942193200201745355047435920868809/16493058536279826\ 6261043560954365670139765792014593362578039628996404364010517121601\ 9230348487*c_0101_6^8 + 6461847097894417226308955283536443830262030\ 825631237242890368043183681480025806069420129767277810/164930585362\ 7982662610435609543656701397657920145933625780396289964043640105171\ 216019230348487*c_0101_6^7 - 17230970949564223377145399097022092519\ 436269217244700781689358861609489371800951206539788087067518/164930\ 5853627982662610435609543656701397657920145933625780396289964043640\ 105171216019230348487*c_0101_6^6 - 1696324824373892181538113011659268272927672057275273843252745045601\ 34875618106892977012767574890/5320341463316073105194953579173086133\ 5408320004707536315496654514969149680811974710297753177*c_0101_6^5 + 2138255120774000086495602038034210367996423708419897747573334746852\ 871754434115252310680208032826/164930585362798266261043560954365670\ 1397657920145933625780396289964043640105171216019230348487*c_0101_6\ ^4 + 82436426398321808587675047487937202028888393475401609954862372\ 562503768338621070887581572373742/164930585362798266261043560954365\ 6701397657920145933625780396289964043640105171216019230348487*c_010\ 1_6^3 - 83400858712092005947908657171941353627801822570145951449036\ 219871732005122461029532948131413408/164930585362798266261043560954\ 3656701397657920145933625780396289964043640105171216019230348487*c_\ 0101_6^2 + 32472508160775050746534896218424898014456242407725621600\ 23707244055003202707180308560079125181/1649305853627982662610435609\ 543656701397657920145933625780396289964043640105171216019230348487*\ c_0101_6 + 95015220854435019618305501339417423725877479719997358482\ 1214469000446802959472125350379465754/16493058536279826626104356095\ 43656701397657920145933625780396289964043640105171216019230348487, c_0101_5 - 499472312750771918517795142097741597443049633830288334652273\ 977826931578342793886731795125050/709201517060032544922487312103772\ 38160099290566275145908557040468453876524522362288826904984941*c_01\ 01_6^27 + 430898094452902969524795396858028302503386971039319274684\ 4727897599400364718402080182832168386/70920151706003254492248731210\ 377238160099290566275145908557040468453876524522362288826904984941*\ c_0101_6^26 + 30927378854535483791238473034670493180862589568418166\ 350709616803650473201522348591701359904635/709201517060032544922487\ 3121037723816009929056627514590855704046845387652452236228882690498\ 4941*c_0101_6^25 - 203532486702505760721224512609599257575268906360\ 634070048141606099805159145645214955424799262546/709201517060032544\ 9224873121037723816009929056627514590855704046845387652452236228882\ 6904984941*c_0101_6^24 - 785703553409442767482628579530677857974725\ 9343918954677481931136863120665139815442880936751530/15089393980000\ 6924451593045128462208851275086311223714699057532911603992605366728\ 2740997978403*c_0101_6^23 + 879905262194575453816641879870737263540\ 24110956999532337166052671729856275807249347198119529324/2287746829\ 2259114352338300390444270374225577602024240615663561441436734362749\ 14912542803386611*c_0101_6^22 - 21493837410730815860507382158056611\ 34760562040625837618552766784816726865815773072345864920418658/7092\ 0151706003254492248731210377238160099290566275145908557040468453876\ 524522362288826904984941*c_0101_6^21 - 9352485245557036277914988895052363727730068694477061362738141050337\ 16473682552167661597223998251/7092015170600325449224873121037723816\ 0099290566275145908557040468453876524522362288826904984941*c_0101_6\ ^20 + 1575401298694254582525304646697849581087311623542001920845374\ 5943522288330252933391676571195615394/70920151706003254492248731210\ 377238160099290566275145908557040468453876524522362288826904984941*\ c_0101_6^19 - 84000391583551115509045120844312746142895435159899553\ 988104940737520835502935135841411691928433637/709201517060032544922\ 4873121037723816009929056627514590855704046845387652452236228882690\ 4984941*c_0101_6^18 + 910048491583371991966287463486866625420027733\ 48019254538268007613619682360630240917484154391154336/7092015170600\ 3254492248731210377238160099290566275145908557040468453876524522362\ 288826904984941*c_0101_6^17 + 8186234472384226464795469161938868396\ 0205155968097635688010178406784419063369686373272080927915639/70920\ 1517060032544922487312103772381600992905662751459085570404684538765\ 24522362288826904984941*c_0101_6^16 - 3657788294138526985904816801393381275538841111248535878048539845029\ 92130367965767729290515316502656/7092015170600325449224873121037723\ 8160099290566275145908557040468453876524522362288826904984941*c_010\ 1_6^15 + 7252136881071091979314575588516301354101530128242374409227\ 76239126051755824549231099370779513870707/7092015170600325449224873\ 1210377238160099290566275145908557040468453876524522362288826904984\ 941*c_0101_6^14 - 3744690224598178376106842261835227064326376614439\ 05122052930502681965542477073216986021226877762905/7092015170600325\ 4492248731210377238160099290566275145908557040468453876524522362288\ 826904984941*c_0101_6^13 - 3428218752295516710257935056881756335954\ 00522644742243988170516343364477923571724573838258503114235/7092015\ 1706003254492248731210377238160099290566275145908557040468453876524\ 522362288826904984941*c_0101_6^12 + 2624378600630793796687120510073519578288989852802035070119048292712\ 94493200661082518044827276372141/7092015170600325449224873121037723\ 8160099290566275145908557040468453876524522362288826904984941*c_010\ 1_6^11 - 3073413837089938196841486180772264123331252467031977244189\ 18856238926786751499774877262237099697419/7092015170600325449224873\ 1210377238160099290566275145908557040468453876524522362288826904984\ 941*c_0101_6^10 + 1395672109839958378756747082107167456793372442491\ 94379267450647560815876477188999910051637715248072/7092015170600325\ 4492248731210377238160099290566275145908557040468453876524522362288\ 826904984941*c_0101_6^9 - 53860818310866551295658325531911622654946\ 152995472729784407951081188595387154097583464994151062910/709201517\ 0600325449224873121037723816009929056627514590855704046845387652452\ 2362288826904984941*c_0101_6^8 - 4655237448984803426656363102024995\ 5868578494411551713196770440750357542313107303461624127967643482/70\ 9201517060032544922487312103772381600992905662751459085570404684538\ 76524522362288826904984941*c_0101_6^7 + 2084850996976575794229030865988195243149501682245315525052439311514\ 43763238635496081514364685156900/7092015170600325449224873121037723\ 8160099290566275145908557040468453876524522362288826904984941*c_010\ 1_6^6 - 89931844910194341801543784178590601047547165018756342568360\ 657219861837682868228808089527470841/228774682922591143523383003904\ 4427037422557760202424061566356144143673436274914912542803386611*c_\ 0101_6^5 - 50767138813799552660105084618271370214602679567856357279\ 568233483806640451996480191488076528776064/709201517060032544922487\ 3121037723816009929056627514590855704046845387652452236228882690498\ 4941*c_0101_6^4 + 6881846573891688083801293702181558949669032567702\ 23753721158226330823849114062279458437948982024/7092015170600325449\ 2248731210377238160099290566275145908557040468453876524522362288826\ 904984941*c_0101_6^3 + 11672068949731925791697698904374012397932353\ 77190033550090718642065738258480466010690258149380515/7092015170600\ 3254492248731210377238160099290566275145908557040468453876524522362\ 288826904984941*c_0101_6^2 - 12359337258892982062709503619394558092\ 5188122198574445565989083246424111040664861786538169605229/70920151\ 7060032544922487312103772381600992905662751459085570404684538765245\ 22362288826904984941*c_0101_6 - 89106415337079439209670377884383255\ 69678329689377170451578938648894623610028930618926646458335/7092015\ 1706003254492248731210377238160099290566275145908557040468453876524\ 522362288826904984941, c_0101_6^28 - 8*c_0101_6^27 - 67*c_0101_6^26 + 366*c_0101_6^25 + 973*c_0101_6^24 - 4875*c_0101_6^23 + 1189*c_0101_6^22 + 2938*c_0101_6^21 - 29832*c_0101_6^20 + 149302*c_0101_6^19 - 86648*c_0101_6^18 - 228050*c_0101_6^17 + 596570*c_0101_6^16 - 1064487*c_0101_6^15 + 41578*c_0101_6^14 + 787388*c_0101_6^13 - 47116*c_0101_6^12 + 536154*c_0101_6^11 + 71602*c_0101_6^10 + 114687*c_0101_6^9 + 168001*c_0101_6^8 - 319208*c_0101_6^7 - 204638*c_0101_6^6 - 3835*c_0101_6^5 + 4572*c_0101_6^4 - 785*c_0101_6^3 - 127*c_0101_6^2 + 5*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB