Magma V2.19-8 Tue Aug 20 2013 16:16:49 on localhost [Seed = 2193825364] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1086 geometric_solution 4.95241005 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 0 -1 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.310732963005 0.095624137149 2 0 0 2 0132 0132 1023 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 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.558116241054 0.401404824961 1 3 4 1 0132 0132 0132 1023 0 0 0 0 0 0 -1 1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.000839366747 0.613784872824 4 2 5 4 2310 0132 0132 2031 0 0 0 0 0 0 0 0 -1 0 0 1 -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 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.244997542212 0.730492856266 5 3 3 2 2310 1302 3201 0132 0 0 0 0 0 -1 0 1 -1 0 1 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 -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.244997542212 0.730492856266 6 6 4 3 0132 3201 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.325533225318 0.917044314775 5 6 5 6 0132 1302 2310 2031 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 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.972575289333 1.192907418671 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_4']), '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_4']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], '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_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : d['c_0101_2'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_2'], '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_4, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 41 Groebner basis: [ t + 1303177029733832731891177104858564137880884901103472627664/70762637\ 5074044434832670357308399237195149577455*c_0101_3^40 - 19556396992003325802930389342244136339896830974800825753568/7076263\ 75074044434832670357308399237195149577455*c_0101_3^39 + 107964635163927344228050888059525602904086472458923116957368/707626\ 375074044434832670357308399237195149577455*c_0101_3^38 - 39553054894049693722550534078121627766255555693405773387352/1415252\ 75014808886966534071461679847439029915491*c_0101_3^37 - 110897654597090115478652662863098881610696657583173822412203/141525\ 275014808886966534071461679847439029915491*c_0101_3^36 + 3562223025705430967465789459129599789920430217884018817492756/70762\ 6375074044434832670357308399237195149577455*c_0101_3^35 - 90156050668278846913696015510425908801544987862239397261947/1088655\ 9616523760535887236266283065187617685807*c_0101_3^34 - 1141814727045964385374045481613560611541551392656457756105581/14152\ 5275014808886966534071461679847439029915491*c_0101_3^33 + 7663597411849883928939914736492091337649718091761727135730306/14152\ 5275014808886966534071461679847439029915491*c_0101_3^32 - 51071530603839542926142556158141994245556007786075009326475317/7076\ 26375074044434832670357308399237195149577455*c_0101_3^31 - 33421357220975696136955940488455429893715584718568686387263434/7076\ 26375074044434832670357308399237195149577455*c_0101_3^30 + 190936605899741613153376767546874028523036574832144175923356201/707\ 626375074044434832670357308399237195149577455*c_0101_3^29 - 199004637904347617356891823628329269783475348340766287713660473/707\ 626375074044434832670357308399237195149577455*c_0101_3^28 - 123793839967797947661767921220487474507385357667041273185535936/707\ 626375074044434832670357308399237195149577455*c_0101_3^27 + 517954345381645799110285486360472968936245544257216865348312153/707\ 626375074044434832670357308399237195149577455*c_0101_3^26 - 415826790123753566424932787663643221229987928779211112190755797/707\ 626375074044434832670357308399237195149577455*c_0101_3^25 - 56037701706718442505477500836613739845401871597665576753715125/1415\ 25275014808886966534071461679847439029915491*c_0101_3^24 + 834332615202736073403718855645387571142319382917036231479596407/707\ 626375074044434832670357308399237195149577455*c_0101_3^23 - 102450520631232702908440962902112094468088833162907300198262123/141\ 525275014808886966534071461679847439029915491*c_0101_3^22 - 387697994231763427076758721412735301830208315466680661239140718/707\ 626375074044434832670357308399237195149577455*c_0101_3^21 + 167759591571878150794541730542957855235760365782389890356279249/141\ 525275014808886966534071461679847439029915491*c_0101_3^20 - 390735037568531396268529379401572930169757778212895983811158511/707\ 626375074044434832670357308399237195149577455*c_0101_3^19 - 333929098673272338894471340283554537584962211104354879993631519/707\ 626375074044434832670357308399237195149577455*c_0101_3^18 + 539166440128253924518474829977774488778439011653472583879755352/707\ 626375074044434832670357308399237195149577455*c_0101_3^17 - 37660669119449976852335961946163347825137345497883412205514874/1415\ 25275014808886966534071461679847439029915491*c_0101_3^16 - 180498171356391538316255096853970452947059455860604083608929261/707\ 626375074044434832670357308399237195149577455*c_0101_3^15 + 222124535376415581938856389133938503065879194194662296153726036/707\ 626375074044434832670357308399237195149577455*c_0101_3^14 - 11470602619428922208533957936924680484169185272847918039332761/1415\ 25275014808886966534071461679847439029915491*c_0101_3^13 - 60409639550768835661756809194943422296965967440907771359057123/7076\ 26375074044434832670357308399237195149577455*c_0101_3^12 + 57457792473655478267015248780890531008444336574117835457517122/7076\ 26375074044434832670357308399237195149577455*c_0101_3^11 - 10923813055450220784155796344409873664377898237011485623977029/7076\ 26375074044434832670357308399237195149577455*c_0101_3^10 - 11925141084852553644471356543042591196592781318345468818872339/7076\ 26375074044434832670357308399237195149577455*c_0101_3^9 + 8854899030713771360335505336832751592270812917429531382394412/70762\ 6375074044434832670357308399237195149577455*c_0101_3^8 - 261135786617262989914902258648361392199699076582007686017368/141525\ 275014808886966534071461679847439029915491*c_0101_3^7 - 246315546797424431247295118110090987288341919670389267634183/141525\ 275014808886966534071461679847439029915491*c_0101_3^6 + 729177051597086144282299318238850180198739828747575402158133/707626\ 375074044434832670357308399237195149577455*c_0101_3^5 - 102708391963203430464450167684533649044767319695924631410159/707626\ 375074044434832670357308399237195149577455*c_0101_3^4 - 47099137227679853526805327276237364488000870402881183284088/7076263\ 75074044434832670357308399237195149577455*c_0101_3^3 + 24656738852731508270476247024541724683685372741813915398004/7076263\ 75074044434832670357308399237195149577455*c_0101_3^2 - 922654449199639059706028633322044423264741219919051557865/141525275\ 014808886966534071461679847439029915491*c_0101_3 + 330131474943732965340946447960486511389951513947782012213/707626375\ 074044434832670357308399237195149577455, c_0011_0 - 1, c_0011_4 - 1314181258623113796417457591911303647604424697981525864/1088\ 6559616523760535887236266283065187617685807*c_0101_3^40 + 19720454522064501315941446456571951761504642147522775764/1088655961\ 6523760535887236266283065187617685807*c_0101_3^39 - 108860669232399901390642370346133745680587666650436193006/108865596\ 16523760535887236266283065187617685807*c_0101_3^38 + 199353998756299874958104961433489064387924304169539379895/108865596\ 16523760535887236266283065187617685807*c_0101_3^37 + 559291587488689422918700838938497817498712783104800206734/108865596\ 16523760535887236266283065187617685807*c_0101_3^36 - 3591779646238564152437818591526819235017115641456041184117/10886559\ 616523760535887236266283065187617685807*c_0101_3^35 + 5906950274157006538976370119715183517362070598738172595481/10886559\ 616523760535887236266283065187617685807*c_0101_3^34 + 5760729052449574137233253416159440850010974060437705726504/10886559\ 616523760535887236266283065187617685807*c_0101_3^33 - 38634999154715320808334458382608006982858473664042212655730/1088655\ 9616523760535887236266283065187617685807*c_0101_3^32 + 51474468502590706168800201977598644021958554144459268788137/1088655\ 9616523760535887236266283065187617685807*c_0101_3^31 + 33730982980509380708301241314006673409154446557962871652447/1088655\ 9616523760535887236266283065187617685807*c_0101_3^30 - 192506710073291256562177275365916590818165393050427036569588/108865\ 59616523760535887236266283065187617685807*c_0101_3^29 + 200548952014699461788861608080843867363973139278473682307695/108865\ 59616523760535887236266283065187617685807*c_0101_3^28 + 124932363204661824396002101218807882953794163595277008676779/108865\ 59616523760535887236266283065187617685807*c_0101_3^27 - 522176026599643736191835334190794359363724610146343533781737/108865\ 59616523760535887236266283065187617685807*c_0101_3^26 + 418988588081013928377582477130241280634050497583495770094643/108865\ 59616523760535887236266283065187617685807*c_0101_3^25 + 282714701140937847660809157166171954454187481130271702406763/108865\ 59616523760535887236266283065187617685807*c_0101_3^24 - 841060350484261826195445802953559807143549062449495348589073/108865\ 59616523760535887236266283065187617685807*c_0101_3^23 + 516053426048148006519627028341859781755956516394846757208754/108865\ 59616523760535887236266283065187617685807*c_0101_3^22 + 391119170976804748058880467945204870364191919824867931456013/108865\ 59616523760535887236266283065187617685807*c_0101_3^21 - 845480609296478599993077590967906857186511313684346965101080/108865\ 59616523760535887236266283065187617685807*c_0101_3^20 + 393549780498206999632889557820468911167460883666468420031689/108865\ 59616523760535887236266283065187617685807*c_0101_3^19 + 336816325324376419903000973745859964250601728903416199485437/108865\ 59616523760535887236266283065187617685807*c_0101_3^18 - 543405755887339416528795502467311842743611331716494044080969/108865\ 59616523760535887236266283065187617685807*c_0101_3^17 + 189611624843652262284950243271335179820200966972547892312783/108865\ 59616523760535887236266283065187617685807*c_0101_3^16 + 182029111236882608100219304018338856053053048052109458805299/108865\ 59616523760535887236266283065187617685807*c_0101_3^15 - 223846376975647723897256304552597010435777637042389928802891/108865\ 59616523760535887236266283065187617685807*c_0101_3^14 + 57734323289972578342787756962530010042890898141924682786426/1088655\ 9616523760535887236266283065187617685807*c_0101_3^13 + 60912620801940237588026638529122191052338043845020430591867/1088655\ 9616523760535887236266283065187617685807*c_0101_3^12 - 57896453952327943248512755730172454016932971697938205890297/1088655\ 9616523760535887236266283065187617685807*c_0101_3^11 + 10993004400100794655500068595037437572502440243475241624068/1088655\ 9616523760535887236266283065187617685807*c_0101_3^10 + 12022631242363303334021885327858390533629234503568283064305/1088655\ 9616523760535887236266283065187617685807*c_0101_3^9 - 8921439005765530126288490861036317301596210199190280614468/10886559\ 616523760535887236266283065187617685807*c_0101_3^8 + 1313720839108948687775966893446518959876836879814660120894/10886559\ 616523760535887236266283065187617685807*c_0101_3^7 + 1241468646747359071370712954118478215012885514741546580703/10886559\ 616523760535887236266283065187617685807*c_0101_3^6 - 734578014050315202099972711242409000616657770730863855595/108865596\ 16523760535887236266283065187617685807*c_0101_3^5 + 103372306664638708380978039607519446062923370466633448206/108865596\ 16523760535887236266283065187617685807*c_0101_3^4 + 47473308820089407300008754632384463217124831188554048354/1088655961\ 6523760535887236266283065187617685807*c_0101_3^3 - 24838160323612503678659851106576912560543808547947964449/1088655961\ 6523760535887236266283065187617685807*c_0101_3^2 + 4646021683905213442739888104588652914672983721987717686/10886559616\ 523760535887236266283065187617685807*c_0101_3 - 332408603821931164564369378116401918435177783249640205/108865596165\ 23760535887236266283065187617685807, c_0011_5 - 1348697149216499990471317566248038823890906875828039976/1088\ 6559616523760535887236266283065187617685807*c_0101_3^40 + 20238149740055289077121187732299153384878093428500434116/1088655961\ 6523760535887236266283065187617685807*c_0101_3^39 - 111716218308290149662620375264336135638570670761789851446/108865596\ 16523760535887236266283065187617685807*c_0101_3^38 + 204571053764582659747171486488940206518098362133742835435/108865596\ 16523760535887236266283065187617685807*c_0101_3^37 + 574009955705845466417183007255082262146282653339243075480/108865596\ 16523760535887236266283065187617685807*c_0101_3^36 - 3685997143182211069733795573450566701273225931516456097157/10886559\ 616523760535887236266283065187617685807*c_0101_3^35 + 6061470497517100841680834240680168626004839557000014324778/10886559\ 616523760535887236266283065187617685807*c_0101_3^34 + 5912862078955820447572938185298229339037194047881741817641/10886559\ 616523760535887236266283065187617685807*c_0101_3^33 - 39648268749247666451440044381547701865622140722275346537205/1088655\ 9616523760535887236266283065187617685807*c_0101_3^32 + 52819805227464232575049684730395756456311830325220614103119/1088655\ 9616523760535887236266283065187617685807*c_0101_3^31 + 34623627189363774355815512520063089041600923175804170812252/1088655\ 9616523760535887236266283065187617685807*c_0101_3^30 - 197553453826397078254389047566857807971068644229400487971626/108865\ 59616523760535887236266283065187617685807*c_0101_3^29 + 205784255349471976226103907124423607795819002415433401094756/108865\ 59616523760535887236266283065187617685807*c_0101_3^28 + 128237064472634081314263143881839860662842594027378474298587/108865\ 59616523760535887236266283065187617685807*c_0101_3^27 - 535856818242503008035653673544240648238108329252971519161545/108865\ 59616523760535887236266283065187617685807*c_0101_3^26 + 429910104400789891558155748338253753160256571844157762957813/108865\ 59616523760535887236266283065187617685807*c_0101_3^25 + 290181866644561866574184728340294991078156049179492342404640/108865\ 59616523760535887236266283065187617685807*c_0101_3^24 - 863078743284802513844624973166974718495792293839566474819655/108865\ 59616523760535887236266283065187617685807*c_0101_3^23 + 529481201336349034473960560527927784009332320663845925769144/108865\ 59616523760535887236266283065187617685807*c_0101_3^22 + 401432690058117287924365292881234726408240456908699109576416/108865\ 59616523760535887236266283065187617685807*c_0101_3^21 - 867595209172658846491739422565374108805993198340939877953519/108865\ 59616523760535887236266283065187617685807*c_0101_3^20 + 403768059719116731005077990699558024630107617860749526830177/108865\ 59616523760535887236266283065187617685807*c_0101_3^19 + 345684227035167633747603564337381579734316916900679334740414/108865\ 59616523760535887236266283065187617685807*c_0101_3^18 - 557605341402615534155464603513046451294744534428182619368927/108865\ 59616523760535887236266283065187617685807*c_0101_3^17 + 194521909380618968239570714198458858653249657892170289267215/108865\ 59616523760535887236266283065187617685807*c_0101_3^16 + 186814762552656133488021440916590632606806888504677811601593/108865\ 59616523760535887236266283065187617685807*c_0101_3^15 - 229689387334350957418446738437606146790742380280539424187840/108865\ 59616523760535887236266283065187617685807*c_0101_3^14 + 59224709672602427574337611964628599514498756665921807171340/1088655\ 9616523760535887236266283065187617685807*c_0101_3^13 + 62511829605710280641348971169575204250477166262000893569927/1088655\ 9616523760535887236266283065187617685807*c_0101_3^12 - 59405947471845783730960752731178673736890765366177609762007/1088655\ 9616523760535887236266283065187617685807*c_0101_3^11 + 11275788912473879313419040298994185041038071085494049689010/1088655\ 9616523760535887236266283065187617685807*c_0101_3^10 + 12337844021104867433908666036323230383182548670673549031010/1088655\ 9616523760535887236266283065187617685807*c_0101_3^9 - 9153751009348382904612676428215908332100829651347871207382/10886559\ 616523760535887236266283065187617685807*c_0101_3^8 + 1347437217414303418564795279496119801692699649432156101207/10886559\ 616523760535887236266283065187617685807*c_0101_3^7 + 1273974980612162915360661813586421389280579913246410364359/10886559\ 616523760535887236266283065187617685807*c_0101_3^6 - 753683259574937617481517725328275350645468797922211859377/108865596\ 16523760535887236266283065187617685807*c_0101_3^5 + 106032528342135193598377310527475329231738998541887414635/108865596\ 16523760535887236266283065187617685807*c_0101_3^4 + 48715473532345477655595481426969519282214010068111044331/1088655961\ 6523760535887236266283065187617685807*c_0101_3^3 - 25483715743859760309147600642227649937047720333038093921/1088655961\ 6523760535887236266283065187617685807*c_0101_3^2 + 4766388588032391744536524515614500609484825408886887882/10886559616\ 523760535887236266283065187617685807*c_0101_3 - 340997174700851002197170636313866496542821719382984131/108865596165\ 23760535887236266283065187617685807, c_0101_0 - 1151824973033642692247710316180186082490274333504346424/1088\ 6559616523760535887236266283065187617685807*c_0101_3^40 + 17284473661505659321065860361497702454848318521052753764/1088655961\ 6523760535887236266283065187617685807*c_0101_3^39 - 95416513768809933985758697321860709383445107364189721790/1088655961\ 6523760535887236266283065187617685807*c_0101_3^38 + 174750361034818253288957069218903668704745006736864334131/108865596\ 16523760535887236266283065187617685807*c_0101_3^37 + 490155441915419906149065763888399914404846312448286145819/108865596\ 16523760535887236266283065187617685807*c_0101_3^36 - 3148193957439073857124703498522290584665193249118513325321/10886559\ 616523760535887236266283065187617685807*c_0101_3^35 + 5178019253999505601503710403664110265165800109009564978292/10886559\ 616523760535887236266283065187617685807*c_0101_3^34 + 5047873436031896580126236018839417644879222136709994158878/10886559\ 616523760535887236266283065187617685807*c_0101_3^33 - 33863748579779425311614570057863348660837090968110569686098/1088655\ 9616523760535887236266283065187617685807*c_0101_3^32 + 45124032629896171613133205736102995879268846385427455625619/1088655\ 9616523760535887236266283065187617685807*c_0101_3^31 + 29554184494736859476947821722149042728736885574525054417446/1088655\ 9616523760535887236266283065187617685807*c_0101_3^30 - 168735492916247162597177587975799084032246183921450636366889/108865\ 59616523760535887236266283065187617685807*c_0101_3^29 + 175815890428063329785589767669056004526443952566226703924283/108865\ 59616523760535887236266283065187617685807*c_0101_3^28 + 109463466388103573169694709646421186915205938915271218305888/108865\ 59616523760535887236266283065187617685807*c_0101_3^27 - 457707450223014989495239291069041265168210914589884857372822/108865\ 59616523760535887236266283065187617685807*c_0101_3^26 + 367339357187408749379426327149427394618735792359102854166627/108865\ 59616523760535887236266283065187617685807*c_0101_3^25 + 247723295150994191184674099913400124912355539854645406885146/108865\ 59616523760535887236266283065187617685807*c_0101_3^24 - 737244849438005847003234517651727236809719587609509278438402/108865\ 59616523760535887236266283065187617685807*c_0101_3^23 + 452474313982974593547247966203809878455059463940733518348557/108865\ 59616523760535887236266283065187617685807*c_0101_3^22 + 342732353603355090758703598839157015465835911775579960550383/108865\ 59616523760535887236266283065187617685807*c_0101_3^21 - 741146724509761450024127098186325292950872520487922460934552/108865\ 59616523760535887236266283065187617685807*c_0101_3^20 + 345096866244194974980225821216549367154028194216384038785939/108865\ 59616523760535887236266283065187617685807*c_0101_3^19 + 295165532137933214485963202089419018161120320038393782008713/108865\ 59616523760535887236266283065187617685807*c_0101_3^18 - 476368442749138343461124050543116436760508472466671430296027/108865\ 59616523760535887236266283065187617685807*c_0101_3^17 + 166287258369001619940900746254999511814568382703122099031562/108865\ 59616523760535887236266283065187617685807*c_0101_3^16 + 159528607527357408228839751596519640926786013903609926008025/108865\ 59616523760535887236266283065187617685807*c_0101_3^15 - 196240845488875496635288105705701977860579919727717032797401/108865\ 59616523760535887236266283065187617685807*c_0101_3^14 + 50640010584072413096571414771143967816745132045008926244019/1088655\ 9616523760535887236266283065187617685807*c_0101_3^13 + 53386273313566562623095020368193224659426186123993405657746/1088655\ 9616523760535887236266283065187617685807*c_0101_3^12 - 50759173235684539324191986788204239258157117716765012684159/1088655\ 9616523760535887236266283065187617685807*c_0101_3^11 + 9643883598724513831318419953321602319330320599286652462175/10886559\ 616523760535887236266283065187617685807*c_0101_3^10 + 10537715722499973892197025662124022585460153634413807461398/1088655\ 9616523760535887236266283065187617685807*c_0101_3^9 - 7822100340616333703348727720501482660848398758335195810500/10886559\ 616523760535887236266283065187617685807*c_0101_3^8 + 1152642993829653421931235576852774970122238801580048073435/10886559\ 616523760535887236266283065187617685807*c_0101_3^7 + 1088194798777831778040339479220235465215206391451717482838/10886559\ 616523760535887236266283065187617685807*c_0101_3^6 - 644099426235689925260561518437716067616540771895389254287/108865596\ 16523760535887236266283065187617685807*c_0101_3^5 + 90688259400636502946893755301776164561973684699738367934/1088655961\ 6523760535887236266283065187617685807*c_0101_3^4 + 41613163375143340603113191324308201085788211272792842203/1088655961\ 6523760535887236266283065187617685807*c_0101_3^3 - 21779723960383708023879676615419707832364546100952339255/1088655961\ 6523760535887236266283065187617685807*c_0101_3^2 + 4074648232754380910099425341197231544891202259455809756/10886559616\ 523760535887236266283065187617685807*c_0101_3 - 291574374457120029909554962097927741778340349221660970/108865596165\ 23760535887236266283065187617685807, c_0101_1 - 1269839097829407036927031583787606178423746392553384568/1088\ 6559616523760535887236266283065187617685807*c_0101_3^40 + 19055918640546957259818292579329547398298789760896817556/1088655961\ 6523760535887236266283065187617685807*c_0101_3^39 - 105200084207148374488420146085244836151805684057343363430/108865596\ 16523760535887236266283065187617685807*c_0101_3^38 + 192693396812836541073052453796176318229498023618085158695/108865596\ 16523760535887236266283065187617685807*c_0101_3^37 + 540317555477966011978781682572842567574098095678716691629/108865596\ 16523760535887236266283065187617685807*c_0101_3^36 - 3470996030831023507696406653203562106774915849990393178141/10886559\ 616523760535887236266283065187617685807*c_0101_3^35 + 5709817558677277913096137000449302129003991526034833164415/10886559\ 616523760535887236266283065187617685807*c_0101_3^34 + 5563401035544656562634904731307922576567265335065316708503/10886559\ 616523760535887236266283065187617685807*c_0101_3^33 - 37336390535163157927748464720739627443206494786963403404771/1088655\ 9616523760535887236266283065187617685807*c_0101_3^32 + 49760807732814150715563575574503406562817329739303961482134/1088655\ 9616523760535887236266283065187617685807*c_0101_3^31 + 32568859472544261626188717385617244621194044752860610210296/1088655\ 9616523760535887236266283065187617685807*c_0101_3^30 - 186043275461765891993674984074456778349524763998336763783439/108865\ 59616523760535887236266283065187617685807*c_0101_3^29 + 193894596150911144744905889522660475188176126344590738560155/108865\ 59616523760535887236266283065187617685807*c_0101_3^28 + 120632721302882139059576415861809184862207527177279610652871/108865\ 59616523760535887236266283065187617685807*c_0101_3^27 - 504673755619245268508569670450567728448790436137569138733827/108865\ 59616523760535887236266283065187617685807*c_0101_3^26 + 405143974847644040024281100714798284146076998603918546626575/108865\ 59616523760535887236266283065187617685807*c_0101_3^25 + 273023520854049719223764144113094633247128695121162504235635/108865\ 59616523760535887236266283065187617685807*c_0101_3^24 - 812929839830512365724365275132106653026277065692716708110035/108865\ 59616523760535887236266283065187617685807*c_0101_3^23 + 499087478890298274390219871636316149043498048404269831999867/108865\ 59616523760535887236266283065187617685807*c_0101_3^22 + 377770895268998327814585388037271261051734741174076598329226/108865\ 59616523760535887236266283065187617685807*c_0101_3^21 - 817271659364215897825485583714982620633261758019008834238644/108865\ 59616523760535887236266283065187617685807*c_0101_3^20 + 380690773499513514375735905664365512975809856199608489846447/108865\ 59616523760535887236266283065187617685807*c_0101_3^19 + 325369407366977595645501822206457099345069242012575851386956/108865\ 59616523760535887236266283065187617685807*c_0101_3^18 - 525325040278886952088984062286865313850513930104504011625577/108865\ 59616523760535887236266283065187617685807*c_0101_3^17 + 183463059763265793593990048890545058966738035108689261717754/108865\ 59616523760535887236266283065187617685807*c_0101_3^16 + 175867158993034972613251268668826520641273001772680721950279/108865\ 59616523760535887236266283065187617685807*c_0101_3^15 - 216420923731391892178946499622252806189407413323923287645300/108865\ 59616523760535887236266283065187617685807*c_0101_3^14 + 55879521570158366314711635935149482245728881483366527187080/1088655\ 9616523760535887236266283065187617685807*c_0101_3^13 + 58858512334826979430977934538263874003274344234835764357816/1088655\ 9616523760535887236266283065187617685807*c_0101_3^12 - 55982320780390641173817879751700502414716424781700912925059/1088655\ 9616523760535887236266283065187617685807*c_0101_3^11 + 10643519489731655284640830328352864811511356673543979123169/1088655\ 9616523760535887236266283065187617685807*c_0101_3^10 + 11618739043764395258830209073679656009538353254437565365037/1088655\ 9616523760535887236266283065187617685807*c_0101_3^9 - 8627549385154388298129568390397888833004206923676055997618/10886559\ 616523760535887236266283065187617685807*c_0101_3^8 + 1272250847310555280724195169085259051073529686627383363188/10886559\ 616523760535887236266283065187617685807*c_0101_3^7 + 1199915920157764934790633453670542520249892631545983750992/10886559\ 616523760535887236266283065187617685807*c_0101_3^6 - 710464903198959111919233180161627355361738537773607443354/108865596\ 16523760535887236266283065187617685807*c_0101_3^5 + 100083729798775456150656247198007241821281875093494989217/108865596\ 16523760535887236266283065187617685807*c_0101_3^4 + 45887410248782898719969226297991474336406910641631206079/1088655961\ 6523760535887236266283065187617685807*c_0101_3^3 - 24024539990053464672708408834407904142586114965725555515/1088655961\ 6523760535887236266283065187617685807*c_0101_3^2 + 4495271791173474311973069917325657897840867298527846375/10886559616\ 523760535887236266283065187617685807*c_0101_3 - 321710450656737029811041744390651895512593092480014255/108865596165\ 23760535887236266283065187617685807, c_0101_2 - 1345087571952335520097497433019911699876997568015595776/1088\ 6559616523760535887236266283065187617685807*c_0101_3^40 + 20184031093231849293622898837950582476852978277451083792/1088655961\ 6523760535887236266283065187617685807*c_0101_3^39 - 111417888204969898108890874197336487668106050708281259240/108865596\ 16523760535887236266283065187617685807*c_0101_3^38 + 204026990500896148244945879897752546240096993167719983004/108865596\ 16523760535887236266283065187617685807*c_0101_3^37 + 572468544988127368642460228111498628099885203079979948186/108865596\ 16523760535887236266283065187617685807*c_0101_3^36 - 3676154160467759556640686316041598920877302837618436516284/10886559\ 616523760535887236266283065187617685807*c_0101_3^35 + 6045361211525574425944852148237183757486597260125461486612/10886559\ 616523760535887236266283065187617685807*c_0101_3^34 + 5896890067826841548706706944969495856279672188519242415477/10886559\ 616523760535887236266283065187617685807*c_0101_3^33 - 39542430386930053074404021716295782600789470212802977983341/1088655\ 9616523760535887236266283065187617685807*c_0101_3^32 + 52679639791838902141971285334096840676279505586430715375728/1088655\ 9616523760535887236266283065187617685807*c_0101_3^31 + 34529787606485027339835049889092151091862150462819977847985/1088655\ 9616523760535887236266283065187617685807*c_0101_3^30 - 197026492407759862848447121710144208564152911247958205809590/108865\ 59616523760535887236266283065187617685807*c_0101_3^29 + 205239270941819102262749144098632793967132385830895194017707/108865\ 59616523760535887236266283065187617685807*c_0101_3^28 + 127889836212659244607593977787108884495621293165902093708396/108865\ 59616523760535887236266283065187617685807*c_0101_3^27 - 534429017448445571714770281131939233908522907019077825928449/108865\ 59616523760535887236266283065187617685807*c_0101_3^26 + 428774343820476147391489488241185766353201331487740390979870/108865\ 59616523760535887236266283065187617685807*c_0101_3^25 + 289398242699252493604514638362767986308946097484954077761335/108865\ 59616523760535887236266283065187617685807*c_0101_3^24 - 860782096805023710485538289669666929509188654021865388662134/108865\ 59616523760535887236266283065187617685807*c_0101_3^23 + 528086440215438326538430411374986568787144979343972876585643/108865\ 59616523760535887236266283065187617685807*c_0101_3^22 + 400351736176608146791719373004377837313149584059251467245696/108865\ 59616523760535887236266283065187617685807*c_0101_3^21 - 865289959908193832964272600855680163519715712490525793741162/108865\ 59616523760535887236266283065187617685807*c_0101_3^20 + 402708114567715201870794367070149645438140754363147867225216/108865\ 59616523760535887236266283065187617685807*c_0101_3^19 + 344755870536023097821142283500505833585306083793151218612807/108865\ 59616523760535887236266283065187617685807*c_0101_3^18 - 556126132978171027448109666447900607425580066490849070725154/108865\ 59616523760535887236266283065187617685807*c_0101_3^17 + 194013373457120788927139942664340023223846123393268906876193/108865\ 59616523760535887236266283065187617685807*c_0101_3^16 + 186314298569972356265853017064270122084803355662587726413319/108865\ 59616523760535887236266283065187617685807*c_0101_3^15 - 229081122141404098687281282056293469646574425957682593136455/108865\ 59616523760535887236266283065187617685807*c_0101_3^14 + 59070639705283289412027984070427316327946351556566921574068/1088655\ 9616523760535887236266283065187617685807*c_0101_3^13 + 62344756838996124189031352770200499544821358219940330843339/1088655\ 9616523760535887236266283065187617685807*c_0101_3^12 - 59248917968987466774010706822537206559716315832543635728136/1088655\ 9616523760535887236266283065187617685807*c_0101_3^11 + 11246610631150961455671652242957933701161942511060064186420/1088655\ 9616523760535887236266283065187617685807*c_0101_3^10 + 12304944300054259987977860870318509996900362514966275383338/1088655\ 9616523760535887236266283065187617685807*c_0101_3^9 - 9129600956848922860157250188052406529441959703402884947987/10886559\ 616523760535887236266283065187617685807*c_0101_3^8 + 1343961460658671372370785162823908165297935822713026165608/10886559\ 616523760535887236266283065187617685807*c_0101_3^7 + 1270585209139651464659805547437669660822767273688066479216/10886559\ 616523760535887236266283065187617685807*c_0101_3^6 - 751698342165092862944529451462306927049525603874137085932/108865596\ 16523760535887236266283065187617685807*c_0101_3^5 + 105757705535508665717293913622536599757888585448231238194/108865596\ 16523760535887236266283065187617685807*c_0101_3^4 + 48586008560466815460553158656574140640224628046587315342/1088655961\ 6523760535887236266283065187617685807*c_0101_3^3 - 25416660379945851403255991427260788242273628538892207467/1088655961\ 6523760535887236266283065187617685807*c_0101_3^2 + 4753904186141192828730306734823832123606519404777258980/10886559616\ 523760535887236266283065187617685807*c_0101_3 - 340107373423754025725652567157375861854683026756885389/108865596165\ 23760535887236266283065187617685807, c_0101_3^41 - 31/2*c_0101_3^40 + 361/4*c_0101_3^39 - 1541/8*c_0101_3^38 - 2805/8*c_0101_3^37 + 23547/8*c_0101_3^36 - 23381/4*c_0101_3^35 - 4325/2*c_0101_3^34 + 252515/8*c_0101_3^33 - 429559/8*c_0101_3^32 - 50499/8*c_0101_3^31 + 1273325/8*c_0101_3^30 - 899939/4*c_0101_3^29 - 19657*c_0101_3^28 + 3554473/8*c_0101_3^27 - 2060625/4*c_0101_3^26 - 460651/8*c_0101_3^25 + 2985117/4*c_0101_3^24 - 2835667/4*c_0101_3^23 - 828551/8*c_0101_3^22 + 6323211/8*c_0101_3^21 - 4938917/8*c_0101_3^20 - 866471/8*c_0101_3^19 + 540129*c_0101_3^18 - 2788829/8*c_0101_3^17 - 537687/8*c_0101_3^16 + 1910169/8*c_0101_3^15 - 1024797/8*c_0101_3^14 - 49279/2*c_0101_3^13 + 133915/2*c_0101_3^12 - 241077/8*c_0101_3^11 - 40115/8*c_0101_3^10 + 11309*c_0101_3^9 - 17417/4*c_0101_3^8 - 3605/8*c_0101_3^7 + 4103/4*c_0101_3^6 - 2839/8*c_0101_3^5 + 11/4*c_0101_3^4 + 147/4*c_0101_3^3 - 103/8*c_0101_3^2 + 2*c_0101_3 - 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB