Magma V2.19-8 Tue Aug 20 2013 23:50:23 on localhost [Seed = 3415056657] Type ? for help. Type -D to quit. Loading file "K12a1283__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12a1283 geometric_solution 11.80292131 oriented_manifold CS_known 0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.418259344104 1.551382062136 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.081132869558 0.940089526212 8 0 2 2 0132 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.693702929557 0.746568529774 9 8 9 0 0132 2310 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.225676675334 1.031765944231 5 8 0 10 3012 3201 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 0 1 -1 0 0 0 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.314952623869 0.329485166373 8 1 11 4 1023 0132 0132 1230 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 2 0 -2 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.197383080327 0.795629256773 10 7 1 11 1230 1230 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 -3 0 0 3 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.053419201735 0.915991351430 12 12 6 1 0132 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 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.936548762055 1.088012986109 2 5 4 3 0132 1023 2310 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 -2 3 -1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.612521938046 0.498153200740 3 3 10 12 0132 1230 1230 2031 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 -2 2 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.465305658923 0.620007840706 11 6 4 9 2031 3012 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 -3 1 0 2 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.139155101670 1.216145651447 12 6 10 5 3012 1302 1302 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -2 0 0 2 0 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.063451237945 1.088012986109 7 9 7 11 0132 1302 3012 1230 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 0 2 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.545562302020 0.527932059506 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : negation(d['c_0011_6']), 'c_1001_12' : d['c_0011_12'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_0101_8']), 'c_1001_7' : negation(d['c_0011_6']), 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0011_3'], 'c_1001_2' : negation(d['c_0101_8']), 'c_1001_9' : d['c_1001_9'], 'c_1001_8' : d['c_0011_6'], 'c_1010_12' : negation(d['c_0011_10']), 'c_1010_11' : d['c_1001_5'], 'c_1010_10' : negation(d['c_0101_0']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : negation(d['1']), 'c_0101_11' : negation(d['c_0011_10']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : negation(d['1']), 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_10'], 'c_1100_4' : negation(d['c_1001_9']), 'c_1100_7' : negation(d['c_1001_5']), 'c_1100_6' : negation(d['c_1001_5']), 'c_1100_1' : negation(d['c_1001_5']), 'c_1100_0' : negation(d['c_1001_9']), 'c_1100_3' : negation(d['c_1001_9']), 'c_1100_2' : d['c_0101_2'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_10'], 'c_1100_10' : negation(d['c_1001_9']), 's_3_10' : negation(d['1']), 'c_1010_7' : d['c_0101_1'], 'c_1010_6' : d['c_0011_11'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : negation(d['c_0101_8']), 'c_1010_9' : d['c_0011_12'], 'c_1010_8' : negation(d['c_0011_3']), 'c_1100_8' : negation(d['c_0011_3']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_6'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_7' : negation(d['c_0011_12']), '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_6'], 'c_0110_10' : d['c_0011_10'], 'c_0110_12' : d['c_0011_11'], 'c_0101_12' : d['c_0101_1'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0011_11'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_12'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_12'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_8, c_1001_5, c_1001_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 1993368280463530266781478142788/5472202919133544071867009589*c_1001\ _9^18 - 4651820652944104853772923281432/547220291913354407186700958\ 9*c_1001_9^17 + 9108663680235105138813949722809/5472202919133544071\ 867009589*c_1001_9^16 + 9446861260489401888821226650097/54722029191\ 33544071867009589*c_1001_9^15 - 64168028565676576624663351779176/54\ 72202919133544071867009589*c_1001_9^14 - 135161451318608380164523227668085/10944405838267088143734019178*c_1\ 001_9^13 + 614409741114642988777167649919195/2188881167653417628746\ 8038356*c_1001_9^12 + 1668737508978553057183803073554203/4377762335\ 3068352574936076712*c_1001_9^11 - 164307258812637761341500360329932\ 9/43777623353068352574936076712*c_1001_9^10 - 2243604377193159656693819210752877/43777623353068352574936076712*c_\ 1001_9^9 + 424360098739766740867398369266717/1094440583826708814373\ 4019178*c_1001_9^8 + 1366135824035156974799199564250355/43777623353\ 068352574936076712*c_1001_9^7 - 591979019444698843898924302967775/2\ 1888811676534176287468038356*c_1001_9^6 - 34045748270862722195154497792992/5472202919133544071867009589*c_100\ 1_9^5 + 359540202200313996323352676658577/4377762335306835257493607\ 6712*c_1001_9^4 - 13800350820350685437796066626745/4377762335306835\ 2574936076712*c_1001_9^3 - 20977890300653615584070170147935/4377762\ 3353068352574936076712*c_1001_9^2 + 917297933871507427208618813393/10944405838267088143734019178*c_1001\ _9 - 199669697954054891631130133205/43777623353068352574936076712, c_0011_0 - 1, c_0011_10 + 192722340067448554890666440/50203696505812330934559721*c_10\ 01_9^18 + 380501139204239005029497160/50203696505812330934559721*c_\ 1001_9^17 - 986642421590858429144764882/50203696505812330934559721*\ c_1001_9^16 - 523861944144172130405530600/5020369650581233093455972\ 1*c_1001_9^15 + 6148453164230764313646082122/5020369650581233093455\ 9721*c_1001_9^14 + 4267485899608274784170531045/5020369650581233093\ 4559721*c_1001_9^13 - 30520155870959689161403530865/100407393011624\ 661869119442*c_1001_9^12 - 58652151816218038073795208341/2008147860\ 23249323738238884*c_1001_9^11 + 21172294693030594595617684796/50203\ 696505812330934559721*c_1001_9^10 + 17466106210271960028614187324/50203696505812330934559721*c_1001_9^9 - 81933470556026104164353252763/200814786023249323738238884*c_1001_\ 9^8 - 11124988130149548881084843501/100407393011624661869119442*c_1\ 001_9^7 + 42481742928700766798285055445/200814786023249323738238884\ *c_1001_9^6 - 7649496526810528935484986893/200814786023249323738238\ 884*c_1001_9^5 - 3871602171503843384506296895/200814786023249323738\ 238884*c_1001_9^4 + 656486203601731970740662595/2008147860232493237\ 38238884*c_1001_9^3 - 149865413721285463001584735/50203696505812330\ 934559721*c_1001_9^2 - 54531341286935700878106911/20081478602324932\ 3738238884*c_1001_9 + 124933877097928951860690103/20081478602324932\ 3738238884, c_0011_11 - 10018907724039839403757680/50203696505812330934559721*c_100\ 1_9^18 + 10972048104999225694176096/50203696505812330934559721*c_10\ 01_9^17 + 63945257901241526198559708/50203696505812330934559721*c_1\ 001_9^16 - 256492905299324926099247204/50203696505812330934559721*c\ _1001_9^15 - 199194209830481012331857304/50203696505812330934559721\ *c_1001_9^14 + 1088906012730049939849981618/50203696505812330934559\ 721*c_1001_9^13 - 42444876308395978997108171/5020369650581233093455\ 9721*c_1001_9^12 - 7453203424629668062190275467/1004073930116246618\ 69119442*c_1001_9^11 + 321215064771823034289651189/1004073930116246\ 61869119442*c_1001_9^10 + 18107557830098592120201310403/10040739301\ 1624661869119442*c_1001_9^9 + 284133194476619864524583953/502036965\ 05812330934559721*c_1001_9^8 - 23303096246781655568957035551/100407\ 393011624661869119442*c_1001_9^7 + 1419146121293254880797540612/50203696505812330934559721*c_1001_9^6 + 6885055691865336844624814564/50203696505812330934559721*c_1001_9^5 - 4361679331973342154100200531/100407393011624661869119442*c_1001_9^4 - 2631337958306707574179017607/100407393011624661869119442*c_1001_9\ ^3 + 665032290923697847270990833/100407393011624661869119442*c_1001\ _9^2 + 237953020806665410585513932/50203696505812330934559721*c_100\ 1_9 + 74241813242379498077608407/100407393011624661869119442, c_0011_12 + 251573796002845936621387072/50203696505812330934559721*c_10\ 01_9^18 + 538214471973028271549357864/50203696505812330934559721*c_\ 1001_9^17 - 1250145740502945510977841680/50203696505812330934559721\ *c_1001_9^16 - 1003211406882546574703770578/50203696505812330934559\ 721*c_1001_9^15 + 8100406461611639908210128226/50203696505812330934\ 559721*c_1001_9^14 + 7128297989457014472954406222/50203696505812330\ 934559721*c_1001_9^13 - 20321683161105280735607946389/5020369650581\ 2330934559721*c_1001_9^12 - 48125721048810802502701344999/100407393\ 011624661869119442*c_1001_9^11 + 110059062092178888572133612201/200\ 814786023249323738238884*c_1001_9^10 + 130483445960846345968646913781/200814786023249323738238884*c_1001_9\ ^9 - 51675335727946708461690735769/100407393011624661869119442*c_10\ 01_9^8 - 72569779262613368602676838633/200814786023249323738238884*\ c_1001_9^7 + 14781373827818813790499725822/502036965058123309345597\ 21*c_1001_9^6 + 13708172650791677545808622127/200814786023249323738\ 238884*c_1001_9^5 - 12471103903015890711546622275/20081478602324932\ 3738238884*c_1001_9^4 - 1089801721771031461460525139/50203696505812\ 330934559721*c_1001_9^3 + 1024608911546103433245428929/200814786023\ 249323738238884*c_1001_9^2 + 715157707570348451470164869/2008147860\ 23249323738238884*c_1001_9 + 157604166220254992820918057/2008147860\ 23249323738238884, c_0011_3 - 8312579450693593817743000/1356856662319252187420533*c_1001_9\ ^18 - 17280591405687840006077376/1356856662319252187420533*c_1001_9\ ^17 + 42662006940388767519968966/1356856662319252187420533*c_1001_9\ ^16 + 31025810723650253062021290/1356856662319252187420533*c_1001_9\ ^15 - 271534281668908269931794432/1356856662319252187420533*c_1001_\ 9^14 - 219976611528961190065429065/1356856662319252187420533*c_1001\ _9^13 + 1388662150771974283568387109/2713713324638504374841066*c_10\ 01_9^12 + 3028289229908230570917903837/5427426649277008749682132*c_\ 1001_9^11 - 3941503150072730690708103353/5427426649277008749682132*\ c_1001_9^10 - 4188642070947661483555437913/542742664927700874968213\ 2*c_1001_9^9 + 3810660849042037457194287073/54274266492770087496821\ 32*c_1001_9^8 + 2329095908426913784029052041/5427426649277008749682\ 132*c_1001_9^7 - 2161426319071363763363370273/542742664927700874968\ 2132*c_1001_9^6 - 191280877593375322588234889/271371332463850437484\ 1066*c_1001_9^5 + 109689083037586372693036091/135685666231925218742\ 0533*c_1001_9^4 + 115985535023576766872719973/542742664927700874968\ 2132*c_1001_9^3 - 35583021580025171653855961/5427426649277008749682\ 132*c_1001_9^2 - 10942577629018149997808315/27137133246385043748410\ 66*c_1001_9 - 5384259796476307393869709/2713713324638504374841066, c_0011_6 - 182703432343408715486908760/50203696505812330934559721*c_100\ 1_9^18 - 391473187309238230723673256/50203696505812330934559721*c_1\ 001_9^17 + 922697163689616902946205174/50203696505812330934559721*c\ _1001_9^16 + 780354849443497056504777804/50203696505812330934559721\ *c_1001_9^15 - 5949258954400283301314224818/50203696505812330934559\ 721*c_1001_9^14 - 5356391912338324724020512663/50203696505812330934\ 559721*c_1001_9^13 + 30605045623576481119397747207/1004073930116246\ 61869119442*c_1001_9^12 + 73558558665477374198175759275/20081478602\ 3249323738238884*c_1001_9^11 - 42665804450833012225525020781/100407\ 393011624661869119442*c_1001_9^10 - 53039770250642512177429685051/100407393011624661869119442*c_1001_9^\ 9 + 80796937778119624706254916951/200814786023249323738238884*c_100\ 1_9^8 + 17214042188465602225020939526/50203696505812330934559721*c_\ 1001_9^7 - 48158327413873786321475217893/20081478602324932373823888\ 4*c_1001_9^6 - 19890726240650818443014271363/2008147860232493237382\ 38884*c_1001_9^5 + 12594960835450527692706697957/200814786023249323\ 738238884*c_1001_9^4 + 4606189713011683177617372619/200814786023249\ 323738238884*c_1001_9^3 - 365301463481126921267821363/1004073930116\ 24661869119442*c_1001_9^2 - 897280741939725941463948817/20081478602\ 3249323738238884*c_1001_9 - 273417503582687948015906917/20081478602\ 3249323738238884, c_0101_0 - 175444632574204171855941840/50203696505812330934559721*c_100\ 1_9^18 - 358146243259448449651370696/50203696505812330934559721*c_1\ 001_9^17 + 897683520726297880038783324/50203696505812330934559721*c\ _1001_9^16 + 578950197051094969368914334/50203696505812330934559721\ *c_1001_9^15 - 5718802080950373573351713676/50203696505812330934559\ 721*c_1001_9^14 - 4398249048236275649288108772/50203696505812330934\ 559721*c_1001_9^13 + 14434228039271884040503052152/5020369650581233\ 0934559721*c_1001_9^12 + 14828429285834298475072163696/502036965058\ 12330934559721*c_1001_9^11 - 84394862073393895275716981709/20081478\ 6023249323738238884*c_1001_9^10 - 20173976789664793169650241473/502\ 03696505812330934559721*c_1001_9^9 + 42510742296559502644320889185/100407393011624661869119442*c_1001_9^\ 8 + 11197593664285117503358420569/50203696505812330934559721*c_1001\ _9^7 - 24586928004601117326748915177/100407393011624661869119442*c_\ 1001_9^6 - 4085608087390908829354530025/100407393011624661869119442\ *c_1001_9^5 + 11282602668277929089866935397/20081478602324932373823\ 8884*c_1001_9^4 + 663747144443424230729263144/502036965058123309345\ 59721*c_1001_9^3 - 1571997234722342176301444757/2008147860232493237\ 38238884*c_1001_9^2 - 79852003318385994710635849/502036965058123309\ 34559721*c_1001_9 - 143464257266301321218976069/2008147860232493237\ 38238884, c_0101_1 + 251573796002845936621387072/50203696505812330934559721*c_100\ 1_9^18 + 538214471973028271549357864/50203696505812330934559721*c_1\ 001_9^17 - 1250145740502945510977841680/50203696505812330934559721*\ c_1001_9^16 - 1003211406882546574703770578/502036965058123309345597\ 21*c_1001_9^15 + 8100406461611639908210128226/502036965058123309345\ 59721*c_1001_9^14 + 7128297989457014472954406222/502036965058123309\ 34559721*c_1001_9^13 - 20321683161105280735607946389/50203696505812\ 330934559721*c_1001_9^12 - 48125721048810802502701344999/1004073930\ 11624661869119442*c_1001_9^11 + 110059062092178888572133612201/2008\ 14786023249323738238884*c_1001_9^10 + 130483445960846345968646913781/200814786023249323738238884*c_1001_9\ ^9 - 51675335727946708461690735769/100407393011624661869119442*c_10\ 01_9^8 - 72569779262613368602676838633/200814786023249323738238884*\ c_1001_9^7 + 14781373827818813790499725822/502036965058123309345597\ 21*c_1001_9^6 + 13708172650791677545808622127/200814786023249323738\ 238884*c_1001_9^5 - 12471103903015890711546622275/20081478602324932\ 3738238884*c_1001_9^4 - 1089801721771031461460525139/50203696505812\ 330934559721*c_1001_9^3 + 1024608911546103433245428929/200814786023\ 249323738238884*c_1001_9^2 + 715157707570348451470164869/2008147860\ 23249323738238884*c_1001_9 + 157604166220254992820918057/2008147860\ 23249323738238884, c_0101_10 + 175444632574204171855941840/50203696505812330934559721*c_10\ 01_9^18 + 358146243259448449651370696/50203696505812330934559721*c_\ 1001_9^17 - 897683520726297880038783324/50203696505812330934559721*\ c_1001_9^16 - 578950197051094969368914334/5020369650581233093455972\ 1*c_1001_9^15 + 5718802080950373573351713676/5020369650581233093455\ 9721*c_1001_9^14 + 4398249048236275649288108772/5020369650581233093\ 4559721*c_1001_9^13 - 14434228039271884040503052152/502036965058123\ 30934559721*c_1001_9^12 - 14828429285834298475072163696/50203696505\ 812330934559721*c_1001_9^11 + 84394862073393895275716981709/2008147\ 86023249323738238884*c_1001_9^10 + 20173976789664793169650241473/50203696505812330934559721*c_1001_9^9 - 42510742296559502644320889185/100407393011624661869119442*c_1001_\ 9^8 - 11197593664285117503358420569/50203696505812330934559721*c_10\ 01_9^7 + 24586928004601117326748915177/100407393011624661869119442*\ c_1001_9^6 + 4085608087390908829354530025/1004073930116246618691194\ 42*c_1001_9^5 - 11282602668277929089866935397/200814786023249323738\ 238884*c_1001_9^4 - 663747144443424230729263144/5020369650581233093\ 4559721*c_1001_9^3 + 1571997234722342176301444757/20081478602324932\ 3738238884*c_1001_9^2 + 79852003318385994710635849/5020369650581233\ 0934559721*c_1001_9 + 143464257266301321218976069/20081478602324932\ 3738238884, c_0101_2 + 368297072943000939199614992/50203696505812330934559721*c_100\ 1_9^18 + 815506889927364846514070432/50203696505812330934559721*c_1\ 001_9^17 - 1733898951168839417104199884/50203696505812330934559721*\ c_1001_9^16 - 1523787850675006683914903916/502036965058123309345597\ 21*c_1001_9^15 + 11609259004033087635648833922/50203696505812330934\ 559721*c_1001_9^14 + 11243902860340018473025271678/5020369650581233\ 0934559721*c_1001_9^13 - 27955526351715955417853883691/502036965058\ 12330934559721*c_1001_9^12 - 72755530552706231893896108009/10040739\ 3011624661869119442*c_1001_9^11 + 35835308217557524837586042411/502\ 03696505812330934559721*c_1001_9^10 + 191653070514493307448242534099/200814786023249323738238884*c_1001_9\ ^9 - 32688724278028175838787750607/50203696505812330934559721*c_100\ 1_9^8 - 107733524160725639610345841679/200814786023249323738238884*\ c_1001_9^7 + 37150950453112852679603480107/100407393011624661869119\ 442*c_1001_9^6 + 23319854390331492432901100789/20081478602324932373\ 8238884*c_1001_9^5 - 3903488749737693487990515024/50203696505812330\ 934559721*c_1001_9^4 - 2934163312991456526221390355/100407393011624\ 661869119442*c_1001_9^3 + 165310708442268120719445208/5020369650581\ 2330934559721*c_1001_9^2 + 704181607733739920248127201/200814786023\ 249323738238884*c_1001_9 + 92327721769148774825205377/5020369650581\ 2330934559721, c_0101_8 - 309878876856044972444142296/50203696505812330934559721*c_100\ 1_9^18 - 687932546061970586461008176/50203696505812330934559721*c_1\ 001_9^17 + 1484763736904280136086819766/50203696505812330934559721*\ c_1001_9^16 + 1338168105608048277248413102/502036965058123309345597\ 21*c_1001_9^15 - 9922516897774697569859761116/502036965058123309345\ 59721*c_1001_9^14 - 9531927404249387525882794463/502036965058123309\ 34559721*c_1001_9^13 + 48718476576653936044437030713/10040739301162\ 4661869119442*c_1001_9^12 + 124422957301842845161009277081/20081478\ 6023249323738238884*c_1001_9^11 - 128787934257325644497864119779/20\ 0814786023249323738238884*c_1001_9^10 - 168380597198747994953550902813/200814786023249323738238884*c_1001_9\ ^9 + 30321364850826382488030603751/50203696505812330934559721*c_100\ 1_9^8 + 98021889857777431363932292433/200814786023249323738238884*c\ _1001_9^7 - 35645159568785214899501783129/1004073930116246618691194\ 42*c_1001_9^6 - 5249639179366687955066498556/5020369650581233093455\ 9721*c_1001_9^5 + 15287150882601526296772865209/2008147860232493237\ 38238884*c_1001_9^4 + 5389868437144436637945204759/2008147860232493\ 23738238884*c_1001_9^3 - 891135396744440766507216517/20081478602324\ 9323738238884*c_1001_9^2 - 200505912357583456964381318/502036965058\ 12330934559721*c_1001_9 - 444456096519453337989684501/2008147860232\ 49323738238884, c_1001_5 - 192722340067448554890666440/50203696505812330934559721*c_100\ 1_9^18 - 380501139204239005029497160/50203696505812330934559721*c_1\ 001_9^17 + 986642421590858429144764882/50203696505812330934559721*c\ _1001_9^16 + 523861944144172130405530600/50203696505812330934559721\ *c_1001_9^15 - 6148453164230764313646082122/50203696505812330934559\ 721*c_1001_9^14 - 4267485899608274784170531045/50203696505812330934\ 559721*c_1001_9^13 + 30520155870959689161403530865/1004073930116246\ 61869119442*c_1001_9^12 + 58652151816218038073795208341/20081478602\ 3249323738238884*c_1001_9^11 - 21172294693030594595617684796/502036\ 96505812330934559721*c_1001_9^10 - 17466106210271960028614187324/50203696505812330934559721*c_1001_9^9 + 81933470556026104164353252763/200814786023249323738238884*c_1001_\ 9^8 + 11124988130149548881084843501/100407393011624661869119442*c_1\ 001_9^7 - 42481742928700766798285055445/200814786023249323738238884\ *c_1001_9^6 + 7649496526810528935484986893/200814786023249323738238\ 884*c_1001_9^5 + 3871602171503843384506296895/200814786023249323738\ 238884*c_1001_9^4 - 656486203601731970740662595/2008147860232493237\ 38238884*c_1001_9^3 + 149865413721285463001584735/50203696505812330\ 934559721*c_1001_9^2 + 54531341286935700878106911/20081478602324932\ 3738238884*c_1001_9 - 124933877097928951860690103/20081478602324932\ 3738238884, c_1001_9^19 + 2*c_1001_9^18 - 21/4*c_1001_9^17 - 13/4*c_1001_9^16 + 131/4*c_1001_9^15 + 191/8*c_1001_9^14 - 1351/16*c_1001_9^13 - 2679/32*c_1001_9^12 + 3943/32*c_1001_9^11 + 1821/16*c_1001_9^10 - 3919/32*c_1001_9^9 - 1885/32*c_1001_9^8 + 2249/32*c_1001_9^7 + 25/4*c_1001_9^6 - 239/16*c_1001_9^5 - 2*c_1001_9^4 + 45/32*c_1001_9^3 + 15/32*c_1001_9^2 + 3/16*c_1001_9 - 1/32 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_8, c_1001_5, c_1001_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 3030689509628276486727727596920510835404610849042213/11895804460837\ 0273948282850452173822545783261222912*c_1001_9^23 + 5313555513681376161309269135541879476338713343378923/29739511152092\ 568487070712613043455636445815305728*c_1001_9^22 + 62542910107977491511946511712840036880735723144661635/1189580446083\ 70273948282850452173822545783261222912*c_1001_9^21 + 116346672448401005628422606611852098015262442265116615/118958044608\ 370273948282850452173822545783261222912*c_1001_9^20 + 78059670460740735519592534742518701395522402875581823/5947902230418\ 5136974141425226086911272891630611456*c_1001_9^19 + 44013763343068604906091538406211604675230440777255857/2973951115209\ 2568487070712613043455636445815305728*c_1001_9^18 + 7746987318054786773693776161579791465172997573694553/74348777880231\ 42121767678153260863909111453826432*c_1001_9^17 + 91644497603293045716354523746764657688027633604193563/1189580446083\ 70273948282850452173822545783261222912*c_1001_9^16 + 82997548074317446645281972385842104806109035200893077/2973951115209\ 2568487070712613043455636445815305728*c_1001_9^15 + 1102723949732717048650181702953374468578884116703013249/11895804460\ 8370273948282850452173822545783261222912*c_1001_9^14 + 2014276138227381478076552871548210566687431385337729699/11895804460\ 8370273948282850452173822545783261222912*c_1001_9^13 + 1420681180559596015043152555743185790246564901627677879/59479022304\ 185136974141425226086911272891630611456*c_1001_9^12 + 3608903122094321494902660208210665779690817784848801021/11895804460\ 8370273948282850452173822545783261222912*c_1001_9^11 + 587902349712756993766509758393062444112901910187090507/148697555760\ 46284243535356306521727818222907652864*c_1001_9^10 + 2845128131816612128973398534370447298187287132689289465/59479022304\ 185136974141425226086911272891630611456*c_1001_9^9 + 173248843657399648791482473308649114277139951716860015/321508228671\ 2710106710347309518211420156304357376*c_1001_9^8 + 6501741361577670727938731263462713503790977681229983157/11895804460\ 8370273948282850452173822545783261222912*c_1001_9^7 + 6082934191143568369773147958566417454515177516117075325/11895804460\ 8370273948282850452173822545783261222912*c_1001_9^6 + 316253013153394270250666123880734282390680683637547035/743487778802\ 3142121767678153260863909111453826432*c_1001_9^5 + 3907991172272889019735203683842133216011075447660299293/11895804460\ 8370273948282850452173822545783261222912*c_1001_9^4 + 2746771298954632903209967437605756142393731031989310599/11895804460\ 8370273948282850452173822545783261222912*c_1001_9^3 + 797406332198151771570214565326038826445801158429519029/594790223041\ 85136974141425226086911272891630611456*c_1001_9^2 + 81642128580242760593638613359102250883542124002283199/1486975557604\ 6284243535356306521727818222907652864*c_1001_9 + 15158015750454791176925604340121626431662511344905611/1486975557604\ 6284243535356306521727818222907652864, c_0011_0 - 1, c_0011_10 + 12823375573874967715316656013394950230470787155/69893093189\ 406741450224941511265465655571833856*c_1001_9^23 + 86548524966560491330793960190990690134319935151/6989309318940674145\ 0224941511265465655571833856*c_1001_9^22 + 121689133715666826253554787827163623420538967179/349465465947033707\ 25112470755632732827785916928*c_1001_9^21 + 435801362595725528438467640761154010396467181997/698930931894067414\ 50224941511265465655571833856*c_1001_9^20 + 559547687248011401895866359174371935091672948415/698930931894067414\ 50224941511265465655571833856*c_1001_9^19 + 618316589837238509494841939973010376113595681865/698930931894067414\ 50224941511265465655571833856*c_1001_9^18 + 385184495557890036857392911597949320146656958575/698930931894067414\ 50224941511265465655571833856*c_1001_9^17 + 158191272609309820763632840635384938349579640843/349465465947033707\ 25112470755632732827785916928*c_1001_9^16 + 164939326476493695710605702295504792242486957045/873663664867584268\ 1278117688908183206946479232*c_1001_9^15 + 4363165534116329143452111499585197943981579341415/69893093189406741\ 450224941511265465655571833856*c_1001_9^14 + 1871215717338959395174127099327273401503605115577/17473273297351685\ 362556235377816366413892958464*c_1001_9^13 + 1290744229847579045451429038680210565818623657671/87366366486758426\ 81278117688908183206946479232*c_1001_9^12 + 12843246961869391336572051585948270178577545472207/6989309318940674\ 1450224941511265465655571833856*c_1001_9^11 + 17066168893404324682687021330958018190558556380319/6989309318940674\ 1450224941511265465655571833856*c_1001_9^10 + 20194222767258649372726267395161553200488927909999/6989309318940674\ 1450224941511265465655571833856*c_1001_9^9 + 11356699186541675936484128799350052493514932283881/3494654659470337\ 0725112470755632732827785916928*c_1001_9^8 + 22350105482129637615905721897638629255735969484131/6989309318940674\ 1450224941511265465655571833856*c_1001_9^7 + 10448041201259732552579867124257828013637008940515/3494654659470337\ 0725112470755632732827785916928*c_1001_9^6 + 1047820132803306940686784833546587092443500718915/43683183243379213\ 40639058844454091603473239616*c_1001_9^5 + 13089838295374944846289008600237242694574667457731/6989309318940674\ 1450224941511265465655571833856*c_1001_9^4 + 2200814772322652793835851632317527223924589925929/17473273297351685\ 362556235377816366413892958464*c_1001_9^3 + 1249397175421426947936511881380457522673377882087/17473273297351685\ 362556235377816366413892958464*c_1001_9^2 + 213212179173758254867856520910777529605748772845/873663664867584268\ 1278117688908183206946479232*c_1001_9 + 14506051025531130928933068676647499744468073345/4368318324337921340\ 639058844454091603473239616, c_0011_11 + 437115436702260655658319741725654587427708583/4368318324337\ 921340639058844454091603473239616*c_1001_9^23 + 45000930597410774322334691971683569467243997091/6989309318940674145\ 0224941511265465655571833856*c_1001_9^22 + 117283774449177169104188956929459416461816405169/698930931894067414\ 50224941511265465655571833856*c_1001_9^21 + 24122915553679421781111092202684975780741733963/8736636648675842681\ 278117688908183206946479232*c_1001_9^20 + 226270822407695185918512694195655986202641600977/698930931894067414\ 50224941511265465655571833856*c_1001_9^19 + 239368141578812533639791791876181456452727065321/698930931894067414\ 50224941511265465655571833856*c_1001_9^18 + 105805021018422539939500334189242796812043509847/698930931894067414\ 50224941511265465655571833856*c_1001_9^17 + 109210435454991376700498280973131032318282786129/698930931894067414\ 50224941511265465655571833856*c_1001_9^16 + 85044223074329531732676313150962259971287898253/8736636648675842681\ 278117688908183206946479232*c_1001_9^15 + 537897996537968743553420407352182265339243794393/174732732973516853\ 62556235377816366413892958464*c_1001_9^14 + 3280455412125636018780954676023620204071839577747/69893093189406741\ 450224941511265465655571833856*c_1001_9^13 + 2130910277517824653817593070240360888986573004593/34946546594703370\ 725112470755632732827785916928*c_1001_9^12 + 1304250577321568139597120829503395027803968435005/17473273297351685\ 362556235377816366413892958464*c_1001_9^11 + 7100829977998099296407417803333425464702113660283/69893093189406741\ 450224941511265465655571833856*c_1001_9^10 + 8066361634401700316928425263563507514315509650457/69893093189406741\ 450224941511265465655571833856*c_1001_9^9 + 8903571242175769776527584212546951608341211200333/69893093189406741\ 450224941511265465655571833856*c_1001_9^8 + 2092925513467544015728465496503332132237803405197/17473273297351685\ 362556235377816366413892958464*c_1001_9^7 + 7649979772470232359569838903765659636908862745495/69893093189406741\ 450224941511265465655571833856*c_1001_9^6 + 1423897869023863960918032012233103586292105312691/17473273297351685\ 362556235377816366413892958464*c_1001_9^5 + 277798126897913322155442396311082748324825501001/436831832433792134\ 0639058844454091603473239616*c_1001_9^4 + 2762218788138224335629293585883435419544637131919/69893093189406741\ 450224941511265465655571833856*c_1001_9^3 + 675922612318913917975753490296987602832293606567/349465465947033707\ 25112470755632732827785916928*c_1001_9^2 + 6474698398806580980895200762532961601943404617/21841591621689606703\ 19529422227045801736619808*c_1001_9 - 5104736678986312042190916941082964300306212551/87366366486758426812\ 78117688908183206946479232, c_0011_12 - 1415280904036371854486351316015585643103507137/873663664867\ 5842681278117688908183206946479232*c_1001_9^23 - 4471287753465108188046251633420094759953263083/43683183243379213406\ 39058844454091603473239616*c_1001_9^22 - 23219775019219464194979975121901044943212308423/8736636648675842681\ 278117688908183206946479232*c_1001_9^21 - 79435339379007301029073957418098577280567378999/1747327329735168536\ 2556235377816366413892958464*c_1001_9^20 - 98852072370561341426361087738329490369339555433/1747327329735168536\ 2556235377816366413892958464*c_1001_9^19 - 109190315565759458058907059429467850449926554113/174732732973516853\ 62556235377816366413892958464*c_1001_9^18 - 1727062577195120967294133122210847725074809487/54603979054224016757\ 9882355556761450434154952*c_1001_9^17 - 15674712241560408610723605736595150337399661117/4368318324337921340\ 639058844454091603473239616*c_1001_9^16 - 273796899519068725173237122452900511233309993277/174732732973516853\ 62556235377816366413892958464*c_1001_9^15 - 844129416327926578346735828804565411095003624837/174732732973516853\ 62556235377816366413892958464*c_1001_9^14 - 1340879007087897805898284105621439549716539977195/17473273297351685\ 362556235377816366413892958464*c_1001_9^13 - 1872469707825498800568507229869069022502855920523/17473273297351685\ 362556235377816366413892958464*c_1001_9^12 - 576184058154991889359983416259152205585758502675/436831832433792134\ 0639058844454091603473239616*c_1001_9^11 - 3072112871130675188619225109881864312320261215731/17473273297351685\ 362556235377816366413892958464*c_1001_9^10 - 441387456202756633068684662266129248829149254917/218415916216896067\ 0319529422227045801736619808*c_1001_9^9 - 500530083536601075586570991049679051583379029923/218415916216896067\ 0319529422227045801736619808*c_1001_9^8 - 3841252100072006174755944975410029087486786469729/17473273297351685\ 362556235377816366413892958464*c_1001_9^7 - 3592592580284733685825496537749019365942037008525/17473273297351685\ 362556235377816366413892958464*c_1001_9^6 - 2803036429672399701255241845012091409436373648023/17473273297351685\ 362556235377816366413892958464*c_1001_9^5 - 1101163676771578345595806761951158407454146027653/87366366486758426\ 81278117688908183206946479232*c_1001_9^4 - 1417312735380621670801287616370927634224390019027/17473273297351685\ 362556235377816366413892958464*c_1001_9^3 - 386751306913453754772259671424072174569259453511/873663664867584268\ 1278117688908183206946479232*c_1001_9^2 - 4042350802540562127603140265237435327525558723/27301989527112008378\ 9941177778380725217077476*c_1001_9 - 3183670748564535404161240894424540140741884301/21841591621689606703\ 19529422227045801736619808, c_0011_3 - 2380482425296761972676339849461765827186463507/6989309318940\ 6741450224941511265465655571833856*c_1001_9^23 - 16541893931323503260989094972743797868405257101/6989309318940674145\ 0224941511265465655571833856*c_1001_9^22 - 23952897648907093658511273296403313255800066875/3494654659470337072\ 5112470755632732827785916928*c_1001_9^21 - 88190491729383776463194274889433996904022205181/6989309318940674145\ 0224941511265465655571833856*c_1001_9^20 - 119118084124123451062665659419458169867204603505/698930931894067414\ 50224941511265465655571833856*c_1001_9^19 - 135870388068164387534915676757958043095021276613/698930931894067414\ 50224941511265465655571833856*c_1001_9^18 - 96782208546709837989259016656841240391882430777/6989309318940674145\ 0224941511265465655571833856*c_1001_9^17 - 36380433592042968302533328380042010641737491073/3494654659470337072\ 5112470755632732827785916928*c_1001_9^16 - 66552425820093694980279270295980311847910528933/1747327329735168536\ 2556235377816366413892958464*c_1001_9^15 - 842023610484882618891853288977269177515555098259/698930931894067414\ 50224941511265465655571833856*c_1001_9^14 - 762638832734900744376832202987904228719397675635/349465465947033707\ 25112470755632732827785916928*c_1001_9^13 - 1079081147719621622570550916157730091472555035775/34946546594703370\ 725112470755632732827785916928*c_1001_9^12 - 2809306507535565164292104623623282473222942709373/69893093189406741\ 450224941511265465655571833856*c_1001_9^11 - 3628066361751569740595882780506103848533397873331/69893093189406741\ 450224941511265465655571833856*c_1001_9^10 - 4380194927252992333499218649500041010105414628453/69893093189406741\ 450224941511265465655571833856*c_1001_9^9 - 2459113438332047907384650960430011902639741453713/34946546594703370\ 725112470755632732827785916928*c_1001_9^8 - 5055887532227300529875787277985186041608014959115/69893093189406741\ 450224941511265465655571833856*c_1001_9^7 - 1172164076952236651663049864791469470292037645255/17473273297351685\ 362556235377816366413892958464*c_1001_9^6 - 1985557699718996287989375280562551215010688220279/34946546594703370\ 725112470755632732827785916928*c_1001_9^5 - 3029013553986248700930918451612707885610769467617/69893093189406741\ 450224941511265465655571833856*c_1001_9^4 - 67062923200977411267405807236126617895583518811/2184159162168960670\ 319529422227045801736619808*c_1001_9^3 - 304337665186269450384847447228355163173738012991/174732732973516853\ 62556235377816366413892958464*c_1001_9^2 - 67861478232701328681589717331149621535099234307/8736636648675842681\ 278117688908183206946479232*c_1001_9 - 4925594541953002362397314532817575605428014373/43683183243379213406\ 39058844454091603473239616, c_0011_6 + 16448047988425029874521127605221332787085014021/139786186378\ 813482900449883022530931311143667712*c_1001_9^23 + 57128518214090588052761766426356088302960111011/6989309318940674145\ 0224941511265465655571833856*c_1001_9^22 + 332336514481181464574295284928010359159664464845/139786186378813482\ 900449883022530931311143667712*c_1001_9^21 + 613055323460514496943153248252637239848040191567/139786186378813482\ 900449883022530931311143667712*c_1001_9^20 + 204030003591035136587594537102771906180588137249/349465465947033707\ 25112470755632732827785916928*c_1001_9^19 + 456876802553099628126474219671136128355020733287/698930931894067414\ 50224941511265465655571833856*c_1001_9^18 + 312842169814728132684353378015779854533112902885/698930931894067414\ 50224941511265465655571833856*c_1001_9^17 + 466037980814424125765175071531850523165814035789/139786186378813482\ 900449883022530931311143667712*c_1001_9^16 + 442535522120056416686982831261138746444352854637/349465465947033707\ 25112470755632732827785916928*c_1001_9^15 + 5854420851566282761370657298134277235976234564457/13978618637881348\ 2900449883022530931311143667712*c_1001_9^14 + 10609729877141643821719758517466473219148701383901/1397861863788134\ 82900449883022530931311143667712*c_1001_9^13 + 7435514372650964247913422366444079404177388070875/69893093189406741\ 450224941511265465655571833856*c_1001_9^12 + 18840864398048165405357523435972408170283838697009/1397861863788134\ 82900449883022530931311143667712*c_1001_9^11 + 12253488113162741614787350314921688841685578935659/6989309318940674\ 1450224941511265465655571833856*c_1001_9^10 + 3697880534381089243117044713749206285287671076951/17473273297351685\ 362556235377816366413892958464*c_1001_9^9 + 33140391791718986937108687827604623033564695201309/1397861863788134\ 82900449883022530931311143667712*c_1001_9^8 + 33487946852738801767894868311731837366420761806645/1397861863788134\ 82900449883022530931311143667712*c_1001_9^7 + 31122759724909956117305577709012938053119677877047/1397861863788134\ 82900449883022530931311143667712*c_1001_9^6 + 6442205310976982199165534051259114224338644083275/34946546594703370\ 725112470755632732827785916928*c_1001_9^5 + 19703238056804555425394920458371525187900277705401/1397861863788134\ 82900449883022530931311143667712*c_1001_9^4 + 13761264101246690649785535822196319195359537994221/1397861863788134\ 82900449883022530931311143667712*c_1001_9^3 + 3906417615754892809244573847550876673507859347891/69893093189406741\ 450224941511265465655571833856*c_1001_9^2 + 376224995450536089976785504559336706002194946051/174732732973516853\ 62556235377816366413892958464*c_1001_9 + 54216688743522600480863928753852226153270028189/1747327329735168536\ 2556235377816366413892958464, c_0101_0 - 2513939996655125295385252984002822833582825635/1397861863788\ 13482900449883022530931311143667712*c_1001_9^23 - 6657598937740379642334197532639692146339807451/69893093189406741450\ 224941511265465655571833856*c_1001_9^22 - 23235663824900720091953263823534265485489804043/1397861863788134829\ 00449883022530931311143667712*c_1001_9^21 - 18736765228427562711472586825300227067479765889/1397861863788134829\ 00449883022530931311143667712*c_1001_9^20 + 251214001158164966797914208962064480760259419/174732732973516853625\ 56235377816366413892958464*c_1001_9^19 + 5394778924043244434360901583867696557213756031/69893093189406741450\ 224941511265465655571833856*c_1001_9^18 + 32257219826797318241140171340902456531302805339/6989309318940674145\ 0224941511265465655571833856*c_1001_9^17 + 11713995789074592902427177938726418074132459789/1397861863788134829\ 00449883022530931311143667712*c_1001_9^16 - 50914929113777056224558815423010819413192110487/3494654659470337072\ 5112470755632732827785916928*c_1001_9^15 - 485488352872355483881377865527334588369706952927/139786186378813482\ 900449883022530931311143667712*c_1001_9^14 - 245317500333152975491369196232559390378244710871/139786186378813482\ 900449883022530931311143667712*c_1001_9^13 - 51072019916668294338765576116350802384266003399/6989309318940674145\ 0224941511265465655571833856*c_1001_9^12 - 86692796960582092433546897862765940691869970691/1397861863788134829\ 00449883022530931311143667712*c_1001_9^11 - 145611241289353776001862866700312494538130896701/698930931894067414\ 50224941511265465655571833856*c_1001_9^10 + 47473885264208239038609000460800027281821564135/3494654659470337072\ 5112470755632732827785916928*c_1001_9^9 + 297883467469412172010808832519550909218357116789/139786186378813482\ 900449883022530931311143667712*c_1001_9^8 + 808624147035849871539690566076597590311355790069/139786186378813482\ 900449883022530931311143667712*c_1001_9^7 + 995913555786895688442476163778106472003659525051/139786186378813482\ 900449883022530931311143667712*c_1001_9^6 + 165149346501653923494219025387926621489987098821/174732732973516853\ 62556235377816366413892958464*c_1001_9^5 + 885751414961894504624763412906495185979991567317/139786186378813482\ 900449883022530931311143667712*c_1001_9^4 + 1023066847999517965179113785862812791038776439589/13978618637881348\ 2900449883022530931311143667712*c_1001_9^3 + 414257106584462226841086002627206918169136409811/698930931894067414\ 50224941511265465655571833856*c_1001_9^2 + 86777088571680195205081778518604055430434361327/1747327329735168536\ 2556235377816366413892958464*c_1001_9 + 16541134172238571400275827362597328722078100269/1747327329735168536\ 2556235377816366413892958464, c_0101_1 + 1609462216375605795409614173327991970236055157/6989309318940\ 6741450224941511265465655571833856*c_1001_9^23 + 3280359215601801407780914893819605574534780797/34946546594703370725\ 112470755632732827785916928*c_1001_9^22 + 6033063682574024219098594936674811424129256507/69893093189406741450\ 224941511265465655571833856*c_1001_9^21 + 744673620815650954711421700498053346641683547/698930931894067414502\ 24941511265465655571833856*c_1001_9^20 - 2681577632299663371229242240071290887426200181/17473273297351685362\ 556235377816366413892958464*c_1001_9^19 - 3668900610708808103477830719987116901294526293/17473273297351685362\ 556235377816366413892958464*c_1001_9^18 - 27674292380873543091758757071093989968178288927/3494654659470337072\ 5112470755632732827785916928*c_1001_9^17 + 19052877848252454494122052477570282308357725743/6989309318940674145\ 0224941511265465655571833856*c_1001_9^16 + 21188128499429705936974814878914763220684901215/1747327329735168536\ 2556235377816366413892958464*c_1001_9^15 + 155833674712640108279989677779041870199857046329/698930931894067414\ 50224941511265465655571833856*c_1001_9^14 - 70279445524316166198176360115129230353016683391/6989309318940674145\ 0224941511265465655571833856*c_1001_9^13 - 1002211379841580061896388073533919360246650213/87366366486758426812\ 78117688908183206946479232*c_1001_9^12 - 243897355350735501304118795063699852539376384173/698930931894067414\ 50224941511265465655571833856*c_1001_9^11 - 23285763330757015352862800553793636752296478501/8736636648675842681\ 278117688908183206946479232*c_1001_9^10 - 74361423299583919303696544373237335097670438079/8736636648675842681\ 278117688908183206946479232*c_1001_9^9 - 472829460289705110418858701487332991334624672357/698930931894067414\ 50224941511265465655571833856*c_1001_9^8 - 982514980876948961688548944859683501700049409207/698930931894067414\ 50224941511265465655571833856*c_1001_9^7 - 827380628409682840569074421016089691910295217833/698930931894067414\ 50224941511265465655571833856*c_1001_9^6 - 536350345001862377459343896152501462313283454439/349465465947033707\ 25112470755632732827785916928*c_1001_9^5 - 687346462518406126599465912026762285668351105557/698930931894067414\ 50224941511265465655571833856*c_1001_9^4 - 775114250517468559538269966836904815244153984857/698930931894067414\ 50224941511265465655571833856*c_1001_9^3 - 228723866345064350131498145279022338507398327671/349465465947033707\ 25112470755632732827785916928*c_1001_9^2 - 34424982676034690011488023555077708993657321987/8736636648675842681\ 278117688908183206946479232*c_1001_9 - 14573330896921584690785893693234665151732395873/8736636648675842681\ 278117688908183206946479232, c_0101_10 + 10990813519735129546948395829361059783417496535/34946546594\ 703370725112470755632732827785916928*c_1001_9^23 + 37457474960230570693680161777424930417523249511/1747327329735168536\ 2556235377816366413892958464*c_1001_9^22 + 106204349607977589699947679432491153711475889161/174732732973516853\ 62556235377816366413892958464*c_1001_9^21 + 381642224881713094349199464430936249079624050921/349465465947033707\ 25112470755632732827785916928*c_1001_9^20 + 61686568473677519037795611824330300482951672933/4368318324337921340\ 639058844454091603473239616*c_1001_9^19 + 545465367550385951933553601584020156333310101479/349465465947033707\ 25112470755632732827785916928*c_1001_9^18 + 86744402945002833043738037177319206691629971139/8736636648675842681\ 278117688908183206946479232*c_1001_9^17 + 33807209942509639761762458588991923142802817489/4368318324337921340\ 639058844454091603473239616*c_1001_9^16 + 574381492169549805984732014343433532307971607919/174732732973516853\ 62556235377816366413892958464*c_1001_9^15 + 3784732375518579976944501563349373675466573119993/34946546594703370\ 725112470755632732827785916928*c_1001_9^14 + 6578300073504878453014783816757631444096649045849/34946546594703370\ 725112470755632732827785916928*c_1001_9^13 + 9062791631006850239862812848298266654978476276403/34946546594703370\ 725112470755632732827785916928*c_1001_9^12 + 5677490377615661522799414058840544620307712280497/17473273297351685\ 362556235377816366413892958464*c_1001_9^11 + 14951352914165490242295229487894742955044690104001/3494654659470337\ 0725112470755632732827785916928*c_1001_9^10 + 8901952374556214145949180822498802449995260251069/17473273297351685\ 362556235377816366413892958464*c_1001_9^9 + 9958965057080702029622791803532408227735496802599/17473273297351685\ 362556235377816366413892958464*c_1001_9^8 + 19788977583483756955532803753890782981767156597627/3494654659470337\ 0725112470755632732827785916928*c_1001_9^7 + 18403652639368937155287235406256538823457912446309/3494654659470337\ 0725112470755632732827785916928*c_1001_9^6 + 14879132733551821954741985439075554972646373189863/3494654659470337\ 0725112470755632732827785916928*c_1001_9^5 + 5725937068409947578451601769339544097225681000395/17473273297351685\ 362556235377816366413892958464*c_1001_9^4 + 3912440911943321271948641362495699249325321145063/17473273297351685\ 362556235377816366413892958464*c_1001_9^3 + 1097616199602744086328874921738469074406513253381/87366366486758426\ 81278117688908183206946479232*c_1001_9^2 + 48541158481617628553395315636509840708009559349/1092079581084480335\ 159764711113522900868309904*c_1001_9 + 12382034512282826601109325411013521981811593777/2184159162168960670\ 319529422227045801736619808, c_0101_2 + 194652280674100101025315383141796403731652037/69893093189406\ 741450224941511265465655571833856*c_1001_9^23 + 4425475103261608181659581961550191179840605113/69893093189406741450\ 224941511265465655571833856*c_1001_9^22 + 2711502750370959977951863742901013319143923971/87366366486758426812\ 78117688908183206946479232*c_1001_9^21 + 45428615457840265933257643143417408768192424255/6989309318940674145\ 0224941511265465655571833856*c_1001_9^20 + 62243770182888575943521441327008119969715235933/6989309318940674145\ 0224941511265465655571833856*c_1001_9^19 + 67500089389954107526872697894470065051168357421/6989309318940674145\ 0224941511265465655571833856*c_1001_9^18 + 66646931381167374331199696694659935137226409269/6989309318940674145\ 0224941511265465655571833856*c_1001_9^17 + 1630653352250640838445786451720464465539762185/17473273297351685362\ 556235377816366413892958464*c_1001_9^16 + 459157251315291693380678859050004550088141379/546039790542240167579\ 882355556761450434154952*c_1001_9^15 + 369559025389136654318593958063405597013974355265/698930931894067414\ 50224941511265465655571833856*c_1001_9^14 + 206595346939312215007185195439535562696867422931/174732732973516853\ 62556235377816366413892958464*c_1001_9^13 + 524627917490023212987746018690654065943455690623/349465465947033707\ 25112470755632732827785916928*c_1001_9^12 + 1342806713575041234736146064683533670535039698023/69893093189406741\ 450224941511265465655571833856*c_1001_9^11 + 1765258669665064497894689221011684633262703940427/69893093189406741\ 450224941511265465655571833856*c_1001_9^10 + 2234531066729925139044081363052107585526820739989/69893093189406741\ 450224941511265465655571833856*c_1001_9^9 + 616766925863997298481377141587922568035243131875/174732732973516853\ 62556235377816366413892958464*c_1001_9^8 + 2595777350887619995463852612884829550194844802897/69893093189406741\ 450224941511265465655571833856*c_1001_9^7 + 1196746096512490420957952472284351833760220411279/34946546594703370\ 725112470755632732827785916928*c_1001_9^6 + 990700512210257979611986125646674459787909058773/349465465947033707\ 25112470755632732827785916928*c_1001_9^5 + 1516043131720217250755257047309581856775057743459/69893093189406741\ 450224941511265465655571833856*c_1001_9^4 + 543515961616283449085767347085539499677987499299/349465465947033707\ 25112470755632732827785916928*c_1001_9^3 + 19877899308418724092558252856373844297079083591/2184159162168960670\ 319529422227045801736619808*c_1001_9^2 + 23554454292108784824774058102882872632052256273/8736636648675842681\ 278117688908183206946479232*c_1001_9 + 615571001105775271203520070994678768377696405/109207958108448033515\ 9764711113522900868309904, c_0101_8 + 26507868666491229617518661275640219309738891/139786186378813\ 482900449883022530931311143667712*c_1001_9^23 - 225231361969403215205407265772744969811431063/349465465947033707251\ 12470755632732827785916928*c_1001_9^22 - 7901137993075505184607710364315650840807881867/13978618637881348290\ 0449883022530931311143667712*c_1001_9^21 - 25334900990513933064851272037865307071863180927/1397861863788134829\ 00449883022530931311143667712*c_1001_9^20 - 21837550821181781267485506416097410229055599763/6989309318940674145\ 0224941511265465655571833856*c_1001_9^19 - 12199386614302970127076193599489871786969727573/3494654659470337072\ 5112470755632732827785916928*c_1001_9^18 - 796498021432107263171498074829853028885759681/218415916216896067031\ 9529422227045801736619808*c_1001_9^17 - 32743889154996332092477326598735151162960946003/1397861863788134829\ 00449883022530931311143667712*c_1001_9^16 - 597402320209908327795090573654166584602994183/349465465947033707251\ 12470755632732827785916928*c_1001_9^15 - 109754144194269348837232131839509323204248749625/139786186378813482\ 900449883022530931311143667712*c_1001_9^14 - 474012894786360888160119246694190087392003564427/139786186378813482\ 900449883022530931311143667712*c_1001_9^13 - 379634811207325088760129280643786494150250774207/698930931894067414\ 50224941511265465655571833856*c_1001_9^12 - 859159593715025833977913693444106562989384063445/139786186378813482\ 900449883022530931311143667712*c_1001_9^11 - 138386952741799363266647221121136550748684200963/174732732973516853\ 62556235377816366413892958464*c_1001_9^10 - 770578551631752082666088413352410919143031607753/698930931894067414\ 50224941511265465655571833856*c_1001_9^9 - 1800648135461122097760957614907497023412934428387/13978618637881348\ 2900449883022530931311143667712*c_1001_9^8 - 1884706456790392667266067747665912548977110347133/13978618637881348\ 2900449883022530931311143667712*c_1001_9^7 - 1902940782966806178841420203966258716538043352613/13978618637881348\ 2900449883022530931311143667712*c_1001_9^6 - 100783897757441664004451710150467535183878968687/873663664867584268\ 1278117688908183206946479232*c_1001_9^5 - 1257997026606059047915536519873217383705904891589/13978618637881348\ 2900449883022530931311143667712*c_1001_9^4 - 929187984637935155179031634506898331174840534119/139786186378813482\ 900449883022530931311143667712*c_1001_9^3 - 318649415290095116945838120320842842384857899909/698930931894067414\ 50224941511265465655571833856*c_1001_9^2 - 27878683627769413012478273221339122455350180599/1747327329735168536\ 2556235377816366413892958464*c_1001_9 - 13176942840364880453603802518626480128900189691/1747327329735168536\ 2556235377816366413892958464, c_1001_5 - 18776684789619776406020279048873325921516789023/139786186378\ 813482900449883022530931311143667712*c_1001_9^23 - 30290927221175822683318595089366268551564085021/3494654659470337072\ 5112470755632732827785916928*c_1001_9^22 - 314715077415222835976831961337193531324774216805/139786186378813482\ 900449883022530931311143667712*c_1001_9^21 - 513385895986804937061772917216248444038841314389/139786186378813482\ 900449883022530931311143667712*c_1001_9^20 - 301053964749449243116348103422483849674786528037/698930931894067414\ 50224941511265465655571833856*c_1001_9^19 - 19831030992092886619450991465655541571679948879/4368318324337921340\ 639058844454091603473239616*c_1001_9^18 - 34816929073420793926490283699079032002635741001/1747327329735168536\ 2556235377816366413892958464*c_1001_9^17 - 270114632197150349512636832882834899040626616933/139786186378813482\ 900449883022530931311143667712*c_1001_9^16 - 463132000808717887705970527286817657244708212481/349465465947033707\ 25112470755632732827785916928*c_1001_9^15 - 5734457727941124371321160816598797593440976591915/13978618637881348\ 2900449883022530931311143667712*c_1001_9^14 - 8761825786932512735450560426942766823407218770273/13978618637881348\ 2900449883022530931311143667712*c_1001_9^13 - 5633201643941630499572362337963838433574690827879/69893093189406741\ 450224941511265465655571833856*c_1001_9^12 - 14022379711454472965767353536130188257992242712675/1397861863788134\ 82900449883022530931311143667712*c_1001_9^11 - 4694489587877307762457582295315260790265624937953/34946546594703370\ 725112470755632732827785916928*c_1001_9^10 - 10730022639069108233598761986962286969292775698719/6989309318940674\ 1450224941511265465655571833856*c_1001_9^9 - 23327880014255362297282509480392219492869810867117/1397861863788134\ 82900449883022530931311143667712*c_1001_9^8 - 22274544103960230787738872460507892970753677321535/1397861863788134\ 82900449883022530931311143667712*c_1001_9^7 - 19930514009751955345265464827044264546207093096967/1397861863788134\ 82900449883022530931311143667712*c_1001_9^6 - 3755235724645982517343383431818831829959059582719/34946546594703370\ 725112470755632732827785916928*c_1001_9^5 - 11302641587521118350765216621806335691539774854003/1397861863788134\ 82900449883022530931311143667712*c_1001_9^4 - 7203621075218365641615897107189843082141367114465/13978618637881348\ 2900449883022530931311143667712*c_1001_9^3 - 1612519363344840689401540283216996994143522245811/69893093189406741\ 450224941511265465655571833856*c_1001_9^2 - 53395811483924875935395674938309032421791874233/1747327329735168536\ 2556235377816366413892958464*c_1001_9 + 24226462074547171403632013717069630025827115395/1747327329735168536\ 2556235377816366413892958464, c_1001_9^24 + 7*c_1001_9^23 + 1011/49*c_1001_9^22 + 1896/49*c_1001_9^21 + 2575/49*c_1001_9^20 + 2942/49*c_1001_9^19 + 2124/49*c_1001_9^18 + 1623/49*c_1001_9^17 + 5433/49*c_1001_9^16 + 17833/49*c_1001_9^15 + 32758/49*c_1001_9^14 + 46875/49*c_1001_9^13 + 8565/7*c_1001_9^12 + 11173/7*c_1001_9^11 + 94610/49*c_1001_9^10 + 107189/49*c_1001_9^9 + 109302/49*c_1001_9^8 + 103108/49*c_1001_9^7 + 86475/49*c_1001_9^6 + 67505/49*c_1001_9^5 + 47766/49*c_1001_9^4 + 28347/49*c_1001_9^3 + 12302/49*c_1001_9^2 + 2880/49*c_1001_9 + 296/49 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 5.430 Total time: 5.639 seconds, Total memory usage: 64.12MB