Magma V2.19-8 Wed Aug 21 2013 00:35:40 on localhost [Seed = 4206685011] Type ? for help. Type -D to quit. Loading file "K14n22789__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n22789 geometric_solution 11.95534637 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 3 0132 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 0 1 2 -1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.076432419909 0.774655441932 0 4 6 5 0132 0132 0132 0132 0 0 0 0 0 1 -1 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 -2 2 0 1 0 0 -1 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.800664863276 1.131412357658 6 0 7 5 1023 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 1 -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 -1 0 1 0 0 -1 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.098272627777 1.107465166892 8 0 9 0 0132 0321 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 -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.873859941810 1.278450723376 6 1 8 10 0132 0132 0213 0132 0 0 0 0 0 -1 1 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 -2 0 0 0 0 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.044108730453 0.707374640548 7 11 1 2 1023 0132 0132 1023 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 1 0 -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.392514203784 1.083255816774 4 2 12 1 0132 1023 0132 0132 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 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.868243243822 0.793471750096 9 5 12 2 2031 1023 1023 0132 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 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.212940335721 0.566136706482 3 4 12 10 0132 0213 2103 3120 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 2 0 -2 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.190054382333 0.862829214645 11 12 7 3 3120 0132 1302 0132 0 0 0 0 0 1 -1 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 -2 1 1 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.566357038837 0.257042867135 8 11 4 11 3120 0213 0132 3120 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 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.239751510130 1.334572218600 10 5 10 9 3120 0132 0213 3120 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 -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.449275615541 0.953493614798 8 9 7 6 2103 0132 1023 0132 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 2 0 -2 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.619861103541 0.492419068969 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0110_2'], 'c_1001_10' : d['c_0110_2'], 'c_1001_12' : d['c_0101_7'], 'c_1001_5' : d['c_0011_12'], 'c_1001_4' : d['c_0011_12'], 'c_1001_7' : d['c_0101_0'], 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : d['c_0110_2'], 'c_1001_0' : d['c_0110_5'], 'c_1001_3' : d['c_0101_7'], 'c_1001_2' : d['c_0110_5'], 'c_1001_9' : d['c_0101_2'], 'c_1001_8' : d['c_0011_12'], 'c_1010_12' : d['c_0101_2'], 'c_1010_11' : d['c_0011_12'], 'c_1010_10' : negation(d['c_0011_11']), 's_0_10' : 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_0'], 'c_0101_11' : d['c_0011_10'], 'c_0101_10' : d['c_0101_10'], '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' : 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_0101_7'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : negation(d['c_0011_10']), 'c_1100_7' : negation(d['c_1100_1']), 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_0101_7'], 'c_1100_3' : d['c_0101_7'], 'c_1100_2' : negation(d['c_1100_1']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_11']), 'c_1100_10' : negation(d['c_0011_10']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0110_5'], 'c_1010_6' : d['c_0110_2'], 'c_1010_5' : d['c_0110_2'], 'c_1010_4' : d['c_0110_2'], 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_0110_5'], 'c_1010_1' : d['c_0011_12'], 'c_1010_0' : d['c_0110_5'], 'c_1010_9' : d['c_0101_7'], 'c_1010_8' : negation(d['c_0011_10']), 'c_1100_8' : negation(d['c_0101_10']), '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' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_1100_1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : 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_12']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : negation(d['c_0011_0']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_3'], 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : d['c_0101_10'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_10'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_11'], 'c_0101_8' : d['c_0101_0'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0011_3']), '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_0101_0, c_0101_10, c_0101_2, c_0101_3, c_0101_7, c_0110_2, c_0110_5, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 3370139477830508882716269918839759119416834201118008586771657/16304\ 372101914646986066842646523582799826143988288166698*c_1100_1^23 + 9043084727763582128272916559191057834683446174174755944630372/81521\ 86050957323493033421323261791399913071994144083349*c_1100_1^22 + 36856277363850455546917663052892162199789924099230345637001553/2717\ 395350319107831011140441087263799971023998048027783*c_1100_1^21 + 14436659627766479343217813314529554725548292917204101502393465/1630\ 4372101914646986066842646523582799826143988288166698*c_1100_1^20 - 1913822334405389132955845125329067354093859829945513715951796939/16\ 304372101914646986066842646523582799826143988288166698*c_1100_1^19 - 13559097140340691332584241975322384268063914185511475007446266622/8\ 152186050957323493033421323261791399913071994144083349*c_1100_1^18 - 5122897256244761573685418927882947334583745386005029041710294139/27\ 17395350319107831011140441087263799971023998048027783*c_1100_1^17 - 999677124572488485565004030564402339045031843932387645881001885/163\ 04372101914646986066842646523582799826143988288166698*c_1100_1^16 + 375779891451091584196094354823593614515724938969944701155002315/543\ 4790700638215662022280882174527599942047996096055566*c_1100_1^15 - 2753546791570785614866428461577704856886673895151930599427693708/81\ 52186050957323493033421323261791399913071994144083349*c_1100_1^14 + 1377832883000403995942273968269272875929870974520013784927350588/81\ 52186050957323493033421323261791399913071994144083349*c_1100_1^13 + 580745070171916977539480798270940025228084219949347744967652700/271\ 7395350319107831011140441087263799971023998048027783*c_1100_1^12 + 967973429444891739842280554947407846321703272821713155658668980/271\ 7395350319107831011140441087263799971023998048027783*c_1100_1^11 + 6105892503707229539765131788863347265004790562126406711570971641/16\ 304372101914646986066842646523582799826143988288166698*c_1100_1^10 - 372386854730347930396948528041534934099695125053772536372432697/163\ 04372101914646986066842646523582799826143988288166698*c_1100_1^9 - 2816777774064774321646818560413787507416074736785630496293345605/16\ 304372101914646986066842646523582799826143988288166698*c_1100_1^8 - 598740762214943196824063097288176086610883225278078634965473050/271\ 7395350319107831011140441087263799971023998048027783*c_1100_1^7 - 3296409405038415715739444561080183737590488336059894530028099395/16\ 304372101914646986066842646523582799826143988288166698*c_1100_1^6 - 623207520999031128164959954971755137932309850159624865809185835/543\ 4790700638215662022280882174527599942047996096055566*c_1100_1^5 - 886013387324776354181788432073365480538009235080561184798983747/163\ 04372101914646986066842646523582799826143988288166698*c_1100_1^4 - 360999362638817829826097284057259363670581236212334964470025549/163\ 04372101914646986066842646523582799826143988288166698*c_1100_1^3 - 106856953525429900465169948286102437605258561613179613407210063/163\ 04372101914646986066842646523582799826143988288166698*c_1100_1^2 - 28861520279736947686357706824623826714771606179476524002963883/1630\ 4372101914646986066842646523582799826143988288166698*c_1100_1 - 2253654680713454514089679618993905710766187135644562925417889/81521\ 86050957323493033421323261791399913071994144083349, c_0011_0 - 1, c_0011_10 - 145495420025193868196074083849283746271932407414/3823915187\ 45801493377109470501704863429400067299*c_1100_1^23 - 1020498598617980510633622475550424434409539523285/38239151874580149\ 3377109470501704863429400067299*c_1100_1^22 - 10805698490215626227310415148299663019773868870620/3823915187458014\ 93377109470501704863429400067299*c_1100_1^21 - 16223859422118641126946421756699194263366985049067/3823915187458014\ 93377109470501704863429400067299*c_1100_1^20 + 83296341649402491926383859804677103279258287648518/3823915187458014\ 93377109470501704863429400067299*c_1100_1^19 + 1305635692754169688837785284334062707769004345016456/38239151874580\ 1493377109470501704863429400067299*c_1100_1^18 + 3240377273003049864330784431576014772397240124087143/38239151874580\ 1493377109470501704863429400067299*c_1100_1^17 + 2020239293080557287463935392995372414609572019905354/38239151874580\ 1493377109470501704863429400067299*c_1100_1^16 - 63188281414525074620470049323622788936080210344151/3823915187458014\ 93377109470501704863429400067299*c_1100_1^15 + 284575960001633671078406574017520492724442843099411/382391518745801\ 493377109470501704863429400067299*c_1100_1^14 + 160726660324191783889436584950063208269885095264889/382391518745801\ 493377109470501704863429400067299*c_1100_1^13 - 443116032195364109573152064267118992183960254611981/382391518745801\ 493377109470501704863429400067299*c_1100_1^12 - 404879989100227432434276575077747515847370253315067/382391518745801\ 493377109470501704863429400067299*c_1100_1^11 - 674217865925107168998750626029570826223341829971052/382391518745801\ 493377109470501704863429400067299*c_1100_1^10 - 400886343818549017922521837191184935314864152535724/382391518745801\ 493377109470501704863429400067299*c_1100_1^9 + 181120234511489723240957296703084423333223663428352/382391518745801\ 493377109470501704863429400067299*c_1100_1^8 + 329206017681700112085148104307933353879577245399368/382391518745801\ 493377109470501704863429400067299*c_1100_1^7 + 400601743979993899912796363401538754907002410814534/382391518745801\ 493377109470501704863429400067299*c_1100_1^6 + 310275463457359348163760396059416990636542088254968/382391518745801\ 493377109470501704863429400067299*c_1100_1^5 + 153098959877335195289067573686328893088653951153504/382391518745801\ 493377109470501704863429400067299*c_1100_1^4 + 70112416414688394745781844949075975337883085920074/3823915187458014\ 93377109470501704863429400067299*c_1100_1^3 + 22510326753044882431966928619642957759799872118002/3823915187458014\ 93377109470501704863429400067299*c_1100_1^2 + 4631405861600516005667254543014999572666936606972/38239151874580149\ 3377109470501704863429400067299*c_1100_1 + 1081884008369704962548767187390046860668406232867/38239151874580149\ 3377109470501704863429400067299, c_0011_11 + 484081842842291592399237589112320464609383313135/3823915187\ 45801493377109470501704863429400067299*c_1100_1^23 + 2587609628347761887154546297977271452136553064228/38239151874580149\ 3377109470501704863429400067299*c_1100_1^22 + 31789403478584319345956607201324125443820758847718/3823915187458014\ 93377109470501704863429400067299*c_1100_1^21 + 1809731780760528590114068638199104405843575140021/38239151874580149\ 3377109470501704863429400067299*c_1100_1^20 - 269787658930848134812190385816234854267230483385420/382391518745801\ 493377109470501704863429400067299*c_1100_1^19 - 3890605605344348463927764116679862984357510890081985/38239151874580\ 1493377109470501704863429400067299*c_1100_1^18 - 4378930204172601621307881026479464305470993005449946/38239151874580\ 1493377109470501704863429400067299*c_1100_1^17 - 685211884374253864450813108541586018655319016959999/382391518745801\ 493377109470501704863429400067299*c_1100_1^16 - 379080696441190533233878314105171164859303220436200/382391518745801\ 493377109470501704863429400067299*c_1100_1^15 - 538291644600007011083927536814344461484482260016652/382391518745801\ 493377109470501704863429400067299*c_1100_1^14 + 509313917093325661442984369734573879357345171395344/382391518745801\ 493377109470501704863429400067299*c_1100_1^13 + 327408697278582695581917498763150058691718654122548/382391518745801\ 493377109470501704863429400067299*c_1100_1^12 + 915005674511780291389893521509804290809295193265100/382391518745801\ 493377109470501704863429400067299*c_1100_1^11 + 941551953912985539909743738044658098455501314734062/382391518745801\ 493377109470501704863429400067299*c_1100_1^10 + 32693087633861680752198290924156597502230872717447/3823915187458014\ 93377109470501704863429400067299*c_1100_1^9 - 307702417880875145611378123945699878179501584882780/382391518745801\ 493377109470501704863429400067299*c_1100_1^8 - 569943822441581328203442146288102007697738491936552/382391518745801\ 493377109470501704863429400067299*c_1100_1^7 - 537874368919702646849040713586817767778607232339771/382391518745801\ 493377109470501704863429400067299*c_1100_1^6 - 318931949338309098978554741943094178256572495521445/382391518745801\ 493377109470501704863429400067299*c_1100_1^5 - 167867180199580099236943884564570596719462877790236/382391518745801\ 493377109470501704863429400067299*c_1100_1^4 - 64009601816420205086170624589567672548163600945258/3823915187458014\ 93377109470501704863429400067299*c_1100_1^3 - 17058338312440331509691773188051645249035868727474/3823915187458014\ 93377109470501704863429400067299*c_1100_1^2 - 4537072142810269603253321728343478927040770520496/38239151874580149\ 3377109470501704863429400067299*c_1100_1 - 55822591896671121254752175614594188730020941553/3823915187458014933\ 77109470501704863429400067299, c_0011_12 + 20583036965225768951200732002110658593251153920/38239151874\ 5801493377109470501704863429400067299*c_1100_1^23 + 45055364063498413057247876272637080401739352940/3823915187458014933\ 77109470501704863429400067299*c_1100_1^22 + 1049244853686459016872775726748192608209065425907/38239151874580149\ 3377109470501704863429400067299*c_1100_1^21 - 3948366767287396071928010918423685352961438223031/38239151874580149\ 3377109470501704863429400067299*c_1100_1^20 - 8774318540081798038795636542807239206005572752070/38239151874580149\ 3377109470501704863429400067299*c_1100_1^19 - 129027277374395550457558464103267202752956609862879/382391518745801\ 493377109470501704863429400067299*c_1100_1^18 + 310124595231780980538504426367770471583425986786697/382391518745801\ 493377109470501704863429400067299*c_1100_1^17 + 197362477876376902688356413532878967325203142873054/382391518745801\ 493377109470501704863429400067299*c_1100_1^16 - 333746366707177898253043935825162808372189752499206/382391518745801\ 493377109470501704863429400067299*c_1100_1^15 + 56705407054159527369912019088347788407555795039773/3823915187458014\ 93377109470501704863429400067299*c_1100_1^14 + 160990292798696883012728614047140012845918233802575/382391518745801\ 493377109470501704863429400067299*c_1100_1^13 - 121770420471619315908892236128574877399416560130840/382391518745801\ 493377109470501704863429400067299*c_1100_1^12 + 31693005033905695406280984712145478476027297855586/3823915187458014\ 93377109470501704863429400067299*c_1100_1^11 - 33570451689738648577077514509520259368805037141739/3823915187458014\ 93377109470501704863429400067299*c_1100_1^10 - 52845480847640001938659416557615973921515005200165/3823915187458014\ 93377109470501704863429400067299*c_1100_1^9 + 62684891497346646569287334596557297711202340684410/3823915187458014\ 93377109470501704863429400067299*c_1100_1^8 + 1244783583684358919507829077214074532868179299668/38239151874580149\ 3377109470501704863429400067299*c_1100_1^7 + 4576731042559835136270978323512195826801270820103/38239151874580149\ 3377109470501704863429400067299*c_1100_1^6 + 11268504926648386149160942685491003517046756354585/3823915187458014\ 93377109470501704863429400067299*c_1100_1^5 - 4256425664024856766804173331933925305092025439855/38239151874580149\ 3377109470501704863429400067299*c_1100_1^4 + 1839323520800868382131167043155154157050705393004/38239151874580149\ 3377109470501704863429400067299*c_1100_1^3 + 1741768336813806796481155065643491735486435844696/38239151874580149\ 3377109470501704863429400067299*c_1100_1^2 + 215563020979221505097866684104091060135761520753/382391518745801493\ 377109470501704863429400067299*c_1100_1 + 437960403146947283094792872687510419769972336601/382391518745801493\ 377109470501704863429400067299, c_0011_3 - 50307942044671719121240069152762152031604446464/382391518745\ 801493377109470501704863429400067299*c_1100_1^23 - 366861130971705811450924008767260631161927664563/382391518745801493\ 377109470501704863429400067299*c_1100_1^22 - 3834378042689567664512615448946826284843386971266/38239151874580149\ 3377109470501704863429400067299*c_1100_1^21 - 6643686393108547311473749571954463970385238607144/38239151874580149\ 3377109470501704863429400067299*c_1100_1^20 + 27273441931395814826153256689583736011225146355493/3823915187458014\ 93377109470501704863429400067299*c_1100_1^19 + 459805416724718494690808796997895990852817548282551/382391518745801\ 493377109470501704863429400067299*c_1100_1^18 + 1245830500496407546967082891314426883696206326484904/38239151874580\ 1493377109470501704863429400067299*c_1100_1^17 + 1006665175057519161012428161015338189134502734819984/38239151874580\ 1493377109470501704863429400067299*c_1100_1^16 + 130050292509559828286649025344089883525993852587431/382391518745801\ 493377109470501704863429400067299*c_1100_1^15 + 68900060864692050790636424664700078151190039538514/3823915187458014\ 93377109470501704863429400067299*c_1100_1^14 + 72488064579559785559615229521545939219472894307855/3823915187458014\ 93377109470501704863429400067299*c_1100_1^13 - 152353420213928673178795083837201260213551173463726/382391518745801\ 493377109470501704863429400067299*c_1100_1^12 - 163552823627311748416101973033779956483727329264206/382391518745801\ 493377109470501704863429400067299*c_1100_1^11 - 266875405926760413009242517145153118808048055667032/382391518745801\ 493377109470501704863429400067299*c_1100_1^10 - 214062013604374322468418158496950339221750856048686/382391518745801\ 493377109470501704863429400067299*c_1100_1^9 + 39431978887501225003766405531983994430411623775726/3823915187458014\ 93377109470501704863429400067299*c_1100_1^8 + 138095996674373810555840906999551954346128083814790/382391518745801\ 493377109470501704863429400067299*c_1100_1^7 + 169020058266823863503465135198069905164369639952508/382391518745801\ 493377109470501704863429400067299*c_1100_1^6 + 143913029345625275802273713126558977750627470793038/382391518745801\ 493377109470501704863429400067299*c_1100_1^5 + 74433885328143893460236503799055897211277687834548/3823915187458014\ 93377109470501704863429400067299*c_1100_1^4 + 35139920874014452151895657066668614175527689791702/3823915187458014\ 93377109470501704863429400067299*c_1100_1^3 + 12565800267444097786266051682884591405111748146832/3823915187458014\ 93377109470501704863429400067299*c_1100_1^2 + 2620310063432764816546485780807836870614277413928/38239151874580149\ 3377109470501704863429400067299*c_1100_1 + 804392370302092129327713032936511286853697185988/382391518745801493\ 377109470501704863429400067299, c_0101_0 - 202309151836386821224603621051378558861021952978/38239151874\ 5801493377109470501704863429400067299*c_1100_1^23 - 1038344464534602112658878609115926546686786401101/38239151874580149\ 3377109470501704863429400067299*c_1100_1^22 - 12990464169864696010770196602184220984600606957167/3823915187458014\ 93377109470501704863429400067299*c_1100_1^21 + 2368907742144010177523617202663034438426465284626/38239151874580149\ 3377109470501704863429400067299*c_1100_1^20 + 116910077259177512132572985921716619544327670746534/382391518745801\ 493377109470501704863429400067299*c_1100_1^19 + 1598977180976639071742605894707471718688368628690697/38239151874580\ 1493377109470501704863429400067299*c_1100_1^18 + 1448235111872081355553806625064522217051793973240129/38239151874580\ 1493377109470501704863429400067299*c_1100_1^17 - 596147854324248706223456692190549216705608769830639/382391518745801\ 493377109470501704863429400067299*c_1100_1^16 - 91814265651087831526621220985679466058904122835878/3823915187458014\ 93377109470501704863429400067299*c_1100_1^15 + 466734055383911905083899127813072227968642015220161/382391518745801\ 493377109470501704863429400067299*c_1100_1^14 - 341058261538015343547091437411179151828887439422658/382391518745801\ 493377109470501704863429400067299*c_1100_1^13 - 179512512559244834588085802966054794690930930527455/382391518745801\ 493377109470501704863429400067299*c_1100_1^12 - 241531977866725107753637739271847904284595329599161/382391518745801\ 493377109470501704863429400067299*c_1100_1^11 - 304587897894862871532313667876925977743782797621127/382391518745801\ 493377109470501704863429400067299*c_1100_1^10 + 157792049241787156321215111729213082331451814948055/382391518745801\ 493377109470501704863429400067299*c_1100_1^9 + 165418467288500663134883975877495366842544541947390/382391518745801\ 493377109470501704863429400067299*c_1100_1^8 + 148523183795773459876288223541217250717151608089138/382391518745801\ 493377109470501704863429400067299*c_1100_1^7 + 147748572164249618645082395418669096359248334622278/382391518745801\ 493377109470501704863429400067299*c_1100_1^6 + 49149014796787559917315817323946611373128280331543/3823915187458014\ 93377109470501704863429400067299*c_1100_1^5 + 22269845862825597575130952003695120044186486331258/3823915187458014\ 93377109470501704863429400067299*c_1100_1^4 + 6001861070575246001751589450528606074998911306418/38239151874580149\ 3377109470501704863429400067299*c_1100_1^3 - 353271504478724772280477438513470889533709699440/382391518745801493\ 377109470501704863429400067299*c_1100_1^2 - 215192293525758681926291145496293609079311000647/382391518745801493\ 377109470501704863429400067299*c_1100_1 - 252001264651159894793722740870287585688004661356/382391518745801493\ 377109470501704863429400067299, c_0101_10 + 355412309725478478549677185811319566769919160670/3823915187\ 45801493377109470501704863429400067299*c_1100_1^23 + 1826198186859415384811428053721352325390810131391/38239151874580149\ 3377109470501704863429400067299*c_1100_1^22 + 22955446806067925503815110413756349154235643217209/3823915187458014\ 93377109470501704863429400067299*c_1100_1^21 - 3443174104683092629744131353278791721833212696007/38239151874580149\ 3377109470501704863429400067299*c_1100_1^20 - 197664881468948513402591607590157510620226834570070/382391518745801\ 493377109470501704863429400067299*c_1100_1^19 - 2814493140752316805081256353747158876957051620751695/38239151874580\ 1493377109470501704863429400067299*c_1100_1^18 - 2627844485260516172542105914011023696887662149443221/38239151874580\ 1493377109470501704863429400067299*c_1100_1^17 + 80366682692764061237714535194303567201812389836222/3823915187458014\ 93377109470501704863429400067299*c_1100_1^16 - 370777107178599509322797386958386878528142961040010/382391518745801\ 493377109470501704863429400067299*c_1100_1^15 - 541126162228069218846646542741807485244140980496749/382391518745801\ 493377109470501704863429400067299*c_1100_1^14 + 442134750780191563847860723556128721430584189654321/382391518745801\ 493377109470501704863429400067299*c_1100_1^13 + 226226940654218343926988267652419746218665542799145/382391518745801\ 493377109470501704863429400067299*c_1100_1^12 + 592404943118629943925112315775398478796463220864208/382391518745801\ 493377109470501704863429400067299*c_1100_1^11 + 552984580255464187306669938465814707608419504781184/382391518745801\ 493377109470501704863429400067299*c_1100_1^10 - 63227220791871184485568338205987785988495772634244/3823915187458014\ 93377109470501704863429400067299*c_1100_1^9 - 193093268413242091142673693994981582059443033420702/382391518745801\ 493377109470501704863429400067299*c_1100_1^8 - 337231043226264703616111097061529396741921297867876/382391518745801\ 493377109470501704863429400067299*c_1100_1^7 - 315162631041468113192584038087492768300894825396416/382391518745801\ 493377109470501704863429400067299*c_1100_1^6 - 190121360828666015275486171498851442947746147610155/382391518745801\ 493377109470501704863429400067299*c_1100_1^5 - 100365302462980462187283523446671266718333389642026/382391518745801\ 493377109470501704863429400067299*c_1100_1^4 - 43169260630397001204746260086023376285119215584132/3823915187458014\ 93377109470501704863429400067299*c_1100_1^3 - 13427823266370951232607155185504885794583348420091/3823915187458014\ 93377109470501704863429400067299*c_1100_1^2 - 3117773426741454960318510080792296972911317507214/38239151874580149\ 3377109470501704863429400067299*c_1100_1 - 633337509981676841537829673556109448928709641421/382391518745801493\ 377109470501704863429400067299, c_0101_2 + 351549656386955994281664517426730836759013536022/38239151874\ 5801493377109470501704863429400067299*c_1100_1^23 + 1735666410281433521100257634868443330326517562630/38239151874580149\ 3377109470501704863429400067299*c_1100_1^22 + 22323880898185851818635693619887551945605182048504/3823915187458014\ 93377109470501704863429400067299*c_1100_1^21 - 8078214430860301279741410199090331801895268927674/38239151874580149\ 3377109470501704863429400067299*c_1100_1^20 - 196106235928598146168064202352603081108355472077726/382391518745801\ 493377109470501704863429400067299*c_1100_1^19 - 2745065590216162485222321906065712529627007429501299/38239151874580\ 1493377109470501704863429400067299*c_1100_1^18 - 2029085164783600931766201555173884028449005670067603/38239151874580\ 1493377109470501704863429400067299*c_1100_1^17 + 757734457557301207657135582963699119877921371775484/382391518745801\ 493377109470501704863429400067299*c_1100_1^16 - 162085245088123457073789767042617793823863388111727/382391518745801\ 493377109470501704863429400067299*c_1100_1^15 - 372763444990903024869220977516637124417525539058433/382391518745801\ 493377109470501704863429400067299*c_1100_1^14 + 530559962862505644474910353263627527714519920708088/382391518745801\ 493377109470501704863429400067299*c_1100_1^13 + 111680722815579730675588894180686867185819144388663/382391518745801\ 493377109470501704863429400067299*c_1100_1^12 + 539993198035554334429543315439804691380510310370578/382391518745801\ 493377109470501704863429400067299*c_1100_1^11 + 418556597523038447790651662426941736873564790264884/382391518745801\ 493377109470501704863429400067299*c_1100_1^10 - 225415626859654094246893689455073407028187812591303/382391518745801\ 493377109470501704863429400067299*c_1100_1^9 - 220997731814343061951411386006788188024381373357427/382391518745801\ 493377109470501704863429400067299*c_1100_1^8 - 305125193916572380287043448921007619268869458783711/382391518745801\ 493377109470501704863429400067299*c_1100_1^7 - 225990501533621111784264530247969128679808023838065/382391518745801\ 493377109470501704863429400067299*c_1100_1^6 - 88626613423273581938791683333635158287299881609265/3823915187458014\ 93377109470501704863429400067299*c_1100_1^5 - 36466552411556213601778065342084302368403115400569/3823915187458014\ 93377109470501704863429400067299*c_1100_1^4 - 8076562790054788998889920558225912237631709621476/38239151874580149\ 3377109470501704863429400067299*c_1100_1^3 + 1634993904890921487445882139195039643806047088051/38239151874580149\ 3377109470501704863429400067299*c_1100_1^2 + 51623052342126730605380188566837052553845776801/3823915187458014933\ 77109470501704863429400067299*c_1100_1 + 186288010439846472937821679072576636770665988040/382391518745801493\ 377109470501704863429400067299, c_0101_3 - 705670947921577782730145123413644697397775991256/38239151874\ 5801493377109470501704863429400067299*c_1100_1^23 - 3341946264134975029734594207620158126045504820596/38239151874580149\ 3377109470501704863429400067299*c_1100_1^22 - 44136759918239635089866137129610733417382309966184/3823915187458014\ 93377109470501704863429400067299*c_1100_1^21 + 25110029685975420855092778374914291760054347689818/3823915187458014\ 93377109470501704863429400067299*c_1100_1^20 + 388681809248027699514287341414971155560167798216666/382391518745801\ 493377109470501704863429400067299*c_1100_1^19 + 5431955052630351752837508997743990163796695248086190/38239151874580\ 1493377109470501704863429400067299*c_1100_1^18 + 2978298562370958971321873092652538748316053358241190/38239151874580\ 1493377109470501704863429400067299*c_1100_1^17 - 2131951917098405442367076720357694215249818076090130/38239151874580\ 1493377109470501704863429400067299*c_1100_1^16 + 742347345022887598085202064664432089203157207827273/382391518745801\ 493377109470501704863429400067299*c_1100_1^15 + 623271889979912661204330441477045578412955690033099/382391518745801\ 493377109470501704863429400067299*c_1100_1^14 - 1190613599046463746568530367680967571479168943874202/38239151874580\ 1493377109470501704863429400067299*c_1100_1^13 - 28492214386144015649621083394708029530389881205568/3823915187458014\ 93377109470501704863429400067299*c_1100_1^12 - 1080681808759312426327275353243577862015281436262659/38239151874580\ 1493377109470501704863429400067299*c_1100_1^11 - 602797032885818990106460408881492385993056764604954/382391518745801\ 493377109470501704863429400067299*c_1100_1^10 + 567022161271246071955459985075547240933472487449590/382391518745801\ 493377109470501704863429400067299*c_1100_1^9 + 326063265747016974560265917383762998248006100337005/382391518745801\ 493377109470501704863429400067299*c_1100_1^8 + 548463743386789272201060418955297381843330783975012/382391518745801\ 493377109470501704863429400067299*c_1100_1^7 + 343866323372008509006646410515180138076438851434273/382391518745801\ 493377109470501704863429400067299*c_1100_1^6 + 113824624934507329454796997334803723013915996341264/382391518745801\ 493377109470501704863429400067299*c_1100_1^5 + 50769653159715715875398697943534363257318355233387/3823915187458014\ 93377109470501704863429400067299*c_1100_1^4 + 3587182590909911389736573167592622488414319467345/38239151874580149\ 3377109470501704863429400067299*c_1100_1^3 - 5283580319687485759248124349457626594508889903922/38239151874580149\ 3377109470501704863429400067299*c_1100_1^2 - 868990258878816598241371597390921579909384721840/382391518745801493\ 377109470501704863429400067299*c_1100_1 - 962839645701289388201125588185765742639187450101/382391518745801493\ 377109470501704863429400067299, c_0101_7 + 126587799658234551314254053101051484935477121974/38239151874\ 5801493377109470501704863429400067299*c_1100_1^23 + 662641190250703341126832233015431243193216687377/382391518745801493\ 377109470501704863429400067299*c_1100_1^22 + 8249556863691825925829419062669995558332615610319/38239151874580149\ 3377109470501704863429400067299*c_1100_1^21 - 386328585422044825555269796020667398819747879335/382391518745801493\ 377109470501704863429400067299*c_1100_1^20 - 69850399973126504978496932631945989385384234711320/3823915187458014\ 93377109470501704863429400067299*c_1100_1^19 - 1009595375413960620565454446143366596288398590443771/38239151874580\ 1493377109470501704863429400067299*c_1100_1^18 - 1039081732799106001795451004660466893049116377624619/38239151874580\ 1493377109470501704863429400067299*c_1100_1^17 - 144821161666656414284692736647965544503687359675048/382391518745801\ 493377109470501704863429400067299*c_1100_1^16 - 177096388175551992434708631907173140704719211228673/382391518745801\ 493377109470501704863429400067299*c_1100_1^15 - 111975308045895296396478437455230695635506750212140/382391518745801\ 493377109470501704863429400067299*c_1100_1^14 + 167755749767243908972081120324173354490976243787019/382391518745801\ 493377109470501704863429400067299*c_1100_1^13 + 49646227416609707755643756943952019535159917671859/3823915187458014\ 93377109470501704863429400067299*c_1100_1^12 + 242801206725422783386214373121795894771164435216481/382391518745801\ 493377109470501704863429400067299*c_1100_1^11 + 233477378495824707747167443309366537525549484759793/382391518745801\ 493377109470501704863429400067299*c_1100_1^10 - 2952464490348950895050676596797132832244093916475/38239151874580149\ 3377109470501704863429400067299*c_1100_1^9 - 62003667052877495319031472047939413097288714332601/3823915187458014\ 93377109470501704863429400067299*c_1100_1^8 - 145926402720578741682424453930495213612557709782641/382391518745801\ 493377109470501704863429400067299*c_1100_1^7 - 136713962429786800564890548324307250136529443336542/382391518745801\ 493377109470501704863429400067299*c_1100_1^6 - 78229726064604635196557938493214702524993749245223/3823915187458014\ 93377109470501704863429400067299*c_1100_1^5 - 44672158468027194036818322795051396519004315177259/3823915187458014\ 93377109470501704863429400067299*c_1100_1^4 - 15584525394600830281340895678664688239010607196975/3823915187458014\ 93377109470501704863429400067299*c_1100_1^3 - 3088281411425797487620601359844051255557572297245/38239151874580149\ 3377109470501704863429400067299*c_1100_1^2 - 1085273466455201841229968085639382003977795881671/38239151874580149\ 3377109470501704863429400067299*c_1100_1 + 372570528801854930258599883721071086490005260088/382391518745801493\ 377109470501704863429400067299, c_0110_2 + 391233857714529852983420578138831209716202155448/38239151874\ 5801493377109470501704863429400067299*c_1100_1^23 + 2125976103714445112613756193982888964637633917584/38239151874580149\ 3377109470501704863429400067299*c_1100_1^22 + 25787952673580792811563148923929012413978774779407/3823915187458014\ 93377109470501704863429400067299*c_1100_1^21 + 3271877154652013313429809522443995546849218924833/38239151874580149\ 3377109470501704863429400067299*c_1100_1^20 - 223714650569274482519310392899918457423149873499057/382391518745801\ 493377109470501704863429400067299*c_1100_1^19 - 3163237856757948711353568940941294686159107172417995/38239151874580\ 1493377109470501704863429400067299*c_1100_1^18 - 3766536393236560829221864097200015739698190491327999/38239151874580\ 1493377109470501704863429400067299*c_1100_1^17 - 154144023696439159531235166407189046483361206323439/382391518745801\ 493377109470501704863429400067299*c_1100_1^16 + 357466779343539350764144282392911602432674691625095/382391518745801\ 493377109470501704863429400067299*c_1100_1^15 - 587267252088393454218053670033496006630640838489621/382391518745801\ 493377109470501704863429400067299*c_1100_1^14 + 293010447076458454654660083672960460961290105785278/382391518745801\ 493377109470501704863429400067299*c_1100_1^13 + 430053367625083209090005147562759185971877511958136/382391518745801\ 493377109470501704863429400067299*c_1100_1^12 + 664993661814859866974610319743636833097531456163994/382391518745801\ 493377109470501704863429400067299*c_1100_1^11 + 751962354515021014006367083471229117766508114768420/382391518745801\ 493377109470501704863429400067299*c_1100_1^10 - 43460569538852108434188272588905396432781267848090/3823915187458014\ 93377109470501704863429400067299*c_1100_1^9 - 388052382227958013373250384559411415367261586640990/382391518745801\ 493377109470501704863429400067299*c_1100_1^8 - 438258676680666306502145607728518313418186315932382/382391518745801\ 493377109470501704863429400067299*c_1100_1^7 - 391030667950504196658998280492169476159357718142354/382391518745801\ 493377109470501704863429400067299*c_1100_1^6 - 209255678070520512046266955616109003122238736342079/382391518745801\ 493377109470501704863429400067299*c_1100_1^5 - 87906377392998572792992102065312482748719558084766/3823915187458014\ 93377109470501704863429400067299*c_1100_1^4 - 34452291698352215723298469689133364401344316201344/3823915187458014\ 93377109470501704863429400067299*c_1100_1^3 - 8070639736988475613724595561125610188721281712585/38239151874580149\ 3377109470501704863429400067299*c_1100_1^2 - 2120167099211531796334212089173388257503202157002/38239151874580149\ 3377109470501704863429400067299*c_1100_1 - 622417232812888913087904531899403309144821444332/382391518745801493\ 377109470501704863429400067299, c_0110_5 + 469863264744240296521367411733355050177917261292/38239151874\ 5801493377109470501704863429400067299*c_1100_1^23 + 2308199313340792264094294471665001764176294007910/38239151874580149\ 3377109470501704863429400067299*c_1100_1^22 + 29790743947525094612253221934627611166841045148809/3823915187458014\ 93377109470501704863429400067299*c_1100_1^21 - 11451803200708238844802376286167085089717090899336/3823915187458014\ 93377109470501704863429400067299*c_1100_1^20 - 260988374685704619048103755081042047464860265064129/382391518745801\ 493377109470501704863429400067299*c_1100_1^19 - 3660904213060461462576881287778522268841289741422571/38239151874580\ 1493377109470501704863429400067299*c_1100_1^18 - 2627391969681104823882430281797843490001133464615072/38239151874580\ 1493377109470501704863429400067299*c_1100_1^17 + 977581512039775817896238691048293059817962974539429/382391518745801\ 493377109470501704863429400067299*c_1100_1^16 - 525668853846884919819522584057322558414908293111901/382391518745801\ 493377109470501704863429400067299*c_1100_1^15 - 722637011867686600461547036179571451360114516073165/382391518745801\ 493377109470501704863429400067299*c_1100_1^14 + 720975719198270042562444912971130930134893436232196/382391518745801\ 493377109470501704863429400067299*c_1100_1^13 + 170820495969577446542832863124100630435584740985488/382391518745801\ 493377109470501704863429400067299*c_1100_1^12 + 708843025960578613273163674284165062647948615584209/382391518745801\ 493377109470501704863429400067299*c_1100_1^11 + 556285444832724120639839319716899907747341707170326/382391518745801\ 493377109470501704863429400067299*c_1100_1^10 - 268729688271252445736480485858379517177227349266411/382391518745801\ 493377109470501704863429400067299*c_1100_1^9 - 224302326053296160756914769173091303275051034354917/382391518745801\ 493377109470501704863429400067299*c_1100_1^8 - 361448173937127258298515720629703174217961998657348/382391518745801\ 493377109470501704863429400067299*c_1100_1^7 - 306647134961108232210316255985128578294844735388802/382391518745801\ 493377109470501704863429400067299*c_1100_1^6 - 152619619256362944657611099273728870957888442868314/382391518745801\ 493377109470501704863429400067299*c_1100_1^5 - 84988681651830905562859749492451610575207584147606/3823915187458014\ 93377109470501704863429400067299*c_1100_1^4 - 34961881530005990412041041865014961576416034343827/3823915187458014\ 93377109470501704863429400067299*c_1100_1^3 - 10097625163881584588160132317472340323445386202172/3823915187458014\ 93377109470501704863429400067299*c_1100_1^2 - 3258387876414702570552981675820267773204139764371/38239151874580149\ 3377109470501704863429400067299*c_1100_1 - 394057348225214186593737126087690362773557565034/382391518745801493\ 377109470501704863429400067299, c_1100_1^24 + 5*c_1100_1^23 + 64*c_1100_1^22 - 18*c_1100_1^21 - 547*c_1100_1^20 - 7844*c_1100_1^19 - 6368*c_1100_1^18 + 288*c_1100_1^17 - 1885*c_1100_1^16 - 1128*c_1100_1^15 + 1336*c_1100_1^14 + 187*c_1100_1^13 + 1803*c_1100_1^12 + 1398*c_1100_1^11 - 239*c_1100_1^10 - 329*c_1100_1^9 - 945*c_1100_1^8 - 822*c_1100_1^7 - 496*c_1100_1^6 - 308*c_1100_1^5 - 127*c_1100_1^4 - 48*c_1100_1^3 - 17*c_1100_1^2 - 3*c_1100_1 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 7.980 Total time: 8.189 seconds, Total memory usage: 64.12MB