Magma V2.19-8 Tue Aug 20 2013 16:17:38 on localhost [Seed = 1461111729] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1865 geometric_solution 5.49935670 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.585876555156 0.170117576345 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 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 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.839996076441 0.286952655284 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 -1 1 0 -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 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.286350634376 0.620599559874 4 2 6 5 3120 0132 0132 0132 0 0 0 0 0 1 0 -1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.473314804329 0.503583896487 5 6 2 3 3201 0132 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.473314804329 0.503583896487 5 5 3 4 1230 3012 0132 2310 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 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.009021413651 1.054352944983 6 4 6 3 2031 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.343890545070 1.488401616398 ==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' : d['c_0011_4'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : negation(d['c_0011_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_5']), '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_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : negation(d['c_0011_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0011_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0011_1']), 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(d['c_0011_5']), 'c_1010_2' : d['c_1001_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_5, c_0101_0, c_0101_5, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t - 7783294596051836113518568171151356881653843095188599738757228221115\ 040/779959957209568554660578467999565948021357978921704830970281089\ 8639*c_1001_3^28 - 534360762593392222735971673648582982911632244938\ 98624810091824435545143/7799599572095685546605784679995659480213579\ 789217048309702810898639*c_1001_3^27 + 1238866166894199195911125649397517149757501624433656791794943515982\ 73446/7799599572095685546605784679995659480213579789217048309702810\ 898639*c_1001_3^26 + 1352857759206496274813223165671734889335311164\ 468180574109283983117401007/779959957209568554660578467999565948021\ 3579789217048309702810898639*c_1001_3^25 - 3211950527593517772593314458697148472672776483829497569518938672167\ 02991/7799599572095685546605784679995659480213579789217048309702810\ 898639*c_1001_3^24 - 1297741340679756147286652951088469373469320581\ 9747499091824727276784337773/77995995720956855466057846799956594802\ 13579789217048309702810898639*c_1001_3^23 + 8075974331531336204452830923794677238463501857355681163219067194978\ 51490/7799599572095685546605784679995659480213579789217048309702810\ 898639*c_1001_3^22 + 4232429303225931930492306498489402300850813297\ 703759550268618494848104186/458799974829157973329752039999744675306\ 681164071591077041341817567*c_1001_3^21 - 4280290472609593948363563348827508123238720663395317937115638479312\ 5198897/77995995720956855466057846799956594802135797892170483097028\ 10898639*c_1001_3^20 - 34849782472970141814252290193502000600989694\ 3121344013413828108163772322827/77995995720956855466057846799956594\ 80213579789217048309702810898639*c_1001_3^19 + 2602281914772967455481408757945829588426276779947288095731032353543\ 02122241/7799599572095685546605784679995659480213579789217048309702\ 810898639*c_1001_3^18 + 1355511518620463665916359057156362151897185\ 308375644121414431846042898806941/779959957209568554660578467999565\ 9480213579789217048309702810898639*c_1001_3^17 - 3720639361250453232161378438189612548326835118449114550289039608297\ 59623895/7799599572095685546605784679995659480213579789217048309702\ 810898639*c_1001_3^16 - 2816741507280995295287947473295985638088019\ 501907264934555644088913892038282/779959957209568554660578467999565\ 9480213579789217048309702810898639*c_1001_3^15 + 8642232016469640082818837062283238979835777090197431153552689615865\ 3757525/77995995720956855466057846799956594802135797892170483097028\ 10898639*c_1001_3^14 + 29977669442311626218847787754811888421067951\ 30635691480100622626093863571967/7799599572095685546605784679995659\ 480213579789217048309702810898639*c_1001_3^13 - 1855853652827295727392436526272642985270188551998490284650402194504\ 33010132/7799599572095685546605784679995659480213579789217048309702\ 810898639*c_1001_3^12 - 1843322851809618976866418927034477788107549\ 208006885574978014887546100832247/779959957209568554660578467999565\ 9480213579789217048309702810898639*c_1001_3^11 + 6597767441460209619212315253402334147274656407267737772711115087299\ 81228424/7799599572095685546605784679995659480213579789217048309702\ 810898639*c_1001_3^10 + 5978984578774121731106274728652118776858217\ 2684314992992288458496854161082/45879997482915797332975203999974467\ 5306681164071591077041341817567*c_1001_3^9 - 5800149301415521886498222501837687979489762609465621494329706670095\ 92325097/7799599572095685546605784679995659480213579789217048309702\ 810898639*c_1001_3^8 - 53117490789716282184190548733098257245477633\ 7029272172469702185573109727592/77995995720956855466057846799956594\ 80213579789217048309702810898639*c_1001_3^7 + 1750998560896673984516116061788336887285667669343214922715836046705\ 08599944/7799599572095685546605784679995659480213579789217048309702\ 810898639*c_1001_3^6 + 14780293938308320720540667990962435559687246\ 9383482096343978955346136541723/77995995720956855466057846799956594\ 80213579789217048309702810898639*c_1001_3^5 - 1332461130378072540480238699902819816216904005098054114025263661840\ 8562357/77995995720956855466057846799956594802135797892170483097028\ 10898639*c_1001_3^4 - 168114617139508314585384953591293476066333529\ 01949907545477556839724612085/7799599572095685546605784679995659480\ 213579789217048309702810898639*c_1001_3^3 - 7199967609034803877444338115223193120100476074190666894353824178995\ 71078/7799599572095685546605784679995659480213579789217048309702810\ 898639*c_1001_3^2 + 34814913827968372333925949553875800771617085349\ 505923655494389607629039/458799974829157973329752039999744675306681\ 164071591077041341817567*c_1001_3 + 6389376113177648964758446862447800054951193437779544732217155619699\ 7801/77995995720956855466057846799956594802135797892170483097028108\ 98639, c_0011_0 - 1, c_0011_1 + 515625527944181500506228245718723976616155092265374784154813\ 3886237/77995995720956855466057846799956594802135797892170483097028\ 10898639*c_1001_3^28 + 33686488613853375904193349339324158577446352\ 969428087068002674552727/779959957209568554660578467999565948021357\ 9789217048309702810898639*c_1001_3^27 - 9350667674015801076859823925813136714738626295626753046154378402141\ 2/77995995720956855466057846799956594802135797892170483097028108986\ 39*c_1001_3^26 - 86674121029327341819878875540916459623687845013252\ 4805333491914437397/77995995720956855466057846799956594802135797892\ 17048309702810898639*c_1001_3^25 + 5050369890900368872381940426522759687405136467564099017326673292773\ 75/7799599572095685546605784679995659480213579789217048309702810898\ 639*c_1001_3^24 + 8469855506741397181977412512921550296385828746112\ 890330545525653280723/779959957209568554660578467999565948021357978\ 9217048309702810898639*c_1001_3^23 - 3369828360031373672574679210795156430797198654362181378898519817254\ 119/779959957209568554660578467999565948021357978921704830970281089\ 8639*c_1001_3^22 - 276112059299155585025282087666046026618836461003\ 8536268335435348177717/45879997482915797332975203999974467530668116\ 4071591077041341817567*c_1001_3^21 + 4407884783931187881671814109244170511803603389296077605810257459727\ 0219/77995995720956855466057846799956594802135797892170483097028108\ 98639*c_1001_3^20 + 21839595894405637134084847168937086781531335246\ 0197383805004688069782938/77995995720956855466057846799956594802135\ 79789217048309702810898639*c_1001_3^19 - 2468389443071505424110802817456678880189398557797475713209726948895\ 03075/7799599572095685546605784679995659480213579789217048309702810\ 898639*c_1001_3^18 - 8261684957962274262084940550262206390456320710\ 37505085111064353813013281/7799599572095685546605784679995659480213\ 579789217048309702810898639*c_1001_3^17 + 5316069368725452357200752098277114315893666573049349302393678863820\ 77537/7799599572095685546605784679995659480213579789217048309702810\ 898639*c_1001_3^16 + 1728182391136229895328702084522417691071837763\ 993477156084920131618129293/779959957209568554660578467999565948021\ 3579789217048309702810898639*c_1001_3^15 - 6527572892257608466899681114079454875834287687912176347178264704990\ 90408/7799599572095685546605784679995659480213579789217048309702810\ 898639*c_1001_3^14 - 1849526778564311348271758994945249137296351076\ 305731985138425835086280479/779959957209568554660578467999565948021\ 3579789217048309702810898639*c_1001_3^13 + 7607631857652789815621681530240157017793625418060585296241034248894\ 51842/7799599572095685546605784679995659480213579789217048309702810\ 898639*c_1001_3^12 + 1053125447028231190194998668606780743528858280\ 651747115624516877755156511/779959957209568554660578467999565948021\ 3579789217048309702810898639*c_1001_3^11 - 8149320170054667822075014212559016153589546394219310575415876882889\ 46640/7799599572095685546605784679995659480213579789217048309702810\ 898639*c_1001_3^10 - 2650996080090662494424921801059046414166328138\ 8193963251123408209302121/45879997482915797332975203999974467530668\ 1164071591077041341817567*c_1001_3^9 + 5670582666214619572957525021805996712121337996646848602263035033055\ 02927/7799599572095685546605784679995659480213579789217048309702810\ 898639*c_1001_3^8 + 18547504817105284965214917830358440665165033998\ 6712626110081396177621875/77995995720956855466057846799956594802135\ 79789217048309702810898639*c_1001_3^7 - 2010185578180860647138900732381022459832704615528034354670201401151\ 75657/7799599572095685546605784679995659480213579789217048309702810\ 898639*c_1001_3^6 - 40897055824051090121758329934895891668005594480\ 346599994727674748720906/779959957209568554660578467999565948021357\ 9789217048309702810898639*c_1001_3^5 + 3017900089887735154484808044344671386760942829581100056174493612539\ 0999/77995995720956855466057846799956594802135797892170483097028108\ 98639*c_1001_3^4 + 332639530989536885281622932294497176573608456690\ 2493070357055219310276/77995995720956855466057846799956594802135797\ 89217048309702810898639*c_1001_3^3 - 1642618678178987850867320904179974848320754768515100655104995562427\ 751/779959957209568554660578467999565948021357978921704830970281089\ 8639*c_1001_3^2 - 2868613865503183151377129649960371366680585176551\ 566125384296161584/458799974829157973329752039999744675306681164071\ 591077041341817567*c_1001_3 + 1799558567330588942792682899208196162\ 7057018290516917966959787559873/77995995720956855466057846799956594\ 80213579789217048309702810898639, c_0011_4 - 301948053669127774668271825906977672650879829279752088793387\ 83964747/7799599572095685546605784679995659480213579789217048309702\ 810898639*c_1001_3^28 - 2049452632449196044538542619947465757381042\ 76733732686484393201258347/7799599572095685546605784679995659480213\ 579789217048309702810898639*c_1001_3^27 + 4963898468127382070557245664115939233808322005797355159161771117939\ 79/7799599572095685546605784679995659480213579789217048309702810898\ 639*c_1001_3^26 + 5208125102512970586243687724990374436990991853345\ 486636890291359192134/779959957209568554660578467999565948021357978\ 9217048309702810898639*c_1001_3^25 - 1648939659021336473994128276441160241114399286610629946799317271492\ 404/779959957209568554660578467999565948021357978921704830970281089\ 8639*c_1001_3^24 - 501792318382804958347814830783161490828704381721\ 09861243551542356678401/7799599572095685546605784679995659480213579\ 789217048309702810898639*c_1001_3^23 + 7036386103273666623064080184780097155606780457582144324178715271614\ 689/779959957209568554660578467999565948021357978921704830970281089\ 8639*c_1001_3^22 + 163660686912473896876027388973887353560609021550\ 25081461518081847493125/4587999748291579733297520399997446753066811\ 64071591077041341817567*c_1001_3^21 - 1877036970233741010305820913076156324928930247176499568960300191664\ 66852/7799599572095685546605784679995659480213579789217048309702810\ 898639*c_1001_3^20 - 1335340608808783558462573814244841771345265025\ 621459428036124332213576427/779959957209568554660578467999565948021\ 3579789217048309702810898639*c_1001_3^19 + 1112352129484025199191015644104926898401573651249466642244016943769\ 460439/779959957209568554660578467999565948021357978921704830970281\ 0898639*c_1001_3^18 + 516231297380174444832220460898410796586583734\ 3860758838277986480299215774/77995995720956855466057846799956594802\ 13579789217048309702810898639*c_1001_3^17 - 1838054702953447101745440245920112232189052992271547491219476006977\ 060727/779959957209568554660578467999565948021357978921704830970281\ 0898639*c_1001_3^16 - 107473086209329808503430300499721554847439024\ 05811890453799883110217893663/7799599572095685546605784679995659480\ 213579789217048309702810898639*c_1001_3^15 + 1159797783185878897847759174311030666206361999575445299752246324443\ 747847/779959957209568554660578467999565948021357978921704830970281\ 0898639*c_1001_3^14 + 114628576361845646811982379884280594982950626\ 65293224564315620472050591414/7799599572095685546605784679995659480\ 213579789217048309702810898639*c_1001_3^13 - 1603799522777166214083529669180196694694728115563952534386805815996\ 549223/779959957209568554660578467999565948021357978921704830970281\ 0898639*c_1001_3^12 - 694421356701000117862136758549900564692566044\ 6538371255600045222844910358/77995995720956855466057846799956594802\ 13579789217048309702810898639*c_1001_3^11 + 3087005555704025279115334967404384023403816275556530685768716551344\ 090421/779959957209568554660578467999565948021357978921704830970281\ 0898639*c_1001_3^10 + 214855988133027714418681758208823538434371504\ 075209173372825855483450606/458799974829157973329752039999744675306\ 681164071591077041341817567*c_1001_3^9 - 2510899051486880348893086473972553415490946739308156790110949112970\ 954361/779959957209568554660578467999565948021357978921704830970281\ 0898639*c_1001_3^8 - 1838990599827014226712296655549297760329688901\ 326393293208807191059962489/779959957209568554660578467999565948021\ 3579789217048309702810898639*c_1001_3^7 + 8035952492792277425967520524896740688034764123452957579472933740395\ 97328/7799599572095685546605784679995659480213579789217048309702810\ 898639*c_1001_3^6 + 49814596281406934186788398625245191149992533636\ 1620988614024356757107351/77995995720956855466057846799956594802135\ 79789217048309702810898639*c_1001_3^5 - 8408184686124698324375591097586098425570063120445536172867969936180\ 5841/77995995720956855466057846799956594802135797892170483097028108\ 98639*c_1001_3^4 - 553693025410284956888169176350944744865269784798\ 82247046544891453099687/7799599572095685546605784679995659480213579\ 789217048309702810898639*c_1001_3^3 + 6474018757431821329243986973597108750116767524311640994171797496414\ 95/7799599572095685546605784679995659480213579789217048309702810898\ 639*c_1001_3^2 + 11143565796325820986915071692616278962529321629148\ 1097772503579917418/45879997482915797332975203999974467530668116407\ 1591077041341817567*c_1001_3 + 143383966050731614992400995576880661\ 923457848331400311569612710613359/779959957209568554660578467999565\ 9480213579789217048309702810898639, c_0011_5 - 341706804466982750903881735227680913675526887094624182652748\ 92723617/7799599572095685546605784679995659480213579789217048309702\ 810898639*c_1001_3^28 - 2313789111635972538547529828323557575585266\ 41126763866778403588162369/7799599572095685546605784679995659480213\ 579789217048309702810898639*c_1001_3^27 + 5653555123661436285162128288579174924378133027037734917521956851169\ 59/7799599572095685546605784679995659480213579789217048309702810898\ 639*c_1001_3^26 + 5883899745309417492877433437596489218977790929801\ 866813576805195930320/779959957209568554660578467999565948021357978\ 9217048309702810898639*c_1001_3^25 - 1958527961886962767019525775568188589046260240295514489481990451855\ 607/779959957209568554660578467999565948021357978921704830970281089\ 8639*c_1001_3^24 - 567324961453390997862170831878344724231550528905\ 22310001853952539895239/7799599572095685546605784679995659480213579\ 789217048309702810898639*c_1001_3^23 + 8862128580974310710718536563121837393339896980089707951835410186027\ 250/779959957209568554660578467999565948021357978921704830970281089\ 8639*c_1001_3^22 + 184996451568722281720426906436804740935699318566\ 33485824684545274513351/4587999748291579733297520399997446753066811\ 64071591077041341817567*c_1001_3^21 - 2173707794175164219637325735663301039698594798250483665608013577524\ 87646/7799599572095685546605784679995659480213579789217048309702810\ 898639*c_1001_3^20 - 1506438023447991885877633904643305704398943761\ 780839284372958572326709601/779959957209568554660578467999565948021\ 3579789217048309702810898639*c_1001_3^19 + 1281771529686003597054559009054332476057697260903139192363613076544\ 910373/779959957209568554660578467999565948021357978921704830970281\ 0898639*c_1001_3^18 + 581581917220341690378122488886272542781274535\ 6462450017365377902943264455/77995995720956855466057846799956594802\ 13579789217048309702810898639*c_1001_3^17 - 2166494200650545107776113301820285531098324730900830709401138887661\ 960276/779959957209568554660578467999565948021357978921704830970281\ 0898639*c_1001_3^16 - 121069611034155537148589301790500097754346051\ 28528015083054809770016077345/7799599572095685546605784679995659480\ 213579789217048309702810898639*c_1001_3^15 + 1490195180588518290894306548382245664424909498401093398490676590801\ 255689/779959957209568554660578467999565948021357978921704830970281\ 0898639*c_1001_3^14 + 129053899015537114750662163714718972279060387\ 73103407294766741870152411149/7799599572095685546605784679995659480\ 213579789217048309702810898639*c_1001_3^13 - 1998502822723923334922899071516955873594964194111423741487073348383\ 751715/779959957209568554660578467999565948021357978921704830970281\ 0898639*c_1001_3^12 - 778119309192376081574660665213853182524058831\ 6525391946258763563942427943/77995995720956855466057846799956594802\ 13579789217048309702810898639*c_1001_3^11 + 3591758829064513484815283492895383382929653627950379230432685907947\ 424025/779959957209568554660578467999565948021357978921704830970281\ 0898639*c_1001_3^10 + 238353771627053825775080536707279982667103461\ 907322221099463128422118920/458799974829157973329752039999744675306\ 681164071591077041341817567*c_1001_3^9 - 2882252748415123120233883099236428110269490094743548198093513805463\ 719127/779959957209568554660578467999565948021357978921704830970281\ 0898639*c_1001_3^8 - 2026695137658517974220153245577240417425631141\ 894508447551044562772430114/779959957209568554660578467999565948021\ 3579789217048309702810898639*c_1001_3^7 + 9261692782035433704380844517117834304509545959101637200883070145904\ 00707/7799599572095685546605784679995659480213579789217048309702810\ 898639*c_1001_3^6 + 54622182466315014887796604573871001696143112657\ 3296811060376240034310696/77995995720956855466057846799956594802135\ 79789217048309702810898639*c_1001_3^5 - 9840096057889247318956666230049120209591012312409720606153425881672\ 7178/77995995720956855466057846799956594802135797892170483097028108\ 98639*c_1001_3^4 - 606212598597540233148813352002811201313408907755\ 99664078688836420308213/7799599572095685546605784679995659480213579\ 789217048309702810898639*c_1001_3^3 + 9511279518375484138677795915351131179614630566457348244995170748662\ 97/7799599572095685546605784679995659480213579789217048309702810898\ 639*c_1001_3^2 + 12200424527248398455512012175519902107581551770227\ 4800694794155980574/45879997482915797332975203999974467530668116407\ 1591077041341817567*c_1001_3 + 154825514318166106979215008490502070\ 034653875767720605095650524092584/779959957209568554660578467999565\ 9480213579789217048309702810898639, c_0101_0 + 319592606227594800773074000449949933356540568628881639626993\ 63911508/7799599572095685546605784679995659480213579789217048309702\ 810898639*c_1001_3^28 + 2165745082715616980461810686561560321933253\ 50227114077238911154252604/7799599572095685546605784679995659480213\ 579789217048309702810898639*c_1001_3^27 - 5277105510811472150691136654737383366222260814370090036309251675543\ 15/7799599572095685546605784679995659480213579789217048309702810898\ 639*c_1001_3^26 - 5506513227770161681193318187979183320358988775158\ 679963685091617449880/779959957209568554660578467999565948021357978\ 9217048309702810898639*c_1001_3^25 + 1804273790793925009013680087856741891933510676450440018853445898639\ 237/779959957209568554660578467999565948021357978921704830970281089\ 8639*c_1001_3^24 + 530859088904295426230155999260324172089600771840\ 61857177759037573759918/7799599572095685546605784679995659480213579\ 789217048309702810898639*c_1001_3^23 - 8017087051810069732027410747138022842830746943166798817428953880015\ 501/779959957209568554660578467999565948021357978921704830970281089\ 8639*c_1001_3^22 - 173137043332104788273497755003037156060088681398\ 80642058699099592667844/4587999748291579733297520399997446753066811\ 64071591077041341817567*c_1001_3^21 + 2018134127702027126834860295637339151171724064888383436067083714754\ 45696/7799599572095685546605784679995659480213579789217048309702810\ 898639*c_1001_3^20 + 1410834934981632653975935504053925396689257957\ 655014702385587442983430898/779959957209568554660578467999565948021\ 3579789217048309702810898639*c_1001_3^19 - 1192180881616505578281958678209696289109429810142688757999084497352\ 844403/779959957209568554660578467999565948021357978921704830970281\ 0898639*c_1001_3^18 - 544950856425162699590803874214944248048534376\ 6608412761423601628570491408/77995995720956855466057846799956594802\ 13579789217048309702810898639*c_1001_3^17 + 2001976026998779937333776398813298078856327882927558376705445357959\ 797586/779959957209568554660578467999565948021357978921704830970281\ 0898639*c_1001_3^16 + 113480515562197505527020703067876065105442591\ 01656930529206779981073260040/7799599572095685546605784679995659480\ 213579789217048309702810898639*c_1001_3^15 - 1343505846444810380373908649910942308671896837001309461196226798667\ 848127/779959957209568554660578467999565948021357978921704830970281\ 0898639*c_1001_3^14 - 121059648107627765760360899458642528993985919\ 63151008409440335769541781342/7799599572095685546605784679995659480\ 213579789217048309702810898639*c_1001_3^13 + 1817195723872455590139616661556263231976306506216310841321827296389\ 991898/779959957209568554660578467999565948021357978921704830970281\ 0898639*c_1001_3^12 + 731656017857889411879385374548496322082329414\ 4237044077299190751245980296/77995995720956855466057846799956594802\ 13579789217048309702810898639*c_1001_3^11 - 3334080956816928024979883294041409590894805177930790518797269283940\ 697728/779959957209568554660578467999565948021357978921704830970281\ 0898639*c_1001_3^10 - 224869664988908293654782190222412013336358113\ 580782978733384239093558668/458799974829157973329752039999744675306\ 681164071591077041341817567*c_1001_3^9 + 2689037540170471976431999966452723212596091635466505138753828768526\ 411640/779959957209568554660578467999565948021357978921704830970281\ 0898639*c_1001_3^8 + 1915952373018041241638691413333064138091694146\ 622523279369661084959907937/779959957209568554660578467999565948021\ 3579789217048309702810898639*c_1001_3^7 - 8649708654171515579864556923028254879650234324639501869356579059390\ 43433/7799599572095685546605784679995659480213579789217048309702810\ 898639*c_1001_3^6 - 51798460088349674582309574409016444120150253190\ 4480006259338078147607204/77995995720956855466057846799956594802135\ 79789217048309702810898639*c_1001_3^5 + 9212866424170219350269396114477564117083906359702308680225581519092\ 8655/77995995720956855466057846799956594802135797892170483097028108\ 98639*c_1001_3^4 + 576827748072881680855043191287223039187685588973\ 70247182321696741811088/7799599572095685546605784679995659480213579\ 789217048309702810898639*c_1001_3^3 - 9218083841415353386001339343646489516789191110124532542806211362747\ 31/7799599572095685546605784679995659480213579789217048309702810898\ 639*c_1001_3^2 - 11783942777749154935038140657857623283061677065387\ 4019215938042601907/45879997482915797332975203999974467530668116407\ 1591077041341817567*c_1001_3 - 147638686479454390614099971661681540\ 890607792748287434572589141159379/779959957209568554660578467999565\ 9480213579789217048309702810898639, c_0101_5 + 141279854803886025295388098946002877338001965976446714391899\ 4340246/77995995720956855466057846799956594802135797892170483097028\ 10898639*c_1001_3^28 + 10276245331120552123849849091399680778521479\ 452992094645755603647291/779959957209568554660578467999565948021357\ 9789217048309702810898639*c_1001_3^27 - 1878361253298958310002521615141260605273073318647460927549328184683\ 7/77995995720956855466057846799956594802135797892170483097028108986\ 39*c_1001_3^26 - 25642189335613327876034392741001051735170822008562\ 6040100661622704649/77995995720956855466057846799956594802135797892\ 17048309702810898639*c_1001_3^25 - 3736662887028402656771613535338893282888690104858211382817349105921\ 7/77995995720956855466057846799956594802135797892170483097028108986\ 39*c_1001_3^24 + 24223922584276627672574670532011512052609895264546\ 56562259581730549729/7799599572095685546605784679995659480213579789\ 217048309702810898639*c_1001_3^23 + 7913975365521105978670995421456879450273454532657907970555568192466\ 95/7799599572095685546605784679995659480213579789217048309702810898\ 639*c_1001_3^22 - 7963556544231735326265012573847579606600370780372\ 80606389355893532231/4587999748291579733297520399997446753066811640\ 71591077041341817567*c_1001_3^21 + 2592546573358142926353470938749121316784640547994393417122593295096\ 863/779959957209568554660578467999565948021357978921704830970281089\ 8639*c_1001_3^20 + 687354390528452693430636015486505000835389244596\ 95977152038568528274961/7799599572095685546605784679995659480213579\ 789217048309702810898639*c_1001_3^19 - 2352865394612190853808310986076253655744836224106001273413035077658\ 1093/77995995720956855466057846799956594802135797892170483097028108\ 98639*c_1001_3^18 - 27607218000123277980405954531935069211392266854\ 0283244674342571240601733/77995995720956855466057846799956594802135\ 79789217048309702810898639*c_1001_3^17 - 2107197997500780339248028889255582322891445086061737866397710461180\ 9484/77995995720956855466057846799956594802135797892170483097028108\ 98639*c_1001_3^16 + 57945813851953855466836903523681371058624417638\ 0124622041095495366347201/77995995720956855466057846799956594802135\ 79789217048309702810898639*c_1001_3^15 + 1684299871733526664104468717548822241620148860820983910556271208468\ 39372/7799599572095685546605784679995659480213579789217048309702810\ 898639*c_1001_3^14 - 6343255681109893802192107114689169877411687843\ 72330994752691505940485260/7799599572095685546605784679995659480213\ 579789217048309702810898639*c_1001_3^13 - 1597120659473078594082888902760639305070778323465980105685656607996\ 55232/7799599572095685546605784679995659480213579789217048309702810\ 898639*c_1001_3^12 + 4354790596029474806196742429846479362368929609\ 63028361566174153881409655/7799599572095685546605784679995659480213\ 579789217048309702810898639*c_1001_3^11 - 1685440929558690150907588128511691002258107015961016364123184752739\ 1809/77995995720956855466057846799956594802135797892170483097028108\ 98639*c_1001_3^10 - 16526744510026598678655981048684063633108778195\ 778644913269711673986662/458799974829157973329752039999744675306681\ 164071591077041341817567*c_1001_3^9 + 6685600398851529706891692296373823186816633788561481214819914807285\ 3758/77995995720956855466057846799956594802135797892170483097028108\ 98639*c_1001_3^8 + 159843407423641996072424122830454610896810841555\ 858244424394551167067945/779959957209568554660578467999565948021357\ 9789217048309702810898639*c_1001_3^7 - 1752893591246312015787700169030013823043452847876932298097368616239\ 2168/77995995720956855466057846799956594802135797892170483097028108\ 98639*c_1001_3^6 - 485203195172678004698450770414605957867803960266\ 89438321379594384186584/7799599572095685546605784679995659480213579\ 789217048309702810898639*c_1001_3^5 - 4126476380864925094302361437409254616740967876422402977557761758231\ 82/7799599572095685546605784679995659480213579789217048309702810898\ 639*c_1001_3^4 + 58302692400890051574458619860738167882136694123878\ 13461265050803257556/7799599572095685546605784679995659480213579789\ 217048309702810898639*c_1001_3^3 + 4111819897022981971907388396620233626867299892573119073382216567630\ 06/7799599572095685546605784679995659480213579789217048309702810898\ 639*c_1001_3^2 - 11753446997734156720858023238615977010001758365477\ 467572902527464249/458799974829157973329752039999744675306681164071\ 591077041341817567*c_1001_3 - 2130452645411898554110549659112358048\ 3962116344312724688054894703630/77995995720956855466057846799956594\ 80213579789217048309702810898639, c_1001_3^29 + 7*c_1001_3^28 - 15*c_1001_3^27 - 176*c_1001_3^26 + 18*c_1001_3^25 + 1674*c_1001_3^24 + 120*c_1001_3^23 - 9269*c_1001_3^22 + 4259*c_1001_3^21 + 45574*c_1001_3^20 - 27461*c_1001_3^19 - 178932*c_1001_3^18 + 24658*c_1001_3^17 + 369384*c_1001_3^16 + 37027*c_1001_3^15 - 388830*c_1001_3^14 - 27396*c_1001_3^13 + 242313*c_1001_3^12 - 53594*c_1001_3^11 - 143270*c_1001_3^10 + 57795*c_1001_3^9 + 78862*c_1001_3^8 - 13914*c_1001_3^7 - 22288*c_1001_3^6 - 654*c_1001_3^5 + 2453*c_1001_3^4 + 363*c_1001_3^3 - 69*c_1001_3^2 - 18*c_1001_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB