Magma V2.19-8 Tue Aug 20 2013 16:16:37 on localhost [Seed = 3499183113] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0922 geometric_solution 4.81607103 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 2103 0132 0 0 0 0 0 -1 0 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 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.810987572251 0.732635258016 0 4 4 2 0132 0132 1023 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.619478852873 0.788334985205 0 0 3 1 2103 0132 2031 0213 0 0 0 0 0 1 -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 0 0 0 0 -1 0 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.321039810412 0.613363497421 5 5 0 2 0132 2310 0132 1302 0 0 0 0 0 0 -1 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 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.267663886842 0.479271291464 4 1 1 4 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.792726591227 0.494644999358 3 6 6 3 0132 0132 1023 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.495234143192 0.396930587422 6 5 5 6 3201 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.104295788154 0.307113620599 ==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_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0101_0'], '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_1'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : 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_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_1'], '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' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0101_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_0'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0011_0']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0101_5'])})} 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_3, 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: 30 Groebner basis: [ t + 1624568316196099507535885209574467826877833274159441370989537195/23\ 544993765627077674590431185472641279256283616671642520286663*c_0101\ _6^29 + 36161031442272989571982352990935849301879413944469214163410\ 6597/2140453978693370697690039198679331025386934874242876592753333*\ c_0101_6^28 - 42869513746323010584304471084116699352888406782985039\ 209356291249/235449937656270776745904311854726412792562836166716425\ 20286663*c_0101_6^27 - 78916184815509127891925127719661372997105296\ 608087030421887515748/235449937656270776745904311854726412792562836\ 16671642520286663*c_0101_6^26 + 54209522073861485601341621773438384\ 3085231753082040660336153475932/23544993765627077674590431185472641\ 279256283616671642520286663*c_0101_6^25 + 933742694185764511803333700207815163196258615642138927161835971963/\ 23544993765627077674590431185472641279256283616671642520286663*c_01\ 01_6^24 - 360410831174497389519364072720595717286759724709689665129\ 6087405868/23544993765627077674590431185472641279256283616671642520\ 286663*c_0101_6^23 - 7784998056836843791507342435095616927950588558\ 867476978471178001990/235449937656270776745904311854726412792562836\ 16671642520286663*c_0101_6^22 + 93083231779964431115840847533865201\ 39057129547763640846476501954632/2354499376562707767459043118547264\ 1279256283616671642520286663*c_0101_6^21 + 3216803979460049407307907391397744461400047805784030693055047423830\ 1/23544993765627077674590431185472641279256283616671642520286663*c_\ 0101_6^20 + 1530231932920668194452883109906701737931149496546339226\ 287895288877/235449937656270776745904311854726412792562836166716425\ 20286663*c_0101_6^19 - 53750906596803334990953584567536669971060055\ 556120676430120980399491/235449937656270776745904311854726412792562\ 83616671642520286663*c_0101_6^18 - 2275352744303525777027153983128859651453192609475362907803182048231\ 9/23544993765627077674590431185472641279256283616671642520286663*c_\ 0101_6^17 + 5098602716123528103137049509994085641792284579456636292\ 7642929373000/23544993765627077674590431185472641279256283616671642\ 520286663*c_0101_6^16 + 2404968703825987906063993343485205463401380\ 8977044254249978206258927/23544993765627077674590431185472641279256\ 283616671642520286663*c_0101_6^15 - 5670382634094675528528370838516491251819871207540358770835687389015\ 7/23544993765627077674590431185472641279256283616671642520286663*c_\ 0101_6^14 - 2511442490678335818083226275233912451028814471191086593\ 7458505608107/23544993765627077674590431185472641279256283616671642\ 520286663*c_0101_6^13 + 5425583712616666522886073592313790262963402\ 3416199819964396218273807/23544993765627077674590431185472641279256\ 283616671642520286663*c_0101_6^12 + 3542985091754294118716586776425737444427335228246955420273240596354\ 9/23544993765627077674590431185472641279256283616671642520286663*c_\ 0101_6^11 - 2109511632928178094441356597096594074860001012578732699\ 4879511453640/23544993765627077674590431185472641279256283616671642\ 520286663*c_0101_6^10 - 2913543614207328222935132575211125290376776\ 6921237110632938621854491/23544993765627077674590431185472641279256\ 283616671642520286663*c_0101_6^9 - 2809147595930196764235392322753708996581863309552795208643518633041\ /23544993765627077674590431185472641279256283616671642520286663*c_0\ 101_6^8 + 111128108834455219908228993373793377226794082469155109827\ 79742595723/2354499376562707767459043118547264127925628361667164252\ 0286663*c_0101_6^7 + 4615714129327585347670660289013354140922916641\ 470197233747770121831/235449937656270776745904311854726412792562836\ 16671642520286663*c_0101_6^6 - 166842444260148740354977173865631834\ 3685955726260159849897349582790/23544993765627077674590431185472641\ 279256283616671642520286663*c_0101_6^5 - 1390463771166053098409667077689661904052250010162260686425524418333\ /23544993765627077674590431185472641279256283616671642520286663*c_0\ 101_6^4 + 116775581941060467222802227479450214205967929033523466162\ 49374933/2354499376562707767459043118547264127925628361667164252028\ 6663*c_0101_6^3 + 1940030897042230420379765969045090182348622887581\ 32761408861298997/2354499376562707767459043118547264127925628361667\ 1642520286663*c_0101_6^2 + 2711430032697088808314104434109985079349\ 68410069391500843642743/2140453978693370697690039198679331025386934\ 874242876592753333*c_0101_6 - 7653153424811074232400452510957970753\ 924746962621828301002434904/235449937656270776745904311854726412792\ 56283616671642520286663, c_0011_0 - 1, c_0011_3 + 108459103368616547150378265575812772179287788474355482608657\ 9/2140453978693370697690039198679331025386934874242876592753333*c_0\ 101_6^29 + 33645912328953377070724033275288692721223974235429526000\ 08333/2140453978693370697690039198679331025386934874242876592753333\ *c_0101_6^28 - 2652407391604659537148397548676237393126452998934248\ 1108670608/21404539786933706976900391986793310253869348742428765927\ 53333*c_0101_6^27 - 70342488219214915437851703240487786446893822651\ 325426484435296/214045397869337069769003919867933102538693487424287\ 6592753333*c_0101_6^26 + 318475243973222512894103965757684975587587\ 982773517037184376895/214045397869337069769003919867933102538693487\ 4242876592753333*c_0101_6^25 + 838258421232298756842185765707419470\ 366956799367598959553327820/214045397869337069769003919867933102538\ 6934874242876592753333*c_0101_6^24 - 1889091327400525468158403591731236638809725257235780522642015791/21\ 40453978693370697690039198679331025386934874242876592753333*c_0101_\ 6^23 - 651238484703288633417176227274504744557360290662049508186459\ 0047/2140453978693370697690039198679331025386934874242876592753333*\ c_0101_6^22 + 21446170743165029223792194587598060679909270893863393\ 71416627271/2140453978693370697690039198679331025386934874242876592\ 753333*c_0101_6^21 + 2350493245774898337928596078219211105500868693\ 5381323878719777400/21404539786933706976900391986793310253869348742\ 42876592753333*c_0101_6^20 + 16129811802453255223403283179138224712\ 158471729783159785716180442/214045397869337069769003919867933102538\ 6934874242876592753333*c_0101_6^19 - 27664778086366248878248203021142620035505314659669012474433014271/2\ 140453978693370697690039198679331025386934874242876592753333*c_0101\ _6^18 - 34666137140285327000441976201734453438956320271875242992195\ 607411/214045397869337069769003919867933102538693487424287659275333\ 3*c_0101_6^17 + 144068339765606186557253641449059301994417813877751\ 49074406510814/2140453978693370697690039198679331025386934874242876\ 592753333*c_0101_6^16 + 2876640205939852000090960093161565550676783\ 7057655636013214623527/21404539786933706976900391986793310253869348\ 74242876592753333*c_0101_6^15 - 21040986115233803915093292980145697\ 393839790434782823367510983907/214045397869337069769003919867933102\ 5386934874242876592753333*c_0101_6^14 - 33474118457704744513822830151781150688903220910606431848228810540/2\ 140453978693370697690039198679331025386934874242876592753333*c_0101\ _6^13 + 16882100140061601386262473704379848981743422369130153740810\ 297992/214045397869337069769003919867933102538693487424287659275333\ 3*c_0101_6^12 + 380190671493387261821533220196236119092654794617454\ 76249126408452/2140453978693370697690039198679331025386934874242876\ 592753333*c_0101_6^11 + 8507417452880338528325821679710294512780539\ 884531374365523258820/214045397869337069769003919867933102538693487\ 4242876592753333*c_0101_6^10 - 176994277281557734276126486736623659\ 17459856394469459520802003954/2140453978693370697690039198679331025\ 386934874242876592753333*c_0101_6^9 - 13648352050280971246309972796496574049777786039710180922344716895/2\ 140453978693370697690039198679331025386934874242876592753333*c_0101\ _6^8 + 514521726953420041989227781533028924391119286334874219421037\ 829/2140453978693370697690039198679331025386934874242876592753333*c\ _0101_6^7 + 4544003738213910950114023633264269636605738709069059012\ 684416026/214045397869337069769003919867933102538693487424287659275\ 3333*c_0101_6^6 + 1565201517146286754100213634071070282043205229605\ 356241075008577/214045397869337069769003919867933102538693487424287\ 6592753333*c_0101_6^5 - 3817405734191309668227883068073633028345368\ 39578442659087732700/2140453978693370697690039198679331025386934874\ 242876592753333*c_0101_6^4 - 31257924189341816124433140916697718122\ 8235296945356119240769345/21404539786933706976900391986793310253869\ 34874242876592753333*c_0101_6^3 - 145613373171976371073042229227364\ 34301286551171019633313420361/2140453978693370697690039198679331025\ 386934874242876592753333*c_0101_6^2 + 13861675088499581260103612059011754434009424750344792137532577/2140\ 453978693370697690039198679331025386934874242876592753333*c_0101_6 + 938610419980537134945740178365846095639053670387661840165350/214045\ 3978693370697690039198679331025386934874242876592753333, c_0101_0 - 282139152204785965683269364533831911762619026067720291610595\ /2140453978693370697690039198679331025386934874242876592753333*c_01\ 01_6^29 - 862767206433306575820098728757031272776487919575443799751\ 532/2140453978693370697690039198679331025386934874242876592753333*c\ _0101_6^28 + 709819700576733896078590804509875728451579143652609226\ 2316424/21404539786933706976900391986793310253869348742428765927533\ 33*c_0101_6^27 + 18421215636190100475924875400760338210241322488122\ 355818073726/214045397869337069769003919867933102538693487424287659\ 2753333*c_0101_6^26 - 877215059029659737316886072962156688076446412\ 45863120606947640/2140453978693370697690039198679331025386934874242\ 876592753333*c_0101_6^25 - 2229511880155566198053241765449996180155\ 33308005043492798389125/2140453978693370697690039198679331025386934\ 874242876592753333*c_0101_6^24 + 5511506912858299582277281963994549\ 28903377951298671619825392734/2140453978693370697690039198679331025\ 386934874242876592753333*c_0101_6^23 + 1772819385142865625803159736322760404951887138856828811669417271/21\ 40453978693370697690039198679331025386934874242876592753333*c_0101_\ 6^22 - 949028873280169523515918486034359443694263669091301512262496\ 365/2140453978693370697690039198679331025386934874242876592753333*c\ _0101_6^21 - 689373432508949960794916121535345881337521992846835228\ 2103125281/21404539786933706976900391986793310253869348742428765927\ 53333*c_0101_6^20 - 32875795958980546602807279479969900661787732484\ 26729750093727685/2140453978693370697690039198679331025386934874242\ 876592753333*c_0101_6^19 + 1042161078517189849817695970414417956225\ 5806667206582908277718133/21404539786933706976900391986793310253869\ 34874242876592753333*c_0101_6^18 + 9703194157580208242337285253067432074656419671558977132372502849/21\ 40453978693370697690039198679331025386934874242876592753333*c_0101_\ 6^17 - 820242874943170095144074292245019198058269652626547396649119\ 6964/2140453978693370697690039198679331025386934874242876592753333*\ c_0101_6^16 - 10005525603314075734426750090288105366036616060550418\ 915900516454/214045397869337069769003919867933102538693487424287659\ 2753333*c_0101_6^15 + 892507926014361142704091226007762415532387323\ 5723143441882261927/21404539786933706976900391986793310253869348742\ 42876592753333*c_0101_6^14 + 10443268914622635182112061018900863277\ 867951753048126425519130355/214045397869337069769003919867933102538\ 6934874242876592753333*c_0101_6^13 - 8967684588508343113345669217707521443371178860896449070390803405/21\ 40453978693370697690039198679331025386934874242876592753333*c_0101_\ 6^12 - 122479284034040899150829269197714766232030789967441532980014\ 34411/2140453978693370697690039198679331025386934874242876592753333\ *c_0101_6^11 + 1684165333816413196744746881930272295808790309372406\ 468397137958/214045397869337069769003919867933102538693487424287659\ 2753333*c_0101_6^10 + 785969409586042553617982647292453107772315069\ 4328986779365792104/21404539786933706976900391986793310253869348742\ 42876592753333*c_0101_6^9 + 305512080803857686188957030678767763754\ 9979697244336737276385509/21404539786933706976900391986793310253869\ 34874242876592753333*c_0101_6^8 - 195672723253249456685614677200979\ 0311206297425564101545916181929/21404539786933706976900391986793310\ 25386934874242876592753333*c_0101_6^7 - 1864512814040857603935489556049448139151286269613030791665923471/21\ 40453978693370697690039198679331025386934874242876592753333*c_0101_\ 6^6 - 4763180571401113643175319631589872403197651440838928657151611\ 2/2140453978693370697690039198679331025386934874242876592753333*c_0\ 101_6^5 + 368168211586398663150610253617508428297088145242152137023\ 942350/214045397869337069769003919867933102538693487424287659275333\ 3*c_0101_6^4 + 8755253513823614373493582490629935384320067521680800\ 5795445673/21404539786933706976900391986793310253869348742428765927\ 53333*c_0101_6^3 - 329077329805116429146913329287535175412990816194\ 38767327191897/2140453978693370697690039198679331025386934874242876\ 592753333*c_0101_6^2 - 10766171617746396682991821115884879579756002\ 308866959604419917/214045397869337069769003919867933102538693487424\ 2876592753333*c_0101_6 + 138677129851207564767401496963410437670238\ 9079779439622323017/21404539786933706976900391986793310253869348742\ 42876592753333, c_0101_1 - 525839407437314681096224430598722881295889818455454263212504\ /2140453978693370697690039198679331025386934874242876592753333*c_01\ 01_6^29 - 136700060834441753339667018301429101679331556689141747440\ 2938/2140453978693370697690039198679331025386934874242876592753333*\ c_0101_6^28 + 13701169043876510265725774784611283961123907993751773\ 284244990/214045397869337069769003919867933102538693487424287659275\ 3333*c_0101_6^27 + 277216813336267047247715063915488293350358896081\ 43107041135449/2140453978693370697690039198679331025386934874242876\ 592753333*c_0101_6^26 - 1719914273583811427860675135230197935330980\ 37378785939854653280/2140453978693370697690039198679331025386934874\ 242876592753333*c_0101_6^25 - 3303877602594634947833480140133402787\ 94420210894468356141261639/2140453978693370697690039198679331025386\ 934874242876592753333*c_0101_6^24 + 1124560770888563699500617572287157223297988651552452006546864743/21\ 40453978693370697690039198679331025386934874242876592753333*c_0101_\ 6^23 + 271463478865321866634632115955705609638091502828616704014167\ 2918/2140453978693370697690039198679331025386934874242876592753333*\ c_0101_6^22 - 26410459406122199218843916269066759269919361955827493\ 06875121889/2140453978693370697690039198679331025386934874242876592\ 753333*c_0101_6^21 - 1099108808813168042340047789910789654472484208\ 8153541247733133762/21404539786933706976900391986793310253869348742\ 42876592753333*c_0101_6^20 - 22055654849115023975999299595269637862\ 15318676399870697510752599/2140453978693370697690039198679331025386\ 934874242876592753333*c_0101_6^19 + 17574297767244941117795147095888974331596077808176942120935274642/2\ 140453978693370697690039198679331025386934874242876592753333*c_0101\ _6^18 + 10748050282692868871153218445120948172520040497922671978092\ 633255/214045397869337069769003919867933102538693487424287659275333\ 3*c_0101_6^17 - 148935756929879835005726196219444763426218028857671\ 33497637055354/2140453978693370697690039198679331025386934874242876\ 592753333*c_0101_6^16 - 1081979348868811733793501822314032678289083\ 6050824985230898432294/21404539786933706976900391986793310253869348\ 74242876592753333*c_0101_6^15 + 16221611017140147357857842596852212\ 902671695024280207168584130202/214045397869337069769003919867933102\ 5386934874242876592753333*c_0101_6^14 + 10804402231353778076916907465643604000020294693802145920981397921/2\ 140453978693370697690039198679331025386934874242876592753333*c_0101\ _6^13 - 15988486763054999745392328274910359585354528590914295627982\ 960608/214045397869337069769003919867933102538693487424287659275333\ 3*c_0101_6^12 - 146139523288324852405739913552443542973128331743404\ 99620235225715/2140453978693370697690039198679331025386934874242876\ 592753333*c_0101_6^11 + 4131293811174261380054612796091979689209965\ 110756184588784035651/214045397869337069769003919867933102538693487\ 4242876592753333*c_0101_6^10 + 105988663846662456861900041721877778\ 24206386847778798497228172592/2140453978693370697690039198679331025\ 386934874242876592753333*c_0101_6^9 + 3461148184522615593150675357217537324294521034571700374035705379/21\ 40453978693370697690039198679331025386934874242876592753333*c_0101_\ 6^8 - 2819236585441152040138634598701822072721220056098663582378135\ 575/2140453978693370697690039198679331025386934874242876592753333*c\ _0101_6^7 - 2196716762115452998603474116468836979752078351736317042\ 300445179/214045397869337069769003919867933102538693487424287659275\ 3333*c_0101_6^6 - 4333574118530941780062539673015159854170903417108\ 4259059545042/21404539786933706976900391986793310253869348742428765\ 92753333*c_0101_6^5 + 402430721445665399840115674720580938720100423\ 371451962943025733/214045397869337069769003919867933102538693487424\ 2876592753333*c_0101_6^4 + 9807347139036538776094966236730764430295\ 1120872624584511380064/21404539786933706976900391986793310253869348\ 74242876592753333*c_0101_6^3 - 346518528345141482548048464900399003\ 97147064601995509607658277/2140453978693370697690039198679331025386\ 934874242876592753333*c_0101_6^2 - 10053162625106908705100339051494335167915868512315698626479810/2140\ 453978693370697690039198679331025386934874242876592753333*c_0101_6 + 717980301977356242024836599173035215222053842310154566265768/214045\ 3978693370697690039198679331025386934874242876592753333, c_0101_4 - 189320859084713070348696969693054389269636006405285345965380\ /2140453978693370697690039198679331025386934874242876592753333*c_01\ 01_6^29 - 100708341279828712840290640572570110619710962287219746547\ 3005/2140453978693370697690039198679331025386934874242876592753333*\ c_0101_6^28 + 33441896377390102971915206398624530837488860608996138\ 06479207/2140453978693370697690039198679331025386934874242876592753\ 333*c_0101_6^27 + 2263491112768642719599625762871881587591781294046\ 7092798138016/21404539786933706976900391986793310253869348742428765\ 92753333*c_0101_6^26 - 28656025242331422941731789450931924799012540\ 939255556812540226/214045397869337069769003919867933102538693487424\ 2876592753333*c_0101_6^25 - 271618853881488043344445095606176573147\ 172762008832247271809872/214045397869337069769003919867933102538693\ 4874242876592753333*c_0101_6^24 + 787416731489848005547456440857414\ 3483175783648328778600326301/21404539786933706976900391986793310253\ 86934874242876592753333*c_0101_6^23 + 1892222445380631176496149206211251328124976002733964574655337382/21\ 40453978693370697690039198679331025386934874242876592753333*c_0101_\ 6^22 + 214406203073565238055689161278599515336064054912786800034288\ 8290/2140453978693370697690039198679331025386934874242876592753333*\ c_0101_6^21 - 51006733085113243530979461301558317855820997864328685\ 94909170533/2140453978693370697690039198679331025386934874242876592\ 753333*c_0101_6^20 - 1208583228066147383056293101441963811359182323\ 1442679267648695065/21404539786933706976900391986793310253869348742\ 42876592753333*c_0101_6^19 - 96478231541229703757709551802221177925\ 1963024382618338451882910/21404539786933706976900391986793310253869\ 34874242876592753333*c_0101_6^18 + 17715495858896072878820606077627472503210387238703075590151158568/2\ 140453978693370697690039198679331025386934874242876592753333*c_0101\ _6^17 + 10920029998934706996450745686780327919410576232281443262353\ 344880/214045397869337069769003919867933102538693487424287659275333\ 3*c_0101_6^16 - 118210720941870136944912182699886334782602973370076\ 74963354904128/2140453978693370697690039198679331025386934874242876\ 592753333*c_0101_6^15 - 7961260141495908738048179026666842432854026\ 364066490907996985881/214045397869337069769003919867933102538693487\ 4242876592753333*c_0101_6^14 + 147872692290632865500795842885347360\ 20946550636320838026374508392/2140453978693370697690039198679331025\ 386934874242876592753333*c_0101_6^13 + 10041325497609909704245115635482661494536625894677229182293055115/2\ 140453978693370697690039198679331025386934874242876592753333*c_0101\ _6^12 - 14486268980475571818137823310450569124676604407453589579538\ 612653/214045397869337069769003919867933102538693487424287659275333\ 3*c_0101_6^11 - 166081052054374573920548599608819180580624019035494\ 20096932310003/2140453978693370697690039198679331025386934874242876\ 592753333*c_0101_6^10 + 8519251677189327945387670784559694390185554\ 14342213548169224038/2140453978693370697690039198679331025386934874\ 242876592753333*c_0101_6^9 + 10059449332104208815459721660305456880\ 062563114292778922687633921/214045397869337069769003919867933102538\ 6934874242876592753333*c_0101_6^8 + 5181419405085831955974266426831524078034320910029183935642480542/21\ 40453978693370697690039198679331025386934874242876592753333*c_0101_\ 6^7 - 1319860361605568185464773986704496827877642640490020857095259\ 511/2140453978693370697690039198679331025386934874242876592753333*c\ _0101_6^6 - 2165580567668711903644419706910545737302773317731128681\ 339069684/214045397869337069769003919867933102538693487424287659275\ 3333*c_0101_6^5 - 5197340340831432659848408427761908059633299065807\ 70354796216891/2140453978693370697690039198679331025386934874242876\ 592753333*c_0101_6^4 + 20267838393252140018641377391055937082218730\ 4055059306435515678/21404539786933706976900391986793310253869348742\ 42876592753333*c_0101_6^3 + 113624848200861962985555299699348990709\ 151547873003320489387881/214045397869337069769003919867933102538693\ 4874242876592753333*c_0101_6^2 + 2463830908998034910565051619517215\ 096700967698887857256616298/214045397869337069769003919867933102538\ 6934874242876592753333*c_0101_6 - 231407060895338141300023133638328\ 4814061042106238111897463467/21404539786933706976900391986793310253\ 86934874242876592753333, c_0101_5 - 351911760599754415307104118316917326810893832772966994741018\ /2140453978693370697690039198679331025386934874242876592753333*c_01\ 01_6^29 - 840630753511368873238004543269867717461512733059288267521\ 974/2140453978693370697690039198679331025386934874242876592753333*c\ _0101_6^28 + 935806410990281616565917809851119713895589858869455276\ 5804034/21404539786933706976900391986793310253869348742428765927533\ 33*c_0101_6^27 + 16612654439915045717704990564952693509148917257705\ 376933281545/214045397869337069769003919867933102538693487424287659\ 2753333*c_0101_6^26 - 118899736413794165581663712322553333246029557\ 625749954785506697/214045397869337069769003919867933102538693487424\ 2876592753333*c_0101_6^25 - 196757934361239777092049649654300542018\ 074665352192031530336340/214045397869337069769003919867933102538693\ 4874242876592753333*c_0101_6^24 + 797764284716455237325135157008957\ 540777480674855893851319036014/214045397869337069769003919867933102\ 5386934874242876592753333*c_0101_6^23 + 1657320057124194399663281385944383940374031081926208926364991496/21\ 40453978693370697690039198679331025386934874242876592753333*c_0101_\ 6^22 - 214068946170271114670940585918030265204060160989800154437232\ 6009/2140453978693370697690039198679331025386934874242876592753333*\ c_0101_6^21 - 69754362315877012802421020479434547772695852102065087\ 17115417734/2140453978693370697690039198679331025386934874242876592\ 753333*c_0101_6^20 + 4264051760674627528855356627330664859941862228\ 8461837551772813/21404539786933706976900391986793310253869348742428\ 76592753333*c_0101_6^19 + 12038945011890882512354529701682434262486\ 060672124397087016682151/214045397869337069769003919867933102538693\ 4874242876592753333*c_0101_6^18 + 476415227617470900250226121336205\ 0479346729389226625693414149757/21404539786933706976900391986793310\ 25386934874242876592753333*c_0101_6^17 - 11434769837136602714590006738886896376662883537425960009212529775/2\ 140453978693370697690039198679331025386934874242876592753333*c_0101\ _6^16 - 52235793772126363355400864327830067847550403076721054395699\ 21354/2140453978693370697690039198679331025386934874242876592753333\ *c_0101_6^15 + 1231660654619190875992094685613642219247288224755673\ 4646327127094/21404539786933706976900391986793310253869348742428765\ 92753333*c_0101_6^14 + 50266700408114965568997027467809901741480483\ 22860674216472349496/2140453978693370697690039198679331025386934874\ 242876592753333*c_0101_6^13 - 1213890611736947091752308609451903968\ 4046949395545906163073610581/21404539786933706976900391986793310253\ 86934874242876592753333*c_0101_6^12 - 7595669506068179660446644235282251701224596456517032031257185786/21\ 40453978693370697690039198679331025386934874242876592753333*c_0101_\ 6^11 + 478979958239924716103430005005090364448492617902770983075373\ 5736/2140453978693370697690039198679331025386934874242876592753333*\ c_0101_6^10 + 65734746836452029305851995304338378689091630939279611\ 65867612048/2140453978693370697690039198679331025386934874242876592\ 753333*c_0101_6^9 + 84534035134731483695713514405329824856718793281\ 2590564205575925/21404539786933706976900391986793310253869348742428\ 76592753333*c_0101_6^8 - 236761600161296657838677507049878620768252\ 8777952839837997448364/21404539786933706976900391986793310253869348\ 74242876592753333*c_0101_6^7 - 110156427029137731283600809987705841\ 8942972616993250222896837087/21404539786933706976900391986793310253\ 86934874242876592753333*c_0101_6^6 + 258537074792441331695894634968262367417597107605422912888132314/214\ 0453978693370697690039198679331025386934874242876592753333*c_0101_6\ ^5 + 27758118032157413783998389535074357235423389785096161667716785\ 4/2140453978693370697690039198679331025386934874242876592753333*c_0\ 101_6^4 + 157029811373089732178060802442927497165447470421738623945\ 67534/2140453978693370697690039198679331025386934874242876592753333\ *c_0101_6^3 - 32392700379080060691919363116975944907563395409446003\ 065975913/214045397869337069769003919867933102538693487424287659275\ 3333*c_0101_6^2 - 5163793806750884090225457200492601481829130167743\ 988611753782/214045397869337069769003919867933102538693487424287659\ 2753333*c_0101_6 + 635113512159597075198244912818461519099915195435\ 831718764630/214045397869337069769003919867933102538693487424287659\ 2753333, c_0101_6^30 + 3*c_0101_6^29 - 25*c_0101_6^28 - 63*c_0101_6^27 + 306*c_0101_6^26 + 756*c_0101_6^25 - 1891*c_0101_6^24 - 5982*c_0101_6^23 + 3028*c_0101_6^22 + 22705*c_0101_6^21 + 11878*c_0101_6^20 - 31672*c_0101_6^19 - 31448*c_0101_6^18 + 22698*c_0101_6^17 + 30512*c_0101_6^16 - 26372*c_0101_6^15 - 33331*c_0101_6^14 + 24265*c_0101_6^13 + 38623*c_0101_6^12 - 518*c_0101_6^11 - 23374*c_0101_6^10 - 11106*c_0101_6^9 + 5118*c_0101_6^8 + 5957*c_0101_6^7 + 555*c_0101_6^6 - 1188*c_0101_6^5 - 386*c_0101_6^4 + 97*c_0101_6^3 + 48*c_0101_6^2 - 4*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB