Magma V2.19-8 Tue Aug 20 2013 16:18:02 on localhost [Seed = 1242289799] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2260 geometric_solution 5.68782704 oriented_manifold CS_known 0.0000000000000000 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 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.455377308729 0.646060455233 3 4 2 0 0132 0132 2031 0132 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 0 0 0 0 0 0 0 -1 0 0 1 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.507985181002 0.527549912107 4 3 0 1 2310 3201 0132 1302 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.507985181002 0.527549912107 1 5 2 5 0132 0132 2310 2310 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 0 0 0 0 0 0 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.915107291557 1.356188142394 6 1 2 6 0132 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.936281251200 0.655245351986 3 3 5 5 3201 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.304529041020 0.279840753874 4 6 6 4 0132 1230 3012 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 0 0 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.655421037069 0.382754839701 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_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' : d['1'], 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : d['c_0110_5'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_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' : negation(d['c_0011_1']), 'c_0011_6' : 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' : negation(d['c_0110_5']), 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : d['c_0101_4'], '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' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0110_5']), '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_0101_0, c_0101_1, c_0101_4, c_0101_6, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t - 1523698973078258712836340662237694288117767175320365038410401861126\ 378663663122/335289409283076612006777767216684118609856273061507260\ 364444028617792080809947*c_0110_5^30 - 9421031739741091950051378467087798815735078246089712827761090094050\ 933079751806/335289409283076612006777767216684118609856273061507260\ 364444028617792080809947*c_0110_5^29 + 4432544314171718817452934413997241373577490454698368927029438887367\ 9344998027939/33528940928307661200677776721668411860985627306150726\ 0364444028617792080809947*c_0110_5^28 + 1958669726281243950682509073214070637852744482281719908486003577770\ 80404166848270/3352894092830766120067777672166841186098562730615072\ 60364444028617792080809947*c_0110_5^27 - 6285550029363192989827392012619257718876641187257525853159011747731\ 6373931231619/30480855389370601091525251565153101691805115732864296\ 396767638965253825528177*c_0110_5^26 - 3164824509791810114845887308073643311972957700557335787355194316080\ 13468257345018/3352894092830766120067777672166841186098562730615072\ 60364444028617792080809947*c_0110_5^25 + 4290501541290281177775617157588474449363704560077929774120622070348\ 465027098088888/335289409283076612006777767216684118609856273061507\ 260364444028617792080809947*c_0110_5^24 - 1200018397110741760390873127671995063242444113095709824462334622944\ 7262460777574841/33528940928307661200677776721668411860985627306150\ 7260364444028617792080809947*c_0110_5^23 + 3987347061136882036000192704504045633678599236550523397399771312523\ 93160952136423/1457780040361202660899033770507322254825462056789162\ 0015845392548599655687389*c_0110_5^22 + 3118378477257652942890418976455388147608293908294304439151431639331\ 7571560906421858/33528940928307661200677776721668411860985627306150\ 7260364444028617792080809947*c_0110_5^21 - 6026877233254987308357966671231089858090962332527945764630119696166\ 425918454870179/304808553893706010915252515651531016918051157328642\ 96396767638965253825528177*c_0110_5^20 + 3293056492944776887136986915458608837186165214464960190887580711411\ 2491281167727059/33528940928307661200677776721668411860985627306150\ 7260364444028617792080809947*c_0110_5^19 + 4934840249510733451965148290692427748732223047257264576609742836407\ 9642498417426916/33528940928307661200677776721668411860985627306150\ 7260364444028617792080809947*c_0110_5^18 - 1207092181455446827400994761302415525327863982868166564906485620618\ 44560181101902777/3352894092830766120067777672166841186098562730615\ 07260364444028617792080809947*c_0110_5^17 + 7354262643161575852977440192413949356830659731646899113578533889573\ 2866589962176869/33528940928307661200677776721668411860985627306150\ 7260364444028617792080809947*c_0110_5^16 + 3027960957715571416216276812214684361662517882142398047073359983261\ 6413769781408349/33528940928307661200677776721668411860985627306150\ 7260364444028617792080809947*c_0110_5^15 - 5172202786331175196371858248310086931514391616503410615725823567769\ 1742276221296800/33528940928307661200677776721668411860985627306150\ 7260364444028617792080809947*c_0110_5^14 + 8091577321667444779133204478651956834642861518794809320003956773466\ 8861015342026914/33528940928307661200677776721668411860985627306150\ 7260364444028617792080809947*c_0110_5^13 - 7303224374348982976589347241707580189738751411620969825416612665885\ 571735392788891/304808553893706010915252515651531016918051157328642\ 96396767638965253825528177*c_0110_5^12 - 2742404584391288043197836823505514866100263711402541311535798033197\ 2568835293114607/33528940928307661200677776721668411860985627306150\ 7260364444028617792080809947*c_0110_5^11 + 7788882417688885733207202178544129895229917997631896677488314906594\ 138625298768315/304808553893706010915252515651531016918051157328642\ 96396767638965253825528177*c_0110_5^10 - 2680532742536146803898114409620973054291698322333982948006890099607\ 6442299950513230/33528940928307661200677776721668411860985627306150\ 7260364444028617792080809947*c_0110_5^9 - 2432762092514235683126312090343864034281199486497055250448567031355\ 3932411469328319/33528940928307661200677776721668411860985627306150\ 7260364444028617792080809947*c_0110_5^8 + 1177071697930127324861901408840543174557988134322717066021796968161\ 0407839155949704/33528940928307661200677776721668411860985627306150\ 7260364444028617792080809947*c_0110_5^7 + 2333724595075410287813503543029486675947111554114354729183798899929\ 408004509771683/335289409283076612006777767216684118609856273061507\ 260364444028617792080809947*c_0110_5^6 - 6210682842453145474185505132906262715090664394405167135947929630170\ 08916591669052/3352894092830766120067777672166841186098562730615072\ 60364444028617792080809947*c_0110_5^5 - 7551098482228215595632361200197306301035186243999859068894318344701\ 29449973804297/3352894092830766120067777672166841186098562730615072\ 60364444028617792080809947*c_0110_5^4 + 6744974074564940439523835347592595094232635268617207984769837815232\ 003438653076/335289409283076612006777767216684118609856273061507260\ 364444028617792080809947*c_0110_5^3 + 6514969772050189640902427614098751049565883987626423368353052895483\ 1452414799410/33528940928307661200677776721668411860985627306150726\ 0364444028617792080809947*c_0110_5^2 + 2431964847089309220841226324169148013838428773725751748205978102767\ 940463764837/304808553893706010915252515651531016918051157328642963\ 96767638965253825528177*c_0110_5 + 1037028259956557927205281625204157484501376199265440429177477232680\ 3609263829629/33528940928307661200677776721668411860985627306150726\ 0364444028617792080809947, c_0011_0 - 1, c_0011_1 - 132884825401208142776992972179161495094499541025250458303984\ 715660759569578/132525458214654787354457615500665659529587459708105\ 6365076853868054514153399*c_0110_5^30 - 8027830346819567931087894391992239518805825861303254671190864412450\ 17321575/1325254582146547873544576155006656595295874597081056365076\ 853868054514153399*c_0110_5^29 + 3979726472005607129107664076689414\ 876547002503276428826359319896754899961799/132525458214654787354457\ 6155006656595295874597081056365076853868054514153399*c_0110_5^28 + 1652609840681779031738135779232140869879893645214311285491883523188\ 0611499106/13252545821465478735445761550066565952958745970810563650\ 76853868054514153399*c_0110_5^27 - 6260076294831824972634130277564163691655516775528307137958128567197\ 9316935115/13252545821465478735445761550066565952958745970810563650\ 76853868054514153399*c_0110_5^26 - 1894930103077705574747510329829838692513789635861308454700175834125\ 5324122077/13252545821465478735445761550066565952958745970810563650\ 76853868054514153399*c_0110_5^25 + 3759877693471507465386467854016397164454641204785450075007040381278\ 26666603537/1325254582146547873544576155006656595295874597081056365\ 076853868054514153399*c_0110_5^24 - 1096767922329460718814934504421307427782441080303323911004653182182\ 551759241266/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^23 + 9563965668887147537750828719297832238829928539302143023901977057987\ 44904545685/1325254582146547873544576155006656595295874597081056365\ 076853868054514153399*c_0110_5^22 + 2566506516236287585965751598502178734360853375559306742455320133943\ 790231377588/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^21 - 6090973884816310275119876969547847595490457113593319861323895351491\ 817096372768/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^20 + 3687028645863940794927417100761909181615826649453931777365661911682\ 957835154046/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^19 + 3660241429349537279942897413739203746872399209919940667225114984957\ 862153376961/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^18 - 1077626605682348943317678387886279569523499128563320732574796978782\ 9702744896775/13252545821465478735445761550066565952958745970810563\ 65076853868054514153399*c_0110_5^17 + 7753387129829592813849283519562655674449918102077771424924317184753\ 757400753769/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^16 + 1436286513257313089696839241680153852191388127768772997911306082651\ 101517964891/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^15 - 4262682890831990291023270686318485001214005243027180661391890114668\ 373566197385/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^14 + 7316899701501779752137473384030501052492496571061501781827996588061\ 335163044455/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^13 - 7982565908598056214406886387046514378210764598248740864142899981342\ 093674184063/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^12 - 1206912888702076489785799018768017314759441848102478227514258712558\ 816500160775/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^11 + 7306863530429465230668698503539105079613074148382471978857946351131\ 113771560583/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^10 - 3000013126554633941114810397059226958036670754466013312089796387379\ 293854295820/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^9 - 1712634145511343122995142093243077784028152392072910556012172034836\ 435600335698/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^8 + 1068653527025347063278273975927017828772465775511219350877761919085\ 850937737926/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^7 + 1429061142791545308180179453977849761401999218874090954350977762118\ 27893707552/1325254582146547873544576155006656595295874597081056365\ 076853868054514153399*c_0110_5^6 - 5672926893337801624316834290010639898093627601097440242990330113013\ 6570011211/13252545821465478735445761550066565952958745970810563650\ 76853868054514153399*c_0110_5^5 - 509833759952902954122813425670005\ 74890718308906046001278957168872514009994210/1325254582146547873544\ 576155006656595295874597081056365076853868054514153399*c_0110_5^4 - 2350076330278928687032048606529867331129392336816130134032628590918\ 7537426/13252545821465478735445761550066565952958745970810563650768\ 53868054514153399*c_0110_5^3 + 439819952745987664550814331199597033\ 9931093645875919869045413522193499087770/13252545821465478735445761\ 55006656595295874597081056365076853868054514153399*c_0110_5^2 + 4890474723097370297764870413473423359894647740872677458965731293279\ 629706525/132525458214654787354457615500665659529587459708105636507\ 6853868054514153399*c_0110_5 + 440837624267676990547455027686381129\ 954700795753846485667639175509707297608/132525458214654787354457615\ 5006656595295874597081056365076853868054514153399, c_0101_0 + 185361683704921481283435772477596945693520414339168280466548\ 131392392085797/132525458214654787354457615500665659529587459708105\ 6365076853868054514153399*c_0110_5^30 + 1189315224346595162758318627933215313280315127360208791656209426486\ 306613122/132525458214654787354457615500665659529587459708105636507\ 6853868054514153399*c_0110_5^29 - 516998283811344336288603835723394\ 7337153760828227451655740034340256284063607/13252545821465478735445\ 76155006656595295874597081056365076853868054514153399*c_0110_5^28 - 2533242098322293889562828904296507125473653912588720683678681512204\ 2903002885/13252545821465478735445761550066565952958745970810563650\ 76853868054514153399*c_0110_5^27 + 8002665626301683478939839531854781355193823307777503152722396141643\ 4842732203/13252545821465478735445761550066565952958745970810563650\ 76853868054514153399*c_0110_5^26 + 6286175672306896802639391379095779357411112727595883046600312050031\ 9044839290/13252545821465478735445761550066565952958745970810563650\ 76853868054514153399*c_0110_5^25 - 5364989237902041984570602368742495586666771053635547508799216015493\ 75401050903/1325254582146547873544576155006656595295874597081056365\ 076853868054514153399*c_0110_5^24 + 1345424232434944643767787887493652728327074042417478498002285097483\ 397514280788/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^23 - 6548896400905111527870059979214952534014963938120278121094573513478\ 08790956522/1325254582146547873544576155006656595295874597081056365\ 076853868054514153399*c_0110_5^22 - 4491750737174501180155069037488931012762865427107974232260175912867\ 923022822479/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^21 + 7757937846669828975936119196464279893707873463451873534159143329154\ 426120701997/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^20 - 1619931099796218978656737329192619951093358029385456485624718443784\ 279582180451/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^19 - 9236365887145066455690136792006187289468590332401473366794074444433\ 523658426613/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^18 + 1590569816590025406204738946803666396676901808518097590056551460947\ 7319358074610/13252545821465478735445761550066565952958745970810563\ 65076853868054514153399*c_0110_5^17 - 5929944594587295984087613749469901196863941388077132469809778856121\ 668405446203/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^16 - 9077868993380479615625281483247694820187779562646239184129951821857\ 836039879276/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^15 + 9968166435471502289999617894632713061093662153719409115617696895667\ 200358804677/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^14 - 1073037834695599930960864697920552426460447602055067167032303945636\ 2548668853127/13252545821465478735445761550066565952958745970810563\ 65076853868054514153399*c_0110_5^13 + 7519124180668516630044154344655657659640672699731105496034288968115\ 178666714192/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^12 + 8062660977274115196748637567157219647691596131686817263794651275118\ 276712910494/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^11 - 1366990059674713744653526632983394478239101299315600301779222216393\ 1293955377269/13252545821465478735445761550066565952958745970810563\ 65076853868054514153399*c_0110_5^10 + 2904923593054370476523545423245057157826951867280439366294487406382\ 525922336668/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^9 + 4797417490307550343044706036367448600918353758339117783995262212392\ 754348980957/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^8 - 2421885150900785000462899013373855244359192918768789731505111682688\ 076675201963/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^7 - 1512190847996321222130489730458335569055047160277803015583758914717\ 36881059393/1325254582146547873544576155006656595295874597081056365\ 076853868054514153399*c_0110_5^6 + 1083762994010791342474341382162863219472552751663395876564028049839\ 71275175764/1325254582146547873544576155006656595295874597081056365\ 076853868054514153399*c_0110_5^5 + 8614814518148840240243838195104937907271614603193823324367584595622\ 5471526469/13252545821465478735445761550066565952958745970810563650\ 76853868054514153399*c_0110_5^4 - 669986980415667876700628850800119\ 9843898029457251050232681761505989639267374/13252545821465478735445\ 76155006656595295874597081056365076853868054514153399*c_0110_5^3 - 9575897227307961573703339506498985803941604012018790165222307258123\ 190049991/132525458214654787354457615500665659529587459708105636507\ 6853868054514153399*c_0110_5^2 - 4289292447283109025720165802423771\ 594600302561862133979651386767114629531351/132525458214654787354457\ 6155006656595295874597081056365076853868054514153399*c_0110_5 - 4237837090835661724495205555956227781901488232074624438345739160350\ 90267171/1325254582146547873544576155006656595295874597081056365076\ 853868054514153399, c_0101_1 - 135605302442582591887975305496236623414070213846065134697266\ 454356964828121/132525458214654787354457615500665659529587459708105\ 6365076853868054514153399*c_0110_5^30 - 8122417575396717248280777220130102534954282119913882391742633602300\ 98185463/1325254582146547873544576155006656595295874597081056365076\ 853868054514153399*c_0110_5^29 + 4100246035404327482999074946862013\ 147671330947544077430507053083160029630352/132525458214654787354457\ 6155006656595295874597081056365076853868054514153399*c_0110_5^28 + 1663540103894288711011063779319045390852152434170538278374950155346\ 6147923826/13252545821465478735445761550066565952958745970810563650\ 76853868054514153399*c_0110_5^27 - 6467153112158392415103082988519416032365585938835588406998716112664\ 4896723147/13252545821465478735445761550066565952958745970810563650\ 76853868054514153399*c_0110_5^26 - 1566081808211957954047731833016911263709142199343398146755560584566\ 1460998163/13252545821465478735445761550066565952958745970810563650\ 76853868054514153399*c_0110_5^25 + 3835726167080697407215809044981006197051918577209289814682355766362\ 70700460281/1325254582146547873544576155006656595295874597081056365\ 076853868054514153399*c_0110_5^24 - 1139325135484969810915139700263389572187323514076465118708284856278\ 267516471218/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^23 + 1039294641248029580388178925219377786851935134665969570614110399874\ 148414232500/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^22 + 2546994279823522109373978881211332640867435293922364722927401778567\ 131702616328/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^21 - 6323647706163978480283013558655987024826744097348820594123200415412\ 190377156719/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^20 + 4099413111283025085953011893040402331448855457335442987195899756490\ 262068772147/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^19 + 3483749413907231300699998848572594412535338586750668926746997191551\ 670338056718/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^18 - 1108121752061472230688898873322830959593337203343457777622255121241\ 7553422956830/13252545821465478735445761550066565952958745970810563\ 65076853868054514153399*c_0110_5^17 + 8337630537741233300373649017868080055971550382836522787811343938846\ 978393274325/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^16 + 1099632309141189179888033708286665911440653779263436149736264326024\ 822776049785/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^15 - 4343256818529537243106418531883849455603864855461697472259197395773\ 897824364375/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^14 + 7407057268677922916407681774987690983020797203985558246682082442062\ 589375591098/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^13 - 8177879760644777803506910553720441792673493688231347279171857291680\ 907371669098/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^12 - 8791582075394747836369023579208343936636859188235958512050186567047\ 55068049977/1325254582146547873544576155006656595295874597081056365\ 076853868054514153399*c_0110_5^11 + 7400023051067810179111528137759485269530205688868300304617049340430\ 489247249284/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^10 - 3270234314475609580825032920586606625041838188122339153171135948758\ 034905968796/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^9 - 1843098677174680588752997158212809575282587663760436134531030086336\ 274167209682/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^8 + 1332139298602152979356463686435966313370466602055738136469776174743\ 213310509355/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^7 + 1635206420734689701422391183724556922157304109196674462333775769432\ 71721486073/1325254582146547873544576155006656595295874597081056365\ 076853868054514153399*c_0110_5^6 - 1927896825833092942337594978136045889946679953558588820972039568406\ 16095473355/1325254582146547873544576155006656595295874597081056365\ 076853868054514153399*c_0110_5^5 - 1389163827555762001593369186854187614930916579811379983475577470264\ 5508796977/13252545821465478735445761550066565952958745970810563650\ 76853868054514153399*c_0110_5^4 + 762723557231574184903287758283679\ 7348241111277561131740016870062171756127985/13252545821465478735445\ 76155006656595295874597081056365076853868054514153399*c_0110_5^3 + 6533451998495588674892643962537589502092124483740575068824778444436\ 617454692/132525458214654787354457615500665659529587459708105636507\ 6853868054514153399*c_0110_5^2 + 2054319349623131857933392540333406\ 387872765803918138368399719666496802738111/132525458214654787354457\ 6155006656595295874597081056365076853868054514153399*c_0110_5 + 7886498368681726097601123254677507322504512765733207706025432453432\ 20626267/1325254582146547873544576155006656595295874597081056365076\ 853868054514153399, c_0101_4 - 105448159870709067360246127891473513034935545181084561081635\ 2361955423757561/13252545821465478735445761550066565952958745970810\ 56365076853868054514153399*c_0110_5^30 - 6070136886012443097510501423743354455926337607629917570815833997593\ 294515763/132525458214654787354457615500665659529587459708105636507\ 6853868054514153399*c_0110_5^29 + 331353229233926292018647178701926\ 40594512363996060307120450596626458724513748/1325254582146547873544\ 576155006656595295874597081056365076853868054514153399*c_0110_5^28 + 1207091240918691952863430861674540158142800748031930896848958013326\ 50293672228/1325254582146547873544576155006656595295874597081056365\ 076853868054514153399*c_0110_5^27 - 5257264738570273277172768367147798959064252767901488177027027401852\ 46418617552/1325254582146547873544576155006656595295874597081056365\ 076853868054514153399*c_0110_5^26 + 1890994908103339928352610580743684911343904207970976070251966650976\ 1714101874/13252545821465478735445761550066565952958745970810563650\ 76853868054514153399*c_0110_5^25 + 2893147180969609606542376827825121168838194856798407944459407259989\ 881221475744/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^24 - 9519564596818170347257422283048244974170468942276823358178749191134\ 972516617377/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^23 + 1075718476911474606445801072573478897772863792323495325053419494936\ 1005012050298/13252545821465478735445761550066565952958745970810563\ 65076853868054514153399*c_0110_5^22 + 1574026853066316509668984786817286365835631107309828107055499673068\ 3710225487082/13252545821465478735445761550066565952958745970810563\ 65076853868054514153399*c_0110_5^21 - 5096062935358528591006802064016848800241490033854578675817042811778\ 3352264999376/13252545821465478735445761550066565952958745970810563\ 65076853868054514153399*c_0110_5^20 + 4604876936291855029366456660095753961182946346584093154636278406715\ 4717770884539/13252545821465478735445761550066565952958745970810563\ 65076853868054514153399*c_0110_5^19 + 7891194053679147342799494715939892268940330947637016023404470298173\ 461732209323/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^18 - 7965605367721537494572049557056661147453908347523270595109898031426\ 9537318678580/13252545821465478735445761550066565952958745970810563\ 65076853868054514153399*c_0110_5^17 + 8398572040125689558420695866491420615516564678648646840108744350394\ 8063062433782/13252545821465478735445761550066565952958745970810563\ 65076853868054514153399*c_0110_5^16 - 2429978119010796591210144484294511845255213867943215570843210129659\ 1850548330430/13252545821465478735445761550066565952958745970810563\ 65076853868054514153399*c_0110_5^15 - 1281265815914942503192589268071106649502343946358134395695177481545\ 0264979557301/13252545821465478735445761550066565952958745970810563\ 65076853868054514153399*c_0110_5^14 + 5531829999272442685165814644096623537557344697294252659943666368002\ 6607519197661/13252545821465478735445761550066565952958745970810563\ 65076853868054514153399*c_0110_5^13 - 7897439986590218310611973240386668056503275962072280700780340034726\ 3564270575837/13252545821465478735445761550066565952958745970810563\ 65076853868054514153399*c_0110_5^12 + 2135668015903665275342276452952310479631180961250911214658229638146\ 5931253565673/13252545821465478735445761550066565952958745970810563\ 65076853868054514153399*c_0110_5^11 + 3867301019673604336246863927155954448220067912238146960162854624710\ 4253681419902/13252545821465478735445761550066565952958745970810563\ 65076853868054514153399*c_0110_5^10 - 2961319970781946164899154791779693223148162288259595505956674040455\ 1824249479295/13252545821465478735445761550066565952958745970810563\ 65076853868054514153399*c_0110_5^9 - 9761862634233045894463409040044590872029386367216585384830863876930\ 99457216549/1325254582146547873544576155006656595295874597081056365\ 076853868054514153399*c_0110_5^8 + 4299553613419945375194736157880096706073905657020397599250031981427\ 286628762528/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^7 + 8621722107381378416795456992604791132008540062417618124654393746075\ 57730604714/1325254582146547873544576155006656595295874597081056365\ 076853868054514153399*c_0110_5^6 - 6939342159243245037928914550169160990805664206520641592820381376345\ 44455020369/1325254582146547873544576155006656595295874597081056365\ 076853868054514153399*c_0110_5^5 - 1499922489818410101292536895396347465688783269824258129947412575986\ 01766940711/1325254582146547873544576155006656595295874597081056365\ 076853868054514153399*c_0110_5^4 + 2666965781981928781219164705845219461304052288242708686858605572953\ 7384206830/13252545821465478735445761550066565952958745970810563650\ 76853868054514153399*c_0110_5^3 + 317884835075472814562395852758901\ 89686177747901971072588024879226489149429782/1325254582146547873544\ 576155006656595295874597081056365076853868054514153399*c_0110_5^2 + 1402185887815711219836393621137218977249024028589864419590604180980\ 0739227197/13252545821465478735445761550066565952958745970810563650\ 76853868054514153399*c_0110_5 + 32181364027243600731255694111441828\ 74971030008662711644009311167550538647149/1325254582146547873544576\ 155006656595295874597081056365076853868054514153399, c_0101_6 - 568026155084313593266351330352930921804509528410972876383156\ 474323629912601/132525458214654787354457615500665659529587459708105\ 6365076853868054514153399*c_0110_5^30 - 3260598068520947410616757923206600472773042359198474763304517009455\ 356927576/132525458214654787354457615500665659529587459708105636507\ 6853868054514153399*c_0110_5^29 + 178670781268604802755013534420616\ 38626380029717895808060977713020099733565349/1325254582146547873544\ 576155006656595295874597081056365076853868054514153399*c_0110_5^28 + 6453038953510279688443297657132969963043785149603162075299511523998\ 0031615490/13252545821465478735445761550066565952958745970810563650\ 76853868054514153399*c_0110_5^27 - 2831345333388949167624201502202579541613725778119006809311118862505\ 98261716406/1325254582146547873544576155006656595295874597081056365\ 076853868054514153399*c_0110_5^26 + 1878286772294400110849432336544506510698803456719564512821359291146\ 0638488666/13252545821465478735445761550066565952958745970810563650\ 76853868054514153399*c_0110_5^25 + 1540501858600651723261563893427348367329705539963585382768608182619\ 128929219550/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^24 - 5151472393384482845996104373589851353954302995272119732272687997851\ 813797576605/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^23 + 5974212718330761192391964957833732715576732980355678615528049684609\ 858273366727/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^22 + 8059077986953545129694562110622593804956972590356248819997802068437\ 595680289060/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^21 - 2720410377587011809632600905491259966270555044465439401097731383807\ 7729301594930/13252545821465478735445761550066565952958745970810563\ 65076853868054514153399*c_0110_5^20 + 2574129296025632262254493573244106272153101643846410994344847201349\ 6075580579424/13252545821465478735445761550066565952958745970810563\ 65076853868054514153399*c_0110_5^19 + 2126145186876403767574166400504800152240507603072150605155924208157\ 326410499221/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^18 - 4129643862419579671224204128997450056487824055310936549320779032106\ 0847581948594/13252545821465478735445761550066565952958745970810563\ 65076853868054514153399*c_0110_5^17 + 4601622573076840268725684289916443175245264983719604787853456930991\ 9431307210228/13252545821465478735445761550066565952958745970810563\ 65076853868054514153399*c_0110_5^16 - 1643849764389454474523701765852873129714858027841880737538157604632\ 0503650509056/13252545821465478735445761550066565952958745970810563\ 65076853868054514153399*c_0110_5^15 - 3690739124414100091028662287939620427780854206088124105980258891057\ 886974869232/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^14 + 2877861070400149175455621788194800317353008416050427462436478057793\ 0949206001027/13252545821465478735445761550066565952958745970810563\ 65076853868054514153399*c_0110_5^13 - 4327401646269693440323662483694665406742446997718202242036450695648\ 5228232280920/13252545821465478735445761550066565952958745970810563\ 65076853868054514153399*c_0110_5^12 + 1405142444484547915200611452344257960742198960766688532689200452953\ 2797163653727/13252545821465478735445761550066565952958745970810563\ 65076853868054514153399*c_0110_5^11 + 1788004454012718172166892743743720944178481978859195702992094469946\ 5321451590317/13252545821465478735445761550066565952958745970810563\ 65076853868054514153399*c_0110_5^10 - 1532635201538079370285743243171996247481546949922839499272547324048\ 5375799029607/13252545821465478735445761550066565952958745970810563\ 65076853868054514153399*c_0110_5^9 + 8465663080532047719348256920244167781459636383723307067195786719584\ 86059293978/1325254582146547873544576155006656595295874597081056365\ 076853868054514153399*c_0110_5^8 + 1273191046527580161826887453050042041461381328985327286195210991193\ 268424454328/132525458214654787354457615500665659529587459708105636\ 5076853868054514153399*c_0110_5^7 + 5240179782276697966263387087957874049124366823606924785700008925053\ 71028968402/1325254582146547873544576155006656595295874597081056365\ 076853868054514153399*c_0110_5^6 - 2602013611361659030639592571891005111464195915286247297944833207339\ 19039359512/1325254582146547873544576155006656595295874597081056365\ 076853868054514153399*c_0110_5^5 - 6414587449540212609588459748795325045453775127612733721320389980286\ 8388153420/13252545821465478735445761550066565952958745970810563650\ 76853868054514153399*c_0110_5^4 - 130709329382176049353195629727369\ 00741098683037447348705280964901941884164202/1325254582146547873544\ 576155006656595295874597081056365076853868054514153399*c_0110_5^3 + 1824170844496871308491990015448604708492701868137266944079305891545\ 2544476913/13252545821465478735445761550066565952958745970810563650\ 76853868054514153399*c_0110_5^2 + 874385733783472373446868889836505\ 7698671433461066785862474503590522570492357/13252545821465478735445\ 76155006656595295874597081056365076853868054514153399*c_0110_5 + 1866401033859889048416902207485627998368922332344443946532917887492\ 210254964/132525458214654787354457615500665659529587459708105636507\ 6853868054514153399, c_0110_5^31 + 6*c_0110_5^30 - 30*c_0110_5^29 - 122*c_0110_5^28 + 470*c_0110_5^27 + 101*c_0110_5^26 - 2737*c_0110_5^25 + 8359*c_0110_5^24 - 8064*c_0110_5^23 - 17212*c_0110_5^22 + 44468*c_0110_5^21 - 32236*c_0110_5^20 - 17028*c_0110_5^19 + 72756*c_0110_5^18 - 61478*c_0110_5^17 + 5387*c_0110_5^16 + 15978*c_0110_5^15 - 49088*c_0110_5^14 + 62518*c_0110_5^13 - 3195*c_0110_5^12 - 39948*c_0110_5^11 + 18748*c_0110_5^10 + 6828*c_0110_5^9 - 3188*c_0110_5^8 - 1729*c_0110_5^7 + 322*c_0110_5^6 + 278*c_0110_5^5 + 32*c_0110_5^4 - 31*c_0110_5^3 - 21*c_0110_5^2 - 7*c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB