Magma V2.19-8 Tue Aug 20 2013 19:27:51 on localhost [Seed = 1494806640] Type ? for help. Type -D to quit. Loading file "11_243__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_243 geometric_solution 13.40012185 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 15 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 0 -1 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.547634387040 1.055735043708 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 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.612836926602 0.746376841719 6 7 8 0 0132 0132 0132 0132 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 1 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.644053209704 1.377632667704 6 6 0 5 3120 1230 0132 1230 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 -1 0 0 0 0 0 -2 2 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.761586693602 0.948861408630 9 1 10 11 0132 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.600078210526 0.265233547244 3 10 1 8 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.393431657464 0.425574576843 2 12 3 3 0132 0132 3012 3120 0 0 0 0 0 0 0 0 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 1 -1 0 1 0 -1 0 0 -2 0 2 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.761586693602 0.948861408630 13 2 8 12 0132 0132 0213 1302 0 0 0 0 0 0 0 0 -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 1 0 -1 -1 0 0 1 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.589202170118 0.863615483962 10 7 5 2 0321 0213 1230 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 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.040074957858 0.353173778118 4 11 14 13 0132 2103 0132 0213 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 1 -2 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.588124837651 0.597801132461 8 5 14 4 0321 0132 3012 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.752019558049 1.084168070235 14 9 4 14 0132 2103 0132 1302 0 0 0 0 0 1 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 0 0 0 0 1 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 0 0 0 0.587171922301 0.619613823174 13 6 7 13 1023 0132 2031 3012 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 -1 0 1 -1 0 1 0 0 0 0 0 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.050854699968 0.717194282521 7 12 12 9 0132 1023 1230 0213 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 1 0 -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.050854699968 0.717194282521 11 10 11 9 0132 1230 2031 0132 0 0 0 0 0 -1 0 1 -1 0 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 -2 0 2 -1 0 1 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.594285774709 0.249484323486 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_14' : negation(d['c_0101_14']), 'c_1001_11' : negation(d['c_0011_0']), 'c_1001_10' : d['c_0011_11'], 'c_1001_13' : d['c_0101_12'], 'c_1001_12' : negation(d['c_0011_3']), 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_0011_3']), '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' : d['c_0101_12'], 'c_1001_9' : d['c_0011_11'], 'c_1001_8' : d['c_1001_0'], 'c_1010_13' : d['c_0110_12'], 'c_1010_12' : negation(d['c_0011_3']), 'c_1010_11' : negation(d['c_0110_12']), 'c_1010_10' : d['c_1001_4'], 'c_1010_14' : d['c_0011_11'], 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_0_14' : d['1'], 's_3_14' : 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_11'], 'c_0101_14' : d['c_0101_14'], '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_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : negation(d['1']), 's_0_8' : d['1'], 's_0_9' : negation(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_14' : negation(d['c_0011_11']), 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_12'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1001_0']), 'c_1100_4' : d['c_0101_14'], 'c_1100_7' : d['c_0101_12'], 'c_1100_6' : negation(d['c_0101_1']), 'c_1100_1' : negation(d['c_1001_0']), 'c_1100_0' : d['c_0110_5'], 'c_1100_3' : d['c_0110_5'], 'c_1100_2' : d['c_0110_5'], 'c_1100_14' : d['c_0110_12'], 's_0_10' : d['1'], 'c_1100_9' : d['c_0110_12'], 'c_1100_11' : d['c_0101_14'], 'c_1100_10' : d['c_0101_14'], 'c_1100_13' : d['c_0110_12'], 's_3_10' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_0101_12'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : d['c_0011_11'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : d['c_0110_12'], 'c_1010_8' : d['c_0101_12'], 'c_1100_8' : d['c_0110_5'], '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_0101_12']), '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' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_0']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0101_13' : d['c_0011_3'], '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_3'], 'c_0011_2' : d['c_0011_12'], 'c_0110_11' : d['c_0101_14'], 'c_0110_10' : negation(d['c_0011_8']), 'c_0110_13' : d['c_0011_8'], 'c_0110_12' : d['c_0110_12'], 'c_0110_14' : d['c_0101_11'], 's_0_13' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0011_7' : negation(d['c_0011_12']), 's_2_14' : d['1'], 'c_0101_7' : d['c_0011_8'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_8']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_10']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_11'], 'c_0101_8' : negation(d['c_0011_11']), 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_8']), 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_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' : d['c_0011_3'], 'c_0110_6' : negation(d['c_0011_10'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0011_8, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_14, c_0110_12, c_0110_5, c_1001_0, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 47853645977923479314760989/24696607751491555325409004*c_1001_4^18 - 696811162735881999294139589/24696607751491555325409004*c_1001_4^17 + 2393313543946576192579599915/12348303875745777662704502*c_1001_4^16 - 20373633541726516683073217701/24696607751491555325409004*c_1001_4\ ^15 + 14815945815667179163065733994/6174151937872888831352251*c_100\ 1_4^14 - 30409902110493084341329228466/6174151937872888831352251*c_\ 1001_4^13 + 42552281913403647083423793781/6174151937872888831352251\ *c_1001_4^12 - 122967793409855305577346405271/246966077514915553254\ 09004*c_1001_4^11 - 53058134787293004158039274831/12348303875745777\ 662704502*c_1001_4^10 + 132277493025232391980910211516/617415193787\ 2888831352251*c_1001_4^9 - 256117738897060106913821364386/617415193\ 7872888831352251*c_1001_4^8 + 343032041468544373716427541209/617415\ 1937872888831352251*c_1001_4^7 - 701290016734957548480060099593/123\ 48303875745777662704502*c_1001_4^6 + 566443216175362180226626716569/12348303875745777662704502*c_1001_4^\ 5 - 368641019327079695877730172337/12348303875745777662704502*c_100\ 1_4^4 + 391351909130998754876161195349/24696607751491555325409004*c\ _1001_4^3 - 41825317197429864409399288288/6174151937872888831352251\ *c_1001_4^2 + 14186533924575994834828516613/61741519378728888313522\ 51*c_1001_4 - 5643789509936509522506345259/123483038757457776627045\ 02, c_0011_0 - 1, c_0011_10 + 39586302115136936464/2415139843581653087903*c_1001_4^18 - 587062743515551528371/2415139843581653087903*c_1001_4^17 + 4078367073173716510617/2415139843581653087903*c_1001_4^16 - 17367024194514118255871/2415139843581653087903*c_1001_4^15 + 49622523994477048790796/2415139843581653087903*c_1001_4^14 - 96662893685617453819652/2415139843581653087903*c_1001_4^13 + 118171346715223319388111/2415139843581653087903*c_1001_4^12 - 43179966189413755840452/2415139843581653087903*c_1001_4^11 - 172196338687412312601145/2415139843581653087903*c_1001_4^10 + 480848643803963916035276/2415139843581653087903*c_1001_4^9 - 752986375870735802257157/2415139843581653087903*c_1001_4^8 + 862073927254767855865427/2415139843581653087903*c_1001_4^7 - 770754296423186442461640/2415139843581653087903*c_1001_4^6 + 547696161780556828959228/2415139843581653087903*c_1001_4^5 - 311644207673679336141490/2415139843581653087903*c_1001_4^4 + 146857398110519390604492/2415139843581653087903*c_1001_4^3 - 60121153088294717580697/2415139843581653087903*c_1001_4^2 + 21335788261963527439054/2415139843581653087903*c_1001_4 - 3717775654652570837249/2415139843581653087903, c_0011_11 + 80498498533494923314/2415139843581653087903*c_1001_4^18 - 1195721738616090564173/2415139843581653087903*c_1001_4^17 + 8288886345062347035606/2415139843581653087903*c_1001_4^16 - 35094624231746185997614/2415139843581653087903*c_1001_4^15 + 99362775536447853205246/2415139843581653087903*c_1001_4^14 - 191216336874927182267339/2415139843581653087903*c_1001_4^13 + 230411094678944683578183/2415139843581653087903*c_1001_4^12 - 82346553513042103154842/2415139843581653087903*c_1001_4^11 - 331222232241079101713903/2415139843581653087903*c_1001_4^10 + 923607616981952605523949/2415139843581653087903*c_1001_4^9 - 1464076618592748186227583/2415139843581653087903*c_1001_4^8 + 1717609668410382162225564/2415139843581653087903*c_1001_4^7 - 1593642286666200388513658/2415139843581653087903*c_1001_4^6 + 1198209234406816138825695/2415139843581653087903*c_1001_4^5 - 742674164423845845953310/2415139843581653087903*c_1001_4^4 + 387441457432426274369042/2415139843581653087903*c_1001_4^3 - 169070011006201923854887/2415139843581653087903*c_1001_4^2 + 59485414744459643374090/2415139843581653087903*c_1001_4 - 12956581932203829699731/2415139843581653087903, c_0011_12 + 24591856847906868229/4830279687163306175806*c_1001_4^18 - 453226582363051587943/4830279687163306175806*c_1001_4^17 + 1884011581673226288965/2415139843581653087903*c_1001_4^16 - 18874491529308137692977/4830279687163306175806*c_1001_4^15 + 31649588812879365745522/2415139843581653087903*c_1001_4^14 - 73678041723207447307071/2415139843581653087903*c_1001_4^13 + 116151362208230598136327/2415139843581653087903*c_1001_4^12 - 203128047800909137234867/4830279687163306175806*c_1001_4^11 - 36794140317340899673560/2415139843581653087903*c_1001_4^10 + 309474065595467570485227/2415139843581653087903*c_1001_4^9 - 634110904300852443699153/2415139843581653087903*c_1001_4^8 + 873835589488234220434238/2415139843581653087903*c_1001_4^7 - 922434110486889622917653/2415139843581653087903*c_1001_4^6 + 772285575737092128513235/2415139843581653087903*c_1001_4^5 - 515778767147628441170083/2415139843581653087903*c_1001_4^4 + 548635798888813094565361/4830279687163306175806*c_1001_4^3 - 114290294985502488937667/2415139843581653087903*c_1001_4^2 + 33963847844275257636069/2415139843581653087903*c_1001_4 - 6259885743375070740397/2415139843581653087903, c_0011_3 - 37119131897022515773/4830279687163306175806*c_1001_4^18 + 535616610349909382163/4830279687163306175806*c_1001_4^17 - 1792725272657033193101/2415139843581653087903*c_1001_4^16 + 14502116562127498639709/4830279687163306175806*c_1001_4^15 - 19229381295859097433905/2415139843581653087903*c_1001_4^14 + 33194346453750515391061/2415139843581653087903*c_1001_4^13 - 30818363706202241698158/2415139843581653087903*c_1001_4^12 - 21900071934985660186837/4830279687163306175806*c_1001_4^11 + 94032175820529168797108/2415139843581653087903*c_1001_4^10 - 185274789008832772672713/2415139843581653087903*c_1001_4^9 + 236140879697863137150790/2415139843581653087903*c_1001_4^8 - 217538460521920313929410/2415139843581653087903*c_1001_4^7 + 140541924629989569158607/2415139843581653087903*c_1001_4^6 - 49455190366209790813323/2415139843581653087903*c_1001_4^5 - 10927558442553073063899/2415139843581653087903*c_1001_4^4 + 56622612472895411522103/4830279687163306175806*c_1001_4^3 - 22253151873186526988287/2415139843581653087903*c_1001_4^2 + 10237983776480858357837/2415139843581653087903*c_1001_4 - 1672567031151883141601/2415139843581653087903, c_0011_8 - 4321546528156353444/2415139843581653087903*c_1001_4^18 + 133393703891731245758/2415139843581653087903*c_1001_4^17 - 1433307062113156177459/2415139843581653087903*c_1001_4^16 + 8494768932882712944553/2415139843581653087903*c_1001_4^15 - 32380457939805995507492/2415139843581653087903*c_1001_4^14 + 84200548412475901890036/2415139843581653087903*c_1001_4^13 - 149010761329241670187134/2415139843581653087903*c_1001_4^12 + 158811032068905612223882/2415139843581653087903*c_1001_4^11 - 16345953863462853191372/2415139843581653087903*c_1001_4^10 - 318491850366644753565432/2415139843581653087903*c_1001_4^9 + 760417999972045801572078/2415139843581653087903*c_1001_4^8 - 1129742765044973770747414/2415139843581653087903*c_1001_4^7 + 1261421744155158135226746/2415139843581653087903*c_1001_4^6 - 1110108822117346698186258/2415139843581653087903*c_1001_4^5 + 777528267983330690796282/2415139843581653087903*c_1001_4^4 - 433530056616625683699590/2415139843581653087903*c_1001_4^3 + 190322172350377285285520/2415139843581653087903*c_1001_4^2 - 58977452211556947203376/2415139843581653087903*c_1001_4 + 12983050982797205589784/2415139843581653087903, c_0101_0 - 123369384746164403323/4830279687163306175806*c_1001_4^18 + 1798050081043853485497/4830279687163306175806*c_1001_4^17 - 6121945068425012426566/2415139843581653087903*c_1001_4^16 + 50978657644964868478951/4830279687163306175806*c_1001_4^15 - 71038122792328627009839/2415139843581653087903*c_1001_4^14 + 134656315829203216096756/2415139843581653087903*c_1001_4^13 - 159536928238621516146880/2415139843581653087903*c_1001_4^12 + 106298846833677177051881/4830279687163306175806*c_1001_4^11 + 237013260529063300978230/2415139843581653087903*c_1001_4^10 - 650935929839193964186486/2415139843581653087903*c_1001_4^9 + 1029453174680140519520558/2415139843581653087903*c_1001_4^8 - 1209001055619664030388590/2415139843581653087903*c_1001_4^7 + 1125537534538530241599878/2415139843581653087903*c_1001_4^6 - 850221315976648613409691/2415139843581653087903*c_1001_4^5 + 528119740601842988725940/2415139843581653087903*c_1001_4^4 - 545850847649428132331967/4830279687163306175806*c_1001_4^3 + 114945608199172223584061/2415139843581653087903*c_1001_4^2 - 38100971269222588665694/2415139843581653087903*c_1001_4 + 6675715060653749582246/2415139843581653087903, c_0101_1 - 85927251562296214147/4830279687163306175806*c_1001_4^18 + 1246111494323334765675/4830279687163306175806*c_1001_4^17 - 4244336709792062508975/2415139843581653087903*c_1001_4^16 + 35581779052486569705759/4830279687163306175806*c_1001_4^15 - 50382135234708834284110/2415139843581653087903*c_1001_4^14 + 98603940250406851492590/2415139843581653087903*c_1001_4^13 - 125370031700291057833880/2415139843581653087903*c_1001_4^12 + 125263964751836147492701/4830279687163306175806*c_1001_4^11 + 141689170734525512418317/2415139843581653087903*c_1001_4^10 - 463732547863494997230438/2415139843581653087903*c_1001_4^9 + 789692503991260082956958/2415139843581653087903*c_1001_4^8 - 975170630134759324975161/2415139843581653087903*c_1001_4^7 + 942062635334328835970847/2415139843581653087903*c_1001_4^6 - 728984436707133565965561/2415139843581653087903*c_1001_4^5 + 452338955686312440460421/2415139843581653087903*c_1001_4^4 - 445861055656658509567415/4830279687163306175806*c_1001_4^3 + 85464527460068211506520/2415139843581653087903*c_1001_4^2 - 26921448702546783846936/2415139843581653087903*c_1001_4 + 4826217435102626143293/2415139843581653087903, c_0101_11 + 62306868444828120326/2415139843581653087903*c_1001_4^18 - 934028116135153815285/2415139843581653087903*c_1001_4^17 + 6585179199362514395845/2415139843581653087903*c_1001_4^16 - 28620197400653172695182/2415139843581653087903*c_1001_4^15 + 84243846672856373938037/2415139843581653087903*c_1001_4^14 - 172139125741622686672040/2415139843581653087903*c_1001_4^13 + 231866516884441768527647/2415139843581653087903*c_1001_4^12 - 139975031401828392960192/2415139843581653087903*c_1001_4^11 - 208591448871343161373300/2415139843581653087903*c_1001_4^10 + 784391969477678450311344/2415139843581653087903*c_1001_4^9 - 1392664460643077032170777/2415139843581653087903*c_1001_4^8 + 1774753470877003557097166/2415139843581653087903*c_1001_4^7 - 1768828288828734366084416/2415139843581653087903*c_1001_4^6 + 1412726332856258493358762/2415139843581653087903*c_1001_4^5 - 908425360880740676493456/2415139843581653087903*c_1001_4^4 + 467653044655404245268076/2415139843581653087903*c_1001_4^3 - 185382550915191157949706/2415139843581653087903*c_1001_4^2 + 54133870754674936052226/2415139843581653087903*c_1001_4 - 9733933011110404780853/2415139843581653087903, c_0101_12 - 85927251562296214147/4830279687163306175806*c_1001_4^18 + 1246111494323334765675/4830279687163306175806*c_1001_4^17 - 4244336709792062508975/2415139843581653087903*c_1001_4^16 + 35581779052486569705759/4830279687163306175806*c_1001_4^15 - 50382135234708834284110/2415139843581653087903*c_1001_4^14 + 98603940250406851492590/2415139843581653087903*c_1001_4^13 - 125370031700291057833880/2415139843581653087903*c_1001_4^12 + 125263964751836147492701/4830279687163306175806*c_1001_4^11 + 141689170734525512418317/2415139843581653087903*c_1001_4^10 - 463732547863494997230438/2415139843581653087903*c_1001_4^9 + 789692503991260082956958/2415139843581653087903*c_1001_4^8 - 975170630134759324975161/2415139843581653087903*c_1001_4^7 + 942062635334328835970847/2415139843581653087903*c_1001_4^6 - 728984436707133565965561/2415139843581653087903*c_1001_4^5 + 452338955686312440460421/2415139843581653087903*c_1001_4^4 - 445861055656658509567415/4830279687163306175806*c_1001_4^3 + 85464527460068211506520/2415139843581653087903*c_1001_4^2 - 26921448702546783846936/2415139843581653087903*c_1001_4 + 4826217435102626143293/2415139843581653087903, c_0101_14 - 3746635990888363839/2415139843581653087903*c_1001_4^18 + 114044848102464887047/2415139843581653087903*c_1001_4^17 - 1205424372810909161703/2415139843581653087903*c_1001_4^16 + 7004364625655593314014/2415139843581653087903*c_1001_4^15 - 26072712455440945565868/2415139843581653087903*c_1001_4^14 + 65842681622487939188467/2415139843581653087903*c_1001_4^13 - 111971979479313373301160/2415139843581653087903*c_1001_4^12 + 110472848837660376329054/2415139843581653087903*c_1001_4^11 + 8774516745540122827336/2415139843581653087903*c_1001_4^10 - 266135418037268019135617/2415139843581653087903*c_1001_4^9 + 588081831948170598481744/2415139843581653087903*c_1001_4^8 - 837335231981904260207098/2415139843581653087903*c_1001_4^7 + 898277712596925543053856/2415139843581653087903*c_1001_4^6 - 755075504673862750709086/2415139843581653087903*c_1001_4^5 + 498184266853690601475944/2415139843581653087903*c_1001_4^4 - 254168199655793025260892/2415139843581653087903*c_1001_4^3 + 98284129733485451052950/2415139843581653087903*c_1001_4^2 - 24722736100618699034073/2415139843581653087903*c_1001_4 + 4135475663631612503492/2415139843581653087903, c_0110_12 - 65062016039093372271/2415139843581653087903*c_1001_4^18 + 935018044168042597215/2415139843581653087903*c_1001_4^17 - 6287914705043358424924/2415139843581653087903*c_1001_4^16 + 25913194154211600836484/2415139843581653087903*c_1001_4^15 - 71797734032560412503153/2415139843581653087903*c_1001_4^14 + 136597362393992613769694/2415139843581653087903*c_1001_4^13 - 166735613223689254592649/2415139843581653087903*c_1001_4^12 + 72601439603342906431839/2415139843581653087903*c_1001_4^11 + 206506092576176500795402/2415139843581653087903*c_1001_4^10 - 633819833898725045381648/2415139843581653087903*c_1001_4^9 + 1066159302800664800220359/2415139843581653087903*c_1001_4^8 - 1322097758499655499498324/2415139843581653087903*c_1001_4^7 + 1296845873449672635109085/2415139843581653087903*c_1001_4^6 - 1031509590903225350416024/2415139843581653087903*c_1001_4^5 + 668814488614476093044871/2415139843581653087903*c_1001_4^4 - 348998553542523930345199/2415139843581653087903*c_1001_4^3 + 140288982570945717509884/2415139843581653087903*c_1001_4^2 - 43686631709805845073576/2415139843581653087903*c_1001_4 + 7784156841103804888290/2415139843581653087903, c_0110_5 + 37119131897022515773/4830279687163306175806*c_1001_4^18 - 535616610349909382163/4830279687163306175806*c_1001_4^17 + 1792725272657033193101/2415139843581653087903*c_1001_4^16 - 14502116562127498639709/4830279687163306175806*c_1001_4^15 + 19229381295859097433905/2415139843581653087903*c_1001_4^14 - 33194346453750515391061/2415139843581653087903*c_1001_4^13 + 30818363706202241698158/2415139843581653087903*c_1001_4^12 + 21900071934985660186837/4830279687163306175806*c_1001_4^11 - 94032175820529168797108/2415139843581653087903*c_1001_4^10 + 185274789008832772672713/2415139843581653087903*c_1001_4^9 - 236140879697863137150790/2415139843581653087903*c_1001_4^8 + 217538460521920313929410/2415139843581653087903*c_1001_4^7 - 140541924629989569158607/2415139843581653087903*c_1001_4^6 + 49455190366209790813323/2415139843581653087903*c_1001_4^5 + 10927558442553073063899/2415139843581653087903*c_1001_4^4 - 56622612472895411522103/4830279687163306175806*c_1001_4^3 + 22253151873186526988287/2415139843581653087903*c_1001_4^2 - 10237983776480858357837/2415139843581653087903*c_1001_4 + 1672567031151883141601/2415139843581653087903, c_1001_0 - 166166663857272849853/4830279687163306175806*c_1001_4^18 + 2417665327063127167129/4830279687163306175806*c_1001_4^17 - 8223214278853301148717/2415139843581653087903*c_1001_4^16 + 68450285325266790577003/4830279687163306175806*c_1001_4^15 - 95482006779129954175753/2415139843581653087903*c_1001_4^14 + 181828205266002956270052/2415139843581653087903*c_1001_4^13 - 218964606706945214596343/2415139843581653087903*c_1001_4^12 + 168672297284502339102431/4830279687163306175806*c_1001_4^11 + 296835456434639136545463/2415139843581653087903*c_1001_4^10 - 857655834964320780478140/2415139843581653087903*c_1001_4^9 + 1396895850206259540592272/2415139843581653087903*c_1001_4^8 - 1688261088377276872623270/2415139843581653087903*c_1001_4^7 + 1621102359845680023443214/2415139843581653087903*c_1001_4^6 - 1269098763880457488185703/2415139843581653087903*c_1001_4^5 + 820280122263698389646424/2415139843581653087903*c_1001_4^4 - 877939923374973746935465/4830279687163306175806*c_1001_4^3 + 188816825579198898931556/2415139843581653087903*c_1001_4^2 - 63607073635610526116292/2415139843581653087903*c_1001_4 + 12776549921576780786683/2415139843581653087903, c_1001_4^19 - 15*c_1001_4^18 + 106*c_1001_4^17 - 463*c_1001_4^16 + 1376*c_1001_4^15 - 2864*c_1001_4^14 + 4016*c_1001_4^13 - 2841*c_1001_4^12 - 2572*c_1001_4^11 + 12186*c_1001_4^10 - 23192*c_1001_4^9 + 31250*c_1001_4^8 - 33082*c_1001_4^7 + 28502*c_1001_4^6 - 20278*c_1001_4^5 + 11989*c_1001_4^4 - 5854*c_1001_4^3 + 2346*c_1001_4^2 - 706*c_1001_4 + 142 ], Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0011_8, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_14, c_0110_12, c_0110_5, c_1001_0, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 610470740391947/3513200714121*c_1001_0*c_1001_4^14 - 2318571648537766/3513200714121*c_1001_0*c_1001_4^13 - 699706734696/1221133373*c_1001_0*c_1001_4^12 + 1885886493137959/1171066904707*c_1001_0*c_1001_4^11 + 10255170651024367/3513200714121*c_1001_0*c_1001_4^10 - 1692691552706906/501885816303*c_1001_0*c_1001_4^9 - 13224140329342942/1171066904707*c_1001_0*c_1001_4^8 - 1929639381384098/1171066904707*c_1001_0*c_1001_4^7 + 67625437048633451/3513200714121*c_1001_0*c_1001_4^6 + 53778460959203606/3513200714121*c_1001_0*c_1001_4^5 - 13360839785213554/1171066904707*c_1001_0*c_1001_4^4 - 69325262624300350/3513200714121*c_1001_0*c_1001_4^3 - 24578192288093974/3513200714121*c_1001_0*c_1001_4^2 - 361650833543882/3513200714121*c_1001_0*c_1001_4 + 477863758484111/3513200714121*c_1001_0 + 918753061444814/3513200714121*c_1001_4^14 + 3554607144530777/3513200714121*c_1001_4^13 + 1137293526374/1221133373*c_1001_4^12 - 8447924737805278/3513200714121*c_1001_4^11 - 16196552820447830/3513200714121*c_1001_4^10 + 811219086240922/167295272101*c_1001_4^9 + 20647319723115182/1171066904707*c_1001_4^8 + 12086650310135090/3513200714121*c_1001_4^7 - 34676318181912566/1171066904707*c_1001_4^6 - 29420903917880364/1171066904707*c_1001_4^5 + 60184351704668651/3513200714121*c_1001_4^4 + 110561203763302960/3513200714121*c_1001_4^3 + 39825906019570753/3513200714121*c_1001_4^2 + 622522300587916/3513200714121*c_1001_4 - 774980588299637/3513200714121, c_0011_0 - 1, c_0011_10 + 185909226/117071569*c_1001_4^14 + 911392958/117071569*c_1001_4^13 + 10084418/854537*c_1001_4^12 - 1107746962/117071569*c_1001_4^11 - 5082825720/117071569*c_1001_4^10 + 317754156/117071569*c_1001_4^9 + 16405265128/117071569*c_1001_4^8 + 14729114977/117071569*c_1001_4^7 - 19872631752/117071569*c_1001_4^6 - 39120424786/117071569*c_1001_4^5 - 3514967838/117071569*c_1001_4^4 + 35748999524/117071569*c_1001_4^3 + 28685933600/117071569*c_1001_4^2 + 6640054182/117071569*c_1001_4 + 263726210/117071569, c_0011_11 + 147948310/117071569*c_1001_4^14 + 759230266/117071569*c_1001_4^13 + 9062724/854537*c_1001_4^12 - 730484734/117071569*c_1001_4^11 - 4346897360/117071569*c_1001_4^10 - 437836476/117071569*c_1001_4^9 + 13606303986/117071569*c_1001_4^8 + 14255743508/117071569*c_1001_4^7 - 14954779860/117071569*c_1001_4^6 - 35156015509/117071569*c_1001_4^5 - 6853225076/117071569*c_1001_4^4 + 30413161898/117071569*c_1001_4^3 + 27507075104/117071569*c_1001_4^2 + 7323471911/117071569*c_1001_4 + 386584532/117071569, c_0011_12 - 89243424/117071569*c_1001_0*c_1001_4^14 - 373518749/117071569*c_1001_0*c_1001_4^13 - 3027154/854537*c_1001_0*c_1001_4^12 + 770300621/117071569*c_1001_0*c_1001_4^11 + 1882734514/117071569*c_1001_0*c_1001_4^10 - 1267933025/117071569*c_1001_0*c_1001_4^9 - 6759452909/117071569*c_1001_0*c_1001_4^8 - 2820706058/117071569*c_1001_0*c_1001_4^7 + 10606362940/117071569*c_1001_0*c_1001_4^6 + 11887391399/117071569*c_1001_0*c_1001_4^5 - 4617324566/117071569*c_1001_0*c_1001_4^4 - 13589201796/117071569*c_1001_0*c_1001_4^3 - 6217618540/117071569*c_1001_0*c_1001_4^2 - 15748354/117071569*c_1001_0*c_1001_4 + 97236319/117071569*c_1001_0 + 19785910/117071569*c_1001_4^14 + 102386171/117071569*c_1001_4^13 + 1283772/854537*c_1001_4^12 - 54528124/117071569*c_1001_4^11 - 524656662/117071569*c_1001_4^10 - 128444323/117071569*c_1001_4^9 + 1567709279/117071569*c_1001_4^8 + 1971552162/117071569*c_1001_4^7 - 1161093709/117071569*c_1001_4^6 - 4145138888/117071569*c_1001_4^5 - 2221910101/117071569*c_1001_4^4 + 2192558997/117071569*c_1001_4^3 + 3990119344/117071569*c_1001_4^2 + 2707316383/117071569*c_1001_4 + 819440612/117071569, c_0011_3 - 249530647/117071569*c_1001_0*c_1001_4^14 - 1105519184/117071569*c_1001_0*c_1001_4^13 - 9999659/854537*c_1001_0*c_1001_4^12 + 2024685588/117071569*c_1001_0*c_1001_4^11 + 5855105757/117071569*c_1001_0*c_1001_4^10 - 2783737341/117071569*c_1001_0*c_1001_4^9 - 20397639380/117071569*c_1001_0*c_1001_4^8 - 11257726995/117071569*c_1001_0*c_1001_4^7 + 30366616993/117071569*c_1001_0*c_1001_4^6 + 39528732459/117071569*c_1001_0*c_1001_4^5 - 10255194994/117071569*c_1001_0*c_1001_4^4 - 43088465410/117071569*c_1001_0*c_1001_4^3 - 21935739418/117071569*c_1001_0*c_1001_4^2 - 284698336/117071569*c_1001_0*c_1001_4 + 532676192/117071569*c_1001_0 + 129849714/117071569*c_1001_4^14 + 527516239/117071569*c_1001_4^13 + 3585076/854537*c_1001_4^12 - 1340911839/117071569*c_1001_4^11 - 2657982741/117071569*c_1001_4^10 + 2663857657/117071569*c_1001_4^9 + 10125192172/117071569*c_1001_4^8 + 1688096028/117071569*c_1001_4^7 - 18267200122/117071569*c_1001_4^6 - 14429761605/117071569*c_1001_4^5 + 13575088617/117071569*c_1001_4^4 + 20390064092/117071569*c_1001_4^3 + 2516129089/117071569*c_1001_4^2 - 4437239233/117071569*c_1001_4 - 474056656/117071569, c_0011_8 - 75838124/117071569*c_1001_4^14 - 405548637/117071569*c_1001_4^13 - 5425560/854537*c_1001_4^12 + 154937786/117071569*c_1001_4^11 + 2257613272/117071569*c_1001_4^10 + 946804643/117071569*c_1001_4^9 - 6593992808/117071569*c_1001_4^8 - 9395094958/117071569*c_1001_4^7 + 4696332416/117071569*c_1001_4^6 + 19959381170/117071569*c_1001_4^5 + 10081199340/117071569*c_1001_4^4 - 13695118840/117071569*c_1001_4^3 - 19675263484/117071569*c_1001_4^2 - 8665188257/117071569*c_1001_4 - 1058244512/117071569, c_0101_0 - 121732331/117071569*c_1001_0*c_1001_4^14 - 547642300/117071569*c_1001_0*c_1001_4^13 - 5048637/854537*c_1001_0*c_1001_4^12 + 977809251/117071569*c_1001_0*c_1001_4^11 + 2923557085/117071569*c_1001_0*c_1001_4^10 - 1301582660/117071569*c_1001_0*c_1001_4^9 - 10128227946/117071569*c_1001_0*c_1001_4^8 - 5801627578/117071569*c_1001_0*c_1001_4^7 + 14916273759/117071569*c_1001_0*c_1001_4^6 + 19807874889/117071569*c_1001_0*c_1001_4^5 - 4800780424/117071569*c_1001_0*c_1001_4^4 - 21376218287/117071569*c_1001_0*c_1001_4^3 - 11189424361/117071569*c_1001_0*c_1001_4^2 - 474056656/117071569*c_1001_0*c_1001_4 + 129849714/117071569*c_1001_0 + 89243424/117071569*c_1001_4^14 + 373518749/117071569*c_1001_4^13 + 3027154/854537*c_1001_4^12 - 770300621/117071569*c_1001_4^11 - 1882734514/117071569*c_1001_4^10 + 1267933025/117071569*c_1001_4^9 + 6759452909/117071569*c_1001_4^8 + 2820706058/117071569*c_1001_4^7 - 10606362940/117071569*c_1001_4^6 - 11887391399/117071569*c_1001_4^5 + 4617324566/117071569*c_1001_4^4 + 13589201796/117071569*c_1001_4^3 + 6217618540/117071569*c_1001_4^2 + 15748354/117071569*c_1001_4 - 97236319/117071569, c_0101_1 - 246921283/117071569*c_1001_0*c_1001_4^14 - 1112874084/117071569*c_1001_0*c_1001_4^13 - 10421372/854537*c_1001_0*c_1001_4^12 + 1926269684/117071569*c_1001_0*c_1001_4^11 + 5935986673/117071569*c_1001_0*c_1001_4^10 - 2429714519/117071569*c_1001_0*c_1001_4^9 - 20427490244/117071569*c_1001_0*c_1001_4^8 - 12341608807/117071569*c_1001_0*c_1001_4^7 + 29506070746/117071569*c_1001_0*c_1001_4^6 + 40887936199/117071569*c_1001_0*c_1001_4^5 - 7955653305/117071569*c_1001_0*c_1001_4^4 - 43101948478/117071569*c_1001_0*c_1001_4^3 - 24057297785/117071569*c_1001_0*c_1001_4^2 - 1650482355/117071569*c_1001_0*c_1001_4 + 474056656/117071569*c_1001_0 + 97236319/117071569*c_1001_4^14 + 396938171/117071569*c_1001_4^13 + 2951619/854537*c_1001_4^12 - 900901693/117071569*c_1001_4^11 - 1952316311/117071569*c_1001_4^10 + 1688261876/117071569*c_1001_4^9 + 7288863047/117071569*c_1001_4^8 + 2089052120/117071569*c_1001_4^7 - 12155392682/117071569*c_1001_4^6 - 11369045154/117071569*c_1001_4^5 + 7220048087/117071569*c_1001_4^4 + 14246521320/117071569*c_1001_4^3 + 4302280900/117071569*c_1001_4^2 - 1161329952/117071569*c_1001_4 - 15748354/117071569, c_0101_11 - 38026544/117071569*c_1001_4^14 - 259108960/117071569*c_1001_4^13 - 4384215/854537*c_1001_4^12 - 174428664/117071569*c_1001_4^11 + 1585359401/117071569*c_1001_4^10 + 1570481424/117071569*c_1001_4^9 - 4064570727/117071569*c_1001_4^8 - 8669211200/117071569*c_1001_4^7 + 630132492/117071569*c_1001_4^6 + 15964221560/117071569*c_1001_4^5 + 12013695510/117071569*c_1001_4^4 - 8899761860/117071569*c_1001_4^3 - 17385020425/117071569*c_1001_4^2 - 8676856784/117071569*c_1001_4 - 1356557247/117071569, c_0101_12 + 246921283/117071569*c_1001_0*c_1001_4^14 + 1112874084/117071569*c_1001_0*c_1001_4^13 + 10421372/854537*c_1001_0*c_1001_4^12 - 1926269684/117071569*c_1001_0*c_1001_4^11 - 5935986673/117071569*c_1001_0*c_1001_4^10 + 2429714519/117071569*c_1001_0*c_1001_4^9 + 20427490244/117071569*c_1001_0*c_1001_4^8 + 12341608807/117071569*c_1001_0*c_1001_4^7 - 29506070746/117071569*c_1001_0*c_1001_4^6 - 40887936199/117071569*c_1001_0*c_1001_4^5 + 7955653305/117071569*c_1001_0*c_1001_4^4 + 43101948478/117071569*c_1001_0*c_1001_4^3 + 24057297785/117071569*c_1001_0*c_1001_4^2 + 1650482355/117071569*c_1001_0*c_1001_4 - 474056656/117071569*c_1001_0 - 283145545/117071569*c_1001_4^14 - 1308331129/117071569*c_1001_4^13 - 13036037/854537*c_1001_4^12 + 2008648655/117071569*c_1001_4^11 + 7035142031/117071569*c_1001_4^10 - 2006016032/117071569*c_1001_4^9 - 23694128175/117071569*c_1001_4^8 - 16818167097/117071569*c_1001_4^7 + 32028024434/117071569*c_1001_4^6 + 50489469940/117071569*c_1001_4^5 - 3705080249/117071569*c_1001_4^4 - 49995520844/117071569*c_1001_4^3 - 32988214500/117071569*c_1001_4^2 - 5478724230/117071569*c_1001_4 - 247977856/117071569, c_0101_14 - 144814364/117071569*c_1001_4^14 - 701973740/117071569*c_1001_4^13 - 8086592/854537*c_1001_4^12 + 675553955/117071569*c_1001_4^11 + 3752041608/117071569*c_1001_4^10 + 228569788/117071569*c_1001_4^9 - 11802788504/117071569*c_1001_4^8 - 12415510690/117071569*c_1001_4^7 + 12066555032/117071569*c_1001_4^6 + 30147802568/117071569*c_1001_4^5 + 8558587016/117071569*c_1001_4^4 - 24083255169/117071569*c_1001_4^3 - 26374739980/117071569*c_1001_4^2 - 10021745504/117071569*c_1001_4 - 1096271056/117071569, c_0110_12 - 122858322/117071569*c_1001_4^14 - 576330694/117071569*c_1001_4^13 - 6063532/854537*c_1001_4^12 + 754263688/117071569*c_1001_4^11 + 3062770788/117071569*c_1001_4^10 - 490211716/117071569*c_1001_4^9 - 10055941704/117071569*c_1001_4^8 - 8381146160/117071569*c_1001_4^7 + 12267770381/117071569*c_1001_4^6 + 22848128880/117071569*c_1001_4^5 + 1932790179/117071569*c_1001_4^4 - 20496257230/117071569*c_1001_4^3 - 17270093622/117071569*c_1001_4^2 - 5209774248/117071569*c_1001_4 - 683417729/117071569, c_0110_5 - 249530647/117071569*c_1001_0*c_1001_4^14 - 1105519184/117071569*c_1001_0*c_1001_4^13 - 9999659/854537*c_1001_0*c_1001_4^12 + 2024685588/117071569*c_1001_0*c_1001_4^11 + 5855105757/117071569*c_1001_0*c_1001_4^10 - 2783737341/117071569*c_1001_0*c_1001_4^9 - 20397639380/117071569*c_1001_0*c_1001_4^8 - 11257726995/117071569*c_1001_0*c_1001_4^7 + 30366616993/117071569*c_1001_0*c_1001_4^6 + 39528732459/117071569*c_1001_0*c_1001_4^5 - 10255194994/117071569*c_1001_0*c_1001_4^4 - 43088465410/117071569*c_1001_0*c_1001_4^3 - 21935739418/117071569*c_1001_0*c_1001_4^2 - 284698336/117071569*c_1001_0*c_1001_4 + 532676192/117071569*c_1001_0 + 352324325/117071569*c_1001_4^14 + 1575719697/117071569*c_1001_4^13 + 14510335/854537*c_1001_4^12 - 2820201993/117071569*c_1001_4^11 - 8423759599/117071569*c_1001_4^10 + 3686290701/117071569*c_1001_4^9 + 29159043263/117071569*c_1001_4^8 + 16910037874/117071569*c_1001_4^7 - 42934774024/117071569*c_1001_4^6 - 57822858621/117071569*c_1001_4^5 + 13332436287/117071569*c_1001_4^4 + 62635119672/117071569*c_1001_4^3 + 32935051865/117071569*c_1001_4^2 + 119591671/117071569*c_1001_4 - 1520632641/117071569, c_1001_0^2 - 230806958/117071569*c_1001_0*c_1001_4^14 - 1140746680/117071569*c_1001_0*c_1001_4^13 - 12804568/854537*c_1001_0*c_1001_4^12 + 1338597628/117071569*c_1001_0*c_1001_4^11 + 6413308044/117071569*c_1001_0*c_1001_4^10 - 190549836/117071569*c_1001_0*c_1001_4^9 - 20565963963/117071569*c_1001_0*c_1001_4^8 - 19051737738/117071569*c_1001_0*c_1001_4^7 + 24582432833/117071569*c_1001_0*c_1001_4^6 + 49984045682/117071569*c_1001_0*c_1001_4^5 + 5414535817/117071569*c_1001_0*c_1001_4^4 - 45480377834/117071569*c_1001_0*c_1001_4^3 - 37074548008/117071569*c_1001_0*c_1001_4^2 - 8334060326/117071569*c_1001_0*c_1001_4 - 29943917/117071569*c_1001_0 + 1122414109/117071569*c_1001_4^14 + 5533025520/117071569*c_1001_4^13 + 63161051/854537*c_1001_4^12 - 5948005642/117071569*c_1001_4^11 - 30667808543/117071569*c_1001_4^10 - 552183687/117071569*c_1001_4^9 + 97436103306/117071569*c_1001_4^8 + 95901956574/117071569*c_1001_4^7 - 109736056043/117071569*c_1001_4^6 - 243056850502/117071569*c_1001_4^5 - 43381924198/117071569*c_1001_4^4 + 211354076948/117071569*c_1001_4^3 + 192712073530/117071569*c_1001_4^2 + 54209385397/117071569*c_1001_4 + 2589135196/117071569, c_1001_4^15 + 5*c_1001_4^14 + 8*c_1001_4^13 - 5*c_1001_4^12 - 28*c_1001_4^11 - 2*c_1001_4^10 + 88*c_1001_4^9 + 91*c_1001_4^8 - 96*c_1001_4^7 - 226*c_1001_4^6 - 48*c_1001_4^5 + 194*c_1001_4^4 + 184*c_1001_4^3 + 52*c_1001_4^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 52.470 Total time: 52.679 seconds, Total memory usage: 364.78MB