Magma V2.19-8 Tue Aug 20 2013 16:16:26 on localhost [Seed = 694728134] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0713 geometric_solution 4.66694607 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 0 0 0 0 0 -1 0 1 0 0 -1 1 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 1 -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.722522414227 0.053975676758 0 2 0 2 0132 0132 1023 1023 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 0 0 0 0 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.492566942593 0.180214829604 3 1 3 1 0132 0132 2310 1023 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 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.379353364333 3.464245043209 2 2 5 4 0132 3201 0132 0132 0 0 0 0 0 -1 0 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 0 0 0 0 0 0 0 0 0 0 0 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.274369421611 0.499803336813 6 5 3 5 0132 3012 0132 1302 0 0 0 0 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 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.768309172463 0.811242246484 4 6 4 3 1230 2310 2031 0132 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 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.768309172463 0.811242246484 4 6 6 5 0132 3201 2310 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.987866613384 0.512233593262 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : negation(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' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0101_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0011_4'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 33238105264832288035097374802943679359132582497536284405/1163421923\ 72277633939297815019871950302115958625576911*c_0101_6^27 + 610593626944490139758695045695737419980140261314122330665/116342192\ 372277633939297815019871950302115958625576911*c_0101_6^26 - 625555842356849756976226391567425731957138024615358511071/116342192\ 372277633939297815019871950302115958625576911*c_0101_6^25 - 24951570014002215283218981516703751426614904335620116345896/1163421\ 92372277633939297815019871950302115958625576911*c_0101_6^24 - 26307730402319536545189228509914484870367544628739881111181/1163421\ 92372277633939297815019871950302115958625576911*c_0101_6^23 + 483504910337470282733202562400911088141651368674210666155402/116342\ 192372277633939297815019871950302115958625576911*c_0101_6^22 + 1278036687124180862003447296096920413261538914559950558324046/11634\ 2192372277633939297815019871950302115958625576911*c_0101_6^21 - 1677925985056669541015193881005049520204712203416199364479822/11634\ 2192372277633939297815019871950302115958625576911*c_0101_6^20 - 7901263384314580232043197384878662880667239418208751612109602/11634\ 2192372277633939297815019871950302115958625576911*c_0101_6^19 - 293466933382054659698736983670457196117931262778713282044167/116342\ 192372277633939297815019871950302115958625576911*c_0101_6^18 + 20741079110292274600003759142085144516995090629015646011814608/1163\ 42192372277633939297815019871950302115958625576911*c_0101_6^17 + 11695100224558343409619716767111768116174982107647757447457814/1163\ 42192372277633939297815019871950302115958625576911*c_0101_6^16 - 27739281432816802448847506589352020793669035907255501595206264/1163\ 42192372277633939297815019871950302115958625576911*c_0101_6^15 - 25995611286160700029540747330151513238198052182809463061891917/1163\ 42192372277633939297815019871950302115958625576911*c_0101_6^14 + 18442712467244920579563654866786228105362497817273051518540727/1163\ 42192372277633939297815019871950302115958625576911*c_0101_6^13 + 26872407637363691744513870034904671913985373673455815540113565/1163\ 42192372277633939297815019871950302115958625576911*c_0101_6^12 - 3620661949279468192231805186972332773727122518747944773057203/11634\ 2192372277633939297815019871950302115958625576911*c_0101_6^11 - 14625708360114026359897615593914352536564438565945796746591648/1163\ 42192372277633939297815019871950302115958625576911*c_0101_6^10 - 2437758512212563857581708021009506423996800975404445727193993/11634\ 2192372277633939297815019871950302115958625576911*c_0101_6^9 + 3969086323232485342040805889595935758650089882629465600391836/11634\ 2192372277633939297815019871950302115958625576911*c_0101_6^8 + 1546526118773888533849417245822676700546868584651497584796802/11634\ 2192372277633939297815019871950302115958625576911*c_0101_6^7 - 13347803843562827685911191630762333222828272004397835058094/4011799\ 736975090825493028104133515527659170987088859*c_0101_6^6 - 300136582180424054909438856879790321050352010778010535051546/116342\ 192372277633939297815019871950302115958625576911*c_0101_6^5 - 18916996604508835356013433779926612337735401265792565902900/1163421\ 92372277633939297815019871950302115958625576911*c_0101_6^4 + 18349550713181467140514532916201914083886206535493465327997/1163421\ 92372277633939297815019871950302115958625576911*c_0101_6^3 + 3377258508395116197909721676327867168354864706672909224395/11634219\ 2372277633939297815019871950302115958625576911*c_0101_6^2 - 250452582057213046551077965547522999025035662267058718572/116342192\ 372277633939297815019871950302115958625576911*c_0101_6 - 91582044529662301031021014231676436995033880193028858880/1163421923\ 72277633939297815019871950302115958625576911, c_0011_0 - 1, c_0011_4 + 22815144953962307023778889869090024266779849351952/401179973\ 6975090825493028104133515527659170987088859*c_0101_6^27 - 3045054234601423090564641686597863125906722485195077/40117997369750\ 90825493028104133515527659170987088859*c_0101_6^26 + 50432358010050931438634315999484029056670588840571753/4011799736975\ 090825493028104133515527659170987088859*c_0101_6^25 - 66044344948591262499888371705499678686144415822934855/4011799736975\ 090825493028104133515527659170987088859*c_0101_6^24 - 1894083691608962910974621265451613557339741622839394688/40117997369\ 75090825493028104133515527659170987088859*c_0101_6^23 - 1133916864999584534932480820982451923054870381288168577/40117997369\ 75090825493028104133515527659170987088859*c_0101_6^22 + 37748056176737880942442988233882971519068409893397994323/4011799736\ 975090825493028104133515527659170987088859*c_0101_6^21 + 76221731979002278149227827057725708785317495497164555923/4011799736\ 975090825493028104133515527659170987088859*c_0101_6^20 - 175205822867086003746986331658692365093298858715310430497/401179973\ 6975090825493028104133515527659170987088859*c_0101_6^19 - 500027137436219686428859408774005079277337694129290327203/401179973\ 6975090825493028104133515527659170987088859*c_0101_6^18 + 285337012525135214655043090066032590630835229821826174369/401179973\ 6975090825493028104133515527659170987088859*c_0101_6^17 + 1409976082825187604223932286239938270263788215179223761483/40117997\ 36975090825493028104133515527659170987088859*c_0101_6^16 + 24476873661896184280174968056768539987221798303622443910/4011799736\ 975090825493028104133515527659170987088859*c_0101_6^15 - 2120780630887619872585737332413065349551285302084382865762/40117997\ 36975090825493028104133515527659170987088859*c_0101_6^14 - 675839325219896220619512556591561786367985248319713569076/401179973\ 6975090825493028104133515527659170987088859*c_0101_6^13 + 1796664577663313861454654317653032130526387479720801270868/40117997\ 36975090825493028104133515527659170987088859*c_0101_6^12 + 938963034142781745729063403212306706906382121260050233187/401179973\ 6975090825493028104133515527659170987088859*c_0101_6^11 - 827706469216813070586269049357645886628111353142455019392/401179973\ 6975090825493028104133515527659170987088859*c_0101_6^10 - 600466167386581151429297001727219122070790479441586681510/401179973\ 6975090825493028104133515527659170987088859*c_0101_6^9 + 169976200490255592341994509841335611791068703747084524859/401179973\ 6975090825493028104133515527659170987088859*c_0101_6^8 + 194804302245669547459378352975075270248389763834754723688/401179973\ 6975090825493028104133515527659170987088859*c_0101_6^7 + 1558819311304852581691317209098944252372722129049776996/40117997369\ 75090825493028104133515527659170987088859*c_0101_6^6 - 29570005753381466813006281684133912070403974992109739335/4011799736\ 975090825493028104133515527659170987088859*c_0101_6^5 - 5101789296679568727220634595646445483823496464639767143/40117997369\ 75090825493028104133515527659170987088859*c_0101_6^4 + 1627241154827932704302242663200131118873306611401725076/40117997369\ 75090825493028104133515527659170987088859*c_0101_6^3 + 454115798746019621532061951042685799610107880691865421/401179973697\ 5090825493028104133515527659170987088859*c_0101_6^2 - 22305116770018394975902987554688705907500247074987328/4011799736975\ 090825493028104133515527659170987088859*c_0101_6 - 12187274900950501634881009634157099586178413000762527/4011799736975\ 090825493028104133515527659170987088859, c_0101_0 - 2916099624904687099968188835213947511204524512251355/4011799\ 736975090825493028104133515527659170987088859*c_0101_6^27 + 53760470940259077227849232785303745190284502233038666/4011799736975\ 090825493028104133515527659170987088859*c_0101_6^26 - 58505557825288022348698763740232842424583620285129145/4011799736975\ 090825493028104133515527659170987088859*c_0101_6^25 - 2183339845271308732486063042614895163077380516631488806/40117997369\ 75090825493028104133515527659170987088859*c_0101_6^24 - 2167202564960906934160808770579923330484531172988000798/40117997369\ 75090825493028104133515527659170987088859*c_0101_6^23 + 42482713998918100029984304755996861399822931424913723059/4011799736\ 975090825493028104133515527659170987088859*c_0101_6^22 + 109269813145448470786984122873500392171504262010582539735/401179973\ 6975090825493028104133515527659170987088859*c_0101_6^21 - 152824788953575074403368682463694130103410665279369664817/401179973\ 6975090825493028104133515527659170987088859*c_0101_6^20 - 679304374648852111873868677011214189683830356663671449480/401179973\ 6975090825493028104133515527659170987088859*c_0101_6^19 + 12876089087053618098156181355476608153113489034615214522/4011799736\ 975090825493028104133515527659170987088859*c_0101_6^18 + 1794390614280600515700044609694287385820607938052396659258/40117997\ 36975090825493028104133515527659170987088859*c_0101_6^17 + 911372804212171629710603225222385318593852319654614924719/401179973\ 6975090825493028104133515527659170987088859*c_0101_6^16 - 2427977348721203191828616866431822652414897685125225127441/40117997\ 36975090825493028104133515527659170987088859*c_0101_6^15 - 2095830107413058103722744040239146087482162805828108254757/40117997\ 36975090825493028104133515527659170987088859*c_0101_6^14 + 1665297388655517954473928323281374037946525931306009568297/40117997\ 36975090825493028104133515527659170987088859*c_0101_6^13 + 2184052283251472803531551922975915433656654797030426919373/40117997\ 36975090825493028104133515527659170987088859*c_0101_6^12 - 396836175786848302045152145949307373964834434568881777522/401179973\ 6975090825493028104133515527659170987088859*c_0101_6^11 - 1188178521394253872983754312952654360440379524948238243037/40117997\ 36975090825493028104133515527659170987088859*c_0101_6^10 - 153628345660411314945514920146310111652118397871986183479/401179973\ 6975090825493028104133515527659170987088859*c_0101_6^9 + 319996702265462588628798396699497842439137163479710282967/401179973\ 6975090825493028104133515527659170987088859*c_0101_6^8 + 110928810845787064168874881950353276210237704358327267464/401179973\ 6975090825493028104133515527659170987088859*c_0101_6^7 - 30527976619484849336299108894278185219891527344075412145/4011799736\ 975090825493028104133515527659170987088859*c_0101_6^6 - 20907344073427803424151453818282250097648372580366660278/4011799736\ 975090825493028104133515527659170987088859*c_0101_6^5 - 1495466539275277464360707616931538745892873880563192321/40117997369\ 75090825493028104133515527659170987088859*c_0101_6^4 + 1011897101671075802445595429173553991367403684041189143/40117997369\ 75090825493028104133515527659170987088859*c_0101_6^3 + 236542654556887587557431248076204093522957873373746149/401179973697\ 5090825493028104133515527659170987088859*c_0101_6^2 + 13456527160994377302287820097900292070345883051938982/4011799736975\ 090825493028104133515527659170987088859*c_0101_6 - 5200298599031336678865415973880173223377459121685431/40117997369750\ 90825493028104133515527659170987088859, c_0101_1 - 10055884415915255341625707875241544211074247245358446/401179\ 9736975090825493028104133515527659170987088859*c_0101_6^27 + 183882977896330482201271523185962085202165107384563826/401179973697\ 5090825493028104133515527659170987088859*c_0101_6^26 - 173154065354726539776600267078962018255406751032738390/401179973697\ 5090825493028104133515527659170987088859*c_0101_6^25 - 7575277667819913165124351265656848414258312265484266473/40117997369\ 75090825493028104133515527659170987088859*c_0101_6^24 - 8577428791732024348244040917938302739068628527782341538/40117997369\ 75090825493028104133515527659170987088859*c_0101_6^23 + 146010023274260978332899825916629852620034409113784707279/401179973\ 6975090825493028104133515527659170987088859*c_0101_6^22 + 399157463766391362281879565545889780720882499471499126574/401179973\ 6975090825493028104133515527659170987088859*c_0101_6^21 - 483130592921027844779484672551776829135593663161865439216/401179973\ 6975090825493028104133515527659170987088859*c_0101_6^20 - 2449223981576254845956200331135543095223539864854886302151/40117997\ 36975090825493028104133515527659170987088859*c_0101_6^19 - 253905328667556905395653251677135256370565653487757503263/401179973\ 6975090825493028104133515527659170987088859*c_0101_6^18 + 6372378513953557461457738950541304889890735210058624924655/40117997\ 36975090825493028104133515527659170987088859*c_0101_6^17 + 4015108456873734076023305387868058825664452726973488295812/40117997\ 36975090825493028104133515527659170987088859*c_0101_6^16 - 8383045504217696058556043932994695808022459098703469889251/40117997\ 36975090825493028104133515527659170987088859*c_0101_6^15 - 8606236422238052096159723106595718123483941069041021338314/40117997\ 36975090825493028104133515527659170987088859*c_0101_6^14 + 5330758701719814268674065485611438476330609105842807356877/40117997\ 36975090825493028104133515527659170987088859*c_0101_6^13 + 8793530549146367805754778599893124940384926720486593812340/40117997\ 36975090825493028104133515527659170987088859*c_0101_6^12 - 725864439386949166043081378352492536463098051279171648968/401179973\ 6975090825493028104133515527659170987088859*c_0101_6^11 - 4763834918100924898566912512846431531852105205637933810302/40117997\ 36975090825493028104133515527659170987088859*c_0101_6^10 - 1001469767423543518050079326545520358898848953835947912741/40117997\ 36975090825493028104133515527659170987088859*c_0101_6^9 + 1290020734781315348498124299268312029389613454611810361265/40117997\ 36975090825493028104133515527659170987088859*c_0101_6^8 + 571228113084824068185689589029629975538894612798616139067/401179973\ 6975090825493028104133515527659170987088859*c_0101_6^7 - 123855756873473692985781247704567132891227970879829000824/401179973\ 6975090825493028104133515527659170987088859*c_0101_6^6 - 112677856870175120349164179840731995862155411660550593768/401179973\ 6975090825493028104133515527659170987088859*c_0101_6^5 - 7578199501001927595640339408580628135027413469958639993/40117997369\ 75090825493028104133515527659170987088859*c_0101_6^4 + 7785714186437715631437445003224469832632018005064228258/40117997369\ 75090825493028104133515527659170987088859*c_0101_6^3 + 1415217670445044809787322507876636483168200003188437859/40117997369\ 75090825493028104133515527659170987088859*c_0101_6^2 - 151362872129252309548108292250249305358031968039886213/401179973697\ 5090825493028104133515527659170987088859*c_0101_6 - 43027060424645830703168406840609517909495517176814585/4011799736975\ 090825493028104133515527659170987088859, c_0101_2 - 6226476219815800885443131963820048451572707814000636/4011799\ 736975090825493028104133515527659170987088859*c_0101_6^27 + 116220716126298142585912035071368332697970234552030019/401179973697\ 5090825493028104133515527659170987088859*c_0101_6^26 - 151974042741501416295543951225766370980642662747165403/401179973697\ 5090825493028104133515527659170987088859*c_0101_6^25 - 4620347016258512624992249132078641391670952285173414729/40117997369\ 75090825493028104133515527659170987088859*c_0101_6^24 - 3578115895006624039952507469440625007632316109260039255/40117997369\ 75090825493028104133515527659170987088859*c_0101_6^23 + 91285803182621524222504608636479636191101079826423540044/4011799736\ 975090825493028104133515527659170987088859*c_0101_6^22 + 212291580131346337139439974351165708497088071123886040579/401179973\ 6975090825493028104133515527659170987088859*c_0101_6^21 - 370058318680036262164967664495279764712047054166945307526/401179973\ 6975090825493028104133515527659170987088859*c_0101_6^20 - 1356898038281257714374474293790603913287358751832878376549/40117997\ 36975090825493028104133515527659170987088859*c_0101_6^19 + 313690474172123798068664997529412368391684520498715570077/401179973\ 6975090825493028104133515527659170987088859*c_0101_6^18 + 3700535930732148007921801028382726643865301334043107521101/40117997\ 36975090825493028104133515527659170987088859*c_0101_6^17 + 1149540702961105487274291494396856505463434986643292891474/40117997\ 36975090825493028104133515527659170987088859*c_0101_6^16 - 5275924799284716269971325998733198734298805614293673576337/40117997\ 36975090825493028104133515527659170987088859*c_0101_6^15 - 3307120558300097528600019001472799405067295173850171072533/40117997\ 36975090825493028104133515527659170987088859*c_0101_6^14 + 4041256214031848902676627673218299667382517610503242730866/40117997\ 36975090825493028104133515527659170987088859*c_0101_6^13 + 3721929200778753991083444256866233987859493885981058020989/40117997\ 36975090825493028104133515527659170987088859*c_0101_6^12 - 1446592273127040718329497722905489303735334996047456522494/40117997\ 36975090825493028104133515527659170987088859*c_0101_6^11 - 2151278437424049272256196200984661926027026148005607556469/40117997\ 36975090825493028104133515527659170987088859*c_0101_6^10 + 24440480633845288215184887013958092503545960117413193098/4011799736\ 975090825493028104133515527659170987088859*c_0101_6^9 + 635320732122738156481707882356177981238302494277104060516/401179973\ 6975090825493028104133515527659170987088859*c_0101_6^8 + 135920892823599064606331730114902172221869460197734254157/401179973\ 6975090825493028104133515527659170987088859*c_0101_6^7 - 80435496749566361034407209956420822870615272789620284350/4011799736\ 975090825493028104133515527659170987088859*c_0101_6^6 - 33566993887471424465831476512501792902025235114773985432/4011799736\ 975090825493028104133515527659170987088859*c_0101_6^5 + 1463811360531983032882907943141804388933405781310859136/40117997369\ 75090825493028104133515527659170987088859*c_0101_6^4 + 2397816887763756343538264485105837119368764999863795720/40117997369\ 75090825493028104133515527659170987088859*c_0101_6^3 + 215303298416329742558242057729565767126647323828834671/401179973697\ 5090825493028104133515527659170987088859*c_0101_6^2 - 58668267422402088653180731543873523833973795757282870/4011799736975\ 090825493028104133515527659170987088859*c_0101_6 - 7013067541909441818783427249199533621900863842666060/40117997369750\ 90825493028104133515527659170987088859, c_0101_5 - 3987353867499103535213434164591799643431582554940741/4011799\ 736975090825493028104133515527659170987088859*c_0101_6^27 + 75077038496088792835584286440959194494695897010911439/4011799736975\ 090825493028104133515527659170987088859*c_0101_6^26 - 110247219317496818507887526503998795221012847260884270/401179973697\ 5090825493028104133515527659170987088859*c_0101_6^25 - 2927760657444196335654981586048499299429867509716742279/40117997369\ 75090825493028104133515527659170987088859*c_0101_6^24 - 1840213898604738876653664309121212293424283567149916846/40117997369\ 75090825493028104133515527659170987088859*c_0101_6^23 + 58282143842408499340403919347465320961478458942762386554/4011799736\ 975090825493028104133515527659170987088859*c_0101_6^22 + 126424499926395234874791707145549032551105394367157727658/401179973\ 6975090825493028104133515527659170987088859*c_0101_6^21 - 247777111132452129300446982516017427138033827596030435157/401179973\ 6975090825493028104133515527659170987088859*c_0101_6^20 - 813336258756664440456671774101563456305213917607265395778/401179973\ 6975090825493028104133515527659170987088859*c_0101_6^19 + 282022989580105860448077229166621633336985103318345185789/401179973\ 6975090825493028104133515527659170987088859*c_0101_6^18 + 2217565690224215430907001713495970886651959572251025054675/40117997\ 36975090825493028104133515527659170987088859*c_0101_6^17 + 488882429535416430086389125952043249032921493447981454409/401179973\ 6975090825493028104133515527659170987088859*c_0101_6^16 - 3147812613396368246121525718359824342471618558896359803193/40117997\ 36975090825493028104133515527659170987088859*c_0101_6^15 - 1712008877053633065675075802144188004820505086477485802988/40117997\ 36975090825493028104133515527659170987088859*c_0101_6^14 + 2382795033115517645816803121192512171803911591525765435417/40117997\ 36975090825493028104133515527659170987088859*c_0101_6^13 + 1991721464616059620358968676335007406102062846971710451336/40117997\ 36975090825493028104133515527659170987088859*c_0101_6^12 - 820705555200207438064386689873274892702227706251744442029/401179973\ 6975090825493028104133515527659170987088859*c_0101_6^11 - 1149800292034069534655242576078821912741623756088600628761/40117997\ 36975090825493028104133515527659170987088859*c_0101_6^10 - 11932696017596215403865328652967273331579223152158414578/4011799736\ 975090825493028104133515527659170987088859*c_0101_6^9 + 327914573764142150273861521789576451572492468503380634188/401179973\ 6975090825493028104133515527659170987088859*c_0101_6^8 + 87951316692272880305752575617992781856493613753873021425/4011799736\ 975090825493028104133515527659170987088859*c_0101_6^7 - 35849259383359242380566730018565532111569657190871062707/4011799736\ 975090825493028104133515527659170987088859*c_0101_6^6 - 20208667354604420635361470492470483772387250083504815559/4011799736\ 975090825493028104133515527659170987088859*c_0101_6^5 - 729344733863613574669927390200047265420880617085954558/401179973697\ 5090825493028104133515527659170987088859*c_0101_6^4 + 1277236146511292140071987119155019691144949687066723549/40117997369\ 75090825493028104133515527659170987088859*c_0101_6^3 + 226929502102024676759804308466544218468667386937136487/401179973697\ 5090825493028104133515527659170987088859*c_0101_6^2 - 20265255170544481923954100043800341198504717482263394/4011799736975\ 090825493028104133515527659170987088859*c_0101_6 - 7357748863722887616685534314262958655093008066420732/40117997369750\ 90825493028104133515527659170987088859, c_0101_6^28 - 18*c_0101_6^27 + 12*c_0101_6^26 + 758*c_0101_6^25 + 1069*c_0101_6^24 - 14267*c_0101_6^23 - 43847*c_0101_6^22 + 36509*c_0101_6^21 + 257009*c_0101_6^20 + 95760*c_0101_6^19 - 624571*c_0101_6^18 - 581855*c_0101_6^17 + 714660*c_0101_6^16 + 1093902*c_0101_6^15 - 279978*c_0101_6^14 - 1022426*c_0101_6^13 - 179249*c_0101_6^12 + 489861*c_0101_6^11 + 232275*c_0101_6^10 - 97583*c_0101_6^9 - 90616*c_0101_6^8 - 4110*c_0101_6^7 + 13658*c_0101_6^6 + 3757*c_0101_6^5 - 412*c_0101_6^4 - 308*c_0101_6^3 - 27*c_0101_6^2 + 6*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB