Magma V2.22-2 Sun Aug 9 2020 22:20:43 on zickert [Seed = 3568879547] Type ? for help. Type -D to quit. Loading file "ptolemy_data_link/15_tetrahedra/10_98__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_98 geometric_solution 14.41291902 oriented_manifold CS_unknown 1 0 torus 0.000000000000 0.000000000000 15 1 2 3 1 0132 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 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.096585425253 0.833320841325 0 4 5 0 0132 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 1 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.096585425253 0.833320841325 6 0 8 7 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 -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.305928561142 0.988459551491 9 6 9 0 0132 3201 3120 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 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.266312480264 0.780192360245 6 1 10 8 1023 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.671440592508 0.685384150392 11 6 12 1 0132 2310 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 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.725823343823 0.954495901820 2 4 3 5 0132 1023 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.374515514613 1.381416555319 11 10 2 13 3012 2031 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.784274918925 0.961407841889 4 10 12 2 3201 2103 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 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.825351706274 0.558719104767 3 11 3 13 0132 0132 3120 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.266312480264 0.780192360245 7 8 14 4 1302 2103 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.812749418311 1.028810771843 5 9 12 7 0132 0132 3120 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.001690592463 0.857322133581 14 8 11 5 0213 1230 3120 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 1.108204784974 0.731115459824 14 14 7 9 1302 3201 0132 0213 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 -1 0 0 1 11 -12 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.517317921734 0.829588649476 12 13 13 10 0213 2031 2310 0132 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 -11 12 -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.523971381516 0.900552828308 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d: { 'c_0011_0' : d['c_0011_0'], 'c_0011_1' : - d['c_0011_0'], 'c_0011_2' : - d['c_0011_0'], 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : d['c_0011_0'], 'c_1100_0' : - d['c_0101_0'], 'c_1100_3' : - d['c_0101_0'], 'c_0101_0' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_3' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_1100_1' : - d['c_0101_1'], 'c_0110_5' : d['c_0101_1'], 'c_1100_5' : - d['c_0101_1'], 'c_0101_11' : d['c_0101_1'], 'c_1100_12' : - d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_1001_0' : - d['c_0101_4'], 'c_1010_2' : - d['c_0101_4'], 'c_1010_3' : - d['c_0101_4'], 'c_1001_7' : - d['c_0101_4'], 'c_1001_6' : d['c_0101_4'], 'c_0110_10' : d['c_0101_4'], 'c_1010_0' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1010_1' : - d['c_1001_2'], 'c_1001_4' : - d['c_1001_2'], 'c_1010_8' : d['c_1001_2'], 'c_1010_10' : - d['c_1001_2'], 'c_1001_1' : - d['c_0101_2'], 'c_1010_4' : - d['c_0101_2'], 'c_1010_5' : - d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0110_6' : d['c_0101_2'], 'c_0110_8' : d['c_0101_2'], 'c_1001_3' : - d['c_0101_6'], 'c_0110_2' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_7' : d['c_0101_6'], 'c_1001_9' : d['c_0101_6'], 'c_1010_11' : d['c_0101_6'], 'c_1010_9' : d['c_1001_11'], 'c_1001_11' : d['c_1001_11'], 'c_1100_2' : d['c_1001_11'], 'c_1100_8' : d['c_1001_11'], 'c_1100_7' : d['c_1001_11'], 'c_1100_13' : d['c_1001_11'], 'c_1001_12' : - d['c_1001_11'], 'c_0011_5' : - d['c_0011_11'], 'c_0011_11' : d['c_0011_11'], 'c_0011_3' : d['c_0011_11'], 'c_0011_9' : - d['c_0011_11'], 'c_1100_6' : d['c_0011_11'], 'c_0101_3' : d['c_0101_3'], 'c_0110_9' : d['c_0101_3'], 'c_1100_9' : - d['c_0101_3'], 'c_0110_13' : - d['c_0101_3'], 'c_1010_13' : - d['c_0101_3'], 'c_1001_14' : d['c_0101_3'], 'c_1001_5' : d['c_0101_8'], 'c_0110_4' : - d['c_0101_8'], 'c_1010_6' : - d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 'c_1010_12' : d['c_0101_8'], 'c_0011_13' : d['c_0011_13'], 'c_1100_4' : d['c_0011_13'], 'c_1100_10' : d['c_0011_13'], 'c_0011_8' : d['c_0011_13'], 'c_1001_10' : d['c_0011_13'], 'c_1010_14' : d['c_0011_13'], 'c_1100_14' : d['c_0011_13'], 'c_0011_7' : d['c_0011_7'], 'c_0101_5' : d['c_0011_7'], 'c_0110_11' : d['c_0011_7'], 'c_0110_12' : d['c_0011_7'], 'c_0101_10' : - d['c_0011_7'], 'c_0110_14' : - d['c_0011_7'], 'c_0110_7' : - d['c_0011_14'], 'c_1100_11' : - d['c_0011_14'], 'c_0101_13' : - d['c_0011_14'], 'c_0101_12' : d['c_0011_14'], 'c_0011_14' : d['c_0011_14'], 'c_1001_8' : d['c_0011_10'], 'c_1010_7' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_1001_13' : d['c_0011_10'], 'c_0011_12' : - d['c_0011_10'], 'c_0101_14' : - d['c_0011_10'], 's_1_13' : d['1'], 's_0_13' : d['1'], 's_0_12' : d['1'], 's_2_11' : d['1'], 's_2_10' : d['1'], 's_3_9' : d['1'], 's_1_9' : d['1'], 's_2_8' : d['1'], 's_1_8' : d['1'], 's_3_7' : d['1'], 's_1_7' : d['1'], 's_0_7' : d['1'], 's_2_5' : d['1'], 's_1_5' : d['1'], 's_0_5' : d['1'], 's_3_4' : d['1'], 's_2_4' : d['1'], 's_0_4' : d['1'], 's_2_3' : - d['1'], 's_1_3' : d['1'], 's_0_3' : - d['1'], 's_3_2' : d['1'], 's_2_2' : d['1'], 's_0_2' : d['1'], 's_2_1' : d['1'], 's_1_1' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_1_0' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 's_1_2' : d['1'], 's_3_3' : d['1'], 's_3_1' : d['1'], 's_1_4' : d['1'], 's_3_5' : d['1'], 's_0_6' : d['1'], 's_3_8' : d['1'], 's_2_7' : d['1'], 's_0_9' : - d['1'], 's_2_6' : d['1'], 's_2_9' : - d['1'], 's_1_6' : d['1'], 's_3_10' : d['1'], 's_0_8' : d['1'], 's_0_11' : d['1'], 's_3_6' : d['1'], 's_3_12' : d['1'], 's_3_11' : d['1'], 's_0_10' : d['1'], 's_2_13' : d['1'], 's_1_10' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_3_13' : d['1'], 's_3_14' : d['1'], 's_2_12' : d['1'], 's_0_14' : d['1'], 's_1_14' : d['1'], 's_2_14' : d['1']})} PY=EVAL=SECTION=ENDS=HERE Status: Computing Groebner basis... Time: 12.070 Status: Saturating ideal ( 1 / 15 )... Time: 1.590 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 2 / 15 )... Time: 1.480 Status: Recomputing Groebner basis... Time: 0.750 Status: Saturating ideal ( 3 / 15 )... Time: 0.820 Status: Recomputing Groebner basis... Time: 0.200 Status: Saturating ideal ( 4 / 15 )... Time: 0.170 Status: Recomputing Groebner basis... Time: 0.100 Status: Saturating ideal ( 5 / 15 )... Time: 0.120 Status: Recomputing Groebner basis... Time: 0.090 Status: Saturating ideal ( 6 / 15 )... Time: 0.100 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 7 / 15 )... Time: 0.100 Status: Recomputing Groebner basis... Time: 0.080 Status: Saturating ideal ( 8 / 15 )... Time: 0.090 Status: Recomputing Groebner basis... Time: 0.070 Status: Saturating ideal ( 9 / 15 )... Time: 0.080 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 10 / 15 )... Time: 0.070 Status: Recomputing Groebner basis... Time: 0.060 Status: Saturating ideal ( 11 / 15 )... Time: 0.070 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 12 / 15 )... Time: 0.070 Status: Recomputing Groebner basis... Time: 0.060 Status: Saturating ideal ( 13 / 15 )... Time: 0.060 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 14 / 15 )... Time: 0.050 Status: Recomputing Groebner basis... Time: 0.000 Status: Saturating ideal ( 15 / 15 )... Time: 0.070 Status: Recomputing Groebner basis... Time: 0.000 Status: Dimension of ideal: 0 [] Status: Computing RadicalDecomposition Time: 0.160 Status: Number of components: 2 DECOMPOSITION=TYPE: RadicalDecomposition Status: Changing to term order lex ... Time: 0.000 Status: Recomputing Groebner basis... Time: 0.000 Status: Confirming is prime... Time: 1.660 Status: Changing to term order lex ... Time: 0.000 Status: Recomputing Groebner basis... Time: 0.000 Status: Confirming is prime... Time: 0.360 IDEAL=DECOMPOSITION=TIME: 20.820 IDEAL=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: c_0011_0, c_0011_10, c_0011_11, c_0011_13, c_0011_14, c_0011_7, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_4, c_0101_6, c_0101_8, c_1001_11, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Groebner basis: [ c_0011_0 - 1, c_0011_10 - 581917687817999293443892906099690322711467/4404829572592280\ 6312326277643616575761797867*c_1001_2^19 - 4583202009659591775125697451383515315306677/44048295725922806312326\ 277643616575761797867*c_1001_2^18 - 50027117880467043156583935038662914431947143/4404829572592280631232\ 6277643616575761797867*c_1001_2^17 - 301480640129544653380527116948651863826003985/440482957259228063123\ 26277643616575761797867*c_1001_2^16 - 1506685121281715084484037232495857056430474653/44048295725922806312\ 326277643616575761797867*c_1001_2^15 - 6192545289150915190898545660824069174252669218/44048295725922806312\ 326277643616575761797867*c_1001_2^14 - 18019285595111223319360207919804543544564091595/4404829572592280631\ 2326277643616575761797867*c_1001_2^13 - 37056958139536207664086483199677095871586945477/4404829572592280631\ 2326277643616575761797867*c_1001_2^12 - 62551410391274058209833088631107909554547149959/4404829572592280631\ 2326277643616575761797867*c_1001_2^11 - 108279327725290539117683025925239598327179094963/440482957259228063\ 12326277643616575761797867*c_1001_2^10 - 194522778888215111230541695735898073580841177027/440482957259228063\ 12326277643616575761797867*c_1001_2^9 - 304574804311221691542371993422287494104666181137/440482957259228063\ 12326277643616575761797867*c_1001_2^8 - 376001719850705539518472985390740929149802786309/440482957259228063\ 12326277643616575761797867*c_1001_2^7 - 358766524698303700825634111802053418317362503018/440482957259228063\ 12326277643616575761797867*c_1001_2^6 - 264273501931220891439143741842171204547798509054/440482957259228063\ 12326277643616575761797867*c_1001_2^5 - 149133370644855278035937490146874751097591657171/440482957259228063\ 12326277643616575761797867*c_1001_2^4 - 63243544624132801092913753431518710602297680720/4404829572592280631\ 2326277643616575761797867*c_1001_2^3 - 19261553949701258570236520269928618844610689790/4404829572592280631\ 2326277643616575761797867*c_1001_2^2 - 3782622949708908275091097246411909807607479571/44048295725922806312\ 326277643616575761797867*c_1001_2 - 373324831843408424358555099852619810683187627/440482957259228063123\ 26277643616575761797867, c_0011_11 - 153831632937796696214122397815843203228303/4404829572592280\ 6312326277643616575761797867*c_1001_2^19 - 1376892035120039859016444759797174231825208/44048295725922806312326\ 277643616575761797867*c_1001_2^18 - 14578368763221650090193734005180400659523209/4404829572592280631232\ 6277643616575761797867*c_1001_2^17 - 94199481466539722616012022414679128169393656/4404829572592280631232\ 6277643616575761797867*c_1001_2^16 - 487499878301956460165101944031990459315801969/440482957259228063123\ 26277643616575761797867*c_1001_2^15 - 2082127415755651897376232701017782084974044886/44048295725922806312\ 326277643616575761797867*c_1001_2^14 - 6599570257221991678895416259057787152292237711/44048295725922806312\ 326277643616575761797867*c_1001_2^13 - 15185418042988519069149674098243024047742481451/4404829572592280631\ 2326277643616575761797867*c_1001_2^12 - 27535905175951153695801580998945042799634216353/4404829572592280631\ 2326277643616575761797867*c_1001_2^11 - 46542822143532750762852072345335588756222494650/4404829572592280631\ 2326277643616575761797867*c_1001_2^10 - 81724963369598052495571011429887154988497557394/4404829572592280631\ 2326277643616575761797867*c_1001_2^9 - 135888021359545036243261401708860317325754510558/440482957259228063\ 12326277643616575761797867*c_1001_2^8 - 186643336261280955100331140896013818743806539668/440482957259228063\ 12326277643616575761797867*c_1001_2^7 - 198326317276468694873975654458556013723754242356/440482957259228063\ 12326277643616575761797867*c_1001_2^6 - 159576020101874712903700391567724813922306849921/440482957259228063\ 12326277643616575761797867*c_1001_2^5 - 96018592559681699162224658492103783063864408364/4404829572592280631\ 2326277643616575761797867*c_1001_2^4 - 42211726504673540632323176872737113582375842863/4404829572592280631\ 2326277643616575761797867*c_1001_2^3 - 12925684780297861892050264156877747710561931789/4404829572592280631\ 2326277643616575761797867*c_1001_2^2 - 2542012083398534218082556274234579337053666523/44048295725922806312\ 326277643616575761797867*c_1001_2 - 270929985008506917363008880817994765906875682/440482957259228063123\ 26277643616575761797867, c_0011_13 - 454024890101342693657915340506985897554968/4404829572592280\ 6312326277643616575761797867*c_1001_2^19 - 3464984563535006617445871617044427146430912/44048295725922806312326\ 277643616575761797867*c_1001_2^18 - 38109364008009834366123916148161861988255026/4404829572592280631232\ 6277643616575761797867*c_1001_2^17 - 225301935627394865276482847587201601541840528/440482957259228063123\ 26277643616575761797867*c_1001_2^16 - 1113974123709894374033324833707899528153791817/44048295725922806312\ 326277643616575761797867*c_1001_2^15 - 4519779657323031560131826052285529059556533893/44048295725922806312\ 326277643616575761797867*c_1001_2^14 - 12760270599244104228066155894650605096799575169/4404829572592280631\ 2326277643616575761797867*c_1001_2^13 - 25000362926011716456807631311478569484293231010/4404829572592280631\ 2326277643616575761797867*c_1001_2^12 - 40434256689181474450924409034850184039381023788/4404829572592280631\ 2326277643616575761797867*c_1001_2^11 - 70213326497467785735954447093539898569326863122/4404829572592280631\ 2326277643616575761797867*c_1001_2^10 - 127708822787318189907085694245098733307570658556/440482957259228063\ 12326277643616575761797867*c_1001_2^9 - 194539688525569979857095893319919530483884643204/440482957259228063\ 12326277643616575761797867*c_1001_2^8 - 223886788518965101436288145582131815264135843271/440482957259228063\ 12326277643616575761797867*c_1001_2^7 - 191802196770188017240778107027100555376789257488/440482957259228063\ 12326277643616575761797867*c_1001_2^6 - 122127684637169633783123381455278572487694026220/440482957259228063\ 12326277643616575761797867*c_1001_2^5 - 57001280355240311289740599925498730141136632494/4404829572592280631\ 2326277643616575761797867*c_1001_2^4 - 18989718161173273650131050364462669863401257589/4404829572592280631\ 2326277643616575761797867*c_1001_2^3 - 4313179436543725649621025921851772546478526622/44048295725922806312\ 326277643616575761797867*c_1001_2^2 - 655992386796533700143542732086444125423473837/440482957259228063123\ 26277643616575761797867*c_1001_2 - 63948957457806728871244808527514452984449362/4404829572592280631232\ 6277643616575761797867, c_0011_14 - 656636015777030249482970174435610688714178/4404829572592280\ 6312326277643616575761797867*c_1001_2^19 - 4888631282323669698662988894967032890422908/44048295725922806312326\ 277643616575761797867*c_1001_2^18 - 54305948634840814213781924600033573975932178/4404829572592280631232\ 6277643616575761797867*c_1001_2^17 - 316335722394633794572106113164336452366821173/440482957259228063123\ 26277643616575761797867*c_1001_2^16 - 1559716192713741359118354225007947782760653947/44048295725922806312\ 326277643616575761797867*c_1001_2^15 - 6285058488100136689255201318787535605885042948/44048295725922806312\ 326277643616575761797867*c_1001_2^14 - 17474030583421968460219884293026935462245557043/4404829572592280631\ 2326277643616575761797867*c_1001_2^13 - 33625611531887032011494950669819016361686194313/4404829572592280631\ 2326277643616575761797867*c_1001_2^12 - 53973169457704016751386828706728921142358965402/4404829572592280631\ 2326277643616575761797867*c_1001_2^11 - 94357326278022824332442370558027591950881697795/4404829572592280631\ 2326277643616575761797867*c_1001_2^10 - 171456293591333393524356050946853973229026978227/440482957259228063\ 12326277643616575761797867*c_1001_2^9 - 257632699591774141970791406768702768846795302167/440482957259228063\ 12326277643616575761797867*c_1001_2^8 - 290573134976796655060333357040794247351343100537/440482957259228063\ 12326277643616575761797867*c_1001_2^7 - 242383779451092041055692888188421044175196290145/440482957259228063\ 12326277643616575761797867*c_1001_2^6 - 148144906184180937917891945190780987332693944201/440482957259228063\ 12326277643616575761797867*c_1001_2^5 - 64197121640036835801066481258964278831912006766/4404829572592280631\ 2326277643616575761797867*c_1001_2^4 - 18200046127955969309026860169517841206530982169/4404829572592280631\ 2326277643616575761797867*c_1001_2^3 - 2524148445207327192447695762808914912138946487/44048295725922806312\ 326277643616575761797867*c_1001_2^2 + 115378777801463435241529063065825038457234193/440482957259228063123\ 26277643616575761797867*c_1001_2 + 80468873605906671161877200968254568170905786/4404829572592280631232\ 6277643616575761797867, c_0011_7 - 1670767060989780359595081846445069561686250/4404829572592280\ 6312326277643616575761797867*c_1001_2^19 - 12624019329500004822626714450338724158260909/4404829572592280631232\ 6277643616575761797867*c_1001_2^18 - 139494504085717886280230012866756615428366029/440482957259228063123\ 26277643616575761797867*c_1001_2^17 - 820022583103699550930354424526570078122384214/440482957259228063123\ 26277643616575761797867*c_1001_2^16 - 4054275225857893618251887059128371989268731809/44048295725922806312\ 326277643616575761797867*c_1001_2^15 - 16421944128326765307259585377025116518306878653/4404829572592280631\ 2326277643616575761797867*c_1001_2^14 - 46186726102290211548788174139454462879855801623/4404829572592280631\ 2326277643616575761797867*c_1001_2^13 - 90384795710555172785970203226271934555102657051/4404829572592280631\ 2326277643616575761797867*c_1001_2^12 - 147016193019551383306272312806915824620194696377/440482957259228063\ 12326277643616575761797867*c_1001_2^11 - 256556745500088373472210874246440592758731167300/440482957259228063\ 12326277643616575761797867*c_1001_2^10 - 465113433703000923270692563593149210795838399727/440482957259228063\ 12326277643616575761797867*c_1001_2^9 - 706682042827417301258018042792961900767669955981/440482957259228063\ 12326277643616575761797867*c_1001_2^8 - 817793298727317306274826689497968897022844722392/440482957259228063\ 12326277643616575761797867*c_1001_2^7 - 712604856296183498444301133834526636289301952656/440482957259228063\ 12326277643616575761797867*c_1001_2^6 - 468366898816743508108501479322429864041805584845/440482957259228063\ 12326277643616575761797867*c_1001_2^5 - 230372658402600974626797935609247928296858927873/440482957259228063\ 12326277643616575761797867*c_1001_2^4 - 83152574904155024818501210810725835029609962782/4404829572592280631\ 2326277643616575761797867*c_1001_2^3 - 20949716656926038632313758605905643918503524970/4404829572592280631\ 2326277643616575761797867*c_1001_2^2 - 3360652360412454394437828961912804478933655315/44048295725922806312\ 326277643616575761797867*c_1001_2 - 257730805685434173036152291433849709639906540/440482957259228063123\ 26277643616575761797867, c_0101_0 + 439470295905698449713604859576594529153653/44048295725922806\ 312326277643616575761797867*c_1001_2^19 + 2379900282744039848323647955259712674843097/44048295725922806312326\ 277643616575761797867*c_1001_2^18 + 29807448346376025935156946770374014527943086/4404829572592280631232\ 6277643616575761797867*c_1001_2^17 + 138857550363640016796771324860062500293713689/440482957259228063123\ 26277643616575761797867*c_1001_2^16 + 623343813617416307675654921930815941720745177/440482957259228063123\ 26277643616575761797867*c_1001_2^15 + 2146914779964196082030157578997903447479849863/44048295725922806312\ 326277643616575761797867*c_1001_2^14 + 3442553709547898911988162750250109084550179123/44048295725922806312\ 326277643616575761797867*c_1001_2^13 - 46155710871619641868513577825095639259591543/4404829572592280631232\ 6277643616575761797867*c_1001_2^12 - 6123917864402993845401308226000646375571907440/44048295725922806312\ 326277643616575761797867*c_1001_2^11 - 3635131714748642281547150851478032091660024770/44048295725922806312\ 326277643616575761797867*c_1001_2^10 - 3622411580991649734954488839901692838052884176/44048295725922806312\ 326277643616575761797867*c_1001_2^9 - 43560441189479502192331718239300782007694251557/4404829572592280631\ 2326277643616575761797867*c_1001_2^8 - 123325842271472104870373030530791333059118447777/440482957259228063\ 12326277643616575761797867*c_1001_2^7 - 184064301115818362781595328605615237065314446448/440482957259228063\ 12326277643616575761797867*c_1001_2^6 - 179165890877349747157031283877391881107451459311/440482957259228063\ 12326277643616575761797867*c_1001_2^5 - 121880965671826196888451505553289515579582041737/440482957259228063\ 12326277643616575761797867*c_1001_2^4 - 58384047103202787219119449348396821888069100845/4404829572592280631\ 2326277643616575761797867*c_1001_2^3 - 19346290039754173417814519908578238755610508057/4404829572592280631\ 2326277643616575761797867*c_1001_2^2 - 4010365022382241687106268951856371345689865585/44048295725922806312\ 326277643616575761797867*c_1001_2 - 434839919182954406010187512617152541914017018/440482957259228063123\ 26277643616575761797867, c_0101_1 - 978564911279603100724599206145319303174708/44048295725922806\ 312326277643616575761797867*c_1001_2^19 - 7575043831687716101798508129353578205591499/44048295725922806312326\ 277643616575761797867*c_1001_2^18 - 82907426532468017052312089774880833111264031/4404829572592280631232\ 6277643616575761797867*c_1001_2^17 - 494266233220204984664159553920698239383198834/440482957259228063123\ 26277643616575761797867*c_1001_2^16 - 2450490493600712258689881855761762221612860602/44048295725922806312\ 326277643616575761797867*c_1001_2^15 - 9984750462860375605942333394783103463559152982/44048295725922806312\ 326277643616575761797867*c_1001_2^14 - 28475152624813820415768328499355638802217373512/4404829572592280631\ 2326277643616575761797867*c_1001_2^13 - 56531187094550808074197297882761726792675544845/4404829572592280631\ 2326277643616575761797867*c_1001_2^12 - 92144390582080594798687420089751708443374837475/4404829572592280631\ 2326277643616575761797867*c_1001_2^11 - 159352304545494184586519254173945104284519365899/440482957259228063\ 12326277643616575761797867*c_1001_2^10 - 289420763224978483408996746494049409431995650683/440482957259228063\ 12326277643616575761797867*c_1001_2^9 - 444856749914010342182666535061972524543666383148/440482957259228063\ 12326277643616575761797867*c_1001_2^8 - 520385850215863269655688898457552407075591880953/440482957259228063\ 12326277643616575761797867*c_1001_2^7 - 455463354208485102666338291371322576390003982886/440482957259228063\ 12326277643616575761797867*c_1001_2^6 - 297795131552243506411788086275974226608307718807/440482957259228063\ 12326277643616575761797867*c_1001_2^5 - 143590437832269696926949146361726251044447232885/440482957259228063\ 12326277643616575761797867*c_1001_2^4 - 49728932848532550958659084984237447640695821867/4404829572592280631\ 2326277643616575761797867*c_1001_2^3 - 11732325608139926986111185427952131802881404594/4404829572592280631\ 2326277643616575761797867*c_1001_2^2 - 1724668469179952149604762465353719554223264491/44048295725922806312\ 326277643616575761797867*c_1001_2 - 144901505189166381406222130799509778880876037/440482957259228063123\ 26277643616575761797867, c_0101_2 - 856524571530403975266005609143627387598792/44048295725922806\ 312326277643616575761797867*c_1001_2^19 - 6318604661583972147957631047941282777660510/44048295725922806312326\ 277643616575761797867*c_1001_2^18 - 70396096433824503097285009731014986611995014/4404829572592280631232\ 6277643616575761797867*c_1001_2^17 - 407767154875090513923164205614035506863632883/440482957259228063123\ 26277643616575761797867*c_1001_2^16 - 2005707486286372395541599370015145097370192304/44048295725922806312\ 326277643616575761797867*c_1001_2^15 - 8056020087350767620539738314476337661135636455/44048295725922806312\ 326277643616575761797867*c_1001_2^14 - 22209825868101840799098699391035947240683656461/4404829572592280631\ 2326277643616575761797867*c_1001_2^13 - 42205522520532792265023796764064332488988433789/4404829572592280631\ 2326277643616575761797867*c_1001_2^12 - 67044225497276874275800189118847797264209216791/4404829572592280631\ 2326277643616575761797867*c_1001_2^11 - 117255606981956500135183026315160041112526569098/440482957259228063\ 12326277643616575761797867*c_1001_2^10 - 213394769321830957373054454737095606310884705873/440482957259228063\ 12326277643616575761797867*c_1001_2^9 - 318237123314214947625304755814690483025897424665/440482957259228063\ 12326277643616575761797867*c_1001_2^8 - 351526496131834628795855409987392885632336628060/440482957259228063\ 12326277643616575761797867*c_1001_2^7 - 281260443592816063208035694392935591244537188870/440482957259228063\ 12326277643616575761797867*c_1001_2^6 - 159049322596177614632552990525013837674221502633/440482957259228063\ 12326277643616575761797867*c_1001_2^5 - 59173022280040145115138406359888330986006617365/4404829572592280631\ 2326277643616575761797867*c_1001_2^4 - 11180944118923399275492136869038639200457559481/4404829572592280631\ 2326277643616575761797867*c_1001_2^3 + 1066497069886244761394596888714971198405025321/44048295725922806312\ 326277643616575761797867*c_1001_2^2 + 1044371279485260497258003236225953233698307130/44048295725922806312\ 326277643616575761797867*c_1001_2 + 204830242156338905680097668817094332237282357/440482957259228063123\ 26277643616575761797867, c_0101_3 - 522852590366137592687026755193866963552623/44048295725922806\ 312326277643616575761797867*c_1001_2^19 - 4407250573225161145682648536635944668953711/44048295725922806312326\ 277643616575761797867*c_1001_2^18 - 46952859600822949035818324345808320835060589/4404829572592280631232\ 6277643616575761797867*c_1001_2^17 - 293607720750511064685413113856891819388356394/440482957259228063123\ 26277643616575761797867*c_1001_2^16 - 1480354013848000049967704791748971372570009178/44048295725922806312\ 326277643616575761797867*c_1001_2^15 - 6173729368922404066744593812951293143919538662/44048295725922806312\ 326277643616575761797867*c_1001_2^14 - 18582161847203057155868364505143192513650854092/4404829572592280631\ 2326277643616575761797867*c_1001_2^13 - 39456922313761190303953998895253424536950591503/4404829572592280631\ 2326277643616575761797867*c_1001_2^12 - 66691128018547895816674298401032945371749359535/4404829572592280631\ 2326277643616575761797867*c_1001_2^11 - 112857661096739992948355174242096989108514293079/440482957259228063\ 12326277643616575761797867*c_1001_2^10 - 203664415598379071965913307829023249303514753358/440482957259228063\ 12326277643616575761797867*c_1001_2^9 - 327132556150299086352468960076957929421716758748/440482957259228063\ 12326277643616575761797867*c_1001_2^8 - 410326155056145055224300198454438507761111604920/440482957259228063\ 12326277643616575761797867*c_1001_2^7 - 388979556423057133077006262505419570775062106432/440482957259228063\ 12326277643616575761797867*c_1001_2^6 - 278172494680870259101712714812282075813703944925/440482957259228063\ 12326277643616575761797867*c_1001_2^5 - 149242657259240984880769541916493165141899355599/440482957259228063\ 12326277643616575761797867*c_1001_2^4 - 59053308359152397553914804830903971430705119382/4404829572592280631\ 2326277643616575761797867*c_1001_2^3 - 16669597941551085160084659653170180443586504523/4404829572592280631\ 2326277643616575761797867*c_1001_2^2 - 3082237894333540293933089069029830609564877595/44048295725922806312\ 326277643616575761797867*c_1001_2 - 318440916820650046012442672300615132462578588/440482957259228063123\ 26277643616575761797867, c_0101_4 - 670191301938993132331417098434378379729835/44048295725922806\ 312326277643616575761797867*c_1001_2^19 - 4727699942645774442631052131149350246868548/44048295725922806312326\ 277643616575761797867*c_1001_2^18 - 53269880771311725847033318125445649349467245/4404829572592280631232\ 6277643616575761797867*c_1001_2^17 - 299794972494617949552917979934877664729337890/440482957259228063123\ 26277643616575761797867*c_1001_2^16 - 1449370797066650090643457373508509891317217028/44048295725922806312\ 326277643616575761797867*c_1001_2^15 - 5702503371914649148835669919543726587718635254/44048295725922806312\ 326277643616575761797867*c_1001_2^14 - 14884102471978662935146254148459739822778702104/4404829572592280631\ 2326277643616575761797867*c_1001_2^13 - 25606274954985810296908205725773813234347020374/4404829572592280631\ 2326277643616575761797867*c_1001_2^12 - 37070346192389585010220907051114601746879256608/4404829572592280631\ 2326277643616575761797867*c_1001_2^11 - 66389592681644370811570123030703388116376451705/4404829572592280631\ 2326277643616575761797867*c_1001_2^10 - 124181793772022725298862486985451917891535712743/440482957259228063\ 12326277643616575761797867*c_1001_2^9 - 171081046747095244346852528839234279299494316190/440482957259228063\ 12326277643616575761797867*c_1001_2^8 - 151191140888075233808494674960214177542751781318/440482957259228063\ 12326277643616575761797867*c_1001_2^7 - 70024949078877188698424688887345371906631991612/4404829572592280631\ 2326277643616575761797867*c_1001_2^6 + 9767848723012005816978700292481481282464728933/44048295725922806312\ 326277643616575761797867*c_1001_2^5 + 41779442859335021872688556293202941820618346458/4404829572592280631\ 2326277643616575761797867*c_1001_2^4 + 32922725849926373669992020390716040459033757759/4404829572592280631\ 2326277643616575761797867*c_1001_2^3 + 14443330213832123499519090732659262103809941243/4404829572592280631\ 2326277643616575761797867*c_1001_2^2 + 3574450279724624061758044363172398766277474430/44048295725922806312\ 326277643616575761797867*c_1001_2 + 430564248655251399123153132197763466089378691/440482957259228063123\ 26277643616575761797867, c_0101_6 + 537018224497359320271071068832346317506906/44048295725922806\ 312326277643616575761797867*c_1001_2^19 + 4046132281860945750171965909244299487999574/44048295725922806312326\ 277643616575761797867*c_1001_2^18 + 44732912945314183664886748060872055125795430/4404829572592280631232\ 6277643616575761797867*c_1001_2^17 + 262465064403008089030850151421193141718552868/440482957259228063123\ 26277643616575761797867*c_1001_2^16 + 1295921747644625208067465529394714675077475052/44048295725922806312\ 326277643616575761797867*c_1001_2^15 + 5240413248611366752609446452392568874068882961/44048295725922806312\ 326277643616575761797867*c_1001_2^14 + 14680639998733120426324327361053433066443378566/4404829572592280631\ 2326277643616575761797867*c_1001_2^13 + 28514506751246962818202688806972273740674681585/4404829572592280631\ 2326277643616575761797867*c_1001_2^12 + 45947241819376623579761447696582663982769825831/4404829572592280631\ 2326277643616575761797867*c_1001_2^11 + 79918863958893322089494594412170941330147493703/4404829572592280631\ 2326277643616575761797867*c_1001_2^10 + 145101793948849820843112569715220693612675650907/440482957259228063\ 12326277643616575761797867*c_1001_2^9 + 219707038058978257876380606766613606610071427299/440482957259228063\ 12326277643616575761797867*c_1001_2^8 + 250453819219321436424508828731949798904387512304/440482957259228063\ 12326277643616575761797867*c_1001_2^7 + 210677560487038471626146574451851794458334692822/440482957259228063\ 12326277643616575761797867*c_1001_2^6 + 129130484021895601129560344016785246234955067356/440482957259228063\ 12326277643616575761797867*c_1001_2^5 + 55765765331690492888533722877397847024591320358/4404829572592280631\ 2326277643616575761797867*c_1001_2^4 + 15629860759686610971397667951918285994643693836/4404829572592280631\ 2326277643616575761797867*c_1001_2^3 + 2082325410610668974477093751185292695189017172/44048295725922806312\ 326277643616575761797867*c_1001_2^2 - 104300758218667638817497336189882761408042751/440482957259228063123\ 26277643616575761797867*c_1001_2 - 69351677104243405159835464847335685762982625/4404829572592280631232\ 6277643616575761797867, c_0101_8 - 164468278775900186437343230445437001840095/44048295725922806\ 312326277643616575761797867*c_1001_2^19 - 861721340105858797840830503056510117165792/440482957259228063123262\ 77643616575761797867*c_1001_2^18 - 10843755689968309602602989431708592013657353/4404829572592280631232\ 6277643616575761797867*c_1001_2^17 - 48894355464441364259230652757474311985155229/4404829572592280631232\ 6277643616575761797867*c_1001_2^16 - 211690281080171930087538115706324512347291887/440482957259228063123\ 26277643616575761797867*c_1001_2^15 - 691558640691937872675829150122107878046771093/440482957259228063123\ 26277643616575761797867*c_1001_2^14 - 802084907307546672607726198467921445985260117/440482957259228063123\ 26277643616575761797867*c_1001_2^13 + 1614748751437676293766717197054675793101857304/44048295725922806312\ 326277643616575761797867*c_1001_2^12 + 5955594116877578468109034598818746419217590390/44048295725922806312\ 326277643616575761797867*c_1001_2^11 + 7600796324033416631691830568105813614035498558/44048295725922806312\ 326277643616575761797867*c_1001_2^10 + 11408844699096105376587436450387016620413776537/4404829572592280631\ 2326277643616575761797867*c_1001_2^9 + 34603988045396197965651440862858628313900239436/4404829572592280631\ 2326277643616575761797867*c_1001_2^8 + 77272325543844163825592233923248939238880347349/4404829572592280631\ 2326277643616575761797867*c_1001_2^7 + 109421142666186745080744628116099243345477565741/440482957259228063\ 12326277643616575761797867*c_1001_2^6 + 105395168213135784491818219361520426846054867148/440482957259228063\ 12326277643616575761797867*c_1001_2^5 + 71833778392335684471143133614755273635998495505/4404829572592280631\ 2326277643616575761797867*c_1001_2^4 + 34667968311982049073227325320082394224268292349/4404829572592280631\ 2326277643616575761797867*c_1001_2^3 + 11623183954800704299602447072811546550983402539/4404829572592280631\ 2326277643616575761797867*c_1001_2^2 + 2547312730312903791496153364674875998452774200/44048295725922806312\ 326277643616575761797867*c_1001_2 + 309845065945300694998698648230320318012769048/440482957259228063123\ 26277643616575761797867, c_1001_11 - 250013514117928811996602641414471052055674/4404829572592280\ 6312326277643616575761797867*c_1001_2^19 - 1987672585956077198696434927542074497305392/44048295725922806312326\ 277643616575761797867*c_1001_2^18 - 21617576356094991392546443991118060242600406/4404829572592280631232\ 6277643616575761797867*c_1001_2^17 - 130935674844858505892770300492829490538374190/440482957259228063123\ 26277643616575761797867*c_1001_2^16 - 654972819920643865326371741248928999521931107/440482957259228063123\ 26277643616575761797867*c_1001_2^15 - 2696195709552432459006990284223629075445085782/44048295725922806312\ 326277643616575761797867*c_1001_2^14 - 7877607268265586238606984314589339157815817317/44048295725922806312\ 326277643616575761797867*c_1001_2^13 - 16237320504519596270347497789927710199259861345/4404829572592280631\ 2326277643616575761797867*c_1001_2^12 - 27288232270412508453500407343105683419026178701/4404829572592280631\ 2326277643616575761797867*c_1001_2^11 - 46905313092609522604566993448302905787696041051/4404829572592280631\ 2326277643616575761797867*c_1001_2^10 - 84296830756078863891791641015102314345318031677/4404829572592280631\ 2326277643616575761797867*c_1001_2^9 - 132445008011316235162647282985132616594894027850/440482957259228063\ 12326277643616575761797867*c_1001_2^8 - 163073161289286683940191841607671601522216703622/440482957259228063\ 12326277643616575761797867*c_1001_2^7 - 153003854618731059679892805557802203286283151676/440482957259228063\ 12326277643616575761797867*c_1001_2^6 - 108452796664928495172398996758327159830068013724/440482957259228063\ 12326277643616575761797867*c_1001_2^5 - 57292380963034308487531343555894852805936578810/4404829572592280631\ 2326277643616575761797867*c_1001_2^4 - 21970720864626054980464179421815498865945302568/4404829572592280631\ 2326277643616575761797867*c_1001_2^3 - 5682296254755599556423014078152099783626043798/44048295725922806312\ 326277643616575761797867*c_1001_2^2 - 823836679888754566040493416558053906407722405/440482957259228063123\ 26277643616575761797867*c_1001_2 - 20930909438257671440473321685097328656537759/4404829572592280631232\ 6277643616575761797867, c_1001_2^20 + 8*c_1001_2^19 + 87*c_1001_2^18 + 529*c_1001_2^17 + 2657*c_1001_2^16 + 10978*c_1001_2^15 + 32358*c_1001_2^14 + 67767*c_1001_2^13 + 115796*c_1001_2^12 + 199634*c_1001_2^11 + 357543*c_1001_2^10 + 566096*c_1001_2^9 + 713009*c_1001_2^8 + 695974*c_1001_2^7 + 525372*c_1001_2^6 + 305797*c_1001_2^5 + 135791*c_1001_2^4 + 44790*c_1001_2^3 + 10469*c_1001_2^2 + 1569*c_1001_2 + 121 ], Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: c_0011_0, c_0011_10, c_0011_11, c_0011_13, c_0011_14, c_0011_7, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_4, c_0101_6, c_0101_8, c_1001_11, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Groebner basis: [ c_0011_0 - 1, c_0011_10 - 139938866101/19476958909*c_1001_2^11 - 314168080858/19476958909*c_1001_2^10 - 418021639134/19476958909*c_1001_2^9 - 200359230348/19476958909*c_1001_2^8 + 271753396102/19476958909*c_1001_2^7 + 838388650155/19476958909*c_1001_2^6 + 686312451383/19476958909*c_1001_2^5 + 37942160411/19476958909*c_1001_2^4 - 437481998043/19476958909*c_1001_2^3 - 301951756731/19476958909*c_1001_2^2 - 113499143753/19476958909*c_1001_2 - 4087542936/19476958909, c_0011_11 + 58858099439/58430876727*c_1001_2^11 - 175656584258/58430876727*c_1001_2^10 - 366234204200/58430876727*c_1001_2^9 - 207999784320/19476958909*c_1001_2^8 - 417316390468/58430876727*c_1001_2^7 + 127495273132/58430876727*c_1001_2^6 + 1097127492839/58430876727*c_1001_2^5 + 924170928868/58430876727*c_1001_2^4 + 262664181215/58430876727*c_1001_2^3 - 106416736940/19476958909*c_1001_2^2 - 287544549853/58430876727*c_1001_2 - 159917813146/58430876727, c_0011_13 + 13337780473/38953917818*c_1001_2^11 + 72956981463/19476958909*c_1001_2^10 + 124995938311/19476958909*c_1001_2^9 + 131961937671/19476958909*c_1001_2^8 + 39210728119/19476958909*c_1001_2^7 - 132153091956/19476958909*c_1001_2^6 - 526294427211/38953917818*c_1001_2^5 - 115033640052/19476958909*c_1001_2^4 + 175770563819/38953917818*c_1001_2^3 + 188875787041/38953917818*c_1001_2^2 + 51881356117/38953917818*c_1001_2 - 5599925801/38953917818, c_0011_14 + 45392956458/19476958909*c_1001_2^11 - 25344178788/19476958909*c_1001_2^10 - 171160858809/19476958909*c_1001_2^9 - 334782057628/19476958909*c_1001_2^8 - 310816731166/19476958909*c_1001_2^7 - 35080212210/19476958909*c_1001_2^6 + 548570492951/19476958909*c_1001_2^5 + 661565818906/19476958909*c_1001_2^4 + 193554749518/19476958909*c_1001_2^3 - 275806407356/19476958909*c_1001_2^2 - 238587597269/19476958909*c_1001_2 - 94769558864/19476958909, c_0011_7 - 4099498085537/350585260362*c_1001_2^11 - 5252245362400/175292630181*c_1001_2^10 - 7219578962899/175292630181*c_1001_2^9 - 4703937963194/175292630181*c_1001_2^8 + 2982331998628/175292630181*c_1001_2^7 + 4151908481137/58430876727*c_1001_2^6 + 24636769832023/350585260362*c_1001_2^5 + 2102242938845/175292630181*c_1001_2^4 - 3716232565697/116861753454*c_1001_2^3 - 1063700952253/38953917818*c_1001_2^2 - 3450277257359/350585260362*c_1001_2 - 99983226677/116861753454, c_0101_0 - 88577275973/58430876727*c_1001_2^11 - 423021574511/58430876727*c_1001_2^10 - 846040365617/58430876727*c_1001_2^9 - 886322908633/58430876727*c_1001_2^8 - 196571890267/58430876727*c_1001_2^7 + 359230333237/19476958909*c_1001_2^6 + 2113642214575/58430876727*c_1001_2^5 + 1500900005578/58430876727*c_1001_2^4 - 52363715785/19476958909*c_1001_2^3 - 372546750345/19476958909*c_1001_2^2 - 740490044492/58430876727*c_1001_2 - 80051370041/19476958909, c_0101_1 + 476048859203/38953917818*c_1001_2^11 + 656839113734/19476958909*c_1001_2^10 + 970245704975/19476958909*c_1001_2^9 + 738945907938/19476958909*c_1001_2^8 - 214134305913/19476958909*c_1001_2^7 - 1508098372293/19476958909*c_1001_2^6 - 3478515986893/38953917818*c_1001_2^5 - 583780189952/19476958909*c_1001_2^4 + 1185117683507/38953917818*c_1001_2^3 + 1430111649901/38953917818*c_1001_2^2 + 666026516685/38953917818*c_1001_2 + 115100705621/38953917818, c_0101_2 + 1809802483649/350585260362*c_1001_2^11 + 2513837268679/175292630181*c_1001_2^10 + 3857100574033/175292630181*c_1001_2^9 + 3172757615705/175292630181*c_1001_2^8 - 392362496593/175292630181*c_1001_2^7 - 1908222114562/58430876727*c_1001_2^6 - 14162523943147/350585260362*c_1001_2^5 - 3235154440793/175292630181*c_1001_2^4 + 994359065381/116861753454*c_1001_2^3 + 639125993179/38953917818*c_1001_2^2 + 3663950791073/350585260362*c_1001_2 + 272481222749/116861753454, c_0101_3 + 88577275973/58430876727*c_1001_2^11 + 423021574511/58430876727*c_1001_2^10 + 846040365617/58430876727*c_1001_2^9 + 886322908633/58430876727*c_1001_2^8 + 196571890267/58430876727*c_1001_2^7 - 359230333237/19476958909*c_1001_2^6 - 2113642214575/58430876727*c_1001_2^5 - 1500900005578/58430876727*c_1001_2^4 + 52363715785/19476958909*c_1001_2^3 + 372546750345/19476958909*c_1001_2^2 + 740490044492/58430876727*c_1001_2 + 80051370041/19476958909, c_0101_4 + 146686243207/58430876727*c_1001_2^11 + 245846753965/58430876727*c_1001_2^10 + 349918093813/58430876727*c_1001_2^9 + 173558957477/58430876727*c_1001_2^8 - 170095118863/58430876727*c_1001_2^7 - 206855231681/19476958909*c_1001_2^6 - 438550796948/58430876727*c_1001_2^5 - 106511547032/58430876727*c_1001_2^4 + 66216707701/19476958909*c_1001_2^3 + 78792939737/19476958909*c_1001_2^2 + 190718980999/58430876727*c_1001_2 + 10977461125/19476958909, c_0101_6 + 87828143768/58430876727*c_1001_2^11 + 140501112741/19476958909*c_1001_2^10 + 238717432671/19476958909*c_1001_2^9 + 797558310437/58430876727*c_1001_2^8 + 82407090535/19476958909*c_1001_2^7 - 748060968175/58430876727*c_1001_2^6 - 1535678289787/58430876727*c_1001_2^5 - 343560825300/19476958909*c_1001_2^4 - 64014058112/58430876727*c_1001_2^3 + 185209676677/19476958909*c_1001_2^2 + 478263530852/58430876727*c_1001_2 + 192850196521/58430876727, c_0101_8 + 114885972503/38953917818*c_1001_2^11 + 173072066744/19476958909*c_1001_2^10 + 234640944916/19476958909*c_1001_2^9 + 167777991616/19476958909*c_1001_2^8 - 83783949202/19476958909*c_1001_2^7 - 417222637645/19476958909*c_1001_2^6 - 932731529587/38953917818*c_1001_2^5 - 124129693703/19476958909*c_1001_2^4 + 285657266799/38953917818*c_1001_2^3 + 291185324419/38953917818*c_1001_2^2 + 165006201119/38953917818*c_1001_2 + 25862770993/38953917818, c_1001_11 + 146686243207/58430876727*c_1001_2^11 + 245846753965/58430876727*c_1001_2^10 + 349918093813/58430876727*c_1001_2^9 + 173558957477/58430876727*c_1001_2^8 - 170095118863/58430876727*c_1001_2^7 - 206855231681/19476958909*c_1001_2^6 - 438550796948/58430876727*c_1001_2^5 - 106511547032/58430876727*c_1001_2^4 + 66216707701/19476958909*c_1001_2^3 + 78792939737/19476958909*c_1001_2^2 + 190718980999/58430876727*c_1001_2 + 10977461125/19476958909, c_1001_2^12 + 97/31*c_1001_2^11 + 166/31*c_1001_2^10 + 158/31*c_1001_2^9 + 26/31*c_1001_2^8 - 204/31*c_1001_2^7 - 323/31*c_1001_2^6 - 209/31*c_1001_2^5 + 15/31*c_1001_2^4 + 126/31*c_1001_2^3 + 106/31*c_1001_2^2 + 42/31*c_1001_2 + 9/31 ] ] IDEAL=DECOMPOSITION=ENDS=HERE FREE=VARIABLES=IN=COMPONENTS=BEGINS=HERE [ [], [] ] FREE=VARIABLES=IN=COMPONENTS=ENDS=HERE Status: Finding witnesses for non-zero dimensional ideals... ==WITNESSES=FOR=COMPONENTS=BEGINS== ==WITNESSES=BEGINS== ==WITNESSES=ENDS== ==WITNESSES=BEGINS== ==WITNESSES=ENDS== ==WITNESSES=FOR=COMPONENTS=ENDS== ==GENUSES=FOR=COMPONENTS=BEGINS== ==GENUS=FOR=COMPONENT=BEGINS== ==GENUS=FOR=COMPONENT=ENDS== ==GENUS=FOR=COMPONENT=BEGINS== ==GENUS=FOR=COMPONENT=ENDS== ==GENUSES=FOR=COMPONENTS=ENDS== Total time: 20.829 seconds, Total memory usage: 83.28MB