Magma V2.19-8 Tue Aug 20 2013 23:43:12 on localhost [Seed = 930173471] Type ? for help. Type -D to quit. Loading file "K13n1167__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1167 geometric_solution 11.18027630 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 3 0132 0132 0132 2031 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 -1 0 1 0 0 0 0 9 -8 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.018965481696 0.816960440413 0 4 2 5 0132 0132 1023 0132 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 1 -1 -1 0 0 1 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.379765690778 0.995343177415 6 0 1 3 0132 0132 1023 1302 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 1 -1 0 0 0 0 0 0 0 0 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.629133708311 1.664908977385 6 0 2 0 2031 1302 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.028400620944 1.223390165670 6 1 7 8 1023 0132 0132 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 0 0 0 0 0 0 0 0 -9 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.292421460859 0.530565108620 9 10 1 6 0132 0132 0132 1023 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 -1 0 1 0 0 -8 0 8 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.292421460859 0.530565108620 2 4 3 5 0132 1023 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 8 0 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.379765690778 0.995343177415 9 10 10 4 3120 0321 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 -1 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.516171117521 1.258224876551 11 10 4 11 0132 0213 0132 3201 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 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.395592834493 0.858850490591 5 11 11 7 0132 3201 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.395592834493 0.858850490591 7 5 8 7 2031 0132 0213 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 0 0 -1 1 -1 0 0 1 8 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.516171117521 1.258224876551 8 8 9 9 0132 2310 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.557560748969 0.960556245390 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_7'], 'c_1001_10' : d['c_0101_2'], 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0011_7']), 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_3'], 'c_1001_2' : d['c_0011_3'], 'c_1001_9' : negation(d['c_0101_11']), 'c_1001_8' : d['c_0101_2'], 'c_1010_11' : negation(d['c_0101_11']), 'c_1010_10' : d['c_1001_4'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0011_11']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0011_11']), 'c_1100_5' : negation(d['c_0101_3']), 'c_1100_4' : negation(d['c_0011_11']), 'c_1100_7' : negation(d['c_0011_11']), 'c_1100_6' : d['c_0101_3'], 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : negation(d['c_1001_0']), 'c_1100_3' : negation(d['c_1001_0']), 'c_1100_2' : d['c_0101_3'], 's_3_11' : d['1'], 'c_1100_9' : d['c_0011_10'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : negation(d['c_0011_7']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_4'], 'c_1010_6' : d['c_0101_8'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_0011_3'], 'c_1010_9' : negation(d['c_0011_7']), 'c_1010_8' : negation(d['c_0011_7']), 's_3_1' : negation(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_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : negation(d['1']), 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_8'], 'c_0110_10' : negation(d['c_0011_7']), 'c_0101_7' : negation(d['c_0011_10']), 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_0'], '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_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_0'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_3'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0101_8'], 'c_0110_4' : d['c_0101_8'], 'c_0110_7' : d['c_0101_0'], 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_7, c_0101_0, c_0101_11, c_0101_2, c_0101_3, c_0101_8, c_1001_0, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 1434966600293793547606458563559390464034116893005982409007976544748\ 476893817862930915/617129775099987972253244727857380844962397183758\ 39181223752747089860833824144878982*c_1001_4^31 + 4121775943575597531254668921342456146080968708530641948199311650958\ 06836813969381149/6171297750999879722532447278573808449623971837583\ 9181223752747089860833824144878982*c_1001_4^30 - 6220176256975747413120131050552785689329179693125701731245757848614\ 519070487523161423/308564887549993986126622363928690422481198591879\ 19590611876373544930416912072439491*c_1001_4^29 + 1165405382655195679904527348652960809674545643135344090855249037889\ 5567030264246350169/61712977509998797225324472785738084496239718375\ 839181223752747089860833824144878982*c_1001_4^28 - 2178019626027211547358897992579648491719258015694620126408341118997\ 292429841377057539/181508757382349403603895508193347307341881524634\ 8211212463316090878259818357202323*c_1001_4^27 + 9796672243835609150507650198442698887894326808640390553540284677353\ 7860937575857929633/61712977509998797225324472785738084496239718375\ 839181223752747089860833824144878982*c_1001_4^26 - 1683259896451790607824256849558150481624458775031394717933526331639\ 60638563255204056299/3085648875499939861266223639286904224811985918\ 7919590611876373544930416912072439491*c_1001_4^25 + 4705943595075167276473516077967537694945657517005063420474996773775\ 64342730479571712917/6171297750999879722532447278573808449623971837\ 5839181223752747089860833824144878982*c_1001_4^24 - 1099117827299778232224343224871504421468950470835281839431860508197\ 551985344607657207241/617129775099987972253244727857380844962397183\ 75839181223752747089860833824144878982*c_1001_4^23 + 7943036006056620103613091736023734235205517534180025653594475663591\ 09833862511322601797/3085648875499939861266223639286904224811985918\ 7919590611876373544930416912072439491*c_1001_4^22 - 1404208013573016913101686102926071220541449169298139764011336067421\ 752242042253349927675/308564887549993986126622363928690422481198591\ 87919590611876373544930416912072439491*c_1001_4^21 + 1974380440729546319623176882138137398384858620102075705714838676032\ 971880218678610103229/308564887549993986126622363928690422481198591\ 87919590611876373544930416912072439491*c_1001_4^20 - 5938920765260118632277697019809385120855671569799628528652487870797\ 228728630485896880225/617129775099987972253244727857380844962397183\ 75839181223752747089860833824144878982*c_1001_4^19 + 7679600412190491488693308376589352647610868558371153540832741165084\ 866532410943190684853/617129775099987972253244727857380844962397183\ 75839181223752747089860833824144878982*c_1001_4^18 - 5009333011346209265948516524309769341768260839271366224338507764611\ 883408659590363575939/308564887549993986126622363928690422481198591\ 87919590611876373544930416912072439491*c_1001_4^17 + 5863991380173700539952883888869210995715138289731689583554518806157\ 911244844707152803587/308564887549993986126622363928690422481198591\ 87919590611876373544930416912072439491*c_1001_4^16 - 1289071067847352373840278272371568846733029044154901327506299045839\ 2249977672867745804939/61712977509998797225324472785738084496239718\ 375839181223752747089860833824144878982*c_1001_4^15 + 7035180210018985593528858920714883628264916338676486759814566451137\ 1013689969475155173/32310459429318742002787682086773866228397758311\ 9576865045825900994035779184004602*c_1001_4^14 - 1266529525025989949365968403625108660156397271648243543607216810588\ 3859239600005847678357/61712977509998797225324472785738084496239718\ 375839181223752747089860833824144878982*c_1001_4^13 + 1181460692277431838169985275101261947209390476855283742124134313471\ 5473132459478269615751/61712977509998797225324472785738084496239718\ 375839181223752747089860833824144878982*c_1001_4^12 - 5044444835537978147635456736184709620561468451250664336076547594240\ 455156184779998831748/308564887549993986126622363928690422481198591\ 87919590611876373544930416912072439491*c_1001_4^11 + 8198821791443123790080206400997369895434877995242633722252827319510\ 303923631787629494647/617129775099987972253244727857380844962397183\ 75839181223752747089860833824144878982*c_1001_4^10 - 5878898869706387051124980892279502680123312517201397925586247818356\ 891660735678679540831/617129775099987972253244727857380844962397183\ 75839181223752747089860833824144878982*c_1001_4^9 + 1531812737252421079829715340715700467744441420969713604354502073541\ 368902019304928315268/308564887549993986126622363928690422481198591\ 87919590611876373544930416912072439491*c_1001_4^8 - 6898334180030577256208746189390537443925497622755036748903563416035\ 57333585110270000597/6171297750999879722532447278573808449623971837\ 5839181223752747089860833824144878982*c_1001_4^7 - 5671150000704231160699184534400819110549399272272662631062315700398\ 25299692530401548317/3085648875499939861266223639286904224811985918\ 7919590611876373544930416912072439491*c_1001_4^6 + 1727851921000013088480845824348178986007542594773343081601364539764\ 696560834802769992003/617129775099987972253244727857380844962397183\ 75839181223752747089860833824144878982*c_1001_4^5 - 7872860223998702326384488659756359737329308602169341959203129808127\ 46943587235382126546/3085648875499939861266223639286904224811985918\ 7919590611876373544930416912072439491*c_1001_4^4 + 9992504175325778929919111581440482085553015160104907737661038808670\ 00024672525099692883/6171297750999879722532447278573808449623971837\ 5839181223752747089860833824144878982*c_1001_4^3 - 4560174714122303653206390052406728386456322232585439803106207811758\ 30223145985735613225/6171297750999879722532447278573808449623971837\ 5839181223752747089860833824144878982*c_1001_4^2 + 1736979671139365467108002719316025848812044522148087312833618806189\ 93545428176552712775/6171297750999879722532447278573808449623971837\ 5839181223752747089860833824144878982*c_1001_4 - 1855188459414876546844146210281993135984569936266054651861088102410\ 7930051924008379871/61712977509998797225324472785738084496239718375\ 839181223752747089860833824144878982, c_0011_0 - 1, c_0011_10 - 29110846764168521921661221830314631785484267274478434674936\ 445709693/159316657864805883866883916662735449149627071133801959564\ 1432678597051*c_1001_4^31 + 286507623751905214013413292487354195937\ 90058969153349148004915176518/1593166578648058838668839166627354491\ 496270711338019595641432678597051*c_1001_4^30 - 2757872570888151130815205622802839189170900971596612504913042080203\ 33/1593166578648058838668839166627354491496270711338019595641432678\ 597051*c_1001_4^29 + 3992153019020747972099901804357253341636953667\ 22069440639534493483107/1593166578648058838668839166627354491496270\ 711338019595641432678597051*c_1001_4^28 - 1820084380591019152870368749816008343215525015535340167434324962597\ 712/159316657864805883866883916662735449149627071133801959564143267\ 8597051*c_1001_4^27 + 301498737218179508909930471455760409337018686\ 1164238736354276481223328/15931665786480588386688391666273544914962\ 70711338019595641432678597051*c_1001_4^26 - 9030245481988190998064229733215712160282774718426255568494588027993\ 144/159316657864805883866883916662735449149627071133801959564143267\ 8597051*c_1001_4^25 + 145607083845776311375077828771368941690227516\ 06534660936500884707655040/1593166578648058838668839166627354491496\ 270711338019595641432678597051*c_1001_4^24 - 3214956489628049751361131730704715213875972579178048467383919758604\ 9455/15931665786480588386688391666273544914962707113380195956414326\ 78597051*c_1001_4^23 + 49367302873115340591253262985950022445286391\ 470726784487019798292465749/159316657864805883866883916662735449149\ 6270711338019595641432678597051*c_1001_4^22 - 8825354532169358344314831296213264928529046119955973818290107415514\ 1452/15931665786480588386688391666273544914962707113380195956414326\ 78597051*c_1001_4^21 + 12610387569924469112480844431873650515223904\ 7340983986775534095080230178/15931665786480588386688391666273544914\ 96270711338019595641432678597051*c_1001_4^20 - 1946445293145347905191930969034150557717244859541996354088023663970\ 13035/1593166578648058838668839166627354491496270711338019595641432\ 678597051*c_1001_4^19 + 2558544449013379415987307239050759485800068\ 71520688528929199334819846910/1593166578648058838668839166627354491\ 496270711338019595641432678597051*c_1001_4^18 - 3441600518845134381073573562007682754890032239860361579703723032458\ 46350/1593166578648058838668839166627354491496270711338019595641432\ 678597051*c_1001_4^17 + 4079548327552518171399334874818425018525882\ 63213560369101980215311183256/1593166578648058838668839166627354491\ 496270711338019595641432678597051*c_1001_4^16 - 4719640038358790657257272135868823124016191868029786005157050722498\ 27231/1593166578648058838668839166627354491496270711338019595641432\ 678597051*c_1001_4^15 + 4915584389863792164380990906777642682986160\ 55392093531738962920702167423/1593166578648058838668839166627354491\ 496270711338019595641432678597051*c_1001_4^14 - 4879126518619869133696266299191699167548494494879394134715975862909\ 59215/1593166578648058838668839166627354491496270711338019595641432\ 678597051*c_1001_4^13 + 4521995047955439693084252581205036364390880\ 77591214554827666232615170323/1593166578648058838668839166627354491\ 496270711338019595641432678597051*c_1001_4^12 - 3971053733726735767311340997825354076418587633266497462483943852365\ 74119/1593166578648058838668839166627354491496270711338019595641432\ 678597051*c_1001_4^11 + 3333045406719050014688470807731265298378356\ 99162418297674447255397540703/1593166578648058838668839166627354491\ 496270711338019595641432678597051*c_1001_4^10 - 2484436229517656570742122949844302941887918613720612486082949453122\ 12838/1593166578648058838668839166627354491496270711338019595641432\ 678597051*c_1001_4^9 + 15581909379210458687610731024814149094343623\ 0265473541818957749102067960/15931665786480588386688391666273544914\ 96270711338019595641432678597051*c_1001_4^8 - 5556892276898394214064397965587589444553989141625176315495689627901\ 7246/15931665786480588386688391666273544914962707113380195956414326\ 78597051*c_1001_4^7 - 228267655511737683526115653014003177669374123\ 63822368052431237417292274/1593166578648058838668839166627354491496\ 270711338019595641432678597051*c_1001_4^6 + 6293484237348307052937896155353591505602536861863388664407228453081\ 3644/15931665786480588386688391666273544914962707113380195956414326\ 78597051*c_1001_4^5 - 663532193391067743315216535890237182027183301\ 34175713445598875754906259/1593166578648058838668839166627354491496\ 270711338019595641432678597051*c_1001_4^4 + 4445194496869097977641151147244063549157207217032432824393842230639\ 8481/15931665786480588386688391666273544914962707113380195956414326\ 78597051*c_1001_4^3 - 246658819415402697833126847168469609144378138\ 44011430159984886626489318/1593166578648058838668839166627354491496\ 270711338019595641432678597051*c_1001_4^2 + 8029816485414501127087039011120590386698240364629370444373012914626\ 086/159316657864805883866883916662735449149627071133801959564143267\ 8597051*c_1001_4 - 299793973747120569283821466504288590565280350448\ 6103189168597442953143/15931665786480588386688391666273544914962707\ 11338019595641432678597051, c_0011_11 + 29110846764168521921661221830314631785484267274478434674936\ 445709693/159316657864805883866883916662735449149627071133801959564\ 1432678597051*c_1001_4^31 - 286507623751905214013413292487354195937\ 90058969153349148004915176518/1593166578648058838668839166627354491\ 496270711338019595641432678597051*c_1001_4^30 + 2757872570888151130815205622802839189170900971596612504913042080203\ 33/1593166578648058838668839166627354491496270711338019595641432678\ 597051*c_1001_4^29 - 3992153019020747972099901804357253341636953667\ 22069440639534493483107/1593166578648058838668839166627354491496270\ 711338019595641432678597051*c_1001_4^28 + 1820084380591019152870368749816008343215525015535340167434324962597\ 712/159316657864805883866883916662735449149627071133801959564143267\ 8597051*c_1001_4^27 - 301498737218179508909930471455760409337018686\ 1164238736354276481223328/15931665786480588386688391666273544914962\ 70711338019595641432678597051*c_1001_4^26 + 9030245481988190998064229733215712160282774718426255568494588027993\ 144/159316657864805883866883916662735449149627071133801959564143267\ 8597051*c_1001_4^25 - 145607083845776311375077828771368941690227516\ 06534660936500884707655040/1593166578648058838668839166627354491496\ 270711338019595641432678597051*c_1001_4^24 + 3214956489628049751361131730704715213875972579178048467383919758604\ 9455/15931665786480588386688391666273544914962707113380195956414326\ 78597051*c_1001_4^23 - 49367302873115340591253262985950022445286391\ 470726784487019798292465749/159316657864805883866883916662735449149\ 6270711338019595641432678597051*c_1001_4^22 + 8825354532169358344314831296213264928529046119955973818290107415514\ 1452/15931665786480588386688391666273544914962707113380195956414326\ 78597051*c_1001_4^21 - 12610387569924469112480844431873650515223904\ 7340983986775534095080230178/15931665786480588386688391666273544914\ 96270711338019595641432678597051*c_1001_4^20 + 1946445293145347905191930969034150557717244859541996354088023663970\ 13035/1593166578648058838668839166627354491496270711338019595641432\ 678597051*c_1001_4^19 - 2558544449013379415987307239050759485800068\ 71520688528929199334819846910/1593166578648058838668839166627354491\ 496270711338019595641432678597051*c_1001_4^18 + 3441600518845134381073573562007682754890032239860361579703723032458\ 46350/1593166578648058838668839166627354491496270711338019595641432\ 678597051*c_1001_4^17 - 4079548327552518171399334874818425018525882\ 63213560369101980215311183256/1593166578648058838668839166627354491\ 496270711338019595641432678597051*c_1001_4^16 + 4719640038358790657257272135868823124016191868029786005157050722498\ 27231/1593166578648058838668839166627354491496270711338019595641432\ 678597051*c_1001_4^15 - 4915584389863792164380990906777642682986160\ 55392093531738962920702167423/1593166578648058838668839166627354491\ 496270711338019595641432678597051*c_1001_4^14 + 4879126518619869133696266299191699167548494494879394134715975862909\ 59215/1593166578648058838668839166627354491496270711338019595641432\ 678597051*c_1001_4^13 - 4521995047955439693084252581205036364390880\ 77591214554827666232615170323/1593166578648058838668839166627354491\ 496270711338019595641432678597051*c_1001_4^12 + 3971053733726735767311340997825354076418587633266497462483943852365\ 74119/1593166578648058838668839166627354491496270711338019595641432\ 678597051*c_1001_4^11 - 3333045406719050014688470807731265298378356\ 99162418297674447255397540703/1593166578648058838668839166627354491\ 496270711338019595641432678597051*c_1001_4^10 + 2484436229517656570742122949844302941887918613720612486082949453122\ 12838/1593166578648058838668839166627354491496270711338019595641432\ 678597051*c_1001_4^9 - 15581909379210458687610731024814149094343623\ 0265473541818957749102067960/15931665786480588386688391666273544914\ 96270711338019595641432678597051*c_1001_4^8 + 5556892276898394214064397965587589444553989141625176315495689627901\ 7246/15931665786480588386688391666273544914962707113380195956414326\ 78597051*c_1001_4^7 + 228267655511737683526115653014003177669374123\ 63822368052431237417292274/1593166578648058838668839166627354491496\ 270711338019595641432678597051*c_1001_4^6 - 6293484237348307052937896155353591505602536861863388664407228453081\ 3644/15931665786480588386688391666273544914962707113380195956414326\ 78597051*c_1001_4^5 + 663532193391067743315216535890237182027183301\ 34175713445598875754906259/1593166578648058838668839166627354491496\ 270711338019595641432678597051*c_1001_4^4 - 4445194496869097977641151147244063549157207217032432824393842230639\ 8481/15931665786480588386688391666273544914962707113380195956414326\ 78597051*c_1001_4^3 + 246658819415402697833126847168469609144378138\ 44011430159984886626489318/1593166578648058838668839166627354491496\ 270711338019595641432678597051*c_1001_4^2 - 8029816485414501127087039011120590386698240364629370444373012914626\ 086/159316657864805883866883916662735449149627071133801959564143267\ 8597051*c_1001_4 + 299793973747120569283821466504288590565280350448\ 6103189168597442953143/15931665786480588386688391666273544914962707\ 11338019595641432678597051, c_0011_3 + 661934996304100611912271177263862970021402886823704311086098\ 58006308/1593166578648058838668839166627354491496270711338019595641\ 432678597051*c_1001_4^31 + 7046346887365168191252182588185866118104\ 171047021624305399826374257/159316657864805883866883916662735449149\ 6270711338019595641432678597051*c_1001_4^30 + 5597359010062322447428997172080316648696791737630282607063049337684\ 42/1593166578648058838668839166627354491496270711338019595641432678\ 597051*c_1001_4^29 - 2905349064158042993323114449343543998789990393\ 45063548993469021589191/1593166578648058838668839166627354491496270\ 711338019595641432678597051*c_1001_4^28 + 3160524011555532937962668150627715526840293491307629298979040092633\ 901/159316657864805883866883916662735449149627071133801959564143267\ 8597051*c_1001_4^27 - 295320242609077303747478673956451462949436913\ 5004483142508763686968276/15931665786480588386688391666273544914962\ 70711338019595641432678597051*c_1001_4^26 + 1342306503603670344005542952082832632882798482829108498895050492367\ 6492/15931665786480588386688391666273544914962707113380195956414326\ 78597051*c_1001_4^25 - 14247801888039347187517306667230135618803226\ 801540679371366545370891836/159316657864805883866883916662735449149\ 6270711338019595641432678597051*c_1001_4^24 + 4028428347586323845171228566571450769152837424951381737204397208712\ 7044/15931665786480588386688391666273544914962707113380195956414326\ 78597051*c_1001_4^23 - 47620956991655894006394162566329045337375115\ 435885037082158860184663497/159316657864805883866883916662735449149\ 6270711338019595641432678597051*c_1001_4^22 + 9370626916136987278129575047309360373056194583351232621917882035161\ 3087/15931665786480588386688391666273544914962707113380195956414326\ 78597051*c_1001_4^21 - 11401172504896276020351134977046174558758288\ 0917536842474641115292800360/15931665786480588386688391666273544914\ 96270711338019595641432678597051*c_1001_4^20 + 1818503490812997168905105163836546772673849557056307155520885009844\ 50074/1593166578648058838668839166627354491496270711338019595641432\ 678597051*c_1001_4^19 - 2075324647732522057095492643759466656361683\ 21349064799466864773103090749/1593166578648058838668839166627354491\ 496270711338019595641432678597051*c_1001_4^18 + 2762971631274053436712744845365856217858662892931148235632848503121\ 98538/1593166578648058838668839166627354491496270711338019595641432\ 678597051*c_1001_4^17 - 2866639995932944450450370757316931349413937\ 27156954050494679643554268890/1593166578648058838668839166627354491\ 496270711338019595641432678597051*c_1001_4^16 + 3015438704499445576305227753749693773591303177111316728707161371659\ 84948/1593166578648058838668839166627354491496270711338019595641432\ 678597051*c_1001_4^15 - 2795896361345045012548886780654269941721258\ 57531246122021328076680681989/1593166578648058838668839166627354491\ 496270711338019595641432678597051*c_1001_4^14 + 2358345736189046782077189030044140398693477835730659834434276300560\ 39377/1593166578648058838668839166627354491496270711338019595641432\ 678597051*c_1001_4^13 - 2031107101130327865439004640788994760047161\ 97528962125951673436929337245/1593166578648058838668839166627354491\ 496270711338019595641432678597051*c_1001_4^12 + 1497126970103592526725565293916883813784851541283980797831695639824\ 11945/1593166578648058838668839166627354491496270711338019595641432\ 678597051*c_1001_4^11 - 1067301264808387379181795082983942467842099\ 40661917366269851138414995129/1593166578648058838668839166627354491\ 496270711338019595641432678597051*c_1001_4^10 + 4333647222512824670923521909001150010434254344026945533354283665835\ 1817/15931665786480588386688391666273544914962707113380195956414326\ 78597051*c_1001_4^9 + 230988857099730054255447772045692104278389386\ 01044844304217452039404970/1593166578648058838668839166627354491496\ 270711338019595641432678597051*c_1001_4^8 - 6685503028883346463509806402387830777255968227636768240898609994159\ 0008/15931665786480588386688391666273544914962707113380195956414326\ 78597051*c_1001_4^7 + 808474847945083177311159356142747503118016883\ 27508115568322683164315090/1593166578648058838668839166627354491496\ 270711338019595641432678597051*c_1001_4^6 - 5432543568471529185805204191524326618333499077818494553971514152561\ 5606/15931665786480588386688391666273544914962707113380195956414326\ 78597051*c_1001_4^5 + 244847061384118169505016519237782545181345726\ 34549996040031801276183788/1593166578648058838668839166627354491496\ 270711338019595641432678597051*c_1001_4^4 + 1277654369121416395968593850905278661058632993996427395712206461593\ 683/159316657864805883866883916662735449149627071133801959564143267\ 8597051*c_1001_4^3 - 7214424009939186464057856244807988633590263103\ 786384610283787741294325/159316657864805883866883916662735449149627\ 0711338019595641432678597051*c_1001_4^2 + 5524083127541276944391856339646528128818573266436094050438662703108\ 835/159316657864805883866883916662735449149627071133801959564143267\ 8597051*c_1001_4 - 305059434654921096859139915548019893442613198263\ 3283570980915817929362/15931665786480588386688391666273544914962707\ 11338019595641432678597051, c_0011_7 + 111447992495126120533689990432447801313420716821922927386807\ 35217832003027/2926725070138837841517752322213614941248732613992797\ 560153498260784033942499*c_1001_4^31 - 2655702311341979222241948484003728126504566695516912157785943166643\ 82739/2926725070138837841517752322213614941248732613992797560153498\ 260784033942499*c_1001_4^30 + 1487732683375870371205562460258009575\ 77632126002552703767414560440242846468/2926725070138837841517752322\ 213614941248732613992797560153498260784033942499*c_1001_4^29 - 1343455535847941274316117034747772830540355472922698145723536914339\ 0921090/29267250701388378415177523222136149412487326139927975601534\ 98260784033942499*c_1001_4^28 + 10243862772464561593928534717669873\ 37304195616349140573502858452093317935167/2926725070138837841517752\ 322213614941248732613992797560153498260784033942499*c_1001_4^27 - 4749029586929212484988226682079800664040348450514026601272453717467\ 06441290/2926725070138837841517752322213614941248732613992797560153\ 498260784033942499*c_1001_4^26 + 4892313358820033398657301519648839\ 833818784977015586877990397588865887461492/292672507013883784151775\ 2322213614941248732613992797560153498260784033942499*c_1001_4^25 - 3426177850791574635649075806133496636781138527754710730501960386548\ 326325246/292672507013883784151775232221361494124873261399279756015\ 3498260784033942499*c_1001_4^24 + 171883312163588463216548938137315\ 08923314821337927881205339584349427880400945/2926725070138837841517\ 752322213614941248732613992797560153498260784033942499*c_1001_4^23 - 1412437378221235920429305001304611874592283672101474635240625525131\ 3342719380/29267250701388378415177523222136149412487326139927975601\ 53498260784033942499*c_1001_4^22 + 4525881890222279331940932179091015664690175340491545773104992340262\ 8472525713/29267250701388378415177523222136149412487326139927975601\ 53498260784033942499*c_1001_4^21 - 4343642090160607083668601981156721364401673670727811190917473942581\ 3637678418/29267250701388378415177523222136149412487326139927975601\ 53498260784033942499*c_1001_4^20 + 9403023964189539029733239206199347065914653534637961941174363405978\ 7435088362/29267250701388378415177523222136149412487326139927975601\ 53498260784033942499*c_1001_4^19 - 9902335633777490325404995380582447957704070092133223786643890996324\ 7694092248/29267250701388378415177523222136149412487326139927975601\ 53498260784033942499*c_1001_4^18 + 1644748259994562280050006491951942279463866102371558152572999650694\ 55779940977/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^17 - 1672197904905204730732380125058304793665430208995556537575775772657\ 69475808796/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^16 + 2279054579330412877299985980374376334821376002455907268455176755602\ 02622753334/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^15 - 2178334948138177753665049381922605848176441081802258785834339588598\ 11129816948/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^14 + 2312277548251045091637698564039161919169717355688618099283616976737\ 86233668350/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^13 - 2220486898256314120339310867875774727350969109916712599027589839463\ 61225732485/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^12 + 1853738569275526447247626514620663465649415309550900760321759908189\ 30600346951/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^11 - 1781997641248170286396070489260624625438637244922012312693343403477\ 46298853709/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^10 + 1240204764869107565179247398865741007948790180585345618018845169127\ 55391780015/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^9 - 9268244857999938085055267872506353579081026249088553500283145868292\ 7977834365/29267250701388378415177523222136149412487326139927975601\ 53498260784033942499*c_1001_4^8 + 408122309838231773648094370694718\ 58088901638620783949983176244816126679221369/2926725070138837841517\ 752322213614941248732613992797560153498260784033942499*c_1001_4^7 - 3237019771070559860034991077835692289264349432439378281022432019747\ 82692077/2926725070138837841517752322213614941248732613992797560153\ 498260784033942499*c_1001_4^6 - 18616212761150789323483745979301783\ 294073613774526524491784056346602789512452/292672507013883784151775\ 2322213614941248732613992797560153498260784033942499*c_1001_4^5 + 2931624217961214671910888237234852581584438294863184297772214740228\ 8642406582/29267250701388378415177523222136149412487326139927975601\ 53498260784033942499*c_1001_4^4 - 178221498247237159157061517539912\ 26748212028390503439073100489496457841997585/2926725070138837841517\ 752322213614941248732613992797560153498260784033942499*c_1001_4^3 + 1382465295213912244782474308631654885352949904811424282094603040631\ 7401767828/29267250701388378415177523222136149412487326139927975601\ 53498260784033942499*c_1001_4^2 - 263872194485918749114011129598128\ 5712769199089064769844356277429528865311991/29267250701388378415177\ 52322213614941248732613992797560153498260784033942499*c_1001_4 + 1766813789422660019870291419002162278247394179355248706925497460546\ 842471612/292672507013883784151775232221361494124873261399279756015\ 3498260784033942499, c_0101_0 + 346586286635941699380489396471847411305087304110664081258301\ 64548103731343/2926725070138837841517752322213614941248732613992797\ 560153498260784033942499*c_1001_4^31 + 1712223461996697720765959942567088987829254884092721885621029441495\ 10247864/2926725070138837841517752322213614941248732613992797560153\ 498260784033942499*c_1001_4^30 + 3103506480368592757567129743910918\ 69454819347052788767312866704028564929032/2926725070138837841517752\ 322213614941248732613992797560153498260784033942499*c_1001_4^29 + 1241417476676122859949692202969797366314585380785996342468978889123\ 545039401/292672507013883784151775232221361494124873261399279756015\ 3498260784033942499*c_1001_4^28 + 861580668057013484779128393206997\ 235587392319876923122691146374941378671508/292672507013883784151775\ 2322213614941248732613992797560153498260784033942499*c_1001_4^27 + 6271971811652550983073760260314062098574568601736695735446112566680\ 664608543/292672507013883784151775232221361494124873261399279756015\ 3498260784033942499*c_1001_4^26 - 801946085591680825510947969035303\ 433603702408899377606719090274308902135135/292672507013883784151775\ 2322213614941248732613992797560153498260784033942499*c_1001_4^25 + 2577043067656025106236033070052023095431520650410691705209063135065\ 5145796544/29267250701388378415177523222136149412487326139927975601\ 53498260784033942499*c_1001_4^24 - 1659706737899527439450871789329806134207230496720465641845356097065\ 3318877871/29267250701388378415177523222136149412487326139927975601\ 53498260784033942499*c_1001_4^23 + 7531675307229054268837363984368868025914018222934258625105925123284\ 7050735063/29267250701388378415177523222136149412487326139927975601\ 53498260784033942499*c_1001_4^22 - 7801767357557671283461834105938962756755765425859448965802990693550\ 1933285895/29267250701388378415177523222136149412487326139927975601\ 53498260784033942499*c_1001_4^21 + 1771479618288313394161428434256786932990508951206270780403701650028\ 52992066409/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^20 - 2121107478645597318880843885595900348945890959961925655738537375839\ 90600665775/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^19 + 3630423349962858009655165614772097729126519571016718573883697755539\ 33665610307/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^18 - 4256034494484366795813590775729998440370021148972526911653041506115\ 55088702488/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^17 + 5906734776308838972992932529991154021444215911020781480419750380197\ 36984677083/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^16 - 6613918023735111750629095658017855122504789204275451524316160774757\ 79947931064/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^15 + 7144009790237895331297317448431995708796495626067764048577618879865\ 21236612633/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^14 - 7410656253257172609494951740348233678615161031813161636712924929718\ 01336839186/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^13 + 6561080866845283210924241005420361441327242308555443520426806650819\ 53422395526/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^12 - 6305449338238886766688274668598440898317791955278543932964642238367\ 95696137715/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^11 + 5129685425584976964646039145009070251859989665489521897584965202901\ 21818740933/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^10 - 4189618446641245497418393771557764289983513035653769217216043893468\ 81482827879/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^9 + 2849910838321560918912958663880485332843162900009197140656971309395\ 33738421258/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^8 - 1074649576778322812227489088484632796120090988145588610605351697766\ 19234086665/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^7 - 1193699091006069528236153097423305821850431950183678246422355320230\ 3566266633/29267250701388378415177523222136149412487326139927975601\ 53498260784033942499*c_1001_4^6 + 102196084965968535523054609874361\ 954171128484250306593618533114507496310689266/292672507013883784151\ 7752322213614941248732613992797560153498260784033942499*c_1001_4^5 - 9796487864218869401445414111052276484929117415734055018394758970681\ 8127809967/29267250701388378415177523222136149412487326139927975601\ 53498260784033942499*c_1001_4^4 + 749283502762622197181257624802450\ 48268224602485620125620525318000957439686970/2926725070138837841517\ 752322213614941248732613992797560153498260784033942499*c_1001_4^3 - 3702939190286154760557054686228662012995149873970100336294470502000\ 6197226559/29267250701388378415177523222136149412487326139927975601\ 53498260784033942499*c_1001_4^2 + 134759755040335159006900656902185\ 52694423390012023911650412171789562439806225/2926725070138837841517\ 752322213614941248732613992797560153498260784033942499*c_1001_4 - 5747155732196362380015947173310710074323119446119658551162934217795\ 473917032/292672507013883784151775232221361494124873261399279756015\ 3498260784033942499, c_0101_11 - 32822185030398620713360603579990340064964022875488518250491\ 772039464683371/292672507013883784151775232221361494124873261399279\ 7560153498260784033942499*c_1001_4^31 - 7595925757135064097372385334899184495598922065544876701656290677422\ 3251758/29267250701388378415177523222136149412487326139927975601534\ 98260784033942499*c_1001_4^30 - 28811585424246851557402104366531097\ 9528340259750479203970744269210076450429/29267250701388378415177523\ 22213614941248732613992797560153498260784033942499*c_1001_4^29 - 4882251578554128285375757954379925254021996919405578275273521299434\ 50637119/2926725070138837841517752322213614941248732613992797560153\ 498260784033942499*c_1001_4^28 - 1283984070962728322188380438035516\ 876958240820130561407028428328159602970238/292672507013883784151775\ 2322213614941248732613992797560153498260784033942499*c_1001_4^27 - 2153528522272322487654934857082015233636565973056943226531680318641\ 381097640/292672507013883784151775232221361494124873261399279756015\ 3498260784033942499*c_1001_4^26 - 353195463136521919384528185569504\ 7306831313149277362324832763853819732749776/29267250701388378415177\ 52322213614941248732613992797560153498260784033942499*c_1001_4^25 - 8434995167156852471500843055944278187642923133909765856559387484544\ 669810942/292672507013883784151775232221361494124873261399279756015\ 3498260784033942499*c_1001_4^24 - 435795157046648715961276957425268\ 0558276632066640800980837176940059859805802/29267250701388378415177\ 52322213614941248732613992797560153498260784033942499*c_1001_4^23 - 2376882346268978670176205148057634300910895060261409436363228295882\ 2108972452/29267250701388378415177523222136149412487326139927975601\ 53498260784033942499*c_1001_4^22 + 7276085147747743006361666418232104197771562776408479644436094731867\ 192926860/292672507013883784151775232221361494124873261399279756015\ 3498260784033942499*c_1001_4^21 - 557817361731850471616618464208821\ 49513972603591404462811826730723882131124963/2926725070138837841517\ 752322213614941248732613992797560153498260784033942499*c_1001_4^20 + 4323607897424228583234723419743297414175152024243730453439871828216\ 1336385024/29267250701388378415177523222136149412487326139927975601\ 53498260784033942499*c_1001_4^19 - 1189177409492502822867856373688629906638174478864745198378213764940\ 15284238481/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^18 + 1151553291563867592105149867623485476211998593611120856440085713899\ 14346656080/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^17 - 2072247425111971513294970111984198705112263583614779015459197373503\ 26562631766/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^16 + 2158719618378373673207231521079091527371600891723359148713349032823\ 68709343362/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^15 - 2692357876919730793150909661500477820865473784884137864936063660178\ 88477254761/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^14 + 2729609932742688491568256562884367458101924965157993251820056510142\ 05949855696/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^13 - 2554822557785330762623319037699184322243254787782794529684678221611\ 97003497573/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^12 + 2474380822512758676836038726673173830597803382701516421888335225739\ 51181105954/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^11 - 2058635129109728091689256839255544385786898947724764396808648034251\ 96567555472/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^10 + 1831365886098394881289065872732577370211828184362951411626005861892\ 99704671072/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^9 - 1309310831805133174693274527310757692150503234232016518785304348546\ 56064089100/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^8 + 6656073033222147460138457408052173760293545001197295978748279470622\ 8910970884/29267250701388378415177523222136149412487326139927975601\ 53498260784033942499*c_1001_4^7 - 919311650034188137391745456430286\ 9790337851925406753257885741821975782197133/29267250701388378415177\ 52322213614941248732613992797560153498260784033942499*c_1001_4^6 - 4421978052878727936414834149340043429487685114914365444346141327854\ 9408342016/29267250701388378415177523222136149412487326139927975601\ 53498260784033942499*c_1001_4^5 + 446190824780821051878054653178409\ 63282071773919655410329268963895247230108933/2926725070138837841517\ 752322213614941248732613992797560153498260784033942499*c_1001_4^4 - 4107819912360316983729110786420023498839537805929307729195658214213\ 1837869773/29267250701388378415177523222136149412487326139927975601\ 53498260784033942499*c_1001_4^3 + 182210225350486630112617477442163\ 91146358700560917721322855253126652592683002/2926725070138837841517\ 752322213614941248732613992797560153498260784033942499*c_1001_4^2 - 8133759808138810766800372849936653806042803526986200681980233135844\ 745910074/292672507013883784151775232221361494124873261399279756015\ 3498260784033942499*c_1001_4 + 232258031981189331032635128395293612\ 3455368379549807241744332105568605772647/29267250701388378415177523\ 22213614941248732613992797560153498260784033942499, c_0101_2 + 346586286635941699380489396471847411305087304110664081258301\ 64548103731343/2926725070138837841517752322213614941248732613992797\ 560153498260784033942499*c_1001_4^31 + 1712223461996697720765959942567088987829254884092721885621029441495\ 10247864/2926725070138837841517752322213614941248732613992797560153\ 498260784033942499*c_1001_4^30 + 3103506480368592757567129743910918\ 69454819347052788767312866704028564929032/2926725070138837841517752\ 322213614941248732613992797560153498260784033942499*c_1001_4^29 + 1241417476676122859949692202969797366314585380785996342468978889123\ 545039401/292672507013883784151775232221361494124873261399279756015\ 3498260784033942499*c_1001_4^28 + 861580668057013484779128393206997\ 235587392319876923122691146374941378671508/292672507013883784151775\ 2322213614941248732613992797560153498260784033942499*c_1001_4^27 + 6271971811652550983073760260314062098574568601736695735446112566680\ 664608543/292672507013883784151775232221361494124873261399279756015\ 3498260784033942499*c_1001_4^26 - 801946085591680825510947969035303\ 433603702408899377606719090274308902135135/292672507013883784151775\ 2322213614941248732613992797560153498260784033942499*c_1001_4^25 + 2577043067656025106236033070052023095431520650410691705209063135065\ 5145796544/29267250701388378415177523222136149412487326139927975601\ 53498260784033942499*c_1001_4^24 - 1659706737899527439450871789329806134207230496720465641845356097065\ 3318877871/29267250701388378415177523222136149412487326139927975601\ 53498260784033942499*c_1001_4^23 + 7531675307229054268837363984368868025914018222934258625105925123284\ 7050735063/29267250701388378415177523222136149412487326139927975601\ 53498260784033942499*c_1001_4^22 - 7801767357557671283461834105938962756755765425859448965802990693550\ 1933285895/29267250701388378415177523222136149412487326139927975601\ 53498260784033942499*c_1001_4^21 + 1771479618288313394161428434256786932990508951206270780403701650028\ 52992066409/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^20 - 2121107478645597318880843885595900348945890959961925655738537375839\ 90600665775/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^19 + 3630423349962858009655165614772097729126519571016718573883697755539\ 33665610307/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^18 - 4256034494484366795813590775729998440370021148972526911653041506115\ 55088702488/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^17 + 5906734776308838972992932529991154021444215911020781480419750380197\ 36984677083/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^16 - 6613918023735111750629095658017855122504789204275451524316160774757\ 79947931064/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^15 + 7144009790237895331297317448431995708796495626067764048577618879865\ 21236612633/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^14 - 7410656253257172609494951740348233678615161031813161636712924929718\ 01336839186/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^13 + 6561080866845283210924241005420361441327242308555443520426806650819\ 53422395526/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^12 - 6305449338238886766688274668598440898317791955278543932964642238367\ 95696137715/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^11 + 5129685425584976964646039145009070251859989665489521897584965202901\ 21818740933/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^10 - 4189618446641245497418393771557764289983513035653769217216043893468\ 81482827879/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^9 + 2849910838321560918912958663880485332843162900009197140656971309395\ 33738421258/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^8 - 1074649576778322812227489088484632796120090988145588610605351697766\ 19234086665/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^7 - 1193699091006069528236153097423305821850431950183678246422355320230\ 3566266633/29267250701388378415177523222136149412487326139927975601\ 53498260784033942499*c_1001_4^6 + 102196084965968535523054609874361\ 954171128484250306593618533114507496310689266/292672507013883784151\ 7752322213614941248732613992797560153498260784033942499*c_1001_4^5 - 9796487864218869401445414111052276484929117415734055018394758970681\ 8127809967/29267250701388378415177523222136149412487326139927975601\ 53498260784033942499*c_1001_4^4 + 749283502762622197181257624802450\ 48268224602485620125620525318000957439686970/2926725070138837841517\ 752322213614941248732613992797560153498260784033942499*c_1001_4^3 - 3702939190286154760557054686228662012995149873970100336294470502000\ 6197226559/29267250701388378415177523222136149412487326139927975601\ 53498260784033942499*c_1001_4^2 + 134759755040335159006900656902185\ 52694423390012023911650412171789562439806225/2926725070138837841517\ 752322213614941248732613992797560153498260784033942499*c_1001_4 - 5747155732196362380015947173310710074323119446119658551162934217795\ 473917032/292672507013883784151775232221361494124873261399279756015\ 3498260784033942499, c_0101_3 + 1, c_0101_8 - c_1001_4, c_1001_0 + 337468563097276653766066953067750300272093702612205745632745\ 510693559938922/292672507013883784151775232221361494124873261399279\ 7560153498260784033942499*c_1001_4^31 - 7768930267708733266147692902868619441294991469927458972980403789577\ 2149947/29267250701388378415177523222136149412487326139927975601534\ 98260784033942499*c_1001_4^30 + 28895336678979305815208715952252464\ 25615738384449269589713097570107812726030/2926725070138837841517752\ 322213614941248732613992797560153498260784033942499*c_1001_4^29 - 2577799832055709585169937181239721934013138677365646542278774067136\ 703233691/292672507013883784151775232221361494124873261399279756015\ 3498260784033942499*c_1001_4^28 + 170426107090481021895815498409044\ 35612881371444500438828723363683982758267323/2926725070138837841517\ 752322213614941248732613992797560153498260784033942499*c_1001_4^27 - 2189820019524007381762741100458986798431636810220936254756603899444\ 3086858140/29267250701388378415177523222136149412487326139927975601\ 53498260784033942499*c_1001_4^26 + 7672845115908883777167491616378461144777673072398678261320379312266\ 8880007674/29267250701388378415177523222136149412487326139927975601\ 53498260784033942499*c_1001_4^25 - 1049063267425632434404075422050139529166123485843292992692260299330\ 65473281900/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^24 + 2477252453426966467902081818446091512582202379492853543158420616372\ 22669314742/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^23 - 3535737434369853366165190007846419160636355931495942507902271989470\ 54438038060/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^22 + 6274775240703981955206985430832039279869113207411933429468419079058\ 64997799365/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^21 - 8749103891832758084275347367927390805555058835508837087464973892190\ 06021146837/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^20 + 1319270855487675250795843388810857806668399566053945806545424323811\ 857534430798/292672507013883784151775232221361494124873261399279756\ 0153498260784033942499*c_1001_4^19 - 1693373080900373649203281853254964725813592856048018800589956673154\ 487572998223/292672507013883784151775232221361494124873261399279756\ 0153498260784033942499*c_1001_4^18 + 2209095731597384146657038220284850206417375575314346008440639307498\ 637013360572/292672507013883784151775232221361494124873261399279756\ 0153498260784033942499*c_1001_4^17 - 2572111830428145860583746746137070780900161277260976984702919526837\ 475935532087/292672507013883784151775232221361494124873261399279756\ 0153498260784033942499*c_1001_4^16 + 2819330215129430377602786799122812166617456281264029633335536607799\ 876744143926/292672507013883784151775232221361494124873261399279756\ 0153498260784033942499*c_1001_4^15 - 2929721849153720941561205006686391066181867290344872820372405527690\ 317667669087/292672507013883784151775232221361494124873261399279756\ 0153498260784033942499*c_1001_4^14 + 2756823045640479357251296478235145367443714740646850301151318242370\ 134865269714/292672507013883784151775232221361494124873261399279756\ 0153498260784033942499*c_1001_4^13 - 2574753059897790296817612106909697027155610058520512984370791577485\ 731580608962/292672507013883784151775232221361494124873261399279756\ 0153498260784033942499*c_1001_4^12 + 2194917267366303725353957432341315410740444885652445845568514490606\ 833537905957/292672507013883784151775232221361494124873261399279756\ 0153498260784033942499*c_1001_4^11 - 1780319138755663798814839495154299452539138174506889111756943552056\ 648683337425/292672507013883784151775232221361494124873261399279756\ 0153498260784033942499*c_1001_4^10 + 1265631666583044363188948185884159979743936303046165700750769989312\ 510082762581/292672507013883784151775232221361494124873261399279756\ 0153498260784033942499*c_1001_4^9 - 6518735293080046401972065987135938538421838508256306726101169217825\ 01909428345/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^8 + 1361820566304553465556908508610807727148498281379300702162656639216\ 21005870077/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^7 + 2382291116242126979944429375230372656266075464851928993911174581595\ 05806855300/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^6 - 3638901556705159107503102836857095268949747986206127626000526616370\ 91643657589/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^5 + 3303104917792037197259648680298843993438231269083673082854308086276\ 53069850266/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^4 - 2139806124605215590519582192040548575628651130524686332460104565683\ 19790802414/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^3 + 1033175456412132345643790779989714873262496894745705682609756572397\ 34725174990/2926725070138837841517752322213614941248732613992797560\ 153498260784033942499*c_1001_4^2 - 3928442002297445472409906612413367676300929154354025756390603910752\ 6627532992/29267250701388378415177523222136149412487326139927975601\ 53498260784033942499*c_1001_4 + 69480616426854545759309560019643009\ 10718725667340615984639707445902427230056/2926725070138837841517752\ 322213614941248732613992797560153498260784033942499, c_1001_4^32 - 1/3*c_1001_4^31 + 80/9*c_1001_4^30 - 77/9*c_1001_4^29 + 484/9*c_1001_4^28 - 649/9*c_1001_4^27 + 745/3*c_1001_4^26 - 1055/3*c_1001_4^25 + 7457/9*c_1001_4^24 - 10846/9*c_1001_4^23 + 19453/9*c_1001_4^22 - 9167/3*c_1001_4^21 + 13957/3*c_1001_4^20 - 54682/9*c_1001_4^19 + 24118/3*c_1001_4^18 - 9530*c_1001_4^17 + 96467/9*c_1001_4^16 - 102185/9*c_1001_4^15 + 98900/9*c_1001_4^14 - 93955/9*c_1001_4^13 + 81839/9*c_1001_4^12 - 68504/9*c_1001_4^11 + 5690*c_1001_4^10 - 10213/3*c_1001_4^9 + 1344*c_1001_4^8 + 3437/9*c_1001_4^7 - 10490/9*c_1001_4^6 + 3962/3*c_1001_4^5 - 8848/9*c_1001_4^4 + 5063/9*c_1001_4^3 - 2386/9*c_1001_4^2 + 677/9*c_1001_4 - 191/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.460 Total time: 0.670 seconds, Total memory usage: 32.09MB