Magma V2.19-8 Tue Aug 20 2013 16:18:03 on localhost [Seed = 1865348000] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2283 geometric_solution 5.69768627 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 2 0 0132 1302 0132 2031 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 1 -1 0 0 0 0 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.572159385418 0.421704440327 0 3 2 4 0132 0132 3012 0132 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 -1 1 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.867461884556 0.834726064614 4 1 3 0 1023 1230 0132 0132 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 1 -1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.867461884556 0.834726064614 5 1 5 2 0132 0132 2310 0132 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 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.727307109621 1.209854143779 6 2 1 6 0132 1023 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.930138577846 0.492443935638 3 3 5 5 0132 3201 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.329443316252 0.246980304707 4 6 6 4 0132 3201 2310 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.212467933347 0.312000630594 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : 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_2']), 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_0'], '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' : negation(d['c_0011_0']), 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : negation(d['c_0011_2']), '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' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0011_2']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : negation(d['c_0011_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0011_2']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0101_2'], 'c_1010_0' : d['c_0011_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_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: 38 Groebner basis: [ t - 2254703793973257930447469542374440345380671117276237329116747417257\ 9441736103/15449245494386526163356129703327149305147142776448431478\ 8920558130498320223*c_0101_6^37 + 999512211652418660836974700009268\ 34428176990947116797215452996280480195809355/1544924549438652616335\ 61297033271493051471427764484314788920558130498320223*c_0101_6^36 - 8197293551590323233704648274642991472779379932347436729058132484543\ 049517742/154492454943865261633561297033271493051471427764484314788\ 920558130498320223*c_0101_6^35 - 1168856418979656438016201140030772\ 477078443636257820431763040761533482025637185/154492454943865261633\ 561297033271493051471427764484314788920558130498320223*c_0101_6^34 + 3339477190073112466982065839439237806251178757274623332043402911981\ 714737309913/154492454943865261633561297033271493051471427764484314\ 788920558130498320223*c_0101_6^33 + 2240415244724680226613796815343055742956738058374500263663248832513\ 7669315038/15449245494386526163356129703327149305147142776448431478\ 8920558130498320223*c_0101_6^32 - 110484289388569871651944907454675\ 8368318165076489704617397325623401580072481629/90877914672861918607\ 97723354898323120674789868499077340524738713558724719*c_0101_6^31 + 3386341137959551334852570190775538714636473785264115652146316728964\ 1096908499648/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^30 + 1942364138634022068064174084060728472388707029629363773801283732159\ 9987840530365/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^29 - 7661151583198557221409023830161073980978801740823548962037275881347\ 452694902674/908779146728619186079772335489832312067478986849907734\ 0524738713558724719*c_0101_6^28 + 712885818335681815062825631424450\ 68492740909500358024195468181335995446470578278/1544924549438652616\ 33561297033271493051471427764484314788920558130498320223*c_0101_6^2\ 7 + 260941392539014735317119647812215091488876954329573011481520915\ 799035484107404226/154492454943865261633561297033271493051471427764\ 484314788920558130498320223*c_0101_6^26 - 2800259479394748282709420533762640214175667470540185549157144021099\ 37442966740419/1544924549438652616335612970332714930514714277644843\ 14788920558130498320223*c_0101_6^25 - 4551992983230450053196003583054320717725821833050475016659125017685\ 18625961681791/1544924549438652616335612970332714930514714277644843\ 14788920558130498320223*c_0101_6^24 + 6566876864347817459218573702228056644273045553357068654729972801062\ 49970780361591/1544924549438652616335612970332714930514714277644843\ 14788920558130498320223*c_0101_6^23 + 7315426640995392724237441522913024936502891796840613344545584475992\ 96472848900377/1544924549438652616335612970332714930514714277644843\ 14788920558130498320223*c_0101_6^22 - 1166839669225869535659040628911809650475133771255972543700591047157\ 332730026461853/154492454943865261633561297033271493051471427764484\ 314788920558130498320223*c_0101_6^21 - 1099616960577858679210521973125559656895432451117871479114696066466\ 409419600427218/154492454943865261633561297033271493051471427764484\ 314788920558130498320223*c_0101_6^20 + 1471387238785425345039243686757784875472511115573605274211055611912\ 200252408985245/154492454943865261633561297033271493051471427764484\ 314788920558130498320223*c_0101_6^19 + 1651788090586175822487155177527397184331061215165738993047602439257\ 211410824588779/154492454943865261633561297033271493051471427764484\ 314788920558130498320223*c_0101_6^18 - 1124984587911545988636035622999404876428431179692799439127879737433\ 202356282062598/154492454943865261633561297033271493051471427764484\ 314788920558130498320223*c_0101_6^17 - 2025625492785858187186594030470949602323991906631447530057985482022\ 512601672848356/154492454943865261633561297033271493051471427764484\ 314788920558130498320223*c_0101_6^16 + 1172563119163344375163914825163554248554384113719364405300596512787\ 73738222496336/1544924549438652616335612970332714930514714277644843\ 14788920558130498320223*c_0101_6^15 + 1806904209397855541732801449303964325477786254744687896219952397300\ 647155580610865/154492454943865261633561297033271493051471427764484\ 314788920558130498320223*c_0101_6^14 + 1135659409723305031915255165370351120983948102649321751569141241680\ 524640095353159/154492454943865261633561297033271493051471427764484\ 314788920558130498320223*c_0101_6^13 - 4196001729056678333399999408944572991840833504859820364686606261770\ 40084504324143/1544924549438652616335612970332714930514714277644843\ 14788920558130498320223*c_0101_6^12 - 9673908816301794460055924174803416055744856680682078823059588995783\ 05086714287688/1544924549438652616335612970332714930514714277644843\ 14788920558130498320223*c_0101_6^11 - 4298148000804998255878811519963487599823829752699648766500373251995\ 84115209250991/1544924549438652616335612970332714930514714277644843\ 14788920558130498320223*c_0101_6^10 + 1567397534477607582709165989471088999197317479711438854589847972258\ 21858317442072/1544924549438652616335612970332714930514714277644843\ 14788920558130498320223*c_0101_6^9 + 2520985765381794595927260756167525096541581604097699894039269001020\ 80757527418125/1544924549438652616335612970332714930514714277644843\ 14788920558130498320223*c_0101_6^8 + 8273585836967295220651257248666300404680629048702092723994776035950\ 3226122246182/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^7 - 2917978421115378524335596834498694518085947222361525542150867242003\ 9227544123004/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^6 - 3047712965596966534034585287643050462370260707674222361709567381225\ 8701400734588/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^5 - 5187131564181667483712226866741648992565147975282358763262310433373\ 190966454092/154492454943865261633561297033271493051471427764484314\ 788920558130498320223*c_0101_6^4 + 2969551970216725941640185017299987152943057702100287480634760005504\ 965390411050/154492454943865261633561297033271493051471427764484314\ 788920558130498320223*c_0101_6^3 + 1183072159434691144035189372579500019359089833775730587635164615666\ 457208717615/154492454943865261633561297033271493051471427764484314\ 788920558130498320223*c_0101_6^2 - 6119305015791866936689618582000074597860725552809272501743010825789\ 3154773175/15449245494386526163356129703327149305147142776448431478\ 8920558130498320223*c_0101_6 - 613549085072269397343457817804608846\ 85225504948973928323472463101168758979827/1544924549438652616335612\ 97033271493051471427764484314788920558130498320223, c_0011_0 - 1, c_0011_2 + 982207645279347834167855887751314678534296767170401395588608\ 23499236576772/1544924549438652616335612970332714930514714277644843\ 14788920558130498320223*c_0101_6^37 - 5802877097817110830975961171302983308184358242705414381440121027686\ 45000791/1544924549438652616335612970332714930514714277644843147889\ 20558130498320223*c_0101_6^36 + 74907003441593038943669275374909946\ 1556922612466536970913901967794985563991/15449245494386526163356129\ 7033271493051471427764484314788920558130498320223*c_0101_6^35 + 4666845787938929438759023099286001745404011900059761007909716649890\ 505128472/154492454943865261633561297033271493051471427764484314788\ 920558130498320223*c_0101_6^34 - 2175168257127520197708255307165236\ 3119034571649025629623020814439129495780227/15449245494386526163356\ 1297033271493051471427764484314788920558130498320223*c_0101_6^33 + 2488707950018343729377659603542578604953369913559628795862344232725\ 0039457552/15449245494386526163356129703327149305147142776448431478\ 8920558130498320223*c_0101_6^32 + 403320454182517479150838546929605\ 7558448211019360593834247349093561438388853/90877914672861918607977\ 23354898323120674789868499077340524738713558724719*c_0101_6^31 - 2584316012618570136686251719674245347001413000708901034929832977993\ 32483543775/1544924549438652616335612970332714930514714277644843147\ 88920558130498320223*c_0101_6^30 + 1873383284303130853048275940709308544610603860273261270601809969205\ 10991585548/1544924549438652616335612970332714930514714277644843147\ 88920558130498320223*c_0101_6^29 + 3180084381122620788249922241391573417959836952380614705257479278471\ 0408689822/90877914672861918607977233548983231206747898684990773405\ 24738713558724719*c_0101_6^28 - 11011751222802800487780571398946562\ 90068653147624268672836420306829882979497486/1544924549438652616335\ 61297033271493051471427764484314788920558130498320223*c_0101_6^27 - 2733857190864367165249201110458852816587078319388309533107442699788\ 37000510406/1544924549438652616335612970332714930514714277644843147\ 88920558130498320223*c_0101_6^26 + 2348728876776563162742102990213735656767171573849978163760257712866\ 815265368523/154492454943865261633561297033271493051471427764484314\ 788920558130498320223*c_0101_6^25 - 2987676073753606518346164224063126629390314672263712380404181146099\ 16760333643/1544924549438652616335612970332714930514714277644843147\ 88920558130498320223*c_0101_6^24 - 4423385666670713458450254667961887323562147991450741020066321433724\ 176221218648/154492454943865261633561297033271493051471427764484314\ 788920558130498320223*c_0101_6^23 + 1532245812107058448349745219806097542540519846898380328217325539538\ 537641283606/154492454943865261633561297033271493051471427764484314\ 788920558130498320223*c_0101_6^22 + 7049674699973562617098037434247339261692994006340950314690480367655\ 838909674976/154492454943865261633561297033271493051471427764484314\ 788920558130498320223*c_0101_6^21 - 3056009191334437192793749788510327638646238305053442770495338626317\ 154845232981/154492454943865261633561297033271493051471427764484314\ 788920558130498320223*c_0101_6^20 - 8961224825409127122405910845770208693263210537274590116513527976030\ 623502389606/154492454943865261633561297033271493051471427764484314\ 788920558130498320223*c_0101_6^19 + 2431821787593797557904108376265266882016550822199263140816786111877\ 467569227556/154492454943865261633561297033271493051471427764484314\ 788920558130498320223*c_0101_6^18 + 9804440816202232911827651483813650889973730162630902377459762633923\ 759236020002/154492454943865261633561297033271493051471427764484314\ 788920558130498320223*c_0101_6^17 + 5181330839263190588098139700041875489633425815837719059349207423204\ 09298929961/1544924549438652616335612970332714930514714277644843147\ 88920558130498320223*c_0101_6^16 - 7980127180017008833203741388524204317421077465653194831536407343591\ 793142599456/154492454943865261633561297033271493051471427764484314\ 788920558130498320223*c_0101_6^15 - 4422116574323407246584236502775362796166508546035605252239137345038\ 571412959127/154492454943865261633561297033271493051471427764484314\ 788920558130498320223*c_0101_6^14 + 3209533114675287776302928158853869313030707784665500833436080289376\ 427139309729/154492454943865261633561297033271493051471427764484314\ 788920558130498320223*c_0101_6^13 + 5165058874081181498520111993627432329875076264776395472029353899893\ 769828942284/154492454943865261633561297033271493051471427764484314\ 788920558130498320223*c_0101_6^12 + 1394445585691175160227876282547501472421615082303370653415581151071\ 829949642890/154492454943865261633561297033271493051471427764484314\ 788920558130498320223*c_0101_6^11 - 1901638915996602516399810448383958945453371862614759830461240666431\ 988073666385/154492454943865261633561297033271493051471427764484314\ 788920558130498320223*c_0101_6^10 - 1804038565324970671712277607648233254031390672409406962331773240994\ 042981679082/154492454943865261633561297033271493051471427764484314\ 788920558130498320223*c_0101_6^9 - 3002371624832084201140299347610710600675819129428266025773686843559\ 23527100790/1544924549438652616335612970332714930514714277644843147\ 88920558130498320223*c_0101_6^8 + 452834868828553250734910821235928\ 993046985444458660525927085087248500080379536/154492454943865261633\ 561297033271493051471427764484314788920558130498320223*c_0101_6^7 + 3081785060355841190206586684404966755734692638638776942444444660119\ 61538652841/1544924549438652616335612970332714930514714277644843147\ 88920558130498320223*c_0101_6^6 + 266637530258766316495763435632211\ 95673786103634823121024303746753328168368457/1544924549438652616335\ 61297033271493051471427764484314788920558130498320223*c_0101_6^5 - 4646764244233947792181746512673294127812674290515244322605037420987\ 6178975094/15449245494386526163356129703327149305147142776448431478\ 8920558130498320223*c_0101_6^4 - 1781862339803152974027949264145659\ 6303017173354023645871801857748513019109130/15449245494386526163356\ 1297033271493051471427764484314788920558130498320223*c_0101_6^3 + 4241994088437658718350778163189116297497565307981026000227306319668\ 46383624/1544924549438652616335612970332714930514714277644843147889\ 20558130498320223*c_0101_6^2 + 105384082922170271557844347782394286\ 0093592410923454835168833708318262836314/15449245494386526163356129\ 7033271493051471427764484314788920558130498320223*c_0101_6 + 1550068011636129599877827508464999658916076011852829408754855449221\ 02465735/1544924549438652616335612970332714930514714277644843147889\ 20558130498320223, c_0101_0 + 675283158286684697378693134854483851720082327909850690695312\ 384717803120485/154492454943865261633561297033271493051471427764484\ 314788920558130498320223*c_0101_6^37 - 3168712040884814891230268666163423399929302111490680223611617348149\ 570347903/154492454943865261633561297033271493051471427764484314788\ 920558130498320223*c_0101_6^36 + 1141125483061090501669976264851387\ 897231782055509419440540863619415808827995/154492454943865261633561\ 297033271493051471427764484314788920558130498320223*c_0101_6^35 + 3433786914026174070694273300183189628366000216389959183330476529892\ 5414543266/15449245494386526163356129703327149305147142776448431478\ 8920558130498320223*c_0101_6^34 - 108657171171450245618953950778232\ 875787810245908996614480760534727814786229420/154492454943865261633\ 561297033271493051471427764484314788920558130498320223*c_0101_6^33 + 3114638220089781552229803623022501449350560047033010235102776566303\ 3344340969/15449245494386526163356129703327149305147142776448431478\ 8920558130498320223*c_0101_6^32 + 318379772182395752957930921622768\ 34090152614018428175595513848728719099924262/9087791467286191860797\ 723354898323120674789868499077340524738713558724719*c_0101_6^31 - 1146126467347881100740360282564261949504821896158813805396764138805\ 143367547711/154492454943865261633561297033271493051471427764484314\ 788920558130498320223*c_0101_6^30 - 2290615698721419301549307029424139456794773159526829509835808756356\ 55115816630/1544924549438652616335612970332714930514714277644843147\ 88920558130498320223*c_0101_6^29 + 2243938375237407950762682824975240236418229828143129853126465258009\ 79714321855/9087791467286191860797723354898323120674789868499077340\ 524738713558724719*c_0101_6^28 - 3093257326602680045387824669335040\ 490374026741766873228737838206495136389118750/154492454943865261633\ 561297033271493051471427764484314788920558130498320223*c_0101_6^27 - 6613920866627020414281858518737057211154437788903492834141985255301\ 621537550743/154492454943865261633561297033271493051471427764484314\ 788920558130498320223*c_0101_6^26 + 9618133268838408275222786765178954070669357483373581459298560793465\ 832513559539/154492454943865261633561297033271493051471427764484314\ 788920558130498320223*c_0101_6^25 + 1061094413697684622156710234326263103829008498239828643521018015357\ 5396275422858/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^24 - 2119388762593416422295496164509112326348349452782653227206863511553\ 4228788752079/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^23 - 1572444184573590296548300906917094491871478726130702663365858550856\ 3630734654321/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^22 + 3650076828676668553198236449082276500986301246069415552827919705618\ 6576817184599/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^21 + 2270174114405827364082903714057954107665334040934997400567426002815\ 9698143225568/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^20 - 4577578974847443887155747510116115388927481422499459605727511782965\ 6853249806161/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^19 - 3667715243575814269829554255823664507530462202972769183132446874041\ 0537506083597/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^18 + 3800785938033504377605908353828554899323776949401012068961288342294\ 5267416273424/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^17 + 4872553608101622738924003500464257999685004266798491709380734833632\ 7253980694368/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^16 - 1139653787824412816060103162064694184866062879047591081174687303015\ 3530620789300/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^15 - 4761682013953503872188341578291686283314942448418428063608013977831\ 4300639823221/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^14 - 2405212293407916300919160604979675681535235005815400765384993397766\ 9099306244606/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^13 + 1455472023257595958277141662406790177973929830121586478286879845727\ 1132067310700/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^12 + 2403915369078243771963753192008037925713247591382344404881583250340\ 9833442879921/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^11 + 8553237849817160502479029589333237486119961177924655228190667390201\ 837732420208/154492454943865261633561297033271493051471427764484314\ 788920558130498320223*c_0101_6^10 - 4975447620155731411965109944449486480168064305653136219171877768514\ 897633864013/154492454943865261633561297033271493051471427764484314\ 788920558130498320223*c_0101_6^9 - 5949115260981377787763098700096587930738456472937457017452157278614\ 100471699150/154492454943865261633561297033271493051471427764484314\ 788920558130498320223*c_0101_6^8 - 1536322117314974036972066350060432846355099077519342201865128313198\ 154239534569/154492454943865261633561297033271493051471427764484314\ 788920558130498320223*c_0101_6^7 + 8365818998005934946742696724597550983977767960724467895899204914943\ 52664473268/1544924549438652616335612970332714930514714277644843147\ 88920558130498320223*c_0101_6^6 + 659046262909441006283673976855619\ 534980466512359550001603098878209798821865633/154492454943865261633\ 561297033271493051471427764484314788920558130498320223*c_0101_6^5 + 7351429593068847152286237181963415055629147395281205657622355290215\ 9399269743/15449245494386526163356129703327149305147142776448431478\ 8920558130498320223*c_0101_6^4 - 6889261734659383493763034539482736\ 7057390760481825490047118109024202154704201/15449245494386526163356\ 1297033271493051471427764484314788920558130498320223*c_0101_6^3 - 2047097882655602919965593617699283847260971907375279930946137105675\ 7884349128/15449245494386526163356129703327149305147142776448431478\ 8920558130498320223*c_0101_6^2 + 1711029794853269280784916331745542\ 012451688188214155698500840168504031443485/154492454943865261633561\ 297033271493051471427764484314788920558130498320223*c_0101_6 + 9341273357886188549927108702358208329575987718925911426583493174780\ 91021912/1544924549438652616335612970332714930514714277644843147889\ 20558130498320223, c_0101_1 + 113543276466578047270261995857577384692020540385441358603091\ 3073151847672400/15449245494386526163356129703327149305147142776448\ 4314788920558130498320223*c_0101_6^37 - 5293088866416292916303927702756738659112220050968271588686647427226\ 030112758/154492454943865261633561297033271493051471427764484314788\ 920558130498320223*c_0101_6^36 + 1812327112411585319930823952122193\ 682105011940696545986807491219903503295847/154492454943865261633561\ 297033271493051471427764484314788920558130498320223*c_0101_6^35 + 5753272234569382986515681166019113041963185333295963168816390413577\ 7258813750/15449245494386526163356129703327149305147142776448431478\ 8920558130498320223*c_0101_6^34 - 180846992654255257537549424565517\ 238622816530743997835064409826762991793224206/154492454943865261633\ 561297033271493051471427764484314788920558130498320223*c_0101_6^33 + 4963851958139556609170355838192447938514521876984315939172447446816\ 2234921080/15449245494386526163356129703327149305147142776448431478\ 8920558130498320223*c_0101_6^32 + 531036156551224466368228196006897\ 58744600869565950580272291206066984611920984/9087791467286191860797\ 723354898323120674789868499077340524738713558724719*c_0101_6^31 - 1896996497914683653867945871422278043084981547350562438985353532889\ 499741951716/154492454943865261633561297033271493051471427764484314\ 788920558130498320223*c_0101_6^30 - 3995357086790430340866760099119966390890509041547073544750267685586\ 36411327112/1544924549438652616335612970332714930514714277644843147\ 88920558130498320223*c_0101_6^29 + 3711642001440550208881610580171296366820907764282616839821262097088\ 21865538160/9087791467286191860797723354898323120674789868499077340\ 524738713558724719*c_0101_6^28 - 5025915620499629910449574292268376\ 033796128692866607627582046135288142218189855/154492454943865261633\ 561297033271493051471427764484314788920558130498320223*c_0101_6^27 - 1097244986057179191220447122233812749332005494204737429728688925165\ 6897976470763/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^26 + 1559364973944338168487343514517674932090216400847426914060227733158\ 0310222980488/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^25 + 1780078594231574494413763816656413355726508367295679885383453708951\ 2251785269040/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^24 - 3435559705282520841296900366152258493962995649716421000162171519592\ 2272884389128/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^23 - 2665029786640190532735281285610915633709327300166544167123635729253\ 3367757263619/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^22 + 5895585904018556234131457400790023302523999358399922696001729652071\ 4281709664650/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^21 + 3871324185651867833913946924274815760550539595424360341008326326317\ 6228455118708/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^20 - 7306830149092535535106731286069037754289869082789910221211516165371\ 3353193467357/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^19 - 6206862975736116272379280791252324078125182318044961934975668047385\ 7656230754579/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^18 + 5872429535093622074057138211368764739471671635814427260947165950054\ 7087455803612/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^17 + 8079225726126542026090719638953240490676214162009517083169854719355\ 8434187315432/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^16 - 1420750296819591303439984709610667097759450533311389105576062647484\ 8098101168481/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^15 - 7677665376992852432529991631014270459750189150724782600930288926203\ 3780382465393/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^14 - 4314751122260297266334715706329228979219951955531023958825851342111\ 1320216736525/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^13 + 1975068913459051660743527233060930539322755592189853064096807692487\ 4807383683657/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^12 + 3878602608164988536077308255842447967844127129006690014753006052986\ 9137188477334/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^11 + 1613507987999147879968337618124431065942679391076281380221728645080\ 1911460505355/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^10 - 6201409209983632848746184081694590535273990341895811871481457752304\ 291192345333/154492454943865261633561297033271493051471427764484314\ 788920558130498320223*c_0101_6^9 - 9333545662615187514350895453175903446843136470703357051860421341764\ 670200772805/154492454943865261633561297033271493051471427764484314\ 788920558130498320223*c_0101_6^8 - 2993946170454222483892050504451632938846780627810837994044202273960\ 609450681079/154492454943865261633561297033271493051471427764484314\ 788920558130498320223*c_0101_6^7 + 9480549747070455182886982424921400643418863377743568338782068802796\ 63604702364/1544924549438652616335612970332714930514714277644843147\ 88920558130498320223*c_0101_6^6 + 980847643008792120354479581872558\ 740240868464664172683058874989472862623894531/154492454943865261633\ 561297033271493051471427764484314788920558130498320223*c_0101_6^5 + 1669556509519798309514624219397138354686837033457810167413011865175\ 70685243088/1544924549438652616335612970332714930514714277644843147\ 88920558130498320223*c_0101_6^4 - 771343075895447721148253668001026\ 32091621583445604527620220539143820684172228/1544924549438652616335\ 61297033271493051471427764484314788920558130498320223*c_0101_6^3 - 2773179822875900420576376926214880218574032677841845936500365050023\ 0358250559/15449245494386526163356129703327149305147142776448431478\ 8920558130498320223*c_0101_6^2 + 1389898898522723949933862762879482\ 996864881703058683577405806166745234261221/154492454943865261633561\ 297033271493051471427764484314788920558130498320223*c_0101_6 + 8822288878876519711793321047517772247229043408644281750616425592766\ 57935838/1544924549438652616335612970332714930514714277644843147889\ 20558130498320223, c_0101_2 + 120443822918386188333955131264977621305549014968683899938895\ 2124901503130914/15449245494386526163356129703327149305147142776448\ 4314788920558130498320223*c_0101_6^37 - 5656102791638813778269461500736568030495390816555099986834568780790\ 856487027/154492454943865261633561297033271493051471427764484314788\ 920558130498320223*c_0101_6^36 + 2057336837996494508277514359787858\ 282733599339291930796601318024227696375586/154492454943865261633561\ 297033271493051471427764484314788920558130498320223*c_0101_6^35 + 6123024774874664311141529424208769457869280057099467231857977511905\ 3750272805/15449245494386526163356129703327149305147142776448431478\ 8920558130498320223*c_0101_6^34 - 194018677168937153064711588264769\ 750695762041721052127099106056578368824309974/154492454943865261633\ 561297033271493051471427764484314788920558130498320223*c_0101_6^33 + 5633085721290799083009597309031600502243305175120939248427467547170\ 8497142601/15449245494386526163356129703327149305147142776448431478\ 8920558130498320223*c_0101_6^32 + 567588200488673750184244180675088\ 41708115371321052890000862377222345124255905/9087791467286191860797\ 723354898323120674789868499077340524738713558724719*c_0101_6^31 - 2047580127603775871859122224047921706333306623723891222421524464299\ 188972269104/154492454943865261633561297033271493051471427764484314\ 788920558130498320223*c_0101_6^30 - 3999909290379011062462013475289235300434057815183187627212020036521\ 57490944092/1544924549438652616335612970332714930514714277644843147\ 88920558130498320223*c_0101_6^29 + 4001446301884964151509413377796167698227811821721380653885069277036\ 32844630059/9087791467286191860797723354898323120674789868499077340\ 524738713558724719*c_0101_6^28 - 5541337080526612044854448212072185\ 843881847565953266651083522028732288078225436/154492454943865261633\ 561297033271493051471427764484314788920558130498320223*c_0101_6^27 - 1176834381332159782798984867233205439041413081411601843890774168466\ 1293886692021/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^26 + 1718808882410428646422166244586608436809867193467316908502676262097\ 1490553087346/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^25 + 1885223188313882987646380855139259308565122100050276175904007673515\ 0003742795856/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^24 - 3784519538339256680122061588775034357576894545856881756486910586316\ 5134079869243/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^23 - 2789420682976980498106456396361941171929500131827879684448228775537\ 6578972294168/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^22 + 6515313484201763063026331722678528609962650044279082745285442245244\ 7543761052936/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^21 + 4023768194656127381842172036337393184306855733613617591525517622028\ 7212320612624/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^20 - 8170706050671450090698383883571761344170377527980059870966931865416\ 5320982769581/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^19 - 6510060316145362225809436990508774626598911736231512675585273634371\ 1332282930129/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^18 + 6792144575496874309640437788309205908182748555871804817852383659774\ 1427027404092/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^17 + 8661694487934992071369591265761139110030258686579587291385199927777\ 0581679504230/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^16 - 2054497862989228258354528064548138633365202139304457010546937404114\ 6148855711503/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^15 - 8478225513769669687722704307579407235724519539441677517246317426287\ 6976604942413/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^14 - 4264010293043852121605413992389325240038734069175282147291996609392\ 8143371530567/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^13 + 2602846114541088806921841340203145192689085654168518371816821076760\ 7872357373258/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^12 + 4275813974097314324153309331608421622726689194940300194057488630354\ 1053581395173/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^11 + 1513870389450807782718288433881985257528110539796811202114973635766\ 8952610892435/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^10 - 8890663349627444109555981466750316279070073967415997712275007498374\ 554599710916/154492454943865261633561297033271493051471427764484314\ 788920558130498320223*c_0101_6^9 - 1057282433685379346474941495354716983473155121346924879758399886103\ 9908252985018/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^8 - 2714032649507711183347125538830262937964617314322067196494193546138\ 672475040636/154492454943865261633561297033271493051471427764484314\ 788920558130498320223*c_0101_6^7 + 1493468797273709766870685745983488205190623346142542311752243916023\ 823533613381/154492454943865261633561297033271493051471427764484314\ 788920558130498320223*c_0101_6^6 + 1169584383403229663955966230264587268947538103035922389928276162863\ 892844790430/154492454943865261633561297033271493051471427764484314\ 788920558130498320223*c_0101_6^5 + 1287647096464657983399686770501683364005686637057082419206061793239\ 80428737858/1544924549438652616335612970332714930514714277644843147\ 88920558130498320223*c_0101_6^4 - 122584821322481409045412761632069\ 763209830081800444986677992147259526734155236/154492454943865261633\ 561297033271493051471427764484314788920558130498320223*c_0101_6^3 - 3632641593174004666645096119162995002106523289531545132769860964157\ 1463548467/15449245494386526163356129703327149305147142776448431478\ 8920558130498320223*c_0101_6^2 + 3410899539055766602776464152433538\ 672923145701614836954231366456953847903576/154492454943865261633561\ 297033271493051471427764484314788920558130498320223*c_0101_6 + 1647146246974378419537002982024920940636519909339602625116864086631\ 914821664/154492454943865261633561297033271493051471427764484314788\ 920558130498320223, c_0101_3 + 133357261125733118446914912312424805635701670449651236956286\ 4254063594284143/15449245494386526163356129703327149305147142776448\ 4314788920558130498320223*c_0101_6^37 - 6060976135774097255030709065702873860915874247365124496355333609586\ 749061647/154492454943865261633561297033271493051471427764484314788\ 920558130498320223*c_0101_6^36 + 1271212308632923164147878863527996\ 922592624712155125788869509380661840826482/154492454943865261633561\ 297033271493051471427764484314788920558130498320223*c_0101_6^35 + 6843573049989276790006143424831769113816513539944471582812408928332\ 0204280269/15449245494386526163356129703327149305147142776448431478\ 8920558130498320223*c_0101_6^34 - 204741898535935605009375152815818\ 266925224315306402725335485828840248984122535/154492454943865261633\ 561297033271493051471427764484314788920558130498320223*c_0101_6^33 + 2687446803974031666128377031529329754264914049180888740739249622233\ 6999825542/15449245494386526163356129703327149305147142776448431478\ 8920558130498320223*c_0101_6^32 + 640085626994149646548570512346785\ 04827234602079802021768077797397569308315303/9087791467286191860797\ 723354898323120674789868499077340524738713558724719*c_0101_6^31 - 2110686682808628420325177646686002057923513521223581016850935647658\ 831651789400/154492454943865261633561297033271493051471427764484314\ 788920558130498320223*c_0101_6^30 - 8327478688424164541358315946391945794377535520448735498180565256274\ 86218587578/1544924549438652616335612970332714930514714277644843147\ 88920558130498320223*c_0101_6^29 + 4457232389021847705643802859523865504516108609073168839244858130127\ 87344606507/9087791467286191860797723354898323120674789868499077340\ 524738713558724719*c_0101_6^28 - 5000560861858952141755201490840181\ 342888595173804807849836736661352661861961052/154492454943865261633\ 561297033271493051471427764484314788920558130498320223*c_0101_6^27 - 1429709805334211513218140872182252471407911821748384276092095969034\ 4781955436917/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^26 + 1740756848947937657034825747699885352974992121180733637472730080477\ 6854173736741/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^25 + 2427146156177462524769146854404040141432569677368481317340040539176\ 2491635368398/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^24 - 3971374094338229770547194297331688145115020719631830237820501422937\ 6274976052401/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^23 - 3798132716268260031385991564629760690140717005443401018060893979301\ 6062621936860/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^22 + 6953144144109280857402961077056598842319430397466603992216909692391\ 3933828210293/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^21 + 5646569566729486393380471133281393680599906807316240756831000153522\ 9142727798079/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^20 - 8722856534041509871313736688627094183232840980675837779806339205138\ 2253790580269/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^19 - 8712857993280362325416059685642519977970333548384075131413561934594\ 3927201194680/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^18 + 6873191706120002772285388369276332428478213489181072599013332154247\ 7873454113977/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^17 + 1097645901510709738088749487500434278620889615412550900363187050894\ 28327740212279/1544924549438652616335612970332714930514714277644843\ 14788920558130498320223*c_0101_6^16 - 1222563541705064746228306636400567814713034060276399308522659787412\ 7650083580089/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^15 - 1010414172747535704041464044390297013927494569730786740582816311274\ 54107072261365/1544924549438652616335612970332714930514714277644843\ 14788920558130498320223*c_0101_6^14 - 5961852560978709548795823380650369057939502663758492660326304029528\ 9119467794408/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^13 + 2577777877247445968680969727246277389692157488965697085418936015490\ 6417476688481/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^12 + 5310877159408777365048743793770066858544917860400212808901569407921\ 1304272468292/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^11 + 2218923453808137431144444891566461521068923179743865733664519648901\ 8634776253241/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^10 - 9320899179264566759444198214743675361355347851390943313781279954013\ 164746995765/154492454943865261633561297033271493051471427764484314\ 788920558130498320223*c_0101_6^9 - 1364187339184983484169620410682050653076122054547425996561816946862\ 9371181964992/15449245494386526163356129703327149305147142776448431\ 4788920558130498320223*c_0101_6^8 - 4192098042873945279699731505855223477242201665327949131175305304919\ 118465439323/154492454943865261633561297033271493051471427764484314\ 788920558130498320223*c_0101_6^7 + 1692035710475201231664673685535016223181561687493524093331088723536\ 600220564425/154492454943865261633561297033271493051471427764484314\ 788920558130498320223*c_0101_6^6 + 1620983032758492243456272431951588379587093589001385346362355454892\ 457406250996/154492454943865261633561297033271493051471427764484314\ 788920558130498320223*c_0101_6^5 + 2489626833044782626957726250181087324069287020081234843202493661384\ 81182907845/1544924549438652616335612970332714930514714277644843147\ 88920558130498320223*c_0101_6^4 - 164405507525158110158673601550359\ 154253670744902623270579299974721548621331615/154492454943865261633\ 561297033271493051471427764484314788920558130498320223*c_0101_6^3 - 6147072199540339534193308757245644123021294439291284652094652345037\ 3450880495/15449245494386526163356129703327149305147142776448431478\ 8920558130498320223*c_0101_6^2 + 3758159107960047906405353992611297\ 144930369259499183583719752640795500693029/154492454943865261633561\ 297033271493051471427764484314788920558130498320223*c_0101_6 + 3318943103195590941348598923317784452448459101206889961099928627872\ 327575253/154492454943865261633561297033271493051471427764484314788\ 920558130498320223, c_0101_6^38 - 5*c_0101_6^37 + 3*c_0101_6^36 + 51*c_0101_6^35 - 177*c_0101_6^34 + 89*c_0101_6^33 + 811*c_0101_6^32 - 1958*c_0101_6^31 + 81*c_0101_6^30 + 6014*c_0101_6^29 - 6362*c_0101_6^28 - 9122*c_0101_6^27 + 18116*c_0101_6^26 + 12342*c_0101_6^25 - 38455*c_0101_6^24 - 14963*c_0101_6^23 + 65839*c_0101_6^22 + 18524*c_0101_6^21 - 85834*c_0101_6^20 - 35329*c_0101_6^19 + 82631*c_0101_6^18 + 58819*c_0101_6^17 - 47891*c_0101_6^16 - 71961*c_0101_6^15 - 9457*c_0101_6^14 + 40398*c_0101_6^13 + 31066*c_0101_6^12 - 1869*c_0101_6^11 - 14817*c_0101_6^10 - 7047*c_0101_6^9 + 1588*c_0101_6^8 + 2733*c_0101_6^7 + 636*c_0101_6^6 - 370*c_0101_6^5 - 207*c_0101_6^4 + 10*c_0101_6^3 + 23*c_0101_6^2 + c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.270 seconds, Total memory usage: 32.09MB