Magma V2.19-8 Tue Aug 20 2013 17:58:00 on localhost [Seed = 1275983878] Type ? for help. Type -D to quit. Loading file "10_151__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_151 geometric_solution 11.84304475 oriented_manifold CS_known -0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 13 1 1 2 3 0132 1230 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 -1 0 0 1 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.571244883021 0.469373970319 0 4 0 5 0132 0132 3012 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 1 0 -1 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.045025197568 0.858664367323 6 7 8 0 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.997401070813 1.360998915307 6 9 0 10 3120 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 -1 1 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.328513348519 1.178505404678 11 1 6 8 0132 0132 0213 3201 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 1 0 -2 0 2 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.754386018622 0.821638606726 9 12 1 7 2031 0132 0132 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 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.967963757632 0.899890503455 2 4 9 3 0132 0213 2031 3120 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 0 0 0 0 3 -2 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.727208607882 0.870736018778 11 2 5 10 3012 0132 1230 0321 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 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.057008455007 1.087129464858 12 4 11 2 2310 2310 3012 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 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.932417415918 1.382575471647 12 3 5 6 3201 0132 1302 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 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.154818137268 0.381462046983 12 7 3 11 0321 0321 0132 3012 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 1 0 -1 0 1 -3 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.655322464862 0.694303267516 4 8 10 7 0132 1230 1230 1230 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 0 0 0 0 0 0 0 0.856293974692 0.353029272127 10 5 8 9 0321 0132 3201 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 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.728164017654 0.646805896457 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_0110_5'], 'c_1001_12' : negation(d['c_0101_7']), 'c_1001_5' : negation(d['c_0110_9']), 'c_1001_4' : negation(d['c_0110_9']), 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0110_9']), 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_11']), 'c_1001_9' : d['c_0110_5'], 'c_1001_8' : d['c_0011_0'], 'c_1010_12' : negation(d['c_0110_9']), 'c_1010_11' : d['c_0101_7'], 'c_1010_10' : negation(d['c_0101_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' : negation(d['c_0101_10']), 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : negation(d['c_0011_0']), 'c_1100_8' : negation(d['c_1001_11']), 'c_0011_12' : d['c_0011_10'], 'c_1100_5' : negation(d['c_1001_0']), 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_7' : d['c_0110_5'], 'c_1100_6' : negation(d['c_0101_1']), 'c_1100_1' : negation(d['c_1001_0']), 'c_1100_0' : negation(d['c_1001_11']), 'c_1100_3' : negation(d['c_1001_11']), 'c_1100_2' : negation(d['c_1001_11']), 's_3_11' : d['1'], 'c_1100_9' : d['c_0101_0'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : negation(d['c_1001_11']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_11']), 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0101_7']), 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_0110_5'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0110_9']), 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : d['c_0101_1'], 'c_1010_8' : negation(d['c_0101_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' : 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_3']), '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' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_3'], 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_2']), 'c_0011_6' : negation(d['c_0011_2']), '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' : d['c_0011_2'], 'c_0110_11' : negation(d['c_0011_2']), 'c_0110_10' : negation(d['c_0011_10']), 'c_0110_12' : negation(d['c_0011_10']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_2']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : d['c_0101_7'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_10'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : negation(d['c_0011_10']), 'c_0110_6' : d['c_0101_10'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_2, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_7, c_0110_5, c_0110_9, c_1001_0, c_1001_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 52693953331785426278954389493019/7221289624036942024470804758*c_100\ 1_11^23 - 248329438643214942724257053263296/36106448120184710122354\ 02379*c_1001_11^22 - 2296609117262991090131857000660677/72212896240\ 36942024470804758*c_1001_11^21 - 1061076639862930207825750531327213\ /1031612803433848860638686394*c_1001_11^20 - 18448174345165276161957249613173/6851318428877554102913477*c_1001_1\ 1^19 - 134838792297560971233784613067526/22426365292040192622580139\ *c_1001_11^18 - 42353877657172735812065114031365217/361064481201847\ 1012235402379*c_1001_11^17 - 146662444083934617750303324345872145/7\ 221289624036942024470804758*c_1001_11^16 - 114389980071430071601291016834788113/3610644812018471012235402379*c\ _1001_11^15 - 162854877543303780117430990973526293/3610644812018471\ 012235402379*c_1001_11^14 - 211041291981758406781277401833055471/36\ 10644812018471012235402379*c_1001_11^13 - 498801731210661698795922812582722513/7221289624036942024470804758*c\ _1001_11^12 - 77574564201393709919928280034892527/10316128034338488\ 60638686394*c_1001_11^11 - 38412909833299522190105451667890734/5158\ 06401716924430319343197*c_1001_11^10 - 480603793527067478672316405436164019/7221289624036942024470804758*c\ _1001_11^9 - 390881837723295164055888120684704431/72212896240369420\ 24470804758*c_1001_11^8 - 4568439649250626142073601624656257/116472\ 413290918419749529109*c_1001_11^7 - 5241639552910322228658494523662021/212390871295204177190317787*c_10\ 01_11^6 - 48150683899829015032428780010337756/361064481201847101223\ 5402379*c_1001_11^5 - 43001308379156134178997602104454477/722128962\ 4036942024470804758*c_1001_11^4 - 153638355307011124494112989402357\ 35/7221289624036942024470804758*c_1001_11^3 - 2112730263343267120043387908129627/3610644812018471012235402379*c_1\ 001_11^2 - 938570095162660100173745628923417/7221289624036942024470\ 804758*c_1001_11 - 91439761401865100102509864333697/722128962403694\ 2024470804758, c_0011_0 - 1, c_0011_10 - 251337970087917892/625042563491196679*c_1001_11^23 - 2664362870296062423/625042563491196679*c_1001_11^22 - 13716830850869472881/625042563491196679*c_1001_11^21 - 48030354491039287238/625042563491196679*c_1001_11^20 - 132875681854727957831/625042563491196679*c_1001_11^19 - 310711095510351584044/625042563491196679*c_1001_11^18 - 632465650827263879506/625042563491196679*c_1001_11^17 - 1139335359818648882594/625042563491196679*c_1001_11^16 - 1842185104373294650698/625042563491196679*c_1001_11^15 - 2708447468050059535862/625042563491196679*c_1001_11^14 - 3634469808013550029689/625042563491196679*c_1001_11^13 - 4447205903881300404898/625042563491196679*c_1001_11^12 - 4989910705416604309169/625042563491196679*c_1001_11^11 - 5131348602665476409137/625042563491196679*c_1001_11^10 - 4778598018262860976654/625042563491196679*c_1001_11^9 - 4022702613902307030406/625042563491196679*c_1001_11^8 - 3056232039373463881596/625042563491196679*c_1001_11^7 - 2038182579499192035296/625042563491196679*c_1001_11^6 - 1163218073199871129539/625042563491196679*c_1001_11^5 - 558260691123456957536/625042563491196679*c_1001_11^4 - 213608102271539134401/625042563491196679*c_1001_11^3 - 62194954539016192525/625042563491196679*c_1001_11^2 - 14615793086458796070/625042563491196679*c_1001_11 - 2194454136439415426/625042563491196679, c_0011_2 - 1474525245014688685/625042563491196679*c_1001_11^23 - 14611992846651945956/625042563491196679*c_1001_11^22 - 70881355920526043883/625042563491196679*c_1001_11^21 - 237887798079221999569/625042563491196679*c_1001_11^20 - 639837925740253320392/625042563491196679*c_1001_11^19 - 1462789663669930233856/625042563491196679*c_1001_11^18 - 2918276519925875806678/625042563491196679*c_1001_11^17 - 5162681111824859453656/625042563491196679*c_1001_11^16 - 8217470783151389735697/625042563491196679*c_1001_11^15 - 11920813236904797912502/625042563491196679*c_1001_11^14 - 15772741361382423000255/625042563491196679*c_1001_11^13 - 19042207587803465750404/625042563491196679*c_1001_11^12 - 21142934474765650537210/625042563491196679*c_1001_11^11 - 21463811167117323910078/625042563491196679*c_1001_11^10 - 19724111429260776273712/625042563491196679*c_1001_11^9 - 16466339347574696559957/625042563491196679*c_1001_11^8 - 12364559331378639239633/625042563491196679*c_1001_11^7 - 8140019313019613672146/625042563491196679*c_1001_11^6 - 4626398753317692983267/625042563491196679*c_1001_11^5 - 2217089909617120973454/625042563491196679*c_1001_11^4 - 859865331779742693332/625042563491196679*c_1001_11^3 - 260817477765789750580/625042563491196679*c_1001_11^2 - 62240991262621961204/625042563491196679*c_1001_11 - 9186717922660803949/625042563491196679, c_0011_3 + 1668753971464979300/625042563491196679*c_1001_11^23 + 16241973018111584493/625042563491196679*c_1001_11^22 + 77474601560028284740/625042563491196679*c_1001_11^21 + 256703082772814850062/625042563491196679*c_1001_11^20 + 684093647974608547269/625042563491196679*c_1001_11^19 + 1551697710348635370092/625042563491196679*c_1001_11^18 + 3073057872429565203020/625042563491196679*c_1001_11^17 + 5398823968889724989252/625042563491196679*c_1001_11^16 + 8538589127589927603110/625042563491196679*c_1001_11^15 + 12314806007618327888689/625042563491196679*c_1001_11^14 + 16191693179314501154551/625042563491196679*c_1001_11^13 + 19424277998595165587715/625042563491196679*c_1001_11^12 + 21445254966043098836291/625042563491196679*c_1001_11^11 + 21621432855093133542150/625042563491196679*c_1001_11^10 + 19718976725732893748591/625042563491196679*c_1001_11^9 + 16352961964011659486467/625042563491196679*c_1001_11^8 + 12175794300611665515784/625042563491196679*c_1001_11^7 + 7932708694714855871853/625042563491196679*c_1001_11^6 + 4463668019171467684597/625042563491196679*c_1001_11^5 + 2115076325671470522231/625042563491196679*c_1001_11^4 + 813674665107042740987/625042563491196679*c_1001_11^3 + 246433549324475684344/625042563491196679*c_1001_11^2 + 58989228076056548911/625042563491196679*c_1001_11 + 8661017757686367823/625042563491196679, c_0101_0 + 874581827171468210/625042563491196679*c_1001_11^23 + 8235499057695087655/625042563491196679*c_1001_11^22 + 38055645295861233138/625042563491196679*c_1001_11^21 + 123036075238208202594/625042563491196679*c_1001_11^20 + 322049844667772842321/625042563491196679*c_1001_11^19 + 719010141747087373056/625042563491196679*c_1001_11^18 + 1402502418285803785687/625042563491196679*c_1001_11^17 + 2427817207701619385086/625042563491196679*c_1001_11^16 + 3786449604031768998256/625042563491196679*c_1001_11^15 + 5389353916903446382560/625042563491196679*c_1001_11^14 + 6981683646662582553390/625042563491196679*c_1001_11^13 + 8247889861413855468396/625042563491196679*c_1001_11^12 + 8975791726914977140075/625042563491196679*c_1001_11^11 + 8883909182604377302596/625042563491196679*c_1001_11^10 + 7933437710754013100354/625042563491196679*c_1001_11^9 + 6448812672868478231845/625042563491196679*c_1001_11^8 + 4666791867642312092542/625042563491196679*c_1001_11^7 + 2929267873696509910626/625042563491196679*c_1001_11^6 + 1583140283885062154751/625042563491196679*c_1001_11^5 + 703120428815997124154/625042563491196679*c_1001_11^4 + 247656308478140295365/625042563491196679*c_1001_11^3 + 70013355741854977101/625042563491196679*c_1001_11^2 + 14982404216817985416/625042563491196679*c_1001_11 + 1523282657249438730/625042563491196679, c_0101_1 + 716443328612546788/625042563491196679*c_1001_11^23 + 6756489546530604010/625042563491196679*c_1001_11^22 + 31274915456842368440/625042563491196679*c_1001_11^21 + 101272058698426606452/625042563491196679*c_1001_11^20 + 265452506486163475592/625042563491196679*c_1001_11^19 + 593552935707347779332/625042563491196679*c_1001_11^18 + 1159752766888746609210/625042563491196679*c_1001_11^17 + 2011318370823096896484/625042563491196679*c_1001_11^16 + 3143285762551754133522/625042563491196679*c_1001_11^15 + 4483911942712318731464/625042563491196679*c_1001_11^14 + 5823880268767830358646/625042563491196679*c_1001_11^13 + 6900779611517507108536/625042563491196679*c_1001_11^12 + 7534483543186707656509/625042563491196679*c_1001_11^11 + 7489222988747253091032/625042563491196679*c_1001_11^10 + 6723357742439276116105/625042563491196679*c_1001_11^9 + 5497743578086351235217/625042563491196679*c_1001_11^8 + 4014459871333749275522/625042563491196679*c_1001_11^7 + 2550334676213917071892/625042563491196679*c_1001_11^6 + 1399062924916050613696/625042563491196679*c_1001_11^5 + 641063177320199315301/625042563491196679*c_1001_11^4 + 235911436052685292352/625042563491196679*c_1001_11^3 + 68934966536754760772/625042563491196679*c_1001_11^2 + 16124846570317006730/625042563491196679*c_1001_11 + 1876270778663975839/625042563491196679, c_0101_10 - 60969122955349721/625042563491196679*c_1001_11^23 - 259599086265936855/625042563491196679*c_1001_11^22 + 290146953714081284/625042563491196679*c_1001_11^21 + 4883149822763737365/625042563491196679*c_1001_11^20 + 20562767930932016927/625042563491196679*c_1001_11^19 + 61302468270986210571/625042563491196679*c_1001_11^18 + 148602618940902105297/625042563491196679*c_1001_11^17 + 306540840416010206292/625042563491196679*c_1001_11^16 + 551049444404103251145/625042563491196679*c_1001_11^15 + 881726750763877599528/625042563491196679*c_1001_11^14 + 1283936266376111204565/625042563491196679*c_1001_11^13 + 1691395097198922970804/625042563491196679*c_1001_11^12 + 2015011493202126902521/625042563491196679*c_1001_11^11 + 2215502204553538727626/625042563491196679*c_1001_11^10 + 2206284957839144717264/625042563491196679*c_1001_11^9 + 1961766888880982068572/625042563491196679*c_1001_11^8 + 1591873103482425221023/625042563491196679*c_1001_11^7 + 1142821089182470536846/625042563491196679*c_1001_11^6 + 698579456971528100111/625042563491196679*c_1001_11^5 + 364261963622085847176/625042563491196679*c_1001_11^4 + 151055449670552995645/625042563491196679*c_1001_11^3 + 46512552859632180872/625042563491196679*c_1001_11^2 + 11759348204080872564/625042563491196679*c_1001_11 + 2000225409989124811/625042563491196679, c_0101_11 + 344209118878880695/625042563491196679*c_1001_11^23 + 3237708250505696377/625042563491196679*c_1001_11^22 + 14941492377501161947/625042563491196679*c_1001_11^21 + 48242280574403616651/625042563491196679*c_1001_11^20 + 126125882516704744403/625042563491196679*c_1001_11^19 + 281304834162484503010/625042563491196679*c_1001_11^18 + 548225330254622816647/625042563491196679*c_1001_11^17 + 948183718017955363707/625042563491196679*c_1001_11^16 + 1477586921892030592846/625042563491196679*c_1001_11^15 + 2101636674810581340452/625042563491196679*c_1001_11^14 + 2720652790710149417600/625042563491196679*c_1001_11^13 + 3211661549748694284855/625042563491196679*c_1001_11^12 + 3492679031533042680856/625042563491196679*c_1001_11^11 + 3454532651785767402959/625042563491196679*c_1001_11^10 + 3082663494111936921546/625042563491196679*c_1001_11^9 + 2503186178896457010419/625042563491196679*c_1001_11^8 + 1810164866373737862688/625042563491196679*c_1001_11^7 + 1135778425373657460580/625042563491196679*c_1001_11^6 + 611598784917536258210/625042563491196679*c_1001_11^5 + 271231211671326439978/625042563491196679*c_1001_11^4 + 96282429871808618299/625042563491196679*c_1001_11^3 + 26922306807825944445/625042563491196679*c_1001_11^2 + 4769111023843138975/625042563491196679*c_1001_11 + 588663938010598293/625042563491196679, c_0101_7 + 2071075110969780695/625042563491196679*c_1001_11^23 + 20307606204969143089/625042563491196679*c_1001_11^22 + 97499683867342674787/625042563491196679*c_1001_11^21 + 324507032579019043731/625042563491196679*c_1001_11^20 + 867294288328605153032/625042563491196679*c_1001_11^19 + 1971840140933293700390/625042563491196679*c_1001_11^18 + 3913149027959566339476/625042563491196679*c_1001_11^17 + 6887145552789348326172/625042563491196679*c_1001_11^16 + 10908613471530506158678/625042563491196679*c_1001_11^15 + 15751753673525430786936/625042563491196679*c_1001_11^14 + 20737294990042434766590/625042563491196679*c_1001_11^13 + 24904078268858803092242/625042563491196679*c_1001_11^12 + 27512935492547239792421/625042563491196679*c_1001_11^11 + 27764828656283933398429/625042563491196679*c_1001_11^10 + 25338338656585021242931/625042563491196679*c_1001_11^9 + 21009249923609989837481/625042563491196679*c_1001_11^8 + 15643549577075316835652/625042563491196679*c_1001_11^7 + 10186062524242292748064/625042563491196679*c_1001_11^6 + 5715898793340653067308/625042563491196679*c_1001_11^5 + 2695676923829561098356/625042563491196679*c_1001_11^4 + 1027145905335794430697/625042563491196679*c_1001_11^3 + 307158666864323927851/625042563491196679*c_1001_11^2 + 72783419657899745703/625042563491196679*c_1001_11 + 10604133924037865357/625042563491196679, c_0110_5 - 735074636735578150/625042563491196679*c_1001_11^23 - 6918422265509451405/625042563491196679*c_1001_11^22 - 31952401508230110253/625042563491196679*c_1001_11^21 - 103244227438944608222/625042563491196679*c_1001_11^20 - 270078418926752150149/625042563491196679*c_1001_11^19 - 602624235783294566355/625042563491196679*c_1001_11^18 - 1174845370079519059327/625042563491196679*c_1001_11^17 - 2032593972148159197295/625042563491196679*c_1001_11^16 - 3168272024854427786504/625042563491196679*c_1001_11^15 - 4507157950223990004884/625042563491196679*c_1001_11^14 - 5835747676412181602784/625042563491196679*c_1001_11^13 - 6890259256714478264824/625042563491196679*c_1001_11^12 - 7493932621301637472413/625042563491196679*c_1001_11^11 - 7412810938823479223086/625042563491196679*c_1001_11^10 - 6615763626007046502022/625042563491196679*c_1001_11^9 - 5372721571928340139193/625042563491196679*c_1001_11^8 - 3885210346701755532687/625042563491196679*c_1001_11^7 - 2437853661027659451940/625042563491196679*c_1001_11^6 - 1313900763230229911479/625042563491196679*c_1001_11^5 - 582366955073496288351/625042563491196679*c_1001_11^4 - 205999634468762361566/625042563491196679*c_1001_11^3 - 57870866460658169888/625042563491196679*c_1001_11^2 - 11047134466773667919/625042563491196679*c_1001_11 - 1262635879037193537/625042563491196679, c_0110_9 - 12065123379/61122347311*c_1001_11^23 - 135496296711/61122347311*c_1001_11^22 - 720139043176/61122347311*c_1001_11^21 - 2547946064136/61122347311*c_1001_11^20 - 7058389436870/61122347311*c_1001_11^19 - 16500801290035/61122347311*c_1001_11^18 - 33521997946674/61122347311*c_1001_11^17 - 60162812993736/61122347311*c_1001_11^16 - 96743065040546/61122347311*c_1001_11^15 - 141319453590678/61122347311*c_1001_11^14 - 188394240204640/61122347311*c_1001_11^13 - 228359754026567/61122347311*c_1001_11^12 - 253424254552259/61122347311*c_1001_11^11 - 257910619670370/61122347311*c_1001_11^10 - 236297809400112/61122347311*c_1001_11^9 - 194985729681225/61122347311*c_1001_11^8 - 145323518127204/61122347311*c_1001_11^7 - 93898322948308/61122347311*c_1001_11^6 - 51182776700812/61122347311*c_1001_11^5 - 23288558871623/61122347311*c_1001_11^4 - 8270317358977/61122347311*c_1001_11^3 - 2293922603364/61122347311*c_1001_11^2 - 534582726124/61122347311*c_1001_11 - 108890371165/61122347311, c_1001_0 + 1080705941764420553/625042563491196679*c_1001_11^23 + 10193124368684982513/625042563491196679*c_1001_11^22 + 47186052680448081312/625042563491196679*c_1001_11^21 + 152796156377246956867/625042563491196679*c_1001_11^20 + 400445719951382625409/625042563491196679*c_1001_11^19 + 895060713396413593065/625042563491196679*c_1001_11^18 + 1747997559551537125513/625042563491196679*c_1001_11^17 + 3029694547330792644216/625042563491196679*c_1001_11^16 + 4731217350947311324378/625042563491196679*c_1001_11^15 + 6743034420521832223394/625042563491196679*c_1001_11^14 + 8748962050368882133942/625042563491196679*c_1001_11^13 + 10354170331031572750557/625042563491196679*c_1001_11^12 + 11288928744084622808300/625042563491196679*c_1001_11^11 + 11200086620114020898922/625042563491196679*c_1001_11^10 + 10033402194070979909704/625042563491196679*c_1001_11^9 + 8183253886491359483414/625042563491196679*c_1001_11^8 + 5950226027218829023570/625042563491196679*c_1001_11^7 + 3763820181704711049149/625042563491196679*c_1001_11^6 + 2052479366287978744531/625042563491196679*c_1001_11^5 + 926283144136849427010/625042563491196679*c_1001_11^4 + 336684807134156448738/625042563491196679*c_1001_11^3 + 97957489556453757849/625042563491196679*c_1001_11^2 + 22135551518326812356/625042563491196679*c_1001_11 + 2524971608741946359/625042563491196679, c_1001_11^24 + 10*c_1001_11^23 + 49*c_1001_11^22 + 166*c_1001_11^21 + 450*c_1001_11^20 + 1036*c_1001_11^19 + 2081*c_1001_11^18 + 3707*c_1001_11^17 + 5941*c_1001_11^16 + 8676*c_1001_11^15 + 11562*c_1001_11^14 + 14069*c_1001_11^13 + 15745*c_1001_11^12 + 16128*c_1001_11^11 + 14986*c_1001_11^10 + 12660*c_1001_11^9 + 9639*c_1001_11^8 + 6472*c_1001_11^7 + 3772*c_1001_11^6 + 1867*c_1001_11^5 + 761*c_1001_11^4 + 248*c_1001_11^3 + 64*c_1001_11^2 + 12*c_1001_11 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.140 Total time: 2.339 seconds, Total memory usage: 64.12MB