Magma V2.19-8 Tue Aug 20 2013 16:16:10 on localhost [Seed = 711702254] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0425 geometric_solution 4.48059403 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 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 1.414862041878 0.091273267838 0 2 2 0 3201 0132 1023 0132 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 0 -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 0 0 0 1.186128646931 0.107420801128 3 1 1 3 0132 0132 1023 1023 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 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 1.266363595903 0.401859463742 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 0 1 -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 0 0 0 0 0 1 -1 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.371930472234 0.500108383250 5 3 6 5 2310 0132 0132 3201 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 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.177227921829 0.832945270491 6 4 4 3 0132 2310 3201 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 0 0 0 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.177227921829 0.832945270491 5 6 6 4 0132 3201 2310 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 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.244382341865 1.148561207215 ==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' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_4']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_5, c_0101_0, c_0101_2, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 327084328575426476868277183112986021945189203/182311628322466618370\ 7378639293388143345357*c_0101_4^25 - 1729889233003424526450010314493082456695969465/18231162832246661837\ 07378639293388143345357*c_0101_4^24 - 1125254610396194612610502053458524302603646087/18231162832246661837\ 07378639293388143345357*c_0101_4^23 + 30365848151959304935907802113934257394714684977/1823116283224666183\ 707378639293388143345357*c_0101_4^22 - 373862645625781148065573120074720797760251347/260445183317809454815\ 339805613341163335051*c_0101_4^21 - 227572617221426147171795486446054775534917190090/182311628322466618\ 3707378639293388143345357*c_0101_4^20 + 19980194533212660713222481621693416120503770738/1823116283224666183\ 707378639293388143345357*c_0101_4^19 + 1112090122604268193870448715256652149929424025832/18231162832246661\ 83707378639293388143345357*c_0101_4^18 + 11224073965202933081743798287323597396625117539/2604451833178094548\ 15339805613341163335051*c_0101_4^17 - 496632000236805315731420740343970798023319747721/260445183317809454\ 815339805613341163335051*c_0101_4^16 - 561231761400833167476725176983497287360564472213/182311628322466618\ 3707378639293388143345357*c_0101_4^15 + 7020153694708442848974927548740061158497901488071/18231162832246661\ 83707378639293388143345357*c_0101_4^14 + 812327987373831172353425282680816327917025672889/182311628322466618\ 3707378639293388143345357*c_0101_4^13 - 120247833032024866898064329909427375283690320016/236768348470735868\ 01394527783031014848641*c_0101_4^12 + 344016811060250753045737358916807579968778144585/182311628322466618\ 3707378639293388143345357*c_0101_4^11 + 7720531323084806517501697264052518453261102453146/18231162832246661\ 83707378639293388143345357*c_0101_4^10 - 241590843582110200418439802293803194040850760312/260445183317809454\ 815339805613341163335051*c_0101_4^9 - 4167276039391716456655092740947720580408084455508/18231162832246661\ 83707378639293388143345357*c_0101_4^8 + 2195006368250627108831462341332299775421588353600/18231162832246661\ 83707378639293388143345357*c_0101_4^7 + 59779421939590587056775499855293693863490392188/1657378439295151076\ 09761694481217103940487*c_0101_4^6 - 727813492671312604402762963450132101341538442052/182311628322466618\ 3707378639293388143345357*c_0101_4^5 + 67581868835507213379237856723206056719290542116/1823116283224666183\ 707378639293388143345357*c_0101_4^4 + 80781635705707128616273112628478904175115547980/1823116283224666183\ 707378639293388143345357*c_0101_4^3 - 21956578069442731600796541772607285511789269149/1823116283224666183\ 707378639293388143345357*c_0101_4^2 - 196353952196860497308730912126055814502165803/165737843929515107609\ 761694481217103940487*c_0101_4 + 1074933863453112509147740193214849\ 627737724326/1823116283224666183707378639293388143345357, c_0011_0 - 1, c_0011_1 - 148755205690518672557405939402848480776382/26044518331780945\ 4815339805613341163335051*c_0101_4^25 + 735336898400110415920810029490031827802612/260445183317809454815339\ 805613341163335051*c_0101_4^24 + 7425068630313692307550876829976063\ 85472874/260445183317809454815339805613341163335051*c_0101_4^23 - 13447208947858898244706211475636562688187694/2604451833178094548153\ 39805613341163335051*c_0101_4^22 - 3297874863164780784460992218564292815296669/26044518331780945481533\ 9805613341163335051*c_0101_4^21 + 100303923369587149823561515718897\ 086447070029/260445183317809454815339805613341163335051*c_0101_4^20 + 24261344709740548290179620933113451041108946/26044518331780945481\ 5339805613341163335051*c_0101_4^19 - 482062829154986945660800337643640817459739300/260445183317809454815\ 339805613341163335051*c_0101_4^18 - 192670418080185636238717908453910176240925623/260445183317809454815\ 339805613341163335051*c_0101_4^17 + 1441824210531402884980419129296713779720548890/26044518331780945481\ 5339805613341163335051*c_0101_4^16 + 695795623941416388165769794985982089832315557/260445183317809454815\ 339805613341163335051*c_0101_4^15 - 2744481928831445859575983442040248975767026680/26044518331780945481\ 5339805613341163335051*c_0101_4^14 - 1130629435408301732148494220480554517140730206/26044518331780945481\ 5339805613341163335051*c_0101_4^13 + 313464377808458665227318933699694085112034493/236768348470735868013\ 94527783031014848641*c_0101_4^12 + 717345274862746115711819555525856916646312481/260445183317809454815\ 339805613341163335051*c_0101_4^11 - 2814185755143690712546919576516939992443114299/26044518331780945481\ 5339805613341163335051*c_0101_4^10 + 81173405257513030203472053446797019963387123/2604451833178094548153\ 39805613341163335051*c_0101_4^9 + 155137279113748732862801616531931\ 1714263449227/260445183317809454815339805613341163335051*c_0101_4^8 - 592337627975238385058165203519945734965531043/2604451833178094548\ 15339805613341163335051*c_0101_4^7 - 25531912910106916224906577396888329738273004/2367683484707358680139\ 4527783031014848641*c_0101_4^6 + 2246267749243791027594432476361163\ 46333981145/260445183317809454815339805613341163335051*c_0101_4^5 - 13674083717045068999389513129858892540092650/2604451833178094548153\ 39805613341163335051*c_0101_4^4 - 249637887892955067077912016878778\ 29423790540/260445183317809454815339805613341163335051*c_0101_4^3 + 5880512734816923701214292143804977525197829/26044518331780945481533\ 9805613341163335051*c_0101_4^2 + 6589272146802455061710147105429863\ 8450656/23676834847073586801394527783031014848641*c_0101_4 - 214282958592091083145423634245765226040021/260445183317809454815339\ 805613341163335051, c_0011_5 - 96111943385539721390840430190319902840824/260445183317809454\ 815339805613341163335051*c_0101_4^25 + 487474045021204689347302847035249503112321/260445183317809454815339\ 805613341163335051*c_0101_4^24 + 3923007344876615392675401420348211\ 54239918/260445183317809454815339805613341163335051*c_0101_4^23 - 8626109172194217364675635468476138663409459/26044518331780945481533\ 9805613341163335051*c_0101_4^22 - 860164930599118070927920061509097\ 953748186/260445183317809454815339805613341163335051*c_0101_4^21 + 62771332188809797937176085555013792109660972/2604451833178094548153\ 39805613341163335051*c_0101_4^20 + 6267649003419438310689192731530606374604360/26044518331780945481533\ 9805613341163335051*c_0101_4^19 - 296613517236202486792064733310302\ 534921582451/260445183317809454815339805613341163335051*c_0101_4^18 - 76627519201333459781080632785423242358915527/26044518331780945481\ 5339805613341163335051*c_0101_4^17 + 868643135782860484583522909277951489702240489/260445183317809454815\ 339805613341163335051*c_0101_4^16 + 280315341356937646805698954463260162700356682/260445183317809454815\ 339805613341163335051*c_0101_4^15 - 1608228656500017924197849082388412842692927139/26044518331780945481\ 5339805613341163335051*c_0101_4^14 - 344923448658298370801915508524994992662456705/260445183317809454815\ 339805613341163335051*c_0101_4^13 + 175357296810817898213853061561047227055622056/236768348470735868013\ 94527783031014848641*c_0101_4^12 - 61865969863202458806661681531642005119033394/2604451833178094548153\ 39805613341163335051*c_0101_4^11 - 1415759716621134138915863657989755849212924320/26044518331780945481\ 5339805613341163335051*c_0101_4^10 + 442287594969039656939022064756200508070631705/260445183317809454815\ 339805613341163335051*c_0101_4^9 + 635545693835036842563679112670160671772368452/260445183317809454815\ 339805613341163335051*c_0101_4^8 - 527251837923368553892518461956136022207706307/260445183317809454815\ 339805613341163335051*c_0101_4^7 + 5751380567810669391660752628291752348587901/23676834847073586801394\ 527783031014848641*c_0101_4^6 + 98110604599266133488459629633920650\ 070447733/260445183317809454815339805613341163335051*c_0101_4^5 - 52876432162851668672385447971348049888883297/2604451833178094548153\ 39805613341163335051*c_0101_4^4 + 379416570874621397392218767908811\ 8078287005/260445183317809454815339805613341163335051*c_0101_4^3 + 4116905156463213981848575554997021300728755/26044518331780945481533\ 9805613341163335051*c_0101_4^2 - 9379950168592976837793113773143572\ 7728972/23676834847073586801394527783031014848641*c_0101_4 - 36610135877318441286376107497257924638118/2604451833178094548153398\ 05613341163335051, c_0101_0 + 1089285247726959738718675421167912228014792/2604451833178094\ 54815339805613341163335051*c_0101_4^25 - 5630423466430283039620660611827080001530708/26044518331780945481533\ 9805613341163335051*c_0101_4^24 - 441038048057496372323648088746503\ 5009814333/260445183317809454815339805613341163335051*c_0101_4^23 + 100531372961981305040717823543072534221062568/260445183317809454815\ 339805613341163335051*c_0101_4^22 + 3309988739662809863899800607063427085627541/26044518331780945481533\ 9805613341163335051*c_0101_4^21 - 756348206959242207904333235784362\ 781093415752/260445183317809454815339805613341163335051*c_0101_4^20 - 24480386526710230819539182361500777611100709/26044518331780945481\ 5339805613341163335051*c_0101_4^19 + 3692178596130234041894669393403360247756799840/26044518331780945481\ 5339805613341163335051*c_0101_4^18 + 706776210349143745106646220862653961598001257/260445183317809454815\ 339805613341163335051*c_0101_4^17 - 11451416963543904091017174327430828978223891895/2604451833178094548\ 15339805613341163335051*c_0101_4^16 - 3247163639569279768209659517037404261835033966/26044518331780945481\ 5339805613341163335051*c_0101_4^15 + 22859458335695644006471216564377791404487412668/2604451833178094548\ 15339805613341163335051*c_0101_4^14 + 5448981712555315614293842113630600586033971684/26044518331780945481\ 5339805613341163335051*c_0101_4^13 - 2719776348106178732778915436590863419026943322/23676834847073586801\ 394527783031014848641*c_0101_4^12 - 2459010576130106496965017136801599158027014016/26044518331780945481\ 5339805613341163335051*c_0101_4^11 + 25069543531866989017119831732749692442938017868/2604451833178094548\ 15339805613341163335051*c_0101_4^10 - 2547509143580958755270857053567861130625107542/26044518331780945481\ 5339805613341163335051*c_0101_4^9 - 13897634705756624350117838951559144756257685429/2604451833178094548\ 15339805613341163335051*c_0101_4^8 + 5526068014760493244471693563718832764406316474/26044518331780945481\ 5339805613341163335051*c_0101_4^7 + 245464468076688669360306188051421589761351638/236768348470735868013\ 94527783031014848641*c_0101_4^6 - 199139462337122235850316406916569\ 6564191279495/260445183317809454815339805613341163335051*c_0101_4^5 + 4770227353642086987930694910926455000289337/260445183317809454815\ 339805613341163335051*c_0101_4^4 + 239878655165685614459953866388349243031778780/260445183317809454815\ 339805613341163335051*c_0101_4^3 - 42979934505256762726311762063981989333744083/2604451833178094548153\ 39805613341163335051*c_0101_4^2 - 771697470560811680441737967935560\ 215393073/23676834847073586801394527783031014848641*c_0101_4 + 2519469660991603160124923241612965486592324/26044518331780945481533\ 9805613341163335051, c_0101_2 + 865598320513208062519782372737465759318407/26044518331780945\ 4815339805613341163335051*c_0101_4^25 - 4483458963503169253382371341363810684583165/26044518331780945481533\ 9805613341163335051*c_0101_4^24 - 342697806033560451991590479633325\ 9396574541/260445183317809454815339805613341163335051*c_0101_4^23 + 79782300575427614839112629870885652084905571/2604451833178094548153\ 39805613341163335051*c_0101_4^22 + 1607085010306875927511123748305241333520019/26044518331780945481533\ 9805613341163335051*c_0101_4^21 - 598417963081898769394766328221890\ 588494025390/260445183317809454815339805613341163335051*c_0101_4^20 - 11913038298249821416994173794026039253094118/26044518331780945481\ 5339805613341163335051*c_0101_4^19 + 2914793628117616237561951065634776359143021386/26044518331780945481\ 5339805613341163335051*c_0101_4^18 + 522066379056680759558804159964005029728535682/260445183317809454815\ 339805613341163335051*c_0101_4^17 - 9014445581012317177868102190847854362790925240/26044518331780945481\ 5339805613341163335051*c_0101_4^16 - 2429236720377444150918921914529369350662771703/26044518331780945481\ 5339805613341163335051*c_0101_4^15 + 17931199976494370468641981558035241804350651733/2604451833178094548\ 15339805613341163335051*c_0101_4^14 + 3958662607162816139403477122852965840827146832/26044518331780945481\ 5339805613341163335051*c_0101_4^13 - 2122851240758688177360540351082592545266113019/23676834847073586801\ 394527783031014848641*c_0101_4^12 - 1418593161924861922233606133567992636884078515/26044518331780945481\ 5339805613341163335051*c_0101_4^11 + 19387822906257168813056050631023568326029186616/2604451833178094548\ 15339805613341163335051*c_0101_4^10 - 2441609810592371009837054166556070405143912342/26044518331780945481\ 5339805613341163335051*c_0101_4^9 - 10596243896763833357435220778850301050182267142/2604451833178094548\ 15339805613341163335051*c_0101_4^8 + 4555246148895238339573237710440680955641368403/26044518331780945481\ 5339805613341163335051*c_0101_4^7 + 170435378269340267821177889336537851341215732/236768348470735868013\ 94527783031014848641*c_0101_4^6 - 153955148324371697882379108288648\ 7095931185943/260445183317809454815339805613341163335051*c_0101_4^5 + 47574670551949895876108122990146479658620509/26044518331780945481\ 5339805613341163335051*c_0101_4^4 + 173883936982971974127451702342169782130779127/260445183317809454815\ 339805613341163335051*c_0101_4^3 - 34341900344742955622535708750399236126678248/2604451833178094548153\ 39805613341163335051*c_0101_4^2 - 532564498108087037573370607520771\ 406466341/23676834847073586801394527783031014848641*c_0101_4 + 1882024266857273671914465334419582597447069/26044518331780945481533\ 9805613341163335051, c_0101_3 + 98146540198802839818554426792214705267458/260445183317809454\ 815339805613341163335051*c_0101_4^25 - 609109008505071820605261338431002971113799/260445183317809454815339\ 805613341163335051*c_0101_4^24 + 9911558155965741899457072043448800\ 8267854/260445183317809454815339805613341163335051*c_0101_4^23 + 9608288317228049621032919806029496991374133/26044518331780945481533\ 9805613341163335051*c_0101_4^22 - 890204329179788310155527439652663\ 2922772313/260445183317809454815339805613341163335051*c_0101_4^21 - 71110067725593915370587437934773666194960003/2604451833178094548153\ 39805613341163335051*c_0101_4^20 + 66994160924735295001513516767014331868423574/2604451833178094548153\ 39805613341163335051*c_0101_4^19 + 355060013436157286783147179193689251356757639/260445183317809454815\ 339805613341163335051*c_0101_4^18 - 270112713934523459139401420982668744736942132/260445183317809454815\ 339805613341163335051*c_0101_4^17 - 1194417410484407009033007454402073563654700552/26044518331780945481\ 5339805613341163335051*c_0101_4^16 + 707149522869661313981987481031476313917617473/260445183317809454815\ 339805613341163335051*c_0101_4^15 + 2646704268335717477919715865405215156373916968/26044518331780945481\ 5339805613341163335051*c_0101_4^14 - 1403529330482854877397266177994009878193298153/26044518331780945481\ 5339805613341163335051*c_0101_4^13 - 338461724357916728921907193760583935377211346/236768348470735868013\ 94527783031014848641*c_0101_4^12 + 2140633005329715509724784436242419451463700438/26044518331780945481\ 5339805613341163335051*c_0101_4^11 + 3112856826290660363541950249300485420916417356/26044518331780945481\ 5339805613341163335051*c_0101_4^10 - 2163451912735154562709253610198580265760031839/26044518331780945481\ 5339805613341163335051*c_0101_4^9 - 1526116733190285223494359998779194201026714829/26044518331780945481\ 5339805613341163335051*c_0101_4^8 + 1596560307522363179833762888340201669785532804/26044518331780945481\ 5339805613341163335051*c_0101_4^7 + 3229582411419210266416006006494157001081420/23676834847073586801394\ 527783031014848641*c_0101_4^6 - 43031057251611047184960911882278274\ 6120985893/260445183317809454815339805613341163335051*c_0101_4^5 + 95756470119786095824095074523743637435636789/2604451833178094548153\ 39805613341163335051*c_0101_4^4 + 402235212448928500816822581227901\ 64224628229/260445183317809454815339805613341163335051*c_0101_4^3 - 16009000563350772930805331759148633558134380/2604451833178094548153\ 39805613341163335051*c_0101_4^2 - 693104272138430999746002605308256\ 96266037/23676834847073586801394527783031014848641*c_0101_4 + 889203277249098547558488031021574933075500/260445183317809454815339\ 805613341163335051, c_0101_4^26 - 5*c_0101_4^25 - 5*c_0101_4^24 + 92*c_0101_4^23 + 19*c_0101_4^22 - 701*c_0101_4^21 - 141*c_0101_4^20 + 3440*c_0101_4^19 + 1231*c_0101_4^18 - 10668*c_0101_4^17 - 4847*c_0101_4^16 + 21297*c_0101_4^15 + 8909*c_0101_4^14 - 28220*c_0101_4^13 - 7555*c_0101_4^12 + 24690*c_0101_4^11 + 2080*c_0101_4^10 - 14869*c_0101_4^9 + 2798*c_0101_4^8 + 4310*c_0101_4^7 - 1630*c_0101_4^6 - 532*c_0101_4^5 + 316*c_0101_4^4 + 16*c_0101_4^3 - 27*c_0101_4^2 + c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB