Magma V2.19-8 Wed Aug 21 2013 00:50:56 on localhost [Seed = 3415072453] Type ? for help. Type -D to quit. Loading file "L10a64__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L10a64 geometric_solution 11.75717306 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 1 2 3 0132 1230 0132 0132 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 -1 0 1 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.745498633970 0.709957892023 0 4 0 5 0132 0132 3012 0132 1 1 1 0 0 -1 1 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 -2 2 0 0 0 0 0 -2 0 0 2 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.296572268433 0.669892668796 6 4 7 0 0132 1302 0132 0132 1 1 1 0 0 0 0 0 0 0 0 0 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 -1 1 0 0 2 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.729969865457 0.461070020053 8 8 0 9 0132 1302 0132 0132 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 0 0 0 0 0 0 1 -1 0 -1 0 0 1 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.080959331589 1.247635052467 6 1 5 2 1023 0132 0132 2031 1 1 0 1 0 1 0 -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 2 -1 -1 0 0 0 0 -2 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.452059351661 0.796838440819 6 10 1 4 2103 0132 0132 0132 1 1 1 1 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 -1 0 1 0 0 0 0 0 0 0 0 1 1 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.330066144579 1.035343195025 2 4 5 7 0132 1023 2103 0321 1 1 0 1 0 0 0 0 0 0 0 0 -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 0 0 0 0 -2 2 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.039035944347 0.644313832806 11 6 10 2 0132 0321 2103 0132 1 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 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 1.417653053637 0.921830727165 3 9 12 3 0132 1023 0132 2031 1 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 0 0 0 0 -1 0 1 1 0 0 -1 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.051792504845 0.798155607649 8 11 3 11 1023 1230 0132 2031 1 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 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.477632003852 0.789798466198 7 5 12 12 2103 0132 2103 2031 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 0 0 0 0 0 1 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.081094951630 1.018297333112 7 9 9 12 0132 1302 3012 0132 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 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.439342430303 0.927087140389 10 10 11 8 2103 1302 0132 0132 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 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 1.081094951630 1.018297333112 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0011_11'], 'c_1001_11' : d['c_0011_3'], 'c_1001_10' : d['c_0011_12'], 'c_1001_12' : d['c_0110_10'], 'c_1001_5' : d['c_0011_12'], 'c_1001_4' : d['c_0011_12'], 'c_1001_7' : d['c_0011_10'], 'c_1001_6' : negation(d['c_0011_10']), 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : d['c_0110_4'], 'c_1001_9' : d['c_1001_9'], 'c_1001_8' : d['c_0101_8'], 'c_1010_12' : d['c_0101_8'], 'c_1010_11' : d['c_0110_10'], 'c_1010_10' : d['c_0011_12'], 's_3_11' : 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_0011_11'], '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' : 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' : negation(d['1']), 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0110_10']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1001_0']), 'c_1100_4' : negation(d['c_1001_0']), 'c_1100_7' : negation(d['c_0110_10']), 'c_1100_6' : d['c_0011_10'], 'c_1100_1' : negation(d['c_1001_0']), 'c_1100_0' : negation(d['c_0110_10']), 'c_1100_3' : negation(d['c_0110_10']), 'c_1100_2' : negation(d['c_0110_10']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_1001_9']), 'c_1100_10' : negation(d['c_0101_8']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0110_4'], 'c_1010_6' : d['c_0110_4'], 'c_1010_5' : d['c_0011_12'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : d['c_1001_9'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_12'], 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : d['c_0011_11'], 'c_1010_8' : d['c_0011_3'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(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' : negation(d['1']), 'c_1100_12' : negation(d['c_1001_9']), 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_10'], 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : d['c_0101_8'], 'c_0101_12' : d['c_0101_10'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_10'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_10']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_11'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_8'], '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_3'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_8'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0011_10']), 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0011_11'], 'c_1100_8' : negation(d['c_1001_9'])})} 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_0101_0, c_0101_1, c_0101_10, c_0101_8, c_0110_10, c_0110_4, c_1001_0, c_1001_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 15 Groebner basis: [ t - 2048702884625971655025179842794054494/21847352117939988369873444949\ 872595*c_1001_9^14 + 594495415923482792817278189157835456/312105030\ 2562855481410492135696085*c_1001_9^13 - 6977247154290058020982383205784995627/43694704235879976739746889899\ 74519*c_1001_9^12 + 312315792745283960514523473880975377328/2184735\ 2117939988369873444949872595*c_1001_9^11 - 373487072868089111745786662516158474293/312105030256285548141049213\ 5696085*c_1001_9^10 + 882777091953491784840459020007869050197/31210\ 50302562855481410492135696085*c_1001_9^9 - 10929876741268793355759664355584140068856/2184735211793998836987344\ 4949872595*c_1001_9^8 - 10670310635226558005870003782647781416746/2\ 1847352117939988369873444949872595*c_1001_9^7 + 4665341352796492574086961787672945296918/21847352117939988369873444\ 949872595*c_1001_9^6 + 5233263998110316827832573607758305344097/218\ 47352117939988369873444949872595*c_1001_9^5 - 6509978500672987277188687915195823894829/21847352117939988369873444\ 949872595*c_1001_9^4 - 2612187030994824445977086916079292767317/218\ 47352117939988369873444949872595*c_1001_9^3 + 245488870020157793803754035587651629067/436947042358799767397468898\ 9974519*c_1001_9^2 - 99887706555081833483352408765366158356/2184735\ 2117939988369873444949872595*c_1001_9 - 6077651143316658970587863359832457769/21847352117939988369873444949\ 872595, c_0011_0 - 1, c_0011_10 + 59796584788748228516978442381800/62421006051257109628209842\ 7139217*c_1001_9^14 - 107080231420332603408859704097400/62421006051\ 2571096282098427139217*c_1001_9^13 + 993555350951957845590293306014448/624210060512571096282098427139217\ *c_1001_9^12 - 8880032081852658735583943836456224/62421006051257109\ 6282098427139217*c_1001_9^11 + 74193181508743316868341742959630472/\ 624210060512571096282098427139217*c_1001_9^10 - 162700148052224509497377021218459392/624210060512571096282098427139\ 217*c_1001_9^9 + 281423470569084622847444159266029152/6242100605125\ 71096282098427139217*c_1001_9^8 + 374411020548547748510806601628290\ 656/624210060512571096282098427139217*c_1001_9^7 - 36405327825574900972596869803324352/6242100605125710962820984271392\ 17*c_1001_9^6 - 163779919363637419903861593365579449/62421006051257\ 1096282098427139217*c_1001_9^5 + 1461248248935414604679673996321811\ 76/624210060512571096282098427139217*c_1001_9^4 + 111124641726315591240211875022223840/624210060512571096282098427139\ 217*c_1001_9^3 - 4931100776829663505071767308998688/624210060512571\ 096282098427139217*c_1001_9^2 - 1685450987979950005033987896995616/\ 624210060512571096282098427139217*c_1001_9 - 79788327159448971321564616166136/624210060512571096282098427139217, c_0011_11 - 112754560365801858375941559801487/6242100605125710962820984\ 27139217*c_1001_9^14 + 219712807787041240668105083111891/6242100605\ 12571096282098427139217*c_1001_9^13 - 1908038547406641056015503335511445/62421006051257109628209842713921\ 7*c_1001_9^12 + 17045428954909086364027676691176025/624210060512571\ 096282098427139217*c_1001_9^11 - 1425898994150582319624106196968595\ 18/624210060512571096282098427139217*c_1001_9^10 + 329282052486546072761246177285202413/624210060512571096282098427139\ 217*c_1001_9^9 - 582479651521422473731062741367068213/6242100605125\ 71096282098427139217*c_1001_9^8 - 614427673802559344831087248446127\ 813/624210060512571096282098427139217*c_1001_9^7 + 166177310421257540763831727605377138/624210060512571096282098427139\ 217*c_1001_9^6 + 283564661592130568476296201516354721/6242100605125\ 71096282098427139217*c_1001_9^5 - 321398062101053950362356030619765\ 855/624210060512571096282098427139217*c_1001_9^4 - 159553137341636630412124016509040447/624210060512571096282098427139\ 217*c_1001_9^3 + 33959947502037527024368159619080975/62421006051257\ 1096282098427139217*c_1001_9^2 - 3519122267751756091583880778993614\ /624210060512571096282098427139217*c_1001_9 + 245557922913746913214474222809629/624210060512571096282098427139217\ , c_0011_12 - 11047512977722258199097316074100/62421006051257109628209842\ 7139217*c_1001_9^14 + 19660588127754801823376944734796/624210060512\ 571096282098427139217*c_1001_9^13 - 182504644258418600767116581133651/624210060512571096282098427139217\ *c_1001_9^12 + 1637046102806738012831364415207701/62421006051257109\ 6282098427139217*c_1001_9^11 - 13675273974989533864422696899934459/\ 624210060512571096282098427139217*c_1001_9^10 + 29782555143072510086350208798754897/6242100605125710962820984271392\ 17*c_1001_9^9 - 50620941263347775322491326954664760/624210060512571\ 096282098427139217*c_1001_9^8 - 72031984090718971604434587270838095\ /624210060512571096282098427139217*c_1001_9^7 + 9806184698532462413312029569135576/62421006051257109628209842713921\ 7*c_1001_9^6 + 35765654333825757026716904915993369/6242100605125710\ 96282098427139217*c_1001_9^5 - 27825702647320270563169285254666488/\ 624210060512571096282098427139217*c_1001_9^4 - 23705586226206601338482306711083076/6242100605125710962820984271392\ 17*c_1001_9^3 + 2117654221776586329555347265857819/6242100605125710\ 96282098427139217*c_1001_9^2 + 2239843656061872204394212537414390/6\ 24210060512571096282098427139217*c_1001_9 + 37865610157453934173221121917611/624210060512571096282098427139217, c_0011_3 - 67625110435051191781397272921393/624210060512571096282098427\ 139217*c_1001_9^14 + 132562619097680686990361545145808/624210060512\ 571096282098427139217*c_1001_9^13 - 1145507163904754467150196413364409/62421006051257109628209842713921\ 7*c_1001_9^12 + 10236009925163962573529412760246376/624210060512571\ 096282098427139217*c_1001_9^11 - 8563244035706847202657504204202302\ 4/624210060512571096282098427139217*c_1001_9^10 + 198433642604317052755715540024446072/624210060512571096282098427139\ 217*c_1001_9^9 - 351212858349666763172755942651681292/6242100605125\ 71096282098427139217*c_1001_9^8 - 365123755568778073039461700033972\ 986/624210060512571096282098427139217*c_1001_9^7 + 104874651620556568132757371219228190/624210060512571096282098427139\ 217*c_1001_9^6 + 173095355772098995203689211296735918/6242100605125\ 71096282098427139217*c_1001_9^5 - 194314746727985263267460549493665\ 071/624210060512571096282098427139217*c_1001_9^4 - 94469300998407332969908869841433037/6242100605125710962820984271392\ 17*c_1001_9^3 + 22087032886408809851369606726107638/624210060512571\ 096282098427139217*c_1001_9^2 - 1451979504076944091785766703065514/\ 624210060512571096282098427139217*c_1001_9 + 132091429750550622867319732330194/624210060512571096282098427139217\ , c_0101_0 - 1, c_0101_1 + 100329704788587773223082597806225/62421006051257109628209842\ 7139217*c_1001_9^14 - 195284866522319344390221001920386/62421006051\ 2571096282098427139217*c_1001_9^13 + 1696975238246235126899397337711121/62421006051257109628209842713921\ 7*c_1001_9^12 - 15162808005182124829073468452448712/624210060512571\ 096282098427139217*c_1001_9^11 + 1268381504119894749495079510073956\ 71/624210060512571096282098427139217*c_1001_9^10 - 292666029991047163576653012124465412/624210060512571096282098427139\ 217*c_1001_9^9 + 517185850401233668878138026077605544/6242100605125\ 71096282098427139217*c_1001_9^8 + 548852544990258545898592423704993\ 134/624210060512571096282098427139217*c_1001_9^7 - 148487629854617003093526483832162786/624210060512571096282098427139\ 217*c_1001_9^6 - 255028930630653130556230234276470772/6242100605125\ 71096282098427139217*c_1001_9^5 + 284912411570034982355914143411345\ 997/624210060512571096282098427139217*c_1001_9^4 + 143421478297307487269407977667968465/624210060512571096282098427139\ 217*c_1001_9^3 - 31308084941594447316771966473332746/62421006051257\ 1096282098427139217*c_1001_9^2 + 2629405933734196312880413026328814\ /624210060512571096282098427139217*c_1001_9 - 216588567210465839259298345241124/624210060512571096282098427139217\ , c_0101_10 - 9704222949727834712742472792062/624210060512571096282098427\ 139217*c_1001_9^14 + 14911005628794105310352753403987/6242100605125\ 71096282098427139217*c_1001_9^13 - 154756676995710296232759849563859/624210060512571096282098427139217\ *c_1001_9^12 + 1396356113102309754021671121136237/62421006051257109\ 6282098427139217*c_1001_9^11 - 11639739454210658465212745733998287/\ 624210060512571096282098427139217*c_1001_9^10 + 23035155212439626002428114956323277/6242100605125710962820984271392\ 17*c_1001_9^9 - 36382793025713814060981847945596997/624210060512571\ 096282098427139217*c_1001_9^8 - 78095807057959801460383145111260329\ /624210060512571096282098427139217*c_1001_9^7 + 475932432264151696573473062309890/624210060512571096282098427139217\ *c_1001_9^6 + 40450301727362392872594580567391155/62421006051257109\ 6282098427139217*c_1001_9^5 - 18205115893240849119819826651661076/6\ 24210060512571096282098427139217*c_1001_9^4 - 29603096878048252053259598216979119/6242100605125710962820984271392\ 17*c_1001_9^3 + 1147864908426171316963739631539715/6242100605125710\ 96282098427139217*c_1001_9^2 + 3822072790036493138001288784211212/6\ 24210060512571096282098427139217*c_1001_9 + 39631909876890725397206991987695/624210060512571096282098427139217, c_0101_8 + 12424855577214085152858961995262/624210060512571096282098427\ 139217*c_1001_9^14 - 24427941264721896277884081191505/6242100605125\ 71096282098427139217*c_1001_9^13 + 211063309160405929116105997800324/624210060512571096282098427139217\ *c_1001_9^12 - 1882620949726961534954208238727313/62421006051257109\ 6282098427139217*c_1001_9^11 + 15751749003068757012902668689463847/\ 624210060512571096282098427139217*c_1001_9^10 - 36616022495498909184593165160737001/6242100605125710962820984271392\ 17*c_1001_9^9 + 65293801120188804852924715289462669/624210060512571\ 096282098427139217*c_1001_9^8 + 65575128812300798932494824741134679\ /624210060512571096282098427139217*c_1001_9^7 - 17689680566640537670305243773214352/6242100605125710962820984271392\ 17*c_1001_9^6 - 28535730961477437920065967239883949/624210060512571\ 096282098427139217*c_1001_9^5 + 36485650531018968006441887208419858\ /624210060512571096282098427139217*c_1001_9^4 + 16131659044329143142716038841071982/6242100605125710962820984271392\ 17*c_1001_9^3 - 2651862560443079707596193145748229/6242100605125710\ 96282098427139217*c_1001_9^2 + 889716334017559778703467752664800/62\ 4210060512571096282098427139217*c_1001_9 - 28969355703281073955175877568505/624210060512571096282098427139217, c_0110_10 + 9362594101897857058777531087090/624210060512571096282098427\ 139217*c_1001_9^14 - 19264251507896854578571159007113/6242100605125\ 71096282098427139217*c_1001_9^13 + 161228318319063926331358314775433/624210060512571096282098427139217\ *c_1001_9^12 - 1434164207555549280206440139340275/62421006051257109\ 6282098427139217*c_1001_9^11 + 12007812203829124543797676450115145/\ 624210060512571096282098427139217*c_1001_9^10 - 28753490555135087093843190852676035/6242100605125710962820984271392\ 17*c_1001_9^9 + 52359237862302949737857377298385607/624210060512571\ 096282098427139217*c_1001_9^8 + 43443779556625237443265797938233543\ /624210060512571096282098427139217*c_1001_9^7 - 15278679831889963931604459986642046/6242100605125710962820984271392\ 17*c_1001_9^6 - 17533130453311555990285999043702653/624210060512571\ 096282098427139217*c_1001_9^5 + 28541950447277294355830977621444364\ /624210060512571096282098427139217*c_1001_9^4 + 8274445071762525732693865004497426/62421006051257109628209842713921\ 7*c_1001_9^3 - 1902304686612823666033461408126725/62421006051257109\ 6282098427139217*c_1001_9^2 + 2527306089983872161383160369707356/62\ 4210060512571096282098427139217*c_1001_9 - 15621978624263445938426431701273/624210060512571096282098427139217, c_0110_4 - 102014623664412174363402382793235/62421006051257109628209842\ 7139217*c_1001_9^14 + 195681203142177291635026787648069/62421006051\ 2571096282098427139217*c_1001_9^13 - 1718251564185589801335155604069339/62421006051257109628209842713921\ 7*c_1001_9^12 + 15365689900433313561698392728316138/624210060512571\ 096282098427139217*c_1001_9^11 - 1285056121831498842701329714572149\ 85/624210060512571096282098427139217*c_1001_9^10 + 293695094578984586569160030070544274/624210060512571096282098427139\ 217*c_1001_9^9 - 515447553802278494462771975733884697/6242100605125\ 71096282098427139217*c_1001_9^8 - 577440749524352280059761213037597\ 686/624210060512571096282098427139217*c_1001_9^7 + 143015134721259501575234053414656316/624210060512571096282098427139\ 217*c_1001_9^6 + 273261454511167331592661140148761488/6242100605125\ 71096282098427139217*c_1001_9^5 - 284196163770077958563252451044568\ 121/624210060512571096282098427139217*c_1001_9^4 - 158852619451751562875196419374554115/624210060512571096282098427139\ 217*c_1001_9^3 + 31523434476758209980293852331063840/62421006051257\ 1096282098427139217*c_1001_9^2 + 2137743812311548052896959880792932\ /624210060512571096282098427139217*c_1001_9 + 238832198743656327494093035457462/624210060512571096282098427139217\ , c_1001_0 + 17388278343700237162412301771357/624210060512571096282098427\ 139217*c_1001_9^14 - 26757252613497040752401915737662/6242100605125\ 71096282098427139217*c_1001_9^13 + 281086062833967873695462162436765/624210060512571096282098427139217\ *c_1001_9^12 - 2509537957186080426889668286040623/62421006051257109\ 6282098427139217*c_1001_9^11 + 20924415835335580649191701007897293/\ 624210060512571096282098427139217*c_1001_9^10 - 41879568337863858073725758598007601/6242100605125710962820984271392\ 17*c_1001_9^9 + 69943125256984651104915154756691401/624210060512571\ 096282098427139217*c_1001_9^8 + 12937477437240783310468765798539938\ 0/624210060512571096282098427139217*c_1001_9^7 + 17026298577834024279828176069760901/6242100605125710962820984271392\ 17*c_1001_9^6 - 50462420125494260350641396014490280/624210060512571\ 096282098427139217*c_1001_9^5 + 29999222019283620362560467524284632\ /624210060512571096282098427139217*c_1001_9^4 + 42030385611975488101327468072572405/6242100605125710962820984271392\ 17*c_1001_9^3 + 6660219479125673993309042145167245/6242100605125710\ 96282098427139217*c_1001_9^2 - 689079476450605333168081549009623/62\ 4210060512571096282098427139217*c_1001_9 + 320866895496680131493985695771317/624210060512571096282098427139217\ , c_1001_9^15 - 2*c_1001_9^14 + 17*c_1001_9^13 - 152*c_1001_9^12 + 1272*c_1001_9^11 - 2982*c_1001_9^10 + 5288*c_1001_9^9 + 5248*c_1001_9^8 - 1868*c_1001_9^7 - 2560*c_1001_9^6 + 3003*c_1001_9^5 + 1329*c_1001_9^4 - 432*c_1001_9^3 + 14*c_1001_9^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.240 Total time: 0.440 seconds, Total memory usage: 32.09MB