Magma V2.19-8 Tue Aug 20 2013 23:43:44 on localhost [Seed = 3002390436] Type ? for help. Type -D to quit. Loading file "K13n1470__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1470 geometric_solution 11.08385264 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 2 0132 0132 0132 1230 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 0 1 0 0 0 0 -1 1 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.601509727514 1.180475988957 0 4 6 5 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -5 5 -4 4 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.516628376770 0.320222526197 0 0 8 7 3012 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 0 -1 -1 0 0 1 0 4 0 -4 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.256706588248 0.760460128031 9 10 4 0 0132 0132 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.206448570935 0.643595983879 7 1 8 3 0132 0132 1023 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.610039206344 0.379537265785 9 11 1 9 2103 0132 0132 0321 0 0 0 0 0 0 0 0 1 0 -1 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 5 0 -5 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.481921901540 0.691165298149 7 10 11 1 1230 1230 3201 0132 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -5 0 0 5 4 -5 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.544325358042 1.288119932480 4 6 2 10 0132 3012 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 0 5 0 -5 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.522469508719 0.761213063777 11 11 4 2 3012 0213 1023 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 0 0 0 0 0 0 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.708769572174 1.119956063804 3 5 5 10 0132 0321 2103 2310 0 0 0 0 0 0 -1 1 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 -4 4 0 0 -5 5 -5 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.176553187126 1.057040796295 9 3 6 7 3201 0132 3012 0213 0 0 0 0 0 0 0 0 -1 0 0 1 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -5 0 0 5 -4 5 0 -1 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.720601764672 1.029464117673 6 5 8 8 2310 0132 0213 1230 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 0 -1 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.708769572174 1.119956063804 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_4'], 'c_1001_10' : negation(d['c_0011_6']), 'c_1001_5' : d['c_0101_8'], 'c_1001_4' : d['c_0101_8'], 'c_1001_7' : negation(d['c_0011_6']), 'c_1001_6' : negation(d['c_0011_8']), 'c_1001_1' : d['c_0101_10'], 'c_1001_0' : negation(d['c_0011_6']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : negation(d['c_0011_11']), 'c_1001_8' : d['c_0101_4'], 'c_1010_11' : d['c_0101_8'], 'c_1010_10' : d['c_1001_3'], 's_3_11' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_8'], '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' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_1001_3'], 'c_1100_5' : negation(d['c_0011_11']), 'c_1100_4' : negation(d['c_1001_3']), 'c_1100_7' : d['c_1001_3'], 'c_1100_6' : negation(d['c_0011_11']), 'c_1100_1' : negation(d['c_0011_11']), 'c_1100_0' : d['c_0101_7'], 'c_1100_3' : d['c_0101_7'], 'c_1100_2' : d['c_1001_3'], 's_0_10' : d['1'], 'c_1100_9' : d['c_0011_10'], 'c_1100_11' : d['c_0101_2'], 'c_1100_10' : d['c_0011_8'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_8'], 'c_1010_6' : d['c_0101_10'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_10'], 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : negation(d['c_0011_6']), 'c_1010_1' : d['c_0101_8'], 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : d['c_0101_4'], 'c_1010_8' : d['c_0101_2'], 's_3_1' : d['1'], 's_3_0' : negation(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'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_6'], '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_0011_8'], 'c_0110_10' : negation(d['c_0101_4']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_8']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_10']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_10']), 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0011_10']), 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : d['c_0101_4'], 'c_0110_6' : negation(d['c_0011_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_6, c_0011_8, c_0101_0, c_0101_10, c_0101_2, c_0101_4, c_0101_7, c_0101_8, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 430873371153199738779085978094866542607977027054149689/147894140641\ 099612214729772901620833218168325647520*c_1001_3^23 + 3450291645838544226098659202192514395865833640751060569/73947070320\ 549806107364886450810416609084162823760*c_1001_3^22 + 17340785489283466745723608170452684488940636354189530123/1478941406\ 41099612214729772901620833218168325647520*c_1001_3^21 - 43252214140024966419691391382972216109017566821344334721/1478941406\ 41099612214729772901620833218168325647520*c_1001_3^20 - 1353745659729990562916670167949209205751509783686873186/46216918950\ 34362881710305403175651038067760176485*c_1001_3^19 + 119666144050033648319310687958813274365933750413371278483/739470703\ 20549806107364886450810416609084162823760*c_1001_3^18 - 298371281254271302723763508966383571737873062630555118833/147894140\ 641099612214729772901620833218168325647520*c_1001_3^17 + 42515052654472140406935850581838324729590318749936060149/1848676758\ 0137451526841221612702604152271040705940*c_1001_3^16 - 520445476435414652738389053607962200417212312295235895723/147894140\ 641099612214729772901620833218168325647520*c_1001_3^15 + 106724879104374835791930676109208935651002958353776572495/295788281\ 28219922442945954580324166643633665129504*c_1001_3^14 - 5172076562353873075124912031946782296901169329043276781/73947070320\ 549806107364886450810416609084162823760*c_1001_3^13 + 1471310019506891958963716160789911512738103715176085713/92433837900\ 68725763420610806351302076135520352970*c_1001_3^12 - 139677110723757697187450070516370214196860157377244470587/147894140\ 641099612214729772901620833218168325647520*c_1001_3^11 - 81843414439820707972487256245090805083779718915409626247/1478941406\ 41099612214729772901620833218168325647520*c_1001_3^10 + 477011734939426460613855132586337713799783110584669091083/147894140\ 641099612214729772901620833218168325647520*c_1001_3^9 + 17663325761256139113143403283736409114804415727793922805/2957882812\ 8219922442945954580324166643633665129504*c_1001_3^8 - 68476718623952077809600828859097419976011742623178165017/7394707032\ 0549806107364886450810416609084162823760*c_1001_3^7 - 84868703657177443864152963746951344319779213770667588269/3697353516\ 0274903053682443225405208304542081411880*c_1001_3^6 + 90888642810073768780417688161820939473087045276497208761/1478941406\ 41099612214729772901620833218168325647520*c_1001_3^5 + 171584303054891078241978041020496743171052605160660968281/147894140\ 641099612214729772901620833218168325647520*c_1001_3^4 + 25108360474462457878469052685993054571993305209579689431/3697353516\ 0274903053682443225405208304542081411880*c_1001_3^3 + 53245345841801585993765911764382350561558149017800546519/1478941406\ 41099612214729772901620833218168325647520*c_1001_3^2 + 2973607473528495658243653818171971187534738811596415959/14789414064\ 1099612214729772901620833218168325647520*c_1001_3 + 3507047970654791568926122453240004064760095491748735633/18486767580\ 137451526841221612702604152271040705940, c_0011_0 - 1, c_0011_10 + 3404740259280850309997436680885075941634863/180811840210649\ 386223682243795879714672952736*c_1001_3^23 + 52977782936224242731305283161622055204332911/1808118402106493862236\ 82243795879714672952736*c_1001_3^22 + 113759049875517029881064617413663531784844055/180811840210649386223\ 682243795879714672952736*c_1001_3^21 - 95048145192004173299743962670749087207505997/4520296005266234655592\ 0560948969928668238184*c_1001_3^20 - 139988493057197749237367915174032954714945489/180811840210649386223\ 682243795879714672952736*c_1001_3^19 + 926967807791140729567505942611561828558970177/904059201053246931118\ 41121897939857336476368*c_1001_3^18 - 3267279297363620454559062056380495825650258753/18081184021064938622\ 3682243795879714672952736*c_1001_3^17 + 4678709274806290393151821173775323875175575391/18081184021064938622\ 3682243795879714672952736*c_1001_3^16 - 6956695587139031243707333310253811377259388637/18081184021064938622\ 3682243795879714672952736*c_1001_3^15 + 4121596117981336291492670290653327783878661357/90405920105324693111\ 841121897939857336476368*c_1001_3^14 - 5242038880794390613983031252826937354100043243/18081184021064938622\ 3682243795879714672952736*c_1001_3^13 + 2157794911675664328828067501642166150800391127/90405920105324693111\ 841121897939857336476368*c_1001_3^12 - 3949756162265779819773008163591347713017440637/18081184021064938622\ 3682243795879714672952736*c_1001_3^11 + 455837583972646127653274522171165721901137607/452029600526623465559\ 20560948969928668238184*c_1001_3^10 + 935851831561478989941391351774200291537803619/904059201053246931118\ 41121897939857336476368*c_1001_3^9 + 180965924775013167439087982874953589934513821/904059201053246931118\ 41121897939857336476368*c_1001_3^8 - 710643062354467123232967627734344437783894197/180811840210649386223\ 682243795879714672952736*c_1001_3^7 - 1104100104511792636039350927421050493018753851/90405920105324693111\ 841121897939857336476368*c_1001_3^6 + 1152887184199742819054581941781147037597540891/18081184021064938622\ 3682243795879714672952736*c_1001_3^5 + 20805765800029046022034973994795446359985449/1130074001316558663898\ 0140237242482167059546*c_1001_3^4 + 1281336463612533068218696096634244785084127645/18081184021064938622\ 3682243795879714672952736*c_1001_3^3 + 152854127070303859644266956314971066587251461/180811840210649386223\ 682243795879714672952736*c_1001_3^2 + 3595693224105336061057984501004972752981744/56503700065827933194900\ 70118621241083529773*c_1001_3 + 12378296595282894804491959280589647\ 1017475535/180811840210649386223682243795879714672952736, c_0011_11 + 513168958366553750569723661397457820648981/9040592010532469\ 3111841121897939857336476368*c_1001_3^23 + 6993391553418367762850169311628613895521499/90405920105324693111841\ 121897939857336476368*c_1001_3^22 + 1591903234590297569935972397317001187916325/90405920105324693111841\ 121897939857336476368*c_1001_3^21 - 46082158445819390560672275810061314348155763/4520296005266234655592\ 0560948969928668238184*c_1001_3^20 + 89124117486490577927285306789080277862487863/9040592010532469311184\ 1121897939857336476368*c_1001_3^19 + 172126156994838416435711683583135384300522961/452029600526623465559\ 20560948969928668238184*c_1001_3^18 - 1050026561688692193590324697385947148343171899/90405920105324693111\ 841121897939857336476368*c_1001_3^17 + 1551977531226453931023453971055821304110381107/90405920105324693111\ 841121897939857336476368*c_1001_3^16 - 2159700638446589568298227196247595707777170583/90405920105324693111\ 841121897939857336476368*c_1001_3^15 + 749348191392785370252455531161164731738055513/226014800263311732779\ 60280474484964334119092*c_1001_3^14 - 2853876842106446938287321124353787434745502099/90405920105324693111\ 841121897939857336476368*c_1001_3^13 + 834766061551837182350522166882502112028455867/452029600526623465559\ 20560948969928668238184*c_1001_3^12 - 1461834079331629263047256381870733557360080047/90405920105324693111\ 841121897939857336476368*c_1001_3^11 + 700132841583587815423884937764101072736398937/452029600526623465559\ 20560948969928668238184*c_1001_3^10 - 48394934518297893699446011473807995007888927/2260148002633117327796\ 0280474484964334119092*c_1001_3^9 - 78493089901766168245449685868423446189081569/1130074001316558663898\ 0140237242482167059546*c_1001_3^8 - 368159043754185164011675282788888904112279237/904059201053246931118\ 41121897939857336476368*c_1001_3^7 + 64675759907854193163105411947831581091946565/4520296005266234655592\ 0560948969928668238184*c_1001_3^6 + 977867234454378267959375255304366161654723137/904059201053246931118\ 41121897939857336476368*c_1001_3^5 - 166799215978404186656069019760622062789062685/452029600526623465559\ 20560948969928668238184*c_1001_3^4 - 139027021775339905360563735637356501404929375/904059201053246931118\ 41121897939857336476368*c_1001_3^3 - 229325167256865751913647182248924108990503897/904059201053246931118\ 41121897939857336476368*c_1001_3^2 + 19711349111462908316856829941215865429146633/4520296005266234655592\ 0560948969928668238184*c_1001_3 - 128970111613548047755942841153155\ 03230005365/90405920105324693111841121897939857336476368, c_0011_6 - 121702859149262528909008292712988594068497/11300740013165586\ 638980140237242482167059546*c_1001_3^23 - 950068288239351986558273241194741167404342/565037000658279331949007\ 0118621241083529773*c_1001_3^22 - 210419693790469760888527636841022\ 3257173941/5650370006582793319490070118621241083529773*c_1001_3^21 + 12721426249305432144567526432312725417503479/1130074001316558663898\ 0140237242482167059546*c_1001_3^20 + 2146974349805043176018632277799598015594825/56503700065827933194900\ 70118621241083529773*c_1001_3^19 - 61393644044657419388003146040853752845623911/1130074001316558663898\ 0140237242482167059546*c_1001_3^18 + 115072193402555487817373594857071337610581829/113007400131655866389\ 80140237242482167059546*c_1001_3^17 - 184512130547408913826352808478580089206732917/113007400131655866389\ 80140237242482167059546*c_1001_3^16 + 139614140818399858361931036638234882537491099/565037000658279331949\ 0070118621241083529773*c_1001_3^15 - 167119201358009552085423631756452396239399019/565037000658279331949\ 0070118621241083529773*c_1001_3^14 + 126228999529820658695419217785151908164685775/565037000658279331949\ 0070118621241083529773*c_1001_3^13 - 120403282775149150529068650160588965425736515/565037000658279331949\ 0070118621241083529773*c_1001_3^12 + 181063390548777004081787852432849155259158357/113007400131655866389\ 80140237242482167059546*c_1001_3^11 - 85516345591200999976112225140464243159542977/1130074001316558663898\ 0140237242482167059546*c_1001_3^10 - 21366413854667121065056193854027454791713457/5650370006582793319490\ 070118621241083529773*c_1001_3^9 - 10142970061741467694542726088693783571583255/5650370006582793319490\ 070118621241083529773*c_1001_3^8 - 14419838858095351138941871944703326814447891/5650370006582793319490\ 070118621241083529773*c_1001_3^7 + 44583779877007310939431909265331872355992892/5650370006582793319490\ 070118621241083529773*c_1001_3^6 - 21507407387353998880799079581998666264223461/1130074001316558663898\ 0140237242482167059546*c_1001_3^5 + 15919462097454486216788666424527777470065917/1130074001316558663898\ 0140237242482167059546*c_1001_3^4 - 58677755742760189403712405628015669769579685/1130074001316558663898\ 0140237242482167059546*c_1001_3^3 - 9900167790468643831581457091346647690254915/56503700065827933194900\ 70118621241083529773*c_1001_3^2 - 399880638942759499057679408218252\ 4519175713/5650370006582793319490070118621241083529773*c_1001_3 - 3274381957914757069384773780308836635089789/56503700065827933194900\ 70118621241083529773, c_0011_8 - 1675782698139285571742293053207430593933589/1808118402106493\ 86223682243795879714672952736*c_1001_3^23 - 27448988500105196968792593382769615446842209/1808118402106493862236\ 82243795879714672952736*c_1001_3^22 - 76809868529966422455921511258421878627453101/1808118402106493862236\ 82243795879714672952736*c_1001_3^21 + 9366494803008133271850922344045744695581339/11300740013165586638980\ 140237242482167059546*c_1001_3^20 + 240419216055788989583596882570910414122918567/180811840210649386223\ 682243795879714672952736*c_1001_3^19 - 459180011608478217603042207430422881811320159/904059201053246931118\ 41121897939857336476368*c_1001_3^18 + 842709030469077694559760329479724041757826267/180811840210649386223\ 682243795879714672952736*c_1001_3^17 - 691949258483092447349173967750948673536101617/180811840210649386223\ 682243795879714672952736*c_1001_3^16 + 990917797245642985694802515190195280062537519/180811840210649386223\ 682243795879714672952736*c_1001_3^15 - 194086809753420824812755083833282374811507341/904059201053246931118\ 41121897939857336476368*c_1001_3^14 - 2098891839574379855391354926432702402535693027/18081184021064938622\ 3682243795879714672952736*c_1001_3^13 + 815583268500408633586428610754888896696302551/904059201053246931118\ 41121897939857336476368*c_1001_3^12 - 910901677663906381911815966949496364830524049/180811840210649386223\ 682243795879714672952736*c_1001_3^11 + 95928461478040647387444504544777789084307425/1130074001316558663898\ 0140237242482167059546*c_1001_3^10 - 1166345101249566366907455605744109516660985483/90405920105324693111\ 841121897939857336476368*c_1001_3^9 - 304386725552329778944830831392966393681832065/904059201053246931118\ 41121897939857336476368*c_1001_3^8 + 479526638227590490291516113988243757755002611/180811840210649386223\ 682243795879714672952736*c_1001_3^7 + 772122297753332500428094123975588584036247629/904059201053246931118\ 41121897939857336476368*c_1001_3^6 + 147469367000040732515214539422139692600711927/180811840210649386223\ 682243795879714672952736*c_1001_3^5 - 243046930345723555173175571179791087898080839/452029600526623465559\ 20560948969928668238184*c_1001_3^4 - 357406759372272512013579884464635850688605091/180811840210649386223\ 682243795879714672952736*c_1001_3^3 - 589354999282112218399431910974702348110358999/180811840210649386223\ 682243795879714672952736*c_1001_3^2 + 28144800182797712194302015848727757598509219/4520296005266234655592\ 0560948969928668238184*c_1001_3 - 761357496876441595615212451577438\ 47082227809/180811840210649386223682243795879714672952736, c_0101_0 - 1529419754520843512141457836801627008186997/9040592010532469\ 3111841121897939857336476368*c_1001_3^23 - 24904830749541213081689095155093604014575991/9040592010532469311184\ 1121897939857336476368*c_1001_3^22 - 68258058019897474659583438310074875925370025/9040592010532469311184\ 1121897939857336476368*c_1001_3^21 + 67582154631180430907435425190937232764907107/4520296005266234655592\ 0560948969928668238184*c_1001_3^20 + 193695604343643191669715164174921760017031629/904059201053246931118\ 41121897939857336476368*c_1001_3^19 - 391119191143537839281586427314900846718687383/452029600526623465559\ 20560948969928668238184*c_1001_3^18 + 828327801219857067319065732810660564419895215/904059201053246931118\ 41121897939857336476368*c_1001_3^17 - 1051378537948987499134488738948762340136866235/90405920105324693111\ 841121897939857336476368*c_1001_3^16 + 1734189899599455410070490107448703621181466679/90405920105324693111\ 841121897939857336476368*c_1001_3^15 - 93464971400304731679054316425639417381460455/5650370006582793319490\ 070118621241083529773*c_1001_3^14 - 438036927813566793585096096489631657983529725/904059201053246931118\ 41121897939857336476368*c_1001_3^13 - 65031286363411693415591498514783905531387011/4520296005266234655592\ 0560948969928668238184*c_1001_3^12 + 246488381070636083680895480561296812570682831/904059201053246931118\ 41121897939857336476368*c_1001_3^11 + 503568501082643189147140582964631136489424329/452029600526623465559\ 20560948969928668238184*c_1001_3^10 - 469361179368369566133856471589366642733687891/226014800263311732779\ 60280474484964334119092*c_1001_3^9 - 182682400915841490918622177305603312456393015/226014800263311732779\ 60280474484964334119092*c_1001_3^8 + 141610671428866133020554485533643303458244885/904059201053246931118\ 41121897939857336476368*c_1001_3^7 + 747108286827677576569109713433192184743733419/452029600526623465559\ 20560948969928668238184*c_1001_3^6 + 421846598294954762818559738521918174545167775/904059201053246931118\ 41121897939857336476368*c_1001_3^5 - 428156993299876914656089768766187097902227145/452029600526623465559\ 20560948969928668238184*c_1001_3^4 - 715755217070552166155898921343613417107583481/904059201053246931118\ 41121897939857336476368*c_1001_3^3 - 483320497333637599339409958141636067039655079/904059201053246931118\ 41121897939857336476368*c_1001_3^2 + 45836915670310058600810848063762426572654429/4520296005266234655592\ 0560948969928668238184*c_1001_3 - 739227699332025746974640913779102\ 36113954499/90405920105324693111841121897939857336476368, c_0101_10 - 1969001250322099237443601231930685566047615/180811840210649\ 386223682243795879714672952736*c_1001_3^23 - 31335163795114212319405607001655349665043763/1808118402106493862236\ 82243795879714672952736*c_1001_3^22 - 76601230529361665779831444420183719792036463/1808118402106493862236\ 82243795879714672952736*c_1001_3^21 + 24662983467987199187953801605126823789870431/2260148002633117327796\ 0280474484964334119092*c_1001_3^20 + 161295313281562017118690956933919483860165237/180811840210649386223\ 682243795879714672952736*c_1001_3^19 - 527486523370484797843426020277293566853610753/904059201053246931118\ 41121897939857336476368*c_1001_3^18 + 1472495015012853189185212496125862785149470329/18081184021064938622\ 3682243795879714672952736*c_1001_3^17 - 1934669983525726621291011498352845295323125979/18081184021064938622\ 3682243795879714672952736*c_1001_3^16 + 3119213345493913197046059930622648403927503373/18081184021064938622\ 3682243795879714672952736*c_1001_3^15 - 1909487836853334663102752311479688583135525471/90405920105324693111\ 841121897939857336476368*c_1001_3^14 + 2128326224942583241455262650286434345811610111/18081184021064938622\ 3682243795879714672952736*c_1001_3^13 - 1218196037678867750483183690315833111534053475/90405920105324693111\ 841121897939857336476368*c_1001_3^12 + 2905810216872031335741774694387016841440437869/18081184021064938622\ 3682243795879714672952736*c_1001_3^11 - 63747642954186237021949951029202655396619681/5650370006582793319490\ 070118621241083529773*c_1001_3^10 - 121630875670372937288953002005818733079418013/904059201053246931118\ 41121897939857336476368*c_1001_3^9 - 722964261369916006886622998973378545161204411/904059201053246931118\ 41121897939857336476368*c_1001_3^8 + 1228656214638850318485560535588385811841652849/18081184021064938622\ 3682243795879714672952736*c_1001_3^7 + 466165028366222857716568378254814238013423087/904059201053246931118\ 41121897939857336476368*c_1001_3^6 - 588625823677821436877839910105427619260292987/180811840210649386223\ 682243795879714672952736*c_1001_3^5 - 54478381991973669679126604088672238105789689/4520296005266234655592\ 0560948969928668238184*c_1001_3^4 - 574311861084378958495456280221866183380746305/180811840210649386223\ 682243795879714672952736*c_1001_3^3 - 104616466445207032174415154357307974596843909/180811840210649386223\ 682243795879714672952736*c_1001_3^2 - 98839786458917232373670196511838064165809923/4520296005266234655592\ 0560948969928668238184*c_1001_3 + 151527857324195833044517875248105\ 787742735669/180811840210649386223682243795879714672952736, c_0101_2 + 383431622077555213411277093201233110816643/18081184021064938\ 6223682243795879714672952736*c_1001_3^23 + 4629953963088358254898864692606230557472355/18081184021064938622368\ 2243795879714672952736*c_1001_3^22 - 8020171618429125080462346547971300182605605/18081184021064938622368\ 2243795879714672952736*c_1001_3^21 - 21916131939535147462210099946988612753710949/4520296005266234655592\ 0560948969928668238184*c_1001_3^20 + 138444594121360391415897725076693210361753379/180811840210649386223\ 682243795879714672952736*c_1001_3^19 + 140293325228136839804159582066398541490725301/904059201053246931118\ 41121897939857336476368*c_1001_3^18 - 1142039671725320482383075000582070309060623357/18081184021064938622\ 3682243795879714672952736*c_1001_3^17 + 1782173854144079072687242337631779323555200963/18081184021064938622\ 3682243795879714672952736*c_1001_3^16 - 2356317810452398954312875416893599966805184377/18081184021064938622\ 3682243795879714672952736*c_1001_3^15 + 1582049542801204758283488417256310681454832073/90405920105324693111\ 841121897939857336476368*c_1001_3^14 - 3082458209870192156092964695818754090427744543/18081184021064938622\ 3682243795879714672952736*c_1001_3^13 + 717617178371726155870350532298010500553357803/904059201053246931118\ 41121897939857336476368*c_1001_3^12 - 856190804530860603110694125122832463224697113/180811840210649386223\ 682243795879714672952736*c_1001_3^11 + 232430319266482304472081114168139039922297475/452029600526623465559\ 20560948969928668238184*c_1001_3^10 + 1056721743311220939555703217499090982297023/90405920105324693111841\ 121897939857336476368*c_1001_3^9 - 535102786098476138383360732604099969480779991/904059201053246931118\ 41121897939857336476368*c_1001_3^8 - 134671851701097802214223351264814408135479425/180811840210649386223\ 682243795879714672952736*c_1001_3^7 + 218841474726850892965195739284276464574783345/904059201053246931118\ 41121897939857336476368*c_1001_3^6 + 904342935616996709716619079208102461074686591/180811840210649386223\ 682243795879714672952736*c_1001_3^5 - 31625411400280796026627042463003138105115437/1130074001316558663898\ 0140237242482167059546*c_1001_3^4 - 270840591203703081761044549792185426644733271/180811840210649386223\ 682243795879714672952736*c_1001_3^3 - 225634598644057314063045877777973497451010719/180811840210649386223\ 682243795879714672952736*c_1001_3^2 - 2346661249965651295008809932571930179022969/56503700065827933194900\ 70118621241083529773*c_1001_3 - 23793100527060935384480794578568710\ 199419821/180811840210649386223682243795879714672952736, c_0101_4 - 156393883898078916809363226449684617894451/90405920105324693\ 111841121897939857336476368*c_1001_3^23 - 2487763044649616513946634928716528457480217/90405920105324693111841\ 121897939857336476368*c_1001_3^22 - 6224913303121853251321648381370927355041207/90405920105324693111841\ 121897939857336476368*c_1001_3^21 + 6536649261670398433738343783773026632482965/45202960052662346555920\ 560948969928668238184*c_1001_3^20 + 5062209193365775470071362474870570324975203/90405920105324693111841\ 121897939857336476368*c_1001_3^19 - 33106050059589493975899063800991002310593541/4520296005266234655592\ 0560948969928668238184*c_1001_3^18 + 154347009390705944905483941113837859043272897/904059201053246931118\ 41121897939857336476368*c_1001_3^17 - 283155150371825877440412292660488917149888829/904059201053246931118\ 41121897939857336476368*c_1001_3^16 + 296089803373816567211404736448597833693303329/904059201053246931118\ 41121897939857336476368*c_1001_3^15 - 14913966622085044354482452127072016885232507/1130074001316558663898\ 0140237242482167059546*c_1001_3^14 - 168989459473070746792691029485016827776722795/904059201053246931118\ 41121897939857336476368*c_1001_3^13 + 147209256310873783981577217584689995444231603/452029600526623465559\ 20560948969928668238184*c_1001_3^12 - 633640650362438737361802002692311451677273303/904059201053246931118\ 41121897939857336476368*c_1001_3^11 + 335695860897275729570036737771221589474780795/452029600526623465559\ 20560948969928668238184*c_1001_3^10 - 106492288395550118596021286699261479941743881/226014800263311732779\ 60280474484964334119092*c_1001_3^9 + 39201833426062198699650148152943233571581805/2260148002633117327796\ 0280474484964334119092*c_1001_3^8 - 354691050724446332744889671160345048502491005/904059201053246931118\ 41121897939857336476368*c_1001_3^7 + 49530054553485892799768046924757738843781893/4520296005266234655592\ 0560948969928668238184*c_1001_3^6 + 171561222323318816113901898285802715062685401/904059201053246931118\ 41121897939857336476368*c_1001_3^5 + 34224967122717825270064297048738821872061373/4520296005266234655592\ 0560948969928668238184*c_1001_3^4 - 152374893124231622932203631721525515713435199/904059201053246931118\ 41121897939857336476368*c_1001_3^3 - 312144367657722916334591310228695513897631121/904059201053246931118\ 41121897939857336476368*c_1001_3^2 + 20574174693553581702009505776309626744243447/4520296005266234655592\ 0560948969928668238184*c_1001_3 - 424892455846328902775898913528315\ 63924820517/90405920105324693111841121897939857336476368, c_0101_7 - 53676049260473704163640968654478755494957/180811840210649386\ 223682243795879714672952736*c_1001_3^23 - 969657212063970809731464485171340282034281/180811840210649386223682\ 243795879714672952736*c_1001_3^22 - 3345740669248265913180628362713708960499605/18081184021064938622368\ 2243795879714672952736*c_1001_3^21 + 609641216202431046546187955243351137379025/113007400131655866389801\ 40237242482167059546*c_1001_3^20 + 32723972550320388477624655212289386921686335/1808118402106493862236\ 82243795879714672952736*c_1001_3^19 - 46205747305086018104753349521785813127965695/9040592010532469311184\ 1121897939857336476368*c_1001_3^18 - 30590938168087228081300617417727268874440813/1808118402106493862236\ 82243795879714672952736*c_1001_3^17 + 393443200587539383057851619817620431209279031/180811840210649386223\ 682243795879714672952736*c_1001_3^16 - 704746707188584194838643712427651518613244937/180811840210649386223\ 682243795879714672952736*c_1001_3^15 + 434786139942571028449152879981289415674419603/904059201053246931118\ 41121897939857336476368*c_1001_3^14 - 1122601902201494643632313287309485831069755755/18081184021064938622\ 3682243795879714672952736*c_1001_3^13 + 558779437850697008639795850693299910113904415/904059201053246931118\ 41121897939857336476368*c_1001_3^12 - 342884775730716543467191599071352752447380425/180811840210649386223\ 682243795879714672952736*c_1001_3^11 - 10282665389943037578908903460615061022920537/5650370006582793319490\ 070118621241083529773*c_1001_3^10 + 166756069723870796421692371961788917667663741/904059201053246931118\ 41121897939857336476368*c_1001_3^9 - 220435587619614684295186854987486382364066097/904059201053246931118\ 41121897939857336476368*c_1001_3^8 + 918046873630969228798861735855928357648269179/180811840210649386223\ 682243795879714672952736*c_1001_3^7 - 230802712939297301669380770619402671719084923/904059201053246931118\ 41121897939857336476368*c_1001_3^6 - 281066952054275370361018081875140010665977761/180811840210649386223\ 682243795879714672952736*c_1001_3^5 + 1579007612815437720985544010894599945073989/45202960052662346555920\ 560948969928668238184*c_1001_3^4 + 323444562762789984418490471395671423684734869/180811840210649386223\ 682243795879714672952736*c_1001_3^3 + 69481301470178973645590867193089598652122721/1808118402106493862236\ 82243795879714672952736*c_1001_3^2 - 28764635096558630224832486087586354304832201/4520296005266234655592\ 0560948969928668238184*c_1001_3 + 128658862380860880092016711192998\ 742829785703/180811840210649386223682243795879714672952736, c_0101_8 - 66393780757351256453149940243422783856649/180811840210649386\ 223682243795879714672952736*c_1001_3^23 - 1470006061578948011046211097694533848572505/18081184021064938622368\ 2243795879714672952736*c_1001_3^22 - 9403034653620295747911575525326456880722113/18081184021064938622368\ 2243795879714672952736*c_1001_3^21 - 3438889990301686470733404840227715816276677/45202960052662346555920\ 560948969928668238184*c_1001_3^20 + 30885028443519975228317814800686900421290183/1808118402106493862236\ 82243795879714672952736*c_1001_3^19 + 10862004905316276157013775038318528559450761/9040592010532469311184\ 1121897939857336476368*c_1001_3^18 - 64179562580754826206352918340583088952553641/1808118402106493862236\ 82243795879714672952736*c_1001_3^17 + 18142468265586397103193339506760313399077175/1808118402106493862236\ 82243795879714672952736*c_1001_3^16 - 444272300027043950898498786055003298366949349/180811840210649386223\ 682243795879714672952736*c_1001_3^15 + 666151199545620624278733641475231691607371781/904059201053246931118\ 41121897939857336476368*c_1001_3^14 - 1945446720320078962036521411619342129356668787/18081184021064938622\ 3682243795879714672952736*c_1001_3^13 + 1055091036426429306732090542949110915707747295/90405920105324693111\ 841121897939857336476368*c_1001_3^12 - 3057579320532202053404493965892674900744672373/18081184021064938622\ 3682243795879714672952736*c_1001_3^11 + 688181568483611999210754855192235860591915251/452029600526623465559\ 20560948969928668238184*c_1001_3^10 - 656640965046828117839377276343306346284232701/904059201053246931118\ 41121897939857336476368*c_1001_3^9 + 297930434796945506633998403897963123757466373/904059201053246931118\ 41121897939857336476368*c_1001_3^8 - 1160927211769762640612264129276398590902718189/18081184021064938622\ 3682243795879714672952736*c_1001_3^7 - 40225185602363052525556029782312287362751587/9040592010532469311184\ 1121897939857336476368*c_1001_3^6 + 896055523666482268981243571027353092254611011/180811840210649386223\ 682243795879714672952736*c_1001_3^5 + 10987785949608599785149088548320320183157193/5650370006582793319490\ 070118621241083529773*c_1001_3^4 - 269570341115288823176212238683393535308808891/180811840210649386223\ 682243795879714672952736*c_1001_3^3 - 1014972479056575322648574356374478845401194387/18081184021064938622\ 3682243795879714672952736*c_1001_3^2 + 2103043983396897997087422532476311612389063/56503700065827933194900\ 70118621241083529773*c_1001_3 - 92937089262405045089590643614478015\ 255548329/180811840210649386223682243795879714672952736, c_1001_3^24 + 16*c_1001_3^23 + 40*c_1001_3^22 - 101*c_1001_3^21 - 99*c_1001_3^20 + 557*c_1001_3^19 - 701*c_1001_3^18 + 800*c_1001_3^17 - 1220*c_1001_3^16 + 1257*c_1001_3^15 - 43*c_1001_3^14 + 55*c_1001_3^13 - 325*c_1001_3^12 - 185*c_1001_3^11 + 1110*c_1001_3^10 + 188*c_1001_3^9 - 321*c_1001_3^8 - 783*c_1001_3^7 + 223*c_1001_3^6 + 395*c_1001_3^5 + 227*c_1001_3^4 + 120*c_1001_3^3 + 5*c_1001_3^2 + 65*c_1001_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.790 Total time: 1.000 seconds, Total memory usage: 32.09MB