Magma V2.19-8 Tue Aug 20 2013 16:17:32 on localhost [Seed = 2732801662] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1772 geometric_solution 5.45539411 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 2 3 0132 3201 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.321784912520 0.364632157891 0 1 0 1 0132 2310 2310 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 0 0 0 0 0 0 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.307073337847 0.589779863159 4 3 5 0 0132 3012 0132 0132 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.643443787455 0.962136729850 2 4 0 5 1230 0132 0132 3201 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 -1 0 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.643443787455 0.962136729850 2 3 6 6 0132 0132 0132 2310 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 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.111195397101 1.625693792225 5 3 5 2 2310 2310 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 -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.204205297967 1.221945562444 4 6 6 4 3201 1230 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.153753137773 0.468263612306 ==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' : negation(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_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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_5']), 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_2']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : negation(d['c_0011_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0011_2']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_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_2, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 7895734881747267794398512554269156100790658753672753258277512/65980\ 56478289094049256001059296121440359497447626504259725*c_0101_2^24 + 105819256608435647925671027372115823875432947383976611594177544/659\ 8056478289094049256001059296121440359497447626504259725*c_0101_2^23 + 409615365381074054754787399864305824187629709915498912518545506/6\ 598056478289094049256001059296121440359497447626504259725*c_0101_2^\ 22 - 15984533903813386645979868948756084569356769376619184144858624\ 83/6598056478289094049256001059296121440359497447626504259725*c_010\ 1_2^21 - 7826854570909755301328553923296710750394484053363769797988\ 98994/1319611295657818809851200211859224288071899489525300851945*c_\ 0101_2^20 + 5449100493123519321309624591849335060916342757632164729\ 050681889/659805647828909404925600105929612144035949744762650425972\ 5*c_0101_2^19 + 123567673002925243782394480355901021618261504520823\ 39037865018823/6598056478289094049256001059296121440359497447626504\ 259725*c_0101_2^18 - 5038640627879457227747837696430902847707231757\ 18352639963846329/5998233162080994590232728235723746763963179497842\ 27659975*c_0101_2^17 - 17596163960849701700412539069323628846661717\ 373104992493823029571/659805647828909404925600105929612144035949744\ 7626504259725*c_0101_2^16 + 112299048750563036746396452330318555183\ 03791391780596680790074088/6598056478289094049256001059296121440359\ 497447626504259725*c_0101_2^15 + 6970920426662091559128407129623638\ 984310335096463178661449020086/659805647828909404925600105929612144\ 0359497447626504259725*c_0101_2^14 - 22328826473682434872201263510538002523942641211475447452768173621/6\ 598056478289094049256001059296121440359497447626504259725*c_0101_2^\ 13 - 70651085172410665752945014628641795060913407350024847213226081\ 57/6598056478289094049256001059296121440359497447626504259725*c_010\ 1_2^12 + 5573312361399823637881594157353141085297451681650151932996\ 316769/1319611295657818809851200211859224288071899489525300851945*c\ _0101_2^11 + 115400077364337810779860310647294060885943975809877370\ 96571583111/6598056478289094049256001059296121440359497447626504259\ 725*c_0101_2^10 - 3441787773934518594083240043074331460304851493411\ 824572742894933/131961129565781880985120021185922428807189948952530\ 0851945*c_0101_2^9 - 3300053314153274537852133617398585308425788330\ 70443149493270989/2639222591315637619702400423718448576143798979050\ 60170389*c_0101_2^8 + 466287229320885656153196892469878440729671519\ 3040241774072149701/65980564782890940492560010592961214403594974476\ 26504259725*c_0101_2^7 + 674809069023279401000180898326567115194488\ 821029212418873693188/131961129565781880985120021185922428807189948\ 9525300851945*c_0101_2^6 - 5666296010485394028849118533444334282590\ 93171693285481847802177/6598056478289094049256001059296121440359497\ 447626504259725*c_0101_2^5 - 24416151017222004012098509514355758775\ 38467929346756480819212/2399293264832397836093091294289498705585271\ 7991369106399*c_0101_2^4 - 1886833208659714344525023426733973015879\ 5119946571794541793788/65980564782890940492560010592961214403594974\ 47626504259725*c_0101_2^3 + 657016107711759431365608955593770347454\ 33708924932303559827366/6598056478289094049256001059296121440359497\ 447626504259725*c_0101_2^2 + 79738703885287733592323725120743679170\ 34640078574091838729314/6598056478289094049256001059296121440359497\ 447626504259725*c_0101_2 - 2328216123570205291019023675343284064383\ 346219091910817943211/659805647828909404925600105929612144035949744\ 7626504259725, c_0011_0 - 1, c_0011_2 + 14552137920725765766403431738950744835724670353512461792/218\ 1175695302179850993719358444998823259337999215373309*c_0101_2^24 - 196647883924243815849013911557646957351604148307855450792/218117569\ 5302179850993719358444998823259337999215373309*c_0101_2^23 - 732738703391031377588212104479684663560099386729172039424/218117569\ 5302179850993719358444998823259337999215373309*c_0101_2^22 + 3024174951536516786253715957352346788730596949280036219902/21811756\ 95302179850993719358444998823259337999215373309*c_0101_2^21 + 6847326857127570668021596053294675651552297029170521872505/21811756\ 95302179850993719358444998823259337999215373309*c_0101_2^20 - 10791598270302619901884218022104997834002917959663667736870/2181175\ 695302179850993719358444998823259337999215373309*c_0101_2^19 - 21243967395930594822931999267029889385358021606548961599444/2181175\ 695302179850993719358444998823259337999215373309*c_0101_2^18 + 12856723438772904701911979972402086929948722171031072637391/2181175\ 695302179850993719358444998823259337999215373309*c_0101_2^17 + 30039425054078086541599673959272499207836318855484839721172/2181175\ 695302179850993719358444998823259337999215373309*c_0101_2^16 - 25283127986007722211593574778123007616630362811403526943880/2181175\ 695302179850993719358444998823259337999215373309*c_0101_2^15 - 9190551374431445730601997781402627274290306087068623431169/21811756\ 95302179850993719358444998823259337999215373309*c_0101_2^14 + 43462201921081505757963866840077290373325005997282608402425/2181175\ 695302179850993719358444998823259337999215373309*c_0101_2^13 + 7085718762145539638174087423407999307583496964400315180435/21811756\ 95302179850993719358444998823259337999215373309*c_0101_2^12 - 51841832549603021264097944618058382086644170934191038188827/2181175\ 695302179850993719358444998823259337999215373309*c_0101_2^11 - 12899771484787610469246712744223651721547936816464499254825/2181175\ 695302179850993719358444998823259337999215373309*c_0101_2^10 + 33293839690772332192149598414088765737450190324352678270976/2181175\ 695302179850993719358444998823259337999215373309*c_0101_2^9 + 8666291662271738536855820701934982907595865950957744741288/21811756\ 95302179850993719358444998823259337999215373309*c_0101_2^8 - 10515985561698877103310291398722090021563246131135037136205/2181175\ 695302179850993719358444998823259337999215373309*c_0101_2^7 - 3757979039205535886674753466840850123712444850685189167026/21811756\ 95302179850993719358444998823259337999215373309*c_0101_2^6 + 2027228516178543605671525448075799817861245020101879725590/21811756\ 95302179850993719358444998823259337999215373309*c_0101_2^5 + 812563317341568491986750304074652979251175980690961788223/218117569\ 5302179850993719358444998823259337999215373309*c_0101_2^4 - 184627939480470682727577696525086874615440206000344590818/218117569\ 5302179850993719358444998823259337999215373309*c_0101_2^3 - 88318510766152635304160187646705609698567355963345040760/2181175695\ 302179850993719358444998823259337999215373309*c_0101_2^2 + 4313517565393794702127132355315268832812048769504009523/21811756953\ 02179850993719358444998823259337999215373309*c_0101_2 + 3325209722537113584446309606923317262184727652646053178/21811756953\ 02179850993719358444998823259337999215373309, c_0011_5 - 43975068826955021631686540691297639128528697794461206008/218\ 1175695302179850993719358444998823259337999215373309*c_0101_2^24 + 588880689167594029901488588469100857210345098118996594320/218117569\ 5302179850993719358444998823259337999215373309*c_0101_2^23 + 2286231290942972151468142581328210380045948315633337764510/21811756\ 95302179850993719358444998823259337999215373309*c_0101_2^22 - 8858230207945822699751801715677602720449532881812135474779/21811756\ 95302179850993719358444998823259337999215373309*c_0101_2^21 - 21808615895239785174374648858013439796861008019714575900659/2181175\ 695302179850993719358444998823259337999215373309*c_0101_2^20 + 29842152735036062455117699932097240992217595855489492320850/2181175\ 695302179850993719358444998823259337999215373309*c_0101_2^19 + 68343660113650227982331209058140280827406463921852774916402/2181175\ 695302179850993719358444998823259337999215373309*c_0101_2^18 - 29434536417858969889437708924780468774853261937461936658490/2181175\ 695302179850993719358444998823259337999215373309*c_0101_2^17 - 95998711204259118422427985897718452977392333501387342492985/2181175\ 695302179850993719358444998823259337999215373309*c_0101_2^16 + 61436270800631021386977652195170391056254869264742456419938/2181175\ 695302179850993719358444998823259337999215373309*c_0101_2^15 + 36838758041957277424126380977237166350226866877693513894083/2181175\ 695302179850993719358444998823259337999215373309*c_0101_2^14 - 122819051121112758644238988827583818975646219043658471111700/218117\ 5695302179850993719358444998823259337999215373309*c_0101_2^13 - 39874057413661678401971469943840290371444026766410562324839/2181175\ 695302179850993719358444998823259337999215373309*c_0101_2^12 + 151281022060249879240819726845324931763487691426346621310280/218117\ 5695302179850993719358444998823259337999215373309*c_0101_2^11 + 63772976055100148563637551315921376615959629014385226499509/2181175\ 695302179850993719358444998823259337999215373309*c_0101_2^10 - 91723889815377876919407567776285057088685727348254385580738/2181175\ 695302179850993719358444998823259337999215373309*c_0101_2^9 - 44197639539817369241630642252151164323306285372475898023265/2181175\ 695302179850993719358444998823259337999215373309*c_0101_2^8 + 24364922068689539146158516383215314373417520059873243896402/2181175\ 695302179850993719358444998823259337999215373309*c_0101_2^7 + 17859670741883162882584133434599419939450413757527954282696/2181175\ 695302179850993719358444998823259337999215373309*c_0101_2^6 - 3054571883167555273813254420967896916013817471961835882914/21811756\ 95302179850993719358444998823259337999215373309*c_0101_2^5 - 3523374635843000818291359027715355950809611285325223447354/21811756\ 95302179850993719358444998823259337999215373309*c_0101_2^4 - 73781686799693873415981406284888228952522092312737336600/2181175695\ 302179850993719358444998823259337999215373309*c_0101_2^3 + 352997397682442826430401292247284850110390385920357473369/218117569\ 5302179850993719358444998823259337999215373309*c_0101_2^2 + 37079387845865247842780091530648187341436089593623592188/2181175695\ 302179850993719358444998823259337999215373309*c_0101_2 - 14896028474510777848867917629578588680074141057752781327/2181175695\ 302179850993719358444998823259337999215373309, c_0011_6 + 3853027135018646700770157550019625905970676164951132208/2181\ 175695302179850993719358444998823259337999215373309*c_0101_2^24 - 50720076050438815458728043696175127537726674606485085192/2181175695\ 302179850993719358444998823259337999215373309*c_0101_2^23 - 211395613996216817270643772095911118568467989070405246316/218117569\ 5302179850993719358444998823259337999215373309*c_0101_2^22 + 721904950126051240018135721475542796090765462295219823560/218117569\ 5302179850993719358444998823259337999215373309*c_0101_2^21 + 2050732224111560746387610148543215774604734873362513510041/21811756\ 95302179850993719358444998823259337999215373309*c_0101_2^20 - 2059899147304719160442407783005561247503785398503138383219/21811756\ 95302179850993719358444998823259337999215373309*c_0101_2^19 - 6228164084069159733403620773900072482882244208656541341764/21811756\ 95302179850993719358444998823259337999215373309*c_0101_2^18 + 910606627051789838755295004841846074323752911341572517135/218117569\ 5302179850993719358444998823259337999215373309*c_0101_2^17 + 7948110395707324395532619575588235660616092979839146437903/21811756\ 95302179850993719358444998823259337999215373309*c_0101_2^16 - 3486944532939771182296604480281642742002156153483845769228/21811756\ 95302179850993719358444998823259337999215373309*c_0101_2^15 - 3209282186532226285168385591000959463947895909953783518703/21811756\ 95302179850993719358444998823259337999215373309*c_0101_2^14 + 9685749040469132120171701034190162393866962742488108661891/21811756\ 95302179850993719358444998823259337999215373309*c_0101_2^13 + 5562838273056019814680529157009415381716051065183319145346/21811756\ 95302179850993719358444998823259337999215373309*c_0101_2^12 - 11104598302996130605613105653198050015884690034868939527061/2181175\ 695302179850993719358444998823259337999215373309*c_0101_2^11 - 7554973882730689062443612063498522263720507530896236277471/21811756\ 95302179850993719358444998823259337999215373309*c_0101_2^10 + 5259074999080609646199475463779214522362743067541666299388/21811756\ 95302179850993719358444998823259337999215373309*c_0101_2^9 + 4203569322840360647306545657164954875649490341133038164529/21811756\ 95302179850993719358444998823259337999215373309*c_0101_2^8 - 869536762417847774898088074896657988634406493319724063995/218117569\ 5302179850993719358444998823259337999215373309*c_0101_2^7 - 1244756339192419570967816179416668349409484137937934402361/21811756\ 95302179850993719358444998823259337999215373309*c_0101_2^6 + 119250042872511220303946389813023290571662400967380569103/218117569\ 5302179850993719358444998823259337999215373309*c_0101_2^5 + 163301581332697435342631003147131329403948203896179164752/218117569\ 5302179850993719358444998823259337999215373309*c_0101_2^4 - 10649885579334097958674512112908102852640404871301678637/2181175695\ 302179850993719358444998823259337999215373309*c_0101_2^3 - 20863460099192935862473174260763121741713282230228576114/2181175695\ 302179850993719358444998823259337999215373309*c_0101_2^2 + 3475159867050343645870724575792814677586424619970340294/21811756953\ 02179850993719358444998823259337999215373309*c_0101_2 + 1480705068709857671313600972877284925481852494741247178/21811756953\ 02179850993719358444998823259337999215373309, c_0101_0 - 2025335501610015828041507034584163914389924586094119792/2181\ 175695302179850993719358444998823259337999215373309*c_0101_2^24 + 22065573777045196081578889972435069759966137715032818960/2181175695\ 302179850993719358444998823259337999215373309*c_0101_2^23 + 171668746234104003994314623027678088338272447907292776884/218117569\ 5302179850993719358444998823259337999215373309*c_0101_2^22 - 128161770765905748349221420603964664480550920120415681762/218117569\ 5302179850993719358444998823259337999215373309*c_0101_2^21 - 1941290510567034099575182508009293637926994239132985422806/21811756\ 95302179850993719358444998823259337999215373309*c_0101_2^20 - 1349812242163665347267773119958403267793699225385208105919/21811756\ 95302179850993719358444998823259337999215373309*c_0101_2^19 + 5745444501015161235461334509957485275769298877531566365719/21811756\ 95302179850993719358444998823259337999215373309*c_0101_2^18 + 6894648740135826264838093639963925634255657986650775628273/21811756\ 95302179850993719358444998823259337999215373309*c_0101_2^17 - 5267198607460531810773437705548809750830612130398492357636/21811756\ 95302179850993719358444998823259337999215373309*c_0101_2^16 - 7528228422122857517252998982913286463730806331699128671826/21811756\ 95302179850993719358444998823259337999215373309*c_0101_2^15 + 5751067715036803219824033697242963208805091439909189692166/21811756\ 95302179850993719358444998823259337999215373309*c_0101_2^14 - 1553543876063694165383813643674917600010419866323506797990/21811756\ 95302179850993719358444998823259337999215373309*c_0101_2^13 - 14211585303190889531487771238774907346408179309672566121919/2181175\ 695302179850993719358444998823259337999215373309*c_0101_2^12 - 476523573584935298486038351931027173763455881575434521752/218117569\ 5302179850993719358444998823259337999215373309*c_0101_2^11 + 16871520331894003841653021907969947046811116224312714233610/2181175\ 695302179850993719358444998823259337999215373309*c_0101_2^10 + 6184350171778369511675993660979169004782689170856096713322/21811756\ 95302179850993719358444998823259337999215373309*c_0101_2^9 - 8042678943959923662990595170681840129441977849212398880196/21811756\ 95302179850993719358444998823259337999215373309*c_0101_2^8 - 4585677903937683592630855637493623647346010232555593543588/21811756\ 95302179850993719358444998823259337999215373309*c_0101_2^7 + 1191606087813662630737282570462854952277828300535107773625/21811756\ 95302179850993719358444998823259337999215373309*c_0101_2^6 + 1418205630850274271009032371467056185524021411352365404862/21811756\ 95302179850993719358444998823259337999215373309*c_0101_2^5 + 40659192304390158170660030461891392006177499817054872354/2181175695\ 302179850993719358444998823259337999215373309*c_0101_2^4 - 165182190176084122269944497926018641369662761273237382300/218117569\ 5302179850993719358444998823259337999215373309*c_0101_2^3 - 35137263383932020891994875891977968832656611416134927606/2181175695\ 302179850993719358444998823259337999215373309*c_0101_2^2 + 6232691416188996802480370311836660633551996760435976610/21811756953\ 02179850993719358444998823259337999215373309*c_0101_2 + 2082422637933428092837704141418182126954773055884790031/21811756953\ 02179850993719358444998823259337999215373309, c_0101_1 + 45817593472786717107723364376616554697755570902149932624/218\ 1175695302179850993719358444998823259337999215373309*c_0101_2^24 - 605089821738280632754360615305499210430613147020690870408/218117569\ 5302179850993719358444998823259337999215373309*c_0101_2^23 - 2493761859916643974772848483529997852588508177818616540556/21811756\ 95302179850993719358444998823259337999215373309*c_0101_2^22 + 8769359384823376241597366462656046051884272714272901757412/21811756\ 95302179850993719358444998823259337999215373309*c_0101_2^21 + 24322097835738440041072243130470656947124202353996458888339/2181175\ 695302179850993719358444998823259337999215373309*c_0101_2^20 - 26657212704416758900525862559905751662253980717018457173636/2181175\ 695302179850993719358444998823259337999215373309*c_0101_2^19 - 75836825496021074908434194925763010647127900538119387137576/2181175\ 695302179850993719358444998823259337999215373309*c_0101_2^18 + 17261704381897362452904266707293574231084957234160908634743/2181175\ 695302179850993719358444998823259337999215373309*c_0101_2^17 + 102205500391440910574583320746120116098255847486236875421558/218117\ 5695302179850993719358444998823259337999215373309*c_0101_2^16 - 47066945232851750192253983611128578799383277030254323737495/2181175\ 695302179850993719358444998823259337999215373309*c_0101_2^15 - 46018294335391660039320138109483475599346090583730748252584/2181175\ 695302179850993719358444998823259337999215373309*c_0101_2^14 + 122115489338587652195813529575533906955855142729636696620355/218117\ 5695302179850993719358444998823259337999215373309*c_0101_2^13 + 62137665191316266757781725729050382318162780663142170945884/2181175\ 695302179850993719358444998823259337999215373309*c_0101_2^12 - 146765069765632744716145341117776094573196846207706720558389/218117\ 5695302179850993719358444998823259337999215373309*c_0101_2^11 - 89898737431215992030515068087447291787670938827635609789234/2181175\ 695302179850993719358444998823259337999215373309*c_0101_2^10 + 79634475634983675903797431651798093883579631173213318435066/2181175\ 695302179850993719358444998823259337999215373309*c_0101_2^9 + 56301647121014605378190050339290632467687997974623270731892/2181175\ 695302179850993719358444998823259337999215373309*c_0101_2^8 - 16507554749977254346002032536696972599894702606028026695644/2181175\ 695302179850993719358444998823259337999215373309*c_0101_2^7 - 19116898559845396877971364488799221520341026761162496401571/2181175\ 695302179850993719358444998823259337999215373309*c_0101_2^6 + 692260821146885025617587848852524718188354254896907858027/218117569\ 5302179850993719358444998823259337999215373309*c_0101_2^5 + 3267525074956287053993151579982498169206796552783083940904/21811756\ 95302179850993719358444998823259337999215373309*c_0101_2^4 + 311237076908456014203555602063518027913435998630004513458/218117569\ 5302179850993719358444998823259337999215373309*c_0101_2^3 - 270249383900711250841111667867568319264344002469452063572/218117569\ 5302179850993719358444998823259337999215373309*c_0101_2^2 - 40507306018691498864363621144727346350975025582987843846/2181175695\ 302179850993719358444998823259337999215373309*c_0101_2 + 9413728651125813362251037247106783476233958405049174929/21811756953\ 02179850993719358444998823259337999215373309, c_0101_2^25 - 13*c_0101_2^24 - 229/4*c_0101_2^23 + 1451/8*c_0101_2^22 + 576*c_0101_2^21 - 1953/4*c_0101_2^20 - 1832*c_0101_2^19 + 553/8*c_0101_2^18 + 19843/8*c_0101_2^17 - 2153/4*c_0101_2^16 - 5691/4*c_0101_2^15 + 19813/8*c_0101_2^14 + 4031/2*c_0101_2^13 - 25093/8*c_0101_2^12 - 11347/4*c_0101_2^11 + 12509/8*c_0101_2^10 + 3735/2*c_0101_2^9 - 173*c_0101_2^8 - 2563/4*c_0101_2^7 - 361/4*c_0101_2^6 + 441/4*c_0101_2^5 + 267/8*c_0101_2^4 - 61/8*c_0101_2^3 - 4*c_0101_2^2 + 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB