Magma V2.19-8 Tue Aug 20 2013 16:16:25 on localhost [Seed = 1916006046] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0703 geometric_solution 4.65806227 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 1023 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 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.830436187824 0.072325778686 0 3 0 3 0132 0132 1023 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 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.725071314784 0.219418530294 2 0 2 0 2310 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 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.867444330574 0.041953336975 4 1 5 1 0132 0132 0132 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 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.954273762619 1.168685989188 3 6 5 5 0132 0132 0213 2310 0 0 0 0 0 -1 1 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.252660934309 0.796603232085 4 4 6 3 3201 0213 3201 0132 0 0 0 0 0 -1 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 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.252660934309 0.796603232085 5 4 6 6 2310 0132 2031 1302 0 0 0 0 0 1 -1 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 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.900506129549 1.887499778858 ==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_0101_6'], 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0011_5'], 'c_1010_0' : negation(d['c_0101_2'])})} 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_5, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t + 39352436563641552652627912612572072027/1682306741020331016018612788\ 6141827*c_0101_6^30 + 380865307541196658887126103192971934746/16823\ 067410203310160186127886141827*c_0101_6^29 + 1715379736352302589171488421816335205946/16823067410203310160186127\ 886141827*c_0101_6^28 + 5766582932711493674267185454792278363557/16\ 823067410203310160186127886141827*c_0101_6^27 + 15288210534833006626756637660214402805204/1682306741020331016018612\ 7886141827*c_0101_6^26 + 26756562378719913762828363805248980626299/\ 16823067410203310160186127886141827*c_0101_6^25 + 24499605366774906795056917420324715664578/1682306741020331016018612\ 7886141827*c_0101_6^24 + 6897213128394187281205429152957245174594/1\ 6823067410203310160186127886141827*c_0101_6^23 + 12720788742515751260958507141624102934243/1682306741020331016018612\ 7886141827*c_0101_6^22 + 47693637956924811205387964520694017125991/\ 16823067410203310160186127886141827*c_0101_6^21 + 219329543806914753636777840929854802752/152936976456393728728964798\ 9649257*c_0101_6^20 - 154225665056250954291795505142973712542856/16\ 823067410203310160186127886141827*c_0101_6^19 - 168057673263450388779131786962616330038901/168230674102033101601861\ 27886141827*c_0101_6^18 + 73803209636219752755267385036505211907495\ /16823067410203310160186127886141827*c_0101_6^17 + 161462574227262452831654625207296748832673/168230674102033101601861\ 27886141827*c_0101_6^16 - 82387897434753707432232858186934285109559\ /16823067410203310160186127886141827*c_0101_6^15 - 142652621358801458486148274229738112855723/168230674102033101601861\ 27886141827*c_0101_6^14 + 98360959133477735724858446192114338983585\ /16823067410203310160186127886141827*c_0101_6^13 + 9459552170838567111462166294042123398142/15293697645639372872896479\ 89649257*c_0101_6^12 - 83064224918687544894782594327471622318059/16\ 823067410203310160186127886141827*c_0101_6^11 - 39408696442483255236951270762618422574935/1682306741020331016018612\ 7886141827*c_0101_6^10 + 55752589523039900521218104753732331537825/\ 16823067410203310160186127886141827*c_0101_6^9 - 2227307954031013928426410040175161583287/16823067410203310160186127\ 886141827*c_0101_6^8 - 22036526068014853857500807019573105158238/16\ 823067410203310160186127886141827*c_0101_6^7 + 10447877683677105028698575087122526951751/1682306741020331016018612\ 7886141827*c_0101_6^6 + 1412410437945742398868612731473687378518/16\ 823067410203310160186127886141827*c_0101_6^5 - 3295725966792403528928114270958206232609/16823067410203310160186127\ 886141827*c_0101_6^4 + 1524859511620421665355278783821271609096/168\ 23067410203310160186127886141827*c_0101_6^3 - 33319767430251108377722552669352797491/1529369764563937287289647989\ 649257*c_0101_6^2 + 50460044054586788373481234738423825961/16823067\ 410203310160186127886141827*c_0101_6 - 3255227107167708329752345503071231233/16823067410203310160186127886\ 141827, c_0011_0 - 1, c_0011_5 - 865984125557580453278547558208828599/15293697645639372872896\ 47989649257*c_0101_6^30 - 9313552042950123508316916866859703576/152\ 9369764563937287289647989649257*c_0101_6^29 - 46725599900612848683310737235332690757/1529369764563937287289647989\ 649257*c_0101_6^28 - 167078360415514661709430676132881585413/152936\ 9764563937287289647989649257*c_0101_6^27 - 470923559077151868978797780779827020910/152936976456393728728964798\ 9649257*c_0101_6^26 - 943867700324389712219103279714866931218/15293\ 69764563937287289647989649257*c_0101_6^25 - 1154222667549729092139200453004828667454/15293697645639372872896479\ 89649257*c_0101_6^24 - 699528948844935504318011929986015333203/1529\ 369764563937287289647989649257*c_0101_6^23 - 416887821082259757317084246383697420815/152936976456393728728964798\ 9649257*c_0101_6^22 - 1357944538204037197226008507185520234738/1529\ 369764563937287289647989649257*c_0101_6^21 - 1195699535282432412542766461289598944372/15293697645639372872896479\ 89649257*c_0101_6^20 + 3374858863847802510468292188665061472345/152\ 9369764563937287289647989649257*c_0101_6^19 + 7351705276139440579149538194206061751235/15293697645639372872896479\ 89649257*c_0101_6^18 + 2135744364044709102784174786167710934987/152\ 9369764563937287289647989649257*c_0101_6^17 - 5582642949688925449685733269661856168265/15293697645639372872896479\ 89649257*c_0101_6^16 - 1908029180666453917894368896875460153015/152\ 9369764563937287289647989649257*c_0101_6^15 + 5462926369939757843572180708669110739501/15293697645639372872896479\ 89649257*c_0101_6^14 + 1229718370793585846022570661223720101392/152\ 9369764563937287289647989649257*c_0101_6^13 - 4888711643347376917452303508906963809809/15293697645639372872896479\ 89649257*c_0101_6^12 - 574533055548603458479634457732739845957/1529\ 369764563937287289647989649257*c_0101_6^11 + 3080041257101165318493922007974567002254/15293697645639372872896479\ 89649257*c_0101_6^10 - 352573027654716369447952193353836868507/1529\ 369764563937287289647989649257*c_0101_6^9 - 1413217536711417331729150650670766398058/15293697645639372872896479\ 89649257*c_0101_6^8 + 591764342256677225782254056318655814631/15293\ 69764563937287289647989649257*c_0101_6^7 + 338498831993588438388875649463534112317/152936976456393728728964798\ 9649257*c_0101_6^6 - 315738116281561870881403861507544372171/152936\ 9764563937287289647989649257*c_0101_6^5 + 34493256450777537223763986386841245463/1529369764563937287289647989\ 649257*c_0101_6^4 + 55892739819559768990387135347071857244/15293697\ 64563937287289647989649257*c_0101_6^3 - 31082827542835366272987222452769116967/1529369764563937287289647989\ 649257*c_0101_6^2 + 6886524962283606907298549100569560465/152936976\ 4563937287289647989649257*c_0101_6 - 580340743343206942053003503935330088/152936976456393728728964798964\ 9257, c_0101_0 + 1425052236726341776395714615358973433/1529369764563937287289\ 647989649257*c_0101_6^30 + 15420530585648278108202181812767561109/1\ 529369764563937287289647989649257*c_0101_6^29 + 77766215622590618374997981098770523598/1529369764563937287289647989\ 649257*c_0101_6^28 + 278688898653713029544953703078984887747/152936\ 9764563937287289647989649257*c_0101_6^27 + 787096878402777013414176478751499098428/152936976456393728728964798\ 9649257*c_0101_6^26 + 1584119645901414631807542815976927831085/1529\ 369764563937287289647989649257*c_0101_6^25 + 1947979000700283040943956098388689860785/15293697645639372872896479\ 89649257*c_0101_6^24 + 1181331038651287134040840694278286594739/152\ 9369764563937287289647989649257*c_0101_6^23 + 671924682130625169798534109936887828929/152936976456393728728964798\ 9649257*c_0101_6^22 + 2247722174580856005470124588258809191028/1529\ 369764563937287289647989649257*c_0101_6^21 + 2061929891495663825187843616586250703673/15293697645639372872896479\ 89649257*c_0101_6^20 - 5596475387403468275710331138047169837797/152\ 9369764563937287289647989649257*c_0101_6^19 - 12481271382012428293257063719614449047359/1529369764563937287289647\ 989649257*c_0101_6^18 - 3789713170627432481653324005200401258185/15\ 29369764563937287289647989649257*c_0101_6^17 + 9539931731521109402606452490348464465861/15293697645639372872896479\ 89649257*c_0101_6^16 + 3523635419412850141939231687285550927711/152\ 9369764563937287289647989649257*c_0101_6^15 - 9306620403479186179589292020718214402940/15293697645639372872896479\ 89649257*c_0101_6^14 - 2332382799683877420059003622653720982527/152\ 9369764563937287289647989649257*c_0101_6^13 + 8396145200870689415279928550125735590195/15293697645639372872896479\ 89649257*c_0101_6^12 + 1155162943435799045890921022540470317231/152\ 9369764563937287289647989649257*c_0101_6^11 - 5353922131588349735267931222910157424231/15293697645639372872896479\ 89649257*c_0101_6^10 + 517760008410726325355534461203845457567/1529\ 369764563937287289647989649257*c_0101_6^9 + 2496132757607723275470844323730696306085/15293697645639372872896479\ 89649257*c_0101_6^8 - 1004548388138357217199020165280244416716/1529\ 369764563937287289647989649257*c_0101_6^7 - 617433095793987068702478747006535121842/152936976456393728728964798\ 9649257*c_0101_6^6 + 555882586680691925152648773739631500406/152936\ 9764563937287289647989649257*c_0101_6^5 - 55050347552493119273744407951730370542/1529369764563937287289647989\ 649257*c_0101_6^4 - 101777149514351804446589273839813779353/1529369\ 764563937287289647989649257*c_0101_6^3 + 55792625647127968058185994558075990730/1529369764563937287289647989\ 649257*c_0101_6^2 - 12319777287226768948734641621188217215/15293697\ 64563937287289647989649257*c_0101_6 + 1040923459754289256166153810074934187/15293697645639372872896479896\ 49257, c_0101_1 - 4005738031104280071201486580692227460/1529369764563937287289\ 647989649257*c_0101_6^30 - 43143824031476378172412710665123852490/1\ 529369764563937287289647989649257*c_0101_6^29 - 216665585701434588643119543702742325902/152936976456393728728964798\ 9649257*c_0101_6^28 - 774792479801789282247265839895469261907/15293\ 69764563937287289647989649257*c_0101_6^27 - 2183731955808005327947299223468444678640/15293697645639372872896479\ 89649257*c_0101_6^26 - 4377000129293827743807866137434392371544/152\ 9369764563937287289647989649257*c_0101_6^25 - 5344425620183679998723609308259027810907/15293697645639372872896479\ 89649257*c_0101_6^24 - 3201937428896579245942334002644822662790/152\ 9369764563937287289647989649257*c_0101_6^23 - 1850911191845504785837870074795967963104/15293697645639372872896479\ 89649257*c_0101_6^22 - 6239310509637437737358452879764086847173/152\ 9369764563937287289647989649257*c_0101_6^21 - 5549750605562487935054926549368971017187/15293697645639372872896479\ 89649257*c_0101_6^20 + 15728659216910035815679495751659291476247/15\ 29369764563937287289647989649257*c_0101_6^19 + 34325472196435045583917882990437867468881/1529369764563937287289647\ 989649257*c_0101_6^18 + 9889865066789405802673762884621749104876/15\ 29369764563937287289647989649257*c_0101_6^17 - 26419723279677021776267379314404749897673/1529369764563937287289647\ 989649257*c_0101_6^16 - 9216767507316539523316714823562559930432/15\ 29369764563937287289647989649257*c_0101_6^15 + 25657420373747544911731682717522093175974/1529369764563937287289647\ 989649257*c_0101_6^14 + 5925802177481257204486744455764405768313/15\ 29369764563937287289647989649257*c_0101_6^13 - 23054705396950904838938959674035338455524/1529369764563937287289647\ 989649257*c_0101_6^12 - 2817596794785200239852207582682627461516/15\ 29369764563937287289647989649257*c_0101_6^11 + 14603075734557657572092391466186478651900/1529369764563937287289647\ 989649257*c_0101_6^10 - 1583807143169640097954578863915331177358/15\ 29369764563937287289647989649257*c_0101_6^9 - 6731789230077756207280269525442810930305/15293697645639372872896479\ 89649257*c_0101_6^8 + 2779852357144689870094547421913285153239/1529\ 369764563937287289647989649257*c_0101_6^7 + 1634252386613633342055595154238689324049/15293697645639372872896479\ 89649257*c_0101_6^6 - 1501723138897237823937800331532857314676/1529\ 369764563937287289647989649257*c_0101_6^5 + 156357508590158217633315117100025448769/152936976456393728728964798\ 9649257*c_0101_6^4 + 269678800870657324707062042169524846575/152936\ 9764563937287289647989649257*c_0101_6^3 - 148552015026085505659676431055989595621/152936976456393728728964798\ 9649257*c_0101_6^2 + 32670014102752362981272683840361110453/1529369\ 764563937287289647989649257*c_0101_6 - 2725148035945804932356084730136017283/15293697645639372872896479896\ 49257, c_0101_2 - 6492553612625052883477886034625278798/1529369764563937287289\ 647989649257*c_0101_6^30 - 70015326164020472049588625085288063260/1\ 529369764563937287289647989649257*c_0101_6^29 - 351541046467767112562646499020471266082/152936976456393728728964798\ 9649257*c_0101_6^28 - 1254858063400282804146428338821471788306/1529\ 369764563937287289647989649257*c_0101_6^27 - 3530216098728136246762454563895518984366/15293697645639372872896479\ 89649257*c_0101_6^26 - 7052678894119892660636682369666605458134/152\ 9369764563937287289647989649257*c_0101_6^25 - 8516973068684514845962045953628686070651/15293697645639372872896479\ 89649257*c_0101_6^24 - 4867023847047795622159467714626041240376/152\ 9369764563937287289647989649257*c_0101_6^23 - 2619452089155965311475117255770436452813/15293697645639372872896479\ 89649257*c_0101_6^22 - 9949366420054931949474782850517316312169/152\ 9369764563937287289647989649257*c_0101_6^21 - 8888386217303507237740962302682333334921/15293697645639372872896479\ 89649257*c_0101_6^20 + 26127103366853715290129923658780302011283/15\ 29369764563937287289647989649257*c_0101_6^19 + 56178148900790782887637262707512320225608/1529369764563937287289647\ 989649257*c_0101_6^18 + 14604228665399995954502940609148849025708/1\ 529369764563937287289647989649257*c_0101_6^17 - 45466621499239054401430360035729597295703/1529369764563937287289647\ 989649257*c_0101_6^16 - 15057693414913436626996374110008169840645/1\ 529369764563937287289647989649257*c_0101_6^15 + 43749020128811954554880342472460895098436/1529369764563937287289647\ 989649257*c_0101_6^14 + 9416953807363274291612485728483360757249/15\ 29369764563937287289647989649257*c_0101_6^13 - 39451223410725438529351214472180064941448/1529369764563937287289647\ 989649257*c_0101_6^12 - 4107360883437193512783398781640805446791/15\ 29369764563937287289647989649257*c_0101_6^11 + 25290624923311161531515604808359014857841/1529369764563937287289647\ 989649257*c_0101_6^10 - 3104370986399944964428292700126017146027/15\ 29369764563937287289647989649257*c_0101_6^9 - 11686266483343969526095585501142876901543/1529369764563937287289647\ 989649257*c_0101_6^8 + 5014644487902489220231017550759351925563/152\ 9369764563937287289647989649257*c_0101_6^7 + 2818318194100720273419242182794954330947/15293697645639372872896479\ 89649257*c_0101_6^6 - 2696602521132979958621131861621971499902/1529\ 369764563937287289647989649257*c_0101_6^5 + 306307840819310605310010336019662353170/152936976456393728728964798\ 9649257*c_0101_6^4 + 483018525128307350251501208682814077889/152936\ 9764563937287289647989649257*c_0101_6^3 - 273930751288256244145082334872889706478/152936976456393728728964798\ 9649257*c_0101_6^2 + 61902872108204263712682340064972819602/1529369\ 764563937287289647989649257*c_0101_6 - 5333288262322492716325276532398693485/15293697645639372872896479896\ 49257, c_0101_3 + 509988692283581548441870854895353612/15293697645639372872896\ 47989649257*c_0101_6^30 + 5539278753141325827035681616313877878/152\ 9369764563937287289647989649257*c_0101_6^29 + 28040000336034197294587408604435923194/1529369764563937287289647989\ 649257*c_0101_6^28 + 100734830282039012461768540353554486546/152936\ 9764563937287289647989649257*c_0101_6^27 + 285190502327054057156670766414288486325/152936976456393728728964798\ 9649257*c_0101_6^26 + 576646707736519105957314910967027189270/15293\ 69764563937287289647989649257*c_0101_6^25 + 715957095509803455254012365956453747999/152936976456393728728964798\ 9649257*c_0101_6^24 + 445083313780528780954452087659516145753/15293\ 69764563937287289647989649257*c_0101_6^23 + 255672118496297978694542526805896714720/152936976456393728728964798\ 9649257*c_0101_6^22 + 819271539191370699534178722802259230603/15293\ 69764563937287289647989649257*c_0101_6^21 + 770482014156897974838415796521447848341/152936976456393728728964798\ 9649257*c_0101_6^20 - 1985094957112944100319328591416682746291/1529\ 369764563937287289647989649257*c_0101_6^19 - 4536881484456337706874274095331198186091/15293697645639372872896479\ 89649257*c_0101_6^18 - 1477511081672370818002847416145865760656/152\ 9369764563937287289647989649257*c_0101_6^17 + 3390081907439317356099329956244787710030/15293697645639372872896479\ 89649257*c_0101_6^16 + 1329722326223163009252037301826358039835/152\ 9369764563937287289647989649257*c_0101_6^15 - 3339178437234079189905759648442334579173/15293697645639372872896479\ 89649257*c_0101_6^14 - 912188246812681821860470186824990481221/1529\ 369764563937287289647989649257*c_0101_6^13 + 3015144673141622121787216020888314408266/15293697645639372872896479\ 89649257*c_0101_6^12 + 471693951781822520905884353402598127386/1529\ 369764563937287289647989649257*c_0101_6^11 - 1928292971882220971723368686051654765552/15293697645639372872896479\ 89649257*c_0101_6^10 + 158447987516073246782787465428776913307/1529\ 369764563937287289647989649257*c_0101_6^9 + 907815205022861393158142484543609145881/152936976456393728728964798\ 9649257*c_0101_6^8 - 352362881587819813936418509510927831784/152936\ 9764563937287289647989649257*c_0101_6^7 - 228644883121037245566145357067706470595/152936976456393728728964798\ 9649257*c_0101_6^6 + 199815319359382494275788348379772209804/152936\ 9764563937287289647989649257*c_0101_6^5 - 18164264741337973066368237304833991311/1529369764563937287289647989\ 649257*c_0101_6^4 - 37279266366161444608789582147886787654/15293697\ 64563937287289647989649257*c_0101_6^3 + 20140475918729955360113138083509061060/1529369764563937287289647989\ 649257*c_0101_6^2 - 4415118339970976131367330508523546889/152936976\ 4563937287289647989649257*c_0101_6 + 369243325992223188297647264520121146/152936976456393728728964798964\ 9257, c_0101_6^31 + 31/3*c_0101_6^30 + 148/3*c_0101_6^29 + 508/3*c_0101_6^28 + 1376/3*c_0101_6^27 + 848*c_0101_6^26 + 840*c_0101_6^25 + 566/3*c_0101_6^24 + 91*c_0101_6^23 + 1354*c_0101_6^22 + 2074/3*c_0101_6^21 - 13754/3*c_0101_6^20 - 20527/3*c_0101_6^19 + 4376/3*c_0101_6^18 + 7831*c_0101_6^17 - 713*c_0101_6^16 - 22748/3*c_0101_6^15 + 1457*c_0101_6^14 + 6551*c_0101_6^13 - 1960*c_0101_6^12 - 12160/3*c_0101_6^11 + 6328/3*c_0101_6^10 + 1538*c_0101_6^9 - 4507/3*c_0101_6^8 - 278/3*c_0101_6^7 + 1738/3*c_0101_6^6 - 655/3*c_0101_6^5 - 51*c_0101_6^4 + 212/3*c_0101_6^3 - 79/3*c_0101_6^2 + 14/3*c_0101_6 - 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB