Magma V2.19-8 Tue Aug 20 2013 16:17:45 on localhost [Seed = 4189611288] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1986 geometric_solution 5.55193476 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 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 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.445412807427 0.597481027144 3 4 2 0 0132 0132 2031 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -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.549060949994 0.595121058156 4 3 0 1 2310 3201 0132 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.549060949994 0.595121058156 1 5 2 5 0132 0132 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.353592015210 1.229748154315 4 1 2 4 3012 0132 3201 1230 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 -1 0 1 -1 0 0 1 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.162553441259 0.907699012637 6 3 6 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.686176272346 0.292561788539 5 6 5 6 0132 2310 1023 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.767875836979 0.113844463623 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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_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_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_0_6' : 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_1100_6' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0101_0, c_0101_1, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 1309649274234935047532325513765328095886564719181435156906/46298079\ 468855365609999980423256499109758403700725503859*c_0101_6^24 + 8640049203407208383872692455491472998783913538780907827522/46298079\ 468855365609999980423256499109758403700725503859*c_0101_6^23 + 38373380740995924871441401236129960866687409497409725341220/4629807\ 9468855365609999980423256499109758403700725503859*c_0101_6^22 - 294705233111971195696085012126080222937417075369962724852211/462980\ 79468855365609999980423256499109758403700725503859*c_0101_6^21 - 334006734397671297068919694632905512408219141580812995650558/462980\ 79468855365609999980423256499109758403700725503859*c_0101_6^20 + 3390150611088019939034416913166096537326099320398215718065718/46298\ 079468855365609999980423256499109758403700725503859*c_0101_6^19 + 361917094041916756166191480718691536919010595400309238112080/462980\ 79468855365609999980423256499109758403700725503859*c_0101_6^18 - 15206606091321756990559028664198972720329720829167435076003105/4629\ 8079468855365609999980423256499109758403700725503859*c_0101_6^17 + 9600928157559849576334722299801022901962673088221623159203188/46298\ 079468855365609999980423256499109758403700725503859*c_0101_6^16 + 17336716691948441523960603111915296538760980443093832300426812/4629\ 8079468855365609999980423256499109758403700725503859*c_0101_6^15 - 43810341295226860065592027022555847276732512616379599882997987/4629\ 8079468855365609999980423256499109758403700725503859*c_0101_6^14 + 49592001556684927587038042164070579409017285365356163224661359/4629\ 8079468855365609999980423256499109758403700725503859*c_0101_6^13 + 48826732306958165189784241889836345398670990997880906309940526/4629\ 8079468855365609999980423256499109758403700725503859*c_0101_6^12 - 110031213943229328405447725766714191597820714274440361205789522/462\ 98079468855365609999980423256499109758403700725503859*c_0101_6^11 + 10411769534003543644497303443132168290805876535688175418980928/4629\ 8079468855365609999980423256499109758403700725503859*c_0101_6^10 + 15351066966198173603339639315453308846479223141470470338144792/4629\ 8079468855365609999980423256499109758403700725503859*c_0101_6^9 + 3378970502277610696358410442348344203782056853562365294606751/46298\ 079468855365609999980423256499109758403700725503859*c_0101_6^8 + 19493084091385719617409883344931415033576561312941639887153999/4629\ 8079468855365609999980423256499109758403700725503859*c_0101_6^7 - 5481485659323079720723225047417476963732428397829379117631876/46298\ 079468855365609999980423256499109758403700725503859*c_0101_6^6 - 261811509857549208100642062713597974036496468850081920921707/462980\ 79468855365609999980423256499109758403700725503859*c_0101_6^5 + 1178346422578996427064534015907176616449422335733727367430706/46298\ 079468855365609999980423256499109758403700725503859*c_0101_6^4 - 807521543974917593419091958227372414451610680233366161754407/462980\ 79468855365609999980423256499109758403700725503859*c_0101_6^3 + 131897900609053185337874758327322110077040413125637073912876/462980\ 79468855365609999980423256499109758403700725503859*c_0101_6^2 + 30442496722453193408846508865178927746833667001758059901228/4629807\ 9468855365609999980423256499109758403700725503859*c_0101_6 - 8213041977533173059087439086615866519059747919657662147128/46298079\ 468855365609999980423256499109758403700725503859, c_0011_0 - 1, c_0011_1 + 894749587518237245296674353916654064813729869279938557/46298\ 079468855365609999980423256499109758403700725503859*c_0101_6^24 - 8299193276957113165818091958540673698852259235351814965/46298079468\ 855365609999980423256499109758403700725503859*c_0101_6^23 - 11927435524429866581291700324224050707606527614980647713/4629807946\ 8855365609999980423256499109758403700725503859*c_0101_6^22 + 280749632252112673330240637895989412436911311343913664031/462980794\ 68855365609999980423256499109758403700725503859*c_0101_6^21 - 261278335147572121126023959100625138060452269446530578950/462980794\ 68855365609999980423256499109758403700725503859*c_0101_6^20 - 3243264398092779502017804398250362293489211927630781769635/46298079\ 468855365609999980423256499109758403700725503859*c_0101_6^19 + 5389345750989512258814112354629343673572588533253231013014/46298079\ 468855365609999980423256499109758403700725503859*c_0101_6^18 + 14717271395783349093638646654548190687079763344614239499251/4629807\ 9468855365609999980423256499109758403700725503859*c_0101_6^17 - 31902242963741180573633248400938180402369391984093899805663/4629807\ 9468855365609999980423256499109758403700725503859*c_0101_6^16 - 11048084978015362173960762054991490825114612583139776477631/4629807\ 9468855365609999980423256499109758403700725503859*c_0101_6^15 + 63508576400583864175060078683076920060173197905705232671684/4629807\ 9468855365609999980423256499109758403700725503859*c_0101_6^14 - 90745632758609598638147191173432244991943853186868049518334/4629807\ 9468855365609999980423256499109758403700725503859*c_0101_6^13 + 18145550754592679912361338628241293571099366049431413798527/4629807\ 9468855365609999980423256499109758403700725503859*c_0101_6^12 + 198111964222720015106016920701895658955318313963733957833736/462980\ 79468855365609999980423256499109758403700725503859*c_0101_6^11 - 127514847259428966569627031886505566479947212227115809503533/462980\ 79468855365609999980423256499109758403700725503859*c_0101_6^10 - 81614772251300961529311856727834745933097436853263891237018/4629807\ 9468855365609999980423256499109758403700725503859*c_0101_6^9 - 18671283057170242804571669876198569674819453420443936432229/4629807\ 9468855365609999980423256499109758403700725503859*c_0101_6^8 + 690504275138862004154884045427939133204519962733880918960/462980794\ 68855365609999980423256499109758403700725503859*c_0101_6^7 + 47496157928094777029682231497769410672453526945730616536022/4629807\ 9468855365609999980423256499109758403700725503859*c_0101_6^6 + 16880894923920624318969162778802613403413793002938942661161/4629807\ 9468855365609999980423256499109758403700725503859*c_0101_6^5 + 5678136722595482809467558794035213427825651159912629927366/46298079\ 468855365609999980423256499109758403700725503859*c_0101_6^4 + 3215443407376630692994776001044289021341557824573534853200/46298079\ 468855365609999980423256499109758403700725503859*c_0101_6^3 + 143697283611680755223626329839074601491019276305261531670/462980794\ 68855365609999980423256499109758403700725503859*c_0101_6^2 - 46867987211071317491644178308146156043574713431487554173/4629807946\ 8855365609999980423256499109758403700725503859*c_0101_6 - 50009738809585238237679995069808504293491752376233077098/4629807946\ 8855365609999980423256499109758403700725503859, c_0101_0 + 10632092058204381744730372990960623045626836280276787800/462\ 98079468855365609999980423256499109758403700725503859*c_0101_6^24 - 62971960783252717975025059343814126757540286217363806170/4629807946\ 8855365609999980423256499109758403700725503859*c_0101_6^23 - 355450195144288322973383511759838820968887624841510227148/462980794\ 68855365609999980423256499109758403700725503859*c_0101_6^22 + 2161111498909533814699950998307510966490928476312400548501/46298079\ 468855365609999980423256499109758403700725503859*c_0101_6^21 + 4219759193639329166858164682435333302129932910427826325674/46298079\ 468855365609999980423256499109758403700725503859*c_0101_6^20 - 24964558401840597743551893567658980007205850049583680535395/4629807\ 9468855365609999980423256499109758403700725503859*c_0101_6^19 - 20421942144806573751757957752577506498565133678860097026510/4629807\ 9468855365609999980423256499109758403700725503859*c_0101_6^18 + 113051396932455878051759626609955838755561640585833799965282/462980\ 79468855365609999980423256499109758403700725503859*c_0101_6^17 + 1888441621572246164057913900192067331043324995428243961336/46298079\ 468855365609999980423256499109758403700725503859*c_0101_6^16 - 155198454861428580412833502342323956337286917801794657077244/462980\ 79468855365609999980423256499109758403700725503859*c_0101_6^15 + 247286380422663740204795801065940506500965967238758116321627/462980\ 79468855365609999980423256499109758403700725503859*c_0101_6^14 - 210981997347690207101443128330883364266516310237445607125785/462980\ 79468855365609999980423256499109758403700725503859*c_0101_6^13 - 569522747014675723977801380849635408983543529599261166834604/462980\ 79468855365609999980423256499109758403700725503859*c_0101_6^12 + 526687710783360210951625668461901870071371276268125480571570/462980\ 79468855365609999980423256499109758403700725503859*c_0101_6^11 + 363848261520748339334440581959933707995966643022914805205791/462980\ 79468855365609999980423256499109758403700725503859*c_0101_6^10 + 54804037264266830975748619585054268482241062787991167126846/4629807\ 9468855365609999980423256499109758403700725503859*c_0101_6^9 - 69458257877434553720903978291597399147806442179284581903566/4629807\ 9468855365609999980423256499109758403700725503859*c_0101_6^8 - 200431287874373649457803872671463264761953102680807367466281/462980\ 79468855365609999980423256499109758403700725503859*c_0101_6^7 - 78585804379669396571909148784650237083115920400317372939082/4629807\ 9468855365609999980423256499109758403700725503859*c_0101_6^6 - 23173758912742135467631137548567427976417882167437571556143/4629807\ 9468855365609999980423256499109758403700725503859*c_0101_6^5 - 10876673627509510968168546732986569710469777716912114220442/4629807\ 9468855365609999980423256499109758403700725503859*c_0101_6^4 - 546829206803523895297529536033712582652586494881284970311/462980794\ 68855365609999980423256499109758403700725503859*c_0101_6^3 + 368419216777713480040344031937811087519482863695240742185/462980794\ 68855365609999980423256499109758403700725503859*c_0101_6^2 + 303282221507381883474987384205855048260181384194394239929/462980794\ 68855365609999980423256499109758403700725503859*c_0101_6 - 9674173083535180786898127796506342928192951566965960971/46298079468\ 855365609999980423256499109758403700725503859, c_0101_1 - 9011552084737619378930608465423229670151078828714860287/4629\ 8079468855365609999980423256499109758403700725503859*c_0101_6^24 + 54229650890603621657544795357170560684340923687315934299/4629807946\ 8855365609999980423256499109758403700725503859*c_0101_6^23 + 295664458040088153033870583966303714899682995447715221085/462980794\ 68855365609999980423256499109758403700725503859*c_0101_6^22 - 1857136368073042899676806666267065989866067893121045759553/46298079\ 468855365609999980423256499109758403700725503859*c_0101_6^21 - 3384560654720831304575467769785581399831402785548559684311/46298079\ 468855365609999980423256499109758403700725503859*c_0101_6^20 + 21389411369703160803026232439330423086154797689555173093684/4629807\ 9468855365609999980423256499109758403700725503859*c_0101_6^19 + 15084344799050301567680599192347303210502375181666553103820/4629807\ 9468855365609999980423256499109758403700725503859*c_0101_6^18 - 96192193942894702728624977187045023240064173462178457902791/4629807\ 9468855365609999980423256499109758403700725503859*c_0101_6^17 + 8552642437952436764183067858060213143864187309309035041081/46298079\ 468855365609999980423256499109758403700725503859*c_0101_6^16 + 125893322800461809814521011502274359785494218549841376979880/462980\ 79468855365609999980423256499109758403700725503859*c_0101_6^15 - 222279022008443395584867471662398335306221903676073153963309/462980\ 79468855365609999980423256499109758403700725503859*c_0101_6^14 + 206897440772021177379607300180711275799456792688194645921766/462980\ 79468855365609999980423256499109758403700725503859*c_0101_6^13 + 453278310093747614941232364461303213857217289699291136914345/462980\ 79468855365609999980423256499109758403700725503859*c_0101_6^12 - 481936084877422111510048250478713710500069336552703823498815/462980\ 79468855365609999980423256499109758403700725503859*c_0101_6^11 - 236360380460502605597770425444455408910605709639746567706861/462980\ 79468855365609999980423256499109758403700725503859*c_0101_6^10 - 44302904083418606543970527384986125220510453427638220689488/4629807\ 9468855365609999980423256499109758403700725503859*c_0101_6^9 + 43086685807206186719115471101440198554510963829747514025072/4629807\ 9468855365609999980423256499109758403700725503859*c_0101_6^8 + 162425191599647009695162907615701293629611315023583691924300/462980\ 79468855365609999980423256499109758403700725503859*c_0101_6^7 + 54696873141957813922128391044845355556551071679482574553980/4629807\ 9468855365609999980423256499109758403700725503859*c_0101_6^6 + 23895556389317446540487376267143422761256927506537356995763/4629807\ 9468855365609999980423256499109758403700725503859*c_0101_6^5 + 11499027192696860697803819167308736622732714496404431980147/4629807\ 9468855365609999980423256499109758403700725503859*c_0101_6^4 + 384799461987495804213324351273432005670395673369630411919/462980794\ 68855365609999980423256499109758403700725503859*c_0101_6^3 + 17733113765099890876585686989639266031367858869764932327/4629807946\ 8855365609999980423256499109758403700725503859*c_0101_6^2 - 204673330872224099621667440411123363541963893771176309111/462980794\ 68855365609999980423256499109758403700725503859*c_0101_6 - 4930995456016775982428484325500225350237774434974320373/46298079468\ 855365609999980423256499109758403700725503859, c_0101_4 - 206714403875652583996419737749097969849632306682851217/46298\ 079468855365609999980423256499109758403700725503859*c_0101_6^24 - 1437708007382829852474290227675200048070930974360446246/46298079468\ 855365609999980423256499109758403700725503859*c_0101_6^23 + 22930373958355165215525066233860218116599268113650162009/4629807946\ 8855365609999980423256499109758403700725503859*c_0101_6^22 + 45390322593349394086666083377578549103216360768998623653/4629807946\ 8855365609999980423256499109758403700725503859*c_0101_6^21 - 631070036030795318623859923445807158531124328039591039001/462980794\ 68855365609999980423256499109758403700725503859*c_0101_6^20 - 516501989288148618828571727257509356975125908956705285067/462980794\ 68855365609999980423256499109758403700725503859*c_0101_6^19 + 6729967687714022004860086804507554758238041116687572881693/46298079\ 468855365609999980423256499109758403700725503859*c_0101_6^18 + 2278214089865319467048109307281643489288787335660656798826/46298079\ 468855365609999980423256499109758403700725503859*c_0101_6^17 - 28615879875096596883695974715635470033558779461286346958120/4629807\ 9468855365609999980423256499109758403700725503859*c_0101_6^16 + 5489363384596555609555999721631575595586837527482567414965/46298079\ 468855365609999980423256499109758403700725503859*c_0101_6^15 + 33092356559573800348388592131516238134856940198293659142664/4629807\ 9468855365609999980423256499109758403700725503859*c_0101_6^14 - 61880781406241564011802066272658235851702086176017704079019/4629807\ 9468855365609999980423256499109758403700725503859*c_0101_6^13 + 71455036640148008885154576006348930020368529220046075398236/4629807\ 9468855365609999980423256499109758403700725503859*c_0101_6^12 + 125568341106931925893036619430052933365582412776053800833795/462980\ 79468855365609999980423256499109758403700725503859*c_0101_6^11 - 151724198535444414463697980271696627939344155278216631247172/462980\ 79468855365609999980423256499109758403700725503859*c_0101_6^10 - 73276813265219892509950591764956956375064813430474364408207/4629807\ 9468855365609999980423256499109758403700725503859*c_0101_6^9 - 7526584742528264704690893662108053667961266999227521808609/46298079\ 468855365609999980423256499109758403700725503859*c_0101_6^8 + 16521948740096280596837277326081336954524273292120868576491/4629807\ 9468855365609999980423256499109758403700725503859*c_0101_6^7 + 50226702966168058547700389859640977812449974186815968923784/4629807\ 9468855365609999980423256499109758403700725503859*c_0101_6^6 + 16298568180337265581744064430380729475062468086799198241658/4629807\ 9468855365609999980423256499109758403700725503859*c_0101_6^5 + 6292998876556600832736788444841514596426225037025336628338/46298079\ 468855365609999980423256499109758403700725503859*c_0101_6^4 + 3161275045391761675128632816313472332688697972007239403342/46298079\ 468855365609999980423256499109758403700725503859*c_0101_6^3 - 148890452517071550257817576673691026635634391817054600415/462980794\ 68855365609999980423256499109758403700725503859*c_0101_6^2 - 46635167355121984689913779393502753124009732583571834349/4629807946\ 8855365609999980423256499109758403700725503859*c_0101_6 - 58816954694725761175629563847038415881779985802588724807/4629807946\ 8855365609999980423256499109758403700725503859, c_0101_5 + 12004401707254648523211657719537321424537292801706375613/462\ 98079468855365609999980423256499109758403700725503859*c_0101_6^24 - 72152555137727478530584910062850913928212977154987511674/4629807946\ 8855365609999980423256499109758403700725503859*c_0101_6^23 - 394720300243768286708198041493845421914993769916658422776/462980794\ 68855365609999980423256499109758403700725503859*c_0101_6^22 + 2473065548508873837075177175135048632045392988423219768860/46298079\ 468855365609999980423256499109758403700725503859*c_0101_6^21 + 4537658898012408114839004427278817024668137306465546319800/46298079\ 468855365609999980423256499109758403700725503859*c_0101_6^20 - 28529436471872906416802438359025973965427710271941665028825/4629807\ 9468855365609999980423256499109758403700725503859*c_0101_6^19 - 20428008540572274939759500004284191227347361809602918073050/4629807\ 9468855365609999980423256499109758403700725503859*c_0101_6^18 + 128789165835114399312654345733071501497318655187739200643049/462980\ 79468855365609999980423256499109758403700725503859*c_0101_6^17 - 9892257639004258057160087514336774077271472547365562659058/46298079\ 468855365609999980423256499109758403700725503859*c_0101_6^16 - 171368035756844570733983974866464632834797500821389713294175/462980\ 79468855365609999980423256499109758403700725503859*c_0101_6^15 + 295155823163715264066967656678004111725204862463133837832041/462980\ 79468855365609999980423256499109758403700725503859*c_0101_6^14 - 268791559375922989831607640371668930295188846247080425945630/462980\ 79468855365609999980423256499109758403700725503859*c_0101_6^13 - 613985506332755474457342128088337390166841057941405097408744/462980\ 79468855365609999980423256499109758403700725503859*c_0101_6^12 + 645360937182666419587695391394967658248738613871385786809559/462980\ 79468855365609999980423256499109758403700725503859*c_0101_6^11 + 336374799937303702641072409788595528292309915028742273598969/462980\ 79468855365609999980423256499109758403700725503859*c_0101_6^10 + 43572643478088146215968830175592178584403017902048958512155/4629807\ 9468855365609999980423256499109758403700725503859*c_0101_6^9 - 65965486358551763375524170115316068974158352067575114175162/4629807\ 9468855365609999980423256499109758403700725503859*c_0101_6^8 - 219185769547261884686963742662640835223640665971552271451481/462980\ 79468855365609999980423256499109758403700725503859*c_0101_6^7 - 72857466649206462134091236803292815154180973309333870003951/4629807\ 9468855365609999980423256499109758403700725503859*c_0101_6^6 - 25738139575666308204927458578775101704500396766071494009286/4629807\ 9468855365609999980423256499109758403700725503859*c_0101_6^5 - 13141406499523846810051099571309783822140113787427577017653/4629807\ 9468855365609999980423256499109758403700725503859*c_0101_6^4 + 201221417344861773495180912462384483858968304974334654706/462980794\ 68855365609999980423256499109758403700725503859*c_0101_6^3 + 295109639130152802025312013497759787173418346084083751558/462980794\ 68855365609999980423256499109758403700725503859*c_0101_6^2 + 248007280290553281957094803676084859802059809500599706020/462980794\ 68855365609999980423256499109758403700725503859*c_0101_6 - 2544400298271886438796493446469639106054698930512026819/46298079468\ 855365609999980423256499109758403700725503859, c_0101_6^25 - 6*c_0101_6^24 - 33*c_0101_6^23 + 206*c_0101_6^22 + 382*c_0101_6^21 - 2384*c_0101_6^20 - 1748*c_0101_6^19 + 10842*c_0101_6^18 - 613*c_0101_6^17 - 14877*c_0101_6^16 + 24465*c_0101_6^15 - 21340*c_0101_6^14 - 52719*c_0101_6^13 + 54427*c_0101_6^12 + 31453*c_0101_6^11 + 1039*c_0101_6^10 - 7111*c_0101_6^9 - 18593*c_0101_6^8 - 5925*c_0101_6^7 - 1191*c_0101_6^6 - 759*c_0101_6^5 + 142*c_0101_6^4 + 88*c_0101_6^3 + 25*c_0101_6^2 - c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB