Magma V2.19-8 Tue Aug 20 2013 23:59:56 on localhost [Seed = 3002391526] Type ? for help. Type -D to quit. Loading file "K13n1456__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1456 geometric_solution 11.57581797 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 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 -7 6 1 0 0 0 0 0 0 0 0 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.368017267286 0.536101921023 0 3 6 5 0132 2103 0132 0132 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 -6 6 0 0 0 0 0 6 -6 0 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.101921529837 0.718708834826 4 0 7 5 1023 0132 0132 3201 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 -7 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.047660415495 1.048528202128 8 1 9 0 0132 2103 0132 0132 0 0 0 0 0 -1 0 1 0 0 0 0 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 -6 0 0 0 0 0 6 0 -6 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.360237738135 0.889662271425 6 2 0 10 0132 1023 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.712661693935 1.113487759357 10 2 1 11 0213 2310 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 0 0 0 0 0 0 0 0 0 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.581141121964 0.636603139387 4 9 7 1 0132 3120 3120 0132 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 0 6 -6 0 0 0 0 -1 7 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.667282376543 0.375060001528 8 12 6 2 3012 0132 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.016972980667 0.690374537607 3 11 10 7 0132 3120 0213 1230 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 6 0 0 -6 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.867778773252 0.669697546864 11 6 12 3 3120 3120 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -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 0 0 0 1 0 -1 0 7 -7 0 0 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.199231679742 0.659505628302 5 8 4 12 0213 0213 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 1 -1 0 0 0 0 0 0 0 0 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.146657660931 0.668454779758 12 8 5 9 0321 3120 0132 3120 0 0 0 0 0 -1 0 1 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 7 0 -7 1 0 0 -1 7 0 0 -7 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.916003779173 0.793271995650 11 7 10 9 0321 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 -7 0 0 7 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.262912042089 1.219276236182 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_11' : negation(d['c_0110_2']), 'c_1001_10' : d['c_0110_2'], 'c_1001_12' : d['c_0101_2'], 'c_1001_5' : negation(d['c_1001_0']), 'c_1001_4' : d['c_0101_2'], 'c_1001_7' : negation(d['c_1001_6']), 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : negation(d['c_1001_6']), 'c_1001_8' : d['c_0110_2'], 'c_1010_12' : negation(d['c_1001_6']), 'c_1010_11' : d['c_0011_3'], 'c_1010_10' : d['c_0101_2'], 's_0_10' : 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' : d['c_0101_11'], 'c_0101_10' : d['c_0011_5'], '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_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0101_2'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_11'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0011_5']), 'c_1100_6' : d['c_0011_11'], 'c_1100_1' : d['c_0011_11'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0011_5']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_11'], 'c_1100_10' : d['c_1100_0'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_2'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : negation(d['c_0110_2']), 'c_1010_4' : d['c_0110_2'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_0']), 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : negation(d['c_0011_0']), 'c_1010_8' : negation(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' : 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_0'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : negation(d['c_0011_12']), 'c_0011_6' : 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' : negation(d['c_0011_12']), 'c_0110_10' : negation(d['c_0101_11']), 'c_0110_12' : negation(d['c_0011_11']), 'c_0101_12' : negation(d['c_0101_11']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_11']), 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_12']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_10'], 'c_0101_9' : negation(d['c_0011_11']), 'c_0101_8' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_12']), 'c_0110_8' : negation(d['c_0011_12']), 'c_0110_1' : d['c_0011_10'], 'c_1100_9' : d['c_1100_0'], 'c_0110_3' : d['c_0011_10'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0011_5'], 'c_0110_7' : d['c_0101_2'], '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_3, c_0011_5, c_0101_1, c_0101_11, c_0101_2, c_0110_2, c_1001_0, c_1001_6, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 7661866784108101169219734024726910272544061513882689/26964666159118\ 92855778946305275160822550303572625*c_1100_0^14 - 151648512754170288466348909000698614567708308182130584/916798649410\ 0435709648417437935546796671032146925*c_1100_0^13 + 713563802966911170349696116355997230065994713783269251/458399324705\ 02178548242087189677733983355160734625*c_1100_0^12 + 2147232412711493248769001479346636238179539792800662573/45839932470\ 502178548242087189677733983355160734625*c_1100_0^11 - 2564810883112313501894882364567339434560200344565374062/65485617815\ 00311221177441027096819140479308676375*c_1100_0^10 - 3160637063334983066308949196775292328026730636127191764/45839932470\ 502178548242087189677733983355160734625*c_1100_0^9 - 1939653037823903439866702982368326219572472660567632894/13097123563\ 00062244235488205419363828095861735275*c_1100_0^8 + 68228244359957313420977357349001153945291419160504114516/4583993247\ 0502178548242087189677733983355160734625*c_1100_0^7 - 33831665341032693659524476132005246176277610044991363668/9167986494\ 100435709648417437935546796671032146925*c_1100_0^6 + 27135279155677499477203267482584308649221251678959365021/4583993247\ 0502178548242087189677733983355160734625*c_1100_0^5 + 22350732809537705732886221997503052621862894541857870354/4583993247\ 0502178548242087189677733983355160734625*c_1100_0^4 - 93363114353976330931773885073563593340116718307902120836/4583993247\ 0502178548242087189677733983355160734625*c_1100_0^3 + 2866434210588873286124978103026044161374703399772308972/65485617815\ 00311221177441027096819140479308676375*c_1100_0^2 + 26190480710151815106107811368004417311422276802814404042/4583993247\ 0502178548242087189677733983355160734625*c_1100_0 - 5779932342543243445238103583587998210506320113456544112/45839932470\ 502178548242087189677733983355160734625, c_0011_0 - 1, c_0011_10 - 1012812169025737822362711907501868764028/617162223874138283\ 76400291940346597527551*c_1100_0^14 - 6090596822469435010084187142452924109893/61716222387413828376400291\ 940346597527551*c_1100_0^13 + 4178652745940187199043522946404713462\ 003/61716222387413828376400291940346597527551*c_1100_0^12 + 16288206390412742171294434003171118577821/6171622238741382837640029\ 1940346597527551*c_1100_0^11 - 135678517906791262879239971167851781\ 058691/61716222387413828376400291940346597527551*c_1100_0^10 - 47063646590024478390992281411886262352707/6171622238741382837640029\ 1940346597527551*c_1100_0^9 - 5633770600844531057984771809115865302\ 75201/61716222387413828376400291940346597527551*c_1100_0^8 + 410465917760727236813280945645615556025786/617162223874138283764002\ 91940346597527551*c_1100_0^7 - 134227392348472921814716298975964228\ 1728441/61716222387413828376400291940346597527551*c_1100_0^6 + 34191113061999980437089713737327403282981/6171622238741382837640029\ 1940346597527551*c_1100_0^5 - 4582650750463142760948019011047005290\ 2272/61716222387413828376400291940346597527551*c_1100_0^4 - 747004175537377537741121893793501155290913/617162223874138283764002\ 91940346597527551*c_1100_0^3 + 558595100254796674596316572510353552\ 05124/61716222387413828376400291940346597527551*c_1100_0^2 + 114985536464682268677882040859810998270134/617162223874138283764002\ 91940346597527551*c_1100_0 - 19825875394211872380430866846625763368\ 371/61716222387413828376400291940346597527551, c_0011_11 - 393695020643951858942639911952651999743/6171622238741382837\ 6400291940346597527551*c_1100_0^14 - 2175559614535506707436755749103044431438/61716222387413828376400291\ 940346597527551*c_1100_0^13 + 2987820318758071276160202561862551444\ 168/61716222387413828376400291940346597527551*c_1100_0^12 + 6686101163780022716238684362560349192498/61716222387413828376400291\ 940346597527551*c_1100_0^11 - 5760706972336276030158281029126677548\ 0780/61716222387413828376400291940346597527551*c_1100_0^10 + 2964248716437724302487090295981829178720/61716222387413828376400291\ 940346597527551*c_1100_0^9 - 17954115903848799921443355307120709847\ 1464/61716222387413828376400291940346597527551*c_1100_0^8 + 266662287793558018681118809068180584069706/617162223874138283764002\ 91940346597527551*c_1100_0^7 - 518935928792744342923799119036840206\ 375853/61716222387413828376400291940346597527551*c_1100_0^6 + 94921348724805714103002432589743101130078/6171622238741382837640029\ 1940346597527551*c_1100_0^5 + 1771496072482869677972497095639740013\ 69662/61716222387413828376400291940346597527551*c_1100_0^4 - 340732811989810583882103879890566497925188/617162223874138283764002\ 91940346597527551*c_1100_0^3 + 248958709347202877551428520861089088\ 60043/61716222387413828376400291940346597527551*c_1100_0^2 + 125371183399301385025995372388589954966925/617162223874138283764002\ 91940346597527551*c_1100_0 - 14145522164465734665067419941524494209\ 599/61716222387413828376400291940346597527551, c_0011_12 + 393695020643951858942639911952651999743/6171622238741382837\ 6400291940346597527551*c_1100_0^14 + 2175559614535506707436755749103044431438/61716222387413828376400291\ 940346597527551*c_1100_0^13 - 2987820318758071276160202561862551444\ 168/61716222387413828376400291940346597527551*c_1100_0^12 - 6686101163780022716238684362560349192498/61716222387413828376400291\ 940346597527551*c_1100_0^11 + 5760706972336276030158281029126677548\ 0780/61716222387413828376400291940346597527551*c_1100_0^10 - 2964248716437724302487090295981829178720/61716222387413828376400291\ 940346597527551*c_1100_0^9 + 17954115903848799921443355307120709847\ 1464/61716222387413828376400291940346597527551*c_1100_0^8 - 266662287793558018681118809068180584069706/617162223874138283764002\ 91940346597527551*c_1100_0^7 + 518935928792744342923799119036840206\ 375853/61716222387413828376400291940346597527551*c_1100_0^6 - 94921348724805714103002432589743101130078/6171622238741382837640029\ 1940346597527551*c_1100_0^5 - 1771496072482869677972497095639740013\ 69662/61716222387413828376400291940346597527551*c_1100_0^4 + 340732811989810583882103879890566497925188/617162223874138283764002\ 91940346597527551*c_1100_0^3 - 248958709347202877551428520861089088\ 60043/61716222387413828376400291940346597527551*c_1100_0^2 - 125371183399301385025995372388589954966925/617162223874138283764002\ 91940346597527551*c_1100_0 + 14145522164465734665067419941524494209\ 599/61716222387413828376400291940346597527551, c_0011_3 + 7346170279921833607308578449108442947/6171622238741382837640\ 0291940346597527551*c_1100_0^14 + 852166180282663807979570995975099\ 19786/61716222387413828376400291940346597527551*c_1100_0^13 + 135481710874956359965213300998712998294/617162223874138283764002919\ 40346597527551*c_1100_0^12 - 91576487521037487995009092527743343875\ 1/61716222387413828376400291940346597527551*c_1100_0^11 - 177193328808143183576361181618474384255/617162223874138283764002919\ 40346597527551*c_1100_0^10 + 79080892830265559188243490278095102920\ 14/61716222387413828376400291940346597527551*c_1100_0^9 - 1977298794487146063399882645868281789885/61716222387413828376400291\ 940346597527551*c_1100_0^8 - 32049805961995076420165530070878233338\ 55/61716222387413828376400291940346597527551*c_1100_0^7 - 58664188889173068782217579509249404385446/6171622238741382837640029\ 1940346597527551*c_1100_0^6 + 2203646359996840637469874098686047529\ 7023/61716222387413828376400291940346597527551*c_1100_0^5 - 32594825358553492550323680166361834561554/6171622238741382837640029\ 1940346597527551*c_1100_0^4 - 1201774584467287987059826106747456248\ 10607/61716222387413828376400291940346597527551*c_1100_0^3 + 26289584035080882931743154352673105908080/6171622238741382837640029\ 1940346597527551*c_1100_0^2 + 2264634756807920176872281919909340737\ 3930/61716222387413828376400291940346597527551*c_1100_0 - 45166529693172513772248379575998479892382/6171622238741382837640029\ 1940346597527551, c_0011_5 - 1272260345412310714182019939117208268423/6171622238741382837\ 6400291940346597527551*c_1100_0^14 - 7710211278280094921114618788346680233717/61716222387413828376400291\ 940346597527551*c_1100_0^13 + 5099202030995098477112680318894250020\ 116/61716222387413828376400291940346597527551*c_1100_0^12 + 22269394532573308643202157853269588454534/6171622238741382837640029\ 1940346597527551*c_1100_0^11 - 168223349836553666211666285596735796\ 369163/61716222387413828376400291940346597527551*c_1100_0^10 - 70565693443840164120654885648639383592851/6171622238741382837640029\ 1940346597527551*c_1100_0^9 - 6896786435231712885446222143866567020\ 49179/61716222387413828376400291940346597527551*c_1100_0^8 + 528645203141325988110149503335702154971185/617162223874138283764002\ 91940346597527551*c_1100_0^7 - 150193133970092448431356837706784562\ 8143766/61716222387413828376400291940346597527551*c_1100_0^6 + 63372720123422838030158197285090058219526/6171622238741382837640029\ 1940346597527551*c_1100_0^5 + 1474743412395482933596128658209216187\ 25277/61716222387413828376400291940346597527551*c_1100_0^4 - 732475815816212976945133468943457578864220/617162223874138283764002\ 91940346597527551*c_1100_0^3 + 103809868017473134011638527775620845\ 960057/61716222387413828376400291940346597527551*c_1100_0^2 + 262955896707893964637132829593067312472405/617162223874138283764002\ 91940346597527551*c_1100_0 - 37692242475933628742683114174318788116\ 082/61716222387413828376400291940346597527551, c_0101_1 + 1012812169025737822362711907501868764028/6171622238741382837\ 6400291940346597527551*c_1100_0^14 + 6090596822469435010084187142452924109893/61716222387413828376400291\ 940346597527551*c_1100_0^13 - 4178652745940187199043522946404713462\ 003/61716222387413828376400291940346597527551*c_1100_0^12 - 16288206390412742171294434003171118577821/6171622238741382837640029\ 1940346597527551*c_1100_0^11 + 135678517906791262879239971167851781\ 058691/61716222387413828376400291940346597527551*c_1100_0^10 + 47063646590024478390992281411886262352707/6171622238741382837640029\ 1940346597527551*c_1100_0^9 + 5633770600844531057984771809115865302\ 75201/61716222387413828376400291940346597527551*c_1100_0^8 - 410465917760727236813280945645615556025786/617162223874138283764002\ 91940346597527551*c_1100_0^7 + 134227392348472921814716298975964228\ 1728441/61716222387413828376400291940346597527551*c_1100_0^6 - 34191113061999980437089713737327403282981/6171622238741382837640029\ 1940346597527551*c_1100_0^5 + 4582650750463142760948019011047005290\ 2272/61716222387413828376400291940346597527551*c_1100_0^4 + 747004175537377537741121893793501155290913/617162223874138283764002\ 91940346597527551*c_1100_0^3 - 558595100254796674596316572510353552\ 05124/61716222387413828376400291940346597527551*c_1100_0^2 - 114985536464682268677882040859810998270134/617162223874138283764002\ 91940346597527551*c_1100_0 + 19825875394211872380430866846625763368\ 371/61716222387413828376400291940346597527551, c_0101_11 - 780067819039433431565970086359796335782/6171622238741382837\ 6400291940346597527551*c_1100_0^14 - 4581720639274118832204770628816131162473/61716222387413828376400291\ 940346597527551*c_1100_0^13 + 4255938063584011993081801328705226223\ 060/61716222387413828376400291940346597527551*c_1100_0^12 + 14377178541853773615705937433991370884253/6171622238741382837640029\ 1940346597527551*c_1100_0^11 - 108119882192029374261526670587907269\ 546236/61716222387413828376400291940346597527551*c_1100_0^10 - 29652840868333310335646629139116021868316/6171622238741382837640029\ 1940346597527551*c_1100_0^9 - 3789530817793691447348728163370722272\ 51131/61716222387413828376400291940346597527551*c_1100_0^8 + 400195865349492933448822803136947326002181/617162223874138283764002\ 91940346597527551*c_1100_0^7 - 892438654470919713514369580777643728\ 495806/61716222387413828376400291940346597527551*c_1100_0^6 - 49029856550543868575268631214483855361439/6171622238741382837640029\ 1940346597527551*c_1100_0^5 + 2979923268888678222394400567289020567\ 16074/61716222387413828376400291940346597527551*c_1100_0^4 - 633444990363665718071954369705952175627629/617162223874138283764002\ 91940346597527551*c_1100_0^3 + 364228381062039839390297588744438500\ 46486/61716222387413828376400291940346597527551*c_1100_0^2 + 156069229149243434015916164403625226289865/617162223874138283764002\ 91940346597527551*c_1100_0 - 41763253878738364447204458776889515268\ 294/61716222387413828376400291940346597527551, c_0101_2 + 1355507444416950161381964866834197537728/6171622238741382837\ 6400291940346597527551*c_1100_0^14 + 8146514769293661442356378576411913914571/61716222387413828376400291\ 940346597527551*c_1100_0^13 - 5985137349472676578070185997537661589\ 514/61716222387413828376400291940346597527551*c_1100_0^12 - 24022764238423424472609792686816744972378/6171622238741382837640029\ 1940346597527551*c_1100_0^11 + 182883103229384262341245544680714343\ 954721/61716222387413828376400291940346597527551*c_1100_0^10 + 69118392675580733743754480916027704713005/6171622238741382837640029\ 1940346597527551*c_1100_0^9 + 7072198137491750536747952326531116408\ 72118/61716222387413828376400291940346597527551*c_1100_0^8 - 578892401442290151414571514170116648436449/617162223874138283764002\ 91940346597527551*c_1100_0^7 + 159875043856045483740162729240820513\ 2056036/61716222387413828376400291940346597527551*c_1100_0^6 + 94990526328006602504954459018488449860253/6171622238741382837640029\ 1940346597527551*c_1100_0^5 - 3250402237972195472591387313737015882\ 55449/61716222387413828376400291940346597527551*c_1100_0^4 + 1011512806406656802391693711575861424415466/61716222387413828376400\ 291940346597527551*c_1100_0^3 - 88359607318567645248657578988262760\ 329097/61716222387413828376400291940346597527551*c_1100_0^2 - 259498642899146646486695826352957948001677/617162223874138283764002\ 91940346597527551*c_1100_0 + 67537624842554966973866463579950499471\ 758/61716222387413828376400291940346597527551, c_0110_2 - 3246983027958979620601684824874014008338/6171622238741382837\ 6400291940346597527551*c_1100_0^14 - 19242324438630711375943330463617441330029/6171622238741382837640029\ 1940346597527551*c_1100_0^13 + 157165923291927938060983347523268116\ 15437/61716222387413828376400291940346597527551*c_1100_0^12 + 55233432485278603244991602030353843002248/6171622238741382837640029\ 1940346597527551*c_1100_0^11 - 439294360184846190847312274438871170\ 698329/61716222387413828376400291940346597527551*c_1100_0^10 - 126235827210420839858337134066299087787316/617162223874138283764002\ 91940346597527551*c_1100_0^9 - 172157914635546415459810697460008962\ 4864702/61716222387413828376400291940346597527551*c_1100_0^8 + 1568668166828016832325939865552074777888360/61716222387413828376400\ 291940346597527551*c_1100_0^7 - 40609071436474543700763241897419978\ 31357907/61716222387413828376400291940346597527551*c_1100_0^6 + 441741621398339595574055304084335016856094/617162223874138283764002\ 91940346597527551*c_1100_0^5 + 266062702498145957587707159702103155\ 686867/61716222387413828376400291940346597527551*c_1100_0^4 - 2005214796525122206979384205456407481690660/61716222387413828376400\ 291940346597527551*c_1100_0^3 + 19426206620323300945761159778220220\ 2295394/61716222387413828376400291940346597527551*c_1100_0^2 + 509865009388917526132132893129933916111751/617162223874138283764002\ 91940346597527551*c_1100_0 - 80618744555934896925168437094141249619\ 383/61716222387413828376400291940346597527551, c_1001_0 - 1013836715162869649732516784068721898765/6171622238741382837\ 6400291940346597527551*c_1100_0^14 - 6732998650898035344721878169576376427182/61716222387413828376400291\ 940346597527551*c_1100_0^13 + 5461151735977460417251843419988198800\ 41/61716222387413828376400291940346597527551*c_1100_0^12 + 20213975449766234200882811950746994879637/6171622238741382837640029\ 1940346597527551*c_1100_0^11 - 125531017831701041653876429112528866\ 056155/61716222387413828376400291940346597527551*c_1100_0^10 - 136454738614059992231654541623520154684263/617162223874138283764002\ 91940346597527551*c_1100_0^9 - 571711238223847487292074555661340707\ 368759/61716222387413828376400291940346597527551*c_1100_0^8 + 85866649953712227022873329488177697745494/6171622238741382837640029\ 1940346597527551*c_1100_0^7 - 9746750876812958856605461152629343049\ 95398/61716222387413828376400291940346597527551*c_1100_0^6 - 829628767628815306577313218262151586568867/617162223874138283764002\ 91940346597527551*c_1100_0^5 + 106264808659348427417244276683926743\ 583637/61716222387413828376400291940346597527551*c_1100_0^4 - 682318312285854203276068916899453339175934/617162223874138283764002\ 91940346597527551*c_1100_0^3 - 452887726180937557368647725231881868\ 490568/61716222387413828376400291940346597527551*c_1100_0^2 + 172786440547684829597504081933257022130323/617162223874138283764002\ 91940346597527551*c_1100_0 + 39872266567693070923213715255603892641\ 756/61716222387413828376400291940346597527551, c_1001_6 - 734334807463805847970256158954387322399/61716222387413828376\ 400291940346597527551*c_1100_0^14 - 4237379672601307783331823971575537035697/61716222387413828376400291\ 940346597527551*c_1100_0^13 + 4242901743950569642147210935748257450\ 654/61716222387413828376400291940346597527551*c_1100_0^12 + 11713439166594123046455018078013521871589/6171622238741382837640029\ 1940346597527551*c_1100_0^11 - 103346885180030455061384792563914609\ 448145/61716222387413828376400291940346597527551*c_1100_0^10 - 13672195202715157151910320788641001949545/6171622238741382837640029\ 1940346597527551*c_1100_0^9 - 3764963129466881791716918824922174981\ 06406/61716222387413828376400291940346597527551*c_1100_0^8 + 385084905547362854990131527685414616070963/617162223874138283764002\ 91940346597527551*c_1100_0^7 - 102260523393839447904941948484549510\ 7101129/61716222387413828376400291940346597527551*c_1100_0^6 + 71739509396365203689815669994711537048252/6171622238741382837640029\ 1940346597527551*c_1100_0^5 + 7360821995352354997478084072204282268\ 0839/61716222387413828376400291940346597527551*c_1100_0^4 - 581566082773962953851914283197160115819177/617162223874138283764002\ 91940346597527551*c_1100_0^3 - 294442900480704784910193209693392467\ 40934/61716222387413828376400291940346597527551*c_1100_0^2 + 156731613584880653515105880499406066039561/617162223874138283764002\ 91940346597527551*c_1100_0 + 41284942905813998167926561789456721494\ 4/61716222387413828376400291940346597527551, c_1100_0^15 + 97/17*c_1100_0^14 - 104/17*c_1100_0^13 - 266/17*c_1100_0^12 + 2374/17*c_1100_0^11 + 132/17*c_1100_0^10 + 8886/17*c_1100_0^9 - 9884/17*c_1100_0^8 + 23416/17*c_1100_0^7 - 6254/17*c_1100_0^6 - 1850/17*c_1100_0^5 + 12688/17*c_1100_0^4 - 4062/17*c_1100_0^3 - 2714/17*c_1100_0^2 + 1230/17*c_1100_0 - 167/17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 8.280 Total time: 8.490 seconds, Total memory usage: 138.72MB