Magma V2.19-8 Tue Aug 20 2013 23:45:03 on localhost [Seed = 2345528879] Type ? for help. Type -D to quit. Loading file "K13n2181__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2181 geometric_solution 10.94139809 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 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 -7 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.061150695518 0.718680292066 0 2 6 5 0132 0321 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 7 -1 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.537975320218 0.729805764813 7 0 8 1 0132 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 -1 0 0 1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.965653240446 0.859905471242 4 9 10 0 0213 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -7 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.457612473227 0.823229504285 3 8 0 5 0213 0132 0132 2310 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 1 0 -1 0 0 0 0 0 0 0 0 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.544065704278 0.553989317030 4 9 1 11 3201 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 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.179194496337 0.978875448330 9 8 10 1 0321 1023 3120 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 -1 0 1 0 -6 0 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.429626113355 0.619421175678 2 10 11 8 0132 0132 3012 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 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.792692801512 0.699104728190 6 4 7 2 1023 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 -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 1.554852532369 0.647417881287 6 3 5 11 0321 0132 0213 3120 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 6 0 0 -6 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.484157114561 0.927984064494 11 7 6 3 3120 0132 3120 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 1 0 -1 0 7 0 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.817012659393 0.501139904099 9 7 5 10 3120 1230 0132 3120 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 1 0 0 -1 6 1 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.157371143351 0.768443017307 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_11']), 'c_1001_10' : negation(d['c_0101_8']), 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : d['c_0101_8'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_11']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : negation(d['c_0101_11']), 'c_1010_11' : d['c_0011_0'], 'c_1010_10' : negation(d['c_0011_11']), 's_0_10' : negation(d['1']), 's_3_10' : negation(d['1']), 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], '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' : negation(d['1']), 's_2_4' : 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' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0101_2'], 'c_1100_5' : negation(d['c_0101_10']), 'c_1100_4' : d['c_0011_5'], 'c_1100_7' : d['c_0101_11'], 'c_1100_6' : negation(d['c_0101_10']), 'c_1100_1' : negation(d['c_0101_10']), 'c_1100_0' : d['c_0011_5'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0101_2'], 's_3_11' : negation(d['1']), 'c_1100_11' : negation(d['c_0101_10']), 'c_1100_10' : d['c_0011_5'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_8']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_11']), 'c_1010_4' : negation(d['c_0101_11']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_11']), 'c_1010_8' : d['c_1001_2'], 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(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'], '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' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_4']), '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_0011_4'], 'c_0110_10' : d['c_0011_4'], 'c_0110_0' : d['c_0011_3'], 'c_0101_7' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0011_4'], '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_0011_5'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : negation(d['c_0011_0']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_4'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_11']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_0'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0011_3']})} 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_11, c_0011_3, c_0011_4, c_0011_5, c_0101_0, c_0101_10, c_0101_11, c_0101_2, c_0101_8, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 2568097506922009609950106206708046029/10189204539788980596970753447\ 922225*c_1001_2^17 - 18074087133982771476881060170163670149/2037840\ 9079577961193941506895844450*c_1001_2^16 + 73485596456422833711030828227554268329/2037840907957796119394150689\ 5844450*c_1001_2^15 - 13414887962348914436351207519124530491/203784\ 0907957796119394150689584445*c_1001_2^14 + 34637997813392390029142988292309566103/2037840907957796119394150689\ 584445*c_1001_2^13 - 13104114572694883822029804287521596772/4075681\ 81591559223878830137916889*c_1001_2^12 + 32086900292919432179765944018307363109/5822402594165131769697573398\ 81270*c_1001_2^11 + 242146420727471783969621600049564459951/2037840\ 9079577961193941506895844450*c_1001_2^10 + 5068099877571274495850900370832465971413/20378409079577961193941506\ 895844450*c_1001_2^9 + 5765940290434154607548257436770241392347/203\ 78409079577961193941506895844450*c_1001_2^8 + 1644790348699899123125914281316699826537/40756818159155922387883013\ 79168890*c_1001_2^7 + 8840426421038217675024639259474798022593/2037\ 8409079577961193941506895844450*c_1001_2^6 + 25444591664325869792670751066608157687/7868111613736664553645369457\ 8550*c_1001_2^5 + 4268794109169675384747850045165569635334/10189204\ 539788980596970753447922225*c_1001_2^4 + 761635847052460175179153475132502634572/101892045397889805969707534\ 47922225*c_1001_2^3 + 4770221759085740290386205637346243678607/2037\ 8409079577961193941506895844450*c_1001_2^2 + 107639892363426926084871191887086291689/185258264359799647217650062\ 6894950*c_1001_2 + 226128788861102851992999687725944361943/20378409\ 079577961193941506895844450, c_0011_0 - 1, c_0011_11 - 771054149199946077808228082/324066934740174310001720226279*\ c_1001_2^17 + 6962969661922290379511712895/648133869480348620003440\ 452558*c_1001_2^16 - 27803389460282247225246374443/6481338694803486\ 20003440452558*c_1001_2^15 + 10400530604510271150364296476/10802231\ 1580058103333906742093*c_1001_2^14 - 72598316691866571142147756693/324066934740174310001720226279*c_1001\ _2^13 + 295741226159165106881244447601/6481338694803486200034404525\ 58*c_1001_2^12 - 267231669468129216888783431213/3240669347401743100\ 01720226279*c_1001_2^11 + 129667080914477491531772397251/3240669347\ 40174310001720226279*c_1001_2^10 - 714905472951468808489625033861/324066934740174310001720226279*c_100\ 1_2^9 - 62398422202862980405503225499/10802231158005810333390674209\ 3*c_1001_2^8 - 1280642399996694197923382869961/64813386948034862000\ 3440452558*c_1001_2^7 - 423998335895722206461477115723/216044623160\ 116206667813484186*c_1001_2^6 - 19991073870351514150860791591/17517\ 131607576989729822714934*c_1001_2^5 - 832628833190633832952773944084/324066934740174310001720226279*c_100\ 1_2^4 + 636787010910902900374026165826/3240669347401743100017202262\ 79*c_1001_2^3 - 269640458678700546912423150492/10802231158005810333\ 3906742093*c_1001_2^2 + 280975631891489730200272786321/216044623160\ 116206667813484186*c_1001_2 + 146843393063449945011892134902/324066\ 934740174310001720226279, c_0011_3 - 771054149199946077808228082/324066934740174310001720226279*c\ _1001_2^17 + 6962969661922290379511712895/6481338694803486200034404\ 52558*c_1001_2^16 - 27803389460282247225246374443/64813386948034862\ 0003440452558*c_1001_2^15 + 10400530604510271150364296476/108022311\ 580058103333906742093*c_1001_2^14 - 72598316691866571142147756693/324066934740174310001720226279*c_1001\ _2^13 + 295741226159165106881244447601/6481338694803486200034404525\ 58*c_1001_2^12 - 267231669468129216888783431213/3240669347401743100\ 01720226279*c_1001_2^11 + 129667080914477491531772397251/3240669347\ 40174310001720226279*c_1001_2^10 - 714905472951468808489625033861/324066934740174310001720226279*c_100\ 1_2^9 - 62398422202862980405503225499/10802231158005810333390674209\ 3*c_1001_2^8 - 1280642399996694197923382869961/64813386948034862000\ 3440452558*c_1001_2^7 - 423998335895722206461477115723/216044623160\ 116206667813484186*c_1001_2^6 - 19991073870351514150860791591/17517\ 131607576989729822714934*c_1001_2^5 - 832628833190633832952773944084/324066934740174310001720226279*c_100\ 1_2^4 + 636787010910902900374026165826/3240669347401743100017202262\ 79*c_1001_2^3 - 269640458678700546912423150492/10802231158005810333\ 3906742093*c_1001_2^2 + 280975631891489730200272786321/216044623160\ 116206667813484186*c_1001_2 + 146843393063449945011892134902/324066\ 934740174310001720226279, c_0011_4 + 1265215294073382505237687966/324066934740174310001720226279*\ c_1001_2^17 - 10762699144393070914517592791/64813386948034862000344\ 0452558*c_1001_2^16 + 43499505896591639269168108811/648133869480348\ 620003440452558*c_1001_2^15 - 15899599341473683790635407566/1080223\ 11580058103333906742093*c_1001_2^14 + 114713519120134234763873934404/324066934740174310001720226279*c_100\ 1_2^13 - 465114543205605196423255840913/648133869480348620003440452\ 558*c_1001_2^12 + 414971189466293885807273290465/324066934740174310\ 001720226279*c_1001_2^11 - 181413984517850769067416546322/324066934\ 740174310001720226279*c_1001_2^10 + 1267763431075238968418606708032/324066934740174310001720226279*c_10\ 01_2^9 + 187035635401577986639270046491/108022311580058103333906742\ 093*c_1001_2^8 + 2532728701655332139861734000837/648133869480348620\ 003440452558*c_1001_2^7 + 712459503633726110764209932099/2160446231\ 60116206667813484186*c_1001_2^6 + 21359148149279678214091558447/175\ 17131607576989729822714934*c_1001_2^5 + 1437792036421946359767663945655/324066934740174310001720226279*c_10\ 01_2^4 - 901953632224248302541339341231/324066934740174310001720226\ 279*c_1001_2^3 + 367522352338536914369914558556/1080223115800581033\ 33906742093*c_1001_2^2 - 490275853467532954586575586333/21604462316\ 0116206667813484186*c_1001_2 - 8829852160025987239214483863/3240669\ 34740174310001720226279, c_0011_5 - 2007802303190933588927696017/324066934740174310001720226279*\ c_1001_2^17 + 8077528397664369817724343820/324066934740174310001720\ 226279*c_1001_2^16 - 32197147900220340740231985220/3240669347401743\ 10001720226279*c_1001_2^15 + 22281674046856328725035725154/10802231\ 1580058103333906742093*c_1001_2^14 - 161310154139630504196939591977/324066934740174310001720226279*c_100\ 1_2^13 + 324632412889387863882171893848/324066934740174310001720226\ 279*c_1001_2^12 - 564785067795869919395010285817/324066934740174310\ 001720226279*c_1001_2^11 + 120784496718346895332750169041/324066934\ 740174310001720226279*c_1001_2^10 - 1924854128491697409912363817462/324066934740174310001720226279*c_10\ 01_2^9 - 410618795615145939495929960010/108022311580058103333906742\ 093*c_1001_2^8 - 1925359112936051836286558399432/324066934740174310\ 001720226279*c_1001_2^7 - 511964657898369110715321269982/1080223115\ 80058103333906742093*c_1001_2^6 - 13402816807602630104374966070/875\ 8565803788494864911357467*c_1001_2^5 - 1569508948082110469000085180418/324066934740174310001720226279*c_10\ 01_2^4 + 1232843187289234522725103077680/32406693474017431000172022\ 6279*c_1001_2^3 - 415749673274400473361386105818/108022311580058103\ 333906742093*c_1001_2^2 + 156297068606957631952484444303/1080223115\ 80058103333906742093*c_1001_2 + 149416848326113147100586586516/3240\ 66934740174310001720226279, c_0101_0 - 2206583581963696363526311604/324066934740174310001720226279*\ c_1001_2^17 + 9255645975673775264371290749/324066934740174310001720\ 226279*c_1001_2^16 - 36637662920274014773132091621/3240669347401743\ 10001720226279*c_1001_2^15 + 52220268162162552562911548333/21604462\ 3160116206667813484186*c_1001_2^14 - 371573275081844735438134464107/648133869480348620003440452558*c_100\ 1_2^13 + 759748615543601082996605994073/648133869480348620003440452\ 558*c_1001_2^12 - 670204998657330563005316823422/324066934740174310\ 001720226279*c_1001_2^11 + 217567969079170855484597787296/324066934\ 740174310001720226279*c_1001_2^10 - 4211751722132140539035719872295/648133869480348620003440452558*c_10\ 01_2^9 - 619382744794351402771427024177/216044623160116206667813484\ 186*c_1001_2^8 - 1798319785955373936722848050181/324066934740174310\ 001720226279*c_1001_2^7 - 845404107056064192610463511459/2160446231\ 60116206667813484186*c_1001_2^6 - 9837016383814813944220545793/8758\ 565803788494864911357467*c_1001_2^5 - 3690305802074780805522680014141/648133869480348620003440452558*c_10\ 01_2^4 + 3243353734186306562185951919495/64813386948034862000344045\ 2558*c_1001_2^3 - 1083431543189815598208477080481/21604462316011620\ 6667813484186*c_1001_2^2 + 220429294629690405250458255565/108022311\ 580058103333906742093*c_1001_2 + 88958833236623007797086925209/6481\ 33869480348620003440452558, c_0101_10 + 7412151234820586900551334225/648133869480348620003440452558\ *c_1001_2^17 - 15639092502471737641346953558/3240669347401743100017\ 20226279*c_1001_2^16 + 62730274701178399314646280719/32406693474017\ 4310001720226279*c_1001_2^15 - 45246872459338970056274861350/108022\ 311580058103333906742093*c_1001_2^14 + 324575245068669528356751630962/324066934740174310001720226279*c_100\ 1_2^13 - 658290198962911428337901175094/324066934740174310001720226\ 279*c_1001_2^12 + 2338561642942922327814326328713/64813386948034862\ 0003440452558*c_1001_2^11 - 447354766048965405483860497951/32406693\ 4740174310001720226279*c_1001_2^10 + 7238058595772622912576033376931/648133869480348620003440452558*c_10\ 01_2^9 + 563765348339693932408066263939/108022311580058103333906742\ 093*c_1001_2^8 + 3565583231476100388330853890794/324066934740174310\ 001720226279*c_1001_2^7 + 953013636613352349863393556487/1080223115\ 80058103333906742093*c_1001_2^6 + 25503144776039735187927004574/875\ 8565803788494864911357467*c_1001_2^5 + 3270236096962947619786315485433/324066934740174310001720226279*c_10\ 01_2^4 - 5593741482881765366276747957599/64813386948034862000344045\ 2558*c_1001_2^3 + 1102215124281533058932584375175/10802231158005810\ 3333906742093*c_1001_2^2 - 862169434272666192602811047395/216044623\ 160116206667813484186*c_1001_2 - 165738984908185621697163079864/324\ 066934740174310001720226279, c_0101_11 - 2206583581963696363526311604/324066934740174310001720226279\ *c_1001_2^17 + 9255645975673775264371290749/32406693474017431000172\ 0226279*c_1001_2^16 - 36637662920274014773132091621/324066934740174\ 310001720226279*c_1001_2^15 + 52220268162162552562911548333/2160446\ 23160116206667813484186*c_1001_2^14 - 371573275081844735438134464107/648133869480348620003440452558*c_100\ 1_2^13 + 759748615543601082996605994073/648133869480348620003440452\ 558*c_1001_2^12 - 670204998657330563005316823422/324066934740174310\ 001720226279*c_1001_2^11 + 217567969079170855484597787296/324066934\ 740174310001720226279*c_1001_2^10 - 4211751722132140539035719872295/648133869480348620003440452558*c_10\ 01_2^9 - 619382744794351402771427024177/216044623160116206667813484\ 186*c_1001_2^8 - 1798319785955373936722848050181/324066934740174310\ 001720226279*c_1001_2^7 - 845404107056064192610463511459/2160446231\ 60116206667813484186*c_1001_2^6 - 9837016383814813944220545793/8758\ 565803788494864911357467*c_1001_2^5 - 3690305802074780805522680014141/648133869480348620003440452558*c_10\ 01_2^4 + 3243353734186306562185951919495/64813386948034862000344045\ 2558*c_1001_2^3 - 1083431543189815598208477080481/21604462316011620\ 6667813484186*c_1001_2^2 + 220429294629690405250458255565/108022311\ 580058103333906742093*c_1001_2 + 88958833236623007797086925209/6481\ 33869480348620003440452558, c_0101_2 - 302570995392753787868580/34969994036923957052090237*c_1001_2\ ^17 + 1123137591315707382392081/34969994036923957052090237*c_1001_2\ ^16 - 4447214945143637688510294/34969994036923957052090237*c_1001_2\ ^15 + 8430147718360184967547576/34969994036923957052090237*c_1001_2\ ^14 - 20736299546714666387448351/34969994036923957052090237*c_1001_\ 2^13 + 40417678118463069813797888/34969994036923957052090237*c_1001\ _2^12 - 68347547440814535274598224/34969994036923957052090237*c_100\ 1_2^11 - 11787754759872089761139037/34969994036923957052090237*c_10\ 01_2^10 - 279156625441757644715739886/34969994036923957052090237*c_\ 1001_2^9 - 272902037404829967068600243/34969994036923957052090237*c\ _1001_2^8 - 340733210742088825134214738/34969994036923957052090237*\ c_1001_2^7 - 342065088834196602892464518/34969994036923957052090237\ *c_1001_2^6 - 5489868894110129819411292/945134973970917758164601*c_\ 1001_2^5 - 348966484005484318030443818/34969994036923957052090237*c\ _1001_2^4 + 59610289570483611878176670/34969994036923957052090237*c\ _1001_2^3 - 179711787976400115727846351/34969994036923957052090237*\ c_1001_2^2 - 37313427092131330836958311/34969994036923957052090237*\ c_1001_2 + 39596322919762545498144453/34969994036923957052090237, c_0101_8 + 9611699261072806083011059543/648133869480348620003440452558*\ c_1001_2^17 - 19418261377994722820489628767/32406693474017431000172\ 0226279*c_1001_2^16 + 77063895441407295745462603298/324066934740174\ 310001720226279*c_1001_2^15 - 53167761646888462302007928162/1080223\ 11580058103333906742093*c_1001_2^14 + 382498347853358287780246739773/324066934740174310001720226279*c_100\ 1_2^13 - 770058961419473861023769928344/324066934740174310001720226\ 279*c_1001_2^12 + 2687765589528447557324262026989/64813386948034862\ 0003440452558*c_1001_2^11 - 272551964979904514826672015389/32406693\ 4740174310001720226279*c_1001_2^10 + 9102051979420544605687154741137/648133869480348620003440452558*c_10\ 01_2^9 + 941658448737168281458026437269/108022311580058103333906742\ 093*c_1001_2^8 + 4525211555264444729465606037064/324066934740174310\ 001720226279*c_1001_2^7 + 1232592141404770419522085011033/108022311\ 580058103333906742093*c_1001_2^6 + 42209232087521610107943067402/8758565803788494864911357467*c_1001_2\ ^5 + 4470074301964971053764734504104/324066934740174310001720226279\ *c_1001_2^4 - 5134409243652190914947227200143/648133869480348620003\ 440452558*c_1001_2^3 + 1184021779175807504005584713263/108022311580\ 058103333906742093*c_1001_2^2 - 711805466746882931207958786657/2160\ 44623160116206667813484186*c_1001_2 - 203828841040038143298790902551/324066934740174310001720226279, c_1001_0 - 121550234644360144225967/34969994036923957052090237*c_1001_2\ ^17 + 442837711740452259220157/34969994036923957052090237*c_1001_2^\ 16 - 1776324371579562232924809/34969994036923957052090237*c_1001_2^\ 15 + 3352369366443670726580389/34969994036923957052090237*c_1001_2^\ 14 - 8388344695653244944493168/34969994036923957052090237*c_1001_2^\ 13 + 16208917877518494861064048/34969994036923957052090237*c_1001_2\ ^12 - 27293442452321333993291483/34969994036923957052090237*c_1001_\ 2^11 - 4424285989093864468951036/34969994036923957052090237*c_1001_\ 2^10 - 115542200857470598610571363/34969994036923957052090237*c_100\ 1_2^9 - 121100419687831070335403020/34969994036923957052090237*c_10\ 01_2^8 - 154691727276351803651540439/34969994036923957052090237*c_1\ 001_2^7 - 146626531177404403881118110/34969994036923957052090237*c_\ 1001_2^6 - 1530151185993861562414497/945134973970917758164601*c_100\ 1_2^5 - 90961863136618458106229214/34969994036923957052090237*c_100\ 1_2^4 + 75588919536152747470553691/34969994036923957052090237*c_100\ 1_2^3 - 56873815261025797849255154/34969994036923957052090237*c_100\ 1_2^2 + 9844575486713605962937846/34969994036923957052090237*c_1001\ _2 + 31340190482396354781492871/34969994036923957052090237, c_1001_2^18 - 4*c_1001_2^17 + 16*c_1001_2^16 - 33*c_1001_2^15 + 80*c_1001_2^14 - 160*c_1001_2^13 + 280*c_1001_2^12 - 58*c_1001_2^11 + 964*c_1001_2^10 + 648*c_1001_2^9 + 1061*c_1001_2^8 + 951*c_1001_2^7 + 455*c_1001_2^6 + 1045*c_1001_2^5 - 503*c_1001_2^4 + 786*c_1001_2^3 - 216*c_1001_2^2 - 67*c_1001_2 - 21 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.500 Total time: 0.710 seconds, Total memory usage: 32.09MB