Magma V2.19-8 Tue Aug 20 2013 17:59:47 on localhost [Seed = 2463311461] Type ? for help. Type -D to quit. Loading file "11_171__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_171 geometric_solution 11.56335431 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 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 1 0 -1 0 0 0 0 -1 0 0 1 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.590494168448 0.755397577506 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 -1 1 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 5 0 0 -5 1 -6 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.112531497841 0.941392426135 8 0 6 5 0132 0132 1302 1302 0 0 0 0 0 0 0 0 1 0 0 -1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 6 0 0 -6 0 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.100384377148 1.947960315991 5 8 7 0 0132 0132 1302 0132 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 -1 0 1 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.607846871575 0.532456831370 9 10 0 11 0132 0132 0132 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 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.029585587671 1.030123258806 3 1 2 8 0132 0132 2031 3012 0 0 0 0 0 0 -1 1 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 -5 6 1 0 -1 0 0 6 0 -6 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.448085536256 0.899048081528 2 9 1 12 2031 3120 0132 0132 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 1 -1 0 0 0 0 0 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.976348700508 1.921075176162 3 9 12 1 2031 3201 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 5 0 -5 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.272500927784 0.636835340220 2 3 5 9 0132 0132 1230 1023 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 0 0 0 -6 0 6 0 0 0 0 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.306822777215 0.522283136020 4 6 7 8 0132 3120 2310 1023 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 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.373177062939 1.453570937733 12 4 11 11 1230 0132 2103 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.771577532300 1.547638630603 10 10 4 12 2103 0321 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.771577532300 1.547638630603 11 10 6 7 3012 3012 0132 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 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.484514819954 0.514326641206 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_11'], 'c_1001_10' : d['c_0011_11'], 'c_1001_12' : negation(d['c_0011_10']), 'c_1001_5' : negation(d['c_0101_8']), 'c_1001_4' : d['c_0101_12'], 'c_1001_7' : negation(d['c_0101_10']), 'c_1001_6' : negation(d['c_0101_8']), 'c_1001_1' : negation(d['c_0101_8']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0101_12'], 'c_1001_9' : d['c_0101_8'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : negation(d['c_0101_10']), 'c_1010_11' : d['c_0101_12'], 'c_1010_10' : d['c_0101_12'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0101_10'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(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_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : negation(d['1']), 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(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_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_11']), 'c_1100_5' : negation(d['c_1001_0']), 'c_1100_4' : d['c_0101_7'], 'c_1100_7' : d['c_1100_1'], 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_0101_7'], 'c_1100_3' : d['c_0101_7'], 'c_1100_2' : d['c_0101_0'], 's_0_10' : d['1'], 'c_1100_9' : d['c_0011_7'], 'c_1100_11' : d['c_0101_7'], 'c_1100_10' : d['c_0011_11'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_8']), 'c_1010_6' : negation(d['c_0011_10']), 'c_1010_5' : negation(d['c_0101_8']), 'c_1010_4' : d['c_0011_11'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_8']), 'c_1010_0' : d['c_0101_12'], 'c_1010_9' : negation(d['c_0011_6']), 'c_1010_8' : d['c_0101_1'], 'c_1100_8' : negation(d['c_0011_7']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_1100_1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_11']), 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_12' : d['c_0101_7'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_7']), 'c_0101_2' : negation(d['c_0011_6']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : negation(d['c_0011_6']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : negation(d['c_0011_7']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_12'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_6, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_7, c_0101_8, c_1001_0, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 85291108386911513242268312806221917873665004423061592937050708/5084\ 99737412606298783500187717790135056451038149977719029275*c_1100_1^2\ 6 - 150880776890105488622239533344894538520356112316790700179410890\ 1/1016999474825212597567000375435580270112902076299955438058550*c_1\ 100_1^25 + 16715539954406494649006404782141168239910216359368535702\ 52896419/5084997374126062987835001877177901350564510381499777190292\ 75*c_1100_1^24 - 23829787104298502932905310810394695129880797217204\ 367334788104239/101699947482521259756700037543558027011290207629995\ 5438058550*c_1100_1^23 + 528202386697314051981195589860618848486888\ 2344365597585779478287/20339989496504251951340007508711605402258041\ 5259991087611710*c_1100_1^22 - 235370101619901614146895012391474168\ 229290530441157425757123403023/101699947482521259756700037543558027\ 0112902076299955438058550*c_1100_1^21 + 71584428079689511803864565757890044379565767870592446290928080413/1\ 016999474825212597567000375435580270112902076299955438058550*c_1100\ _1^20 - 60325233244179473733770520898376996297824307864077184122905\ 5215053/50849973741260629878350018771779013505645103814997771902927\ 5*c_1100_1^19 + 259050689774998112363234570220631926409142558626492\ 3272168786733/10169994748252125975670003754355802701129020762999554\ 3805855*c_1100_1^18 - 340198062517443244781960771603459074180611855\ 7943659492558629679459/10169994748252125975670003754355802701129020\ 76299955438058550*c_1100_1^17 - 59389763476845832595234876323662498\ 290355979595376616373024635526/508499737412606298783500187717790135\ 056451038149977719029275*c_1100_1^16 - 2739408810560441289107347877887003954940958224544009815487133330553\ /508499737412606298783500187717790135056451038149977719029275*c_110\ 0_1^15 + 7357584425485692126534436818996156699592679242479887841063\ 9386201/50849973741260629878350018771779013505645103814997771902927\ 5*c_1100_1^14 - 493743963925108199134202242835842732395899439035952\ 432779541487934/101699947482521259756700037543558027011290207629995\ 543805855*c_1100_1^13 + 9080680590237131929134572603294763260483927\ 48564227530328107499011/1016999474825212597567000375435580270112902\ 076299955438058550*c_1100_1^12 - 1192067792614445345245415044483412\ 725013899373873507947030040594232/508499737412606298783500187717790\ 135056451038149977719029275*c_1100_1^11 + 1013528929516252317202420010497452884911064567054177378780141374907\ /1016999474825212597567000375435580270112902076299955438058550*c_11\ 00_1^10 - 413667982082081881521915979744295996805064998551179969364\ 302250019/508499737412606298783500187717790135056451038149977719029\ 275*c_1100_1^9 + 82811938386372505686790635753954338531798417476209\ 61345360891267/2991174925956507639902942280692883147390888459705751\ 2884075*c_1100_1^8 - 1971765994684856625589230824000876288968650963\ 79345853147860876102/5084997374126062987835001877177901350564510381\ 49977719029275*c_1100_1^7 - 475646167795029921716368737649887469782\ 48225705331871636275023971/1016999474825212597567000375435580270112\ 902076299955438058550*c_1100_1^6 - 18576168587021448258217643879259229351101438389292743460944011629/5\ 08499737412606298783500187717790135056451038149977719029275*c_1100_\ 1^5 + 1137310014561492953446737208081650487019250458491101311727418\ 5788/508499737412606298783500187717790135056451038149977719029275*c\ _1100_1^4 - 3362307549773062480994576226345293226316526669779983281\ 08426313/1016999474825212597567000375435580270112902076299955438058\ 55*c_1100_1^3 - 759591086081997381974369275364374051981037328363364\ 87887373807/4067997899300850390268001501742321080451608305199821752\ 2342*c_1100_1^2 - 3894857738196462885438094911153469367501306508002\ 60044233157507/5084997374126062987835001877177901350564510381499777\ 19029275*c_1100_1 + 34693894781179339787716287005749012324220114018\ 9554278002515471/50849973741260629878350018771779013505645103814997\ 7719029275, c_0011_0 - 1, c_0011_10 - 3553712197951425420232455079143331910440494955349/481606246\ 86609080284721622029638877595880170829025*c_1100_1^26 + 31308208500974459174100069041648556002850701356524/4816062468660908\ 0284721622029638877595880170829025*c_1100_1^25 - 70301338060122804853243437204458228577664937862712/4816062468660908\ 0284721622029638877595880170829025*c_1100_1^24 + 509320968579580375270971621650854932215581782283911/481606246866090\ 80284721622029638877595880170829025*c_1100_1^23 - 113076154048219963342908300645361158781535847236687/963212493732181\ 6056944324405927775519176034165805*c_1100_1^22 + 5125768330311505423159807018715537318564675979048162/48160624686609\ 080284721622029638877595880170829025*c_1100_1^21 - 1561018894154984191046180127132855194903781471802392/48160624686609\ 080284721622029638877595880170829025*c_1100_1^20 + 27478509983842068067082648382542079961318540904892809/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^19 - 16769780557001435745595492061985577898265432308491/9632124937321816\ 056944324405927775519176034165805*c_1100_1^18 + 83243293426696533816804201447837207689100538419627621/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^17 + 6424534958473684675180147104685594794483958449317448/48160624686609\ 080284721622029638877595880170829025*c_1100_1^16 + 149481066989833188158739023084528081510175424056997199/481606246866\ 09080284721622029638877595880170829025*c_1100_1^15 + 7548507381229217846784148045149737666721310496570532/48160624686609\ 080284721622029638877595880170829025*c_1100_1^14 + 31965672068633999710425944365850366943153769121981532/9632124937321\ 816056944324405927775519176034165805*c_1100_1^13 - 7033293167576210025662065734030034253806254861833729/48160624686609\ 080284721622029638877595880170829025*c_1100_1^12 + 99802902355046358239751491377307055152736859928617106/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^11 - 18297049188377849069707568845468936757862367096431258/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^10 + 38796645888205294931595572844829566668535209482450547/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^9 - 9221118404228804866422230478231929819952328361226277/48160624686609\ 080284721622029638877595880170829025*c_1100_1^8 + 13441314610994106704623303600336575099512803768976056/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^7 + 1145941919551612454204105741156808591239372662819454/48160624686609\ 080284721622029638877595880170829025*c_1100_1^6 + 3457233001616881655253344147468357639585351360596057/48160624686609\ 080284721622029638877595880170829025*c_1100_1^5 + 1262912370028710993134515454236923314782143560649866/48160624686609\ 080284721622029638877595880170829025*c_1100_1^4 + 63536463851550493779977933477520523231569264605979/9632124937321816\ 056944324405927775519176034165805*c_1100_1^3 + 4547694275613539939249792934610040045512363076081/19264249874643632\ 11388864881185555103835206833161*c_1100_1^2 + 12751810611694954888830630324522532725236973739521/4816062468660908\ 0284721622029638877595880170829025*c_1100_1 + 3046131242533824983307557012442075908267022738622/48160624686609080\ 284721622029638877595880170829025, c_0011_11 - 1495300794526416129362803110651558842173783194242/481606246\ 86609080284721622029638877595880170829025*c_1100_1^26 + 8500248839328704718114349903948540200939558030387/48160624686609080\ 284721622029638877595880170829025*c_1100_1^25 + 11212921862742850162818362409769589880253012002869/4816062468660908\ 0284721622029638877595880170829025*c_1100_1^24 + 127273206499578255629311816066022506048121871943843/481606246866090\ 80284721622029638877595880170829025*c_1100_1^23 + 81278281739693521825117861098708345371348757034091/9632124937321816\ 056944324405927775519176034165805*c_1100_1^22 + 1505039858224702057277682240331712054402704045674376/48160624686609\ 080284721622029638877595880170829025*c_1100_1^21 + 5738803246892152903350132283503807469425323229430469/48160624686609\ 080284721622029638877595880170829025*c_1100_1^20 + 10324342996060101643223135687823648008297032327412747/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^19 + 6619755110926426537880103430575397082399942330870808/96321249373218\ 16056944324405927775519176034165805*c_1100_1^18 + 38166925619400879049108237550129654963301738348392908/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^17 + 97366932849462410949310269488064810146899573642996924/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^16 + 77458027254012616951955323299267488723010718740563147/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^15 + 157865905450185255704380307570453822805850996335769501/481606246866\ 09080284721622029638877595880170829025*c_1100_1^14 + 16423386351824162784187354870313364672816840298972646/9632124937321\ 816056944324405927775519176034165805*c_1100_1^13 + 138317256272059860991668115792084324775069467759302218/481606246866\ 09080284721622029638877595880170829025*c_1100_1^12 + 34498079751457537243400366076397411352286430514293218/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^11 + 60205274723273516233074283461658257433203976131903491/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^10 - 3555853503075046036099689773093788052453306141051144/48160624686609\ 080284721622029638877595880170829025*c_1100_1^9 + 18073094352628677413220864500146664574848615381849789/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^8 - 123692009262280236154060739800967789495761297620552/481606246866090\ 80284721622029638877595880170829025*c_1100_1^7 + 11440031288894558056993412894888162720489427451932727/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^6 + 3796334964737048168401545018740790692591982446435296/48160624686609\ 080284721622029638877595880170829025*c_1100_1^5 + 2315082761303305672782416436995497875591732340614813/48160624686609\ 080284721622029638877595880170829025*c_1100_1^4 - 53753909184885706585810795369554508086915817643368/9632124937321816\ 056944324405927775519176034165805*c_1100_1^3 + 5684527059891796155879662484671730759637581965616/19264249874643632\ 11388864881185555103835206833161*c_1100_1^2 + 54930268915390459402040525003262183272712714274993/4816062468660908\ 0284721622029638877595880170829025*c_1100_1 + 27212584819459485372472957593123667212270877534846/4816062468660908\ 0284721622029638877595880170829025, c_0011_6 - 4116093476615305610612440756130482605485491879888/4816062468\ 6609080284721622029638877595880170829025*c_1100_1^26 + 35608950886358660094446903509449859637372997860223/4816062468660908\ 0284721622029638877595880170829025*c_1100_1^25 - 73668767378734290620661985103249412476939187723124/4816062468660908\ 0284721622029638877595880170829025*c_1100_1^24 + 559978346634459310105079658119988256992485451743922/481606246866090\ 80284721622029638877595880170829025*c_1100_1^23 - 105611231343693456761699865695545324818268121077323/963212493732181\ 6056944324405927775519176034165805*c_1100_1^22 + 5568842568652555449567840982595473671568695298553709/48160624686609\ 080284721622029638877595880170829025*c_1100_1^21 - 652991161172109322949526077378871501833999679449914/481606246866090\ 80284721622029638877595880170829025*c_1100_1^20 + 28919689067096989723052487026070542063253302185800058/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^19 + 968210398867318153784030662731721727307814866705156/963212493732181\ 6056944324405927775519176034165805*c_1100_1^18 + 82887738198795194644593877582596921032681428966604897/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^17 + 18206144396922366034816478515674249940276006044436221/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^16 + 136365554748036738434367170387103103662958729397183428/481606246866\ 09080284721622029638877595880170829025*c_1100_1^15 + 21302384077725773640190104313114931652134207447092619/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^14 + 25430534435507806455360902618383381537294870803460264/9632124937321\ 816056944324405927775519176034165805*c_1100_1^13 + 1271569736987518266689243871061370919971739186970852/48160624686609\ 080284721622029638877595880170829025*c_1100_1^12 + 66019418080608926580605273282838145359441243694263582/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^11 - 12091969105299167584981009405913705077286952927142281/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^10 + 25794948890596795991554249263350813033681536661698454/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^9 - 2253496572313361446635714385497941265603675537096234/48160624686609\ 080284721622029638877595880170829025*c_1100_1^8 + 12442465840139788041372339921229717017091938036120897/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^7 + 2668655767167600522516421210924066848682795653658308/48160624686609\ 080284721622029638877595880170829025*c_1100_1^6 + 1918389344368886678868274976347146410103229479940304/48160624686609\ 080284721622029638877595880170829025*c_1100_1^5 - 207796769777298832073589515055459706745865369784478/481606246866090\ 80284721622029638877595880170829025*c_1100_1^4 + 80116734318909768197938068196487259053492855832058/9632124937321816\ 056944324405927775519176034165805*c_1100_1^3 + 18499118139616865451669814588341160266675397670036/1926424987464363\ 211388864881185555103835206833161*c_1100_1^2 + 55053938936494712333650482235837252636001918622402/4816062468660908\ 0284721622029638877595880170829025*c_1100_1 - 31043688317852343547546284149304800060372969741876/4816062468660908\ 0284721622029638877595880170829025, c_0011_7 + 248237676051832528511936542889269719593080554123/19264249874\ 64363211388864881185555103835206833161*c_1100_1^26 - 10675333647009313004660381835596193324729230052524/9632124937321816\ 056944324405927775519176034165805*c_1100_1^25 + 21747383188689246735887480312075635881535714375577/9632124937321816\ 056944324405927775519176034165805*c_1100_1^24 - 168357588949866005529312049898759528646049193243791/963212493732181\ 6056944324405927775519176034165805*c_1100_1^23 + 151881182975373485760871630156630092271762043227193/963212493732181\ 6056944324405927775519176034165805*c_1100_1^22 - 1680463355893686964539717459506236837628882490622296/96321249373218\ 16056944324405927775519176034165805*c_1100_1^21 + 119574418550806088318254556786084951295767191470694/963212493732181\ 6056944324405927775519176034165805*c_1100_1^20 - 1760100104497505811409139764932027038443067031722019/19264249874643\ 63211388864881185555103835206833161*c_1100_1^19 - 1903423798042398085636203062666245230292367798534346/96321249373218\ 16056944324405927775519176034165805*c_1100_1^18 - 25505949524754555363534034357585266573633421039962743/9632124937321\ 816056944324405927775519176034165805*c_1100_1^17 - 6856467664384329792304980390233193040684613578035108/96321249373218\ 16056944324405927775519176034165805*c_1100_1^16 - 42487365816815889044015680079623517319923028898204706/9632124937321\ 816056944324405927775519176034165805*c_1100_1^15 - 8627488141714134942058239317539407514616677759499574/96321249373218\ 16056944324405927775519176034165805*c_1100_1^14 - 7990080242275328473938177610568246144899868738061564/19264249874643\ 63211388864881185555103835206833161*c_1100_1^13 - 360607382006892348345389666866302836672914536211848/192642498746436\ 3211388864881185555103835206833161*c_1100_1^12 - 20218546349632236647743965203509893694813878301632859/9632124937321\ 816056944324405927775519176034165805*c_1100_1^11 + 4223831053475898553429476654533242594394515797846979/96321249373218\ 16056944324405927775519176034165805*c_1100_1^10 - 6939315333427222424114165899982774912874958783508221/96321249373218\ 16056944324405927775519176034165805*c_1100_1^9 + 1834694313915677334783042709850187423390917412020709/96321249373218\ 16056944324405927775519176034165805*c_1100_1^8 - 694787075644147629010185136863723032244123007300028/192642498746436\ 3211388864881185555103835206833161*c_1100_1^7 - 498730783543614257345509298878112026987703816814364/963212493732181\ 6056944324405927775519176034165805*c_1100_1^6 - 824866136767446185374213671489996910850407747822388/963212493732181\ 6056944324405927775519176034165805*c_1100_1^5 + 144584410296371060499666532753864309062648749636443/963212493732181\ 6056944324405927775519176034165805*c_1100_1^4 - 16106147662584000813955332525022990808302127541774/1926424987464363\ 211388864881185555103835206833161*c_1100_1^3 + 298744568773789253474965348915138972328659890663/192642498746436321\ 1388864881185555103835206833161*c_1100_1^2 + 2290756263517424280583079223364821838181416567392/19264249874643632\ 11388864881185555103835206833161*c_1100_1 + 4609383757056280178189411875511723291965533780246/96321249373218160\ 56944324405927775519176034165805, c_0101_0 + 2139306308955031638690096588178542996480479757574/4816062468\ 6609080284721622029638877595880170829025*c_1100_1^26 - 19120434903146697148146451854348243903975589699909/4816062468660908\ 0284721622029638877595880170829025*c_1100_1^25 + 43760888225090688890923573515777708477335992574617/4816062468660908\ 0284721622029638877595880170829025*c_1100_1^24 - 303238142247360067211758569248794345956632876800176/481606246866090\ 80284721622029638877595880170829025*c_1100_1^23 + 71730209265074750997113521035699293981609075534146/9632124937321816\ 056944324405927775519176034165805*c_1100_1^22 - 2990527398969781997476472222183714033394647678400752/48160624686609\ 080284721622029638877595880170829025*c_1100_1^21 + 1155215346072852187117179291181773286208853530581352/48160624686609\ 080284721622029638877595880170829025*c_1100_1^20 - 15306980709680556892518478144635815490161114789697184/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^19 + 294836891729154380791556672455532749902254578831808/963212493732181\ 6056944324405927775519176034165805*c_1100_1^18 - 43318373467708920365714962831491133226499024561247441/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^17 + 974831624142999017006187581280348272704548213140957/481606246866090\ 80284721622029638877595880170829025*c_1100_1^16 - 70834063744005404151820073373557831757496139183610839/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^15 + 3846005586424392061705473256958355082966884682592908/48160624686609\ 080284721622029638877595880170829025*c_1100_1^14 - 13330807165768578678502507655971407259164319981858077/9632124937321\ 816056944324405927775519176034165805*c_1100_1^13 + 10211529290996915365104682866080009474748955959155804/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^12 - 35949455238655111928130836755335189584469663115437341/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^11 + 9810494293513264292162146310826033538898453375153968/48160624686609\ 080284721622029638877595880170829025*c_1100_1^10 - 14154380311580976949150768340832601064515439220567812/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^9 + 2546636567751510124473222255654585150484122810312712/48160624686609\ 080284721622029638877595880170829025*c_1100_1^8 - 5775526066292593965890082727303167089590960699391881/48160624686609\ 080284721622029638877595880170829025*c_1100_1^7 - 385043861254201284473664712770309445846016028187464/481606246866090\ 80284721622029638877595880170829025*c_1100_1^6 - 724954109198337054769980064192426360239853965098827/481606246866090\ 80284721622029638877595880170829025*c_1100_1^5 + 51332698125155473619950644700401376575405401743729/4816062468660908\ 0284721622029638877595880170829025*c_1100_1^4 - 72523376090320252337146762916553667489219396006679/9632124937321816\ 056944324405927775519176034165805*c_1100_1^3 - 1218367133738893051356482489370591862974097598148/19264249874643632\ 11388864881185555103835206833161*c_1100_1^2 - 85443228566994241819083561250682023702690223242871/4816062468660908\ 0284721622029638877595880170829025*c_1100_1 + 6592902353231059502496253728235202890282466294943/48160624686609080\ 284721622029638877595880170829025, c_0101_1 - c_1100_1, c_0101_10 - 7003719898269431259305615208358013367005099461811/481606246\ 86609080284721622029638877595880170829025*c_1100_1^26 + 61567730012371651297151492514764674180713039533371/4816062468660908\ 0284721622029638877595880170829025*c_1100_1^25 - 134490860064051945902152914023859650190988147575873/481606246866090\ 80284721622029638877595880170829025*c_1100_1^24 + 976764707291812531357330822203131252079538475823119/481606246866090\ 80284721622029638877595880170829025*c_1100_1^23 - 209566514482949262689394846136239440470071610846867/963212493732181\ 6056944324405927775519176034165805*c_1100_1^22 + 9699669419242754985535945603940120247020836492197508/48160624686609\ 080284721622029638877595880170829025*c_1100_1^21 - 2585619876708252506120175718296711067296846941090473/48160624686609\ 080284721622029638877595880170829025*c_1100_1^20 + 50296071143273308200639213916540107756545832606767676/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^19 + 118904435060040782184325792947492455045740996898369/963212493732181\ 6056944324405927775519176034165805*c_1100_1^18 + 144176532680427023772173123202468674947687492587316189/481606246866\ 09080284721622029638877595880170829025*c_1100_1^17 + 8350653597924677531694676228942563811248489477406717/48160624686609\ 080284721622029638877595880170829025*c_1100_1^16 + 237707829286525290765946656375838355898204187889663151/481606246866\ 09080284721622029638877595880170829025*c_1100_1^15 - 4850064669957296373020759006548032043156731465549417/48160624686609\ 080284721622029638877595880170829025*c_1100_1^14 + 44502474777852357846064290264195017156242338284706888/9632124937321\ 816056944324405927775519176034165805*c_1100_1^13 - 45568108323097800200152565708678834300776624216593281/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^12 + 115546442953493088143010807089476921850888315563794394/481606246866\ 09080284721622029638877595880170829025*c_1100_1^11 - 57068351927193173215810775511265668205580833063477022/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^10 + 44408871907699477490777988902189890795702004436928598/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^9 - 22361562145107088432462793185044982047932996635453088/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^8 + 22093432054099796399551915996563376721621601183209434/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^7 - 1258159037547737891751392982068021569570063750145034/48160624686609\ 080284721622029638877595880170829025*c_1100_1^6 + 3871023162714712185987893279145892673753437269488293/48160624686609\ 080284721622029638877595880170829025*c_1100_1^5 - 1843143615064964427428317131075812560623321840102871/48160624686609\ 080284721622029638877595880170829025*c_1100_1^4 + 4240399850645485813776703974766232486452356664221/96321249373218160\ 56944324405927775519176034165805*c_1100_1^3 - 3600512659264715280356572064894385537274987824830/19264249874643632\ 11388864881185555103835206833161*c_1100_1^2 + 21762085752794685747256950750934931103873383573419/4816062468660908\ 0284721622029638877595880170829025*c_1100_1 - 29990605767275878397556733332959987288761330204482/4816062468660908\ 0284721622029638877595880170829025, c_0101_12 + 7003719898269431259305615208358013367005099461811/481606246\ 86609080284721622029638877595880170829025*c_1100_1^26 - 61567730012371651297151492514764674180713039533371/4816062468660908\ 0284721622029638877595880170829025*c_1100_1^25 + 134490860064051945902152914023859650190988147575873/481606246866090\ 80284721622029638877595880170829025*c_1100_1^24 - 976764707291812531357330822203131252079538475823119/481606246866090\ 80284721622029638877595880170829025*c_1100_1^23 + 209566514482949262689394846136239440470071610846867/963212493732181\ 6056944324405927775519176034165805*c_1100_1^22 - 9699669419242754985535945603940120247020836492197508/48160624686609\ 080284721622029638877595880170829025*c_1100_1^21 + 2585619876708252506120175718296711067296846941090473/48160624686609\ 080284721622029638877595880170829025*c_1100_1^20 - 50296071143273308200639213916540107756545832606767676/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^19 - 118904435060040782184325792947492455045740996898369/963212493732181\ 6056944324405927775519176034165805*c_1100_1^18 - 144176532680427023772173123202468674947687492587316189/481606246866\ 09080284721622029638877595880170829025*c_1100_1^17 - 8350653597924677531694676228942563811248489477406717/48160624686609\ 080284721622029638877595880170829025*c_1100_1^16 - 237707829286525290765946656375838355898204187889663151/481606246866\ 09080284721622029638877595880170829025*c_1100_1^15 + 4850064669957296373020759006548032043156731465549417/48160624686609\ 080284721622029638877595880170829025*c_1100_1^14 - 44502474777852357846064290264195017156242338284706888/9632124937321\ 816056944324405927775519176034165805*c_1100_1^13 + 45568108323097800200152565708678834300776624216593281/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^12 - 115546442953493088143010807089476921850888315563794394/481606246866\ 09080284721622029638877595880170829025*c_1100_1^11 + 57068351927193173215810775511265668205580833063477022/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^10 - 44408871907699477490777988902189890795702004436928598/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^9 + 22361562145107088432462793185044982047932996635453088/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^8 - 22093432054099796399551915996563376721621601183209434/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^7 + 1258159037547737891751392982068021569570063750145034/48160624686609\ 080284721622029638877595880170829025*c_1100_1^6 - 3871023162714712185987893279145892673753437269488293/48160624686609\ 080284721622029638877595880170829025*c_1100_1^5 + 1843143615064964427428317131075812560623321840102871/48160624686609\ 080284721622029638877595880170829025*c_1100_1^4 - 4240399850645485813776703974766232486452356664221/96321249373218160\ 56944324405927775519176034165805*c_1100_1^3 + 3600512659264715280356572064894385537274987824830/19264249874643632\ 11388864881185555103835206833161*c_1100_1^2 - 21762085752794685747256950750934931103873383573419/4816062468660908\ 0284721622029638877595880170829025*c_1100_1 + 29990605767275878397556733332959987288761330204482/4816062468660908\ 0284721622029638877595880170829025, c_0101_7 - 3553712197951425420232455079143331910440494955349/4816062468\ 6609080284721622029638877595880170829025*c_1100_1^26 + 31308208500974459174100069041648556002850701356524/4816062468660908\ 0284721622029638877595880170829025*c_1100_1^25 - 70301338060122804853243437204458228577664937862712/4816062468660908\ 0284721622029638877595880170829025*c_1100_1^24 + 509320968579580375270971621650854932215581782283911/481606246866090\ 80284721622029638877595880170829025*c_1100_1^23 - 113076154048219963342908300645361158781535847236687/963212493732181\ 6056944324405927775519176034165805*c_1100_1^22 + 5125768330311505423159807018715537318564675979048162/48160624686609\ 080284721622029638877595880170829025*c_1100_1^21 - 1561018894154984191046180127132855194903781471802392/48160624686609\ 080284721622029638877595880170829025*c_1100_1^20 + 27478509983842068067082648382542079961318540904892809/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^19 - 16769780557001435745595492061985577898265432308491/9632124937321816\ 056944324405927775519176034165805*c_1100_1^18 + 83243293426696533816804201447837207689100538419627621/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^17 + 6424534958473684675180147104685594794483958449317448/48160624686609\ 080284721622029638877595880170829025*c_1100_1^16 + 149481066989833188158739023084528081510175424056997199/481606246866\ 09080284721622029638877595880170829025*c_1100_1^15 + 7548507381229217846784148045149737666721310496570532/48160624686609\ 080284721622029638877595880170829025*c_1100_1^14 + 31965672068633999710425944365850366943153769121981532/9632124937321\ 816056944324405927775519176034165805*c_1100_1^13 - 7033293167576210025662065734030034253806254861833729/48160624686609\ 080284721622029638877595880170829025*c_1100_1^12 + 99802902355046358239751491377307055152736859928617106/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^11 - 18297049188377849069707568845468936757862367096431258/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^10 + 38796645888205294931595572844829566668535209482450547/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^9 - 9221118404228804866422230478231929819952328361226277/48160624686609\ 080284721622029638877595880170829025*c_1100_1^8 + 13441314610994106704623303600336575099512803768976056/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^7 + 1145941919551612454204105741156808591239372662819454/48160624686609\ 080284721622029638877595880170829025*c_1100_1^6 + 3457233001616881655253344147468357639585351360596057/48160624686609\ 080284721622029638877595880170829025*c_1100_1^5 + 1262912370028710993134515454236923314782143560649866/48160624686609\ 080284721622029638877595880170829025*c_1100_1^4 + 63536463851550493779977933477520523231569264605979/9632124937321816\ 056944324405927775519176034165805*c_1100_1^3 + 4547694275613539939249792934610040045512363076081/19264249874643632\ 11388864881185555103835206833161*c_1100_1^2 + 12751810611694954888830630324522532725236973739521/4816062468660908\ 0284721622029638877595880170829025*c_1100_1 + 3046131242533824983307557012442075908267022738622/48160624686609080\ 284721622029638877595880170829025, c_0101_8 + 8058651425284289539095298088692649012615321917871/4816062468\ 6609080284721622029638877595880170829025*c_1100_1^26 - 69784072669730614427041192317596913532180658019071/4816062468660908\ 0284721622029638877595880170829025*c_1100_1^25 + 144097752675421691127647029030655676194146949709748/481606246866090\ 80284721622029638877595880170829025*c_1100_1^24 - 1090849997865893839416160370820027468442601238108444/48160624686609\ 080284721622029638877595880170829025*c_1100_1^23 + 205054754359028338459287790015359827869141441487423/963212493732181\ 6056944324405927775519176034165805*c_1100_1^22 - 10799905165513333230586658813604012647095068581692148/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^21 + 1199789126339611146788744682172538426266064880513243/48160624686609\ 080284721622029638877595880170829025*c_1100_1^20 - 55516988158466609163340959222315246423270323579941361/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^19 - 1971494045422734142291042250545405072862027281284446/96321249373218\ 16056944324405927775519176034165805*c_1100_1^18 - 156299242111628540757815842821479582358771810357871534/481606246866\ 09080284721622029638877595880170829025*c_1100_1^17 - 36923248393726217561923955315568749823958517560946142/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^16 - 248825181791208964482501729571263591136497702992216771/481606246866\ 09080284721622029638877595880170829025*c_1100_1^15 - 45018057869187783751115343559122632013860926498740653/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^14 - 43194529708857455214005205242294604377042836135517453/9632124937321\ 816056944324405927775519176034165805*c_1100_1^13 - 8709330518927012943708373179887789821779267691079959/48160624686609\ 080284721622029638877595880170829025*c_1100_1^12 - 92769464221782562684041519131911288680562139815006049/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^11 + 16062083587929400458694428004938917445327315209990632/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^10 - 26253716054458342996612200235643283765041331414795713/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^9 - 1173654983676138758271039519209655920682995705604892/48160624686609\ 080284721622029638877595880170829025*c_1100_1^8 - 14747943326074906238588919764780025847363794548553449/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^7 - 7361594163828232517349375652372504987480243333537041/48160624686609\ 080284721622029638877595880170829025*c_1100_1^6 - 1135628020763374952675669066881629412338999189164828/48160624686609\ 080284721622029638877595880170829025*c_1100_1^5 + 550101463334255562037856351330259642802312970182411/481606246866090\ 80284721622029638877595880170829025*c_1100_1^4 - 34201124579586756584572323566260123791810390624821/9632124937321816\ 056944324405927775519176034165805*c_1100_1^3 - 14965299418280789485440368790119374655555778315199/1926424987464363\ 211388864881185555103835206833161*c_1100_1^2 - 54855061582198410933562804647677674314741372776234/4816062468660908\ 0284721622029638877595880170829025*c_1100_1 + 44253350117417588019650312929894556417205083056762/4816062468660908\ 0284721622029638877595880170829025, c_1001_0 - 5170320059067060518153000630167527211921636325146/4816062468\ 6609080284721622029638877595880170829025*c_1100_1^26 + 45318881741136841118010938947641085809000257224151/4816062468660908\ 0284721622029638877595880170829025*c_1100_1^25 - 98074062448584584005275327945363607253118442154288/4816062468660908\ 0284721622029638877595880170829025*c_1100_1^24 + 717240991854415136318747075472599604759193291941864/481606246866090\ 80284721622029638877595880170829025*c_1100_1^23 - 29867501559494056634190029160467094229996215461234/1926424987464363\ 211388864881185555103835206833161*c_1100_1^22 + 7117645915192737107124892541108143402052332592988468/48160624686609\ 080284721622029638877595880170829025*c_1100_1^21 - 1600876004393777680468154477360999943810251701878398/48160624686609\ 080284721622029638877595880170829025*c_1100_1^20 + 36890417333175984371513412211503112801564205637253811/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^19 + 102670344099266314301586772111193963519923431534712/192642498746436\ 3211388864881185555103835206833161*c_1100_1^18 + 105845239783905471036428409907025035897065626862345569/481606246866\ 09080284721622029638877595880170829025*c_1100_1^17 + 14840275822710512012794826306655212569437237063428252/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^16 + 175186719893474624624149996777559656373306661813779441/481606246866\ 09080284721622029638877595880170829025*c_1100_1^15 + 17661105585178423593457506488904277073527304014139833/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^14 + 33090416332458503260822791527060449395404304364829178/9632124937321\ 816056944324405927775519176034165805*c_1100_1^13 - 2436502811430902345275917094606162888352216905112166/48160624686609\ 080284721622029638877595880170829025*c_1100_1^12 + 86785850083755725540751488114443892253728075161345004/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^11 - 15881849856856429391782618481323306848297002815232237/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^10 + 31684617390596269998493692899747719002067216620008983/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^9 - 4999812085074521241914297916002452364920777174143313/48160624686609\ 080284721622029638877595880170829025*c_1100_1^8 + 13974176289177274403541993041089855153917928111384249/4816062468660\ 9080284721622029638877595880170829025*c_1100_1^7 + 2051523856413540895627257117387781668216249638325646/48160624686609\ 080284721622029638877595880170829025*c_1100_1^6 + 2644660030749134328673391568973763084510707789790388/48160624686609\ 080284721622029638877595880170829025*c_1100_1^5 - 167060204723762129078547851443390638383363421071746/481606246866090\ 80284721622029638877595880170829025*c_1100_1^4 + 150659673796226592156270774275846325936104198157171/963212493732181\ 6056944324405927775519176034165805*c_1100_1^3 + 2173877416250591181855022775553006883409437373249/19264249874643632\ 11388864881185555103835206833161*c_1100_1^2 + 89393770283092903718308124908130386965633620649559/4816062468660908\ 0284721622029638877595880170829025*c_1100_1 - 17124589063448658516522357611463167779392541584257/4816062468660908\ 0284721622029638877595880170829025, c_1100_1^27 - 9*c_1100_1^26 + 21*c_1100_1^25 - 143*c_1100_1^24 + 177*c_1100_1^23 - 1408*c_1100_1^22 + 637*c_1100_1^21 - 7180*c_1100_1^20 + 1248*c_1100_1^19 - 20189*c_1100_1^18 + 2330*c_1100_1^17 - 32660*c_1100_1^16 + 5615*c_1100_1^15 - 30171*c_1100_1^14 + 9491*c_1100_1^13 - 15837*c_1100_1^12 + 7944*c_1100_1^11 - 6289*c_1100_1^10 + 2422*c_1100_1^9 - 2728*c_1100_1^8 + 81*c_1100_1^7 - 250*c_1100_1^6 + 135*c_1100_1^5 - 58*c_1100_1^4 - 10*c_1100_1^3 - 4*c_1100_1^2 + 4*c_1100_1 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.290 Total time: 1.510 seconds, Total memory usage: 32.09MB