Magma V2.19-8 Tue Aug 20 2013 17:58:13 on localhost [Seed = 3313791379] Type ? for help. Type -D to quit. Loading file "10_108__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_108 geometric_solution 12.90462395 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 14 1 2 1 3 0132 0132 3120 0132 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 0 0 -1 1 0 0 0 0 -1 -4 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.465402150701 0.746390096628 0 4 0 5 0132 0132 3120 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 5 -5 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.465402150701 0.746390096628 6 0 8 7 0132 0132 0132 0132 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 -1 1 0 0 0 0 0 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.962282196297 0.918050965965 9 10 0 9 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 0 1 -1 1 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 0.900548307982 0.591410753184 11 1 7 7 0132 0132 1230 3201 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 -5 5 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.603031014574 1.013951652183 12 8 1 6 0132 1230 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 1 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.497921703857 0.373294771516 2 11 5 13 0132 0132 1230 0132 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 1 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.533449763496 1.355689684583 10 4 2 4 0321 2310 0132 3012 0 0 0 0 0 0 0 0 -1 0 0 1 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 5 0 0 -5 1 -1 0 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.566708489729 0.728547341842 10 13 5 2 2103 3120 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.504966941565 0.628169606673 3 13 12 3 0132 0321 1023 2103 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 -1 0 1 0 -1 0 0 1 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.900548307982 0.591410753184 7 3 8 13 0321 0132 2103 3120 0 0 0 0 0 0 0 0 -1 0 0 1 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 4 0 0 -4 -1 1 0 0 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.052348418481 1.134867210577 4 6 12 12 0132 0132 3012 1023 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 -4 4 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.170425696392 0.539148716519 5 11 9 11 0132 1230 1023 1023 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 -1 1 0 0 0 0 0 0 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.466963713742 1.686282266574 10 8 6 9 3120 3120 0132 0321 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 -5 5 0 4 0 0 -4 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.499776728306 1.567184736840 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_12']), 'c_1001_10' : d['c_0011_8'], 'c_1001_13' : negation(d['c_0011_12']), 'c_1001_12' : d['c_0101_9'], 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : negation(d['c_1001_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_13']), 'c_1001_2' : negation(d['c_0011_13']), 'c_1001_9' : d['c_0101_12'], 'c_1001_8' : d['c_0011_12'], 'c_1010_13' : negation(d['c_0011_8']), 'c_1010_12' : d['c_0101_11'], 'c_1010_11' : d['c_0101_0'], 'c_1010_10' : negation(d['c_0011_13']), 's_3_11' : negation(d['1']), 's_3_10' : d['1'], 's_0_12' : negation(d['1']), 's_0_13' : d['1'], 'c_0101_13' : d['c_0101_13'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(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' : 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' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0101_9']), 'c_1100_8' : negation(d['c_1001_4']), 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_0']), 'c_1100_4' : negation(d['c_0011_10']), 'c_1100_7' : negation(d['c_1001_4']), 'c_1100_6' : d['c_0101_12'], 'c_1100_1' : negation(d['c_0101_0']), 'c_1100_0' : negation(d['c_0101_1']), 'c_1100_3' : negation(d['c_0101_1']), 'c_1100_2' : negation(d['c_1001_4']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0101_9']), 'c_1100_10' : negation(d['c_0101_13']), 'c_1100_13' : d['c_0101_12'], 's_0_11' : negation(d['1']), 's_3_13' : d['1'], 'c_1010_7' : negation(d['c_0101_11']), 'c_1010_6' : negation(d['c_0011_12']), 'c_1010_5' : d['c_0101_10'], 's_3_12' : negation(d['1']), 'c_1010_3' : d['c_0011_8'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0011_13']), 'c_1010_9' : negation(d['c_0011_8']), 'c_1010_8' : negation(d['c_0011_13']), 's_3_1' : negation(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_0101_9'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_12']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_10'], '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_11'], 'c_0110_10' : negation(d['c_0011_10']), 'c_0110_13' : negation(d['c_0011_10']), 'c_0110_12' : d['c_0101_0'], 'c_1010_4' : negation(d['c_1001_0']), 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0101_10']), 'c_0101_6' : negation(d['c_0101_10']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_11'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_13'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_10'], 'c_0011_10' : d['c_0011_10'], 's_2_8' : d['1'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0101_13'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : negation(d['c_0011_0']), 'c_0110_3' : d['c_0101_9'], 'c_0110_2' : negation(d['c_0101_10']), 'c_0110_5' : d['c_0101_12'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : negation(d['c_0011_10']), 'c_0110_6' : d['c_0101_13']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_13, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_12, c_0101_13, c_0101_9, c_1001_0, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t + 393448539522956403973528535/89431209165400409795584*c_1001_4^13 + 6693592512208129103914102611/89431209165400409795584*c_1001_4^12 + 50795998651575756463582711219/89431209165400409795584*c_1001_4^11 + 133343229467760757900680548643/44715604582700204897792*c_1001_4^10 + 84280759136351769944517389007/5589450572837525612224*c_1001_4^9 + 6293258162329650187732140036725/89431209165400409795584*c_1001_4^8 + 2727516529044054722479546188939/11178901145675051224448*c_1001_4^7 + 51212322459875220243898576349137/89431209165400409795584*c_1001_4^6 + 79943664099166798025624163313319/89431209165400409795584*c_1001_4\ ^5 + 41275666796944155200584813030855/44715604582700204897792*c_100\ 1_4^4 + 55457804824039226567996361530375/89431209165400409795584*c_\ 1001_4^3 + 2903272560651387950261536999345/11178901145675051224448*\ c_1001_4^2 + 3859883177883896025488953917/62802815425140737216*c_10\ 01_4 + 8765175477022441778046325135/1397362643209381403056, c_0011_0 - 1, c_0011_10 - 373879193953041109/3270597175446182336*c_1001_4^13 - 6080513129762793129/3270597175446182336*c_1001_4^12 - 43809126321230085817/3270597175446182336*c_1001_4^11 - 111056385536886385409/1635298587723091168*c_1001_4^10 - 17587251956515344440/51103080866346599*c_1001_4^9 - 5189458385159999476399/3270597175446182336*c_1001_4^8 - 2139220561385217929037/408824646930772792*c_1001_4^7 - 37064046734936186856627/3270597175446182336*c_1001_4^6 - 52093546482299352572773/3270597175446182336*c_1001_4^5 - 23699772671135693558813/1635298587723091168*c_1001_4^4 - 27553614951240394347669/3270597175446182336*c_1001_4^3 - 1230843730437994357555/408824646930772792*c_1001_4^2 - 692113888594582667/1148383839693182*c_1001_4 - 2700399692172122102/51103080866346599, c_0011_12 - 111313350272522083/817649293861545584*c_1001_4^13 - 1808504564638169659/817649293861545584*c_1001_4^12 - 13001176924465443619/817649293861545584*c_1001_4^11 - 32869789863044218201/408824646930772792*c_1001_4^10 - 20809462226079795980/51103080866346599*c_1001_4^9 - 1534544028553050130745/817649293861545584*c_1001_4^8 - 1260941524590395349799/204412323465386396*c_1001_4^7 - 10837100100472682670669/817649293861545584*c_1001_4^6 - 15016018496007135868999/817649293861545584*c_1001_4^5 - 6679861599749084699957/408824646930772792*c_1001_4^4 - 7522263320000682595747/817649293861545584*c_1001_4^3 - 645374157961567864757/204412323465386396*c_1001_4^2 - 695903765539904647/1148383839693182*c_1001_4 - 2609074193117283401/51103080866346599, c_0011_13 + 177631619795685737/817649293861545584*c_1001_4^13 + 2871931965449490433/817649293861545584*c_1001_4^12 + 20528952681608473677/817649293861545584*c_1001_4^11 + 51706965019404643461/408824646930772792*c_1001_4^10 + 130993435117602190037/204412323465386396*c_1001_4^9 + 2411310743703881159251/817649293861545584*c_1001_4^8 + 1969644324295401712277/204412323465386396*c_1001_4^7 + 16761319592030759679123/817649293861545584*c_1001_4^6 + 22897297477623756529701/817649293861545584*c_1001_4^5 + 9984457016794746559941/408824646930772792*c_1001_4^4 + 10933324743387235367053/817649293861545584*c_1001_4^3 + 902759680317931139565/204412323465386396*c_1001_4^2 + 1845903899946729331/2296767679386364*c_1001_4 + 3226317202784417884/51103080866346599, c_0011_8 - 70660197265971639/1635298587723091168*c_1001_4^13 - 1215760056931664557/1635298587723091168*c_1001_4^12 - 9296376721614220581/1635298587723091168*c_1001_4^11 - 6095642400656540791/204412323465386396*c_1001_4^10 - 61367092745894332889/408824646930772792*c_1001_4^9 - 1148203789878296224949/1635298587723091168*c_1001_4^8 - 1994911943138552504227/817649293861545584*c_1001_4^7 - 9289875035482166543121/1635298587723091168*c_1001_4^6 - 14119842468386041266173/1635298587723091168*c_1001_4^5 - 1726907614355923106371/204412323465386396*c_1001_4^4 - 8494087277816104587627/1635298587723091168*c_1001_4^3 - 1567270121106850722609/817649293861545584*c_1001_4^2 - 443638296027733453/1148383839693182*c_1001_4 - 1701639647110216449/51103080866346599, c_0101_0 - 37245826597387059/408824646930772792*c_1001_4^13 - 621556711307059157/408824646930772792*c_1001_4^12 - 4608093927505850045/408824646930772792*c_1001_4^11 - 5942494610877928563/102206161732693198*c_1001_4^10 - 30020385864514526251/102206161732693198*c_1001_4^9 - 557514813354115458745/408824646930772792*c_1001_4^8 - 944234174336376837373/204412323465386396*c_1001_4^7 - 4252520332023932445101/408824646930772792*c_1001_4^6 - 6246336017966125294717/408824646930772792*c_1001_4^5 - 1481541732090168381273/102206161732693198*c_1001_4^4 - 3553471589874744649359/408824646930772792*c_1001_4^3 - 644814520698479184975/204412323465386396*c_1001_4^2 - 365495752949107650/574191919846591*c_1001_4 - 2861413270121859410/51103080866346599, c_0101_1 + 37245826597387059/408824646930772792*c_1001_4^13 + 621556711307059157/408824646930772792*c_1001_4^12 + 4608093927505850045/408824646930772792*c_1001_4^11 + 5942494610877928563/102206161732693198*c_1001_4^10 + 30020385864514526251/102206161732693198*c_1001_4^9 + 557514813354115458745/408824646930772792*c_1001_4^8 + 944234174336376837373/204412323465386396*c_1001_4^7 + 4252520332023932445101/408824646930772792*c_1001_4^6 + 6246336017966125294717/408824646930772792*c_1001_4^5 + 1481541732090168381273/102206161732693198*c_1001_4^4 + 3553471589874744649359/408824646930772792*c_1001_4^3 + 644814520698479184975/204412323465386396*c_1001_4^2 + 365495752949107650/574191919846591*c_1001_4 + 2912516350988206009/51103080866346599, c_0101_10 + 97658796758499643/408824646930772792*c_1001_4^13 + 1592381847569185809/408824646930772792*c_1001_4^12 + 11490652801527190225/408824646930772792*c_1001_4^11 + 7276640270599728366/51103080866346599*c_1001_4^10 + 73657285461017310821/102206161732693198*c_1001_4^9 + 1359310386363251291753/408824646930772792*c_1001_4^8 + 2241429771531185417303/204412323465386396*c_1001_4^7 + 9672379394440652637077/408824646930772792*c_1001_4^6 + 13449920030259555558865/408824646930772792*c_1001_4^5 + 1497755894788729916614/51103080866346599*c_1001_4^4 + 6730855797196997226591/408824646930772792*c_1001_4^3 + 1148895498536708743901/204412323465386396*c_1001_4^2 + 615491899082048489/574191919846591*c_1001_4 + 4576181458094405289/51103080866346599, c_0101_11 + 236889510017266871/3270597175446182336*c_1001_4^13 + 4142874945443271403/3270597175446182336*c_1001_4^12 + 32245212779328170939/3270597175446182336*c_1001_4^11 + 85568442396897350967/1635298587723091168*c_1001_4^10 + 53820190226357007287/204412323465386396*c_1001_4^9 + 4042448411347825527093/3270597175446182336*c_1001_4^8 + 222859936662742972859/51103080866346599*c_1001_4^7 + 34007824406059830137313/3270597175446182336*c_1001_4^6 + 53247947392386758243023/3270597175446182336*c_1001_4^5 + 26958543112479639608763/1635298587723091168*c_1001_4^4 + 34399888968545964802791/3270597175446182336*c_1001_4^3 + 411614539826361870133/102206161732693198*c_1001_4^2 + 967175338802268979/1148383839693182*c_1001_4 + 3863905490019728452/51103080866346599, c_0101_12 - 97658796758499643/408824646930772792*c_1001_4^13 - 1592381847569185809/408824646930772792*c_1001_4^12 - 11490652801527190225/408824646930772792*c_1001_4^11 - 7276640270599728366/51103080866346599*c_1001_4^10 - 73657285461017310821/102206161732693198*c_1001_4^9 - 1359310386363251291753/408824646930772792*c_1001_4^8 - 2241429771531185417303/204412323465386396*c_1001_4^7 - 9672379394440652637077/408824646930772792*c_1001_4^6 - 13449920030259555558865/408824646930772792*c_1001_4^5 - 1497755894788729916614/51103080866346599*c_1001_4^4 - 6730855797196997226591/408824646930772792*c_1001_4^3 - 1148895498536708743901/204412323465386396*c_1001_4^2 - 615491899082048489/574191919846591*c_1001_4 - 4576181458094405289/51103080866346599, c_0101_13 - 98933379681092581/408824646930772792*c_1001_4^13 - 397903346246067443/102206161732693198*c_1001_4^12 - 5653265487674447105/204412323465386396*c_1001_4^11 - 56703161785697170539/408824646930772792*c_1001_4^10 - 35927367726315916235/51103080866346599*c_1001_4^9 - 1320722947792496162939/408824646930772792*c_1001_4^8 - 4285773138900811326137/408824646930772792*c_1001_4^7 - 9010039339163568071401/408824646930772792*c_1001_4^6 - 6052325068501920534825/204412323465386396*c_1001_4^5 - 10340678121890672563819/408824646930772792*c_1001_4^4 - 5542781538882524690117/408824646930772792*c_1001_4^3 - 1804700228904191328407/408824646930772792*c_1001_4^2 - 1849475904112672761/2296767679386364*c_1001_4 - 3272099658809038688/51103080866346599, c_0101_9 - 373879193953041109/3270597175446182336*c_1001_4^13 - 6080513129762793129/3270597175446182336*c_1001_4^12 - 43809126321230085817/3270597175446182336*c_1001_4^11 - 111056385536886385409/1635298587723091168*c_1001_4^10 - 17587251956515344440/51103080866346599*c_1001_4^9 - 5189458385159999476399/3270597175446182336*c_1001_4^8 - 2139220561385217929037/408824646930772792*c_1001_4^7 - 37064046734936186856627/3270597175446182336*c_1001_4^6 - 52093546482299352572773/3270597175446182336*c_1001_4^5 - 23699772671135693558813/1635298587723091168*c_1001_4^4 - 27553614951240394347669/3270597175446182336*c_1001_4^3 - 1230843730437994357555/408824646930772792*c_1001_4^2 - 692113888594582667/1148383839693182*c_1001_4 - 2700399692172122102/51103080866346599, c_1001_0 - 36821697077747965/817649293861545584*c_1001_4^13 - 565391142024051345/817649293861545584*c_1001_4^12 - 3784989069453743529/817649293861545584*c_1001_4^11 - 9099811419532503949/408824646930772792*c_1001_4^10 - 11598538587645065709/102206161732693198*c_1001_4^9 - 419514401844819213255/817649293861545584*c_1001_4^8 - 158353675127009256213/102206161732693198*c_1001_4^7 - 2332059436424817780467/817649293861545584*c_1001_4^6 - 2523346460074885279565/817649293861545584*c_1001_4^5 - 753694671388411174865/408824646930772792*c_1001_4^4 - 415320140251193297029/817649293861545584*c_1001_4^3 - 279818631544339891/102206161732693198*c_1001_4^2 + 36236124198003835/1148383839693182*c_1001_4 + 252339077004576009/51103080866346599, c_1001_4^14 + 17*c_1001_4^13 + 129*c_1001_4^12 + 678*c_1001_4^11 + 3432*c_1001_4^10 + 16019*c_1001_4^9 + 55596*c_1001_4^8 + 131031*c_1001_4^7 + 206757*c_1001_4^6 + 218606*c_1001_4^5 + 154185*c_1001_4^4 + 71268*c_1001_4^3 + 20720*c_1001_4^2 + 3456*c_1001_4 + 256 ], Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_13, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_12, c_0101_13, c_0101_9, c_1001_0, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 2170003864439251530390030221197852673371791904869010365190075212483\ 7576800838851/38226438118967367326686674001756287533247185525804879\ 67553545418442100245*c_1001_4^23 + 1729078684578550831174669999911878025557975840817330639807960400103\ 2694922333568877/27599488321894439209867778629268039599004467949631\ 1231257365979211519637689*c_1001_4^22 + 1039275626195401092830158797672831909256388449477751132910117457906\ 71376048462847612/2759948832189443920986777862926803959900446794963\ 11231257365979211519637689*c_1001_4^21 + 2307185242441816425025191443790251434175214488716444013179592389010\ 516552699722986789/137997441609472196049338893146340197995022339748\ 1556156286829896057598188445*c_1001_4^20 + 8004396820205701160720284948286706504988632718604780934125696920822\ 048384992399485302/137997441609472196049338893146340197995022339748\ 1556156286829896057598188445*c_1001_4^19 + 2166859656813547610349347450170267980014819273477981927597009320791\ 0096689305524697203/13799744160947219604933889314634019799502233974\ 81556156286829896057598188445*c_1001_4^18 + 4612611467042293363270314595758489089505396328694380958556633512666\ 7606807646627776906/13799744160947219604933889314634019799502233974\ 81556156286829896057598188445*c_1001_4^17 + 7748218678791630822583635883101948334238097764989707889398865473115\ 0054696335069813928/13799744160947219604933889314634019799502233974\ 81556156286829896057598188445*c_1001_4^16 + 1991335405114419139797893217756189192853504122595201467198426935725\ 4142711558459008910/27599488321894439209867778629268039599004467949\ 6311231257365979211519637689*c_1001_4^15 + 1772620295725562939410734471515550966078476966120233041528505077009\ 4335214467021471823/27599488321894439209867778629268039599004467949\ 6311231257365979211519637689*c_1001_4^14 + 3809732237413449415916850611711028108440806271120434491249896620593\ 2524301805486250832/13799744160947219604933889314634019799502233974\ 81556156286829896057598188445*c_1001_4^13 - 2108541405203561242353524001486716543773560651279686894951430525275\ 7165542190657909032/13799744160947219604933889314634019799502233974\ 81556156286829896057598188445*c_1001_4^12 - 9063840611270977479064352535779020929375082112758712575444890264770\ 928679926545452281/275994883218944392098677786292680395990044679496\ 311231257365979211519637689*c_1001_4^11 - 2649134722908694639930895264992624633693647359294998183527156428521\ 6178429404446660656/13799744160947219604933889314634019799502233974\ 81556156286829896057598188445*c_1001_4^10 + 2042726819826657327824390592564773669210211125375000185442584825183\ 26794367208302464/7263023242603799792070468060333694631316965249902\ 9271383517362950399904655*c_1001_4^9 + 1697155867055138416383426383668696800834940547521144484796884059066\ 6753178627681913011/13799744160947219604933889314634019799502233974\ 81556156286829896057598188445*c_1001_4^8 + 1270682272356822000283865558821546506214465002725946884282069428817\ 4384020752868733047/13799744160947219604933889314634019799502233974\ 81556156286829896057598188445*c_1001_4^7 + 4993279164301053612646724576166833645185932333932251808797732245926\ 395677302186465999/137997441609472196049338893146340197995022339748\ 1556156286829896057598188445*c_1001_4^6 + 5700026401271844937163534513338103356679704431439036468558063651031\ 7495209816741804/72630232426037997920704680603336946313169652499029\ 271383517362950399904655*c_1001_4^5 + 1110521607767162566845502342867433370314241986993753675014227950212\ 71523384667195561/1379974416094721960493388931463401979950223397481\ 556156286829896057598188445*c_1001_4^4 - 3971770248023363818199551562562738462508067529388974769019347600447\ 2087371139638/12896957159763756640125130200592541868693676611977160\ 339129251365024282135*c_1001_4^3 - 1511105896791358113528854263482010369791918080723214340440206143763\ 766367501981215/275994883218944392098677786292680395990044679496311\ 231257365979211519637689*c_1001_4^2 - 6161914047023084952776469775046879458869297038071066864695025270284\ 50670088361425/2759948832189443920986777862926803959900446794963112\ 31257365979211519637689*c_1001_4 - 4850006410956620049648795120762475494742130357633559766323821530065\ 62731922651657/1379974416094721960493388931463401979950223397481556\ 156286829896057598188445, c_0011_0 - 1, c_0011_10 + 24864758240924963657937918536908704345509909360797134186270\ 771834483/221622958682027250932091233204206388321024762738313505461\ 32029535*c_1001_4^23 + 25579616347097005560606621478505844841315863\ 3596273653176225030517367/22162295868202725093209123320420638832102\ 476273831350546132029535*c_1001_4^22 + 1461372983888645462135799533504783716711419513125200161303247995917\ 492/221622958682027250932091233204206388321024762738313505461320295\ 35*c_1001_4^21 + 62655207425582650096298436373103088979205073508267\ 96653485316192728089/2216229586820272509320912332042063883210247627\ 3831350546132029535*c_1001_4^20 + 209254546958514710195903658940716\ 61380869428081914838921425325506199216/2216229586820272509320912332\ 0420638832102476273831350546132029535*c_1001_4^19 + 5401595461060821020350975902745582679855553948694034140717611824393\ 8268/22162295868202725093209123320420638832102476273831350546132029\ 535*c_1001_4^18 + 1090088988800480655298354287342914358930533311616\ 00900878099291739389663/2216229586820272509320912332042063883210247\ 6273831350546132029535*c_1001_4^17 + 1722456370045889108009124733744107053640090827739247715881686371641\ 94816/2216229586820272509320912332042063883210247627383135054613202\ 9535*c_1001_4^16 + 203253936887023504738403909133937040653578430438\ 338906594403608039742873/221622958682027250932091233204206388321024\ 76273831350546132029535*c_1001_4^15 + 1551009656625758326812375151975796438337937574635570771005385499704\ 03538/2216229586820272509320912332042063883210247627383135054613202\ 9535*c_1001_4^14 + 361581923365200691902296951118427570868888991859\ 96706752365901429723954/2216229586820272509320912332042063883210247\ 6273831350546132029535*c_1001_4^13 - 6883007350084338771443754419976270697882631142222533640829396654436\ 2139/22162295868202725093209123320420638832102476273831350546132029\ 535*c_1001_4^12 - 8452399914652634446112705244406054487263939381273\ 5711944319229854309217/22162295868202725093209123320420638832102476\ 273831350546132029535*c_1001_4^11 - 5931477935787742302124928115617173634043939131833188317455302134690\ 454/443245917364054501864182466408412776642049525476627010922640590\ 7*c_1001_4^10 + 216181411379390589597293101142936111898668707450374\ 23779571326395508619/2216229586820272509320912332042063883210247627\ 3831350546132029535*c_1001_4^9 + 3203698607415310413832968436760480\ 9905161061862532937439642086527459331/22162295868202725093209123320\ 420638832102476273831350546132029535*c_1001_4^8 + 1875399793197309640603940163204851477871175468865229621994326517206\ 4961/22162295868202725093209123320420638832102476273831350546132029\ 535*c_1001_4^7 + 66193100723158573096303458573968636445461116035003\ 44286014606384556231/2216229586820272509320912332042063883210247627\ 3831350546132029535*c_1001_4^6 + 3368453146018868280345233080172817\ 72172355564857789606415473774980805/4432459173640545018641824664084\ 127766420495254766270109226405907*c_1001_4^5 + 3708943201188651643936758582252690494576972691891207343082732055622\ 92/2216229586820272509320912332042063883210247627383135054613202953\ 5*c_1001_4^4 + 6513720571250614973126803271044466722900223034367605\ 3410076385600488/22162295868202725093209123320420638832102476273831\ 350546132029535*c_1001_4^3 + 62009422102772915351336760275808249922\ 17831733396741564690215200194/2216229586820272509320912332042063883\ 2102476273831350546132029535*c_1001_4^2 + 303837584015620559988992353761460094817595316757209580346717707004/\ 22162295868202725093209123320420638832102476273831350546132029535*c\ _1001_4 + 664085190686324828267310336975412404549954955986629918696\ 00775023/2216229586820272509320912332042063883210247627383135054613\ 2029535, c_0011_12 - 85600075551773632899459613220682287189688412494256828293799\ 70122501/2216229586820272509320912332042063883210247627383135054613\ 2029535*c_1001_4^23 - 866522719055786546362399476454080962015255460\ 02332624360616148525861/2216229586820272509320912332042063883210247\ 6273831350546132029535*c_1001_4^22 - 4892859849939813162429190829870436106971177890082392228335731408722\ 76/2216229586820272509320912332042063883210247627383135054613202953\ 5*c_1001_4^21 - 416173970391916359356569293202374158488408638277067\ 144453946555527512/443245917364054501864182466408412776642049525476\ 6270109226405907*c_1001_4^20 - 688567591785881995193143817310169921\ 8940151084786292332039877141264077/22162295868202725093209123320420\ 638832102476273831350546132029535*c_1001_4^19 - 3512789904803212756110153081664126643984668301790537005753309484048\ 895/443245917364054501864182466408412776642049525476627010922640590\ 7*c_1001_4^18 - 349660703742735930651484501497208285004143308723255\ 88030373882578960321/2216229586820272509320912332042063883210247627\ 3831350546132029535*c_1001_4^17 - 543598268199396942002654804137874\ 21392358483863488522552273365351263594/2216229586820272509320912332\ 0420638832102476273831350546132029535*c_1001_4^16 - 6260131425631709122898832473835248013158851874017548643191620015294\ 6954/22162295868202725093209123320420638832102476273831350546132029\ 535*c_1001_4^15 - 4544658769061919380299297452490479427242657254552\ 2426043619068827146674/22162295868202725093209123320420638832102476\ 273831350546132029535*c_1001_4^14 - 7513604338611532185545680158846345905712614052499907516100319489350\ 051/221622958682027250932091233204206388321024762738313505461320295\ 35*c_1001_4^13 + 23335984739398656899924958176286920513449980596630\ 679763142948983740281/221622958682027250932091233204206388321024762\ 73831350546132029535*c_1001_4^12 + 2533899231667984116286444725766567240715025946089354263796628265539\ 1441/22162295868202725093209123320420638832102476273831350546132029\ 535*c_1001_4^11 + 7211307265903890009350657769584239910619726384105\ 851638929806513476662/221622958682027250932091233204206388321024762\ 73831350546132029535*c_1001_4^10 - 7674947415414710240455410838193081384787194641651737415799263240046\ 764/221622958682027250932091233204206388321024762738313505461320295\ 35*c_1001_4^9 - 193473393246287439462113818626253420002612505217993\ 5233986769656983521/44324591736405450186418246640841277664204952547\ 66270109226405907*c_1001_4^8 - 528096119528411694145645905610588271\ 5569131197322246433004763490377692/22162295868202725093209123320420\ 638832102476273831350546132029535*c_1001_4^7 - 1783217867470211438357012517297932619114262975239766350304712113091\ 061/221622958682027250932091233204206388321024762738313505461320295\ 35*c_1001_4^6 - 450667936536093530091232694491467875935681122491642\ 501682515810781827/221622958682027250932091233204206388321024762738\ 31350546132029535*c_1001_4^5 - 994266185314489266323934218090123259\ 77153115245580375869195670554938/2216229586820272509320912332042063\ 8832102476273831350546132029535*c_1001_4^4 - 1672844132892671908046830235365607435922959938408892502240905962234\ 7/22162295868202725093209123320420638832102476273831350546132029535\ *c_1001_4^3 - 16488764904225855050242943410743912514310886731660492\ 95615427480292/2216229586820272509320912332042063883210247627383135\ 0546132029535*c_1001_4^2 - 6930382785607410018619273226174114764560\ 8357077026429438980120337/22162295868202725093209123320420638832102\ 476273831350546132029535*c_1001_4 - 1607497819158360199512819871333665586045789647198643713627839970/44\ 32459173640545018641824664084127766420495254766270109226405907, c_0011_13 - 42994789666264742646758378296801993927663773821175859175805\ 694327588/221622958682027250932091233204206388321024762738313505461\ 32029535*c_1001_4^23 - 44212784144157216655135395811140906535128214\ 9085093166431052417212163/22162295868202725093209123320420638832102\ 476273831350546132029535*c_1001_4^22 - 2524885788147399418316837379370689804040945866075699340629369714867\ 018/221622958682027250932091233204206388321024762738313505461320295\ 35*c_1001_4^21 - 21643218512321196925728044301195878603470153374074\ 80679839722749065484/4432459173640545018641824664084127766420495254\ 766270109226405907*c_1001_4^20 - 3612799841309273056314859096951554\ 0305158163962549895649696437792620371/22162295868202725093209123320\ 420638832102476273831350546132029535*c_1001_4^19 - 1864193119084400420710984968268366577761572563813405107050349383486\ 9340/44324591736405450186418246640841277664204952547662701092264059\ 07*c_1001_4^18 - 18797274434775627154967276128459807367826860269290\ 5975026999532156192688/22162295868202725093209123320420638832102476\ 273831350546132029535*c_1001_4^17 - 2967373890820337365947707135500862224323177916229177078457897691671\ 33522/2216229586820272509320912332042063883210247627383135054613202\ 9535*c_1001_4^16 - 349630340055275544816234353955274128431875660060\ 569139366525926247516082/221622958682027250932091233204206388321024\ 76273831350546132029535*c_1001_4^15 - 2659037343822182727118571782155862204734081821406186496897324369081\ 13842/2216229586820272509320912332042063883210247627383135054613202\ 9535*c_1001_4^14 - 606088108036618055199539220150062500389748094711\ 28282287286680312215273/2216229586820272509320912332042063883210247\ 6273831350546132029535*c_1001_4^13 + 1196068901180996386735613705303040905257764186405674079395199355726\ 16008/2216229586820272509320912332042063883210247627383135054613202\ 9535*c_1001_4^12 + 145340147531453964794344977486708381457260270129\ 195156227002212021937658/221622958682027250932091233204206388321024\ 76273831350546132029535*c_1001_4^11 + 5010034800921574626602989416082629883908487008972543261919241074962\ 0661/22162295868202725093209123320420638832102476273831350546132029\ 535*c_1001_4^10 - 3786577095781438287935235897884231166868350185900\ 6625056881692364140882/22162295868202725093209123320420638832102476\ 273831350546132029535*c_1001_4^9 - 1102164269614754963222452604574674917474405995279269035124943367643\ 8206/44324591736405450186418246640841277664204952547662701092264059\ 07*c_1001_4^8 - 319637172284542778332726276983143344174360323364193\ 52383924332394421061/2216229586820272509320912332042063883210247627\ 3831350546132029535*c_1001_4^7 - 1120192256046265901828918241467973\ 8141904312821364907717253569796708328/22162295868202725093209123320\ 420638832102476273831350546132029535*c_1001_4^6 - 2859119305791807536195614386514283957683937135397741039774321462370\ 671/221622958682027250932091233204206388321024762738313505461320295\ 35*c_1001_4^5 - 640750558690683244220609971700664809027792146706526\ 942077007313049699/221622958682027250932091233204206388321024762738\ 31350546132029535*c_1001_4^4 - 113479452063467290443944457728015900\ 102839816896685106359355602043761/221622958682027250932091233204206\ 38832102476273831350546132029535*c_1001_4^3 - 1098797518944196341048667363477444593367900866328165430863512292431\ 1/22162295868202725093209123320420638832102476273831350546132029535\ *c_1001_4^2 - 70973668662856050837465753439329104041551642966323871\ 1584692902751/22162295868202725093209123320420638832102476273831350\ 546132029535*c_1001_4 - 2526860648885406566829982114874249465429905\ 8340451967374249733308/44324591736405450186418246640841277664204952\ 54766270109226405907, c_0011_8 - 212691491444499317677043611873986265574346476447405824279153\ 51598279/2216229586820272509320912332042063883210247627383135054613\ 2029535*c_1001_4^23 - 219995221868633822918832222433211272250595619\ 020531575298000682127038/221622958682027250932091233204206388321024\ 76273831350546132029535*c_1001_4^22 - 1262030893561611464275686765718942360533970631785058621404721868306\ 263/221622958682027250932091233204206388321024762738313505461320295\ 35*c_1001_4^21 - 54264643184605035791760006996941840270903322299861\ 94111253904679644629/2216229586820272509320912332042063883210247627\ 3831350546132029535*c_1001_4^20 - 181815148697644717934168482292917\ 44780954978810697278317759393311247508/2216229586820272509320912332\ 0420638832102476273831350546132029535*c_1001_4^19 - 4712781457787754517095058714541978153740865514891100702895968399138\ 9233/22162295868202725093209123320420638832102476273831350546132029\ 535*c_1001_4^18 - 9555990468752932645002542594770118058194504081135\ 4020838306277113375284/22162295868202725093209123320420638832102476\ 273831350546132029535*c_1001_4^17 - 3036638785509527451212579089357983876537740196627981752547172117825\ 5068/44324591736405450186418246640841277664204952547662701092264059\ 07*c_1001_4^16 - 18060939399244750844059193444537968801538546465960\ 6514361713155621542422/22162295868202725093209123320420638832102476\ 273831350546132029535*c_1001_4^15 - 1399900410164510508985482330361159622855492737408536837572283236609\ 89867/2216229586820272509320912332042063883210247627383135054613202\ 9535*c_1001_4^14 - 709158985305399744413784096016686616224766075080\ 9732379630040179403807/44324591736405450186418246640841277664204952\ 54766270109226405907*c_1001_4^13 + 1187035667848788464751983559728929551167458674317337198334544416862\ 4536/44324591736405450186418246640841277664204952547662701092264059\ 07*c_1001_4^12 + 75971611579218938497567041905147543566951810959047\ 996048683265128982993/221622958682027250932091233204206388321024762\ 73831350546132029535*c_1001_4^11 + 2817901899521615375146334234184174347693726162245751566877278540350\ 6692/22162295868202725093209123320420638832102476273831350546132029\ 535*c_1001_4^10 - 1841662982072296518537208763149363081603791090150\ 9068425788254763832883/22162295868202725093209123320420638832102476\ 273831350546132029535*c_1001_4^9 - 2877671606937407606457208064278874103895330110409191652815351143870\ 7261/22162295868202725093209123320420638832102476273831350546132029\ 535*c_1001_4^8 - 17116741956133742635742603241646555043390812328348\ 765854744832454935968/221622958682027250932091233204206388321024762\ 73831350546132029535*c_1001_4^7 - 605669001947478472372699042014873\ 9832527569840617575327644773149600862/22162295868202725093209123320\ 420638832102476273831350546132029535*c_1001_4^6 - 1532161632694124758029838142276111962319345377103625528672254715350\ 362/221622958682027250932091233204206388321024762738313505461320295\ 35*c_1001_4^5 - 687630322240580316541699224133557218305807684603753\ 49819639823940762/4432459173640545018641824664084127766420495254766\ 270109226405907*c_1001_4^4 - 12580682486813442452030319703969683716\ 406108714462957482997291891650/443245917364054501864182466408412776\ 6420495254766270109226405907*c_1001_4^3 - 5953101852788947622159750816055321523787840445131418318362471280591\ /22162295868202725093209123320420638832102476273831350546132029535*\ c_1001_4^2 - 354085826824871915316874711048382159746972395742591812\ 838262865071/221622958682027250932091233204206388321024762738313505\ 46132029535*c_1001_4 - 81371132194286542923065228546089092742988617\ 567289591213985849743/221622958682027250932091233204206388321024762\ 73831350546132029535, c_0101_0 + 82849214513558619252644629843254792781276790943517992660/169\ 311091763475523299758383149163788187713085651783901*c_1001_4^23 + 846487881334154499682688144523016933367005238471510789951/169311091\ 763475523299758383149163788187713085651783901*c_1001_4^22 + 4811863059496575123231614458836203248728139003378887828734/16931109\ 1763475523299758383149163788187713085651783901*c_1001_4^21 + 20558141737107937192052800443614654815531983855197480918223/1693110\ 91763475523299758383149163788187713085651783901*c_1001_4^20 + 68384900827572054227615647065618707788739671483884596132518/1693110\ 91763475523299758383149163788187713085651783901*c_1001_4^19 + 175613938623474647437166455056211411647891301922319590328936/169311\ 091763475523299758383149163788187713085651783901*c_1001_4^18 + 352278824530294447498522893233262039226758718677536518191510/169311\ 091763475523299758383149163788187713085651783901*c_1001_4^17 + 552589503064447172391610831195184264187549605810486081756583/169311\ 091763475523299758383149163788187713085651783901*c_1001_4^16 + 644900731037103733416420229958536776464938310108601608768782/169311\ 091763475523299758383149163788187713085651783901*c_1001_4^15 + 480996110963831904956811128075326505102796441963060575137676/169311\ 091763475523299758383149163788187713085651783901*c_1001_4^14 + 96676120775994578301397389059976549646823672679137938824014/1693110\ 91763475523299758383149163788187713085651783901*c_1001_4^13 - 230233292522791403381396692891138774713696435864218527456763/169311\ 091763475523299758383149163788187713085651783901*c_1001_4^12 - 266174129846243515526119123987511565678748682151258182337266/169311\ 091763475523299758383149163788187713085651783901*c_1001_4^11 - 84745203401283530674561432457871014829292525172731374771378/1693110\ 91763475523299758383149163788187713085651783901*c_1001_4^10 + 74505111161071500557413659873108746501414761614906541163686/1693110\ 91763475523299758383149163788187713085651783901*c_1001_4^9 + 101337430577345529515843783571382104910206396931855124943150/169311\ 091763475523299758383149163788187713085651783901*c_1001_4^8 + 56983093371454554752621021442648965930476894842266799188011/1693110\ 91763475523299758383149163788187713085651783901*c_1001_4^7 + 19441495441131499335048524925813081203346211767572461875320/1693110\ 91763475523299758383149163788187713085651783901*c_1001_4^6 + 4868875230481762574288180445186179925355064117761872257441/16931109\ 1763475523299758383149163788187713085651783901*c_1001_4^5 + 1081949236725256827095858838449050973561303349733546231633/16931109\ 1763475523299758383149163788187713085651783901*c_1001_4^4 + 186712159954110501122261938358724506590448113625469915546/169311091\ 763475523299758383149163788187713085651783901*c_1001_4^3 + 16338708422822449980580447722483097903101964597337190225/1693110917\ 63475523299758383149163788187713085651783901*c_1001_4^2 + 930140495208123151009793619632365215020168449193492114/169311091763\ 475523299758383149163788187713085651783901*c_1001_4 + 182890528870142126962353962061658694938898449395404729/169311091763\ 475523299758383149163788187713085651783901, c_0101_1 - 658631304566678657245403318034906451364411943604056963509106\ 9252869/22162295868202725093209123320420638832102476273831350546132\ 029535*c_1001_4^23 - 6714049117340010802575736056760373912908577267\ 2449002439039463522059/22162295868202725093209123320420638832102476\ 273831350546132029535*c_1001_4^22 - 3811749052321808035467162738719513020363728314559728732713484155306\ 94/2216229586820272509320912332042063883210247627383135054613202953\ 5*c_1001_4^21 - 325496041108193801072006518311784128374843659524296\ 377287489644858853/443245917364054501864182466408412776642049525476\ 6270109226405907*c_1001_4^20 - 540975251653994895726991327326463508\ 1532129012799467082776604277715008/22162295868202725093209123320420\ 638832102476273831350546132029535*c_1001_4^19 - 2776357342114060734428129551951707701727888073686726692897480576012\ 209/443245917364054501864182466408412776642049525476627010922640590\ 7*c_1001_4^18 - 278341025702974364145019315399501709773599526704181\ 89245003629736567019/2216229586820272509320912332042063883210247627\ 3831350546132029535*c_1001_4^17 - 436587914231451372211297477822439\ 99340239924165386535283602989847325681/2216229586820272509320912332\ 0420638832102476273831350546132029535*c_1001_4^16 - 5097798387551148967944805692975138759240273999356004884904933814368\ 1926/22162295868202725093209123320420638832102476273831350546132029\ 535*c_1001_4^15 - 3813324008011440582553681269864243260174993342815\ 8513929155824434702856/22162295868202725093209123320420638832102476\ 273831350546132029535*c_1001_4^14 - 7959374284410049158028357123729217504328255747632381085276583616429\ 709/221622958682027250932091233204206388321024762738313505461320295\ 35*c_1001_4^13 + 17778445788481194472400260987314320469354222074900\ 232870032782371703009/221622958682027250932091233204206388321024762\ 73831350546132029535*c_1001_4^12 + 2081939958860835334092623695622853502828133586748066000395434576636\ 2939/22162295868202725093209123320420638832102476273831350546132029\ 535*c_1001_4^11 + 6816945786259264249832455952990788812459047080360\ 389560262441273986138/221622958682027250932091233204206388321024762\ 73831350546132029535*c_1001_4^10 - 5644699957753478641250399577990498922697119739978708433428320969524\ 516/221622958682027250932091233204206388321024762738313505461320295\ 35*c_1001_4^9 - 158046066332962468134499654595311549309255868860343\ 6445583106487623695/44324591736405450186418246640841277664204952547\ 66270109226405907*c_1001_4^8 - 455216747343926141945535111958832484\ 6430936103402723083899466031674113/22162295868202725093209123320420\ 638832102476273831350546132029535*c_1001_4^7 - 1610942318530604720595711155945891667883593057716497804791270388647\ 749/221622958682027250932091233204206388321024762738313505461320295\ 35*c_1001_4^6 - 418313092503703802615229337410464002090229820126984\ 612871712145540868/221622958682027250932091233204206388321024762738\ 31350546132029535*c_1001_4^5 - 929745652790553732281156746133214799\ 01797709423419081992738020122842/2216229586820272509320912332042063\ 8832102476273831350546132029535*c_1001_4^4 - 1634572586088573351286313200162759255438831616905721628568210395030\ 3/22162295868202725093209123320420638832102476273831350546132029535\ *c_1001_4^3 - 17581311085864295466043856997014936557684168975436005\ 02251115769038/2216229586820272509320912332042063883210247627383135\ 0546132029535*c_1001_4^2 - 1028667858400598415932567938358722710138\ 52983234964853883379745183/2216229586820272509320912332042063883210\ 2476273831350546132029535*c_1001_4 - 2621362908203184516684487173316741597280289315101266312981168985/44\ 32459173640545018641824664084127766420495254766270109226405907, c_0101_10 - 75008025034941969618119551279710766101725527316589911722761\ 04955999/4432459173640545018641824664084127766420495254766270109226\ 405907*c_1001_4^23 - 3886850350719346888121401511107540741000453758\ 66744423818072202232808/2216229586820272509320912332042063883210247\ 6273831350546132029535*c_1001_4^22 - 2232488928745474364933265942259589146554479163969446463197215503586\ 998/221622958682027250932091233204206388321024762738313505461320295\ 35*c_1001_4^21 - 96069644991329770760169581410699256756512568166359\ 06392339410320138413/2216229586820272509320912332042063883210247627\ 3831350546132029535*c_1001_4^20 - 644373786186764320028968472315668\ 8728870579714356494696566733650694862/44324591736405450186418246640\ 84127766420495254766270109226405907*c_1001_4^19 - 8360972435274408941933678815355345739857755857540364829903588573225\ 1966/22162295868202725093209123320420638832102476273831350546132029\ 535*c_1001_4^18 - 3394990352194021430446926899245990885914186021904\ 5025408493104510964684/44324591736405450186418246640841277664204952\ 54766270109226405907*c_1001_4^17 - 2701266589914995593595275030702025106202105540106091345775967591810\ 78198/2216229586820272509320912332042063883210247627383135054613202\ 9535*c_1001_4^16 - 322080364336034585989044356096228902921858410489\ 570683955634176207137902/221622958682027250932091233204206388321024\ 76273831350546132029535*c_1001_4^15 - 2508331445422935728035759436805272344522956515117607503858220124931\ 53327/2216229586820272509320912332042063883210247627383135054613202\ 9535*c_1001_4^14 - 652797373755245417313268686835927960234585764284\ 13021975252935793860972/2216229586820272509320912332042063883210247\ 6273831350546132029535*c_1001_4^13 + 1042054216014049151925898819066926261529696661573740760744268050537\ 88072/2216229586820272509320912332042063883210247627383135054613202\ 9535*c_1001_4^12 + 135259992928914837606178736338558743382548558614\ 098669113381647509099533/221622958682027250932091233204206388321024\ 76273831350546132029535*c_1001_4^11 + 5114643980789017730117217517835532987963304612725226885699130930584\ 7448/22162295868202725093209123320420638832102476273831350546132029\ 535*c_1001_4^10 - 3195753922327379173798448718530770667846910507650\ 0705433171559290742244/22162295868202725093209123320420638832102476\ 273831350546132029535*c_1001_4^9 - 5110320753524209552596894678361062462696436269260786607664782219167\ 5457/22162295868202725093209123320420638832102476273831350546132029\ 535*c_1001_4^8 - 61550904181713885348444398196574206333011043772429\ 72669769780966796454/4432459173640545018641824664084127766420495254\ 766270109226405907*c_1001_4^7 - 11066976476882969690095579732790606\ 302627539365785815671759984163079521/221622958682027250932091233204\ 20638832102476273831350546132029535*c_1001_4^6 - 2843892550835919897771852161856772071260034837629405970051301475948\ 963/221622958682027250932091233204206388321024762738313505461320295\ 35*c_1001_4^5 - 635243799995055731414959428283307509479917366540474\ 126657302426287631/221622958682027250932091233204206388321024762738\ 31350546132029535*c_1001_4^4 - 115360260986276211430241391671771153\ 685968497782367908680511635364659/221622958682027250932091233204206\ 38832102476273831350546132029535*c_1001_4^3 - 1144470992454652170477453407262801674430605749381221431198791410959\ 6/22162295868202725093209123320420638832102476273831350546132029535\ *c_1001_4^2 - 66593731434505653842265209633605673019719076108298708\ 3648967629106/22162295868202725093209123320420638832102476273831350\ 546132029535*c_1001_4 - 1441679468825597138371024741006404864492039\ 37323542999603938687841/2216229586820272509320912332042063883210247\ 6273831350546132029535, c_0101_11 + 66829494691982196892180516907062954222216207946529956956198\ 38488/8334823568334984991804860218285309827793334439199454887601365\ *c_1001_4^23 + 6916909099829014904890949846083093738066699181424444\ 7189061711999/83348235683349849918048602182853098277933344391994548\ 87601365*c_1001_4^22 + 39696211132317200730176591963678620029774279\ 8037393967800743485684/83348235683349849918048602182853098277933344\ 39199454887601365*c_1001_4^21 + 17073693009588096223043284253200355\ 23921983299346876581940927809846/8334823568334984991804860218285309\ 827793334439199454887601365*c_1001_4^20 + 5722667292227725391982617791098622967872844580324083615406094680346\ /8334823568334984991804860218285309827793334439199454887601365*c_10\ 01_4^19 + 148404714802378275009994717352004575502385642808579322602\ 96774956922/8334823568334984991804860218285309827793334439199454887\ 601365*c_1001_4^18 + 3010899491041557411469068804559885010033703746\ 6222198533653226643688/83348235683349849918048602182853098277933344\ 39199454887601365*c_1001_4^17 + 47876757347646899034377648228511405\ 818919188361128440616021382650723/833482356833498499180486021828530\ 9827793334439199454887601365*c_1001_4^16 + 5702448015525271168460029119640823624714537788471724974634180989394\ 6/8334823568334984991804860218285309827793334439199454887601365*c_1\ 001_4^15 + 44327648020461972974777245497133395567254247911938253144\ 155061618196/833482356833498499180486021828530982779333443919945488\ 7601365*c_1001_4^14 + 114394483739391258800584444339587423953930168\ 40975663175250136493667/8334823568334984991804860218285309827793334\ 439199454887601365*c_1001_4^13 - 1851155880683595728143350600586954\ 9146023623492006158436144875839327/83348235683349849918048602182853\ 09827793334439199454887601365*c_1001_4^12 - 2392285925497551733543291058898365679548388914291992584384236586916\ 9/8334823568334984991804860218285309827793334439199454887601365*c_1\ 001_4^11 - 89963985977586387391827747981032672226088434010582747635\ 79417071022/8334823568334984991804860218285309827793334439199454887\ 601365*c_1001_4^10 + 1138389351627695355226288661789026904548658707\ 860406602259519867011/166696471366699699836097204365706196555866688\ 7839890977520273*c_1001_4^9 + 9046093085922516846494002298992101249\ 570383814307395619874747114454/833482356833498499180486021828530982\ 7793334439199454887601365*c_1001_4^8 + 5433507402943599968754932461847394729552762014306859066902076390051\ /8334823568334984991804860218285309827793334439199454887601365*c_10\ 01_4^7 + 3896654006633247688651569664392699128751299578617839914981\ 56133952/1666964713666996998360972043657061965558666887839890977520\ 273*c_1001_4^6 + 50025107660098662111920475787923011810990125648071\ 1963165985492502/83348235683349849918048602182853098277933344391994\ 54887601365*c_1001_4^5 + 112958534600781516506223963396730748521623\ 257494130487478918555816/833482356833498499180486021828530982779333\ 4439199454887601365*c_1001_4^4 + 2091816112450871276345209314992874\ 5179261236072490945875009410869/83348235683349849918048602182853098\ 27793334439199454887601365*c_1001_4^3 + 2099212412350442661895679749090023222885902758419054560122735373/83\ 34823568334984991804860218285309827793334439199454887601365*c_1001_\ 4^2 + 1261072695112920828661670893508691552539384352981409259241998\ 43/8334823568334984991804860218285309827793334439199454887601365*c_\ 1001_4 + 2670339807593585212255613450167464510877005184537650794975\ 4612/8334823568334984991804860218285309827793334439199454887601365, c_0101_12 - 89453294171016185281993671252074937445629358376981740217352\ 85106304/4432459173640545018641824664084127766420495254766270109226\ 405907*c_1001_4^23 - 4627254583402089648757167334109496868871749029\ 92242046285809757397064/2216229586820272509320912332042063883210247\ 6273831350546132029535*c_1001_4^22 - 2654644949562872724970534456373386413474555971022169913456916223742\ 304/221622958682027250932091233204206388321024762738313505461320295\ 35*c_1001_4^21 - 11414740971498623822095087780881679410300458579665\ 081343750502213150824/221622958682027250932091233204206388321024762\ 73831350546132029535*c_1001_4^20 - 7649516648222331176369912205115341534875543946387243051532018770939\ 164/443245917364054501864182466408412776642049525476627010922640590\ 7*c_1001_4^19 - 991463118964642298410042081286628830354300089427171\ 24977908360184032608/2216229586820272509320912332042063883210247627\ 3831350546132029535*c_1001_4^18 - 402101762782187800676139638047774\ 84321281569586937317941438306968971184/4432459173640545018641824664\ 084127766420495254766270109226405907*c_1001_4^17 - 3194917347181869303402718829248230315280218245523752472157508279346\ 19184/2216229586820272509320912332042063883210247627383135054613202\ 9535*c_1001_4^16 - 380172663355287217618624733914655642129237160543\ 843161744877249890423556/221622958682027250932091233204206388321024\ 76273831350546132029535*c_1001_4^15 - 2949393074702621293614832452179954439420090421312616029197206959829\ 49036/2216229586820272509320912332042063883210247627383135054613202\ 9535*c_1001_4^14 - 752740301599010709468294054027945571610204786856\ 49554888251136579978976/2216229586820272509320912332042063883210247\ 6273831350546132029535*c_1001_4^13 + 1240922991637777537801532092159392763495511807323883393959827712382\ 65556/2216229586820272509320912332042063883210247627383135054613202\ 9535*c_1001_4^12 + 159384612275786600980563915130446711423355572921\ 308747645598858076846404/221622958682027250932091233204206388321024\ 76273831350546132029535*c_1001_4^11 + 5945626235924106381055816006585522000771655911788151460800917513734\ 3304/22162295868202725093209123320420638832102476273831350546132029\ 535*c_1001_4^10 - 3825087998710686611790680139289419217165772950247\ 8570612501737409187777/22162295868202725093209123320420638832102476\ 273831350546132029535*c_1001_4^9 - 6026377385629570510576754253058223271746541478603010504316501723460\ 6906/22162295868202725093209123320420638832102476273831350546132029\ 535*c_1001_4^8 - 72179190142779190957125984237516295184435649579288\ 16818707271872284065/4432459173640545018641824664084127766420495254\ 766270109226405907*c_1001_4^7 - 12925482576875843371074857443728213\ 328585779565660497939139050583075268/221622958682027250932091233204\ 20638832102476273831350546132029535*c_1001_4^6 - 3315240228230366176277860859718039836446983760917669180763851406835\ 884/221622958682027250932091233204206388321024762738313505461320295\ 35*c_1001_4^5 - 740436686391076009017058561584648492903880188375803\ 708451092112707168/221622958682027250932091233204206388321024762738\ 31350546132029535*c_1001_4^4 - 134031520344726302552580622056745147\ 183649254729971654951970274494092/221622958682027250932091233204206\ 38832102476273831350546132029535*c_1001_4^3 - 1309421527167250495468739845428318772960621923983649137408719345336\ 8/22162295868202725093209123320420638832102476273831350546132029535\ *c_1001_4^2 - 65353184767848510834437159531119847443431466035635700\ 8428081129208/22162295868202725093209123320420638832102476273831350\ 546132029535*c_1001_4 - 1474563493180558066878346277156783967858053\ 59306470699065289451608/2216229586820272509320912332042063883210247\ 6273831350546132029535, c_0101_13 + 77036551000769210307273184824886852474208197089399236823663\ 377270953/221622958682027250932091233204206388321024762738313505461\ 32029535*c_1001_4^23 + 15879597064431564900798920427240251397774839\ 3640697819301459601940331/44324591736405450186418246640841277664204\ 95254766270109226405907*c_1001_4^22 + 9084778820467091777358346420294555682698146078209938102973143571516\ 35/4432459173640545018641824664084127766420495254766270109226405907\ *c_1001_4^21 + 1949414713570530196491873576109340230310947736020757\ 5009743732353946047/22162295868202725093209123320420638832102476273\ 831350546132029535*c_1001_4^20 + 6517724996672371609571943296942348\ 6260249084968651890697814204186368771/22162295868202725093209123320\ 420638832102476273831350546132029535*c_1001_4^19 + 1684825417996445994113540131151975941496883851765816217846085842284\ 61209/2216229586820272509320912332042063883210247627383135054613202\ 9535*c_1001_4^18 + 340560047038011352579469531582097632623245824707\ 052459780109696957629563/221622958682027250932091233204206388321024\ 76273831350546132029535*c_1001_4^17 + 5391334302911863194350800011204068244737154871367998376290169249086\ 80384/2216229586820272509320912332042063883210247627383135054613202\ 9535*c_1001_4^16 + 127587193512941070327599467896655849497049908178\ 122067939096850607335052/443245917364054501864182466408412776642049\ 5254766270109226405907*c_1001_4^15 + 9788425242120785496491797717595505098034665014219778412676890535338\ 8696/44324591736405450186418246640841277664204952547662701092264059\ 07*c_1001_4^14 + 11750585567846544938691089855825533245976859034393\ 9329834505292245437736/22162295868202725093209123320420638832102476\ 273831350546132029535*c_1001_4^13 - 2138246874984353814503941140047237461911551845041228075496330646474\ 13866/2216229586820272509320912332042063883210247627383135054613202\ 9535*c_1001_4^12 - 532551628666674498827523446994047284776949372089\ 32548792139570583530585/4432459173640545018641824664084127766420495\ 254766270109226405907*c_1001_4^11 - 9523252136201385073311880719216771598467379707125734260270783540341\ 9638/22162295868202725093209123320420638832102476273831350546132029\ 535*c_1001_4^10 + 6689748796229764656061483726880865387505090482675\ 8381168999057094657588/22162295868202725093209123320420638832102476\ 273831350546132029535*c_1001_4^9 + 1008875260071076026416552082258111491664978521951290297272871733979\ 37413/2216229586820272509320912332042063883210247627383135054613202\ 9535*c_1001_4^8 + 5937925977378348373406911425329006847768901383269\ 4614417384880820849111/22162295868202725093209123320420638832102476\ 273831350546132029535*c_1001_4^7 + 2098770713587021404349657872487064433073661691527231989732190829646\ 0767/22162295868202725093209123320420638832102476273831350546132029\ 535*c_1001_4^6 + 53413218660664899607569458996928304043051956991753\ 30972271312761811348/2216229586820272509320912332042063883210247627\ 3831350546132029535*c_1001_4^5 + 1188119184090087528603806070137823\ 634833268664006206732857495042724518/221622958682027250932091233204\ 20638832102476273831350546132029535*c_1001_4^4 + 2121578360416828093948141600635398559715692671060978160993894269264\ 77/2216229586820272509320912332042063883210247627383135054613202953\ 5*c_1001_4^3 + 4048284860562432992163495707473331700891495983122296\ 678888193328432/443245917364054501864182466408412776642049525476627\ 0109226405907*c_1001_4^2 + 2105835443218482102413872683949597126890\ 73779900585491610167318977/4432459173640545018641824664084127766420\ 495254766270109226405907*c_1001_4 + 232448634773322917301925076674036365553091046955713886168185644624/\ 22162295868202725093209123320420638832102476273831350546132029535, c_0101_9 + 717800697016536642497333435480471620920548611370056115376831\ 581599/221622958682027250932091233204206388321024762738313505461320\ 29535*c_1001_4^23 + 79316491641860036278386579444780535129130840924\ 19805224308827533348/2216229586820272509320912332042063883210247627\ 3831350546132029535*c_1001_4^22 + 472478330799740908575962737562150\ 31346010305956094571298506542019928/2216229586820272509320912332042\ 0638832102476273831350546132029535*c_1001_4^21 + 2075407612728092256934267088299411880632660129354465998414011989391\ 54/2216229586820272509320912332042063883210247627383135054613202953\ 5*c_1001_4^20 + 712066446916634720311481810575475253170779023801717\ 633115890800494413/221622958682027250932091233204206388321024762738\ 31350546132029535*c_1001_4^19 + 18960278207372636633113329377877774\ 76759597067714432245325036902159643/2216229586820272509320912332042\ 0638832102476273831350546132029535*c_1001_4^18 + 3938557764086947347847587407439309771588442772184294115980853586986\ 839/221622958682027250932091233204206388321024762738313505461320295\ 35*c_1001_4^17 + 12801672335214510155729466960851219117850646810177\ 38537748225343823627/4432459173640545018641824664084127766420495254\ 766270109226405907*c_1001_4^16 + 7823420896816250200815425157191997\ 088199664692116761786252788888673837/221622958682027250932091233204\ 20638832102476273831350546132029535*c_1001_4^15 + 6279840657891077160798264382694215706842929245220098018861563115721\ 122/221622958682027250932091233204206388321024762738313505461320295\ 35*c_1001_4^14 + 34005754601875656363771060725287842243134913764207\ 1936647921003467746/44324591736405450186418246640841277664204952547\ 66270109226405907*c_1001_4^13 - 54097733082198339983582568969238479\ 2261348949299181985510220932894574/44324591736405450186418246640841\ 27766420495254766270109226405907*c_1001_4^12 - 3536012986677644765452734296362921461229930523257677723341106551506\ 978/221622958682027250932091233204206388321024762738313505461320295\ 35*c_1001_4^11 - 12652277830587769956151225708660029342703151367597\ 03986015742631292322/2216229586820272509320912332042063883210247627\ 3831350546132029535*c_1001_4^10 + 923802510003049946715863667397938\ 381120660036654031141291068025099263/221622958682027250932091233204\ 20638832102476273831350546132029535*c_1001_4^9 + 1321800988339320277184409181325215609100143326900036308210188839319\ 851/221622958682027250932091233204206388321024762738313505461320295\ 35*c_1001_4^8 + 713075899247814322764156357651146933218909704207500\ 736415518553409398/221622958682027250932091233204206388321024762738\ 31350546132029535*c_1001_4^7 + 225144049601503113735207041752314375\ 290862991801034622381201358876017/221622958682027250932091233204206\ 38832102476273831350546132029535*c_1001_4^6 + 6048119398881810707023701393838881938963218091759411117441705935557\ 2/22162295868202725093209123320420638832102476273831350546132029535\ *c_1001_4^5 + 35542885687579475372688940484153619595200256074696109\ 41810815272107/4432459173640545018641824664084127766420495254766270\ 109226405907*c_1001_4^4 + 67580467312327134055160108960946785271636\ 3883885118974391544506792/44324591736405450186418246640841277664204\ 95254766270109226405907*c_1001_4^3 + 356216942354726522580203384866934236195772974502210696545051641871/\ 22162295868202725093209123320420638832102476273831350546132029535*c\ _1001_4^2 + 6490084681358475984552090794673245265556054785114092522\ 3661690731/22162295868202725093209123320420638832102476273831350546\ 132029535*c_1001_4 + 5593843388990433626604847992803480028251417532\ 022449376040543948/221622958682027250932091233204206388321024762738\ 31350546132029535, c_1001_0 + 250779785524730963607432587725469236350180037297940552322244\ 50248093/2216229586820272509320912332042063883210247627383135054613\ 2029535*c_1001_4^23 + 514223051640496651762750298776524179357994467\ 78032299484552838093822/4432459173640545018641824664084127766420495\ 254766270109226405907*c_1001_4^22 + 2929938118757527237058925878909543386462579140628323124270001895488\ 18/4432459173640545018641824664084127766420495254766270109226405907\ *c_1001_4^21 + 6268690287035593761281329402055900391634112454745687\ 545789329759732512/221622958682027250932091233204206388321024762738\ 31350546132029535*c_1001_4^20 + 20889778820290865624620822826883919\ 173642758447503274879398449604863511/221622958682027250932091233204\ 20638832102476273831350546132029535*c_1001_4^19 + 5376695141623055239242315504103512175687950257540752532150337581646\ 0399/22162295868202725093209123320420638832102476273831350546132029\ 535*c_1001_4^18 + 1081270875598959399980437455358929854248623125581\ 59108941090428034303248/2216229586820272509320912332042063883210247\ 6273831350546132029535*c_1001_4^17 + 1701127265909770513104701183533835443152428553484717379589501905389\ 86829/2216229586820272509320912332042063883210247627383135054613202\ 9535*c_1001_4^16 + 398815231982213173702603784591815719157016975891\ 94023350499455205996942/4432459173640545018641824664084127766420495\ 254766270109226405907*c_1001_4^15 + 3000991368038918986721353903836371940735428258890311606362404407700\ 1090/44324591736405450186418246640841277664204952547662701092264059\ 07*c_1001_4^14 + 31957420703521806075893472939058207467073058864982\ 388331002399715156946/221622958682027250932091233204206388321024762\ 73831350546132029535*c_1001_4^13 - 6992505290291263604845885539311146068237894992688357514065821502981\ 9436/22162295868202725093209123320420638832102476273831350546132029\ 535*c_1001_4^12 - 1652042606535749758491263302112677209179697774408\ 5213181961667263594921/44324591736405450186418246640841277664204952\ 54766270109226405907*c_1001_4^11 - 2724187266209826402430307753782815826631647818481760857444929892755\ 5878/22162295868202725093209123320420638832102476273831350546132029\ 535*c_1001_4^10 + 2242621344613490944146237998469644116222261544491\ 8053853677561009514163/22162295868202725093209123320420638832102476\ 273831350546132029535*c_1001_4^9 + 3138331156011994029742135108509190642513325038795558318860206268032\ 7263/22162295868202725093209123320420638832102476273831350546132029\ 535*c_1001_4^8 + 17882497052716367244358392596707946106780078234772\ 333854796814621509136/221622958682027250932091233204206388321024762\ 73831350546132029535*c_1001_4^7 + 617352355058989995748501630699720\ 1677242304740026159149991183822692877/22162295868202725093209123320\ 420638832102476273831350546132029535*c_1001_4^6 + 1558926493642294769049716787200023552631871396117323483069806182050\ 628/221622958682027250932091233204206388321024762738313505461320295\ 35*c_1001_4^5 + 346855158938947161993515684560658015127482446195156\ 051929528236797733/221622958682027250932091233204206388321024762738\ 31350546132029535*c_1001_4^4 + 603721678572703387956301272954600667\ 51035464854779744416245706713057/2216229586820272509320912332042063\ 8832102476273831350546132029535*c_1001_4^3 + 1120077303489944757802038020707093457605851969533037646061902889045\ /4432459173640545018641824664084127766420495254766270109226405907*c\ _1001_4^2 + 6642264440391493584299401161431733788444732871384982002\ 7049977940/44324591736405450186418246640841277664204952547662701092\ 26405907*c_1001_4 + 45852533432390159161222173369657583062532085833\ 949901989029177079/221622958682027250932091233204206388321024762738\ 31350546132029535, c_1001_4^24 + 4046/361*c_1001_4^23 + 24639/361*c_1001_4^22 + 110533/361*c_1001_4^21 + 387745/361*c_1001_4^20 + 1064745/361*c_1001_4^19 + 121438/19*c_1001_4^18 + 3964444/361*c_1001_4^17 + 5265937/361*c_1001_4^16 + 4987296/361*c_1001_4^15 + 2617688/361*c_1001_4^14 - 504824/361*c_1001_4^13 - 113122/19*c_1001_4^12 - 1569740/361*c_1001_4^11 - 88794/361*c_1001_4^10 + 754489/361*c_1001_4^9 + 703774/361*c_1001_4^8 + 349136/361*c_1001_4^7 + 113903/361*c_1001_4^6 + 28276/361*c_1001_4^5 + 6058/361*c_1001_4^4 + 1001/361*c_1001_4^3 + 93/361*c_1001_4^2 + 6/361*c_1001_4 + 1/361 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 46.180 Total time: 46.390 seconds, Total memory usage: 190.50MB