Magma V2.19-8 Tue Aug 20 2013 18:13:25 on localhost [Seed = 2261204693] Type ? for help. Type -D to quit. Loading file "10^3_47__sl2_c5.magma" ==TRIANGULATION=BEGINS== % Triangulation 10^3_47 geometric_solution 13.95586699 oriented_manifold CS_known 0.0000000000000002 3 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 15 1 2 3 4 0132 0132 0132 0132 2 2 1 1 0 0 0 0 1 0 0 -1 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 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.619040866530 0.926812298229 0 5 6 6 0132 0132 0213 0132 2 2 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 0 0 0 0 -1 1 0 0 0 0 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.399807926555 0.744735383193 7 0 8 8 0132 0132 2103 0132 2 0 1 1 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 0 0 0 -1 0 1 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.498843212181 0.936959344260 9 10 11 0 0132 0132 0132 0132 2 2 1 2 0 0 0 0 0 0 0 0 0 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.409512457017 1.740572830248 7 7 0 8 3012 0213 0132 0213 2 2 0 1 0 0 0 0 -1 0 1 0 -1 1 0 0 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 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.498843212181 0.936959344260 12 1 13 13 0132 0132 0132 0321 2 2 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.788201621745 0.653799682262 14 1 1 9 0132 0213 0132 0213 2 2 2 1 0 0 0 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 -1 0 1 1 0 0 -1 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.656047056472 0.814041833624 2 14 4 4 0132 3120 0213 1230 2 0 1 1 0 -1 0 1 0 0 -1 1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 1 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.498843212181 0.936959344260 2 11 2 4 2103 0213 0132 0213 2 0 2 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 0 0 0 -1 0 0 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.557267533231 0.831568540208 3 13 12 6 0132 3012 1023 0213 2 2 2 1 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 -1 1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.463551348483 0.313699659920 12 3 11 13 3012 0132 0213 0132 2 2 2 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 -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.669794643549 0.968467840317 14 10 8 3 2310 0213 0213 0132 2 2 2 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 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.100495068564 0.433852849723 5 14 9 10 0132 1302 1023 1230 2 2 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 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 1.153323391849 0.475945275728 9 5 10 5 1230 0321 0132 0132 2 2 1 2 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.248412576671 0.623428834714 6 7 11 12 0132 3120 3201 2031 1 2 1 2 0 0 0 0 -1 0 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.240248781032 1.123473272424 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_14' : negation(d['c_0011_8']), 'c_1001_11' : d['c_1001_0'], 'c_1001_10' : d['c_1001_0'], 'c_1001_13' : d['c_1001_13'], 'c_1001_12' : d['c_0101_0'], 'c_1001_5' : d['c_1001_1'], 'c_1001_4' : d['c_0011_8'], 'c_1001_7' : d['c_0011_8'], 'c_1001_6' : d['c_1001_1'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_13'], 'c_1001_2' : d['c_0011_8'], 'c_1001_9' : negation(d['c_0011_13']), 'c_1001_8' : d['c_1001_0'], 'c_1010_13' : d['c_1001_1'], 'c_1010_12' : d['c_0011_11'], 'c_1010_11' : d['c_1001_13'], 'c_1010_10' : d['c_1001_13'], 'c_1010_14' : negation(d['c_0011_0']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : negation(d['1']), 's_0_13' : d['1'], 's_0_14' : negation(d['1']), 's_3_14' : negation(d['1']), 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_8'], 'c_0101_10' : d['c_0011_11'], 'c_0101_14' : d['c_0101_14'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : negation(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_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : negation(d['1']), 's_2_14' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_14' : d['c_0011_14'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : negation(d['c_0011_0']), 'c_1100_5' : d['c_1001_13'], 'c_1100_4' : d['c_1010_8'], 'c_1100_7' : d['c_0110_4'], 'c_1100_6' : negation(d['c_0101_13']), 'c_1100_1' : negation(d['c_0101_13']), 'c_1100_0' : d['c_1010_8'], 'c_1100_3' : d['c_1010_8'], 'c_1100_2' : d['c_0110_4'], 'c_1100_14' : negation(d['c_0011_11']), 's_3_11' : negation(d['1']), 'c_1100_11' : d['c_1010_8'], 'c_1100_10' : d['c_1001_13'], 'c_1100_13' : d['c_1001_13'], 's_0_11' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : negation(d['c_0011_14']), 'c_1010_6' : negation(d['c_0101_13']), 'c_1010_5' : d['c_1001_1'], 's_3_12' : d['1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_1'], 'c_1010_0' : d['c_0011_8'], 'c_1010_9' : negation(d['c_0101_13']), 'c_1010_8' : d['c_1010_8'], 'c_1100_8' : d['c_0110_4'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_13'], 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_14']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_14']), 'c_0110_10' : d['c_0101_13'], 'c_0110_13' : d['c_0011_10'], 'c_0110_12' : d['c_0011_10'], 'c_0110_14' : d['c_0101_0'], 'c_1010_4' : d['c_0110_4'], 'c_0101_12' : negation(d['c_0011_13']), 'c_0110_0' : negation(d['c_0011_14']), 's_0_8' : negation(d['1']), 'c_0101_7' : d['c_0011_4'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : negation(d['c_0011_14']), 'c_0101_3' : negation(d['c_0101_14']), 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : negation(d['c_0011_14']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0011_4'], 's_1_14' : d['1'], 's_1_13' : d['1'], 's_1_12' : negation(d['1']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_14']), 'c_0110_8' : negation(d['c_0110_4']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_13']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : negation(d['c_0011_13']), 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0011_4'], 'c_0110_6' : d['c_0101_14'], 'c_0101_13' : d['c_0101_13']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_13, c_0011_14, c_0011_4, c_0011_8, c_0101_0, c_0101_13, c_0101_14, c_0110_4, c_1001_0, c_1001_1, c_1001_13, c_1010_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t - 6511497736431376057089005266698030712063/44311069337969097639427039\ 127494526500864*c_1010_8^11 - 1543611133745968296279786765908425372\ 77/44311069337969097639427039127494526500864*c_1010_8^10 - 331994867845870235871204844565625079459287/221555346689845488197135\ 19563747263250432*c_1010_8^9 + 618025690307796687029076794088072304\ 147921/11077767334492274409856759781873631625216*c_1010_8^8 - 33475349838692044866618265859297925802434961/4431106933796909763942\ 7039127494526500864*c_1010_8^7 + 2170372846872443865560773671920042\ 001925899/2606533490468770449378061125146736852992*c_1010_8^6 - 218053763904322659902520119012518743039507449/443110693379690976394\ 27039127494526500864*c_1010_8^5 - 581772672959294616250162536480985\ 85209540813/5538883667246137204928379890936815812608*c_1010_8^4 - 430515457451376193413393881535092974775852895/443110693379690976394\ 27039127494526500864*c_1010_8^3 - 277538305349745245242610506477843\ 10133242009/44311069337969097639427039127494526500864*c_1010_8^2 + 25013501744799588852957661989377703211881/1018177144714363456788305\ 1270104440832*c_1010_8 + 283367511729491017908088521805587126706435\ 1/1384720916811534301232094972734203953152, c_0011_0 - 1, c_0011_10 + 335163715514004512040871151385/2447541213255681386510348863\ 0058752*c_1010_8^11 - 464537579116344801683621102041/24475412132556\ 813865103488630058752*c_1010_8^10 + 16816659485720140397172687094747/1223770606627840693255174431502937\ 6*c_1010_8^9 - 43626156659478222195138320819057/6118853033139203466\ 275872157514688*c_1010_8^8 + 1848276240575115333389997794292871/244\ 75412132556813865103488630058752*c_1010_8^7 - 237105661082216574125636360703625/143973012544451846265314639000345\ 6*c_1010_8^6 + 10819194576507449685191163352998851/2447541213255681\ 3865103488630058752*c_1010_8^5 + 3973846903958071780643768315192975\ /6118853033139203466275872157514688*c_1010_8^4 - 34173943770908485811394064211067015/2447541213255681386510348863005\ 8752*c_1010_8^3 - 36554003155712234788975267923594709/2447541213255\ 6813865103488630058752*c_1010_8^2 + 224261071631731126091093057994521/359932531361129615663286597500864\ *c_1010_8 + 106128805440398859629789200638043/956070786428000541605\ 60502461167, c_0011_11 + 53567608688382963231691884739/30594265165696017331379360787\ 57344*c_1010_8^11 - 140234504861865392864030251635/3059426516569601\ 733137936078757344*c_1010_8^10 + 2779766187364979780299904964417/15\ 29713258284800866568968039378672*c_1010_8^9 - 8697204051273465437079514633299/764856629142400433284484019689336*c\ _1010_8^8 + 339400500832918383637375270611293/305942651656960173313\ 7936078757344*c_1010_8^7 - 63049621146928627470264527974659/1799662\ 65680564807831643298750432*c_1010_8^6 + 3125599226365623587154024122154113/30594265165696017331379360787573\ 44*c_1010_8^5 - 409550765299674884990878065019127/76485662914240043\ 3284484019689336*c_1010_8^4 - 2792770058075387238977021828702653/30\ 59426516569601733137936078757344*c_1010_8^3 - 3516540232390773357241086175468551/30594265165696017331379360787573\ 44*c_1010_8^2 + 72370291349460981658176607427623/449915664201412019\ 57910824687608*c_1010_8 + 13213620995913661541232053197611/95607078\ 642800054160560502461167, c_0011_13 - 409634377696854837014691636735/2447541213255681386510348863\ 0058752*c_1010_8^11 + 1335768375198449270461626177727/2447541213255\ 6813865103488630058752*c_1010_8^10 - 20899242328097851089556856809901/1223770606627840693255174431502937\ 6*c_1010_8^9 + 72884135961206283094641825454247/6118853033139203466\ 275872157514688*c_1010_8^8 - 2621942066106646131244375627420513/244\ 75412132556813865103488630058752*c_1010_8^7 + 537664030795659863279239224320655/143973012544451846265314639000345\ 6*c_1010_8^6 - 21106644007286816491972144370760005/2447541213255681\ 3865103488630058752*c_1010_8^5 + 2430567813219768269955356048994119\ /6118853033139203466275872157514688*c_1010_8^4 + 78452635538074668965463151457532769/2447541213255681386510348863005\ 8752*c_1010_8^3 + 36792619174927617212280535742948195/2447541213255\ 6813865103488630058752*c_1010_8^2 - 506491237771186194741976455032607/359932531361129615663286597500864\ *c_1010_8 - 111860488414673573151908984270937/956070786428000541605\ 60502461167, c_0011_14 + 41274175865133528523253407171/30594265165696017331379360787\ 57344*c_1010_8^11 - 54084557513821055822977545587/30594265165696017\ 33137936078757344*c_1010_8^10 + 2110046704438939405225263212193/152\ 9713258284800866568968039378672*c_1010_8^9 - 5323531551742141390650540453507/764856629142400433284484019689336*c\ _1010_8^8 + 234414874317839790975462305045757/305942651656960173313\ 7936078757344*c_1010_8^7 - 30739454406360370329258217369507/1799662\ 65680564807831643298750432*c_1010_8^6 + 1767054941561066113777899577909057/30594265165696017331379360787573\ 44*c_1010_8^5 + 245968130729749189302086342004553/76485662914240043\ 3284484019689336*c_1010_8^4 - 560277022101762363142267280040957/305\ 9426516569601733137936078757344*c_1010_8^3 - 2847897530216427748566014834181191/30594265165696017331379360787573\ 44*c_1010_8^2 + 28100774323689504515719071514663/449915664201412019\ 57910824687608*c_1010_8 - 14735478908947394440503041622297/95607078\ 642800054160560502461167, c_0011_4 - 1, c_0011_8 + 17594103155549931893196108141/152971325828480086656896803937\ 8672*c_1010_8^11 - 16608584469742127617214096365/152971325828480086\ 6568968039378672*c_1010_8^10 + 898253517712393870507496941327/76485\ 6629142400433284484019689336*c_1010_8^9 - 2108319779691654513739311700961/382428314571200216642242009844668*c\ _1010_8^8 + 97185640069888271985920624095379/1529713258284800866568\ 968039378672*c_1010_8^7 - 11187966524157742574293092623901/89983132\ 840282403915821649375216*c_1010_8^6 + 705431815952076609520405086206703/152971325828480086656896803937867\ 2*c_1010_8^5 + 144477161803122475315074250112639/382428314571200216\ 642242009844668*c_1010_8^4 + 137099477241585589974662230899421/1529\ 713258284800866568968039378672*c_1010_8^3 - 1702295823211585837327579087162329/15297132582848008665689680393786\ 72*c_1010_8^2 - 19484237843962812103161277180447/224957832100706009\ 78955412343804*c_1010_8 + 29772737358026538783697145609505/95607078\ 642800054160560502461167, c_0101_0 - 1, c_0101_13 + 27368668723323705272117176831/61188530331392034662758721575\ 14688*c_1010_8^11 + 218921397520366712006682637889/6118853033139203\ 466275872157514688*c_1010_8^10 + 1264759302786890286599593063597/30\ 59426516569601733137936078757344*c_1010_8^9 + 2997080680055267740397489713593/1529713258284800866568968039378672*\ c_1010_8^8 + 30572881909705470168280014299361/611885303313920346627\ 5872157514688*c_1010_8^7 + 63562873120335868979769965992177/3599325\ 31361129615663286597500864*c_1010_8^6 - 1749344223838212123519906050681339/61188530331392034662758721575146\ 88*c_1010_8^5 + 2849237661330854798644032734690889/1529713258284800\ 866568968039378672*c_1010_8^4 + 7485202286577722700724836850871071/\ 6118853033139203466275872157514688*c_1010_8^3 - 1954466435089186142671047150524771/61188530331392034662758721575146\ 88*c_1010_8^2 - 109754678103849554150348397196001/89983132840282403\ 915821649375216*c_1010_8 - 10924024366684449132855958631136/9560707\ 8642800054160560502461167, c_0101_14 + 11840036354791798315028649515/76485662914240043328448401968\ 9336*c_1010_8^11 - 18737986522039464102881724611/764856629142400433\ 284484019689336*c_1010_8^10 + 605896593363272767358883135433/382428\ 314571200216642242009844668*c_1010_8^9 - 1607605886025243438455614376273/191214157285600108321121004922334*c\ _1010_8^8 + 68614617123975759494770840475189/7648566291424004332844\ 84019689336*c_1010_8^7 - 9775743941101313877482562372803/4499156642\ 0141201957910824687608*c_1010_8^6 + 530811562804494752128747245851177/764856629142400433284484019689336\ *c_1010_8^5 + 50745484463313356993506045945957/19121415728560010832\ 1121004922334*c_1010_8^4 - 348688249671673976558464755470189/764856\ 629142400433284484019689336*c_1010_8^3 - 572800853502420955619217873509431/764856629142400433284484019689336\ *c_1010_8^2 + 12544614478790857819962468175653/11247891605035300489\ 477706171902*c_1010_8 + 36363383466878726495857273607068/9560707864\ 2800054160560502461167, c_0110_4 - 10454783250954997/418318658045962348256*c_1010_8^11 + 11936858380893733/418318658045962348256*c_1010_8^10 - 534147268840621703/209159329022981174128*c_1010_8^9 + 1304437794181635421/104579664511490587064*c_1010_8^8 - 58628389258558668235/418318658045962348256*c_1010_8^7 + 123462902992440504197/418318658045962348256*c_1010_8^6 - 434520203649763392487/418318658045962348256*c_1010_8^5 - 73140518997457978319/104579664511490587064*c_1010_8^4 + 39115759994384102635/418318658045962348256*c_1010_8^3 + 854909528845772518001/418318658045962348256*c_1010_8^2 + 25261191221252772623/104579664511490587064*c_1010_8 - 2056060422121921992/13072458063936323383, c_1001_0 + 41274175865133528523253407171/305942651656960173313793607875\ 7344*c_1010_8^11 - 54084557513821055822977545587/305942651656960173\ 3137936078757344*c_1010_8^10 + 2110046704438939405225263212193/1529\ 713258284800866568968039378672*c_1010_8^9 - 5323531551742141390650540453507/764856629142400433284484019689336*c\ _1010_8^8 + 234414874317839790975462305045757/305942651656960173313\ 7936078757344*c_1010_8^7 - 30739454406360370329258217369507/1799662\ 65680564807831643298750432*c_1010_8^6 + 1767054941561066113777899577909057/30594265165696017331379360787573\ 44*c_1010_8^5 + 245968130729749189302086342004553/76485662914240043\ 3284484019689336*c_1010_8^4 - 560277022101762363142267280040957/305\ 9426516569601733137936078757344*c_1010_8^3 - 2847897530216427748566014834181191/30594265165696017331379360787573\ 44*c_1010_8^2 + 28100774323689504515719071514663/449915664201412019\ 57910824687608*c_1010_8 - 14735478908947394440503041622297/95607078\ 642800054160560502461167, c_1001_1 - 156302243260086147335090107641/12237706066278406932551744315\ 029376*c_1010_8^11 + 615029562704634655703891040025/122377060662784\ 06932551744315029376*c_1010_8^10 - 8115067030511621958046952833259/6118853033139203466275872157514688*\ c_1010_8^9 + 30570409256561300474004549374881/305942651656960173313\ 7936078757344*c_1010_8^8 - 1069322814017007312055624341428135/12237\ 706066278406932551744315029376*c_1010_8^7 + 245121175722247424908452254650761/719865062722259231326573195001728\ *c_1010_8^6 - 10224895075239769798148392126664259/12237706066278406\ 932551744315029376*c_1010_8^5 + 2574678576757503009299213585991033/\ 3059426516569601733137936078757344*c_1010_8^4 + 26543835505184069914853454989021479/1223770606627840693255174431502\ 9376*c_1010_8^3 + 7900341105064840653827401021972629/12237706066278\ 406932551744315029376*c_1010_8^2 - 206785046779390172562333093719185/179966265680564807831643298750432\ *c_1010_8 - 69842415086966723524508301736408/9560707864280005416056\ 0502461167, c_1001_13 - 384169775726544834638702424/9560707864280005416056050246116\ 7*c_1010_8^11 + 2692185854626385532532897064/9560707864280005416056\ 0502461167*c_1010_8^10 - 41857467682877523442165109514/956070786428\ 00054160560502461167*c_1010_8^9 + 421709062441415505803621772474/95\ 607078642800054160560502461167*c_1010_8^8 - 3280800828596206020684780173923/95607078642800054160560502461167*c_\ 1010_8^7 + 1009692710642758035656447206411/562394580251765024473885\ 3085951*c_1010_8^6 - 42454508900142421043003892007658/9560707864280\ 0054160560502461167*c_1010_8^5 + 81939862003678009286620550877960/9\ 5607078642800054160560502461167*c_1010_8^4 + 69765407374175777369836079645678/95607078642800054160560502461167*c\ _1010_8^3 + 20895084442948300271095979415230/9560707864280005416056\ 0502461167*c_1010_8^2 - 5533689628221434642807191989120/56239458025\ 17650244738853085951*c_1010_8 - 27949099904861055981735094819908/95\ 607078642800054160560502461167, c_1010_8^12 - c_1010_8^11 + 102*c_1010_8^10 - 484*c_1010_8^9 + 5535*c_1010_8^8 - 10945*c_1010_8^7 + 39547*c_1010_8^6 + 37084*c_1010_8^5 - 5279*c_1010_8^4 - 58717*c_1010_8^3 - 12924*c_1010_8^2 + 8448*c_1010_8 + 16384 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.280 Total time: 0.500 seconds, Total memory usage: 32.09MB