Magma V2.19-8 Tue Aug 20 2013 16:17:41 on localhost [Seed = 2050746005] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1921 geometric_solution 5.52226249 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 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.462444432257 0.212471052835 0 2 2 0 3201 0132 1023 0132 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 1 -1 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 1.139285043460 0.269320636995 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.809891961193 0.446249855040 2 5 6 4 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.524682543645 0.513568983777 6 3 2 5 2310 1302 0132 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 -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.524682543645 0.513568983777 5 3 5 4 2031 0132 1302 1023 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.542081789878 0.873052290919 6 6 4 3 1230 3012 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.526442561905 0.834984344284 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(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' : negation(d['1']), 's_1_1' : negation(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_0011_1'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0011_6'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : negation(d['c_0101_6']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_2'], '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_0011_4, c_0011_6, c_0101_0, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t + 9633194259206014716881934127015885448893787098762089032350914890030\ 4111497701172295415583740056350831579627/43563984876308465443079305\ 6621320950633566688176753578390070790380769107047731770438540553373\ 80087657768472*c_0101_6^28 - 20682621543495816649777302119497844759\ 3343477898888923811211037495456495956684185927011873332613216961965\ 967/363033207302570545358994213851100792194638906813961315325058991\ 9839742558731098086987837944781673971480706*c_0101_6^27 + 4005025341001794369141598087557422973099840172107489403001356160880\ 1155241924026850000198501724387459250763/11113261448037873837520231\ 0362581875161624155147131014895426222035910486491768308785341977901\ 479815453491*c_0101_6^26 - 2060862693599403150377365150021960810327\ 4336836062307442004954341634172034487530746439959731830943819829736\ 983/217819924381542327215396528310660475316783344088376789195035395\ 19038455352386588521927027668690043828884236*c_0101_6^25 + 1644664611806522949391001065099676016205797736641753559817678248301\ 80271969250239954913914627143886626042064981/4356398487630846544307\ 9305662132095063356668817675357839007079038076910704773177043854055\ 337380087657768472*c_0101_6^24 - 1083471291056629214374066377602775\ 4150227115259804776467060470715968181554405124836583409917839337031\ 0881491147/54454981095385581803849132077665118829195836022094197298\ 75884879759613838096647130481756917172510957221059*c_0101_6^23 + 3431869411820122002775831071880319020666067699934385035971417313059\ 294005694287662985483252589560040844680257/714163686496860089230808\ 2895431490993992896527487763580165094924274903394225110990795746776\ 61968650127352*c_0101_6^22 + 17404065118719546200834841804570749671\ 9860407229309603011727138255110034401989313034836708376909470451821\ 888689/363033207302570545358994213851100792194638906813961315325058\ 9919839742558731098086987837944781673971480706*c_0101_6^21 - 1702226122925211251401936390873466723748068623465476851133695732193\ 087529071498519548552888923917381626496531967/622342641090120934901\ 1329380304585009050952688239336834143868434010987243539025291979150\ 762482869665395496*c_0101_6^20 + 6722188792483030062947975404193398\ 9261048844608326497296174202482612429610815819027408172655435433335\ 23638509131/7260664146051410907179884277022015843892778136279226306\ 501179839679485117462196173975675889563347942961412*c_0101_6^19 + 3398142530296230582520618280929746253534342953863430280890862890875\ 057686517785591709666217878510990370261161603/181516603651285272679\ 4971069255503960973194534069806576625294959919871279365549043493918\ 972390836985740353*c_0101_6^18 - 5954661007065215079341419932310207\ 5234205177308690597629452960387062930362441453953596743380741977467\ 516982159983/145213282921028218143597685540440316877855562725584526\ 13002359679358970234924392347951351779126695885922824*c_0101_6^17 - 1997161762536192175448295109036273777521319354224039081954621115513\ 68719917988746165792599656237357729573926409101/4356398487630846544\ 3079305662132095063356668817675357839007079038076910704773177043854\ 055337380087657768472*c_0101_6^16 + 2997722284209495900011941931867234730943773949267327763683274403316\ 98344686674176469555021035444332313648806941419/4356398487630846544\ 3079305662132095063356668817675357839007079038076910704773177043854\ 055337380087657768472*c_0101_6^15 + 1915081848464095988960350871625848515801688116025887607070531098157\ 2044364894109415090450373149936639442986056778/54454981095385581803\ 8491320776651188291958360220941972987588487975961383809664713048175\ 6917172510957221059*c_0101_6^14 - 300395576767798491746147594949549\ 3110024532883479013967868023187655304822968515760230292684951706914\ 4164031071147/31117132054506046745056646901522925045254763441196684\ 17071934217005493621769512645989575381241434832697748*c_0101_6^13 - 2844391476936733557056045243109605749089107335112087436669617230389\ 50078487277430259394055838674204874657566660555/4356398487630846544\ 3079305662132095063356668817675357839007079038076910704773177043854\ 055337380087657768472*c_0101_6^12 + 8440833047930766847761169277951112942772347625178086674179272649409\ 24644275040208832793414889544944683751679835/2420221382017136969059\ 9614256740052812975927120930754355003932798931617058207320579918919\ 63187782647653804*c_0101_6^11 + 34912462931078002795196613217534130\ 5234251599252216344577193094978749218461478085700516218707300298730\ 0873496305/36303320730257054535899421385110079219463890681396131532\ 50589919839742558731098086987837944781673971480706*c_0101_6^10 + 5687197033113885149621914163333034659643894563331111354532245529197\ 0974835842105550456829719198616579855750325371/43563984876308465443\ 0793056621320950633566688176753578390070790380769107047731770438540\ 55337380087657768472*c_0101_6^9 + 135350889488829816204084214859687\ 5174182116143916576425486360181940170155897643572975425130522250151\ 990779403635/181516603651285272679497106925550396097319453406980657\ 6625294959919871279365549043493918972390836985740353*c_0101_6^8 - 2525755268814029309012366356148141767044353474822895531196843169707\ 097425514951675163364706262018168060993259043/145213282921028218143\ 5976855404403168778555627255845261300235967935897023492439234795135\ 1779126695885922824*c_0101_6^7 - 8184758460140266644269873279453229\ 3618809553193542133326938423950497810493477425127988096939377683908\ 11248743429/4356398487630846544307930566213209506335666881767535783\ 9007079038076910704773177043854055337380087657768472*c_0101_6^6 - 5951882331925329322381387494348872312955728559137728663307701629746\ 2258285960163441081630908081897688580159025/18151660365128527267949\ 7106925550396097319453406980657662529495991987127936554904349391897\ 2390836985740353*c_0101_6^5 - 4287482454072700193030770787813546923\ 4098603768380685134210876524810246840004038160137427278972175491673\ 512641/217819924381542327215396528310660475316783344088376789195035\ 39519038455352386588521927027668690043828884236*c_0101_6^4 + 1751442800042505402081871824346947308658859410437650292621669110975\ 7837857108722858143799805532433404617758577/48404427640342739381199\ 2285134801056259518542418615087100078655978632341164146411598378392\ 6375565295307608*c_0101_6^3 + 3149828967962569799273101516801214640\ 5851511252567734937209489855676644217241774126122480328046143797538\ 7445843/43563984876308465443079305662132095063356668817675357839007\ 079038076910704773177043854055337380087657768472*c_0101_6^2 - 1196879538213623986526618416980334987906904262720033527571766070172\ 1790044954779266852010044214676806098528573/10890996219077116360769\ 8264155330237658391672044188394597517697595192276761932942609635138\ 34345021914442118*c_0101_6 - 15006980352077170805793857652527441821\ 9687837226938882979841433593608814932949491442255792482570830211317\ 72645/4356398487630846544307930566213209506335666881767535783900707\ 9038076910704773177043854055337380087657768472, c_0011_0 - 1, c_0011_1 + 777138580694606969884486251735197644622991804685480713786199\ 24851647853731945093684434232785270991408/1821846139022602268445939\ 5141406864780594123794611641786135446235395161719962017833662619328\ 11144515631*c_0101_6^28 - 66480848968391168578656985722332847991051\ 4763907032193989225381452323337714630405155338016957335210349/60728\ 2046340867422815313171380228826019804126487054726204514874513172057\ 332067261122087310937048171877*c_0101_6^27 + 1246329696465332256282291199504391069260008856962065960819271370499\ 0382446036811542793376163778763174004/18218461390226022684459395141\ 4068647805941237946116417861354462353951617199620178336626193281114\ 4515631*c_0101_6^26 - 319547884934421516309718455345507133900532347\ 18587325397623893217718510640937581549226521692622923272229/1821846\ 1390226022684459395141406864780594123794611641786135446235395161719\ 96201783366261932811144515631*c_0101_6^25 + 1291893441164180898071689876658024948325319994683217662159176432314\ 44984496590137034831181777435689226747/1821846139022602268445939514\ 1406864780594123794611641786135446235395161719962017833662619328111\ 44515631*c_0101_6^24 - 68552576139133679883852653317164005516455161\ 0570038166795379991421939547451798196465104601231155094441004/18218\ 4613902260226844593951414068647805941237946116417861354462353951617\ 1996201783366261932811144515631*c_0101_6^23 + 9700096662427652164868127814920033764449286628298838682275364276064\ 0627998261480205650950409077160630190/18218461390226022684459395141\ 4068647805941237946116417861354462353951617199620178336626193281114\ 4515631*c_0101_6^22 + 570068832651828957876232106047716761885950987\ 375727372188531424672690380651036517844949879684794174340576/607282\ 0463408674228153131713802288260198041264870547262045148745131720573\ 32067261122087310937048171877*c_0101_6^21 - 9445657804863625181867929450454837703493640995435564809121456625567\ 063451588700258713519516685332073108096/182184613902260226844593951\ 4140686478059412379461164178613544623539516171996201783366261932811\ 144515631*c_0101_6^20 + 1051853240020259823827215999506414291992342\ 4845700535071124472736210430241047983040132842792318463116277816/60\ 7282046340867422815313171380228826019804126487054726204514874513172\ 057332067261122087310937048171877*c_0101_6^19 + 2305797137166004034873396616111961926718759071449941338439230719466\ 1526413072160555905569064446321719149192/60728204634086742281531317\ 1380228826019804126487054726204514874513172057332067261122087310937\ 048171877*c_0101_6^18 - 4596272089715608864479878602245874930809879\ 6167916997472500315483731483272125338730002661070146340158696352/60\ 7282046340867422815313171380228826019804126487054726204514874513172\ 057332067261122087310937048171877*c_0101_6^17 - 1763531173185758293211982909918743531538880724009748348337137260746\ 70582760696158663883688843424890117784602/1821846139022602268445939\ 5141406864780594123794611641786135446235395161719962017833662619328\ 11144515631*c_0101_6^16 + 22714666801714601314249370185817407656781\ 7914505840010578997337378837535348861650366206857571786411873991199\ /182184613902260226844593951414068647805941237946116417861354462353\ 9516171996201783366261932811144515631*c_0101_6^15 + 1496240765484615428033821857397891963623089109610319223248237448921\ 90684934207977595249624123131702104470910/1821846139022602268445939\ 5141406864780594123794611641786135446235395161719962017833662619328\ 11144515631*c_0101_6^14 - 32900333452317641295057719642334049434175\ 2688601557585853405059541584341980363592430023891512585132195150789\ /182184613902260226844593951414068647805941237946116417861354462353\ 9516171996201783366261932811144515631*c_0101_6^13 - 2645466421638146235673608349609742840049630261749458252701479213213\ 08701213564674815965216955446395322250280/1821846139022602268445939\ 5141406864780594123794611641786135446235395161719962017833662619328\ 11144515631*c_0101_6^12 - 28370793004624154560023773990395750914059\ 5404403929205511020864657524590847482381416790617681674858055623/67\ 4757829267630469794792412644698695577560140541171918005016527236857\ 84148007473458009701215227574653*c_0101_6^11 + 1250880929631961060355977831116899354397192153570473446369403734952\ 5197639144183392811719595642430660304620/60728204634086742281531317\ 1380228826019804126487054726204514874513172057332067261122087310937\ 048171877*c_0101_6^10 + 5035656000057135923504981296512624172265981\ 3857294285183650693396256901269929612385389080211319823670198772/18\ 2184613902260226844593951414068647805941237946116417861354462353951\ 6171996201783366261932811144515631*c_0101_6^9 + 1051623726283342323615132881838487846737290687681616774048445144992\ 1678500000283385264768511973950333323350/60728204634086742281531317\ 1380228826019804126487054726204514874513172057332067261122087310937\ 048171877*c_0101_6^8 - 11978027254244035453404869313752564834287115\ 11707444636782694790913438334943405771491944450777890989678215/6072\ 8204634086742281531317138022882601980412648705472620451487451317205\ 7332067261122087310937048171877*c_0101_6^7 - 7583941517966318197035867841215018361792934004231180317166036234060\ 459050455916344824466938341982232224293/182184613902260226844593951\ 4140686478059412379461164178613544623539516171996201783366261932811\ 144515631*c_0101_6^6 - 66359343589123688509126240162995606559911050\ 6158697771361473779866655570361324037836474155842559207491029/60728\ 2046340867422815313171380228826019804126487054726204514874513172057\ 332067261122087310937048171877*c_0101_6^5 - 2795073473761099388764343983084190892423301675061347163571465748655\ 69377319989560354903388744374788738060/1821846139022602268445939514\ 1406864780594123794611641786135446235395161719962017833662619328111\ 44515631*c_0101_6^4 + 954852718558407946098218141570072216548956559\ 3468858591081028835163763786434386116900312284462117773691/20242734\ 8780289140938437723793409608673268042162351575401504958171057352444\ 022420374029103645682723959*c_0101_6^3 + 2701339193452766334546447169623650969944663830593653264786518055739\ 98834106888867569194768465149328785231/1821846139022602268445939514\ 1406864780594123794611641786135446235395161719962017833662619328111\ 44515631*c_0101_6^2 - 561763398671483717737755886413229816816358613\ 5117816753771866311593438374104737021352893848217740359908/18218461\ 3902260226844593951414068647805941237946116417861354462353951617199\ 6201783366261932811144515631*c_0101_6 - 1392958077666967753342086995546593854874381372845241927644522275667\ 7064435833355351502517586360126020297/18218461390226022684459395141\ 4068647805941237946116417861354462353951617199620178336626193281114\ 4515631, c_0011_4 - 156988323455700507493103329035693544968441835364364597723958\ 87703792124702574589838640910769040082245/2024273487802891409384377\ 2379340960867326804216235157540150495817105735244402242037402910364\ 5682723959*c_0101_6^28 + 133632836079976288125885780122984469915718\ 261012056031418666121677356124577905370233664323105064090627/674757\ 8292676304697947924126446986955775601405411719180050165272368578414\ 8007473458009701215227574653*c_0101_6^27 - 8224724474144480522041775389700524305512548887643581880820312097485\ 08960313632711156107644480379659130/6747578292676304697947924126446\ 9869557756014054117191800501652723685784148007473458009701215227574\ 653*c_0101_6^26 + 6157044419748209434883153606752748068643697231280\ 576935264737717417260781584386914440271576688697055837/202427348780\ 2891409384377237934096086732680421623515754015049581710573524440224\ 20374029103645682723959*c_0101_6^25 - 8468515077933698737094224732340430130492621789794375086063417400703\ 049369192697279251796231390601123392/674757829267630469794792412644\ 6986955775601405411719180050165272368578414800747345800970121522757\ 4653*c_0101_6^24 + 135470285329566224484722953928005604908900633680\ 145632981751174850577385287084959855292659160295504103368/202427348\ 7802891409384377237934096086732680421623515754015049581710573524440\ 22420374029103645682723959*c_0101_6^23 - 1107301255363654038610608971369397112023251395839744993022389520717\ 340006521735397969827211091889513224/674757829267630469794792412644\ 6986955775601405411719180050165272368578414800747345800970121522757\ 4653*c_0101_6^22 - 340991438253475796651734258324977434321714730153\ 186232687303412309984936249999842673588078459559805938761/202427348\ 7802891409384377237934096086732680421623515754015049581710573524440\ 22420374029103645682723959*c_0101_6^21 + 6219310565569284853443703299401534018613245145066687375665606057220\ 79320360982943206787019596592756931814/6747578292676304697947924126\ 4469869557756014054117191800501652723685784148007473458009701215227\ 574653*c_0101_6^20 - 2049977443280360948861885914463828678832225114\ 270897716201861613520365487709216147661145819163859178905202/674757\ 8292676304697947924126446986955775601405411719180050165272368578414\ 8007473458009701215227574653*c_0101_6^19 - 4895644495858442756744568985804046984209663644876020634364939272479\ 527116443117379356554952234812859941736/674757829267630469794792412\ 6446986955775601405411719180050165272368578414800747345800970121522\ 7574653*c_0101_6^18 + 859174568393638608110487044414510263963656296\ 5647748353638622197237269693426593788564887719148033328352992/67475\ 7829267630469794792412644698695577560140541171918005016527236857841\ 48007473458009701215227574653*c_0101_6^17 + 3829552412226042376334519412638682467285795105211680876471984812875\ 3450600882337133271054662999886576975875/20242734878028914093843772\ 3793409608673268042162351575401504958171057352444022420374029103645\ 682723959*c_0101_6^16 - 4022051889868904231287364238655007871152692\ 2155036913969438897429132403526066177793494696259245865366400015/20\ 2427348780289140938437723793409608673268042162351575401504958171057\ 352444022420374029103645682723959*c_0101_6^15 - 1123945989597749029306651603451348806013679544374494940733236726070\ 6837629805608117510191690454796806455387/67475782926763046979479241\ 2644698695577560140541171918005016527236857841480074734580097012152\ 27574653*c_0101_6^14 + 20375670631713229110573295596044517385793245\ 350350583869631298351327922284786119602766129758285759487488051/674\ 7578292676304697947924126446986955775601405411719180050165272368578\ 4148007473458009701215227574653*c_0101_6^13 + 1990725642058657546357466513073473461591194386901197744184198640854\ 1287606764740804792594094724043669656733/67475782926763046979479241\ 2644698695577560140541171918005016527236857841480074734580097012152\ 27574653*c_0101_6^12 + 10985271152647457256506551421647738555833605\ 587395104146061628319447503908400682340898862190679298559338031/202\ 4273487802891409384377237934096086732680421623515754015049581710573\ 52444022420374029103645682723959*c_0101_6^11 - 3510860130408746017131720788829454491707096828865403276408339890911\ 180988283556227612763776856598178831846/202427348780289140938437723\ 7934096086732680421623515754015049581710573524440224203740291036456\ 82723959*c_0101_6^10 - 94562150478759365037939962044423994074974180\ 14018694510964929587928819382431666052241484544836589552110848/2024\ 2734878028914093843772379340960867326804216235157540150495817105735\ 2444022420374029103645682723959*c_0101_6^9 - 7324476132719122170614522850007774974741819926534978815610235189749\ 336792098400984133367930744248445529603/202427348780289140938437723\ 7934096086732680421623515754015049581710573524440224203740291036456\ 82723959*c_0101_6^8 - 148840853232782123981386415764645997968351794\ 389112018843919824952042958677168388012192730571992182412356/674757\ 8292676304697947924126446986955775601405411719180050165272368578414\ 8007473458009701215227574653*c_0101_6^7 + 3818951487519029996150069763339746462634319305117587899589188770928\ 28045331355418907844321145148665700959/6747578292676304697947924126\ 4469869557756014054117191800501652723685784148007473458009701215227\ 574653*c_0101_6^6 + 43515363223309892010262658958477604254939254902\ 1860681841981388515112654970326871671248475857235931865426/20242734\ 8780289140938437723793409608673268042162351575401504958171057352444\ 022420374029103645682723959*c_0101_6^5 + 3871270587722362137119735018186731991181361052553249827570033102702\ 2133622755386180580147265302808771153/67475782926763046979479241264\ 4698695577560140541171918005016527236857841480074734580097012152275\ 74653*c_0101_6^4 + 361783062168880519561836430527092524487608708858\ 6172000421516738925327601406285280530337643968159947134/67475782926\ 7630469794792412644698695577560140541171918005016527236857841480074\ 73458009701215227574653*c_0101_6^3 - 4574114137786628183676592910575149872372560936649381110156585121332\ 7806008530314191253965014966842811251/20242734878028914093843772379\ 3409608673268042162351575401504958171057352444022420374029103645682\ 723959*c_0101_6^2 - 18544891989628311767271436091293927105245866275\ 07945720822545501338180287714276692269985051006601519948/2024273487\ 8028914093843772379340960867326804216235157540150495817105735244402\ 2420374029103645682723959*c_0101_6 + 6557422250642324753226868714081281215786305802118079494317862802186\ 70478354247300673633814935728533413/6747578292676304697947924126446\ 9869557756014054117191800501652723685784148007473458009701215227574\ 653, c_0011_6 - 341037496579266669193663434266868018781190852497749553474699\ 07077224235640251640677408803541838851736/1821846139022602268445939\ 5141406864780594123794611641786135446235395161719962017833662619328\ 11144515631*c_0101_6^28 + 29089438867802660378259482231540513206393\ 9262611146388388602087741556100987193448589955784037556809130/60728\ 2046340867422815313171380228826019804126487054726204514874513172057\ 332067261122087310937048171877*c_0101_6^27 - 5405447868032568274334968671209691302744126188778517198428699333048\ 188232947753935519929845561101080132/182184613902260226844593951414\ 0686478059412379461164178613544623539516171996201783366261932811144\ 515631*c_0101_6^26 + 1365006148601285042795412053046589274120150919\ 5922973368599436666220584623379577851494612693535345745043/18218461\ 3902260226844593951414068647805941237946116417861354462353951617199\ 6201783366261932811144515631*c_0101_6^25 - 5585053185548994612953547330478267450389990857138688160570972070555\ 2542545108392977875007901611515952509/18218461390226022684459395141\ 4068647805941237946116417861354462353951617199620178336626193281114\ 4515631*c_0101_6^24 + 297052991281518381638646304733761071744639222\ 676735591028791138584205064055960276112320824340417495868051/182184\ 6139022602268445939514140686478059412379461164178613544623539516171\ 996201783366261932811144515631*c_0101_6^23 - 2216353882836182265388792473256977343028504079451762140440329647488\ 5013296791528226763569343023100921479/18218461390226022684459395141\ 4068647805941237946116417861354462353951617199620178336626193281114\ 4515631*c_0101_6^22 - 247517120223884881382804720826567141956249674\ 027732526528248298816868853865740352609689576505005958243995/607282\ 0463408674228153131713802288260198041264870547262045148745131720573\ 32067261122087310937048171877*c_0101_6^21 + 4094429210841055597035542804462837148421922423254861352892390166864\ 379463708492333399800467631085098164435/182184613902260226844593951\ 4140686478059412379461164178613544623539516171996201783366261932811\ 144515631*c_0101_6^20 - 4522287218326426161387335312682941786010403\ 697828952619141819698247830905031031579260728218503453887584018/607\ 2820463408674228153131713802288260198041264870547262045148745131720\ 57332067261122087310937048171877*c_0101_6^19 - 1041210501147583110156211454706601799575063790856048182696865727359\ 2980036237910790110332442421628639535167/60728204634086742281531317\ 1380228826019804126487054726204514874513172057332067261122087310937\ 048171877*c_0101_6^18 + 1925683969979735558899480698984083418204084\ 5305984551169962637235235784414783419203599718579341545389601194/60\ 7282046340867422815313171380228826019804126487054726204514874513172\ 057332067261122087310937048171877*c_0101_6^17 + 8034228842420528351503907198971960649652911047653543067088659777509\ 6703720909048350975170340655878936502684/18218461390226022684459395\ 1414068647805941237946116417861354462353951617199620178336626193281\ 1144515631*c_0101_6^16 - 923435873136586854353489735168046231288519\ 56776464779569485339489220058007603243899530766056340710946864495/1\ 8218461390226022684459395141406864780594123794611641786135446235395\ 16171996201783366261932811144515631*c_0101_6^15 - 6882175666481762286390133279665869326877483257700680749880476813480\ 5474285273778900060760101449267114433350/18218461390226022684459395\ 1414068647805941237946116417861354462353951617199620178336626193281\ 1144515631*c_0101_6^14 + 137874790914928008204923377687356014539118\ 345938438940294232833426810629282618603804411890682740611025902345/\ 1821846139022602268445939514140686478059412379461164178613544623539\ 516171996201783366261932811144515631*c_0101_6^13 + 1229200658174957849735791997107641941247852184554827623080875485955\ 51383791866574699800488173907792668208781/1821846139022602268445939\ 5141406864780594123794611641786135446235395161719962017833662619328\ 11144515631*c_0101_6^12 + 17518060952513630976119123080307810221594\ 61939448606520868791474109100569105174607388972307176108728431344/2\ 0242734878028914093843772379340960867326804216235157540150495817105\ 7352444022420374029103645682723959*c_0101_6^11 - 2989021462752141142949367767947390413698693262905765816571266347419\ 292121046150498253985684996547727524169/607282046340867422815313171\ 3802288260198041264870547262045148745131720573320672611220873109370\ 48171877*c_0101_6^10 - 19005142694387784977099689980157146787791121\ 885470615131662114052325170895981730496794318276212678432088075/182\ 1846139022602268445939514140686478059412379461164178613544623539516\ 171996201783366261932811144515631*c_0101_6^9 - 4580888932671523814928420600452783533031319285463221534261847672661\ 405227206320581135379635498389761075974/607282046340867422815313171\ 3802288260198041264870547262045148745131720573320672611220873109370\ 48171877*c_0101_6^8 + 174431000319884503427447662119923599254844792\ 783599439575922407003431802216136305340154795924933297933822/607282\ 0463408674228153131713802288260198041264870547262045148745131720573\ 32067261122087310937048171877*c_0101_6^7 + 2707057856724199827162181107789444706977993365641250658584473402770\ 866265105041380312916553013811001163628/182184613902260226844593951\ 4140686478059412379461164178613544623539516171996201783366261932811\ 144515631*c_0101_6^6 + 23576064543807458436265029292354274297318496\ 0918879239031573481601958580183110362346272153597491647671882/60728\ 2046340867422815313171380228826019804126487054726204514874513172057\ 332067261122087310937048171877*c_0101_6^5 + 9706152563837317856203427564654151787760281592645241127689110930457\ 3033431785228023380497087724556779489/18218461390226022684459395141\ 4068647805941237946116417861354462353951617199620178336626193281114\ 4515631*c_0101_6^4 - 2678721168457895966288786539688169662354247906\ 520899046378384647992264703610989374918762662019355141526/202427348\ 7802891409384377237934096086732680421623515754015049581710573524440\ 22420374029103645682723959*c_0101_6^3 - 1078365629308895230883978648241653470821999553696343861515919262073\ 47939574159883013001719058333264511921/1821846139022602268445939514\ 1406864780594123794611641786135446235395161719962017833662619328111\ 44515631*c_0101_6^2 + 382329055417605455849487738309159000840160259\ 9160014943324427637676927480083858816712630429518537825078/18218461\ 3902260226844593951414068647805941237946116417861354462353951617199\ 6201783366261932811144515631*c_0101_6 + 6234925635448794393193352178529300791257229186473619685544187319812\ 262927488990505058447874957754513882/182184613902260226844593951414\ 0686478059412379461164178613544623539516171996201783366261932811144\ 515631, c_0101_0 - 785764619815985272784552265555693985237373610859902248484154\ 21349039235027263866467011084956267300712/1821846139022602268445939\ 5141406864780594123794611641786135446235395161719962017833662619328\ 11144515631*c_0101_6^28 + 66689846273019238585233058928249664135616\ 3804306390339996696414430460439953118994508910241962882790717/60728\ 2046340867422815313171380228826019804126487054726204514874513172057\ 332067261122087310937048171877*c_0101_6^27 - 1220237428101015059930745627339807723201427903574485516739507384448\ 1864337750851025011677276427599460394/18218461390226022684459395141\ 4068647805941237946116417861354462353951617199620178336626193281114\ 4515631*c_0101_6^26 + 299659677559990305225841044670811064242552160\ 25107046766701733339372924645866738682254289554820627955167/1821846\ 1390226022684459395141406864780594123794611641786135446235395161719\ 96201783366261932811144515631*c_0101_6^25 - 1252986362584344289661851004423175128401751530150759037393821269697\ 46169189245458502837686398216623688242/1821846139022602268445939514\ 1406864780594123794611641786135446235395161719962017833662619328111\ 44515631*c_0101_6^24 + 66958393241949311961516460078985924964158989\ 4521548744670820133462405617304773958386711358933367891402618/18218\ 4613902260226844593951414068647805941237946116417861354462353951617\ 1996201783366261932811144515631*c_0101_6^23 + 2964477020448782642500967080629057504220081192666694414002279963332\ 0201716462819907573996196598205215297/18218461390226022684459395141\ 4068647805941237946116417861354462353951617199620178336626193281114\ 4515631*c_0101_6^22 - 561063144624687716322695970912957680629300317\ 046570274523711481886156743078950456426386594780005176863966/607282\ 0463408674228153131713802288260198041264870547262045148745131720573\ 32067261122087310937048171877*c_0101_6^21 + 9215562185742886946592965507676455311402197692980265766438439299631\ 729409476570447442117784981783522671548/182184613902260226844593951\ 4140686478059412379461164178613544623539516171996201783366261932811\ 144515631*c_0101_6^20 - 1004699535447762729162858652890289767090403\ 6177673564242271844173478492742124147317702147753725184773309031/60\ 7282046340867422815313171380228826019804126487054726204514874513172\ 057332067261122087310937048171877*c_0101_6^19 - 2516129598749696885189037843109755847347399077381548755142079597527\ 4236583638035576988243504141721658005431/60728204634086742281531317\ 1380228826019804126487054726204514874513172057332067261122087310937\ 048171877*c_0101_6^18 + 4080021088533452704542121453017894039250514\ 6797319166680398815897926944728574299859007385060488545929356564/60\ 7282046340867422815313171380228826019804126487054726204514874513172\ 057332067261122087310937048171877*c_0101_6^17 + 1983352166880041766563438557883310349660961611892806669554702084560\ 56304116907978237075275072494177684286543/1821846139022602268445939\ 5141406864780594123794611641786135446235395161719962017833662619328\ 11144515631*c_0101_6^16 - 18294128291904279644071323935800505017008\ 5364052369413358547607541514062229361516114569355724579653558193127\ /182184613902260226844593951414068647805941237946116417861354462353\ 9516171996201783366261932811144515631*c_0101_6^15 - 1758638910329228738937145198538062784350527155065545198482569741298\ 59754761359313402613364619118859081895004/1821846139022602268445939\ 5141406864780594123794611641786135446235395161719962017833662619328\ 11144515631*c_0101_6^14 + 28829350752079509466799019938602346392235\ 3543581855222073019542088757230681043362914298931614049819614780908\ /182184613902260226844593951414068647805941237946116417861354462353\ 9516171996201783366261932811144515631*c_0101_6^13 + 3148847484198090732318076005546839000862479339640453637628390376414\ 05375239601131537696198715671323052602245/1821846139022602268445939\ 5141406864780594123794611641786135446235395161719962017833662619328\ 11144515631*c_0101_6^12 + 28779798452609364147701613975450007663080\ 208518059118176491559779900539840203405539687778529300615543933955/\ 6072820463408674228153131713802288260198041264870547262045148745131\ 72057332067261122087310937048171877*c_0101_6^11 - 1153726303975549032657879441635211086274864776559594053356168743495\ 49813517493314518761296635584999775397/6072820463408674228153131713\ 8022882601980412648705472620451487451317205733206726112208731093704\ 8171877*c_0101_6^10 - 418846289337383891127262066443081142187182266\ 67004617232672591965351159375793061253428446462352594890377564/1821\ 8461390226022684459395141406864780594123794611641786135446235395161\ 71996201783366261932811144515631*c_0101_6^9 - 1407873897656373727436771620066357739037139856971946214389996357244\ 521027883499338693818115103670200550657/674757829267630469794792412\ 6446986955775601405411719180050165272368578414800747345800970121522\ 7574653*c_0101_6^8 - 2041871055613865369328711978653714753995788910\ 493581860620836916059933488228570562915886191664386456794866/607282\ 0463408674228153131713802288260198041264870547262045148745131720573\ 32067261122087310937048171877*c_0101_6^7 + 3774879663552729306604161503786969125751796437481481146451725770280\ 099920966480107855610886983929528185983/182184613902260226844593951\ 4140686478059412379461164178613544623539516171996201783366261932811\ 144515631*c_0101_6^6 + 21594127099583376837297315971749386114345129\ 7679146101895720038021167871127842489480905658127603874157340/20242\ 7348780289140938437723793409608673268042162351575401504958171057352\ 444022420374029103645682723959*c_0101_6^5 + 6813875751905083227436871240977425942571728437761842400615510374043\ 13253243690017799273685844409311309456/1821846139022602268445939514\ 1406864780594123794611641786135446235395161719962017833662619328111\ 44515631*c_0101_6^4 + 181584526778562703120440070044330140753258839\ 71892928970446119337899202342102518564396350244053385832611/2024273\ 4878028914093843772379340960867326804216235157540150495817105735244\ 4022420374029103645682723959*c_0101_6^3 - 1711664779897048475268959840742198772652674246372404268191575004319\ 63708808426290165684135334320874566595/1821846139022602268445939514\ 1406864780594123794611641786135446235395161719962017833662619328111\ 44515631*c_0101_6^2 - 940285016698646421596125929544121438527154970\ 3662432594449468384900363582302676307248745034595869444790/18218461\ 3902260226844593951414068647805941237946116417861354462353951617199\ 6201783366261932811144515631*c_0101_6 + 5892523334679133412250890437884267692559336749346773532541250048116\ 192734847878374444134039486703185741/182184613902260226844593951414\ 0686478059412379461164178613544623539516171996201783366261932811144\ 515631, c_0101_2 + 701113417503222977574028319066483144655591059073695660025654\ 66202485957413337863970572682735177214381/6072820463408674228153131\ 7138022882601980412648705472620451487451317205733206726112208731093\ 7048171877*c_0101_6^28 - 178918581352018741976931840202738938505274\ 4062963663707107624466450720303299794158072699897554298842278/60728\ 2046340867422815313171380228826019804126487054726204514874513172057\ 332067261122087310937048171877*c_0101_6^27 + 3662819803440843604966915102496907485592379934907400030386169835045\ 583432747657171054692787006960625343/202427348780289140938437723793\ 4096086732680421623515754015049581710573524440224203740291036456827\ 23959*c_0101_6^26 - 27315293675138743021467354960440058080102901883\ 225067913778503448346115353782648481330424372184625340797/607282046\ 3408674228153131713802288260198041264870547262045148745131720573320\ 67261122087310937048171877*c_0101_6^25 + 1130466302003348080566276380727325274834819523531799443208728785116\ 04217483427613230725236079053493466234/6072820463408674228153131713\ 8022882601980412648705472620451487451317205733206726112208731093704\ 8171877*c_0101_6^24 - 603166106855076266403566163341956586833912885\ 343822932300982803730479754396530558586386722106348485405568/607282\ 0463408674228153131713802288260198041264870547262045148745131720573\ 32067261122087310937048171877*c_0101_6^23 + 4865189401037750118313409413735030911553098231255107496531891012542\ 508441154770406877030693888089968368/607282046340867422815313171380\ 2288260198041264870547262045148745131720573320672611220873109370481\ 71877*c_0101_6^22 + 15193496977203735569600726338083474187509661752\ 77594233072974553156028927687057620677804890114359278223112/6072820\ 4634086742281531317138022882601980412648705472620451487451317205733\ 2067261122087310937048171877*c_0101_6^21 - 8307708945716093206763251996400119712353094606235126323248972420450\ 456617978764214980340810858795580399702/607282046340867422815313171\ 3802288260198041264870547262045148745131720573320672611220873109370\ 48171877*c_0101_6^20 + 91096078297917044674262788002627548232170921\ 46030957956823645555369163620899057268164227045176618902113636/2024\ 2734878028914093843772379340960867326804216235157540150495817105735\ 2444022420374029103645682723959*c_0101_6^19 + 2200792302235248752899244916183493696394427543831014628262377171412\ 3353713876580339664124161759858634309675/20242734878028914093843772\ 3793409608673268042162351575401504958171057352444022420374029103645\ 682723959*c_0101_6^18 - 3793141245078406600659814997413891610119878\ 1315622947028607017654670721179233479671567754300454275614372395/20\ 2427348780289140938437723793409608673268042162351575401504958171057\ 352444022420374029103645682723959*c_0101_6^17 - 1725212936036642210969434077793493211151550170640228327389018858845\ 28358618428923109686268555335125017337618/6072820463408674228153131\ 7138022882601980412648705472620451487451317205733206726112208731093\ 7048171877*c_0101_6^16 + 176066744967411282993125137540688140223227\ 722600701201632674933576610946758191906605972276761270479843774554/\ 6072820463408674228153131713802288260198041264870547262045148745131\ 72057332067261122087310937048171877*c_0101_6^15 + 1522814344779554596530870166033788352525995921420584564632096300073\ 98448834626471551651044249433174207332203/6072820463408674228153131\ 7138022882601980412648705472620451487451317205733206726112208731093\ 7048171877*c_0101_6^14 - 899262151517788727123027887285803141562424\ 19469382522664676339601983678369527872491031827015496808688685368/2\ 0242734878028914093843772379340960867326804216235157540150495817105\ 7352444022420374029103645682723959*c_0101_6^13 - 3001876179560236521778974627276308332672320336877775143383299952823\ 0338859879656506295167238042267771835040/67475782926763046979479241\ 2644698695577560140541171918005016527236857841480074734580097012152\ 27574653*c_0101_6^12 - 55003542631698790607759895420543571969367994\ 697777529003796662722341969857531195795280066941021921141750288/607\ 2820463408674228153131713802288260198041264870547262045148745131720\ 57332067261122087310937048171877*c_0101_6^11 + 1235532430781776202618419171176703992152046731732442055223550171262\ 0853000690074927002350606849514366903374/60728204634086742281531317\ 1380228826019804126487054726204514874513172057332067261122087310937\ 048171877*c_0101_6^10 + 1366331998916418273998040984341947906848164\ 7810405143383019339867870457769502307789215830142532756820449607/20\ 2427348780289140938437723793409608673268042162351575401504958171057\ 352444022420374029103645682723959*c_0101_6^9 + 3291871148654174325499639414139726957535237804229239565148077865108\ 9783910517361943872274721684606533904126/60728204634086742281531317\ 1380228826019804126487054726204514874513172057332067261122087310937\ 048171877*c_0101_6^8 + 27438360199227550644794691768086550054885921\ 18096906771667565106664869607574703899331127431002469162008012/6072\ 8204634086742281531317138022882601980412648705472620451487451317205\ 7332067261122087310937048171877*c_0101_6^7 - 1577246320159151738455529884905106317227698885661052976840504790980\ 057413330526300026022426593388033294139/202427348780289140938437723\ 7934096086732680421623515754015049581710573524440224203740291036456\ 82723959*c_0101_6^6 - 187418604523643612882411051239111659913067320\ 9745749395788958460770528694386149917393601851036477130160836/60728\ 2046340867422815313171380228826019804126487054726204514874513172057\ 332067261122087310937048171877*c_0101_6^5 - 5232088405489583309329492949972412233843948640945404599385171114440\ 22870580933632783624230555003142310284/6072820463408674228153131713\ 8022882601980412648705472620451487451317205733206726112208731093704\ 8171877*c_0101_6^4 - 2325541510470917608587423839256791887323877736\ 4743198327617198210468421074559209619189363985255158009761/20242734\ 8780289140938437723793409608673268042162351575401504958171057352444\ 022420374029103645682723959*c_0101_6^3 + 1917310129786739093185945050284876790131126227977504424179108679025\ 02368819917323337679217855882654029715/6072820463408674228153131713\ 8022882601980412648705472620451487451317205733206726112208731093704\ 8171877*c_0101_6^2 + 2618502952933317715671429887155983546450340832\ 901563634223105411972317750693851218942364076511031116220/202427348\ 7802891409384377237934096086732680421623515754015049581710573524440\ 22420374029103645682723959*c_0101_6 - 8406304483315511386444158493420922052282872010262403358114539822706\ 803212617895039950766727459230707124/607282046340867422815313171380\ 2288260198041264870547262045148745131720573320672611220873109370481\ 71877, c_0101_6^29 - 26*c_0101_6^28 + 169*c_0101_6^27 - 465*c_0101_6^26 + 1800*c_0101_6^25 - 9379*c_0101_6^24 + 4209*c_0101_6^23 + 21620*c_0101_6^22 - 128906*c_0101_6^21 + 446785*c_0101_6^20 + 754086*c_0101_6^19 - 2075055*c_0101_6^18 - 1678901*c_0101_6^17 + 3691892*c_0101_6^16 + 961040*c_0101_6^15 - 4889823*c_0101_6^14 - 2000258*c_0101_6^13 + 1064369*c_0101_6^12 + 545676*c_0101_6^11 + 495863*c_0101_6^10 + 188300*c_0101_6^9 - 186432*c_0101_6^8 - 85678*c_0101_6^7 + 6386*c_0101_6^6 + 5411*c_0101_6^5 + 2564*c_0101_6^4 + 3202*c_0101_6^3 - 1224*c_0101_6^2 - 180*c_0101_6 + 61 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB