Magma V2.19-8 Tue Aug 20 2013 16:18:50 on localhost [Seed = 913812297] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3002 geometric_solution 6.17936177 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 -1 0 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 -1 0 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.897846034043 0.482032056199 0 2 3 0 0132 0132 0132 3201 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 1 0 -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.457865688746 0.929832062849 4 1 5 6 0132 0132 0132 0132 0 0 0 0 0 0 -1 1 0 0 1 -1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.289553546455 0.825583364246 5 6 4 1 1023 2310 2310 0132 0 0 0 0 0 1 0 -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 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.289553546455 0.825583364246 2 3 4 4 0132 3201 2031 1302 0 0 0 0 0 -1 1 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.141449721424 0.604779810161 5 3 5 2 2031 1023 1302 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.854882555110 0.694523028439 6 6 2 3 1230 3012 0132 3201 0 0 0 0 0 0 -1 1 -1 0 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.355479541585 0.676341307520 ==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' : negation(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' : 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' : negation(d['c_0011_3']), 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], '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_3'], 'c_0011_4' : negation(d['c_0011_0']), '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_3'], 'c_0011_2' : d['c_0011_0'], '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' : negation(d['c_0011_6']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : negation(d['c_0011_6']), 'c_1010_1' : d['c_0101_1'], '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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 6472702765908476683683313769262377996829228916908055697189132119705\ 042139010414771/698760003159569072764294194681132463290145066282805\ 9681647174899930205078270509056*c_0101_4^26 - 5094580326386858142848559237139427071965344668116993842122047738360\ 3664252582427097/69876000315956907276429419468113246329014506628280\ 59681647174899930205078270509056*c_0101_4^25 - 4146044331231824154346541331868675390171780336825973671664814124101\ 27802435147748753/6987600031595690727642941946811324632901450662828\ 059681647174899930205078270509056*c_0101_4^24 - 1801297339259086802066166577770998199103991465199180773420080408932\ 1117648605552477/87345000394946134095536774335141557911268133285350\ 7460205896862491275634783813632*c_0101_4^23 + 3043267039534390500307661840323349598834150967955261082970689881121\ 214573339946444063/698760003159569072764294194681132463290145066282\ 8059681647174899930205078270509056*c_0101_4^22 + 4920003024286270875018282017158922287439738835012649039723067837036\ 776537944345922507/698760003159569072764294194681132463290145066282\ 8059681647174899930205078270509056*c_0101_4^21 - 4287697337509137561866531350429941822208035357866691640032629695731\ 984290076434685129/698760003159569072764294194681132463290145066282\ 8059681647174899930205078270509056*c_0101_4^20 - 1981060375784652050578824436884892759594825107980061605420200982709\ 8370456312013159147/69876000315956907276429419468113246329014506628\ 28059681647174899930205078270509056*c_0101_4^19 - 1647808051120066431466485600935773992674627527657985789464677820981\ 4085238992035444219/69876000315956907276429419468113246329014506628\ 28059681647174899930205078270509056*c_0101_4^18 + 1862818372127266994565140806617853179652398942086082117812346430495\ 4313420076161696201/69876000315956907276429419468113246329014506628\ 28059681647174899930205078270509056*c_0101_4^17 + 2211162742463230587723974187948495267883749731018994214058994989921\ 1013356478414594925/34938000157978453638214709734056623164507253314\ 14029840823587449965102539135254528*c_0101_4^16 + 1721983195062773514867338519690435717592513518727825996241302284305\ 5388030612820274355/34938000157978453638214709734056623164507253314\ 14029840823587449965102539135254528*c_0101_4^15 + 2619528753722925646426897692727027194524033601192124250838184896660\ 375168141911745859/698760003159569072764294194681132463290145066282\ 8059681647174899930205078270509056*c_0101_4^14 - 3469662721083776864979608649404500745940872821193043942229344782627\ 355770018873173361/436725001974730670477683871675707789556340666426\ 753730102948431245637817391906816*c_0101_4^13 - 3810604857671520345652113531673798883872519479812540264328999242197\ 0039554701349954231/34938000157978453638214709734056623164507253314\ 14029840823587449965102539135254528*c_0101_4^12 - 1718746229596440460475847712776182378120090043885940139611201576853\ 43496307978870343/5459062524684133380971048395946347369454258330334\ 4216262868553905704727173988352*c_0101_4^11 + 1284094494506814671284788749733646658258619828307141423977932015097\ 1116646797255739243/34938000157978453638214709734056623164507253314\ 14029840823587449965102539135254528*c_0101_4^10 + 5031637187431882213888127857062442494415937398725087794720619548902\ 797935555573313839/873450003949461340955367743351415579112681332853\ 507460205896862491275634783813632*c_0101_4^9 + 2275883429801804425454135194059333921176185920839180859237127510587\ 4514609237657333/34119140779275833631069052474664671059089114564590\ 13516429284619106545448374272*c_0101_4^8 + 2045644332276503730298454084371475451215364616240711640011429862155\ 8366683907552640463/69876000315956907276429419468113246329014506628\ 28059681647174899930205078270509056*c_0101_4^7 - 6993082148016448441023711226308250757149952781959391254251645341822\ 383273169506468373/349380001579784536382147097340566231645072533141\ 4029840823587449965102539135254528*c_0101_4^6 - 2382980874818119075108501875647010326527822824421312200096653307492\ 5731744848463629413/69876000315956907276429419468113246329014506628\ 28059681647174899930205078270509056*c_0101_4^5 - 1353026654671806749051231339434935395191904290656508240821016423670\ 257260242563772741/873450003949461340955367743351415579112681332853\ 507460205896862491275634783813632*c_0101_4^4 + 3006797266849164133667582929151771669638973041151846749213219832657\ 80211539281603993/4367250019747306704776838716757077895563406664267\ 53730102948431245637817391906816*c_0101_4^3 + 1993205981806886982910055011887408873858969930133523252799526579506\ 8802185848211879/54590625246841333809710483959463473694542583303344\ 216262868553905704727173988352*c_0101_4^2 + 6724811361642069287880131671687791881654493944272523638431139461107\ 342076670379411/272953126234206669048552419797317368472712916516721\ 08131434276952852363586994176*c_0101_4 - 9933493560534710899182521810160011867209867734284213100762087815026\ 8970065163841/85297851948189584077672631186661677647722786411475337\ 9107321154776636362093568, c_0011_0 - 1, c_0011_3 - 188193771247731520842839409976223509055052823839817028491623\ 386477947334100951/341191407792758336310690524746646710590891145645\ 9013516429284619106545448374272*c_0101_4^26 + 1159269510999821647444678471177211182524934345240255884262225025909\ 232231061581/341191407792758336310690524746646710590891145645901351\ 6429284619106545448374272*c_0101_4^25 + 1438039749479849934263586026476806438819450676397546788407840702976\ 8906052238053/34119140779275833631069052474664671059089114564590135\ 16429284619106545448374272*c_0101_4^24 + 1644898092225026854191852890613099544907720461346102460358930112496\ 200650278715/213244629870473960194181577966654194119306966028688344\ 776830288694159090523392*c_0101_4^23 - 6698180163161758157105740793590103482605884002007202171478970572609\ 7261066028403/34119140779275833631069052474664671059089114564590135\ 16429284619106545448374272*c_0101_4^22 - 2803644114111498493736345881804648039579685637629088281804721488632\ 46574423909319/3411914077927583363106905247466467105908911456459013\ 516429284619106545448374272*c_0101_4^21 - 2084400635278590390199975731331419075375724321144995711262663169899\ 11981562036291/3411914077927583363106905247466467105908911456459013\ 516429284619106545448374272*c_0101_4^20 + 5735336483756548863905480291340015671634325759831973238376303423211\ 28496813686263/3411914077927583363106905247466467105908911456459013\ 516429284619106545448374272*c_0101_4^19 + 1459005246457457761786094099201941745076527648800865857392558724795\ 522172552875639/341191407792758336310690524746646710590891145645901\ 3516429284619106545448374272*c_0101_4^18 + 9054998176497370938067412147696086103653257929924313899831487742673\ 54168471368611/3411914077927583363106905247466467105908911456459013\ 516429284619106545448374272*c_0101_4^17 - 6366169958610867050821153894834222749802801119556824229629989002211\ 23523989798461/1705957038963791681553452623733233552954455728229506\ 758214642309553272724187136*c_0101_4^16 - 1584983385589364206237961030020993058949482639008665877580399100951\ 990169217458511/170595703896379168155345262373323355295445572822950\ 6758214642309553272724187136*c_0101_4^15 - 3164035109282391909720824282383906277479521344317617655356800953874\ 831321734687287/341191407792758336310690524746646710590891145645901\ 3516429284619106545448374272*c_0101_4^14 - 6448577243263788529733885007336858745736195038606018097835298764446\ 8946309731905/42648925974094792038836315593330838823861393205737668\ 9553660577388318181046784*c_0101_4^13 + 1778005318349503147973483865643847836099496714654799149288947448226\ 474585499235467/170595703896379168155345262373323355295445572822950\ 6758214642309553272724187136*c_0101_4^12 + 3273282867907698568248370483866484484494064265789085142867003313373\ 08214088015651/2132446298704739601941815779666541941193069660286883\ 44776830288694159090523392*c_0101_4^11 + 1639197133583820255494627889413449044376044708779383411951043299104\ 082061900224689/170595703896379168155345262373323355295445572822950\ 6758214642309553272724187136*c_0101_4^10 + 2149533416421153751313232497061815082082952840487238677776892149591\ 1188119817383/42648925974094792038836315593330838823861393205737668\ 9553660577388318181046784*c_0101_4^9 - 3769139565284555100002618667614764870339059118206472236075611296262\ 6351324345861/53311157467618490048545394491663548529826741507172086\ 194207572173539772630848*c_0101_4^8 - 3526364169884326735655010260676867764003014041813243262332983324786\ 598084088923331/341191407792758336310690524746646710590891145645901\ 3516429284619106545448374272*c_0101_4^7 - 1237336830358255069774730393905430127315143586976488306946032453731\ 910354390103451/170595703896379168155345262373323355295445572822950\ 6758214642309553272724187136*c_0101_4^6 - 4753414938283332909517518540214530486188632814780663255563275843014\ 32685649228975/3411914077927583363106905247466467105908911456459013\ 516429284619106545448374272*c_0101_4^5 + 4406568349492395319185229146757563225247774762725207842887580793567\ 6230625265647/21324462987047396019418157796665419411930696602868834\ 4776830288694159090523392*c_0101_4^4 + 3781442151042535947915209346078163524826919916135918729901000575414\ 6330421581311/21324462987047396019418157796665419411930696602868834\ 4776830288694159090523392*c_0101_4^3 + 2945795907840544043919617033625165968097277246828535591856743472604\ 82273622217/6663894683452311256068174311457943566228342688396510774\ 275946521692471578856*c_0101_4^2 - 1085765631628372802415525809979728084388542556401259239319773953885\ 12433335571/1332778936690462251213634862291588713245668537679302154\ 8551893043384943157712*c_0101_4 - 203587699306586257334309909759399\ 55482874787488698759768936902664350233269783/1665973670863077814017\ 043577864485891557085672099127693568986630423117894714, c_0011_6 + 143413755105298241790549705946414175434000527458184789925707\ 928764281934202923/341191407792758336310690524746646710590891145645\ 9013516429284619106545448374272*c_0101_4^26 - 8035416034179171974322657280326798894235319555991947533609065563331\ 79468284645/3411914077927583363106905247466467105908911456459013516\ 429284619106545448374272*c_0101_4^25 - 1154292919766403012894931256104080782346728167580814739293208689097\ 4702538052269/34119140779275833631069052474664671059089114564590135\ 16429284619106545448374272*c_0101_4^24 - 6373884298345068851087557609744772638891091768493621499063038276605\ 908692163911/852978519481895840776726311866616776477227864114753379\ 107321154776636362093568*c_0101_4^23 + 4621803663606679628937597507273412304330630960328617041959962083241\ 9368436475895/34119140779275833631069052474664671059089114564590135\ 16429284619106545448374272*c_0101_4^22 + 2483497945366607554141129060540890706829798703764007380447122564457\ 35514649829295/3411914077927583363106905247466467105908911456459013\ 516429284619106545448374272*c_0101_4^21 + 2387946199430937514447281186001831517748441235923534825403877819161\ 31565857581131/3411914077927583363106905247466467105908911456459013\ 516429284619106545448374272*c_0101_4^20 - 4439929107053210498856633830964798480861495315613527650595112577269\ 47663654254103/3411914077927583363106905247466467105908911456459013\ 516429284619106545448374272*c_0101_4^19 - 1357389364600617507840133909193942901120166989400318385654706975124\ 767369346493103/341191407792758336310690524746646710590891145645901\ 3516429284619106545448374272*c_0101_4^18 - 1032374990551010829580626811939079305815625264139214828596417867279\ 601975810167467/341191407792758336310690524746646710590891145645901\ 3516429284619106545448374272*c_0101_4^17 + 4983744382120319295444623265929908774966819096357610550605718704154\ 30744136964607/1705957038963791681553452623733233552954455728229506\ 758214642309553272724187136*c_0101_4^16 + 1481816638809314415352856847246147788836692804758000381116966574425\ 382304517086751/170595703896379168155345262373323355295445572822950\ 6758214642309553272724187136*c_0101_4^15 + 3152661874919262671384275266168460533765178447909884446241588495267\ 819624116269843/341191407792758336310690524746646710590891145645901\ 3516429284619106545448374272*c_0101_4^14 + 2189181089530929262598959872328138256762993765027814702904612544232\ 66524141466923/8529785194818958407767263118666167764772278641147533\ 79107321154776636362093568*c_0101_4^13 - 1545812917862688442766574741426963003526868340971765738349329393887\ 473198135946223/170595703896379168155345262373323355295445572822950\ 6758214642309553272724187136*c_0101_4^12 - 6424227258492946772584241336248157506173765586794205685430939032022\ 37932691520171/4264892597409479203883631559333083882386139320573766\ 89553660577388318181046784*c_0101_4^11 - 1726384645507758997811909518690778844601188280869285212255698765618\ 787343571415101/170595703896379168155345262373323355295445572822950\ 6758214642309553272724187136*c_0101_4^10 - 2644916299737083370006387596845659766917616522904646149541592715250\ 6764449602377/21324462987047396019418157796665419411930696602868834\ 4776830288694159090523392*c_0101_4^9 + 6637899613059933169949966433822683328049986647975590240486688956473\ 7223875098223/10662231493523698009709078898332709705965348301434417\ 2388415144347079545261696*c_0101_4^8 + 3432633860660385065587143933178080364428821107988248912684589358970\ 383617739912231/341191407792758336310690524746646710590891145645901\ 3516429284619106545448374272*c_0101_4^7 + 1296174160809059635997069601808954009225411104077861536952821195637\ 977228093891945/170595703896379168155345262373323355295445572822950\ 6758214642309553272724187136*c_0101_4^6 + 6357047501756178825716911955397044010653727168147049456757082194184\ 62836965605611/3411914077927583363106905247466467105908911456459013\ 516429284619106545448374272*c_0101_4^5 - 1588956776546053667462777286827968052951729738402699479314688175778\ 64336399923891/8529785194818958407767263118666167764772278641147533\ 79107321154776636362093568*c_0101_4^4 - 4006893629057977534442265660409553799200326149661572831024353153237\ 3942674059481/21324462987047396019418157796665419411930696602868834\ 4776830288694159090523392*c_0101_4^3 - 2617093539979833834579042236111267297944089388515541253343877157780\ 977022238245/533111574676184900485453944916635485298267415071720861\ 94207572173539772630848*c_0101_4^2 + 5533221202385239870896326147853980137077078267450636964158425518482\ 3659687753/13327789366904622512136348622915887132456685376793021548\ 551893043384943157712*c_0101_4 + 4694128575757111892506471939167876\ 3194560974534490972013167260257099377157367/33319473417261556280340\ 87155728971783114171344198255387137973260846235789428, c_0101_0 - 405299507004307501585548909574005152975704295463517885944884\ 502375725057879943/136476563117103334524276209898658684236356458258\ 36054065717138476426181793497088*c_0101_4^26 + 2783712181531976498622580036598856410006857224441945827661649962048\ 815692506369/136476563117103334524276209898658684236356458258360540\ 65717138476426181793497088*c_0101_4^25 + 2894674016439555905561274562453497922717189910562733355406018932194\ 2745198555049/13647656311710333452427620989865868423635645825836054\ 065717138476426181793497088*c_0101_4^24 + 9145856839295835251578414414288947920688657628420649206628031170965\ 747801475417/341191407792758336310690524746646710590891145645901351\ 6429284619106545448374272*c_0101_4^23 - 1668501846159373438153551896272430456805804973428125306348776583417\ 35371596369379/1364765631171033345242762098986586842363564582583605\ 4065717138476426181793497088*c_0101_4^22 - 4846064419507969322735404418146091168617635234103372074514890753915\ 60129643931107/1364765631171033345242762098986586842363564582583605\ 4065717138476426181793497088*c_0101_4^21 - 1312971120338865969754788939212002295475650922465088115593233576492\ 72241202978671/1364765631171033345242762098986586842363564582583605\ 4065717138476426181793497088*c_0101_4^20 + 1285858929185667607703459648597461316005422870445413426073134480960\ 348827132805275/136476563117103334524276209898658684236356458258360\ 54065717138476426181793497088*c_0101_4^19 + 2269334593469018457237042283861292880752954107875804006397792190811\ 990543492493091/136476563117103334524276209898658684236356458258360\ 54065717138476426181793497088*c_0101_4^18 + 5270124967893657214681532736480258784609196885993638698032554288157\ 19056980773423/1364765631171033345242762098986586842363564582583605\ 4065717138476426181793497088*c_0101_4^17 - 1473819857235154964914138923385260932727598722470096001587709744657\ 541786745157175/682382815585516672621381049493293421181782291291802\ 7032858569238213090896748544*c_0101_4^16 - 2453586120989562827515620631247331808930536807525842299300677333701\ 236135918958579/682382815585516672621381049493293421181782291291802\ 7032858569238213090896748544*c_0101_4^15 - 3820541794979213696389506688397816817488236601424437068376413173547\ 885327665889535/136476563117103334524276209898658684236356458258360\ 54065717138476426181793497088*c_0101_4^14 + 2884798263868323366223862914633761403759576316488181150751454704270\ 05824096694863/3411914077927583363106905247466467105908911456459013\ 516429284619106545448374272*c_0101_4^13 + 3394331298359509349374882394678437216704415651306874704753752559815\ 108583282829531/682382815585516672621381049493293421181782291291802\ 7032858569238213090896748544*c_0101_4^12 + 8893184831370248934519606235900007364461730819257024191951686118272\ 66541572577089/1705957038963791681553452623733233552954455728229506\ 758214642309553272724187136*c_0101_4^11 + 1500049711322630801108165195957251754414584957555201406266411001125\ 261419762308897/682382815585516672621381049493293421181782291291802\ 7032858569238213090896748544*c_0101_4^10 - 9855784545433829700398046194276355641672042366847994779393179375002\ 889794164585/106622314935236980097090788983327097059653483014344172\ 388415144347079545261696*c_0101_4^9 - 1406621904730953623106078911507145169049153754126739920995914486143\ 65723500524265/4264892597409479203883631559333083882386139320573766\ 89553660577388318181046784*c_0101_4^8 - 5041408130909734217144863710178344162130495680986226999421890207676\ 815902081609907/136476563117103334524276209898658684236356458258360\ 54065717138476426181793497088*c_0101_4^7 - 1265490155167575134206906567752959979195555158880179787215909675945\ 334987142958097/682382815585516672621381049493293421181782291291802\ 7032858569238213090896748544*c_0101_4^6 + 3248228168726316823310535362993106859597845552029017367701871913391\ 80087269755849/1364765631171033345242762098986586842363564582583605\ 4065717138476426181793497088*c_0101_4^5 + 3304106665173633770152538480050439803269576546795787688571628102184\ 17349471016213/3411914077927583363106905247466467105908911456459013\ 516429284619106545448374272*c_0101_4^4 + 4116297230725485071783136863640774769583282692169116431866837051379\ 1112797802641/85297851948189584077672631186661677647722786411475337\ 9107321154776636362093568*c_0101_4^3 + 1632932338256536604928010023481587302083047986956129636798237290430\ 156679956391/213244629870473960194181577966654194119306966028688344\ 776830288694159090523392*c_0101_4^2 - 3267280311778536843915091102786691615706762305497257098845384189742\ 36806186981/5331115746761849004854539449166354852982674150717208619\ 4207572173539772630848*c_0101_4 - 461531758434292748759782003451334\ 90248607632445152662982806212645023021527065/1332778936690462251213\ 6348622915887132456685376793021548551893043384943157712, c_0101_1 - 273648241332538663834264303003355254119164335973003578928213\ 527802093237969121/682382815585516672621381049493293421181782291291\ 8027032858569238213090896748544*c_0101_4^26 + 1678606319087318341144666407420040842331087564169382304505393263383\ 798746587749/682382815585516672621381049493293421181782291291802703\ 2858569238213090896748544*c_0101_4^25 + 2095781395147020441577224034326553456945503236739728013494323075127\ 4830360461381/68238281558551667262138104949329342118178229129180270\ 32858569238213090896748544*c_0101_4^24 + 1939164839611598531053067893236173081002642213873445292207437252126\ 7174722846001/34119140779275833631069052474664671059089114564590135\ 16429284619106545448374272*c_0101_4^23 - 9671643652818801597910952251016663598791959367361698498986687122793\ 0958838137781/68238281558551667262138104949329342118178229129180270\ 32858569238213090896748544*c_0101_4^22 - 4108334131134448869009215846201426937982663165381806373960148820426\ 85798203237855/6823828155855166726213810494932934211817822912918027\ 032858569238213090896748544*c_0101_4^21 - 3126998055219548164001541466520537779621872598535895260933186241668\ 94025240118011/6823828155855166726213810494932934211817822912918027\ 032858569238213090896748544*c_0101_4^20 + 8319457517412971681439180048004297944111183604419037120152028568858\ 42472735581987/6823828155855166726213810494932934211817822912918027\ 032858569238213090896748544*c_0101_4^19 + 2151178002918871666733130484760486444128120718765540494648621944175\ 431116648418279/682382815585516672621381049493293421181782291291802\ 7032858569238213090896748544*c_0101_4^18 + 1365837520894356338052754163280661983267317683586319161694139716908\ 675585205266587/682382815585516672621381049493293421181782291291802\ 7032858569238213090896748544*c_0101_4^17 - 2313991168064949790486215053353248370452781380666911909428104445863\ 58684562647763/8529785194818958407767263118666167764772278641147533\ 79107321154776636362093568*c_0101_4^16 - 2349018113942677376883928372379270608970034299969662078585446971138\ 651417954391459/341191407792758336310690524746646710590891145645901\ 3516429284619106545448374272*c_0101_4^15 - 4717581787308420262389066658928608721681318236533898331244574907142\ 834327008739789/682382815585516672621381049493293421181782291291802\ 7032858569238213090896748544*c_0101_4^14 - 3979861687577809465087355269320369229114800982035302173326478405226\ 81966064362839/3411914077927583363106905247466467105908911456459013\ 516429284619106545448374272*c_0101_4^13 + 2627734332989043849980965001959573015368391390621332250823365690893\ 929584076950717/341191407792758336310690524746646710590891145645901\ 3516429284619106545448374272*c_0101_4^12 + 1952066041801712368087884475365528237088844917857710940909100832859\ 161421708041779/170595703896379168155345262373323355295445572822950\ 6758214642309553272724187136*c_0101_4^11 + 2464190415337924688095657796812270446029438697553596224754924837756\ 615945456193207/341191407792758336310690524746646710590891145645901\ 3516429284619106545448374272*c_0101_4^10 + 6088761028159719292178720998979935592977725878493078875866534565242\ 3988109648543/17059570389637916815534526237332335529544557282295067\ 58214642309553272724187136*c_0101_4^9 - 2273648634074118700396804016081162230570481136069905987898274643026\ 68686225734739/4264892597409479203883631559333083882386139320573766\ 89553660577388318181046784*c_0101_4^8 - 5271434426633236309005269732681202682471263440132594456267646161320\ 301483817932757/682382815585516672621381049493293421181782291291802\ 7032858569238213090896748544*c_0101_4^7 - 4635468164386522539084465673594992367993970294370165901439924857663\ 60519212519205/8529785194818958407767263118666167764772278641147533\ 79107321154776636362093568*c_0101_4^6 - 7142080357902660162496171375180506432276556647187395573479636801483\ 27573257969589/6823828155855166726213810494932934211817822912918027\ 032858569238213090896748544*c_0101_4^5 + 5482976746328386147361554664053730475715250065461030017856323488132\ 17288926758197/3411914077927583363106905247466467105908911456459013\ 516429284619106545448374272*c_0101_4^4 + 2968317764609391780860435982327986201647173605362802955908452597214\ 2506747239429/21324462987047396019418157796665419411930696602868834\ 4776830288694159090523392*c_0101_4^3 + 7428590223388052216998865995030061053251508460332358355957049490068\ 027471274303/213244629870473960194181577966654194119306966028688344\ 776830288694159090523392*c_0101_4^2 - 1193633328677277978237714999710005552756336149460575995040348569253\ 7031807915/16659736708630778140170435778644858915570856720991276935\ 68986630423117894714*c_0101_4 - 13081010909459988881332961446854805\ 5371015631249993868747613508033795943725375/13327789366904622512136\ 348622915887132456685376793021548551893043384943157712, c_0101_2 + 168791066568091844488975119292648643097939472479/25903191345\ 532889363146733818027522023283410667264*c_0101_4^26 - 4967667329342212934859183060247347468432619981515/10361276538213155\ 7452586935272110088093133642669056*c_0101_4^25 - 45861080078034627878326502161369152348979792451351/1036127653821315\ 57452586935272110088093133642669056*c_0101_4^24 - 37996674457590747073574575647509215650371877512115/1036127653821315\ 57452586935272110088093133642669056*c_0101_4^23 + 75414704545965132671361496291064418337811112937619/2590319134553288\ 9363146733818027522023283410667264*c_0101_4^22 + 665463854090137041111374684885508180665418110350561/103612765382131\ 557452586935272110088093133642669056*c_0101_4^21 - 140153985713103938091449963451220196915149075402915/103612765382131\ 557452586935272110088093133642669056*c_0101_4^20 - 2164930014399184745460510371057008652088395314395839/10361276538213\ 1557452586935272110088093133642669056*c_0101_4^19 - 2729833685683828518147827471444118017500712530584269/10361276538213\ 1557452586935272110088093133642669056*c_0101_4^18 + 752376365403425031853027126830583627033838214607275/103612765382131\ 557452586935272110088093133642669056*c_0101_4^17 + 5015712919432889866902785433197335157338865028694835/10361276538213\ 1557452586935272110088093133642669056*c_0101_4^16 + 2862078628683050622817327969258472411840213649807375/51806382691065\ 778726293467636055044046566821334528*c_0101_4^15 + 1354325520131071318167070226169424403494330052747899/51806382691065\ 778726293467636055044046566821334528*c_0101_4^14 - 4438702883383788577310226106790732181084561951003295/10361276538213\ 1557452586935272110088093133642669056*c_0101_4^13 - 1213656099739959909370347553497831164949510729722875/12951595672766\ 444681573366909013761011641705333632*c_0101_4^12 - 3153183338306349060755328875445674553244731624662373/51806382691065\ 778726293467636055044046566821334528*c_0101_4^11 + 4547033659041005971520849401156607257286308477125/12951595672766444\ 681573366909013761011641705333632*c_0101_4^10 + 1885022767957108779332809785967657655211400926089305/51806382691065\ 778726293467636055044046566821334528*c_0101_4^9 + 734389976627967403205498958139232989832135941286269/129515956727664\ 44681573366909013761011641705333632*c_0101_4^8 + 1112933636885432442857670575685391559293128551575491/25903191345532\ 889363146733818027522023283410667264*c_0101_4^7 + 528647974754461765042772218154918004665635016637205/103612765382131\ 557452586935272110088093133642669056*c_0101_4^6 - 990054102924022856457461027368720892918735186072069/518063826910657\ 78726293467636055044046566821334528*c_0101_4^5 - 1673321646320386827771204463174302038706235146826007/10361276538213\ 1557452586935272110088093133642669056*c_0101_4^4 + 2834878977440875328755273014700033190876844264539/12951595672766444\ 681573366909013761011641705333632*c_0101_4^3 + 23640712564109678313914879083423414730068494677047/6475797836383222\ 340786683454506880505820852666816*c_0101_4^2 + 1554117722099589172303736563132663511273361732815/80947472954790279\ 2598335431813360063227606583352*c_0101_4 - 59620411813249352847617221765983839329781478607/4047373647739513962\ 99167715906680031613803291676, c_0101_4^27 - 111/17*c_0101_4^26 - 3781/51*c_0101_4^25 - 5692/51*c_0101_4^24 + 20783/51*c_0101_4^23 + 23085/17*c_0101_4^22 + 28499/51*c_0101_4^21 - 10351/3*c_0101_4^20 - 112701/17*c_0101_4^19 - 101075/51*c_0101_4^18 + 144538/17*c_0101_4^17 + 733342/51*c_0101_4^16 + 182441/17*c_0101_4^15 - 56908/17*c_0101_4^14 - 338794/17*c_0101_4^13 - 1071800/51*c_0101_4^12 - 379274/51*c_0101_4^11 + 90224/17*c_0101_4^10 + 225088/17*c_0101_4^9 + 241733/17*c_0101_4^8 + 109510/17*c_0101_4^7 - 36255/17*c_0101_4^6 - 236956/51*c_0101_4^5 - 98080/51*c_0101_4^4 + 16192/51*c_0101_4^3 + 22016/51*c_0101_4^2 + 3072/17*c_0101_4 - 4096/51 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.260 seconds, Total memory usage: 32.09MB