Magma V2.19-8 Tue Aug 20 2013 16:16:12 on localhost [Seed = 3035965559] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0460 geometric_solution 4.49723718 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 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 1 0 -1 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.369219679034 0.070466214552 0 0 2 2 0132 2310 2310 0132 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.884815693434 0.461251902627 3 1 1 3 0132 3201 0132 1023 0 0 0 0 0 1 0 -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 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 1.157655209046 0.284679101412 2 4 5 2 0132 0132 0132 1023 0 0 0 0 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 1 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.641642961065 0.491991938267 6 3 5 5 0132 0132 1302 2031 0 0 0 0 0 0 0 0 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 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.437554159332 0.397718743855 4 4 6 3 2031 1302 0132 0132 0 0 0 0 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 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.437554159332 0.397718743855 4 6 6 5 0132 1230 3012 0132 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 -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.748536018777 1.137529313748 ==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' : 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' : negation(d['c_0011_2']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : negation(d['c_0011_2']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0011_2'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_5'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : negation(d['c_0011_5']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_2, c_0011_5, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 2500365886280354512005926028290454007546883517331838703169988240095\ 97/3848739986561921498383485748813869692749781497721347385362655005\ 817*c_0101_6^29 - 3827755165046610929419555328618623813188168209327\ 54562102217076633400/3848739986561921498383485748813869692749781497\ 721347385362655005817*c_0101_6^28 + 8694099489498998046560859108305176796787549693340701167974574915364\ 281/384873998656192149838348574881386969274978149772134738536265500\ 5817*c_0101_6^27 + 386162871847920769107397063914037947639549359100\ 12646089063901818563381/3848739986561921498383485748813869692749781\ 497721347385362655005817*c_0101_6^26 - 5061268266499921449727970853312703525854492877389164167720558104892\ 4023/38487399865619214983834857488138696927497814977213473853626550\ 05817*c_0101_6^25 - 49628598690086334738229320509431988048468550764\ 7288693826143378514003412/38487399865619214983834857488138696927497\ 81497721347385362655005817*c_0101_6^24 - 8163392945540587769153276911647046083806629068939806168427128685809\ 05372/3848739986561921498383485748813869692749781497721347385362655\ 005817*c_0101_6^23 + 3484522661575854783127136865181670609052344277\ 05027803183401259491841550/3848739986561921498383485748813869692749\ 781497721347385362655005817*c_0101_6^22 + 2536503065393006862435139837627783090171203460469456180777404286507\ 099511/384873998656192149838348574881386969274978149772134738536265\ 5005817*c_0101_6^21 + 100217532583020701742548049017797826517726605\ 4937170782780411789230108591/38487399865619214983834857488138696927\ 49781497721347385362655005817*c_0101_6^20 - 3391769367347160936602513627105837570406590538237281530462150788383\ 244625/384873998656192149838348574881386969274978149772134738536265\ 5005817*c_0101_6^19 + 813344254639243745779071778727857063673159946\ 322120297680904189520909189/384873998656192149838348574881386969274\ 9781497721347385362655005817*c_0101_6^18 + 6926433282738548152559703681751432814549217180750931873115339964407\ 371533/384873998656192149838348574881386969274978149772134738536265\ 5005817*c_0101_6^17 - 183969557662658679103478264272825209014224555\ 6633814244969183888129188099/38487399865619214983834857488138696927\ 49781497721347385362655005817*c_0101_6^16 - 7848670753826394807396187260409314130847784280159914707133205462892\ 253463/384873998656192149838348574881386969274978149772134738536265\ 5005817*c_0101_6^15 + 162049142571976313818769182179021878215845269\ 7155758485245343831074331421/38487399865619214983834857488138696927\ 49781497721347385362655005817*c_0101_6^14 + 4928258936943803009758358397025403740874810835028243549421748575462\ 071957/384873998656192149838348574881386969274978149772134738536265\ 5005817*c_0101_6^13 - 331444210191550898103067409195056603090168518\ 2451188656524823100310527617/38487399865619214983834857488138696927\ 49781497721347385362655005817*c_0101_6^12 - 5548323474569654527248402069626071079148906515865542712936083304623\ 439949/384873998656192149838348574881386969274978149772134738536265\ 5005817*c_0101_6^11 + 228960410837242722120701502115172058110183786\ 5336550789017245094317736609/38487399865619214983834857488138696927\ 49781497721347385362655005817*c_0101_6^10 + 3788623918409724982504225148134046239919675391920688625597449334135\ 380035/384873998656192149838348574881386969274978149772134738536265\ 5005817*c_0101_6^9 - 1836278080696988981979716213955642905958226392\ 717489005993434388748042556/384873998656192149838348574881386969274\ 9781497721347385362655005817*c_0101_6^8 - 1265010887096185531548707414176066643759374951899648705718165852791\ 794187/384873998656192149838348574881386969274978149772134738536265\ 5005817*c_0101_6^7 + 1256991573036761077129651405442666482822697475\ 308932645680302685489273396/384873998656192149838348574881386969274\ 9781497721347385362655005817*c_0101_6^6 + 6649269248572456149595464943378447424687922143930895169675564132165\ 31304/3848739986561921498383485748813869692749781497721347385362655\ 005817*c_0101_6^5 - 19585345917734865911074144373374968094864524497\ 7159071941255086222509823/38487399865619214983834857488138696927497\ 81497721347385362655005817*c_0101_6^4 - 2399129096226649480962682807932343642702331789331957974306405187489\ 85390/3848739986561921498383485748813869692749781497721347385362655\ 005817*c_0101_6^3 + 20951035642656987403845962108954965038995080473\ 55349680165725987577909/3848739986561921498383485748813869692749781\ 497721347385362655005817*c_0101_6^2 + 7885230508933274613242451027395178463743367718262409776827790799972\ 900/384873998656192149838348574881386969274978149772134738536265500\ 5817*c_0101_6 + 413678017368347142564269357048773299759363121046095\ 9593743586419853286/38487399865619214983834857488138696927497814977\ 21347385362655005817, c_0011_0 - 1, c_0011_2 - 248718135117386151219872472439346345802155971770098401184587\ 709201/384873998656192149838348574881386969274978149772134738536265\ 5005817*c_0101_6^29 - 118135060210770033314810939409981464468323506\ 120837343578003103793/384873998656192149838348574881386969274978149\ 7721347385362655005817*c_0101_6^28 + 8628699221880059900142357655252504807284903812304089250833335691141\ /384873998656192149838348574881386969274978149772134738536265500581\ 7*c_0101_6^27 + 292262913014774815716413687801612008740178741661015\ 24164797830295402/3848739986561921498383485748813869692749781497721\ 347385362655005817*c_0101_6^26 - 7619324056716228038151320100527996\ 0216449760953874162858679868863049/38487399865619214983834857488138\ 69692749781497721347385362655005817*c_0101_6^25 - 3960374389731850147535765860918299680931333228119504503897718885983\ 74/3848739986561921498383485748813869692749781497721347385362655005\ 817*c_0101_6^24 - 4376177746639450362410878784397394972749228425226\ 90827799181200180914/3848739986561921498383485748813869692749781497\ 721347385362655005817*c_0101_6^23 + 5762646186350897190246805388262177566004619407647628307847805905927\ 01/3848739986561921498383485748813869692749781497721347385362655005\ 817*c_0101_6^22 + 1654941742995301266220720130110099052461123824104\ 728655326170818224520/384873998656192149838348574881386969274978149\ 7721347385362655005817*c_0101_6^21 - 4174174694445635318111447140633848864732202531146771396980061518476\ 86/3848739986561921498383485748813869692749781497721347385362655005\ 817*c_0101_6^20 - 1965972168933685847189159501679389249882431248091\ 457894432525011311982/384873998656192149838348574881386969274978149\ 7721347385362655005817*c_0101_6^19 + 2636735585430750492621791649786454295920473340895092097120074987202\ 077/384873998656192149838348574881386969274978149772134738536265500\ 5817*c_0101_6^18 + 292538446584136235805217493896555423802577673772\ 6305381663253100494537/38487399865619214983834857488138696927497814\ 97721347385362655005817*c_0101_6^17 - 3322650855358163281499426035160810860182809912815252697937546131641\ 187/384873998656192149838348574881386969274978149772134738536265500\ 5817*c_0101_6^16 - 248632471224341994536149551654474525854494812155\ 4028867179875081735678/38487399865619214983834857488138696927497814\ 97721347385362655005817*c_0101_6^15 + 2163847307881057897335354927360547460921510835945864995332643736868\ 669/384873998656192149838348574881386969274978149772134738536265500\ 5817*c_0101_6^14 + 117326331785641936515467958117574405632014197410\ 7189974248443482340837/38487399865619214983834857488138696927497814\ 97721347385362655005817*c_0101_6^13 - 3039889300133490148855946275078464890325264877896638433655038900092\ 585/384873998656192149838348574881386969274978149772134738536265500\ 5817*c_0101_6^12 - 173650516613445717694427788322314912619440768634\ 7117486442006359354011/38487399865619214983834857488138696927497814\ 97721347385362655005817*c_0101_6^11 + 2188118090873260771554894866323969690923355662483181696247237934624\ 815/384873998656192149838348574881386969274978149772134738536265500\ 5817*c_0101_6^10 + 503775770031714581964112464931242353050196193158\ 068111957858949916908/384873998656192149838348574881386969274978149\ 7721347385362655005817*c_0101_6^9 - 1008202290484914926261977039728476786878453166495655329906363773994\ 418/384873998656192149838348574881386969274978149772134738536265500\ 5817*c_0101_6^8 + 9740698017483413817032752417282112000301057791544\ 766644929803874877/384873998656192149838348574881386969274978149772\ 1347385362655005817*c_0101_6^7 + 5155850575685636354465439030859558\ 01422746487758774684216007919907100/3848739986561921498383485748813\ 869692749781497721347385362655005817*c_0101_6^6 + 2363994736223054771701939331090148258852703692801340662151847867217\ 45/3848739986561921498383485748813869692749781497721347385362655005\ 817*c_0101_6^5 - 12406945043366213860204104475414401109331544001078\ 1279167436143287638/38487399865619214983834857488138696927497814977\ 21347385362655005817*c_0101_6^4 - 330218021166746034513254279703261\ 64214574539226874381075413369190694/3848739986561921498383485748813\ 869692749781497721347385362655005817*c_0101_6^3 - 7324224517228501443748309773663565959913573551504203774865291171524\ /384873998656192149838348574881386969274978149772134738536265500581\ 7*c_0101_6^2 + 3426251872380398389653268369223039394391210904413553\ 475931082867300/384873998656192149838348574881386969274978149772134\ 7385362655005817*c_0101_6 - 285453612053897561687847820188424773597\ 727392473988332700618446129/384873998656192149838348574881386969274\ 9781497721347385362655005817, c_0011_5 - 298274520561925804073331227131345276753580991142555748477214\ 423932/384873998656192149838348574881386969274978149772134738536265\ 5005817*c_0101_6^29 - 819046413169950113305459678761653238640001507\ 42005399102496626136/3848739986561921498383485748813869692749781497\ 721347385362655005817*c_0101_6^28 + 1039820172458477478355365332084092325149058935564080729495231887794\ 6/38487399865619214983834857488138696927497814977213473853626550058\ 17*c_0101_6^27 + 32986205938590104336858741894880023885932636336989\ 879096487987200652/384873998656192149838348574881386969274978149772\ 1347385362655005817*c_0101_6^26 - 991674149364577394275859002771461\ 24052289511801187150171543396113515/3848739986561921498383485748813\ 869692749781497721347385362655005817*c_0101_6^25 - 4591877286393265195707744130571858987186391019077910324044249772775\ 89/3848739986561921498383485748813869692749781497721347385362655005\ 817*c_0101_6^24 - 4225539178079694750253237009430585338397724790846\ 44575814672774390874/3848739986561921498383485748813869692749781497\ 721347385362655005817*c_0101_6^23 + 8316843324825378950480243158497602588052638672838980385205534603498\ 60/3848739986561921498383485748813869692749781497721347385362655005\ 817*c_0101_6^22 + 1879639359200630433998129033317766814080908152319\ 676996282545161843282/384873998656192149838348574881386969274978149\ 7721347385362655005817*c_0101_6^21 - 9596542260105049572377299986446138007816465403007873401861492646628\ 29/3848739986561921498383485748813869692749781497721347385362655005\ 817*c_0101_6^20 - 2400965696632128222654818418449651613325731777018\ 870853273031388282809/384873998656192149838348574881386969274978149\ 7721347385362655005817*c_0101_6^19 + 3706551426924624033801679922948410738612657080980324079855430702798\ 550/384873998656192149838348574881386969274978149772134738536265500\ 5817*c_0101_6^18 + 306896161217636611544172187519293509605145640114\ 5455902442427873008533/38487399865619214983834857488138696927497814\ 97721347385362655005817*c_0101_6^17 - 5002597851672440416854081869965096117342746140617963469807474574918\ 645/384873998656192149838348574881386969274978149772134738536265500\ 5817*c_0101_6^16 - 242860134656919666805916159483531277001787050521\ 2673681373857520799560/38487399865619214983834857488138696927497814\ 97721347385362655005817*c_0101_6^15 + 3637032356120139880428486807918114402431264054218268573990423244986\ 809/384873998656192149838348574881386969274978149772134738536265500\ 5817*c_0101_6^14 + 100972871254319831242711007358665405475058034322\ 6555578619796117915401/38487399865619214983834857488138696927497814\ 97721347385362655005817*c_0101_6^13 - 4230046913754969956119333950805558168395557647975624096441583452756\ 798/384873998656192149838348574881386969274978149772134738536265500\ 5817*c_0101_6^12 - 135463455184917961523810247612617485335380555982\ 1992475055220499701263/38487399865619214983834857488138696927497814\ 97721347385362655005817*c_0101_6^11 + 3358213838189795562236049385280885747976416726424816203932705087611\ 922/384873998656192149838348574881386969274978149772134738536265500\ 5817*c_0101_6^10 + 162384623116952556196634994644072437612314237983\ 630611237327206303039/384873998656192149838348574881386969274978149\ 7721347385362655005817*c_0101_6^9 - 1609996990352442898219582329558925834601825989760753551822105629844\ 347/384873998656192149838348574881386969274978149772134738536265500\ 5817*c_0101_6^8 + 3013375961557455448098937595470630586883087947080\ 16420103208896061714/3848739986561921498383485748813869692749781497\ 721347385362655005817*c_0101_6^7 + 7328878239413623672780941985605495085466877719764740657851207271515\ 39/3848739986561921498383485748813869692749781497721347385362655005\ 817*c_0101_6^6 + 86643849717132395668673879384168002640449670684034\ 161711775960661826/384873998656192149838348574881386969274978149772\ 1347385362655005817*c_0101_6^5 - 2319486480073301100516029260610087\ 31826730273396735114411565488974032/3848739986561921498383485748813\ 869692749781497721347385362655005817*c_0101_6^4 - 1737473097999295495396037895373338236252630328744989785597034725824\ 7/38487399865619214983834857488138696927497814977213473853626550058\ 17*c_0101_6^3 + 141333856273580949741455157300532764160455299750736\ 56463243525070613/3848739986561921498383485748813869692749781497721\ 347385362655005817*c_0101_6^2 + 48132084567341158530641872152899555\ 08526978896878350932833363337334/3848739986561921498383485748813869\ 692749781497721347385362655005817*c_0101_6 - 174265683503817583055604715807111713176467815115802232549314998510/\ 3848739986561921498383485748813869692749781497721347385362655005817\ , c_0101_0 - 180288859075784580455840752286006048529593988361556350364283\ 282020/384873998656192149838348574881386969274978149772134738536265\ 5005817*c_0101_6^29 - 189612065915223217656446143917339194750000973\ 438224657921404114527/384873998656192149838348574881386969274978149\ 7721347385362655005817*c_0101_6^28 + 6317923588654232317676940338469168021305032203323068074520347629296\ /384873998656192149838348574881386969274978149772134738536265500581\ 7*c_0101_6^27 + 248547322160857035703371744330826548978547028754731\ 30231599302895355/3848739986561921498383485748813869692749781497721\ 347385362655005817*c_0101_6^26 - 4692296212438734967508493708755668\ 9582434620385611453563014258090935/38487399865619214983834857488138\ 69692749781497721347385362655005817*c_0101_6^25 - 3324421337470923166246134654790171789719058837464969439646819121040\ 07/3848739986561921498383485748813869692749781497721347385362655005\ 817*c_0101_6^24 - 4490076055508193446114917263432721663540205008782\ 96765360577003064277/3848739986561921498383485748813869692749781497\ 721347385362655005817*c_0101_6^23 + 4169259683024473144437602359518675363808489877179520178427577982114\ 23/3848739986561921498383485748813869692749781497721347385362655005\ 817*c_0101_6^22 + 1647533567264950711314578381485192325679652037538\ 039132780880331192117/384873998656192149838348574881386969274978149\ 7721347385362655005817*c_0101_6^21 + 1378696006670946715611132375533303156765731296584094006870607230503\ 85/3848739986561921498383485748813869692749781497721347385362655005\ 817*c_0101_6^20 - 2352418640206922923918149259646718331639788056609\ 010077625171311257860/384873998656192149838348574881386969274978149\ 7721347385362655005817*c_0101_6^19 + 1266959225681497481039942979388058063819726989501571656798294582750\ 588/384873998656192149838348574881386969274978149772134738536265500\ 5817*c_0101_6^18 + 412846778405620002715984781229194474858801627816\ 1500439486495532433629/38487399865619214983834857488138696927497814\ 97721347385362655005817*c_0101_6^17 - 2436814842111799643760697746577886238126984109821033185171430248340\ 861/384873998656192149838348574881386969274978149772134738536265500\ 5817*c_0101_6^16 - 459527175184684591392353218346092453125867341852\ 2872574099516450725088/38487399865619214983834857488138696927497814\ 97721347385362655005817*c_0101_6^15 + 2121130601592687912367424720256545195175050725714528972463983911444\ 499/384873998656192149838348574881386969274978149772134738536265500\ 5817*c_0101_6^14 + 281982277574432785020184071240563839408126674411\ 0908738272182810799969/38487399865619214983834857488138696927497814\ 97721347385362655005817*c_0101_6^13 - 2809352795644372457326825816885620817636053439102130086136448203501\ 252/384873998656192149838348574881386969274978149772134738536265500\ 5817*c_0101_6^12 - 293396109009676997522020133933760096393194946734\ 1094113685202477534826/38487399865619214983834857488138696927497814\ 97721347385362655005817*c_0101_6^11 + 2295332552531338137449317770307834586927467172141800955504840826549\ 207/384873998656192149838348574881386969274978149772134738536265500\ 5817*c_0101_6^10 + 204903061994853481075211411747510005404765162121\ 7323978834686228476268/38487399865619214983834857488138696927497814\ 97721347385362655005817*c_0101_6^9 - 1525532437303369335372628035961887479616864201272706157777073913987\ 057/384873998656192149838348574881386969274978149772134738536265500\ 5817*c_0101_6^8 - 5447998448207495110147363319497440706215203873520\ 96594284568624570071/3848739986561921498383485748813869692749781497\ 721347385362655005817*c_0101_6^7 + 8960052877359062513390779289323302645194216010345646657210285427694\ 53/3848739986561921498383485748813869692749781497721347385362655005\ 817*c_0101_6^6 + 29062319898605620007637488852266384783388242887386\ 8613011228700561180/38487399865619214983834857488138696927497814977\ 21347385362655005817*c_0101_6^5 - 199122865905443952369977664689828\ 680567815033598383970312649041255964/384873998656192149838348574881\ 3869692749781497721347385362655005817*c_0101_6^4 - 1587415117705653830344536111988758389002736615326535523216936971378\ 64/3848739986561921498383485748813869692749781497721347385362655005\ 817*c_0101_6^3 + 12838399014886050292269328949135151108943435886857\ 671661851603268098/384873998656192149838348574881386969274978149772\ 1347385362655005817*c_0101_6^2 + 9116965796473376774956119240289375\ 327984835749810946173353703386194/384873998656192149838348574881386\ 9692749781497721347385362655005817*c_0101_6 + 2095329435895062169810198573710061192780653634460409611528850401309\ /384873998656192149838348574881386969274978149772134738536265500581\ 7, c_0101_1 - 178555003714475780293406936969207695187808417559187096852050\ 224997/384873998656192149838348574881386969274978149772134738536265\ 5005817*c_0101_6^29 - 907204078563795344058852006572479318380411702\ 84018513962713424445/3848739986561921498383485748813869692749781497\ 721347385362655005817*c_0101_6^28 + 6190581403485142177567398716085674164373234188849662573369060220706\ /384873998656192149838348574881386969274978149772134738536265500581\ 7*c_0101_6^27 + 211953549579143260045843955639900916064579145655449\ 52319453988691821/3848739986561921498383485748813869692749781497721\ 347385362655005817*c_0101_6^26 - 5396351887118263434665958274676083\ 2444769990668073103802373613727392/38487399865619214983834857488138\ 69692749781497721347385362655005817*c_0101_6^25 - 2863055724658666938517636460406915301887177016020890983420664260735\ 73/3848739986561921498383485748813869692749781497721347385362655005\ 817*c_0101_6^24 - 3248942393683061145603658927873003570305034454344\ 31933200556995264090/3848739986561921498383485748813869692749781497\ 721347385362655005817*c_0101_6^23 + 4044734255946017286033587336034846312308539289351118619437411238706\ 48/3848739986561921498383485748813869692749781497721347385362655005\ 817*c_0101_6^22 + 1212616853410908863224989044798624977860827494621\ 848931998115360971688/384873998656192149838348574881386969274978149\ 7721347385362655005817*c_0101_6^21 - 2448764577518059223470382475667191720097551007029086405938356875388\ 80/3848739986561921498383485748813869692749781497721347385362655005\ 817*c_0101_6^20 - 1431531072129513481816225916278820198432716393589\ 763711038096002540016/384873998656192149838348574881386969274978149\ 7721347385362655005817*c_0101_6^19 + 1800333903872716799221740641878292182894890076214004218436237436826\ 007/384873998656192149838348574881386969274978149772134738536265500\ 5817*c_0101_6^18 + 217785816267738918045169669462692897295283750651\ 9911274300846266915647/38487399865619214983834857488138696927497814\ 97721347385362655005817*c_0101_6^17 - 2270857408758097701227891783963875209327297489231587622939814934863\ 949/384873998656192149838348574881386969274978149772134738536265500\ 5817*c_0101_6^16 - 195324541245802417668890692335717292440551008245\ 5761448107167709660842/38487399865619214983834857488138696927497814\ 97721347385362655005817*c_0101_6^15 + 1443034644053827075942906432564018243515399943380582471037325745326\ 468/384873998656192149838348574881386969274978149772134738536265500\ 5817*c_0101_6^14 + 959342710893925804999281800664820457581446755470\ 701357464687139770356/384873998656192149838348574881386969274978149\ 7721347385362655005817*c_0101_6^13 - 2146146753127817711880118899219835469804984973228386193585514658306\ 355/384873998656192149838348574881386969274978149772134738536265500\ 5817*c_0101_6^12 - 134600071752919056928899810820325366473322261593\ 9966139607044953091423/38487399865619214983834857488138696927497814\ 97721347385362655005817*c_0101_6^11 + 1522483955848111679275816174983505046739433766064031448535458122371\ 699/384873998656192149838348574881386969274978149772134738536265500\ 5817*c_0101_6^10 + 477431676603135255934098318342491628098048746150\ 176358220460948698508/384873998656192149838348574881386969274978149\ 7721347385362655005817*c_0101_6^9 - 6931449439007903118854798659900781877120102162483676849502051057419\ 66/3848739986561921498383485748813869692749781497721347385362655005\ 817*c_0101_6^8 - 38131971106669377687467513954443781667956003642194\ 335917621743423870/384873998656192149838348574881386969274978149772\ 1347385362655005817*c_0101_6^7 + 4028210379118754074367766571999991\ 74015011074555402372211958595900629/3848739986561921498383485748813\ 869692749781497721347385362655005817*c_0101_6^6 + 1857454737906276037405316889371717484378157490907942594417434253485\ 47/3848739986561921498383485748813869692749781497721347385362655005\ 817*c_0101_6^5 - 81916334134987078997448942907009304232727251947601\ 844235804263542699/384873998656192149838348574881386969274978149772\ 1347385362655005817*c_0101_6^4 - 2716753866839665663524707277555016\ 2216544775957892390592472577225816/38487399865619214983834857488138\ 69692749781497721347385362655005817*c_0101_6^3 - 4834873692991770835421499109766939684240514549617129433714839587842\ /384873998656192149838348574881386969274978149772134738536265500581\ 7*c_0101_6^2 + 2058550841090678716574407021586773232555651535862311\ 934090090703999/384873998656192149838348574881386969274978149772134\ 7385362655005817*c_0101_6 - 232773288401813252261279074005614900213\ 9007079490916191452255823647/38487399865619214983834857488138696927\ 49781497721347385362655005817, c_0101_3 - 892146235449176923448684036554495414345640653955389717554868\ 56906/3848739986561921498383485748813869692749781497721347385362655\ 005817*c_0101_6^29 + 2849506587561140858570903618815161809710609581\ 3982904349048571592/38487399865619214983834857488138696927497814977\ 21347385362655005817*c_0101_6^28 + 3124383576870166924327769369702816369088749200878983556420508717281\ /384873998656192149838348574881386969274978149772134738536265500581\ 7*c_0101_6^27 + 802307567954307356200535419186326689105376550588551\ 4356853514315875/38487399865619214983834857488138696927497814977213\ 47385362655005817*c_0101_6^26 - 35500597811490614223784955092271984\ 977270835132236288494548244408324/384873998656192149838348574881386\ 9692749781497721347385362655005817*c_0101_6^25 - 1198464795668770973940263011121478468769364549404269470140629648890\ 84/3848739986561921498383485748813869692749781497721347385362655005\ 817*c_0101_6^24 - 4571279302534745559791458957794992503283511917431\ 2878571288696318916/38487399865619214983834857488138696927497814977\ 21347385362655005817*c_0101_6^23 + 3239581119843360102218007473107466101668829473982446530923902588592\ 57/3848739986561921498383485748813869692749781497721347385362655005\ 817*c_0101_6^22 + 4244094863270003143535282866848972539130972350131\ 36177411474258733101/3848739986561921498383485748813869692749781497\ 721347385362655005817*c_0101_6^21 - 6016470472315923955901281722506762070636935169641988075356002347936\ 42/3848739986561921498383485748813869692749781497721347385362655005\ 817*c_0101_6^20 - 5522249433805030641240892763363682354656188396003\ 78707221172880192126/3848739986561921498383485748813869692749781497\ 721347385362655005817*c_0101_6^19 + 1476239407402737490511321124262027433359652738034277641456972673056\ 955/384873998656192149838348574881386969274978149772134738536265500\ 5817*c_0101_6^18 + 229668241799265358613036549655405131275702959957\ 152160807048530819127/384873998656192149838348574881386969274978149\ 7721347385362655005817*c_0101_6^17 - 1944939578112259775368132221320723245875723447212952812112529173490\ 695/384873998656192149838348574881386969274978149772134738536265500\ 5817*c_0101_6^16 + 153589560088821290215838356782443916292244344424\ 989858667614237288740/384873998656192149838348574881386969274978149\ 7721347385362655005817*c_0101_6^15 + 1322587665428399327729076970554055629844102951009201738400192463346\ 278/384873998656192149838348574881386969274978149772134738536265500\ 5817*c_0101_6^14 - 283484325949604585292330024843426840380327445800\ 277364309396558490691/384873998656192149838348574881386969274978149\ 7721347385362655005817*c_0101_6^13 - 1236028588689313508800021532211629171679824099575903060043212650511\ 468/384873998656192149838348574881386969274978149772134738536265500\ 5817*c_0101_6^12 + 272016814285762638741299667110087122671611438064\ 399374094422859016355/384873998656192149838348574881386969274978149\ 7721347385362655005817*c_0101_6^11 + 1121797642566809703561815126856462553948617547722569971761890446772\ 591/384873998656192149838348574881386969274978149772134738536265500\ 5817*c_0101_6^10 - 454513254698152211825159856754987075737284632321\ 287737978229723259700/384873998656192149838348574881386969274978149\ 7721347385362655005817*c_0101_6^9 - 3690883383098367884584000384225771341469999518201942246639277800903\ 33/3848739986561921498383485748813869692749781497721347385362655005\ 817*c_0101_6^8 + 29957322382867375747464584193888880333441092948547\ 6408964228300043084/38487399865619214983834857488138696927497814977\ 21347385362655005817*c_0101_6^7 + 739560028379304386703710067266405\ 39138496951117810494916634734074748/3848739986561921498383485748813\ 869692749781497721347385362655005817*c_0101_6^6 - 3556514284795533487611232686419178409459825595906405042290425218402\ 0/38487399865619214983834857488138696927497814977213473853626550058\ 17*c_0101_6^5 - 683200037864837662276194423353827344965430501887238\ 97312218713162362/3848739986561921498383485748813869692749781497721\ 347385362655005817*c_0101_6^4 + 44471183246320240654944182661155314\ 48394185184399064066978289589348/3848739986561921498383485748813869\ 692749781497721347385362655005817*c_0101_6^3 - 2698053353567666685687027332473284170521716530982093654215525320206\ /384873998656192149838348574881386969274978149772134738536265500581\ 7*c_0101_6^2 + 2482345659629375103717410256112135711934211068988290\ 166498061096461/384873998656192149838348574881386969274978149772134\ 7385362655005817*c_0101_6 + 136974854394210373716706532791728079814\ 2713187664686740332156669660/38487399865619214983834857488138696927\ 49781497721347385362655005817, c_0101_6^30 - 35*c_0101_6^28 - 101*c_0101_6^27 + 365*c_0101_6^26 + 1454*c_0101_6^25 + 971*c_0101_6^24 - 3258*c_0101_6^23 - 5594*c_0101_6^22 + 5097*c_0101_6^21 + 7422*c_0101_6^20 - 14891*c_0101_6^19 - 7015*c_0101_6^18 + 20365*c_0101_6^17 + 3503*c_0101_6^16 - 15019*c_0101_6^15 + 179*c_0101_6^14 + 15228*c_0101_6^13 + 482*c_0101_6^12 - 12899*c_0101_6^11 + 2567*c_0101_6^10 + 5694*c_0101_6^9 - 2717*c_0101_6^8 - 2050*c_0101_6^7 + 384*c_0101_6^6 + 811*c_0101_6^5 - 53*c_0101_6^4 - 61*c_0101_6^3 - 16*c_0101_6^2 + 2*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.250 seconds, Total memory usage: 32.09MB