Magma V2.19-8 Tue Aug 20 2013 16:16:50 on localhost [Seed = 2193825364] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1107 geometric_solution 4.97098732 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 1023 2310 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 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 1.324225476471 0.263187418429 2 0 0 3 0132 0132 1023 0132 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 1 0 -1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.070593079498 0.725838356980 1 4 3 3 0132 0132 3201 2031 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 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.305073716382 0.669945753177 2 2 1 4 2310 1302 0132 1023 0 0 0 0 0 0 -1 1 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 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.305073716382 0.669945753177 5 2 5 3 0132 0132 2310 1023 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 0 0 -1 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.832310342592 1.026839738211 4 4 6 6 0132 3201 0132 3201 0 0 0 0 0 1 0 -1 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 -1 0 1 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.279253967308 0.204869301604 6 5 6 5 2031 2310 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 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 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3.124210819534 1.796676968036 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(d['1']), 's_2_3' : negation(d['1']), 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(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' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), '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_0011_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_6'], '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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0011_3']), 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : 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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t - 6988711563007742106413104342877944330555629114719422398787079045994\ 1693682349719875/52600916299862092878371495260241941865121528420802\ 033584286159996984726893113424*c_0101_4^35 - 5527493644803532340540409768691333507473588958910272686715378456261\ 3336968894025495/13150229074965523219592873815060485466280382105200\ 508396071539999246181723278356*c_0101_4^34 + 7371794364223751878668269385596127574700063601028528796382519837553\ 75159405137148883/5260091629986209287837149526024194186512152842080\ 2033584286159996984726893113424*c_0101_4^33 + 1106113845586589953180903559674847443331111217129621607972116868444\ 762749765683930497/131502290749655232195928738150604854662803821052\ 00508396071539999246181723278356*c_0101_4^32 + 1146919432239258352083545304138761880856291186604030225517689060797\ 102574365142651201/175336387666206976261238317534139806217071761402\ 67344528095386665661575631037808*c_0101_4^31 - 2393387513402954773866323006169241908927154233181731755800417795368\ 3094054014622463237/52600916299862092878371495260241941865121528420\ 802033584286159996984726893113424*c_0101_4^30 - 3542176793777165613648421011560396235120612136685220498738482129550\ 9128829179323888909/26300458149931046439185747630120970932560764210\ 401016792143079998492363446556712*c_0101_4^29 - 1803574961641517810803054305638042942369793594105851936729649315376\ 1716269132396303781/52600916299862092878371495260241941865121528420\ 802033584286159996984726893113424*c_0101_4^28 + 2872258787100149008234910632354957568627207450119415314589280706471\ 15902189962730446219/5260091629986209287837149526024194186512152842\ 0802033584286159996984726893113424*c_0101_4^27 + 2888499115712854878244664281968586342068391380637739384495574709525\ 30662042791688813629/2630045814993104643918574763012097093256076421\ 0401016792143079998492363446556712*c_0101_4^26 - 8604610646022099528141449058192700382406115802189810056973905029068\ 347702459671996829/876681938331034881306191587670699031085358807013\ 3672264047693332830787815518904*c_0101_4^25 - 1153240132440536013163133746842012294199213216487720655480978441627\ 97218057372997526299/3287557268741380804898218453765121366570095526\ 300127099017884999811545430819589*c_0101_4^24 - 2804066976623666676525015036216706737771362025414745546238383860092\ 28141159446650764517/5844546255540232542041277251137993540569058713\ 422448176031795555220525210345936*c_0101_4^23 + 6905848449412853838023063333441909931901958830555098340412263082094\ 750992602666559821/365284140971264533877579828196124596285566169588\ 903011001987222201282825646621*c_0101_4^22 + 1668617363580441982945664574691254986757669273654883510622162755257\ 037145464529372668753/131502290749655232195928738150604854662803821\ 05200508396071539999246181723278356*c_0101_4^21 + 5994037414539349407567556436161563752330244451392403097067885573547\ 970863863171878058895/526009162998620928783714952602419418651215284\ 20802033584286159996984726893113424*c_0101_4^20 - 1631000151393604954485548364528393985344128619768735339818711345539\ 619516352386089107647/175336387666206976261238317534139806217071761\ 40267344528095386665661575631037808*c_0101_4^19 - 1378554649090395013476845936982874343117529794984401371931138550288\ 7241434910913681600231/52600916299862092878371495260241941865121528\ 420802033584286159996984726893113424*c_0101_4^18 - 1162114981663481006346579945607487862279424542413144324924256232830\ 66783863620642029949/1095852422913793601632739484588373788856698508\ 766709033005961666603848476939863*c_0101_4^17 + 7056876720035395374075809078367246520666456903384158579970167812242\ 25627172204223441942/3287557268741380804898218453765121366570095526\ 300127099017884999811545430819589*c_0101_4^16 + 4407924655630662500211849429655035046834349169294088503237215703148\ 147972909907358003461/175336387666206976261238317534139806217071761\ 40267344528095386665661575631037808*c_0101_4^15 - 1745787667704848886445179790964771527069682755855087223247772552559\ 6911218015398958671/73056828194252906775515965639224919257113233917\ 7806022003974444402565651293242*c_0101_4^14 - 1063675547277378237692500396048480330051194225234479644257050587876\ 9258316359752633575285/52600916299862092878371495260241941865121528\ 420802033584286159996984726893113424*c_0101_4^13 - 5642469155150303570658181643817504309947055204178021994075175515540\ 71345064738461154589/5844546255540232542041277251137993540569058713\ 422448176031795555220525210345936*c_0101_4^12 + 2404097704614402201916631868123744903188778045436946510636768928270\ 73977857618412494393/3287557268741380804898218453765121366570095526\ 300127099017884999811545430819589*c_0101_4^11 + 1154096230211308126964032771734594396588498874367679694215471355764\ 771276601197171578489/131502290749655232195928738150604854662803821\ 05200508396071539999246181723278356*c_0101_4^10 + 1127072428036574104157882662209999607428622391938640237557764338511\ 53828741630927740705/2630045814993104643918574763012097093256076421\ 0401016792143079998492363446556712*c_0101_4^9 - 1778731041320849340405051179864262459036191749228929051161853122187\ 223897603732377714539/526009162998620928783714952602419418651215284\ 20802033584286159996984726893113424*c_0101_4^8 - 4194038151243841133892743456820615335474073013591979388970566176922\ 09679492693912595029/2630045814993104643918574763012097093256076421\ 0401016792143079998492363446556712*c_0101_4^7 + 1166938554515938784840160935067539528846407497971511668121593944759\ 05139853441959964395/2630045814993104643918574763012097093256076421\ 0401016792143079998492363446556712*c_0101_4^6 + 1482332708332751701921386696290956730182545120607098090232683283563\ 80476597499023380799/2630045814993104643918574763012097093256076421\ 0401016792143079998492363446556712*c_0101_4^5 + 2944478153863778060169514049940829843431079226198773665411090544949\ 9866628509812882863/26300458149931046439185747630120970932560764210\ 401016792143079998492363446556712*c_0101_4^4 - 3164766494037462447231780014939598708074386304323962406333997494796\ 5505240350354354987/52600916299862092878371495260241941865121528420\ 802033584286159996984726893113424*c_0101_4^3 - 1783706922798097668033054323344102644689660055891347507119706904262\ 3193228734939815995/52600916299862092878371495260241941865121528420\ 802033584286159996984726893113424*c_0101_4^2 - 1539245363581608762590060588782466507945184600869983650701437286305\ 701359244875736949/263004581499310464391857476301209709325607642104\ 01016792143079998492363446556712*c_0101_4 - 1742106606286954258519631036264276110627212679031557254570795747425\ 68585754622324733/5260091629986209287837149526024194186512152842080\ 2033584286159996984726893113424, c_0011_0 - 1, c_0011_3 - 430517568217701661798643326738508538564868168545966879430622\ 51296429300311558220/3652841409712645338775798281961245962855661695\ 88903011001987222201282825646621*c_0101_4^35 - 1360237023200455619588293528476985594187871417857780058368233943186\ 90141463197488/3652841409712645338775798281961245962855661695889030\ 11001987222201282825646621*c_0101_4^34 + 4545800558115261082462433204677923263044571952212635452844373298246\ 64881917320710/3652841409712645338775798281961245962855661695889030\ 11001987222201282825646621*c_0101_4^33 + 2723399287268013804728678709261296055985334741363105320929177883250\ 452233757838689/365284140971264533877579828196124596285566169588903\ 011001987222201282825646621*c_0101_4^32 + 2109467094750829344838940780963080215439870905250849225781699441341\ 232723527087195/365284140971264533877579828196124596285566169588903\ 011001987222201282825646621*c_0101_4^31 - 1474668627809481437448654562356313022418454611409505904738191840948\ 6388366309765455/36528414097126453387757982819612459628556616958890\ 3011001987222201282825646621*c_0101_4^30 - 4357756012291410331653114191460735284634100442268994561257840581759\ 2261857806707566/36528414097126453387757982819612459628556616958890\ 3011001987222201282825646621*c_0101_4^29 - 1096504091264552018445236428901580963878314313880911192988215308932\ 6293246556830245/36528414097126453387757982819612459628556616958890\ 3011001987222201282825646621*c_0101_4^28 + 1768964419181014001311917493553240124979931994475970765736454398660\ 26876966364169210/3652841409712645338775798281961245962855661695889\ 03011001987222201282825646621*c_0101_4^27 + 3551532708914013509019762024689716872875413622822559338946255575690\ 33377992667902814/3652841409712645338775798281961245962855661695889\ 03011001987222201282825646621*c_0101_4^26 - 3286956321306332051595445628906506754434435776689145060849011172755\ 4808860187944027/36528414097126453387757982819612459628556616958890\ 3011001987222201282825646621*c_0101_4^25 - 1135883414970414229115018040798268681913578108338881112879302018380\ 849414548387702000/365284140971264533877579828196124596285566169588\ 903011001987222201282825646621*c_0101_4^24 - 1550273762924591506214254083847482212511896236934020426984192832038\ 576933549013180342/365284140971264533877579828196124596285566169588\ 903011001987222201282825646621*c_0101_4^23 + 6165285291069880430079634127061955197359776541904931185653387296130\ 35780698940910108/3652841409712645338775798281961245962855661695889\ 03011001987222201282825646621*c_0101_4^22 + 4106503293857469896737810699983320757962840431580093938527504465320\ 711730703945352930/365284140971264533877579828196124596285566169588\ 903011001987222201282825646621*c_0101_4^21 + 3677955625334321204940770920723550425787954506690405284729660049941\ 330501726962756963/365284140971264533877579828196124596285566169588\ 903011001987222201282825646621*c_0101_4^20 - 3020906172390231726866918722682373093007586833243141150021271458287\ 823014056789206639/365284140971264533877579828196124596285566169588\ 903011001987222201282825646621*c_0101_4^19 - 8474662441916692805754065786518328362462182245517721970976304157460\ 071383764373002113/365284140971264533877579828196124596285566169588\ 903011001987222201282825646621*c_0101_4^18 - 3410317648773317712444834062234021911885483760873093322263147371349\ 464548204950161141/365284140971264533877579828196124596285566169588\ 903011001987222201282825646621*c_0101_4^17 + 6953588702925191261229761563371268814643914405832801668451190438249\ 974319389139559544/365284140971264533877579828196124596285566169588\ 903011001987222201282825646621*c_0101_4^16 + 8115954514874775737637270986865390782523388706825038186325296981029\ 792063508795926387/365284140971264533877579828196124596285566169588\ 903011001987222201282825646621*c_0101_4^15 - 7910361311594417364712290995260110720892956331525803099122069235007\ 21261174781577861/3652841409712645338775798281961245962855661695889\ 03011001987222201282825646621*c_0101_4^14 - 6536982277803174633147773559915292134625996789340149095502299719087\ 172440791828067585/365284140971264533877579828196124596285566169588\ 903011001987222201282825646621*c_0101_4^13 - 3108028264692986667590941290745547406450292471846080958685171304955\ 509397276617780124/365284140971264533877579828196124596285566169588\ 903011001987222201282825646621*c_0101_4^12 + 2369765211993747727736167482480599209186499303765422992385469913306\ 616684817640011451/365284140971264533877579828196124596285566169588\ 903011001987222201282825646621*c_0101_4^11 + 2831735509819144694229777831873704661411586974127315881476667162897\ 511612889496019726/365284140971264533877579828196124596285566169588\ 903011001987222201282825646621*c_0101_4^10 + 1336160259199477504529050161370880535868354517181674917412699327869\ 89204699587016594/3652841409712645338775798281961245962855661695889\ 03011001987222201282825646621*c_0101_4^9 - 1092183532901670326215645993301316233063873320707013702838007469656\ 333688829775467956/365284140971264533877579828196124596285566169588\ 903011001987222201282825646621*c_0101_4^8 - 5135095727918151140185039434294769397857473808066589273909218740281\ 54619750652759502/3652841409712645338775798281961245962855661695889\ 03011001987222201282825646621*c_0101_4^7 + 1438247307647396297652158625092826601381139839172455577128794064537\ 22334028528350175/3652841409712645338775798281961245962855661695889\ 03011001987222201282825646621*c_0101_4^6 + 1816361232607409055792120388907389258004421524845920618178910506564\ 64823265169674767/3652841409712645338775798281961245962855661695889\ 03011001987222201282825646621*c_0101_4^5 + 3601832818339108034092107974398106516150952140151828091260481501288\ 1265442072475331/36528414097126453387757982819612459628556616958890\ 3011001987222201282825646621*c_0101_4^4 - 1940433479317344545081686869114251217182053220911389025214049941002\ 6938228489292786/36528414097126453387757982819612459628556616958890\ 3011001987222201282825646621*c_0101_4^3 - 1091683714641337481545276558633881842875317326708995445486255486028\ 7303863112078918/36528414097126453387757982819612459628556616958890\ 3011001987222201282825646621*c_0101_4^2 - 1893564062144814078606135579923914125562505245484149288861380431121\ 859241999546935/365284140971264533877579828196124596285566169588903\ 011001987222201282825646621*c_0101_4 - 1091907975109157861092727103437919231433292373780697082906506908217\ 41855231467495/3652841409712645338775798281961245962855661695889030\ 11001987222201282825646621, c_0011_6 + 132008305313317297458881236243657287489950229058933926109429\ 6410761748972230/36528414097126453387757982819612459628556616958890\ 3011001987222201282825646621*c_0101_4^35 + 4995681824901627987610050206865114523980194643982747539445006886113\ 792719602/365284140971264533877579828196124596285566169588903011001\ 987222201282825646621*c_0101_4^34 - 1102532042410717648079594161432548676776237480395892633128608614514\ 4918589906/36528414097126453387757982819612459628556616958890301100\ 1987222201282825646621*c_0101_4^33 - 9098529460743401991873928166563541141746989840237988940647239647444\ 5854340918/36528414097126453387757982819612459628556616958890301100\ 1987222201282825646621*c_0101_4^32 - 1194544495766334432901622124475636466564503972406013758352307241633\ 75214030512/3652841409712645338775798281961245962855661695889030110\ 01987222201282825646621*c_0101_4^31 + 3891360059231374101376268645906829302583239508014340275010877975956\ 05268500210/3652841409712645338775798281961245962855661695889030110\ 01987222201282825646621*c_0101_4^30 + 1589206283267706289333518619230031486775169891537460218212858139364\ 748002334179/365284140971264533877579828196124596285566169588903011\ 001987222201282825646621*c_0101_4^29 + 1272947406086684932526462871452916750819535656341586596104428045423\ 079944479663/365284140971264533877579828196124596285566169588903011\ 001987222201282825646621*c_0101_4^28 - 4810216181382174038589902976478014036279108720376838408441474392749\ 318790111693/365284140971264533877579828196124596285566169588903011\ 001987222201282825646621*c_0101_4^27 - 1399220837607710868165737865255981447106370578145829608596626504804\ 3525188118576/36528414097126453387757982819612459628556616958890301\ 1001987222201282825646621*c_0101_4^26 - 7126210280658043998040366686185358505209723870512989024836022809505\ 378955143651/365284140971264533877579828196124596285566169588903011\ 001987222201282825646621*c_0101_4^25 + 3186555020383247070553177090574944031609741869108301074833350372217\ 9956810319156/36528414097126453387757982819612459628556616958890301\ 1001987222201282825646621*c_0101_4^24 + 6798569345369501032225366971874820106793910212113241045394526157202\ 9759302988116/36528414097126453387757982819612459628556616958890301\ 1001987222201282825646621*c_0101_4^23 + 2008208569055661152252908025299817434515939904109187916706060248502\ 9842406199788/36528414097126453387757982819612459628556616958890301\ 1001987222201282825646621*c_0101_4^22 - 1202399709490221078834190779501657300833614238773190622336722159170\ 12394698255130/3652841409712645338775798281961245962855661695889030\ 11001987222201282825646621*c_0101_4^21 - 1899722573113588353869146515322761677011954461834217191645922097794\ 41846715500413/3652841409712645338775798281961245962855661695889030\ 11001987222201282825646621*c_0101_4^20 - 1458242153499300889063762937125860168422572193507744308821784316024\ 2984702115209/36528414097126453387757982819612459628556616958890301\ 1001987222201282825646621*c_0101_4^19 + 2697680301414741061106351939983717165270542111312766417141488423423\ 29282904444698/3652841409712645338775798281961245962855661695889030\ 11001987222201282825646621*c_0101_4^18 + 2776299431475067397985886559307993858838679178081764797833666283656\ 99581356188634/3652841409712645338775798281961245962855661695889030\ 11001987222201282825646621*c_0101_4^17 - 6203854504592880282475672210773247552958549116699869128451607941235\ 4381405331931/36528414097126453387757982819612459628556616958890301\ 1001987222201282825646621*c_0101_4^16 - 3177477554038493210413277750646759026534411472712628180009012342056\ 28703597137184/3652841409712645338775798281961245962855661695889030\ 11001987222201282825646621*c_0101_4^15 - 1804865736389997553317277343021707856121876129235569808331107846967\ 85318107000349/3652841409712645338775798281961245962855661695889030\ 11001987222201282825646621*c_0101_4^14 + 1132935555097842823385024698628982390397731385143437891479337272861\ 23693546756993/3652841409712645338775798281961245962855661695889030\ 11001987222201282825646621*c_0101_4^13 + 1967989058926268213854646886108809818092465794118194868605760982274\ 52763701655140/3652841409712645338775798281961245962855661695889030\ 11001987222201282825646621*c_0101_4^12 + 5309966701354936506173088441404409092934536307857721062708575714867\ 3814567163115/36528414097126453387757982819612459628556616958890301\ 1001987222201282825646621*c_0101_4^11 - 7719593867122320664088784186210329943025498592341040237807449518655\ 7872712466027/36528414097126453387757982819612459628556616958890301\ 1001987222201282825646621*c_0101_4^10 - 7089013515367057926546561574488692591266687866422287347525550099492\ 9569249829206/36528414097126453387757982819612459628556616958890301\ 1001987222201282825646621*c_0101_4^9 - 7160768661237629333491476439851298029633585717937150185631820276886\ 799279435352/365284140971264533877579828196124596285566169588903011\ 001987222201282825646621*c_0101_4^8 + 2537275938344913962086370302506469192532542428867814781584246263261\ 0405083223445/36528414097126453387757982819612459628556616958890301\ 1001987222201282825646621*c_0101_4^7 + 1722288117471700202463810733632579495917999923384588582459971832333\ 5367546304857/36528414097126453387757982819612459628556616958890301\ 1001987222201282825646621*c_0101_4^6 + 1197266609279817333865620897797245468397148189703316935443418365213\ 583370007775/365284140971264533877579828196124596285566169588903011\ 001987222201282825646621*c_0101_4^5 - 4838389668571013920400009579246892297502204102970951080751430304793\ 868700544647/365284140971264533877579828196124596285566169588903011\ 001987222201282825646621*c_0101_4^4 - 2917782469237247765876807254272746779688791626271485897589615896551\ 021391715523/365284140971264533877579828196124596285566169588903011\ 001987222201282825646621*c_0101_4^3 - 2319618902026271777648733691062492509919232846866522364226694747227\ 54857430731/3652841409712645338775798281961245962855661695889030110\ 01987222201282825646621*c_0101_4^2 + 2980046419051743336829424421368484224722182082770604815108292514128\ 53148836284/3652841409712645338775798281961245962855661695889030110\ 01987222201282825646621*c_0101_4 + 3623499843917111465775683269102284090944376667160024691987791981497\ 34310550618/3652841409712645338775798281961245962855661695889030110\ 01987222201282825646621, c_0101_0 - 642792002330642907619990958590376870861493968715528033560784\ 5670159979698161810/36528414097126453387757982819612459628556616958\ 8903011001987222201282825646621*c_0101_4^35 - 1973251709510183035096975482608459501234220603003333172806303257328\ 3319966462274/36528414097126453387757982819612459628556616958890301\ 1001987222201282825646621*c_0101_4^34 + 6953943626790200638101611496599396032740150483759527888311682347954\ 3986840728280/36528414097126453387757982819612459628556616958890301\ 1001987222201282825646621*c_0101_4^33 + 4000780228977659430380155545885947534058132403449089293433994976040\ 37387372403549/3652841409712645338775798281961245962855661695889030\ 11001987222201282825646621*c_0101_4^32 + 2802109224788073653665912247193964658627625254929040114510968345841\ 10647975344218/3652841409712645338775798281961245962855661695889030\ 11001987222201282825646621*c_0101_4^31 - 2220637340816460673052730826941328606108278435774376460738335276153\ 972491639209119/365284140971264533877579828196124596285566169588903\ 011001987222201282825646621*c_0101_4^30 - 6303422632374738533174005321728391612707706379420093056447188759821\ 539322921028021/365284140971264533877579828196124596285566169588903\ 011001987222201282825646621*c_0101_4^29 - 1107692829588228406068567574998407896571632548651369722690140043375\ 227024145593565/365284140971264533877579828196124596285566169588903\ 011001987222201282825646621*c_0101_4^28 + 2641429646263415439475891995447991544957078630022826876305443759825\ 9088469690815353/36528414097126453387757982819612459628556616958890\ 3011001987222201282825646621*c_0101_4^27 + 5065070720919651762979506398105573619415036584228366290963426321133\ 0594682054595342/36528414097126453387757982819612459628556616958890\ 3011001987222201282825646621*c_0101_4^26 - 9026824382294091652114487883329735507385479580091145188912496767101\ 359446445368546/365284140971264533877579828196124596285566169588903\ 011001987222201282825646621*c_0101_4^25 - 1680224951691480818607283605716504291328121288408865190926662382321\ 74686738791030366/3652841409712645338775798281961245962855661695889\ 03011001987222201282825646621*c_0101_4^24 - 2166299031813601768474707494310349722472988131463581987204905842380\ 71177051299829822/3652841409712645338775798281961245962855661695889\ 03011001987222201282825646621*c_0101_4^23 + 1088127357165679880846819971657900604667496163932632057611880500119\ 60440458869125037/3652841409712645338775798281961245962855661695889\ 03011001987222201282825646621*c_0101_4^22 + 6002093207693146834492777402114021135236200689514834420631021167639\ 29491199221202229/3652841409712645338775798281961245962855661695889\ 03011001987222201282825646621*c_0101_4^21 + 4974422508896479270084113880571716192144837445148470945971886992769\ 07609987062440845/3652841409712645338775798281961245962855661695889\ 03011001987222201282825646621*c_0101_4^20 - 4862625990848645096594502035838487591730849707793202709956738256686\ 28913458790187874/3652841409712645338775798281961245962855661695889\ 03011001987222201282825646621*c_0101_4^19 - 1214863412764512302952732294854341030467060801430008135039145578683\ 136406834201651308/365284140971264533877579828196124596285566169588\ 903011001987222201282825646621*c_0101_4^18 - 4089180675291083969771176874879181813129253220260787368881164292829\ 20315093432793867/3652841409712645338775798281961245962855661695889\ 03011001987222201282825646621*c_0101_4^17 + 1056378184506747769565551187439306956707617332309204032791691700382\ 027921109037875104/365284140971264533877579828196124596285566169588\ 903011001987222201282825646621*c_0101_4^16 + 1112775212178171993914683065212608395817048794410801444946630511666\ 355189987785454962/365284140971264533877579828196124596285566169588\ 903011001987222201282825646621*c_0101_4^15 - 2002386011117426183349918051316495485069906070394276760426274577894\ 40777165194658258/3652841409712645338775798281961245962855661695889\ 03011001987222201282825646621*c_0101_4^14 - 9423026025326647518268620312856870658890981504866338631223891552231\ 04114341372061819/3652841409712645338775798281961245962855661695889\ 03011001987222201282825646621*c_0101_4^13 - 3849048373919857734381229818622596845189526719944395435892631327636\ 69673367246830832/3652841409712645338775798281961245962855661695889\ 03011001987222201282825646621*c_0101_4^12 + 3736898643009500405274385376789160586474877812748868365720726661015\ 03016221118587286/3652841409712645338775798281961245962855661695889\ 03011001987222201282825646621*c_0101_4^11 + 3850071050730389475998170669492145158981653512465187431805270373451\ 13978736840427620/3652841409712645338775798281961245962855661695889\ 03011001987222201282825646621*c_0101_4^10 - 7862399189704488831637966260107667320105333426997390814137626273494\ 708675220962521/365284140971264533877579828196124596285566169588903\ 011001987222201282825646621*c_0101_4^9 - 1569881498580444412520738149799463037016777168059266047752817998637\ 84950213425385297/3652841409712645338775798281961245962855661695889\ 03011001987222201282825646621*c_0101_4^8 - 6349212831936326948289603829494107870276224791927938731878364557050\ 6748474186880712/36528414097126453387757982819612459628556616958890\ 3011001987222201282825646621*c_0101_4^7 + 2469887094825311143359123364936283383144424235097375952810234091051\ 6606709920981850/36528414097126453387757982819612459628556616958890\ 3011001987222201282825646621*c_0101_4^6 + 2422376794879998312357582964314494198287115404134125589046157209479\ 9472338094390199/36528414097126453387757982819612459628556616958890\ 3011001987222201282825646621*c_0101_4^5 + 3719648016056145016423410074032172142338616885837652370673924711907\ 266817921423828/365284140971264533877579828196124596285566169588903\ 011001987222201282825646621*c_0101_4^4 - 2905244340667110097527996818626270234978369674474552082100542227037\ 251644284743293/365284140971264533877579828196124596285566169588903\ 011001987222201282825646621*c_0101_4^3 - 1359738826414850571629311054893878700292622307675990186396215189016\ 556476750667681/365284140971264533877579828196124596285566169588903\ 011001987222201282825646621*c_0101_4^2 - 2113232665137782004061042998503996548418706481721720970299484351420\ 73131319625722/3652841409712645338775798281961245962855661695889030\ 11001987222201282825646621*c_0101_4 - 1162811373906591642377761096584290289195595263295157131300465187459\ 3030932657324/36528414097126453387757982819612459628556616958890301\ 1001987222201282825646621, c_0101_1 + 501135766661455150436304302195414409225685683059344266392105\ 97180706749613708855/3652841409712645338775798281961245962855661695\ 88903011001987222201282825646621*c_0101_4^35 + 1580411316163826294340644903924982995997641040539161592276882941687\ 22927342902737/3652841409712645338775798281961245962855661695889030\ 11001987222201282825646621*c_0101_4^34 - 5300161818617714608432080390286709028059924292303761080241578333859\ 76566163354677/3652841409712645338775798281961245962855661695889030\ 11001987222201282825646621*c_0101_4^33 - 3166819256611791943201773655610901788662594169139976639281183509329\ 827693103184399/365284140971264533877579828196124596285566169588903\ 011001987222201282825646621*c_0101_4^32 - 2437478606317843473720532147428041615727653248115046281891012571263\ 060214913012232/365284140971264533877579828196124596285566169588903\ 011001987222201282825646621*c_0101_4^31 + 1717622760769465370784458941264791445380245489606211610497763604395\ 7551113498486162/36528414097126453387757982819612459628556616958890\ 3011001987222201282825646621*c_0101_4^30 + 5062173953410669962189617742326758686132633583216616045988760333017\ 6028127295302267/36528414097126453387757982819612459628556616958890\ 3011001987222201282825646621*c_0101_4^29 + 1248601773666307889670012539810810760836063418381997852557755290578\ 6590587964828734/36528414097126453387757982819612459628556616958890\ 3011001987222201282825646621*c_0101_4^28 - 2059270680131954794095433234507058805825361002831864219951578165878\ 18971019223897608/3652841409712645338775798281961245962855661695889\ 03011001987222201282825646621*c_0101_4^27 - 4121835943207079761206570787540959286607225101095414173087591250069\ 49223171596693321/3652841409712645338775798281961245962855661695889\ 03011001987222201282825646621*c_0101_4^26 + 4044437181339517570775277407297857899653871645321136534901234458142\ 9732922858077073/36528414097126453387757982819612459628556616958890\ 3011001987222201282825646621*c_0101_4^25 + 1321483523538429226212051009164568882782220137761030663159931888670\ 764624738431206827/365284140971264533877579828196124596285566169588\ 903011001987222201282825646621*c_0101_4^24 + 1796843425104139520564959078483718769744568814317035843500926678951\ 558475874990927829/365284140971264533877579828196124596285566169588\ 903011001987222201282825646621*c_0101_4^23 - 7266795278078097199145997015119590518966922287849483001728465809317\ 14926522438983884/3652841409712645338775798281961245962855661695889\ 03011001987222201282825646621*c_0101_4^22 - 4773732116933356841715422131672445930108937288293270847051455802032\ 459245722855131851/365284140971264533877579828196124596285566169588\ 903011001987222201282825646621*c_0101_4^21 - 4254051609207387039225908534989988162677297723142912234221517956379\ 444087115881756238/365284140971264533877579828196124596285566169588\ 903011001987222201282825646621*c_0101_4^20 + 3535873029066483937619217561210217705131719867326544961870350011055\ 626693444045705814/365284140971264533877579828196124596285566169588\ 903011001987222201282825646621*c_0101_4^19 + 9839092412848097123986304460721550910932135396479739874343795789943\ 401203504670213748/365284140971264533877579828196124596285566169588\ 903011001987222201282825646621*c_0101_4^18 + 3916093411646571068246285386339397669064373788849216114928642127180\ 787862337356197328/365284140971264533877579828196124596285566169588\ 903011001987222201282825646621*c_0101_4^17 - 8105806907307237858036825691299129995084280662911162411410016029163\ 945527481646215141/365284140971264533877579828196124596285566169588\ 903011001987222201282825646621*c_0101_4^16 - 9395330308872391682843227262432907560585585802965058699159571363564\ 620803662728437220/365284140971264533877579828196124596285566169588\ 903011001987222201282825646621*c_0101_4^15 + 9663294269313873418452521666920436843601148543812262051267567343567\ 38094274841060861/3652841409712645338775798281961245962855661695889\ 03011001987222201282825646621*c_0101_4^14 + 7592957683543572233352066148610224953032538053899211722697414200465\ 817338473000810156/365284140971264533877579828196124596285566169588\ 903011001987222201282825646621*c_0101_4^13 + 3574990741989786568443941941015952966579919916657398014130689396341\ 309193714536014252/365284140971264533877579828196124596285566169588\ 903011001987222201282825646621*c_0101_4^12 - 2770587345479299402922098883286408873966499348154589618354197143847\ 527776267762653392/365284140971264533877579828196124596285566169588\ 903011001987222201282825646621*c_0101_4^11 - 3276402782962061535309463819741260190354097168545151170889580545247\ 076525568371925386/365284140971264533877579828196124596285566169588\ 903011001987222201282825646621*c_0101_4^10 - 1398978735735722941344151100674671497826816805332422202398599685391\ 15546303493433162/3652841409712645338775798281961245962855661695889\ 03011001987222201282825646621*c_0101_4^9 + 1268584899349154548994241591299522101201460997307429262525881422039\ 171849295612516854/365284140971264533877579828196124596285566169588\ 903011001987222201282825646621*c_0101_4^8 + 5905019844291254964720182108381117273091876247709004872033458925688\ 84828563333994477/3652841409712645338775798281961245962855661695889\ 03011001987222201282825646621*c_0101_4^7 - 1693724399700704003960974010752171854950709602804712611727354834201\ 55191254929908410/3652841409712645338775798281961245962855661695889\ 03011001987222201282825646621*c_0101_4^6 - 2099325162311228731270535230007025361153818148859644000875477252991\ 91213687740045327/3652841409712645338775798281961245962855661695889\ 03011001987222201282825646621*c_0101_4^5 - 4097083111368815254795412267228622468521683608262461329359992207090\ 1718328713800633/36528414097126453387757982819612459628556616958890\ 3011001987222201282825646621*c_0101_4^4 + 2261851989659214930323991806418455676406423289588451885405264891967\ 9364596777207992/36528414097126453387757982819612459628556616958890\ 3011001987222201282825646621*c_0101_4^3 + 1256282706491789574042585810744105871528487454796407960662049756950\ 1804052463643030/36528414097126453387757982819612459628556616958890\ 3011001987222201282825646621*c_0101_4^2 + 2159599238863901009531506159392685263459778450222175170259407562549\ 768321458765527/365284140971264533877579828196124596285566169588903\ 011001987222201282825646621*c_0101_4 + 1233328657889170861726118780621639804781941688991461455727996808374\ 82183513402536/3652841409712645338775798281961245962855661695889030\ 11001987222201282825646621, c_0101_2 - 489026096592231216668583547649364531854750478816756967201337\ 3419247525160005/36528414097126453387757982819612459628556616958890\ 3011001987222201282825646621*c_0101_4^35 - 1794697033726903434132065298251496695796101857035907614593976603620\ 3334516247/36528414097126453387757982819612459628556616958890301100\ 1987222201282825646621*c_0101_4^34 + 4292887564113703124591113746277260959778535228005943524628605262251\ 1953848447/36528414097126453387757982819612459628556616958890301100\ 1987222201282825646621*c_0101_4^33 + 3328044919817953170487239159676073487281881898653850107497660571316\ 32074118235/3652841409712645338775798281961245962855661695889030110\ 01987222201282825646621*c_0101_4^32 + 4049400486196464610199699192565274408682197058027378623497309699901\ 36969613239/3652841409712645338775798281961245962855661695889030110\ 01987222201282825646621*c_0101_4^31 - 1498243877950467421449512163176534224719064186685230671666793202923\ 706108899142/365284140971264533877579828196124596285566169588903011\ 001987222201282825646621*c_0101_4^30 - 5742015659221700307791942377160627095940422691929655790486926342303\ 946308641683/365284140971264533877579828196124596285566169588903011\ 001987222201282825646621*c_0101_4^29 - 4023578192103833285909727519428568126348117775087276400941115427466\ 166026984668/365284140971264533877579828196124596285566169588903011\ 001987222201282825646621*c_0101_4^28 + 1852478508835320364308447347158395695678818272807600246407451290505\ 8600913284579/36528414097126453387757982819612459628556616958890301\ 1001987222201282825646621*c_0101_4^27 + 4998351282799294044713363960704041330182982945059594649669781001570\ 6407703141880/36528414097126453387757982819612459628556616958890301\ 1001987222201282825646621*c_0101_4^26 + 1994267791941137812608070326035728209467230960770059486287213782458\ 3913802812660/36528414097126453387757982819612459628556616958890301\ 1001987222201282825646621*c_0101_4^25 - 1228236724189887416697356765977755772736168303664214733835097517348\ 42956626701215/3652841409712645338775798281961245962855661695889030\ 11001987222201282825646621*c_0101_4^24 - 2389729923716083132768435891707318132019027939747677539277718814007\ 31894861690911/3652841409712645338775798281961245962855661695889030\ 11001987222201282825646621*c_0101_4^23 - 4019629648874487920384474104002541218076105141189137903576206577981\ 3772828743703/36528414097126453387757982819612459628556616958890301\ 1001987222201282825646621*c_0101_4^22 + 4633221668952503150792324309325892628513888682711876499393301653569\ 55718670358464/3652841409712645338775798281961245962855661695889030\ 11001987222201282825646621*c_0101_4^21 + 6500831197194204952824626199876321219539005061589954664594363804228\ 56304199252863/3652841409712645338775798281961245962855661695889030\ 11001987222201282825646621*c_0101_4^20 - 5306393217304823467303799997850501733997844677893015839512842241032\ 1658686428077/36528414097126453387757982819612459628556616958890301\ 1001987222201282825646621*c_0101_4^19 - 1030779323584424129108793305425928996189763091602774920280048912431\ 784983601193611/365284140971264533877579828196124596285566169588903\ 011001987222201282825646621*c_0101_4^18 - 8882500930757939549181595155485713259834579462013631467869586080960\ 86134445629059/3652841409712645338775798281961245962855661695889030\ 11001987222201282825646621*c_0101_4^17 + 4197447438456514022692115750274816060385352930075021597801660854114\ 09894581292390/3652841409712645338775798281961245962855661695889030\ 11001987222201282825646621*c_0101_4^16 + 1173928378397946260002215099894234923046158269344040305984787169674\ 509531490380772/365284140971264533877579828196124596285566169588903\ 011001987222201282825646621*c_0101_4^15 + 4488781471006697528661417790326624044121650691640609317280710370933\ 83391752607257/3652841409712645338775798281961245962855661695889030\ 11001987222201282825646621*c_0101_4^14 - 5841732139842834798375029069771862722481107162725192498476539339557\ 50856506989470/3652841409712645338775798281961245962855661695889030\ 11001987222201282825646621*c_0101_4^13 - 6446164972484707613991851457155516079837046957449196999564491385886\ 31904161172239/3652841409712645338775798281961245962855661695889030\ 11001987222201282825646621*c_0101_4^12 - 1198127320752487766990690844775664428538073095260252624617467659383\ 1045329586175/36528414097126453387757982819612459628556616958890301\ 1001987222201282825646621*c_0101_4^11 + 3333913498539955479455174136325828808023558733437126897472127816200\ 31991898480049/3652841409712645338775798281961245962855661695889030\ 11001987222201282825646621*c_0101_4^10 + 1694556020543135479775828139616324120099722112569797718102787981140\ 81682381120357/3652841409712645338775798281961245962855661695889030\ 11001987222201282825646621*c_0101_4^9 - 4969881000500771645284040126996987399739604190720122706692227415029\ 5153670734089/36528414097126453387757982819612459628556616958890301\ 1001987222201282825646621*c_0101_4^8 - 8095293147494377574828724434270650204901906505622375367863954466579\ 8958558566739/36528414097126453387757982819612459628556616958890301\ 1001987222201282825646621*c_0101_4^7 - 2297457540576083773432096930739220826110972794056077164868710430781\ 1418744756993/36528414097126453387757982819612459628556616958890301\ 1001987222201282825646621*c_0101_4^6 + 7357526544394907849991576102721863869967178833399586374808301831170\ 392917944275/365284140971264533877579828196124596285566169588903011\ 001987222201282825646621*c_0101_4^5 + 7836023446971877700436454394381816164023802654999817762699685014820\ 445105553461/365284140971264533877579828196124596285566169588903011\ 001987222201282825646621*c_0101_4^4 + 3607021957351775716828516206265792406291942397310357037338462877827\ 341865255388/365284140971264533877579828196124596285566169588903011\ 001987222201282825646621*c_0101_4^3 + 1147507999573370761536534811782047174374594892954825676320774718783\ 417283793713/365284140971264533877579828196124596285566169588903011\ 001987222201282825646621*c_0101_4^2 - 6448435478041112087480448499311106456137118857445785622719166071318\ 19099952413/3652841409712645338775798281961245962855661695889030110\ 01987222201282825646621*c_0101_4 - 3615780344621643918498583033312658116133357705232388872470031058630\ 70975916349/3652841409712645338775798281961245962855661695889030110\ 01987222201282825646621, c_0101_4^36 + 17/5*c_0101_4^35 - 49/5*c_0101_4^34 - 329/5*c_0101_4^33 - 321/5*c_0101_4^32 + 1654/5*c_0101_4^31 + 5473/5*c_0101_4^30 + 2489/5*c_0101_4^29 - 20242/5*c_0101_4^28 - 46187/5*c_0101_4^27 - 6084/5*c_0101_4^26 + 132866/5*c_0101_4^25 + 42351*c_0101_4^24 - 28413/5*c_0101_4^23 - 494252/5*c_0101_4^22 - 541733/5*c_0101_4^21 + 49698*c_0101_4^20 + 213764*c_0101_4^19 + 632361/5*c_0101_4^18 - 713024/5*c_0101_4^17 - 1136841/5*c_0101_4^16 - 134073/5*c_0101_4^15 + 781819/5*c_0101_4^14 + 543246/5*c_0101_4^13 - 37793*c_0101_4^12 - 395164/5*c_0101_4^11 - 18866*c_0101_4^10 + 24659*c_0101_4^9 + 90091/5*c_0101_4^8 - 2452/5*c_0101_4^7 - 25132/5*c_0101_4^6 - 9236/5*c_0101_4^5 + 1259/5*c_0101_4^4 + 362*c_0101_4^3 + 523/5*c_0101_4^2 + 13*c_0101_4 + 3/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB