Magma V2.19-8 Tue Aug 20 2013 23:48:29 on localhost [Seed = 1595487717] Type ? for help. Type -D to quit. Loading file "K11a235__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11a235 geometric_solution 11.84450583 oriented_manifold CS_known 0.0000000000000007 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 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.642614093758 0.868434852073 0 2 4 5 0132 0213 0213 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 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.501663717969 0.598111859853 3 0 1 3 1230 0132 0213 0132 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 0 0 -11 -1 0 12 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.278749525949 0.568469205215 5 2 2 0 0132 3012 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 -1 0 1 0 0 0 0 0 0 0 0 1 11 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.278749525949 0.568469205215 6 1 0 7 0132 0213 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 0 -1 1 -1 0 0 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.685449903864 0.607382126472 3 8 1 9 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 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.672324167780 1.298227810836 4 10 11 10 0132 0132 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 1 -1 0 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.529126000085 1.108032208676 11 11 4 8 0321 0213 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.639298232207 0.609477425952 9 5 12 7 0213 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.371055055248 0.326805807107 8 12 5 11 0213 0132 0132 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 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.454145838444 0.374627627256 6 6 12 12 3012 0132 1302 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.324862188221 0.764446047127 7 9 7 6 0321 0321 0213 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 -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.316847646317 0.705828543824 10 9 10 8 2031 0132 1230 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 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.529126000085 1.108032208676 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0011_12']), 'c_1001_12' : negation(d['c_0101_12']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_1001_11'], 'c_1001_6' : negation(d['c_0101_12']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : d['c_1001_8'], 'c_1001_8' : d['c_1001_8'], 'c_1010_12' : d['c_1001_8'], 'c_1010_11' : negation(d['c_0101_12']), 'c_1010_10' : negation(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_0011_7'], 'c_0101_10' : negation(d['c_0011_12']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : 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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_1001_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_11'], 'c_1100_4' : d['c_1001_5'], 'c_1100_7' : d['c_1001_5'], 'c_1100_6' : d['c_0110_10'], 'c_1100_1' : d['c_1001_11'], 'c_1100_0' : d['c_1001_5'], 'c_1100_3' : d['c_1001_5'], 'c_1100_2' : d['c_1001_5'], 's_0_10' : d['1'], 'c_1100_11' : d['c_0110_10'], 'c_1100_10' : d['c_0101_12'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0110_10'], 'c_1010_6' : negation(d['c_0011_12']), 'c_1010_5' : d['c_1001_8'], 'c_1010_4' : d['c_1001_11'], 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : negation(d['c_0101_12']), 'c_1010_8' : d['c_1001_5'], 'c_1100_8' : d['c_0110_10'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(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_0110_10'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_12']), 'c_0011_8' : d['c_0011_3'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_10'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_10']), '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' : negation(d['c_0011_7']), 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : negation(d['c_0011_12']), 'c_0110_0' : d['c_0011_10'], 'c_0101_7' : negation(d['c_0011_7']), 'c_0101_6' : negation(d['c_0011_7']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_10'], 'c_0101_3' : d['c_0011_3'], 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : d['c_0011_10'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_3'], 'c_0101_8' : negation(d['c_0011_12']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_11']), 'c_0110_8' : d['c_0011_11'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : negation(d['c_0011_7']), 'c_0110_7' : negation(d['c_0011_11']), 'c_0110_6' : d['c_0011_10'], '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_12, c_0011_3, c_0011_7, c_0101_0, c_0101_12, c_0110_10, c_1001_1, c_1001_11, c_1001_5, c_1001_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 35 Groebner basis: [ t - 3219525249184339387068591087014807161255980853/70850461678904388353\ 3162991769728053239271*c_1001_8^34 - 961463546021208817118384017583070063368429227/101214945255577697647\ 594713109961150462753*c_1001_8^33 + 900708856112578383805653716166727502977629181/101214945255577697647\ 594713109961150462753*c_1001_8^32 + 43028970328198625170985826099355816693744660805/7085046167890438835\ 33162991769728053239271*c_1001_8^31 + 34734431233653411578185358534789411485850579398/7085046167890438835\ 33162991769728053239271*c_1001_8^30 - 137266694462228771490281287484185227378114282409/708504616789043883\ 533162991769728053239271*c_1001_8^29 - 238949039477004467030182066793155604764410538880/708504616789043883\ 533162991769728053239271*c_1001_8^28 + 150182787073053493383859704069736881446436216543/708504616789043883\ 533162991769728053239271*c_1001_8^27 + 737490013823745671377250434157841484704435033643/708504616789043883\ 533162991769728053239271*c_1001_8^26 + 274155490113899863992077244954861751383147628216/708504616789043883\ 533162991769728053239271*c_1001_8^25 - 38897673845428933176810162784400112400079068479/1914877342673091577\ 1166567345127785222683*c_1001_8^24 - 181780015800837283810798662064634002874297350935/101214945255577697\ 647594713109961150462753*c_1001_8^23 + 214589799052323514010505151606573237652263518882/101214945255577697\ 647594713109961150462753*c_1001_8^22 + 2550288579019841643736011727549378227563165032894/70850461678904388\ 3533162991769728053239271*c_1001_8^21 - 329948608293378680961877008265101098415841542171/708504616789043883\ 533162991769728053239271*c_1001_8^20 - 484822937743263900901246759468502382039530007960/101214945255577697\ 647594713109961150462753*c_1001_8^19 - 16564756721952021741294659686424275617321462880/1728060040948887520\ 8125926628529952518031*c_1001_8^18 + 1784816468696920327446755270597562277508828981618/70850461678904388\ 3533162991769728053239271*c_1001_8^17 + 920502168695663523242167876599411088810554729741/708504616789043883\ 533162991769728053239271*c_1001_8^16 + 2718082013450339269720457189666574732673142837210/70850461678904388\ 3533162991769728053239271*c_1001_8^15 - 2678381671009841343983860275053368967951055836130/70850461678904388\ 3533162991769728053239271*c_1001_8^14 - 5081412831550008628430218330346444827375608400632/70850461678904388\ 3533162991769728053239271*c_1001_8^13 + 4883225388758348957170456381370601281769151022883/70850461678904388\ 3533162991769728053239271*c_1001_8^12 + 2435061616131980569404279938152551179014865551603/70850461678904388\ 3533162991769728053239271*c_1001_8^11 - 450023967372550834282416888206086482125318156448/101214945255577697\ 647594713109961150462753*c_1001_8^10 - 20650159758443564730273865636760430667818820499/7085046167890438835\ 33162991769728053239271*c_1001_8^9 - 258368257638940162699343747793001674861742814317/708504616789043883\ 533162991769728053239271*c_1001_8^8 + 568438107067766165160547942100667912427202602614/708504616789043883\ 533162991769728053239271*c_1001_8^7 + 779178025552885589419288543173514056302024072387/708504616789043883\ 533162991769728053239271*c_1001_8^6 - 923325570339082659250860134136252049287785308930/708504616789043883\ 533162991769728053239271*c_1001_8^5 + 11688621930518591311248354625300749381418779193/1012149452555776976\ 47594713109961150462753*c_1001_8^4 + 261801416934249427628746411949607796016733673916/708504616789043883\ 533162991769728053239271*c_1001_8^3 - 152192551476529229488023571555367436283203030695/708504616789043883\ 533162991769728053239271*c_1001_8^2 + 5139832631009933909651449497632228619900832992/10121494525557769764\ 7594713109961150462753*c_1001_8 - 364247980047874452714504044984928\ 8609139982353/708504616789043883533162991769728053239271, c_0011_0 - 1, c_0011_10 - c_1001_8, c_0011_11 + 8152598605863791568549478677271/465674311536885159456904716\ 35479*c_1001_8^34 + 5489079112168473627379247568829/465674311536885\ 15945690471635479*c_1001_8^33 - 41844421341540000280034050238868/46\ 567431153688515945690471635479*c_1001_8^32 - 87073175316956331012712238940688/46567431153688515945690471635479*c\ _1001_8^31 + 84593479966054644986357413567012/465674311536885159456\ 90471635479*c_1001_8^30 + 516652333667376711355343517901225/4656743\ 1153688515945690471635479*c_1001_8^29 + 103917258151138466378422925600361/46567431153688515945690471635479*\ c_1001_8^28 - 1446041866963519769509454532658613/465674311536885159\ 45690471635479*c_1001_8^27 - 1537241518046280505048437543192395/465\ 67431153688515945690471635479*c_1001_8^26 + 2397506570348690702600741433108806/46567431153688515945690471635479\ *c_1001_8^25 + 5684795491818481869128032017146431/46567431153688515\ 945690471635479*c_1001_8^24 - 1989925689407615901125976092539015/46\ 567431153688515945690471635479*c_1001_8^23 - 10847421019245650434602998440151092/4656743115368851594569047163547\ 9*c_1001_8^22 - 2807366212698628060321534185994986/4656743115368851\ 5945690471635479*c_1001_8^21 + 13169386847686499134826842067247769/\ 46567431153688515945690471635479*c_1001_8^20 + 12167293308248166486220558617998899/4656743115368851594569047163547\ 9*c_1001_8^19 - 11472992851633548307499267810960233/465674311536885\ 15945690471635479*c_1001_8^18 - 13676487397513904393468650816919872\ /46567431153688515945690471635479*c_1001_8^17 + 1450501007274356851416440827619634/46567431153688515945690471635479\ *c_1001_8^16 + 964273603738001505640937003748031/465674311536885159\ 45690471635479*c_1001_8^15 + 20829343380285213323033233375883507/46\ 567431153688515945690471635479*c_1001_8^14 + 6097934238479891886673708885513440/46567431153688515945690471635479\ *c_1001_8^13 - 35083023523820077849501369796505788/4656743115368851\ 5945690471635479*c_1001_8^12 + 2237236375533902099078569851268776/4\ 6567431153688515945690471635479*c_1001_8^11 + 22120688740787241916325125746647037/4656743115368851594569047163547\ 9*c_1001_8^10 - 3800735122537528086992992635106888/4656743115368851\ 5945690471635479*c_1001_8^9 - 3643688461021731456381902268169155/46\ 567431153688515945690471635479*c_1001_8^8 - 5046574209128612145306916144535518/46567431153688515945690471635479\ *c_1001_8^7 - 305626899128593077457785701784340/4656743115368851594\ 5690471635479*c_1001_8^6 + 6070512090533950486732023211021212/46567\ 431153688515945690471635479*c_1001_8^5 - 1552857525847021618679520741966066/46567431153688515945690471635479\ *c_1001_8^4 - 1306525513983453531611296166530132/465674311536885159\ 45690471635479*c_1001_8^3 + 873415639656309039987877081878992/46567\ 431153688515945690471635479*c_1001_8^2 - 221995246570611613337963270071422/46567431153688515945690471635479*\ c_1001_8 + 15387342375753991202174296390940/46567431153688515945690\ 471635479, c_0011_12 - 79133245759192457582906796275761/46567431153688515945690471\ 635479*c_1001_8^34 - 252840624353672394207080481780259/465674311536\ 88515945690471635479*c_1001_8^33 - 47984724345197047251946715361516/46567431153688515945690471635479*c\ _1001_8^32 + 1183206620940349782191837818421878/4656743115368851594\ 5690471635479*c_1001_8^31 + 2057806589572218654727575903117943/4656\ 7431153688515945690471635479*c_1001_8^30 - 2144717369902122557676827879455391/46567431153688515945690471635479\ *c_1001_8^29 - 9335061286656442934121513266045032/46567431153688515\ 945690471635479*c_1001_8^28 - 3662951545030593727787789391473230/46\ 567431153688515945690471635479*c_1001_8^27 + 20488307741806236155940268852670336/4656743115368851594569047163547\ 9*c_1001_8^26 + 27523733908842527929746192048684229/465674311536885\ 15945690471635479*c_1001_8^25 - 22839786272701723183287484381970081\ /46567431153688515945690471635479*c_1001_8^24 - 67711738046666250688057436840250216/4656743115368851594569047163547\ 9*c_1001_8^23 - 6982273440813867948428592492647154/4656743115368851\ 5945690471635479*c_1001_8^22 + 93074383091633037653756118694305565/\ 46567431153688515945690471635479*c_1001_8^21 + 69783957264560006752111379238480324/4656743115368851594569047163547\ 9*c_1001_8^20 - 72867816270475419768888445707926763/465674311536885\ 15945690471635479*c_1001_8^19 - 10769608142452955716600136934582248\ 3/46567431153688515945690471635479*c_1001_8^18 + 1534766978648661294948866405405445/46567431153688515945690471635479\ *c_1001_8^17 + 60985867915386432187360409609274867/4656743115368851\ 5945690471635479*c_1001_8^16 + 103543198730557818501663354039799701\ /46567431153688515945690471635479*c_1001_8^15 + 18159078921827099604161650865623025/4656743115368851594569047163547\ 9*c_1001_8^14 - 178517176517857498709422116361440351/46567431153688\ 515945690471635479*c_1001_8^13 - 3260703531458541429865956218380394\ 5/46567431153688515945690471635479*c_1001_8^12 + 153988680815464534953482057834743606/465674311536885159456904716354\ 79*c_1001_8^11 + 13342841257950468312783369154694389/46567431153688\ 515945690471635479*c_1001_8^10 - 6146621879284137805943858261463050\ 9/46567431153688515945690471635479*c_1001_8^9 - 23761029422086850121911185911610764/4656743115368851594569047163547\ 9*c_1001_8^8 + 1414106509874385995592975677940432/46567431153688515\ 945690471635479*c_1001_8^7 + 32231324977380518846381436604896491/46\ 567431153688515945690471635479*c_1001_8^6 + 2061397568765474502352394852807415/46567431153688515945690471635479\ *c_1001_8^5 - 16394855573706564354664606367783717/46567431153688515\ 945690471635479*c_1001_8^4 + 3739313138015281197037464740730586/465\ 67431153688515945690471635479*c_1001_8^3 + 2366039281381162120674369918927336/46567431153688515945690471635479\ *c_1001_8^2 - 1528375657353137802696398824583843/465674311536885159\ 45690471635479*c_1001_8 + 266382463186852997798199962091790/4656743\ 1153688515945690471635479, c_0011_3 + 35886608757622669224020543325114/465674311536885159456904716\ 35479*c_1001_8^34 + 85805471529184947908881373357643/46567431153688\ 515945690471635479*c_1001_8^33 - 65442307750120475090875261715224/4\ 6567431153688515945690471635479*c_1001_8^32 - 558076625327737176053567789036743/46567431153688515945690471635479*\ c_1001_8^31 - 551923397504863878770815280845121/4656743115368851594\ 5690471635479*c_1001_8^30 + 1654036820260315477980007303831810/4656\ 7431153688515945690471635479*c_1001_8^29 + 3587823522693105997451590576441030/46567431153688515945690471635479\ *c_1001_8^28 - 1230632947390796365548693547213531/46567431153688515\ 945690471635479*c_1001_8^27 - 10640750511703691587467613096095608/4\ 6567431153688515945690471635479*c_1001_8^26 - 6600944041942032306544716612096428/46567431153688515945690471635479\ *c_1001_8^25 + 18859512026134201219731187512845791/4656743115368851\ 5945690471635479*c_1001_8^24 + 24956996458917479123432553561000957/\ 46567431153688515945690471635479*c_1001_8^23 - 15685502109139922373301264420289583/4656743115368851594569047163547\ 9*c_1001_8^22 - 46382631900926709309878429574290960/465674311536885\ 15945690471635479*c_1001_8^21 - 8658025351430768347439975848325092/\ 46567431153688515945690471635479*c_1001_8^20 + 54196374205586334133532407407541268/4656743115368851594569047163547\ 9*c_1001_8^19 + 34288598208635258797093973726205325/465674311536885\ 15945690471635479*c_1001_8^18 - 26474309394729130465357708028490722\ /46567431153688515945690471635479*c_1001_8^17 - 34988488994704472282611518515375910/4656743115368851594569047163547\ 9*c_1001_8^16 - 38562532454687902320759237210581588/465674311536885\ 15945690471635479*c_1001_8^15 + 26564671311406195557423854970924202\ /46567431153688515945690471635479*c_1001_8^14 + 88103398791436405049198729396515077/4656743115368851594569047163547\ 9*c_1001_8^13 - 29611398722315263444261564823039812/465674311536885\ 15945690471635479*c_1001_8^12 - 74063090735062722567414504356517507\ /46567431153688515945690471635479*c_1001_8^11 + 20659875841806018054757894492802141/4656743115368851594569047163547\ 9*c_1001_8^10 + 31183084825370510662423591793189450/465674311536885\ 15945690471635479*c_1001_8^9 + 5751076075707200329238687945355164/4\ 6567431153688515945690471635479*c_1001_8^8 - 9409272142298349632175663403190921/46567431153688515945690471635479\ *c_1001_8^7 - 16325588375471223513136246711080662/46567431153688515\ 945690471635479*c_1001_8^6 + 5626198986133081858271030387631989/465\ 67431153688515945690471635479*c_1001_8^5 + 7257427047736481563321638830121407/46567431153688515945690471635479\ *c_1001_8^4 - 3068864393328645125640753890866418/465674311536885159\ 45690471635479*c_1001_8^3 - 468502086454608679358986249990645/46567\ 431153688515945690471635479*c_1001_8^2 + 618228944433231524467273543847013/46567431153688515945690471635479*\ c_1001_8 - 156947323649488565749104689219335/4656743115368851594569\ 0471635479, c_0011_7 + 120756480928704198665508137873/46567431153688515945690471635\ 479*c_1001_8^34 - 19777493963397137693259639160033/4656743115368851\ 5945690471635479*c_1001_8^33 - 54346717234788383066046633632984/465\ 67431153688515945690471635479*c_1001_8^32 + 3015180911679688258204015221085/46567431153688515945690471635479*c_\ 1001_8^31 + 267862693637224956783057935794630/465674311536885159456\ 90471635479*c_1001_8^30 + 391662782476384935775022697491135/4656743\ 1153688515945690471635479*c_1001_8^29 - 592262423071351199325002669408207/46567431153688515945690471635479*\ c_1001_8^28 - 1863539429020661451688625134820846/465674311536885159\ 45690471635479*c_1001_8^27 - 305414377464665925171100813173185/4656\ 7431153688515945690471635479*c_1001_8^26 + 4364871474403056652385315433444042/46567431153688515945690471635479\ *c_1001_8^25 + 4593913274009999054428863947002203/46567431153688515\ 945690471635479*c_1001_8^24 - 5872199365401336645641330006543156/46\ 567431153688515945690471635479*c_1001_8^23 - 11765827214159251918411695275737864/4656743115368851594569047163547\ 9*c_1001_8^22 + 1375678288042798916692154630756582/4656743115368851\ 5945690471635479*c_1001_8^21 + 16810568352510297821271308389088152/\ 46567431153688515945690471635479*c_1001_8^20 + 9366440224291883300518549279454515/46567431153688515945690471635479\ *c_1001_8^19 - 14895077364909686587579172096833323/4656743115368851\ 5945690471635479*c_1001_8^18 - 14370142213417607118791855836835882/\ 46567431153688515945690471635479*c_1001_8^17 + 1023616042320880864258351892942164/46567431153688515945690471635479\ *c_1001_8^16 + 7137236917453460126066741633916243/46567431153688515\ 945690471635479*c_1001_8^15 + 22051345345759517814229128638578700/4\ 6567431153688515945690471635479*c_1001_8^14 - 2831871519068804750855121753703485/46567431153688515945690471635479\ *c_1001_8^13 - 32651038227641482928452302709561324/4656743115368851\ 5945690471635479*c_1001_8^12 + 7673759937321389221117076850652940/4\ 6567431153688515945690471635479*c_1001_8^11 + 19635090635768536190207677926521855/4656743115368851594569047163547\ 9*c_1001_8^10 - 4379360527902562045713835195713578/4656743115368851\ 5945690471635479*c_1001_8^9 - 4040660783289857336454795147263855/46\ 567431153688515945690471635479*c_1001_8^8 - 4934713962358060144836100692891835/46567431153688515945690471635479\ *c_1001_8^7 + 845245348738847815645697442373553/4656743115368851594\ 5690471635479*c_1001_8^6 + 5088968571308928578409813727857226/46567\ 431153688515945690471635479*c_1001_8^5 - 1870642321439412091907060275405168/46567431153688515945690471635479\ *c_1001_8^4 - 859569804411487078292927344935273/4656743115368851594\ 5690471635479*c_1001_8^3 + 799808442735924190399307642619962/465674\ 31153688515945690471635479*c_1001_8^2 - 232575801450770207092642852884405/46567431153688515945690471635479*\ c_1001_8 + 21854354743683059763180256617699/46567431153688515945690\ 471635479, c_0101_0 + 91983077372011072148410125664236/465674311536885159456904716\ 35479*c_1001_8^34 + 265444103475022410402710818996452/4656743115368\ 8515945690471635479*c_1001_8^33 - 43251333596612772197912189891502/\ 46567431153688515945690471635479*c_1001_8^32 - 1443275370712519272761398649516200/46567431153688515945690471635479\ *c_1001_8^31 - 2050909036919935336919416633268487/46567431153688515\ 945690471635479*c_1001_8^30 + 3316071582712345409768478067821555/46\ 567431153688515945690471635479*c_1001_8^29 + 10593838839191387589890173119916892/4656743115368851594569047163547\ 9*c_1001_8^28 + 1307981026915867711385333142614660/4656743115368851\ 5945690471635479*c_1001_8^27 - 26478694519402386224128837522707280/\ 46567431153688515945690471635479*c_1001_8^26 - 27423907210569894160054659793542421/4656743115368851594569047163547\ 9*c_1001_8^25 + 36924428820832561955415668639990979/465674311536885\ 15945690471635479*c_1001_8^24 + 77640125732973557949199227805122105\ /46567431153688515945690471635479*c_1001_8^23 - 10938996855837578147015415849191957/4656743115368851594569047163547\ 9*c_1001_8^22 - 120650848101421520096047800521276148/46567431153688\ 515945690471635479*c_1001_8^21 - 6362228246010956186208984107864926\ 1/46567431153688515945690471635479*c_1001_8^20 + 113097786455300044036286274310271619/465674311536885159456904716354\ 79*c_1001_8^19 + 122421579779994217523087240661940584/4656743115368\ 8515945690471635479*c_1001_8^18 - 288724812606114805951123390043709\ 60/46567431153688515945690471635479*c_1001_8^17 - 88928590016302098334917798173221245/4656743115368851594569047163547\ 9*c_1001_8^16 - 118244754985760658618198011423162429/46567431153688\ 515945690471635479*c_1001_8^15 + 1307933492343327970121059682466954\ 9/46567431153688515945690471635479*c_1001_8^14 + 227877752892489243019731467949555964/465674311536885159456904716354\ 79*c_1001_8^13 + 3162751200320400795389348906962470/465674311536885\ 15945690471635479*c_1001_8^12 - 19921577443830131056703843197318524\ 9/46567431153688515945690471635479*c_1001_8^11 + 4341936836807218450653715885703701/46567431153688515945690471635479\ *c_1001_8^10 + 85428160451193725831289829424643044/4656743115368851\ 5945690471635479*c_1001_8^9 + 25279914613390849456514758026353574/4\ 6567431153688515945690471635479*c_1001_8^8 - 11680619612226482316573141189678510/4656743115368851594569047163547\ 9*c_1001_8^7 - 41976431970105189032746779864055671/4656743115368851\ 5945690471635479*c_1001_8^6 + 2302832261597267749259286525100792/46\ 567431153688515945690471635479*c_1001_8^5 + 21315098221593846476377074935600243/4656743115368851594569047163547\ 9*c_1001_8^4 - 5685304275611049382156504628586696/46567431153688515\ 945690471635479*c_1001_8^3 - 2978678567275583761953077781280082/465\ 67431153688515945690471635479*c_1001_8^2 + 2062651231144742766690329686732390/46567431153688515945690471635479\ *c_1001_8 - 339031980671232060850224769746712/465674311536885159456\ 90471635479, c_0101_12 - 42818164661227636221494782094098/46567431153688515945690471\ 635479*c_1001_8^34 - 128273080140800354258975210151449/465674311536\ 88515945690471635479*c_1001_8^33 - 10978506163661230151342001015042/46567431153688515945690471635479*c\ _1001_8^32 + 618915172174244790667770959500843/46567431153688515945\ 690471635479*c_1001_8^31 + 1011303761092738466395790340394221/46567\ 431153688515945690471635479*c_1001_8^30 - 1204754401816981621755396506623349/46567431153688515945690471635479\ *c_1001_8^29 - 4665132769502971437080922939473653/46567431153688515\ 945690471635479*c_1001_8^28 - 1523379091665616678754214111096819/46\ 567431153688515945690471635479*c_1001_8^27 + 10436677138448751570418780670525513/4656743115368851594569047163547\ 9*c_1001_8^26 + 13196497322181584587359697849583965/465674311536885\ 15945690471635479*c_1001_8^25 - 12154351689997988339563708596981859\ /46567431153688515945690471635479*c_1001_8^24 - 32572805160515356239807854504563169/4656743115368851594569047163547\ 9*c_1001_8^23 - 2294442076889009690673494303113260/4656743115368851\ 5945690471635479*c_1001_8^22 + 44694594173479296220357069927005767/\ 46567431153688515945690471635479*c_1001_8^21 + 32976767984585459231373041006068885/4656743115368851594569047163547\ 9*c_1001_8^20 - 34825787047009768510726564713320147/465674311536885\ 15945690471635479*c_1001_8^19 - 49309349615753162366904857204906459\ /46567431153688515945690471635479*c_1001_8^18 - 2094920441374526498617593752239205/46567431153688515945690471635479\ *c_1001_8^17 + 26173394022216157228341513752453844/4656743115368851\ 5945690471635479*c_1001_8^16 + 55827588637926902875518320839061510/\ 46567431153688515945690471635479*c_1001_8^15 + 5394041928150121141369267141522217/46567431153688515945690471635479\ *c_1001_8^14 - 85791144877883832487690546596118543/4656743115368851\ 5945690471635479*c_1001_8^13 - 7599196082890370438016668316336600/4\ 6567431153688515945690471635479*c_1001_8^12 + 63539164891921297845529357092774804/4656743115368851594569047163547\ 9*c_1001_8^11 + 4958927789665734895719855609068756/4656743115368851\ 5945690471635479*c_1001_8^10 - 20802310981896628166159905153012433/\ 46567431153688515945690471635479*c_1001_8^9 - 14932856516414577371034130152791451/4656743115368851594569047163547\ 9*c_1001_8^8 + 269200268570605570817552555240161/465674311536885159\ 45690471635479*c_1001_8^7 + 14972118330723967397522726479345920/465\ 67431153688515945690471635479*c_1001_8^6 - 123314171438880784562468215074550/46567431153688515945690471635479*\ c_1001_8^5 - 5330498145374836786360888710125631/4656743115368851594\ 5690471635479*c_1001_8^4 + 1140463945233179467121407342857445/46567\ 431153688515945690471635479*c_1001_8^3 + 467585696766344130672284117924427/46567431153688515945690471635479*\ c_1001_8^2 - 291662596543453092388467245979891/46567431153688515945\ 690471635479*c_1001_8 + 1688441599521332635915207979241/46567431153\ 688515945690471635479, c_0110_10 + 72025345845021452834803458807997/46567431153688515945690471\ 635479*c_1001_8^34 + 212806882470471642774468801841431/465674311536\ 88515945690471635479*c_1001_8^33 + 7901778627491639891972409922159/46567431153688515945690471635479*c_\ 1001_8^32 - 1042044739260865839565556503141529/46567431153688515945\ 690471635479*c_1001_8^31 - 1640967429751486547196205991361726/46567\ 431153688515945690471635479*c_1001_8^30 + 2135904548952556138506378371091605/46567431153688515945690471635479\ *c_1001_8^29 + 7751764543085577729090130580715949/46567431153688515\ 945690471635479*c_1001_8^28 + 2051233431910830855863798130436074/46\ 567431153688515945690471635479*c_1001_8^27 - 17824348450181066699878890628076455/4656743115368851594569047163547\ 9*c_1001_8^26 - 21063061027378278067643810455089011/465674311536885\ 15945690471635479*c_1001_8^25 + 22252567325679308289298096694425528\ /46567431153688515945690471635479*c_1001_8^24 + 53836616257943423730970208009702929/4656743115368851594569047163547\ 9*c_1001_8^23 - 524237256823974168836244445378947/46567431153688515\ 945690471635479*c_1001_8^22 - 76626555278643815767935717537866201/4\ 6567431153688515945690471635479*c_1001_8^21 - 49649767802167527531581233232517429/4656743115368851594569047163547\ 9*c_1001_8^20 + 64651113060359397416946682859237698/465674311536885\ 15945690471635479*c_1001_8^19 + 79617329188325661048769823216708486\ /46567431153688515945690471635479*c_1001_8^18 - 5280994725295670364039373649138364/46567431153688515945690471635479\ *c_1001_8^17 - 46017908572676514109878461256022818/4656743115368851\ 5945690471635479*c_1001_8^16 - 88846257088420766245989875790362259/\ 46567431153688515945690471635479*c_1001_8^15 - 1770477378565883876166036327717714/46567431153688515945690471635479\ *c_1001_8^14 + 147669832499187169368799933801746270/465674311536885\ 15945690471635479*c_1001_8^13 + 2521906132093746452856852478104848/\ 46567431153688515945690471635479*c_1001_8^12 - 114216354933880246179282324677141535/465674311536885159456904716354\ 79*c_1001_8^11 + 953145755387628585100066555550752/4656743115368851\ 5945690471635479*c_1001_8^10 + 39766501950121616352970447615063397/\ 46567431153688515945690471635479*c_1001_8^9 + 20883691269247338561971005252572298/4656743115368851594569047163547\ 9*c_1001_8^8 - 2972363065369693034332041312531913/46567431153688515\ 945690471635479*c_1001_8^7 - 25915512261596223990247890396064193/46\ 567431153688515945690471635479*c_1001_8^6 + 2238648314370304654858529729148633/46567431153688515945690471635479\ *c_1001_8^5 + 10147615909047836163041717844196407/46567431153688515\ 945690471635479*c_1001_8^4 - 3037748914084844861776238341015473/465\ 67431153688515945690471635479*c_1001_8^3 - 847092272373921315313845327856969/46567431153688515945690471635479*\ c_1001_8^2 + 710220502133456063039076623245092/46567431153688515945\ 690471635479*c_1001_8 - 80300257877428190905504428336072/4656743115\ 3688515945690471635479, c_1001_1 + 35886608757622669224020543325114/465674311536885159456904716\ 35479*c_1001_8^34 + 85805471529184947908881373357643/46567431153688\ 515945690471635479*c_1001_8^33 - 65442307750120475090875261715224/4\ 6567431153688515945690471635479*c_1001_8^32 - 558076625327737176053567789036743/46567431153688515945690471635479*\ c_1001_8^31 - 551923397504863878770815280845121/4656743115368851594\ 5690471635479*c_1001_8^30 + 1654036820260315477980007303831810/4656\ 7431153688515945690471635479*c_1001_8^29 + 3587823522693105997451590576441030/46567431153688515945690471635479\ *c_1001_8^28 - 1230632947390796365548693547213531/46567431153688515\ 945690471635479*c_1001_8^27 - 10640750511703691587467613096095608/4\ 6567431153688515945690471635479*c_1001_8^26 - 6600944041942032306544716612096428/46567431153688515945690471635479\ *c_1001_8^25 + 18859512026134201219731187512845791/4656743115368851\ 5945690471635479*c_1001_8^24 + 24956996458917479123432553561000957/\ 46567431153688515945690471635479*c_1001_8^23 - 15685502109139922373301264420289583/4656743115368851594569047163547\ 9*c_1001_8^22 - 46382631900926709309878429574290960/465674311536885\ 15945690471635479*c_1001_8^21 - 8658025351430768347439975848325092/\ 46567431153688515945690471635479*c_1001_8^20 + 54196374205586334133532407407541268/4656743115368851594569047163547\ 9*c_1001_8^19 + 34288598208635258797093973726205325/465674311536885\ 15945690471635479*c_1001_8^18 - 26474309394729130465357708028490722\ /46567431153688515945690471635479*c_1001_8^17 - 34988488994704472282611518515375910/4656743115368851594569047163547\ 9*c_1001_8^16 - 38562532454687902320759237210581588/465674311536885\ 15945690471635479*c_1001_8^15 + 26564671311406195557423854970924202\ /46567431153688515945690471635479*c_1001_8^14 + 88103398791436405049198729396515077/4656743115368851594569047163547\ 9*c_1001_8^13 - 29611398722315263444261564823039812/465674311536885\ 15945690471635479*c_1001_8^12 - 74063090735062722567414504356517507\ /46567431153688515945690471635479*c_1001_8^11 + 20659875841806018054757894492802141/4656743115368851594569047163547\ 9*c_1001_8^10 + 31183084825370510662423591793189450/465674311536885\ 15945690471635479*c_1001_8^9 + 5751076075707200329238687945355164/4\ 6567431153688515945690471635479*c_1001_8^8 - 9409272142298349632175663403190921/46567431153688515945690471635479\ *c_1001_8^7 - 16325588375471223513136246711080662/46567431153688515\ 945690471635479*c_1001_8^6 + 5626198986133081858271030387631989/465\ 67431153688515945690471635479*c_1001_8^5 + 7257427047736481563321638830121407/46567431153688515945690471635479\ *c_1001_8^4 - 3068864393328645125640753890866418/465674311536885159\ 45690471635479*c_1001_8^3 - 468502086454608679358986249990645/46567\ 431153688515945690471635479*c_1001_8^2 + 618228944433231524467273543847013/46567431153688515945690471635479*\ c_1001_8 - 156947323649488565749104689219335/4656743115368851594569\ 0471635479, c_1001_11 + 101870193405337010137781737474465/4656743115368851594569047\ 1635479*c_1001_8^34 + 314131021899498067704047223744099/46567431153\ 688515945690471635479*c_1001_8^33 + 46885730927289631884382301307876/46567431153688515945690471635479*c\ _1001_8^32 - 1473614492578318359021529941522183/4656743115368851594\ 5690471635479*c_1001_8^31 - 2486275529776995593582296360932330/4656\ 7431153688515945690471635479*c_1001_8^30 + 2775567358387374307680212299445669/46567431153688515945690471635479\ *c_1001_8^29 + 11321086525827231299076731889569215/4656743115368851\ 5945690471635479*c_1001_8^28 + 4025341861878631415256261865756472/4\ 6567431153688515945690471635479*c_1001_8^27 - 25014506717913669451064476502822009/4656743115368851594569047163547\ 9*c_1001_8^26 - 32325130646914807586027567758865257/465674311536885\ 15945690471635479*c_1001_8^25 + 28844044321962573489780276541775092\ /46567431153688515945690471635479*c_1001_8^24 + 79560014305249671837795269581561007/4656743115368851594569047163547\ 9*c_1001_8^23 + 5682968165156281979615405866117007/4656743115368851\ 5945690471635479*c_1001_8^22 - 109439211683608925819365429412921825\ /46567431153688515945690471635479*c_1001_8^21 - 78996494531396184404871801937743521/4656743115368851594569047163547\ 9*c_1001_8^20 + 87149856981895606398409109458884544/465674311536885\ 15945690471635479*c_1001_8^19 + 12054688885315970093137337313439835\ 2/46567431153688515945690471635479*c_1001_8^18 - 1668493042760427485779858673967360/46567431153688515945690471635479\ *c_1001_8^17 - 65996430690723984334967281504151335/4656743115368851\ 5945690471635479*c_1001_8^16 - 127006756637057689393850381522940649\ /46567431153688515945690471635479*c_1001_8^15 - 14622995562466895972128814694212072/4656743115368851594569047163547\ 9*c_1001_8^14 + 210781731943065085090448993972292556/46567431153688\ 515945690471635479*c_1001_8^13 + 2146854196414326600338752762526701\ 4/46567431153688515945690471635479*c_1001_8^12 - 170214438570614920405914885348195027/465674311536885159456904716354\ 79*c_1001_8^11 - 7638848329905037206391003528625978/465674311536885\ 15945690471635479*c_1001_8^10 + 62517494127637634343191271640926865\ /46567431153688515945690471635479*c_1001_8^9 + 29317427538477062414560624457546219/4656743115368851594569047163547\ 9*c_1001_8^8 - 2394901911857147109825669621184543/46567431153688515\ 945690471635479*c_1001_8^7 - 36976294491845692528180306473571631/46\ 567431153688515945690471635479*c_1001_8^6 + 630660448404054638426324405912399/46567431153688515945690471635479*\ c_1001_8^5 + 16511435545240391743978608766235475/465674311536885159\ 45690471635479*c_1001_8^4 - 4377236262515985594080120382328648/4656\ 7431153688515945690471635479*c_1001_8^3 - 1957672141860443112355856606617498/46567431153688515945690471635479\ *c_1001_8^2 + 1364607700407594725477969976160428/465674311536885159\ 45690471635479*c_1001_8 - 190690892966252238333988177131241/4656743\ 1153688515945690471635479, c_1001_5 + 133995019207220216497213825006168/46567431153688515945690471\ 635479*c_1001_8^34 + 434109883423543855851073562550207/465674311536\ 88515945690471635479*c_1001_8^33 + 119978861524045788147026338806108/46567431153688515945690471635479*\ c_1001_8^32 - 1936832157511547091195563337594288/465674311536885159\ 45690471635479*c_1001_8^31 - 3545103106699293711609951371213969/465\ 67431153688515945690471635479*c_1001_8^30 + 3229013037708748809883187389915737/46567431153688515945690471635479\ *c_1001_8^29 + 15460887830530038749890923491160884/4656743115368851\ 5945690471635479*c_1001_8^28 + 7221686746468872430250109576733533/4\ 6567431153688515945690471635479*c_1001_8^27 - 32446330224530336573265029740663627/4656743115368851594569047163547\ 9*c_1001_8^26 - 46826359153539410772381417789655010/465674311536885\ 15945690471635479*c_1001_8^25 + 33067003311938573670157057846399887\ /46567431153688515945690471635479*c_1001_8^24 + 110079024163679971213175703059497515/465674311536885159456904716354\ 79*c_1001_8^23 + 19263428245023801189614472177418396/46567431153688\ 515945690471635479*c_1001_8^22 - 1445336625846523362567132471959768\ 51/46567431153688515945690471635479*c_1001_8^21 - 119779303040006587263586955186953202/465674311536885159456904716354\ 79*c_1001_8^20 + 104869777369637972473756274532494935/4656743115368\ 8515945690471635479*c_1001_8^19 + 171680197456838394830645850005697\ 423/46567431153688515945690471635479*c_1001_8^18 + 11068797860719849166605543194454839/4656743115368851594569047163547\ 9*c_1001_8^17 - 86687013348277123988547256286154457/465674311536885\ 15945690471635479*c_1001_8^16 - 17156897428488310342944274173894829\ 0/46567431153688515945690471635479*c_1001_8^15 - 41078347148437688406664800765847273/4656743115368851594569047163547\ 9*c_1001_8^14 + 277981332052833539447133824342378495/46567431153688\ 515945690471635479*c_1001_8^13 + 5969587903416412223284085616974053\ 1/46567431153688515945690471635479*c_1001_8^12 - 232308606709356760878421384142979675/465674311536885159456904716354\ 79*c_1001_8^11 - 27791443221693465049219759593205640/46567431153688\ 515945690471635479*c_1001_8^10 + 8851736568526716773641165601542258\ 6/46567431153688515945690471635479*c_1001_8^9 + 40337338612802096558422263650155697/4656743115368851594569047163547\ 9*c_1001_8^8 + 970284633783517906570602317146878/465674311536885159\ 45690471635479*c_1001_8^7 - 48624880906760778984522692164061763/465\ 67431153688515945690471635479*c_1001_8^6 - 3876875300896313899503983840132388/46567431153688515945690471635479\ *c_1001_8^5 + 24167398361044757792473450305275165/46567431153688515\ 945690471635479*c_1001_8^4 - 5341554047295994951734899486558606/465\ 67431153688515945690471635479*c_1001_8^3 - 3644218168924413687599055604353318/46567431153688515945690471635479\ *c_1001_8^2 + 2199309529945415703176001927443052/465674311536885159\ 45690471635479*c_1001_8 - 324685912173472454831202002137409/4656743\ 1153688515945690471635479, c_1001_8^35 + 3*c_1001_8^34 - 15*c_1001_8^32 - 23*c_1001_8^31 + 32*c_1001_8^30 + 112*c_1001_8^29 + 23*c_1001_8^28 - 266*c_1001_8^27 - 294*c_1001_8^26 + 355*c_1001_8^25 + 790*c_1001_8^24 - 84*c_1001_8^23 - 1180*c_1001_8^22 - 632*c_1001_8^21 + 1087*c_1001_8^20 + 1149*c_1001_8^19 - 299*c_1001_8^18 - 742*c_1001_8^17 - 1126*c_1001_8^16 + 26*c_1001_8^15 + 2272*c_1001_8^14 - 56*c_1001_8^13 - 2019*c_1001_8^12 + 256*c_1001_8^11 + 811*c_1001_8^10 + 107*c_1001_8^9 - 75*c_1001_8^8 - 388*c_1001_8^7 + 58*c_1001_8^6 + 214*c_1001_8^5 - 97*c_1001_8^4 - 20*c_1001_8^3 + 29*c_1001_8^2 - 9*c_1001_8 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.460 Total time: 1.669 seconds, Total memory usage: 32.09MB