Magma V2.19-8 Tue Aug 20 2013 16:16:48 on localhost [Seed = 1242289821] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1072 geometric_solution 4.94177202 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 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 0 0 0 0 0 0 0 0 0 1.649897587333 0.127422806470 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 0 1 -1 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 1 -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.562352957805 0.435722588140 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 0 -1 0 1 -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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.007045778250 0.619035413818 2 4 4 5 0132 2310 1302 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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.244923499844 0.734409184263 3 5 2 3 2031 2310 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.244923499844 0.734409184263 6 6 3 4 0132 3201 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.320300515726 0.915046688116 5 6 5 6 0132 1302 2310 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.970396371771 1.198920979596 ==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_0011_5'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), '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' : d['c_0011_4'], '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_6']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_6'], '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' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : negation(d['c_0101_6']), '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_4, c_0011_5, c_0101_0, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 35 Groebner basis: [ t + 1082339806974446688872935819402110685108532555760490849050118863047\ 16005658828785/9263571578743027332225588801824324306267598704481232\ 3535013753711047527610407*c_0101_6^34 - 5639066599540614248024637311551115691278923676521026497605656283058\ 41047615128747/9263571578743027332225588801824324306267598704481232\ 3535013753711047527610407*c_0101_6^33 - 2525892491203101575114047755146472081869199036868434614014936452333\ 407766427659730/926357157874302733222558880182432430626759870448123\ 23535013753711047527610407*c_0101_6^32 + 1480991163023673003356753673515739714621986068677941166566904419111\ 3945659250254634/92635715787430273322255888018243243062675987044812\ 323535013753711047527610407*c_0101_6^31 - 3720646536968112202367869759122542185480432155692001659799251705381\ 927938945815278/926357157874302733222558880182432430626759870448123\ 23535013753711047527610407*c_0101_6^30 - 1230395174473577273765317513960877541291354811169268938946715911596\ 70561869973113920/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^29 + 1606306812044145110009714161603154245172195524146175744058517695382\ 16533940400296588/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^28 + 2195423496061568691197985831846349773314255004315172896444682364053\ 13555453045064031/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^27 - 2823778787637607619308028147038444539776580057551685889153611792180\ 188975052049925/408086853689120146794078801842481246972140912091684\ 244647637681546464879341*c_0101_6^26 + 3558627325669753868666010326809168266010844940896885694515099159479\ 60232295885411759/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^25 - 7424339208934400267600298631832078309021475972001133621480504247371\ 52273136361767618/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^24 + 2099900332098895865690943631067678573178907104494476313823471455839\ 405594463770959708/926357157874302733222558880182432430626759870448\ 12323535013753711047527610407*c_0101_6^23 + 8858025315915409121353135583650184972770797025206364967745836606222\ 539017064097540422/926357157874302733222558880182432430626759870448\ 12323535013753711047527610407*c_0101_6^22 - 2237167565511453223775555447952890954926003142872557269243875143567\ 6028599546761035350/92635715787430273322255888018243243062675987044\ 812323535013753711047527610407*c_0101_6^21 - 1900405549830876670221205004971916433512182536175962275341936073248\ 6764473341855450720/92635715787430273322255888018243243062675987044\ 812323535013753711047527610407*c_0101_6^20 + 6353339511847594284952073616819800475247080801885139271788487709948\ 8854013296796691403/92635715787430273322255888018243243062675987044\ 812323535013753711047527610407*c_0101_6^19 + 2079955834904002025300912720493972903151721765767036888512537046138\ 0023403491386768150/92635715787430273322255888018243243062675987044\ 812323535013753711047527610407*c_0101_6^18 - 9475753297832047328776754652071240165200971050737151752430494000300\ 8701512207204924270/92635715787430273322255888018243243062675987044\ 812323535013753711047527610407*c_0101_6^17 - 1929387560513679958737247488173454419068480607065237742606670253621\ 3179816470985674378/92635715787430273322255888018243243062675987044\ 812323535013753711047527610407*c_0101_6^16 + 8987807688873618376443684366178843387418248355928057502356416680908\ 6778233648194145297/92635715787430273322255888018243243062675987044\ 812323535013753711047527610407*c_0101_6^15 + 1969018757238989362954515188713475643240379640280886688497086984229\ 1424591696391948253/92635715787430273322255888018243243062675987044\ 812323535013753711047527610407*c_0101_6^14 - 5810145114239076956990750239582008633898084953284092707196998579535\ 9788447024917486314/92635715787430273322255888018243243062675987044\ 812323535013753711047527610407*c_0101_6^13 - 1839530170526221175113722454274163259532702583291669016402052364607\ 3915403168459856175/92635715787430273322255888018243243062675987044\ 812323535013753711047527610407*c_0101_6^12 + 2777153082259750147839559513605022962501861782651844690166164866581\ 3380963983900016296/92635715787430273322255888018243243062675987044\ 812323535013753711047527610407*c_0101_6^11 + 1150229813512580268402304607283119983912704963970832420310339012576\ 0500787377188025550/92635715787430273322255888018243243062675987044\ 812323535013753711047527610407*c_0101_6^10 - 1045557602599909474086000261727529816278568874715133384470061495466\ 2720745845285585115/92635715787430273322255888018243243062675987044\ 812323535013753711047527610407*c_0101_6^9 - 4324144671344967247049839859592053470056304515017849853294649108085\ 990428892235886755/926357157874302733222558880182432430626759870448\ 12323535013753711047527610407*c_0101_6^8 + 3025708191217103215950869118094358767828171147576270736569209592804\ 833123370376395596/926357157874302733222558880182432430626759870448\ 12323535013753711047527610407*c_0101_6^7 + 9581626290383058880453763751185432213888084535378447787453736662389\ 30598652475437307/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^6 - 5986560299470076999917784853509492310864828227848693568479925707386\ 97575755771202573/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^5 - 1258201708497144944636896764689019026266202768078648912112144671461\ 34354952575354192/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^4 + 6669477992325376877176696887712112487262658169977041173182961008156\ 6672548877604424/92635715787430273322255888018243243062675987044812\ 323535013753711047527610407*c_0101_6^3 + 9660856408358377612385243820095904690535215423147898812179881602423\ 975187153571224/926357157874302733222558880182432430626759870448123\ 23535013753711047527610407*c_0101_6^2 - 2792422183642930516573473174345348786928765725909768627206978411332\ 842377964418283/926357157874302733222558880182432430626759870448123\ 23535013753711047527610407*c_0101_6 - 2882346506232827158324476441224628809086001391004457350506153725404\ 70669755784132/9263571578743027332225588801824324306267598704481232\ 3535013753711047527610407, c_0011_0 - 1, c_0011_1 + 982688318851403285282195135931936950177302540667642247871459\ 328374373186731747/926357157874302733222558880182432430626759870448\ 12323535013753711047527610407*c_0101_6^34 - 5571381383404831777996074971591272537336104970664224904905844328679\ 239424972755/926357157874302733222558880182432430626759870448123235\ 35013753711047527610407*c_0101_6^33 - 2025940749095164461365384211893436842440695278903462565004792656067\ 1031030762941/92635715787430273322255888018243243062675987044812323\ 535013753711047527610407*c_0101_6^32 + 1432137323337864588389540011083164981026030715238873595334645463794\ 80468012249774/9263571578743027332225588801824324306267598704481232\ 3535013753711047527610407*c_0101_6^31 - 1023673160900316218237771837737868595675131638241598739405659276109\ 74601138700896/9263571578743027332225588801824324306267598704481232\ 3535013753711047527610407*c_0101_6^30 - 1055610699999369708243800532931806761543926163418603423933996869220\ 088727250152099/926357157874302733222558880182432430626759870448123\ 23535013753711047527610407*c_0101_6^29 + 1942744288994950574940612953546764530350977838186102229011970228215\ 278281754399994/926357157874302733222558880182432430626759870448123\ 23535013753711047527610407*c_0101_6^28 + 9775042452207258069069881903879856083691282695200651403341122226564\ 83952687046519/9263571578743027332225588801824324306267598704481232\ 3535013753711047527610407*c_0101_6^27 - 2704123574936602598336518715694098241094513392501355476182253739493\ 1422141504747/40808685368912014679407880184248124697214091209168424\ 4647637681546464879341*c_0101_6^26 + 6265668610526923755337727450003527267329455579956528054706932693732\ 375697523343424/926357157874302733222558880182432430626759870448123\ 23535013753711047527610407*c_0101_6^25 - 1017078250956384661298332547430191348447019650064704809792006850482\ 7512680527069582/92635715787430273322255888018243243062675987044812\ 323535013753711047527610407*c_0101_6^24 + 2404619335071301653956395831234168272738078350323817882786963041647\ 1624857555784182/92635715787430273322255888018243243062675987044812\ 323535013753711047527610407*c_0101_6^23 + 6843853075356882438506160437432155579786579917870648104730412343674\ 7373314380026578/92635715787430273322255888018243243062675987044812\ 323535013753711047527610407*c_0101_6^22 - 2325246885101878589542413420453740112548935490485057010547862357479\ 06421891228992208/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^21 - 5615470528682245449631945140133658824245187926535471201552922186761\ 7055967499134534/92635715787430273322255888018243243062675987044812\ 323535013753711047527610407*c_0101_6^20 + 5830077031701139720871442773801151922862376785305143757114668376635\ 76656665254933491/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^19 - 1006532523918116778622135275765080198332337473139921959896545705744\ 26032299137062103/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^18 - 7628626706762064870688449674542322951045642950632301790901549551217\ 67895909617208226/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^17 + 2023988637205710537505957185091623027988036847485036023229192167805\ 18107997281357286/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^16 + 6550955598505662983080446874453914314596773787214114704083105999383\ 67423342270011448/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^15 - 1492259236059958479284396128099604854173336680543496003372421085184\ 98913642708610439/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^14 - 4038197813113013262350080612235516981476590368450178408243240311532\ 15636647524617250/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^13 + 4149015808748516427324432715888682007916106089652579903248583693597\ 5364684637946349/92635715787430273322255888018243243062675987044812\ 323535013753711047527610407*c_0101_6^12 + 2040603690759153303086319817467597113737977718641767829814430971989\ 89021507306721507/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^11 - 5242249496382869683548926516571140461246626598700851210186881781756\ 866327192425963/926357157874302733222558880182432430626759870448123\ 23535013753711047527610407*c_0101_6^10 - 8107725933624503908035562797989915103509672090469284172282835477286\ 3000708075911478/92635715787430273322255888018243243062675987044812\ 323535013753711047527610407*c_0101_6^9 + 5398534008533180595622574447028169387147144225410299370202966310961\ 382630547719410/926357157874302733222558880182432430626759870448123\ 23535013753711047527610407*c_0101_6^8 + 2113356039328032403726132496360214463697016668976881169497320785870\ 7254999009922907/92635715787430273322255888018243243062675987044812\ 323535013753711047527610407*c_0101_6^7 - 3003108461414135964858055721951865579877331713012399496079944223145\ 114311386903037/926357157874302733222558880182432430626759870448123\ 23535013753711047527610407*c_0101_6^6 - 3085838993288381750214990183684717421399402446117832250266071007966\ 453525025149625/926357157874302733222558880182432430626759870448123\ 23535013753711047527610407*c_0101_6^5 + 5632871518812526753918431146760531845511378123811538362983681522622\ 45022178605937/9263571578743027332225588801824324306267598704481232\ 3535013753711047527610407*c_0101_6^4 + 2114199373458657570928249393798941092677686347968882982467932922580\ 63792985656399/9263571578743027332225588801824324306267598704481232\ 3535013753711047527610407*c_0101_6^3 - 3070585237187624168561743945855482063122069249383213565489112737299\ 2225690061942/92635715787430273322255888018243243062675987044812323\ 535013753711047527610407*c_0101_6^2 - 4356770806702693141923885181241114265070540843838537406140111643228\ 519126321957/926357157874302733222558880182432430626759870448123235\ 35013753711047527610407*c_0101_6 - 3467370090874639754681521035773106921074045008761732775824935320061\ 2892206720/92635715787430273322255888018243243062675987044812323535\ 013753711047527610407, c_0011_4 - 196776870738224540162549792240631183454693268722232288538288\ 7588584146631635926/92635715787430273322255888018243243062675987044\ 812323535013753711047527610407*c_0101_6^34 + 1075605827580721756427846307383922392725657817098872412404340917769\ 6863528287264/92635715787430273322255888018243243062675987044812323\ 535013753711047527610407*c_0101_6^33 + 4301056877082507014294422970636404903007708938177232286528496905521\ 7301379632696/92635715787430273322255888018243243062675987044812323\ 535013753711047527610407*c_0101_6^32 - 2793707238135402963984346702304804804042185853236701011544233931347\ 57339561010650/9263571578743027332225588801824324306267598704481232\ 3535013753711047527610407*c_0101_6^31 + 1424257921633602582886057741930173931973049787528970229461980953364\ 01546651073250/9263571578743027332225588801824324306267598704481232\ 3535013753711047527610407*c_0101_6^30 + 2177412919452442793351889263371456178850589057739139864602072731919\ 591776680570381/926357157874302733222558880182432430626759870448123\ 23535013753711047527610407*c_0101_6^29 - 3461326903317282505078089361227551241258628464504774844004523921076\ 050698295314949/926357157874302733222558880182432430626759870448123\ 23535013753711047527610407*c_0101_6^28 - 2935150416206676461848633862943895270285770316913581152141223912423\ 067383364560500/926357157874302733222558880182432430626759870448123\ 23535013753711047527610407*c_0101_6^27 + 5326521281639967278687486961955061298327698866744035292058035557961\ 1641591883801/40808685368912014679407880184248124697214091209168424\ 4647637681546464879341*c_0101_6^26 - 9724327110766169239340451853588099585690123275987115696624518578972\ 058584741332672/926357157874302733222558880182432430626759870448123\ 23535013753711047527610407*c_0101_6^25 + 1698225874174096017128124568749447671050614475603917637561147096423\ 1000819638638851/92635715787430273322255888018243243062675987044812\ 323535013753711047527610407*c_0101_6^24 - 4353926122943816388497432528451462656165548597978785123744365953713\ 5699663734235464/92635715787430273322255888018243243062675987044812\ 323535013753711047527610407*c_0101_6^23 - 1482738856919155342713524777960576261093780983729718161985974723349\ 00600098649079800/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^22 + 4408431467366625494113532190889218554501836553045010726303791898398\ 24498913356822132/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^21 + 2216148985447610825131127681846721441705792038759247804925659995735\ 33402660181063126/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^20 - 1174246295925283244517643794281369591257574179897187501790676414287\ 523587725010346957/926357157874302733222558880182432430626759870448\ 12323535013753711047527610407*c_0101_6^19 - 6850857895848830539710939161635539359657089450598533670518414140518\ 5327586845870299/92635715787430273322255888018243243062675987044812\ 323535013753711047527610407*c_0101_6^18 + 1645697382333056582987795971220313368248457099485130010109223017887\ 347872365097371758/926357157874302733222558880182432430626759870448\ 12323535013753711047527610407*c_0101_6^17 - 5384868480209530350813807072657088397785694753628942117329019488343\ 1434861390144343/92635715787430273322255888018243243062675987044812\ 323535013753711047527610407*c_0101_6^16 - 1496179678388294085662780283532377181554207466795881853772631317451\ 445077246807271937/926357157874302733222558880182432430626759870448\ 12323535013753711047527610407*c_0101_6^15 - 8684794760414235868589662836283957131841342154625642733274871832866\ 533420952158321/926357157874302733222558880182432430626759870448123\ 23535013753711047527610407*c_0101_6^14 + 9520708127894072252466565489111130325734763426008305591733716860044\ 26225492128283997/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^13 + 1159516835508438348018130081375565390300279939294811731884763499564\ 75136894441772976/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^12 - 4690803531162065702060147874241019747459525376394181915025124294073\ 23228125471879169/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^11 - 9656528345526127920011165264290567977653274177438864529255246591644\ 2982089051494063/92635715787430273322255888018243243062675987044812\ 323535013753711047527610407*c_0101_6^10 + 1817457836079954563502565326657755829419475769126270711067200725717\ 90328201431526661/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^9 + 3334762718791327517481024318292085238541017262981030705464062952546\ 9113797563728359/92635715787430273322255888018243243062675987044812\ 323535013753711047527610407*c_0101_6^8 - 5032335693255567372866555991499922031316672559121101668874907662178\ 6109030445171299/92635715787430273322255888018243243062675987044812\ 323535013753711047527610407*c_0101_6^7 - 5617968639429740384437271747216794462981924673085010981128752694294\ 408151162762364/926357157874302733222558880182432430626759870448123\ 23535013753711047527610407*c_0101_6^6 + 8866759500680732846222610786709704745767818328034074149065645323667\ 081358474372446/926357157874302733222558880182432430626759870448123\ 23535013753711047527610407*c_0101_6^5 + 5742054064835040805140498910604352336515860658789284695061473289490\ 12019302764483/9263571578743027332225588801824324306267598704481232\ 3535013753711047527610407*c_0101_6^4 - 8618614430111461687951450695991279862451108907242773491479073649585\ 84832924388038/9263571578743027332225588801824324306267598704481232\ 3535013753711047527610407*c_0101_6^3 - 5776961300453180175639811152155495582519504789459051785452891180467\ 5721247250088/92635715787430273322255888018243243062675987044812323\ 535013753711047527610407*c_0101_6^2 + 3221488191264390378725273180157429127453596917686573940120544367822\ 8168691021721/92635715787430273322255888018243243062675987044812323\ 535013753711047527610407*c_0101_6 + 2784486020532322666696396730493819987228071647385163061316302840388\ 888514832259/926357157874302733222558880182432430626759870448123235\ 35013753711047527610407, c_0011_5 - 416019686612990009781781671875297473589509950542406190762419\ 2411333961360422906/92635715787430273322255888018243243062675987044\ 812323535013753711047527610407*c_0101_6^34 + 2263522687393384707931515577900802425602341288994470101685284589590\ 4841379709037/92635715787430273322255888018243243062675987044812323\ 535013753711047527610407*c_0101_6^33 + 9167787418610839236373591801644571423392318196905538934339392449996\ 7741985005383/92635715787430273322255888018243243062675987044812323\ 535013753711047527610407*c_0101_6^32 - 5892635296376786291475012822228654912175760872072153854757985425336\ 60483628891786/9263571578743027332225588801824324306267598704481232\ 3535013753711047527610407*c_0101_6^31 + 2823799230762996427320925602440756591143567430225147280835061424439\ 40633061475796/9263571578743027332225588801824324306267598704481232\ 3535013753711047527610407*c_0101_6^30 + 4634612044840420395797769237002574096569865038881663737620062104890\ 910879902624263/926357157874302733222558880182432430626759870448123\ 23535013753711047527610407*c_0101_6^29 - 7212489135825640853011865637579520015609041274046140194357915876647\ 077985570112904/926357157874302733222558880182432430626759870448123\ 23535013753711047527610407*c_0101_6^28 - 6573059374102511322432563387140434450313871139677546759508480703184\ 883877619676445/926357157874302733222558880182432430626759870448123\ 23535013753711047527610407*c_0101_6^27 + 1131304064323219249351578124554623506855965507280942138665654077349\ 83156329520601/4080868536891201467940788018424812469721409120916842\ 44647637681546464879341*c_0101_6^26 - 1969388305583222657683516730894043288159608632475762550878159211834\ 5572634510751590/92635715787430273322255888018243243062675987044812\ 323535013753711047527610407*c_0101_6^25 + 3445840711404077197241474404250352803357087987367424897278343649983\ 9158458492436544/92635715787430273322255888018243243062675987044812\ 323535013753711047527610407*c_0101_6^24 - 9031763465272951810290885869750371565537147003773236002471610051318\ 1830636813267908/92635715787430273322255888018243243062675987044812\ 323535013753711047527610407*c_0101_6^23 - 3175388589424908889338205266442036346218393534442012946402865297497\ 91649171187491149/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^22 + 9279727382721702837110991464610608764422116702515005871366024958219\ 04302416173198587/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^21 + 5049234547094895737385545536873464184462266997145317150037360141924\ 50806453429248429/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^20 - 2506051322296877690134900603461575229455212362655676674010343402878\ 931613595199849505/926357157874302733222558880182432430626759870448\ 12323535013753711047527610407*c_0101_6^19 - 2264034710631611097858823142865189742280171292681642925628062019568\ 41094294331085848/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^18 + 3562044112231467332575552137500745819957165369588224282183126070524\ 772737657197055265/926357157874302733222558880182432430626759870448\ 12323535013753711047527610407*c_0101_6^17 - 1756876588588094474044164900584288482375845869212744509307473289862\ 3493627737531442/92635715787430273322255888018243243062675987044812\ 323535013753711047527610407*c_0101_6^16 - 3274829520452952293004023131178337381750859315687523718084940388620\ 596232985525518379/926357157874302733222558880182432430626759870448\ 12323535013753711047527610407*c_0101_6^15 - 1003286691001605267337113359114338652941523584987696023077055412535\ 77966736915113418/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^14 + 2099737006831743034367050200016576440065307932027400842530118932754\ 557719722734654526/926357157874302733222558880182432430626759870448\ 12323535013753711047527610407*c_0101_6^13 + 3015270325996819493851208323559248024846785597629814483794118291942\ 20222113655320669/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^12 - 1033578626270732246078272965669965010008078190554172788324158881083\ 277082284946845889/926357157874302733222558880182432430626759870448\ 12323535013753711047527610407*c_0101_6^11 - 2383811086560903160398750095724874673584277218509162322971569960460\ 02787133218698475/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^10 + 4005776542569805624081230595289745978854974491874981828483980554491\ 75526546690366202/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^9 + 8496807802144268883154079117962367556265471930903683593344797295186\ 2185370069409403/92635715787430273322255888018243243062675987044812\ 323535013753711047527610407*c_0101_6^8 - 1122359347593081487067781945419843752948967309955974607131034961614\ 99059919056804753/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^7 - 1540146231054973074301576972602780483876925212529505020698550876664\ 1560291875028450/92635715787430273322255888018243243062675987044812\ 323535013753711047527610407*c_0101_6^6 + 2018937209983566587290283276670262907849777899409228287251931163008\ 0185034925462150/92635715787430273322255888018243243062675987044812\ 323535013753711047527610407*c_0101_6^5 + 1686284182160577315082965835106309040588994723750758671303974919714\ 212181366636560/926357157874302733222558880182432430626759870448123\ 23535013753711047527610407*c_0101_6^4 - 2005285841492610271628360997966128156773142101757331000475859602319\ 295550471966481/926357157874302733222558880182432430626759870448123\ 23535013753711047527610407*c_0101_6^3 - 1572881573770551332998550513602907948045875630113879609905738750406\ 14278315433029/9263571578743027332225588801824324306267598704481232\ 3535013753711047527610407*c_0101_6^2 + 7618982548699093462417810408028433287974502516315913156833392169286\ 3852243525466/92635715787430273322255888018243243062675987044812323\ 535013753711047527610407*c_0101_6 + 6921615071103781354150380195700663869786821594544487228175624488200\ 138023139258/926357157874302733222558880182432430626759870448123235\ 35013753711047527610407, c_0101_0 - 187972037901247560984185497663007405432576942290263922146791\ 0300709460813856011/92635715787430273322255888018243243062675987044\ 812323535013753711047527610407*c_0101_6^34 + 1001469867929218196874499061858179386007443384101234794801040980932\ 2226318750633/92635715787430273322255888018243243062675987044812323\ 535013753711047527610407*c_0101_6^33 + 4261847129611319658116804132798340824284445719891476524904885448507\ 0170184462149/92635715787430273322255888018243243062675987044812323\ 535013753711047527610407*c_0101_6^32 - 2617740583099081509576378374552302509713913672325491699571852758387\ 49829876060345/9263571578743027332225588801824324306267598704481232\ 3535013753711047527610407*c_0101_6^31 + 9663643897175723612155230134755298258321810130903332981619594785933\ 2237710161956/92635715787430273322255888018243243062675987044812323\ 535013753711047527610407*c_0101_6^30 + 2114055736211412421151775669100489727470572903836639876157956588536\ 070846489991051/926357157874302733222558880182432430626759870448123\ 23535013753711047527610407*c_0101_6^29 - 3024858378164974141246591338394948486329992009784692525154704901163\ 581207604821223/926357157874302733222558880182432430626759870448123\ 23535013753711047527610407*c_0101_6^28 - 3382311204856110782282557908741632948259263482033066920482055204709\ 944105386284796/926357157874302733222558880182432430626759870448123\ 23535013753711047527610407*c_0101_6^27 + 4995166487831216284624433164449035960153930470554022628451605571043\ 9096146878713/40808685368912014679407880184248124697214091209168424\ 4647637681546464879341*c_0101_6^26 - 7521768599749473353326107022734897501320341424748413898638958306475\ 840920317024694/926357157874302733222558880182432430626759870448123\ 23535013753711047527610407*c_0101_6^25 + 1430111142701124191430422753075767939693415201153274602830208144674\ 7147430598206710/92635715787430273322255888018243243062675987044812\ 323535013753711047527610407*c_0101_6^24 - 3884659641333506359556912415963310906918226207874269200586134285267\ 3214545924696618/92635715787430273322255888018243243062675987044812\ 323535013753711047527610407*c_0101_6^23 - 1483707451354735911952693891181947110531972991047121236204477481819\ 86315163231161648/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^22 + 4038440608838313036005016317803612150688738157778623698434454496168\ 22803183178372975/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^21 + 2785417831251894199208699111895454927800205443967021483502190518817\ 20404941921751504/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^20 - 1115593805829312977926517842159212769171479041444446639957918443774\ 846012296116650209/926357157874302733222558880182432430626759870448\ 12323535013753711047527610407*c_0101_6^19 - 2348170117711225776771905585648307539211588568995012313615289942365\ 46083195313450769/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^18 + 1623641603275599903564297764861045674322023685139901154112013022460\ 482748820991756805/926357157874302733222558880182432430626759870448\ 12323535013753711047527610407*c_0101_6^17 + 1740322690549133508738236896670550391437205938910288545577680593236\ 93006391453046743/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^16 - 1518401680306455854029370212592510048219204827435507988930613155484\ 378274393017739352/926357157874302733222558880182432430626759870448\ 12323535013753711047527610407*c_0101_6^15 - 2076062397906541366194500568962018791139425063843984450267901483599\ 61281107340098050/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^14 + 9788627194075499927688213054107887312124249167197571749448285494286\ 26609482853808475/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^13 + 2391528876784841353227108536073833811535737941873617093857535845442\ 09407896126053624/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^12 - 4745258763414132494505301972352848483189610332091739846082490136810\ 36164465809194616/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^11 - 1598297320053697067371398874513122049203756446028080962644510120554\ 04893943724790769/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^10 + 1803241068165785026768168806470026813487973972077259089512047547038\ 30042038341522610/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^9 + 5956493420486252978143383145468663046215227514551170656880203378774\ 2531497353123585/92635715787430273322255888018243243062675987044812\ 323535013753711047527610407*c_0101_6^8 - 5113431283021298560325845182514306532690450303079609812987083490448\ 5984111873859753/92635715787430273322255888018243243062675987044812\ 323535013753711047527610407*c_0101_6^7 - 1282082509830661120452332642750866429386856860387077208532146349954\ 6886150050091696/92635715787430273322255888018243243062675987044812\ 323535013753711047527610407*c_0101_6^6 + 9736845884624181517424833204675644877071098447512433662694047543861\ 531188846336179/926357157874302733222558880182432430626759870448123\ 23535013753711047527610407*c_0101_6^5 + 1679954429279378514659737547926733320094547670870638774510281336790\ 463518137812584/926357157874302733222558880182432430626759870448123\ 23535013753711047527610407*c_0101_6^4 - 1051417851347094809243547372309398366613238287287276974367442843430\ 920915843260369/926357157874302733222558880182432430626759870448123\ 23535013753711047527610407*c_0101_6^3 - 1371533792025273072893898243960322470524056404947278126011655968983\ 84309045769089/9263571578743027332225588801824324306267598704481232\ 3535013753711047527610407*c_0101_6^2 + 4313048757178402075663065688020395306750229759817316629990493305382\ 5514187283505/92635715787430273322255888018243243062675987044812323\ 535013753711047527610407*c_0101_6 + 4501883948171242604038169450442841519887704789621539500533167660794\ 359371673820/926357157874302733222558880182432430626759870448123235\ 35013753711047527610407, c_0101_2 - 389649706627348818855020479969114613671310676865440956128619\ 9921973194087086067/92635715787430273322255888018243243062675987044\ 812323535013753711047527610407*c_0101_6^34 + 2089710427052079275244197736770259402868553468905156252713324838247\ 5191469817997/92635715787430273322255888018243243062675987044812323\ 535013753711047527610407*c_0101_6^33 + 8747236159324687465973998679983761419309872944102299354081846817802\ 6057289975004/92635715787430273322255888018243243062675987044812323\ 535013753711047527610407*c_0101_6^32 - 5450856147307685946442903341640711113912775522282557951717629472926\ 49917851979081/9263571578743027332225588801824324306267598704481232\ 3535013753711047527610407*c_0101_6^31 + 2229793455466720025186417883919273923280521256241304642823942695450\ 46216421427583/9263571578743027332225588801824324306267598704481232\ 3535013753711047527610407*c_0101_6^30 + 4357706875855616116806250453080036468428471789392103516425275258135\ 558901325525077/926357157874302733222558880182432430626759870448123\ 23535013753711047527610407*c_0101_6^29 - 6426713560578201088876482723367517124518685977890839499343579176544\ 782639123654923/926357157874302733222558880182432430626759870448123\ 23535013753711047527610407*c_0101_6^28 - 6634974622171307183544271834994693914880872795332177209352113486710\ 562345791936337/926357157874302733222558880182432430626759870448123\ 23535013753711047527610407*c_0101_6^27 + 1039943185776508889650397055936989148834841121713838501400983972573\ 93496976970060/4080868536891201467940788018424812469721409120916842\ 44647637681546464879341*c_0101_6^26 - 1673355958209411810946937763038714779918125428844847169526975840086\ 2720894580436687/92635715787430273322255888018243243062675987044812\ 323535013753711047527610407*c_0101_6^25 + 3089349857130095949060373804719160614480486845850107577551970503573\ 9390253738706947/92635715787430273322255888018243243062675987044812\ 323535013753711047527610407*c_0101_6^24 - 8184448910082324227412965990092894654468014298908200680868063026269\ 1567669645729824/92635715787430273322255888018243243062675987044812\ 323535013753711047527610407*c_0101_6^23 - 3037803141508379917134030869997548896137050363245485567306569059860\ 65815222928876044/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^22 + 8457989111027877380167147567764444914204331483108710631505971196299\ 76300316161522577/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^21 + 5355396935995358148740820745637166862574195896572851249925057760010\ 80792821865712683/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^20 - 2309440647271791961765722848019868644898292582124455953526406256546\ 222994310702024189/926357157874302733222558880182432430626759870448\ 12323535013753711047527610407*c_0101_6^19 - 3738432439750234162859675268382630133586337681132607029337319565404\ 70781696671371658/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^18 + 3316568968394622015416090758203445297316697197775759807679373749195\ 025986586773537108/926357157874302733222558880182432430626759870448\ 12323535013753711047527610407*c_0101_6^17 + 1996941879156116577216447608734304109366900106638029751962218966042\ 27482114969855330/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^16 - 3065665523792060178584828841444370506366148864364735088290264854482\ 729298766737532211/926357157874302733222558880182432430626759870448\ 12323535013753711047527610407*c_0101_6^15 - 2781514780359284264155636360371129759284309985711345905424352418448\ 45885589346854517/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^14 + 1962711439256059592622973241159645061803224765063701202674840124908\ 367790554155803054/926357157874302733222558880182432430626759870448\ 12323535013753711047527610407*c_0101_6^13 + 3912534979297247603725191240987875550066962934683624818996366793456\ 10999659348924187/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^12 - 9552688533246091103777971252467894140881536808639288263568213511239\ 04338632020668789/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^11 - 2746049164627793098289737061851473945865469232937282323837769114532\ 98525503463447027/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^10 + 3664741445780477750779802163936161188058409766851528755408530660757\ 52287676817439453/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^9 + 9941203356688762748224745931829426764741594345963909054948538672136\ 7342025591159900/92635715787430273322255888018243243062675987044812\ 323535013753711047527610407*c_0101_6^8 - 1033076202514067712766324228040141145498563751743198826562395094931\ 22474071452155667/9263571578743027332225588801824324306267598704481\ 2323535013753711047527610407*c_0101_6^7 - 1973396175796523304578479994378984942817465567955332821021542587527\ 9773134755046937/92635715787430273322255888018243243062675987044812\ 323535013753711047527610407*c_0101_6^6 + 1904254258306402345317584641803269405810066648136877641882140153534\ 7702929740951215/92635715787430273322255888018243243062675987044812\ 323535013753711047527610407*c_0101_6^5 + 2388381118386067054758329980738541280265037872279390998234879222623\ 499938424901505/926357157874302733222558880182432430626759870448123\ 23535013753711047527610407*c_0101_6^4 - 1957778324496022637255225143661111935601086410768214503087473040724\ 858743669897887/926357157874302733222558880182432430626759870448123\ 23535013753711047527610407*c_0101_6^3 - 2036452848364798189029444062239877030600288966658279711215837264104\ 08323919383634/9263571578743027332225588801824324306267598704481232\ 3535013753711047527610407*c_0101_6^2 + 7701371659173485661898609394502854302288584543557479340269206376350\ 4896136831663/92635715787430273322255888018243243062675987044812323\ 535013753711047527610407*c_0101_6 + 7599264898932863401238696892548493982155175509119981138839318859880\ 368168023033/926357157874302733222558880182432430626759870448123235\ 35013753711047527610407, c_0101_6^35 - 6*c_0101_6^34 - 19*c_0101_6^33 + 154*c_0101_6^32 - 147*c_0101_6^31 - 1077*c_0101_6^30 + 2358*c_0101_6^29 + 616*c_0101_6^28 - 7074*c_0101_6^27 + 8189*c_0101_6^26 - 10886*c_0101_6^25 + 26274*c_0101_6^24 + 64266*c_0101_6^23 - 265925*c_0101_6^22 + 3128*c_0101_6^21 + 672029*c_0101_6^20 - 283356*c_0101_6^19 - 890850*c_0101_6^18 + 486621*c_0101_6^17 + 790119*c_0101_6^16 - 421045*c_0101_6^15 - 522948*c_0101_6^14 + 213607*c_0101_6^13 + 292266*c_0101_6^12 - 83404*c_0101_6^11 - 130250*c_0101_6^10 + 34057*c_0101_6^9 + 39204*c_0101_6^8 - 11607*c_0101_6^7 - 7131*c_0101_6^6 + 2367*c_0101_6^5 + 740*c_0101_6^4 - 240*c_0101_6^3 - 42*c_0101_6^2 + 9*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.260 seconds, Total memory usage: 32.09MB