Magma V2.19-8 Wed Aug 21 2013 00:24:45 on localhost [Seed = 2429977515] Type ? for help. Type -D to quit. Loading file "K14n13917__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n13917 geometric_solution 12.08629301 oriented_manifold CS_known 0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 3 0132 0132 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 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.659679680470 0.405341368927 0 4 2 5 0132 0132 2103 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 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.571098626912 1.209561489484 1 0 7 6 2103 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 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.783138149305 0.632074365980 7 6 0 0 1230 0132 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0.619360285610 1.411430368579 8 1 9 8 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 15 -16 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.919776804872 0.695464860966 7 10 1 11 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.130372002415 0.589004354208 12 3 2 7 0132 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.378139988465 0.301417747486 6 3 5 2 3201 3012 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.603169871485 0.944179497074 4 4 9 11 0132 1302 1023 2031 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 16 -15 -1 -1 0 0 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.308262044070 0.523039327365 10 10 8 4 2031 0321 1023 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 15 -15 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.855422974130 0.895966463200 12 5 9 9 2031 0132 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.855422974130 0.895966463200 12 8 5 12 1302 1302 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.551752074475 0.992646935373 6 11 10 11 0132 2031 1302 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.377862005094 0.836777015556 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0011_10']), 'c_1001_11' : d['c_0101_4'], 'c_1001_10' : d['c_0101_4'], 'c_1001_12' : negation(d['c_0011_9']), 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0011_12']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_3']), 'c_1001_9' : d['c_0101_8'], 'c_1001_8' : d['c_0101_8'], 'c_1010_12' : d['c_0011_11'], 'c_1010_11' : negation(d['c_0011_11']), 'c_1010_10' : d['c_1001_4'], 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_12']), 'c_0101_10' : negation(d['c_0011_9']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_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' : negation(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_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0011_11'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_6']), 'c_1100_4' : negation(d['c_0011_11']), 'c_1100_7' : d['c_0011_7'], 'c_1100_6' : d['c_0011_7'], 'c_1100_1' : negation(d['c_0101_6']), 'c_1100_0' : d['c_0101_3'], 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : d['c_0011_7'], 's_0_10' : d['1'], 'c_1100_9' : negation(d['c_0011_11']), 'c_1100_11' : negation(d['c_0101_6']), 'c_1100_10' : d['c_0101_8'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0101_3']), 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0101_3']), 'c_1010_9' : d['c_1001_4'], 'c_1010_8' : d['c_0011_11'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(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' : negation(d['c_0011_9']), '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' : negation(d['1']), 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_12']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_12'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_9'], 'c_0110_10' : negation(d['c_0011_9']), 'c_0110_12' : d['c_0101_6'], 'c_0101_12' : negation(d['c_0011_10']), 'c_0101_7' : d['c_0011_10'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_7'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_7'], 'c_0101_9' : d['c_0101_8'], '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_4'], 'c_0110_8' : d['c_0101_4'], 'c_0110_1' : d['c_0011_7'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_7'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : negation(d['c_0011_12']), 'c_0110_4' : d['c_0101_8'], 'c_0110_7' : d['c_0101_1'], 'c_0011_10' : d['c_0011_10']})} 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_7, c_0011_9, c_0101_1, c_0101_3, c_0101_4, c_0101_6, c_0101_8, c_1001_0, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 36499788016070364149290963405177693469/3546363890075248076421028170\ 00324608*c_1001_4^24 + 80878435327547061994928632853560643155/88659\ 097251881201910525704250081152*c_1001_4^23 + 1342329637118956349497704492277281686869/35463638900752480764210281\ 7000324608*c_1001_4^22 + 3291521409292927895051859707532624381031/3\ 54636389007524807642102817000324608*c_1001_4^21 + 5398265457137099375639184868422976681069/35463638900752480764210281\ 7000324608*c_1001_4^20 + 943742415948882550288948628637077972119/44\ 329548625940600955262852125040576*c_1001_4^19 + 13072215407358701862735732360263518756531/3546363890075248076421028\ 17000324608*c_1001_4^18 + 2933940475493666704492271523946636890991/\ 44329548625940600955262852125040576*c_1001_4^17 + 29169293423249389632257232432483326554333/3546363890075248076421028\ 17000324608*c_1001_4^16 + 5693516757232745568666476355056036826399/\ 88659097251881201910525704250081152*c_1001_4^15 + 3216611292838466954382688672028508604435/44329548625940600955262852\ 125040576*c_1001_4^14 + 57656063451471966365522681281207256054175/3\ 54636389007524807642102817000324608*c_1001_4^13 + 77028250142054230259671600614889035013447/3546363890075248076421028\ 17000324608*c_1001_4^12 + 17722990307320336514350239387525244097497\ /177318194503762403821051408500162304*c_1001_4^11 - 10079903391887956267415086361230437240045/3546363890075248076421028\ 17000324608*c_1001_4^10 + 8204246968036866647628490190132759916603/\ 177318194503762403821051408500162304*c_1001_4^9 + 60455001967612400929141582662716049336149/3546363890075248076421028\ 17000324608*c_1001_4^8 + 3924525073636483382987734319645519642997/4\ 4329548625940600955262852125040576*c_1001_4^7 - 14914765121276600561637177635270273805705/1773181945037624038210514\ 08500162304*c_1001_4^6 - 47881836786312629133293740010383599762967/\ 354636389007524807642102817000324608*c_1001_4^5 - 21015345495573451399090090737254467734887/3546363890075248076421028\ 17000324608*c_1001_4^4 + 482383357124282532347151858816551855671/44\ 329548625940600955262852125040576*c_1001_4^3 + 106425548424263026788772328927389371431/385474335877744356132720453\ 2612224*c_1001_4^2 + 4975168794196942133910063150340188918091/35463\ 6389007524807642102817000324608*c_1001_4 + 977141417465823765152990465174557085321/354636389007524807642102817\ 000324608, c_0011_0 - 1, c_0011_10 + 27048925722391734393043911569/14109462799915663679146156006\ 4*c_1001_4^24 + 63368796683619337920613964399/352736569997891591978\ 65390016*c_1001_4^23 + 1075619456185677995043368791401/141094627999\ 156636791461560064*c_1001_4^22 + 2622604264125551426803179033731/14\ 1094627999156636791461560064*c_1001_4^21 + 4078118852740707990583391484513/141094627999156636791461560064*c_10\ 01_4^20 + 655501478201758442956506494227/17636828499894579598932695\ 008*c_1001_4^19 + 9312365609160739188928261702527/14109462799915663\ 6791461560064*c_1001_4^18 + 2229904318873525406354573507331/1763682\ 8499894579598932695008*c_1001_4^17 + 21195119252968158656134711027857/141094627999156636791461560064*c_1\ 001_4^16 + 439962607198049888804931703309/5039093857112737028266484\ 288*c_1001_4^15 + 1733906459530068084813740602719/17636828499894579\ 598932695008*c_1001_4^14 + 45271183392591542755984848172827/1410946\ 27999156636791461560064*c_1001_4^13 + 8550086933164807749831818722565/20156375428450948113065937152*c_100\ 1_4^12 + 5770674532905876577345277248189/70547313999578318395730780\ 032*c_1001_4^11 - 28229833557470747062851882030113/1410946279991566\ 36791461560064*c_1001_4^10 + 7970031954295969845605277153095/705473\ 13999578318395730780032*c_1001_4^9 + 59478147921094040040353952907241/141094627999156636791461560064*c_1\ 001_4^8 + 1780980440036699946619827196713/1763682849989457959893269\ 5008*c_1001_4^7 - 21908365694054000611115265954477/7054731399957831\ 8395730780032*c_1001_4^6 - 37701388683040976123228082343155/1410946\ 27999156636791461560064*c_1001_4^5 - 3351701572088534366142229663299/141094627999156636791461560064*c_10\ 01_4^4 + 1524145991408642629763064970083/17636828499894579598932695\ 008*c_1001_4^3 + 78964760127552291896115382627/15336372608603982259\ 94147392*c_1001_4^2 + 1537729090276737057857291787511/1410946279991\ 56636791461560064*c_1001_4 - 904454833312295170444732827411/1410946\ 27999156636791461560064, c_0011_11 + 9747423079731337908399811981/70547313999578318395730780032*\ c_1001_4^24 + 22045675393650402587845985389/17636828499894579598932\ 695008*c_1001_4^23 + 362536031537038724541030038045/705473139995783\ 18395730780032*c_1001_4^22 + 856205761688826317490533575591/7054731\ 3999578318395730780032*c_1001_4^21 + 1296337735518568824547695750309/70547313999578318395730780032*c_100\ 1_4^20 + 209803007818276996762550206935/881841424994728979946634750\ 4*c_1001_4^19 + 3068324328945147729676934435587/7054731399957831839\ 5730780032*c_1001_4^18 + 360024420618832504668585001265/44092071249\ 73644899733173752*c_1001_4^17 + 6520472485405900531159444030805/705\ 47313999578318395730780032*c_1001_4^16 + 130141417657399673835743827817/2519546928556368514133242144*c_1001_\ 4^15 + 599944055833692261135942998999/8818414249947289799466347504*\ c_1001_4^14 + 14868967026437230734155800769807/70547313999578318395\ 730780032*c_1001_4^13 + 2586287801015969956952982007833/10078187714\ 225474056532968576*c_1001_4^12 + 1155310874903544659831075994601/35\ 273656999789159197865390016*c_1001_4^11 - 8400878658109794364578812230413/70547313999578318395730780032*c_100\ 1_4^10 + 3040897942662203791188622900911/35273656999789159197865390\ 016*c_1001_4^9 + 17867265295031256015783339911245/70547313999578318\ 395730780032*c_1001_4^8 + 394452166087780650413344776789/8818414249\ 947289799466347504*c_1001_4^7 - 6848223216113885320545951752921/352\ 73656999789159197865390016*c_1001_4^6 - 11617452912091665983669613030327/70547313999578318395730780032*c_10\ 01_4^5 - 885332230611013527519596942879/705473139995783183957307800\ 32*c_1001_4^4 + 472187266113599620484654201953/88184142499472897994\ 66347504*c_1001_4^3 + 26647859206596685748088414059/766818630430199\ 112997073696*c_1001_4^2 + 360254232091501322588871348875/7054731399\ 9578318395730780032*c_1001_4 - 255181627954362761659854408223/70547\ 313999578318395730780032, c_0011_12 + 149063821393083616317308449/1533637260860398225994147392*c_\ 1001_4^24 + 285150910110203778365860883/383409315215099556498536848\ *c_1001_4^23 + 3871616910449053350297457769/15336372608603982259941\ 47392*c_1001_4^22 + 7042867711725797524469163987/153363726086039822\ 5994147392*c_1001_4^21 + 7655738399925581885098654721/1533637260860\ 398225994147392*c_1001_4^20 + 1282714563331689964013437475/19170465\ 7607549778249268424*c_1001_4^19 + 26551742517621755832640496111/153\ 3637260860398225994147392*c_1001_4^18 + 5379172368744419166422164081/191704657607549778249268424*c_1001_4^1\ 7 + 22413746631622247095912515825/1533637260860398225994147392*c_10\ 01_4^16 - 175930726097235036364601555/54772759316442793785505264*c_\ 1001_4^15 + 7082412255633889783805366799/19170465760754977824926842\ 4*c_1001_4^14 + 141206728694095642621443240395/15336372608603982259\ 94147392*c_1001_4^13 + 7001537301056533815246445861/219091037265771\ 175142021056*c_1001_4^12 - 57768082344937826718864406195/7668186304\ 30199112997073696*c_1001_4^11 - 26215110020540105837729371601/15336\ 37260860398225994147392*c_1001_4^10 + 81664194965852541024045743871/766818630430199112997073696*c_1001_4^\ 9 + 81925790180541544075424936841/1533637260860398225994147392*c_10\ 01_4^8 - 14882367955194313895543862575/191704657607549778249268424*\ c_1001_4^7 - 55728743409987253264253417437/766818630430199112997073\ 696*c_1001_4^6 - 1630994138356738754389061507/153363726086039822599\ 4147392*c_1001_4^5 + 69159854638723542612336634877/1533637260860398\ 225994147392*c_1001_4^4 + 1965547746962365746371326663/191704657607\ 549778249268424*c_1001_4^3 - 1710571451957488483880518947/383409315\ 215099556498536848*c_1001_4^2 - 12120305578208057916102204665/15336\ 37260860398225994147392*c_1001_4 + 3805540073504103099249185677/1533637260860398225994147392, c_0011_7 - 60943513964252944562884310551/141094627999156636791461560064\ *c_1001_4^24 - 131084113740717310626233804649/352736569997891591978\ 65390016*c_1001_4^23 - 2045025638338555169706000988415/141094627999\ 156636791461560064*c_1001_4^22 - 4535050539402086780990620360181/14\ 1094627999156636791461560064*c_1001_4^21 - 6424744609595926407430386950855/141094627999156636791461560064*c_10\ 01_4^20 - 1043196750285986462257791294309/1763682849989457959893269\ 5008*c_1001_4^19 - 16444878819537978110559132091737/141094627999156\ 636791461560064*c_1001_4^18 - 3753165889302200579809776644853/17636\ 828499894579598932695008*c_1001_4^17 - 30127178478571070006988625979927/141094627999156636791461560064*c_1\ 001_4^16 - 502926364013331891842484237051/5039093857112737028266484\ 288*c_1001_4^15 - 3510047882841071591731663625817/17636828499894579\ 598932695008*c_1001_4^14 - 82652255942989650655425069338909/1410946\ 27999156636791461560064*c_1001_4^13 - 11697603749902361904641775607491/20156375428450948113065937152*c_10\ 01_4^12 + 4288032728368487394480280967349/7054731399957831839573078\ 0032*c_1001_4^11 + 37640698579146463661712693641735/141094627999156\ 636791461560064*c_1001_4^10 - 26340837788173221530910610015953/7054\ 7313999578318395730780032*c_1001_4^9 - 85603275968501354741758293629567/141094627999156636791461560064*c_1\ 001_4^8 + 991037754802550384170206493345/17636828499894579598932695\ 008*c_1001_4^7 + 35629255715751926499065134517467/70547313999578318\ 395730780032*c_1001_4^6 + 43647169583441558389487364619269/14109462\ 7999156636791461560064*c_1001_4^5 - 5607034975191738358209048742603/141094627999156636791461560064*c_10\ 01_4^4 - 2028919453534502859939893599733/17636828499894579598932695\ 008*c_1001_4^3 - 93493141935641000146688674389/15336372608603982259\ 94147392*c_1001_4^2 - 516814020487010492474788596129/14109462799915\ 6636791461560064*c_1001_4 + 714783914167449081568733360869/14109462\ 7999156636791461560064, c_0011_9 - 28441925470547707182316212101/141094627999156636791461560064\ *c_1001_4^24 - 63121619434606215615324955879/3527365699978915919786\ 5390016*c_1001_4^23 - 1016317812861495358603871855501/1410946279991\ 56636791461560064*c_1001_4^22 - 2338584874917900901893983181503/141\ 094627999156636791461560064*c_1001_4^21 - 3442060686879595927096546855941/141094627999156636791461560064*c_10\ 01_4^20 - 557167430055877882808502282703/17636828499894579598932695\ 008*c_1001_4^19 - 8431228641409519514308775942219/14109462799915663\ 6791461560064*c_1001_4^18 - 1960112387765882746307764988185/1763682\ 8499894579598932695008*c_1001_4^17 - 16879228186016587754055870811253/141094627999156636791461560064*c_1\ 001_4^16 - 313159660296664243585936055313/5039093857112737028266484\ 288*c_1001_4^15 - 1724226520214061812382574117219/17636828499894579\ 598932695008*c_1001_4^14 - 41870356314114595525278127088855/1410946\ 27999156636791461560064*c_1001_4^13 - 6640904081214818186527207451705/20156375428450948113065937152*c_100\ 1_4^12 - 663658105937425803564147380449/705473139995783183957307800\ 32*c_1001_4^11 + 21076828842638979295725595620853/14109462799915663\ 6791461560064*c_1001_4^10 - 11261282840838341017782450472299/705473\ 13999578318395730780032*c_1001_4^9 - 46850593515563422628146700453293/141094627999156636791461560064*c_1\ 001_4^8 - 241234421506151578125665461213/17636828499894579598932695\ 008*c_1001_4^7 + 18366208162176638374286504882449/70547313999578318\ 395730780032*c_1001_4^6 + 26256974045241860185171275815727/14109462\ 7999156636791461560064*c_1001_4^5 + 296472421776953954899247533455/141094627999156636791461560064*c_100\ 1_4^4 - 1097858956199875219507182792139/176368284998945795989326950\ 08*c_1001_4^3 - 58469165668569610130850037527/153363726086039822599\ 4147392*c_1001_4^2 - 1036629950253235512729501725763/14109462799915\ 6636791461560064*c_1001_4 + 533173183572439956787306700223/14109462\ 7999156636791461560064, c_0101_1 - 47869498445134549819770808855/141094627999156636791461560064\ *c_1001_4^24 - 102635231799368343000054609973/352736569997891591978\ 65390016*c_1001_4^23 - 1594656380899798415527948570319/141094627999\ 156636791461560064*c_1001_4^22 - 3516441803364616747635777433877/14\ 1094627999156636791461560064*c_1001_4^21 - 4946930533165860030455168615863/141094627999156636791461560064*c_10\ 01_4^20 - 802508063111629644690939187653/17636828499894579598932695\ 008*c_1001_4^19 - 12737295337707508339532967753689/1410946279991566\ 36791461560064*c_1001_4^18 - 2898639253918181449822678410367/176368\ 28499894579598932695008*c_1001_4^17 - 22937305367652175548112615995783/141094627999156636791461560064*c_1\ 001_4^16 - 371329388078220349668296876379/5039093857112737028266484\ 288*c_1001_4^15 - 2720546790851990001280043007185/17636828499894579\ 598932695008*c_1001_4^14 - 63995740255948455136674072419805/1410946\ 27999156636791461560064*c_1001_4^13 - 8850098617189949334628362372083/20156375428450948113065937152*c_100\ 1_4^12 + 4220785261258354681885120260597/70547313999578318395730780\ 032*c_1001_4^11 + 28889837108405170637797020516775/1410946279991566\ 36791461560064*c_1001_4^10 - 20597082588153401706159902735177/70547\ 313999578318395730780032*c_1001_4^9 - 64161096371107784780929203978479/141094627999156636791461560064*c_1\ 001_4^8 + 952774930412054971002133637697/17636828499894579598932695\ 008*c_1001_4^7 + 27084129245371453555460551458203/70547313999578318\ 395730780032*c_1001_4^6 + 34008491541994028535889467041637/14109462\ 7999156636791461560064*c_1001_4^5 - 3267458891493861368676166896155/141094627999156636791461560064*c_10\ 01_4^4 - 1669653384016474962457908760769/17636828499894579598932695\ 008*c_1001_4^3 - 80806994585481334043152548589/15336372608603982259\ 94147392*c_1001_4^2 - 171700648682033892400028328001/14109462799915\ 6636791461560064*c_1001_4 + 836205664689071215713351837365/14109462\ 7999156636791461560064, c_0101_3 + 24949674499772921783352863749/141094627999156636791461560064\ *c_1001_4^24 + 56110807090729059285276238903/3527365699978915919786\ 5390016*c_1001_4^23 + 912548628229255078564327157453/14109462799915\ 6636791461560064*c_1001_4^22 + 2112714722564357746866264346815/1410\ 94627999156636791461560064*c_1001_4^21 + 3094336922394440599438606321093/141094627999156636791461560064*c_10\ 01_4^20 + 489234274355580920794223083631/17636828499894579598932695\ 008*c_1001_4^19 + 7399997165635956312520688123083/14109462799915663\ 6791461560064*c_1001_4^18 + 1757276636381053409706168891377/1763682\ 8499894579598932695008*c_1001_4^17 + 15189209777768629687884220593461/141094627999156636791461560064*c_1\ 001_4^16 + 255699108634977015881498651537/5039093857112737028266484\ 288*c_1001_4^15 + 1381722045360791917053413446019/17636828499894579\ 598932695008*c_1001_4^14 + 37718607170378394763089489122391/1410946\ 27999156636791461560064*c_1001_4^13 + 6146039510591068161690866200569/20156375428450948113065937152*c_100\ 1_4^12 - 421113297787911498444111846047/705473139995783183957307800\ 32*c_1001_4^11 - 23732156978399258149906019285237/14109462799915663\ 6791461560064*c_1001_4^10 + 10301817338460665562467127299083/705473\ 13999578318395730780032*c_1001_4^9 + 46660677394631675032804348755565/141094627999156636791461560064*c_1\ 001_4^8 + 49964633586167794207438092189/176368284998945795989326950\ 08*c_1001_4^7 - 19287393609180394963756046903825/705473139995783183\ 95730780032*c_1001_4^6 - 23577794943791463927282951506479/141094627\ 999156636791461560064*c_1001_4^5 + 3201685438162506076925164555185/141094627999156636791461560064*c_10\ 01_4^4 + 1166178484054999500144348993467/17636828499894579598932695\ 008*c_1001_4^3 + 42209513475542902937993019511/15336372608603982259\ 94147392*c_1001_4^2 + 418815273444428710789456259651/14109462799915\ 6636791461560064*c_1001_4 - 558694029720763428523108638719/14109462\ 7999156636791461560064, c_0101_4 + 27429031908360979300013126945/141094627999156636791461560064\ *c_1001_4^24 + 62317479193120995937508132155/3527365699978915919786\ 5390016*c_1001_4^23 + 1028237555049605216159532453641/1410946279991\ 56636791461560064*c_1001_4^22 + 2434174859372180075133146140883/141\ 094627999156636791461560064*c_1001_4^21 + 3686524153254333161000615202849/141094627999156636791461560064*c_10\ 01_4^20 + 594861808674520536451085798979/17636828499894579598932695\ 008*c_1001_4^19 + 8703001408402785327816348977263/14109462799915663\ 6791461560064*c_1001_4^18 + 2051299891368967754108175286069/1763682\ 8499894579598932695008*c_1001_4^17 + 18613450337505874104856956927185/141094627999156636791461560064*c_1\ 001_4^16 + 368365558919552311807022129533/5039093857112737028266484\ 288*c_1001_4^15 + 1692667899683064228244916638599/17636828499894579\ 598932695008*c_1001_4^14 + 42550148290673032211018418933771/1410946\ 27999156636791461560064*c_1001_4^13 + 7419345918799681541229913820741/20156375428450948113065937152*c_100\ 1_4^12 + 3168950809607357616751742784717/70547313999578318395730780\ 032*c_1001_4^11 - 24296419890658145072149773252817/1410946279991566\ 36791461560064*c_1001_4^10 + 9106545468010644195010189443407/705473\ 13999578318395730780032*c_1001_4^9 + 51920639853992045774211731183785/141094627999156636791461560064*c_1\ 001_4^8 + 1055427844727745686079231787577/1763682849989457959893269\ 5008*c_1001_4^7 - 19805095142642235932253828082237/7054731399957831\ 8395730780032*c_1001_4^6 - 32197847416285970012611224322179/1410946\ 27999156636791461560064*c_1001_4^5 - 1748900323753223510549143596515/141094627999156636791461560064*c_10\ 01_4^4 + 1348029143444395304985042174863/17636828499894579598932695\ 008*c_1001_4^3 + 69809881730843393442887383179/15336372608603982259\ 94147392*c_1001_4^2 + 882388019162509106976352193799/14109462799915\ 6636791461560064*c_1001_4 - 715839248200833442056921173331/14109462\ 7999156636791461560064, c_0101_6 - 10164738788878842046291367687/35273656999789159197865390016*\ c_1001_4^24 - 10869418543521541084417620665/44092071249736448997331\ 73752*c_1001_4^23 - 337237894632832883300486810763/3527365699978915\ 9197865390016*c_1001_4^22 - 742932321007412008989239742941/35273656\ 999789159197865390016*c_1001_4^21 - 1045107473979902511894846012331/35273656999789159197865390016*c_100\ 1_4^20 - 169673229638637570204070112893/440920712497364489973317375\ 2*c_1001_4^19 - 2692171322116824041954690408777/3527365699978915919\ 7865390016*c_1001_4^18 - 1224849504113187435138160961417/8818414249\ 947289799466347504*c_1001_4^17 - 4853488132614225831795502953371/35\ 273656999789159197865390016*c_1001_4^16 - 78999244608333275745349700899/1259773464278184257066621072*c_1001_4\ ^15 - 575155162862967365559378331203/4409207124973644899733173752*c\ _1001_4^14 - 13532398550503749209614194301885/352736569997891591978\ 65390016*c_1001_4^13 - 1882648675002020139170051017751/503909385711\ 2737028266484288*c_1001_4^12 + 859661632337646011490504449141/17636\ 828499894579598932695008*c_1001_4^11 + 6208286495201112073129244455599/35273656999789159197865390016*c_100\ 1_4^10 - 4367257513478626637640321257435/17636828499894579598932695\ 008*c_1001_4^9 - 13978309435499471876706720411459/35273656999789159\ 197865390016*c_1001_4^8 + 190288979636121465473465890713/4409207124\ 973644899733173752*c_1001_4^7 + 5948032168388843625149488925787/176\ 36828499894579598932695008*c_1001_4^6 + 7103084020166014891467123877341/35273656999789159197865390016*c_100\ 1_4^5 - 1282494249169913289989638767415/352736569997891591978653900\ 16*c_1001_4^4 - 169321461669441347809228226483/22046035624868224498\ 66586876*c_1001_4^3 - 14083851422217159427751564423/383409315215099\ 556498536848*c_1001_4^2 - 15891085839753918829900807401/35273656999\ 789159197865390016*c_1001_4 + 94924356262876808207584424721/3527365\ 6999789159197865390016, c_0101_8 - 29353713184586845533887479555/141094627999156636791461560064\ *c_1001_4^24 - 64062308228095826580443453253/3527365699978915919786\ 5390016*c_1001_4^23 - 1013182874206432521706572098027/1410946279991\ 56636791461560064*c_1001_4^22 - 2279961268268114639904625823289/141\ 094627999156636791461560064*c_1001_4^21 - 3270341657109283552456618229779/141094627999156636791461560064*c_10\ 01_4^20 - 527396675524127941216051262153/17636828499894579598932695\ 008*c_1001_4^19 - 8196617867056166146173322733613/14109462799915663\ 6791461560064*c_1001_4^18 - 1891742037474172248558958758197/1763682\ 8499894579598932695008*c_1001_4^17 - 15569920418507929453648891001763/141094627999156636791461560064*c_1\ 001_4^16 - 263302933846740208496653914935/5039093857112737028266484\ 288*c_1001_4^15 - 1691147246896737235664696649981/17636828499894579\ 598932695008*c_1001_4^14 - 41233126286953717628868585910337/1410946\ 27999156636791461560064*c_1001_4^13 - 6095186240152938188048645566399/20156375428450948113065937152*c_100\ 1_4^12 + 1508617204224043637547184994105/70547313999578318395730780\ 032*c_1001_4^11 + 20473680844551530890333281026675/1410946279991566\ 36791461560064*c_1001_4^10 - 12450707246449277872293712084053/70547\ 313999578318395730780032*c_1001_4^9 - 44174704093455619483215590235435/141094627999156636791461560064*c_1\ 001_4^8 + 331755935729374743940365410805/17636828499894579598932695\ 008*c_1001_4^7 + 18238016263192042178334344475671/70547313999578318\ 395730780032*c_1001_4^6 + 23153926966598218286010563710985/14109462\ 7999156636791461560064*c_1001_4^5 - 1624513295955926661800128372775/141094627999156636791461560064*c_10\ 01_4^4 - 1057682371609599351850428912769/17636828499894579598932695\ 008*c_1001_4^3 - 50408241779692457510391025577/15336372608603982259\ 94147392*c_1001_4^2 - 682225463620211395944189901013/14109462799915\ 6636791461560064*c_1001_4 + 396709260456201226069709332489/14109462\ 7999156636791461560064, c_1001_0 - 11139983948158165039169534747/70547313999578318395730780032*\ c_1001_4^24 - 24369711459924751865649182255/17636828499894579598932\ 695008*c_1001_4^23 - 388144127173993591457153858107/705473139995783\ 18395730780032*c_1001_4^22 - 887195993679477830936596463281/7054731\ 3999578318395730780032*c_1001_4^21 - 1313039877204166137281352197715/70547313999578318395730780032*c_100\ 1_4^20 - 217976368051945032387165981489/881841424994728979946634750\ 4*c_1001_4^19 - 3301060671140410130717759163221/7054731399957831839\ 5730780032*c_1001_4^18 - 187625674374582575849096082253/22046035624\ 86822449866586876*c_1001_4^17 - 6437952005346596793140226965283/705\ 47313999578318395730780032*c_1001_4^16 - 131706441089650249653264464287/2519546928556368514133242144*c_1001_\ 4^15 - 738371954980980907284078217145/8818414249947289799466347504*\ c_1001_4^14 - 15971314866377228385581401050089/70547313999578318395\ 730780032*c_1001_4^13 - 2453711403807046315974118193855/10078187714\ 225474056532968576*c_1001_4^12 - 723872072576852081049678124319/352\ 73656999789159197865390016*c_1001_4^11 + 5748375739428757887367786084603/70547313999578318395730780032*c_100\ 1_4^10 - 4262957256427061097115637140369/35273656999789159197865390\ 016*c_1001_4^9 - 15702712938629928827007425342315/70547313999578318\ 395730780032*c_1001_4^8 - 164087731744579350006195385683/8818414249\ 947289799466347504*c_1001_4^7 + 5607408856426352117498886604719/352\ 73656999789159197865390016*c_1001_4^6 + 9959661589460637248400309727073/70547313999578318395730780032*c_100\ 1_4^5 + 1978678544866666819525543110633/705473139995783183957307800\ 32*c_1001_4^4 - 340955288379482855564691276635/88184142499472897994\ 66347504*c_1001_4^3 - 29062957133964025572108865333/766818630430199\ 112997073696*c_1001_4^2 - 606533430118861554983367582829/7054731399\ 9578318395730780032*c_1001_4 + 253099785604531569088274902217/70547\ 313999578318395730780032, c_1001_4^25 + 9*c_1001_4^24 + 37*c_1001_4^23 + 88*c_1001_4^22 + 136*c_1001_4^21 + 181*c_1001_4^20 + 327*c_1001_4^19 + 603*c_1001_4^18 + 697*c_1001_4^17 + 441*c_1001_4^16 + 564*c_1001_4^15 + 1539*c_1001_4^14 + 1890*c_1001_4^13 + 433*c_1001_4^12 - 639*c_1001_4^11 + 593*c_1001_4^10 + 1711*c_1001_4^9 + 461*c_1001_4^8 - 1170*c_1001_4^7 - 1205*c_1001_4^6 - 250*c_1001_4^5 + 289*c_1001_4^4 + 268*c_1001_4^3 + 75*c_1001_4^2 - 8*c_1001_4 - 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 6.350 Total time: 6.559 seconds, Total memory usage: 64.12MB