Magma V2.19-8 Wed Aug 21 2013 00:49:50 on localhost [Seed = 3734555144] Type ? for help. Type -D to quit. Loading file "K14n9933__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n9933 geometric_solution 12.16277980 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 0132 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.423960156440 1.363201954080 0 2 0 4 0132 2310 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.671220493264 0.752902580267 5 0 4 1 0132 0132 1230 3201 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 0 -9 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.135450243345 0.777582891855 5 6 6 0 3201 0132 0321 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 -1 0 1 0 0 0 0 0 0 0 0 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.214167411468 0.913019118981 5 7 1 2 1230 0132 0132 3012 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 1 0 -1 0 0 0 0 -9 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.683730003037 0.848737814320 2 4 8 3 0132 3012 0132 2310 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 0 0 0 -9 0 0 9 0 0 0 0 0 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.644465499016 0.726834960956 9 3 3 10 0132 0132 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 8 -9 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.214167411468 0.913019118981 11 4 9 8 0132 0132 2031 2310 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 -1 -8 9 -1 0 0 1 8 0 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.580774667615 1.241487448004 7 11 9 5 3201 3120 2310 0132 0 0 0 0 0 -1 1 0 1 0 -1 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -8 8 0 8 0 -8 0 -9 0 0 9 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.068805655646 1.077674749820 6 8 12 7 0132 3201 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 0 -8 0 8 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.297959093145 0.711307552460 12 11 6 11 2310 0321 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.852460346782 1.142757451571 7 8 10 10 0132 3120 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 0 -1 0 0 0 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.111127374997 0.860728848696 12 12 10 9 1230 3012 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.294476059937 0.782363382810 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_8']), 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : negation(d['c_0011_12']), 'c_1001_5' : negation(d['c_0011_11']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_7' : negation(d['c_0101_2']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : negation(d['c_1001_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_10'], 'c_1001_2' : negation(d['c_0101_1']), 'c_1001_9' : d['c_0101_11'], 'c_1001_8' : d['c_0011_8'], 'c_1010_12' : d['c_0101_11'], 'c_1010_11' : negation(d['c_0011_8']), 'c_1010_10' : negation(d['c_0011_8']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_12'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_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' : 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_0011_3'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_1'], 'c_1100_7' : d['c_0011_8'], 'c_1100_6' : d['c_1001_10'], 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_1001_0'], 'c_1100_3' : d['c_1001_0'], 'c_1100_2' : d['c_0011_0'], 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0011_10']), 'c_1100_11' : d['c_1001_10'], 'c_1100_10' : d['c_1001_10'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_5']), 'c_1010_6' : d['c_1001_10'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_5']), 'c_1010_0' : negation(d['c_0101_1']), 'c_1010_9' : negation(d['c_0011_8']), 'c_1010_8' : negation(d['c_0011_11']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_10']), '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' : d['c_0011_3'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_11'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : negation(d['c_0011_3']), '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' : negation(d['c_0011_10']), 'c_0110_10' : d['c_0101_11'], 'c_0110_12' : d['c_0011_12'], 'c_0101_12' : negation(d['c_0101_11']), 'c_0101_7' : negation(d['c_0011_10']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0101_2']), '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_0011_12'], 'c_0101_8' : negation(d['c_0101_11']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : d['c_0101_5'], '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_5'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0011_0'], 'c_0110_7' : d['c_0101_11'], 'c_0110_6' : d['c_0011_12']})} 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_8, c_0101_0, c_0101_1, c_0101_11, c_0101_2, c_0101_5, c_1001_0, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 8199194508273545323074851785098428934/53814171556110923564887809622\ 5779*c_1001_10^23 + 79509963368340423491670826936149829786/53814171\ 5561109235648878096225779*c_1001_10^22 - 377230566809472261490622419825008060997/538141715561109235648878096\ 225779*c_1001_10^21 + 1103036133395058719800801801297542784365/5381\ 41715561109235648878096225779*c_1001_10^20 - 2195035750356176060966320187472221983059/53814171556110923564887809\ 6225779*c_1001_10^19 + 3144501128289332238649695439435504594363/538\ 141715561109235648878096225779*c_1001_10^18 - 3502685342019249369047897217578110044306/53814171556110923564887809\ 6225779*c_1001_10^17 + 3376442986720343030557165910342121557624/538\ 141715561109235648878096225779*c_1001_10^16 - 2831090496974122522713354572402188065985/53814171556110923564887809\ 6225779*c_1001_10^15 + 1118201917373025987211270019565488591552/538\ 141715561109235648878096225779*c_1001_10^14 + 2080099289340174850268540945901168037098/53814171556110923564887809\ 6225779*c_1001_10^13 - 5051068368378252905127644306516888851453/538\ 141715561109235648878096225779*c_1001_10^12 + 5427603825741047059101368256991122586237/53814171556110923564887809\ 6225779*c_1001_10^11 - 2998403966993546114712400026375276139360/538\ 141715561109235648878096225779*c_1001_10^10 - 437068074743855671550896738693263049709/538141715561109235648878096\ 225779*c_1001_10^9 + 3253127094677865384302538878339684996819/53814\ 1715561109235648878096225779*c_1001_10^8 - 4378778710184918169682859959051658461748/53814171556110923564887809\ 6225779*c_1001_10^7 + 3183424524870328243337865368016045345899/5381\ 41715561109235648878096225779*c_1001_10^6 - 6205335512079571157333854204096874077/47623160669124711119369743028\ 83*c_1001_10^5 - 707941125754896546554991896995342947014/5381417155\ 61109235648878096225779*c_1001_10^4 + 424133540019558346521494676302631227132/538141715561109235648878096\ 225779*c_1001_10^3 + 7980921529305862612140489326890039755/41395516\ 581623787357606007401983*c_1001_10^2 - 121385303007238491231527434101536108713/538141715561109235648878096\ 225779*c_1001_10 + 5422994206790331856108076635423067815/5381417155\ 61109235648878096225779, c_0011_0 - 1, c_0011_10 + 1743054532762640075/26821324883592064412*c_1001_10^23 - 17518819133796442861/26821324883592064412*c_1001_10^22 + 84372590042087111029/26821324883592064412*c_1001_10^21 - 246738628898526614307/26821324883592064412*c_1001_10^20 + 478500743588421335651/26821324883592064412*c_1001_10^19 - 160755719051599283234/6705331220898016103*c_1001_10^18 + 638183734780690746479/26821324883592064412*c_1001_10^17 - 543740844229360585929/26821324883592064412*c_1001_10^16 + 410195963859720585273/26821324883592064412*c_1001_10^15 - 31498999571526197649/26821324883592064412*c_1001_10^14 - 347086045240210507573/13410662441796032206*c_1001_10^13 + 1252601180050838559913/26821324883592064412*c_1001_10^12 - 269282028343650194334/6705331220898016103*c_1001_10^11 + 292677044471524021051/26821324883592064412*c_1001_10^10 + 234132559407390327341/13410662441796032206*c_1001_10^9 - 943456182821701151247/26821324883592064412*c_1001_10^8 + 972954502290112453227/26821324883592064412*c_1001_10^7 - 124145193886229598450/6705331220898016103*c_1001_10^6 - 1382022943649983683/237356857376920924*c_1001_10^5 + 339339076311771535435/26821324883592064412*c_1001_10^4 - 50409715950841391321/13410662441796032206*c_1001_10^3 - 41008192223410551313/26821324883592064412*c_1001_10^2 + 21806690284225163191/26821324883592064412*c_1001_10 + 794413544636691325/6705331220898016103, c_0011_11 - 313846884817790367/13410662441796032206*c_1001_10^23 + 846873099972219033/6705331220898016103*c_1001_10^22 - 1684665873857021655/6705331220898016103*c_1001_10^21 - 1176050275003568379/6705331220898016103*c_1001_10^20 + 11483701782764654089/6705331220898016103*c_1001_10^19 - 49490602338637819259/13410662441796032206*c_1001_10^18 + 56339858931276632675/13410662441796032206*c_1001_10^17 - 26855041944123686948/6705331220898016103*c_1001_10^16 + 32542523010311386800/6705331220898016103*c_1001_10^15 - 34847357485100649597/6705331220898016103*c_1001_10^14 + 3796005032786199735/13410662441796032206*c_1001_10^13 + 86158881465235816927/13410662441796032206*c_1001_10^12 - 113414054636591453871/13410662441796032206*c_1001_10^11 + 76122109528499671325/13410662441796032206*c_1001_10^10 - 31056662068832632777/13410662441796032206*c_1001_10^9 - 34203104288151167729/13410662441796032206*c_1001_10^8 + 50705545273610489819/6705331220898016103*c_1001_10^7 - 82743012164260846507/13410662441796032206*c_1001_10^6 + 37588872105900417/118678428688460462*c_1001_10^5 + 14311101257390727617/6705331220898016103*c_1001_10^4 + 5961921977052358255/13410662441796032206*c_1001_10^3 - 11792048685653440659/13410662441796032206*c_1001_10^2 + 456945659507534564/6705331220898016103*c_1001_10 + 1315803247345490979/13410662441796032206, c_0011_12 + 6983269388326366199/26821324883592064412*c_1001_10^23 - 65374650642382035117/26821324883592064412*c_1001_10^22 + 298083878322017298769/26821324883592064412*c_1001_10^21 - 830133340253749436307/26821324883592064412*c_1001_10^20 + 1557124069458564795379/26821324883592064412*c_1001_10^19 - 520991692257300214504/6705331220898016103*c_1001_10^18 + 2184230640015244438487/26821324883592064412*c_1001_10^17 - 2044438024705243273117/26821324883592064412*c_1001_10^16 + 1629242620267887033861/26821324883592064412*c_1001_10^15 - 309577598083273035153/26821324883592064412*c_1001_10^14 - 963917197523823877021/13410662441796032206*c_1001_10^13 + 3584505959185209353565/26821324883592064412*c_1001_10^12 - 814395348831972252676/6705331220898016103*c_1001_10^11 + 1330633351324812606051/26821324883592064412*c_1001_10^10 + 423477022996046567511/13410662441796032206*c_1001_10^9 - 2437309213577448903947/26821324883592064412*c_1001_10^8 + 2811572110109106032667/26821324883592064412*c_1001_10^7 - 410003348289135365306/6705331220898016103*c_1001_10^6 - 192165913807133451/237356857376920924*c_1001_10^5 + 572204417614044873655/26821324883592064412*c_1001_10^4 - 77274911341121388333/13410662441796032206*c_1001_10^3 - 99037794809312276045/26821324883592064412*c_1001_10^2 + 46338880325371922879/26821324883592064412*c_1001_10 - 1592222022751682410/6705331220898016103, c_0011_3 - 1520366892167049227/26821324883592064412*c_1001_10^23 + 1858087682106278479/13410662441796032206*c_1001_10^22 + 6574341383382912033/6705331220898016103*c_1001_10^21 - 104331393905252644049/13410662441796032206*c_1001_10^20 + 167580533191450802255/6705331220898016103*c_1001_10^19 - 1307711697640097576175/26821324883592064412*c_1001_10^18 + 1724083257790821464033/26821324883592064412*c_1001_10^17 - 893296578730093866557/13410662441796032206*c_1001_10^16 + 435326665796286741394/6705331220898016103*c_1001_10^15 - 378481035459753691233/6705331220898016103*c_1001_10^14 + 343849598519572302331/26821324883592064412*c_1001_10^13 + 1677801415198867026309/26821324883592064412*c_1001_10^12 - 3060252316015408040577/26821324883592064412*c_1001_10^11 + 2653771863020453300409/26821324883592064412*c_1001_10^10 - 1053802129081138622549/26821324883592064412*c_1001_10^9 - 673649051598628875603/26821324883592064412*c_1001_10^8 + 509986413181428384269/6705331220898016103*c_1001_10^7 - 2365628723229674006019/26821324883592064412*c_1001_10^6 + 11275892064765873895/237356857376920924*c_1001_10^5 + 33825367535565371901/6705331220898016103*c_1001_10^4 - 389714080856942103685/26821324883592064412*c_1001_10^3 + 5128075324053207891/26821324883592064412*c_1001_10^2 + 38939710653847738997/13410662441796032206*c_1001_10 - 1183879497569189935/26821324883592064412, c_0011_8 + 1440565335892981605/26821324883592064412*c_1001_10^23 - 3991379825267426870/6705331220898016103*c_1001_10^22 + 42148153511159663457/13410662441796032206*c_1001_10^21 - 68066173213379662520/6705331220898016103*c_1001_10^20 + 295190984932703616337/13410662441796032206*c_1001_10^19 - 902347977998125759069/26821324883592064412*c_1001_10^18 + 1027155972994045890801/26821324883592064412*c_1001_10^17 - 242880975388194483889/6705331220898016103*c_1001_10^16 + 416807853558877344843/13410662441796032206*c_1001_10^15 - 217255898898637597237/13410662441796032206*c_1001_10^14 - 470240969421487866023/26821324883592064412*c_1001_10^13 + 1484015119858373393409/26821324883592064412*c_1001_10^12 - 1737198603475413855519/26821324883592064412*c_1001_10^11 + 1016457077843267656373/26821324883592064412*c_1001_10^10 + 75227648080401649781/26821324883592064412*c_1001_10^9 - 945639674081396228827/26821324883592064412*c_1001_10^8 + 682264529783487164753/13410662441796032206*c_1001_10^7 - 1070956178467557315945/26821324883592064412*c_1001_10^6 + 2388440188219940959/237356857376920924*c_1001_10^5 + 147557623578108265211/13410662441796032206*c_1001_10^4 - 206125035257730339839/26821324883592064412*c_1001_10^3 - 30545455676500187861/26821324883592064412*c_1001_10^2 + 11061137062310489219/6705331220898016103*c_1001_10 - 2875021899413674797/26821324883592064412, c_0101_0 - 1263513904521684265/26821324883592064412*c_1001_10^23 + 2029603081588927207/6705331220898016103*c_1001_10^22 - 12558366206870922997/13410662441796032206*c_1001_10^21 + 9927682714744125606/6705331220898016103*c_1001_10^20 - 15946620311697689841/13410662441796032206*c_1001_10^19 + 5301195184064379773/26821324883592064412*c_1001_10^18 - 7063889241021199097/26821324883592064412*c_1001_10^17 + 1473463409527865813/6705331220898016103*c_1001_10^16 + 23592212251598926577/13410662441796032206*c_1001_10^15 - 67238057911047332355/13410662441796032206*c_1001_10^14 + 100699297005315190807/26821324883592064412*c_1001_10^13 + 2651634079669554619/26821324883592064412*c_1001_10^12 - 63707938473410300877/26821324883592064412*c_1001_10^11 + 51948634936251808715/26821324883592064412*c_1001_10^10 - 64616787106406477109/26821324883592064412*c_1001_10^9 + 52363057295928696023/26821324883592064412*c_1001_10^8 + 16503347912775265355/13410662441796032206*c_1001_10^7 - 59281234012258988935/26821324883592064412*c_1001_10^6 - 57034169282496347/237356857376920924*c_1001_10^5 + 21509744065136541643/13410662441796032206*c_1001_10^4 + 46520655406185095767/26821324883592064412*c_1001_10^3 - 35049651196382835267/26821324883592064412*c_1001_10^2 - 2403630562173498432/6705331220898016103*c_1001_10 - 20428619026432919703/26821324883592064412, c_0101_1 - 5891727675895294403/13410662441796032206*c_1001_10^23 + 114176649945446844293/26821324883592064412*c_1001_10^22 - 550837068176614187231/26821324883592064412*c_1001_10^21 + 1659755427949170181975/26821324883592064412*c_1001_10^20 - 3462307267395050864745/26821324883592064412*c_1001_10^19 + 5277410709260202976407/26821324883592064412*c_1001_10^18 - 3141804336466389158741/13410662441796032206*c_1001_10^17 + 6321742237137146317953/26821324883592064412*c_1001_10^16 - 5523934137032496556427/26821324883592064412*c_1001_10^15 + 2976096114829417622971/26821324883592064412*c_1001_10^14 + 2029642530951521066675/26821324883592064412*c_1001_10^13 - 1896097484475064932587/6705331220898016103*c_1001_10^12 + 9704002439055036891297/26821324883592064412*c_1001_10^11 - 3409822396482704269979/13410662441796032206*c_1001_10^10 + 1063392085703641568155/26821324883592064412*c_1001_10^9 + 1096661429888787773949/6705331220898016103*c_1001_10^8 - 7306662061840871833449/26821324883592064412*c_1001_10^7 + 6442475332048059942383/26821324883592064412*c_1001_10^6 - 11913810078097254965/118678428688460462*c_1001_10^5 - 447299400969941403869/26821324883592064412*c_1001_10^4 + 912129722278804154079/26821324883592064412*c_1001_10^3 - 4117381896529498723/6705331220898016103*c_1001_10^2 - 240907097859661935771/26821324883592064412*c_1001_10 + 63401180674575257235/26821324883592064412, c_0101_11 - 1596970351531605920/6705331220898016103*c_1001_10^23 + 60858481681007663609/26821324883592064412*c_1001_10^22 - 281720912041560934279/26821324883592064412*c_1001_10^21 + 796029817252789399703/26821324883592064412*c_1001_10^20 - 1510876560844150972329/26821324883592064412*c_1001_10^19 + 2034075922291320618205/26821324883592064412*c_1001_10^18 - 530028196368162290656/6705331220898016103*c_1001_10^17 + 1960532045234420510097/26821324883592064412*c_1001_10^16 - 1566217261266017466815/26821324883592064412*c_1001_10^15 + 311085960956306833147/26821324883592064412*c_1001_10^14 + 1886564638004352550069/26821324883592064412*c_1001_10^13 - 1777045791791925056597/13410662441796032206*c_1001_10^12 + 3223065338112964670963/26821324883592064412*c_1001_10^11 - 314067706063798100646/6705331220898016103*c_1001_10^10 - 914691344413551563551/26821324883592064412*c_1001_10^9 + 1233747523534381392391/13410662441796032206*c_1001_10^8 - 2813074921134880897285/26821324883592064412*c_1001_10^7 + 1632133906166667367021/26821324883592064412*c_1001_10^6 + 171752677535921898/59339214344230231*c_1001_10^5 - 646261116821070214841/26821324883592064412*c_1001_10^4 + 181280539274774024805/26821324883592064412*c_1001_10^3 + 52068190976204262497/13410662441796032206*c_1001_10^2 - 50623871851552802291/26821324883592064412*c_1001_10 + 4816896387652932477/26821324883592064412, c_0101_2 - 866422961086200165/13410662441796032206*c_1001_10^23 + 24960861217252417205/26821324883592064412*c_1001_10^22 - 149733474034544255199/26821324883592064412*c_1001_10^21 + 530011640634377212407/26821324883592064412*c_1001_10^20 - 1229506259892578422645/26821324883592064412*c_1001_10^19 + 2000387371938111817175/26821324883592064412*c_1001_10^18 - 1210610164626437679307/13410662441796032206*c_1001_10^17 + 2450796083254464465661/26821324883592064412*c_1001_10^16 - 2255271360399642445135/26821324883592064412*c_1001_10^15 + 1503977857189217873039/26821324883592064412*c_1001_10^14 + 424873277056657467271/26821324883592064412*c_1001_10^13 - 708643371838540100625/6705331220898016103*c_1001_10^12 + 3934017232138080709169/26821324883592064412*c_1001_10^11 - 1443922039091814111439/13410662441796032206*c_1001_10^10 + 672957495101930195271/26821324883592064412*c_1001_10^9 + 371421209825879739165/6705331220898016103*c_1001_10^8 - 2854963535949926456301/26821324883592064412*c_1001_10^7 + 2711600321962041657223/26821324883592064412*c_1001_10^6 - 5195446450789739863/118678428688460462*c_1001_10^5 - 225300331800954110733/26821324883592064412*c_1001_10^4 + 318251885490547646771/26821324883592064412*c_1001_10^3 + 10130819023995645472/6705331220898016103*c_1001_10^2 - 96274601512564509559/26821324883592064412*c_1001_10 - 3945312455068270509/26821324883592064412, c_0101_5 - 2368666057058503861/26821324883592064412*c_1001_10^23 + 29691781143719249901/26821324883592064412*c_1001_10^22 - 168111542952858014573/26821324883592064412*c_1001_10^21 + 574426572593367988347/26821324883592064412*c_1001_10^20 - 1307334307647032418683/26821324883592064412*c_1001_10^19 + 1052334885899725917733/13410662441796032206*c_1001_10^18 - 2540963936356449823061/26821324883592064412*c_1001_10^17 + 2564110104669070676705/26821324883592064412*c_1001_10^16 - 2338257027937690139181/26821324883592064412*c_1001_10^15 + 1508891171307525806717/26821324883592064412*c_1001_10^14 + 129495140999100064652/6705331220898016103*c_1001_10^13 - 3004239616204962481735/26821324883592064412*c_1001_10^12 + 2048568701468926658017/13410662441796032206*c_1001_10^11 - 2988139662304375756813/26821324883592064412*c_1001_10^10 + 167613508033297245929/6705331220898016103*c_1001_10^9 + 1606454105175749988141/26821324883592064412*c_1001_10^8 - 3024779021218817884867/26821324883592064412*c_1001_10^7 + 1408902556139152180651/13410662441796032206*c_1001_10^6 - 10523104815073776907/237356857376920924*c_1001_10^5 - 239525248700243937915/26821324883592064412*c_1001_10^4 + 88212174235657006507/6705331220898016103*c_1001_10^3 + 29057722270906627939/26821324883592064412*c_1001_10^2 - 80895581515696577131/26821324883592064412*c_1001_10 - 92106546300053879/13410662441796032206, c_1001_0 + 5390749494631444097/26821324883592064412*c_1001_10^23 - 12878276319594270367/6705331220898016103*c_1001_10^22 + 122856446751085902659/13410662441796032206*c_1001_10^21 - 183089746911549866582/6705331220898016103*c_1001_10^20 + 756943238338766681335/13410662441796032206*c_1001_10^19 - 2291946785304482053441/26821324883592064412*c_1001_10^18 + 2721779999822039949633/26821324883592064412*c_1001_10^17 - 684026358663682047648/6705331220898016103*c_1001_10^16 + 1189112001545574839071/13410662441796032206*c_1001_10^15 - 623815024946682355675/13410662441796032206*c_1001_10^14 - 923933710484741657839/26821324883592064412*c_1001_10^13 + 3299693016894401650781/26821324883592064412*c_1001_10^12 - 4184445650247025452811/26821324883592064412*c_1001_10^11 + 2920313340196511413681/26821324883592064412*c_1001_10^10 - 416921806051589301503/26821324883592064412*c_1001_10^9 - 1932536398940854557559/26821324883592064412*c_1001_10^8 + 1576312332563041655475/13410662441796032206*c_1001_10^7 - 2752840885927478638125/26821324883592064412*c_1001_10^6 + 10178160042272558059/237356857376920924*c_1001_10^5 + 92573152777326764149/13410662441796032206*c_1001_10^4 - 396050000718754362327/26821324883592064412*c_1001_10^3 + 11848536135029932987/26821324883592064412*c_1001_10^2 + 25893538237183196290/6705331220898016103*c_1001_10 - 7838142896722318297/26821324883592064412, c_1001_10^24 - 10*c_1001_10^23 + 49*c_1001_10^22 - 149*c_1001_10^21 + 311*c_1001_10^20 - 472*c_1001_10^19 + 558*c_1001_10^18 - 562*c_1001_10^17 + 493*c_1001_10^16 - 263*c_1001_10^15 - 194*c_1001_10^14 + 686*c_1001_10^13 - 863*c_1001_10^12 + 600*c_1001_10^11 - 93*c_1001_10^10 - 394*c_1001_10^9 + 658*c_1001_10^8 - 572*c_1001_10^7 + 232*c_1001_10^6 + 40*c_1001_10^5 - 74*c_1001_10^4 + 8*c_1001_10^3 + 16*c_1001_10^2 - 6*c_1001_10 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 18.670 Total time: 18.879 seconds, Total memory usage: 198.31MB