Magma V2.19-8 Tue Aug 20 2013 16:16:21 on localhost [Seed = 812756179] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0633 geometric_solution 4.62609836 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 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.245045820548 0.108628968645 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 0 0 0 1 0 0 -1 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 1 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.613512925153 1.442386193661 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 -1 0 1 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 1 0 -1 -1 0 0 1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.496011455497 0.789864162240 2 4 4 5 0132 2310 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 -1 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.188469101069 0.591244389113 3 5 2 3 2310 1023 0132 3201 0 0 0 0 0 0 -1 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 1 -1 1 0 -1 0 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.188469101069 0.591244389113 4 6 3 6 1023 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.811743241266 1.554865392568 5 5 6 6 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.204233481968 0.407232276229 ==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' : 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' : d['c_0110_6'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_4, c_0101_0, c_0101_1, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 30636384667814544433357294395881187128375581598790222086042243/3496\ 86620304562985433805206756038370866757472504662952886235*c_0110_6^2\ 1 + 150067885388736894599085898713653128084286889046635705404823401\ /349686620304562985433805206756038370866757472504662952886235*c_011\ 0_6^20 - 8740239264671104419253862087201931523086150400424238539872\ 49392/349686620304562985433805206756038370866757472504662952886235*\ c_0110_6^19 - 42134290234139166501301223551730965369109427040451323\ 5505049212/11656220676818766181126840225201279028891915750155431762\ 8745*c_0110_6^18 + 257954054345265150893532230256894001792745564429\ 30105274066194/5550581274675602943393733440572037632805674166740681\ 791845*c_0110_6^17 - 3384146713942097747155247190351974865374677563\ 140239604249301158/233124413536375323622536804504025580577838315003\ 10863525749*c_0110_6^16 + 54891142438171183638677240531883775543010\ 741234936241399441708233/116562206768187661811268402252012790288919\ 157501554317628745*c_0110_6^15 - 1204947288676974173462231114851373\ 06944319584202028994749521329868/1165622067681876618112684022520127\ 90288919157501554317628745*c_0110_6^14 + 949192760679924690376336905822017290660112180243716741488387713374/\ 349686620304562985433805206756038370866757472504662952886235*c_0110\ _6^13 - 58173480233796098357284158259134125511560612502878896179274\ 794604/23312441353637532362253680450402558057783831500310863525749*\ c_0110_6^12 + 12340547566654312540266864604623732020143545431169528\ 52572271584043/3496866203045629854338052067560383708667574725046629\ 52886235*c_0110_6^11 - 19117275275324677794218847904327506966959723\ 8873952754842272768663/34968662030456298543380520675603837086675747\ 2504662952886235*c_0110_6^10 - 153393932276349177029716418966543040\ 9870291001393760997583995080588/34968662030456298543380520675603837\ 0866757472504662952886235*c_0110_6^9 + 67358822346011567944283884481500127221886059790853321744391488554/3\ 49686620304562985433805206756038370866757472504662952886235*c_0110_\ 6^8 - 4023054040083401276265872731298795493982261861494167255045864\ 33438/116562206768187661811268402252012790288919157501554317628745*\ c_0110_6^7 - 600463692384582167565802177048189148174283897553458586\ 844726791622/349686620304562985433805206756038370866757472504662952\ 886235*c_0110_6^6 + 34894254219044475474705162436841471493704725297\ 8277253905391182301/34968662030456298543380520675603837086675747250\ 4662952886235*c_0110_6^5 + 1752436043397477089626306253367173805200\ 3977536832670789330801867/49955231472080426490543600965148338695251\ 067500666136126605*c_0110_6^4 + 24200400882195166978497795603279960\ 5412737319466103562416925001/77708137845458441207512268168008526859\ 27943833436954508583*c_0110_6^3 - 147132728208501459871838850278601\ 39209329267312225356738204924397/3496866203045629854338052067560383\ 70866757472504662952886235*c_0110_6^2 - 517743068261250635125070769791239158905390830434416270991621325/699\ 37324060912597086761041351207674173351494500932590577247*c_0110_6 + 801942895234671002180795045458351766445546149578857436339311049/349\ 686620304562985433805206756038370866757472504662952886235, c_0011_0 - 1, c_0011_2 - 316937984677238847728786172597140695911377466597750074/52118\ 13403451270369383787268142758340662604851399701213*c_0110_6^21 - 1587768435662569595329651936472804974763590470107181728/52118134034\ 51270369383787268142758340662604851399701213*c_0110_6^20 + 8851232981703388838530424351215969431203669552560872577/52118134034\ 51270369383787268142758340662604851399701213*c_0110_6^19 + 13990907663876975096588362793588372924893202053716668034/5211813403\ 451270369383787268142758340662604851399701213*c_0110_6^18 - 14875748997839118376531841386831659638014468896681051462/5211813403\ 451270369383787268142758340662604851399701213*c_0110_6^17 + 524152385261554136180450564191669722093883756103531122900/521181340\ 3451270369383787268142758340662604851399701213*c_0110_6^16 - 1645780858779840914985098589126164146049418388502583120953/52118134\ 03451270369383787268142758340662604851399701213*c_0110_6^15 + 3579150486284791500676912625170234334597983628280589343444/52118134\ 03451270369383787268142758340662604851399701213*c_0110_6^14 - 9489876224668410017187478353123445780566372810825504749629/52118134\ 03451270369383787268142758340662604851399701213*c_0110_6^13 + 8116669763005968939693954484956067076252623398204572331140/52118134\ 03451270369383787268142758340662604851399701213*c_0110_6^12 - 12255122323461631635997047784998741308146745995789046404611/5211813\ 403451270369383787268142758340662604851399701213*c_0110_6^11 + 909474016379286998144338691136647236778915984456060186023/521181340\ 3451270369383787268142758340662604851399701213*c_0110_6^10 + 15489949038425197458715656760399200699190435903967555349044/5211813\ 403451270369383787268142758340662604851399701213*c_0110_6^9 + 995145372058631489883110551360798798219566451282718532754/521181340\ 3451270369383787268142758340662604851399701213*c_0110_6^8 + 13286027179269022326492368324785049889069438836824915576000/5211813\ 403451270369383787268142758340662604851399701213*c_0110_6^7 + 7834389359360309473410759856595292284436379996084943756017/52118134\ 03451270369383787268142758340662604851399701213*c_0110_6^6 - 2166853048625069638535393457194371382149552373917075072247/52118134\ 03451270369383787268142758340662604851399701213*c_0110_6^5 - 1114640513141106324909926916235079944800655115047891551612/52118134\ 03451270369383787268142758340662604851399701213*c_0110_6^4 - 289645855783015581458508080811933063762521870084883368957/521181340\ 3451270369383787268142758340662604851399701213*c_0110_6^3 + 39755311425731085379560159173078518113570033800214516222/5211813403\ 451270369383787268142758340662604851399701213*c_0110_6^2 + 3686772794092353117586266665566922840870449220914349136/52118134034\ 51270369383787268142758340662604851399701213*c_0110_6 - 2578716079472249819089710212760180787958526891545120181/52118134034\ 51270369383787268142758340662604851399701213, c_0011_4 + 682145016997922034609292307337601860192461422585272/52118134\ 03451270369383787268142758340662604851399701213*c_0110_6^21 - 10914985326207673534189126581228329042745661233733951/5211813403451\ 270369383787268142758340662604851399701213*c_0110_6^20 - 96519712678218484745893701013228706951179373837292956/5211813403451\ 270369383787268142758340662604851399701213*c_0110_6^19 + 342162766695686523950684346599629116680974101898802490/521181340345\ 1270369383787268142758340662604851399701213*c_0110_6^18 + 825171157232282755617292104865722615518068582004315804/521181340345\ 1270369383787268142758340662604851399701213*c_0110_6^17 - 1561756225331706164467445808988809313218562428404860042/52118134034\ 51270369383787268142758340662604851399701213*c_0110_6^16 + 26956059796656029948129409740459970861063115471621907547/5211813403\ 451270369383787268142758340662604851399701213*c_0110_6^15 - 72728302511836036588484476093276826508944245239946146445/5211813403\ 451270369383787268142758340662604851399701213*c_0110_6^14 + 152182991034180817324463382918526860021140382217898931545/521181340\ 3451270369383787268142758340662604851399701213*c_0110_6^13 - 380708883796663167515569722257390371689465965756068419954/521181340\ 3451270369383787268142758340662604851399701213*c_0110_6^12 + 220327813749447868379776152658123913277146968147674454094/521181340\ 3451270369383787268142758340662604851399701213*c_0110_6^11 - 402487971534091236697179587527019369657949337792575241353/521181340\ 3451270369383787268142758340662604851399701213*c_0110_6^10 - 212454160694782391902648759720049513260901678849463555874/521181340\ 3451270369383787268142758340662604851399701213*c_0110_6^9 + 712243872089794759860340088851865016122487091707050413026/521181340\ 3451270369383787268142758340662604851399701213*c_0110_6^8 + 317683061331958777972629621180743321178484378069109676349/521181340\ 3451270369383787268142758340662604851399701213*c_0110_6^7 + 552887055936654170867962750199659306259667118286448221665/521181340\ 3451270369383787268142758340662604851399701213*c_0110_6^6 + 614475049228188243890370014175129012638515153210493998681/521181340\ 3451270369383787268142758340662604851399701213*c_0110_6^5 + 26826946708503142784635899754958889829979000266085620406/5211813403\ 451270369383787268142758340662604851399701213*c_0110_6^4 - 101403141491454834708132608455272697219493788468141296134/521181340\ 3451270369383787268142758340662604851399701213*c_0110_6^3 - 23388155575806412698449751885053851738358276836709409509/5211813403\ 451270369383787268142758340662604851399701213*c_0110_6^2 - 12333159768708418006828092542978973625235058846715329728/5211813403\ 451270369383787268142758340662604851399701213*c_0110_6 + 853441133059370358966579269265913666057862717038483320/521181340345\ 1270369383787268142758340662604851399701213, c_0101_0 - 270037033942408023300774910629946278157261802691926132/52118\ 13403451270369383787268142758340662604851399701213*c_0110_6^21 - 1404284781592139305483840612246263492840091979536341349/52118134034\ 51270369383787268142758340662604851399701213*c_0110_6^20 + 7263623321887886542963217993936326329562654731324800920/52118134034\ 51270369383787268142758340662604851399701213*c_0110_6^19 + 13263159883414869992055276156413880095612368960045654218/5211813403\ 451270369383787268142758340662604851399701213*c_0110_6^18 - 9823315614762573314381999838690888598290748065460910487/52118134034\ 51270369383787268142758340662604851399701213*c_0110_6^17 + 444911221870788031617116613868422999477416242111263030275/521181340\ 3451270369383787268142758340662604851399701213*c_0110_6^16 - 1318215172881309027343952334084311073283517938424716840615/52118134\ 03451270369383787268142758340662604851399701213*c_0110_6^15 + 2815391026813889792215074807838012973035734431163938997455/52118134\ 03451270369383787268142758340662604851399701213*c_0110_6^14 - 7615557511390851507339502290931748760662476273347539244937/52118134\ 03451270369383787268142758340662604851399701213*c_0110_6^13 + 5625771096373645863827807603751561697637785967590950513043/52118134\ 03451270369383787268142758340662604851399701213*c_0110_6^12 - 9779711881662906391220068099997270379461689732506605995802/52118134\ 03451270369383787268142758340662604851399701213*c_0110_6^11 - 548279918539508185275751684052792441077386239414989436301/521181340\ 3451270369383787268142758340662604851399701213*c_0110_6^10 + 12414545992996235966221486546688814509379234769925354799997/5211813\ 403451270369383787268142758340662604851399701213*c_0110_6^9 + 3645800674944282497178548409312437611741010684851969450724/52118134\ 03451270369383787268142758340662604851399701213*c_0110_6^8 + 12378832311847705928926299615244817192044292624688064070231/5211813\ 403451270369383787268142758340662604851399701213*c_0110_6^7 + 8694530035557256334706949012099781746666469477289345224854/52118134\ 03451270369383787268142758340662604851399701213*c_0110_6^6 + 273336220802449237692500581024542409853376365353388829079/521181340\ 3451270369383787268142758340662604851399701213*c_0110_6^5 - 986354366273540490693884119255124875832997393038223155622/521181340\ 3451270369383787268142758340662604851399701213*c_0110_6^4 - 643777329303617666253518314360757699965843698842468193890/521181340\ 3451270369383787268142758340662604851399701213*c_0110_6^3 - 42331936756777821519088560656284062586434354190188400652/5211813403\ 451270369383787268142758340662604851399701213*c_0110_6^2 + 11941001092612389801215757685205284087320113353106433528/5211813403\ 451270369383787268142758340662604851399701213*c_0110_6 + 1141627540013358914548890950803842141806735429649150530/52118134034\ 51270369383787268142758340662604851399701213, c_0101_1 + 240173013914622365681847276916693936113703321530378452/52118\ 13403451270369383787268142758340662604851399701213*c_0110_6^21 + 1307634688488952447802787022340303006009602385398472387/52118134034\ 51270369383787268142758340662604851399701213*c_0110_6^20 - 6166643470998945355503371091258603438436986602861452163/52118134034\ 51270369383787268142758340662604851399701213*c_0110_6^19 - 13430214887668558938495906246336089292664211260509666818/5211813403\ 451270369383787268142758340662604851399701213*c_0110_6^18 + 6175530614383614986476966380152745895657376727096054692/52118134034\ 51270369383787268142758340662604851399701213*c_0110_6^17 - 393091893662888035905913291896797202223558133181863212177/521181340\ 3451270369383787268142758340662604851399701213*c_0110_6^16 + 1075245167586403474892182950605067713751162398845562575160/52118134\ 03451270369383787268142758340662604851399701213*c_0110_6^15 - 2198926100556534447870642694862175548181079067781562300541/52118134\ 03451270369383787268142758340662604851399701213*c_0110_6^14 + 6101899315233203745219046467156954126170544736222651005972/52118134\ 03451270369383787268142758340662604851399701213*c_0110_6^13 - 3217725602261413275629043013095060696669682181114910618270/52118134\ 03451270369383787268142758340662604851399701213*c_0110_6^12 + 7127634319961345212143847298180679120880594231607733500368/52118134\ 03451270369383787268142758340662604851399701213*c_0110_6^11 + 2925740285191721155667001415835413324293665904061176422901/52118134\ 03451270369383787268142758340662604851399701213*c_0110_6^10 - 11389744139196878938540626844464377978320688056185490016875/5211813\ 403451270369383787268142758340662604851399701213*c_0110_6^9 - 5863920729945729394394662165872186588784260548098869728723/52118134\ 03451270369383787268142758340662604851399701213*c_0110_6^8 - 11271912477469848917172147210739916308561209382000365033672/5211813\ 403451270369383787268142758340662604851399701213*c_0110_6^7 - 10393019897840507353374880746347768670171428927358972136284/5211813\ 403451270369383787268142758340662604851399701213*c_0110_6^6 - 1653931032160309880135437452864861673715037650821870895523/52118134\ 03451270369383787268142758340662604851399701213*c_0110_6^5 + 1072685074162545136762170077034270096268130957026391707473/52118134\ 03451270369383787268142758340662604851399701213*c_0110_6^4 + 698304064979459998333100106014193340286870386534729274017/521181340\ 3451270369383787268142758340662604851399701213*c_0110_6^3 + 117880518936757161168323175028728955060223089460300225766/521181340\ 3451270369383787268142758340662604851399701213*c_0110_6^2 - 15770561101683163405149806306290383777327869919957023651/5211813403\ 451270369383787268142758340662604851399701213*c_0110_6 - 2481712690063447618755646892481831781470715997819513248/52118134034\ 51270369383787268142758340662604851399701213, c_0101_3 - 169600221141654564390637886942808207375813927402521528/52118\ 13403451270369383787268142758340662604851399701213*c_0110_6^21 - 852683349015800944588835736822073026930288409474546450/521181340345\ 1270369383787268142758340662604851399701213*c_0110_6^20 + 4719390772583181965263831918046928677563676739136646557/52118134034\ 51270369383787268142758340662604851399701213*c_0110_6^19 + 7563042857173842560999788453181247099681272967257475721/52118134034\ 51270369383787268142758340662604851399701213*c_0110_6^18 - 7768308515148246165896105822410510710137813126271196906/52118134034\ 51270369383787268142758340662604851399701213*c_0110_6^17 + 280403968336915994311264963417004669662780956805856674000/521181340\ 3451270369383787268142758340662604851399701213*c_0110_6^16 - 875824631098749313036747209393746160154678901531997099881/521181340\ 3451270369383787268142758340662604851399701213*c_0110_6^15 + 1902660506444900491361306722052792431476146352624632535141/52118134\ 03451270369383787268142758340662604851399701213*c_0110_6^14 - 5055230512246869632352542108595208403493337449098038707529/52118134\ 03451270369383787268142758340662604851399701213*c_0110_6^13 + 4277285630122714920896977984030970493114565495698829348104/52118134\ 03451270369383787268142758340662604851399701213*c_0110_6^12 - 6542537468813991941662475478893791742545573017728185368340/52118134\ 03451270369383787268142758340662604851399701213*c_0110_6^11 + 434129156330992748602502713113333310900595948672841471929/521181340\ 3451270369383787268142758340662604851399701213*c_0110_6^10 + 8229819900507906395254932446777777847360033626130969530585/52118134\ 03451270369383787268142758340662604851399701213*c_0110_6^9 + 688239992598779697526959926896974964062521829259854767835/521181340\ 3451270369383787268142758340662604851399701213*c_0110_6^8 + 7257392816647365015520490245836507097947886389137446517302/52118134\ 03451270369383787268142758340662604851399701213*c_0110_6^7 + 4255082443655018012050183519441247108647668409085138969414/52118134\ 03451270369383787268142758340662604851399701213*c_0110_6^6 - 1030882239160245986139657460648067859763553637253808851882/52118134\ 03451270369383787268142758340662604851399701213*c_0110_6^5 - 601673659873276977791676956768197865834731997237397536272/521181340\ 3451270369383787268142758340662604851399701213*c_0110_6^4 - 249009669405233073703267716089916017252914213564540773142/521181340\ 3451270369383787268142758340662604851399701213*c_0110_6^3 + 13129692615620205626023952702020368649803371226079085754/5211813403\ 451270369383787268142758340662604851399701213*c_0110_6^2 + 10866538543110917847591801628191042911261907903477170542/5211813403\ 451270369383787268142758340662604851399701213*c_0110_6 - 526633180867092659105492945257102713388244240301540063/521181340345\ 1270369383787268142758340662604851399701213, c_0110_6^22 + 5*c_0110_6^21 - 28*c_0110_6^20 - 44*c_0110_6^19 + 48*c_0110_6^18 - 1653*c_0110_6^17 + 5208*c_0110_6^16 - 11304*c_0110_6^15 + 29939*c_0110_6^14 - 25666*c_0110_6^13 + 38276*c_0110_6^12 - 2838*c_0110_6^11 - 49599*c_0110_6^10 - 2850*c_0110_6^9 - 40709*c_0110_6^8 - 23878*c_0110_6^7 + 8115*c_0110_6^6 + 4274*c_0110_6^5 + 919*c_0110_6^4 - 284*c_0110_6^3 - 87*c_0110_6^2 + 13*c_0110_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB