Magma V2.19-8 Tue Aug 20 2013 16:15:54 on localhost [Seed = 2345277362] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0137 geometric_solution 3.64070631 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0.636200333973 0.021506500811 2 0 2 0 0132 2310 1023 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 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.793761896867 0.031568005367 1 3 1 3 0132 0132 1023 1023 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 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.498769939883 0.136120367713 4 2 4 2 0132 0132 2310 1023 0 0 0 0 0 0 0 0 1 0 -1 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 -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 -1.963696096419 3.822774191079 3 3 5 6 0132 3201 0132 0132 0 0 0 0 0 1 -1 0 -1 0 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 -1 1 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.012307511391 0.504083618893 6 6 6 4 1023 3012 1230 0132 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 1 -1 0 0 0 0 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.991837445561 0.999888237700 5 5 4 5 1230 1023 0132 3012 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 0 1 -1 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.991837445561 0.999888237700 ==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' : negation(d['1']), 's_3_4' : negation(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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_1_6' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(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' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_5'], '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' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0011_5'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_4'], '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_5, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t - 22900819598712961767891826307943167261513920191684340933883697661/6\ 1075881101235012570357088298325533956722999156424808800458227*c_010\ 1_4^30 + 9231021698245435217025969038040020120087939222615188028260\ 7018939/61075881101235012570357088298325533956722999156424808800458\ 227*c_0101_4^29 + 1691150251230370689306694052311567793311816809171\ 178474261916604916/610758811012350125703570882983255339567229991564\ 24808800458227*c_0101_4^28 - 49274255810904765973601468870439806776\ 93280255225858967243442685047/6107588110123501257035708829832553395\ 6722999156424808800458227*c_0101_4^27 - 3885289532508267032379182686714128297932609709928195003528686789425\ /5552352827385001142759735299847775814247545377856800800041657*c_01\ 01_4^26 + 106041047996985828260016197514931783331356304779104796582\ 315290009101/610758811012350125703570882983255339567229991564248088\ 00458227*c_0101_4^25 + 37677393785150857701900506076509978897115842\ 7265805484130423325114795/61075881101235012570357088298325533956722\ 999156424808800458227*c_0101_4^24 - 9605030609321297889756588561376193738099750531471676428290733623020\ 36/61075881101235012570357088298325533956722999156424808800458227*c\ _0101_4^23 - 167595555238268382202989089669544827766557571144172277\ 7247188753370038/61075881101235012570357088298325533956722999156424\ 808800458227*c_0101_4^22 + 4747085406493361693118857984776546875553\ 828474985630959584891349059390/610758811012350125703570882983255339\ 56722999156424808800458227*c_0101_4^21 + 4259049556282627970172067365155785549878390343303775950124901924302\ 517/61075881101235012570357088298325533956722999156424808800458227*\ c_0101_4^20 - 14480057620447794222456806768979805350381897037496365\ 101660946495575241/610758811012350125703570882983255339567229991564\ 24808800458227*c_0101_4^19 - 63046256860087884587162396504168966650\ 98638542202467157391143590391219/6107588110123501257035708829832553\ 3956722999156424808800458227*c_0101_4^18 + 2910237915442888154256546073611827655600518366999681544991251024788\ 6129/61075881101235012570357088298325533956722999156424808800458227\ *c_0101_4^17 + 4748047718234598144258835679242230327073430130118431\ 514059632299650032/610758811012350125703570882983255339567229991564\ 24808800458227*c_0101_4^16 - 39923990840551650602336297495305440015\ 575125988649568049373821704212259/610758811012350125703570882983255\ 33956722999156424808800458227*c_0101_4^15 + 1133977389706680179321715364659596691120889529087184255430027073696\ 75/61075881101235012570357088298325533956722999156424808800458227*c\ _0101_4^14 + 379434871646979846867815002715088558005995606190481449\ 08118481920223326/6107588110123501257035708829832553395672299915642\ 4808800458227*c_0101_4^13 - 391026114716109021337649561912898306362\ 2293561763276338141359584757550/61075881101235012570357088298325533\ 956722999156424808800458227*c_0101_4^12 - 2490693356400355246610027272285117315991249595390703847097898278055\ 0418/61075881101235012570357088298325533956722999156424808800458227\ *c_0101_4^11 + 3958988903342805454496921155508420828730991340354080\ 308645817809556206/610758811012350125703570882983255339567229991564\ 24808800458227*c_0101_4^10 + 11035615581932072000987776741666268919\ 368318064015493069796540923464331/610758811012350125703570882983255\ 33956722999156424808800458227*c_0101_4^9 - 2009093877167547703987739230948682620660186245475859407261997139606\ 424/61075881101235012570357088298325533956722999156424808800458227*\ c_0101_4^8 - 313480895681909142010969438549812140653325041820697695\ 2932248709773307/61075881101235012570357088298325533956722999156424\ 808800458227*c_0101_4^7 + 55588601196669564902701422745837709343601\ 8276237334428014319500222967/61075881101235012570357088298325533956\ 722999156424808800458227*c_0101_4^6 + 5154170333584618745900383502375995366433148215568838906395481531437\ 76/61075881101235012570357088298325533956722999156424808800458227*c\ _0101_4^5 - 7352309748287364485492681015248489739479004816599809529\ 1264802870262/61075881101235012570357088298325533956722999156424808\ 800458227*c_0101_4^4 - 39633744508581564636680636222804013842972310\ 544277133867373337930697/610758811012350125703570882983255339567229\ 99156424808800458227*c_0101_4^3 + 251185413265817243745994965975961\ 2845605455754530082057912419297339/61075881101235012570357088298325\ 533956722999156424808800458227*c_0101_4^2 + 875991166938931767681526799783070321144159671406503827273553845515/\ 61075881101235012570357088298325533956722999156424808800458227*c_01\ 01_4 + 366965908308704902446608673846047141333139556454084982286363\ 44504/6107588110123501257035708829832553395672299915642480880045822\ 7, c_0011_0 - 1, c_0011_1 + 197572448198087264192977981404624644565888498005165103839284\ 2/5552352827385001142759735299847775814247545377856800800041657*c_0\ 101_4^30 - 75536336123729484261979240239682704906052997971264430893\ 09821/5552352827385001142759735299847775814247545377856800800041657\ *c_0101_4^29 - 1466339217794897918987009341839580343973021394348573\ 49760285615/5552352827385001142759735299847775814247545377856800800\ 041657*c_0101_4^28 + 3911220597147900977544198670695233638021690080\ 11222050874793770/5552352827385001142759735299847775814247545377856\ 800800041657*c_0101_4^27 + 3707922420584269888423399831732146621901\ 707819764607846063270476/555235282738500114275973529984777581424754\ 5377856800800041657*c_0101_4^26 - 818899018667299366101335381583996\ 1908414719214891242450662202350/55523528273850011427597352998477758\ 14247545377856800800041657*c_0101_4^25 - 32723285334318696174831696666682917152731381318184570721403867102/5\ 552352827385001142759735299847775814247545377856800800041657*c_0101\ _4^24 + 72027245750859469441681905900085806871513387963620195977035\ 488578/555235282738500114275973529984777581424754537785680080004165\ 7*c_0101_4^23 + 147552682009888733582977283951670360354534716278573\ 427117202442571/555235282738500114275973529984777581424754537785680\ 0800041657*c_0101_4^22 - 344047567744532043175297097264942765453877\ 199543208413197130957649/555235282738500114275973529984777581424754\ 5377856800800041657*c_0101_4^21 - 392306981047720486619632454902627\ 907715479448669377275254844822848/555235282738500114275973529984777\ 5814247545377856800800041657*c_0101_4^20 + 1007398711896039281687048155958173514297223194345653462184458120353\ /5552352827385001142759735299847775814247545377856800800041657*c_01\ 01_4^19 + 659213884753496218943888911414674282070735541037691751108\ 503888338/555235282738500114275973529984777581424754537785680080004\ 1657*c_0101_4^18 - 192800918314977991929642700830248155875667975079\ 9941016565687315610/55523528273850011427597352998477758142475453778\ 56800800041657*c_0101_4^17 - 72872615860646837189826199484417212497\ 6995344246009160510268399315/55523528273850011427597352998477758142\ 47545377856800800041657*c_0101_4^16 + 2494912326431922463179702323762443849528260486932789079458181063470\ /5552352827385001142759735299847775814247545377856800800041657*c_01\ 01_4^15 + 549007610661405113694519567870430639913903044413323849997\ 443659016/555235282738500114275973529984777581424754537785680080004\ 1657*c_0101_4^14 - 221043999517552997006384943827176025171270898468\ 2443666562658536498/55523528273850011427597352998477758142475453778\ 56800800041657*c_0101_4^13 - 30044034666599129515484684508317091816\ 1063636946551088296855024176/55523528273850011427597352998477758142\ 47545377856800800041657*c_0101_4^12 + 1332200332110718241697511439810924321820436234074790801480071402417\ /5552352827385001142759735299847775814247545377856800800041657*c_01\ 01_4^11 + 134861944592657974895971522961568845496772017799205976943\ 809826320/555235282738500114275973529984777581424754537785680080004\ 1657*c_0101_4^10 - 531668919924228934495432512233563428197700523544\ 469613699510222720/555235282738500114275973529984777581424754537785\ 6800800041657*c_0101_4^9 - 5403170133156098569775673727113159831959\ 8909064331246993048861581/55523528273850011427597352998477758142475\ 45377856800800041657*c_0101_4^8 + 133192377572975696417279491672736\ 598919649289816398824500954976333/555235282738500114275973529984777\ 5814247545377856800800041657*c_0101_4^7 + 16919146630641713852461061983432445933860092229522263874976241964/5\ 552352827385001142759735299847775814247545377856800800041657*c_0101\ _4^6 - 190970886851144514730735395925028099897903664974247045740004\ 72736/5552352827385001142759735299847775814247545377856800800041657\ *c_0101_4^5 - 31642455934058915528620388066198693456395413209071321\ 11836187113/5552352827385001142759735299847775814247545377856800800\ 041657*c_0101_4^4 + 13151691598202717944824139866773125862245932671\ 15773731133210783/5552352827385001142759735299847775814247545377856\ 800800041657*c_0101_4^3 + 25518880132599888842617750813518889025863\ 7293924891105815522219/55523528273850011427597352998477758142475453\ 77856800800041657*c_0101_4^2 - 128100445737080000759739385353820855\ 60407326084911275589910907/5552352827385001142759735299847775814247\ 545377856800800041657*c_0101_4 - 5908344877627379868635306162379008\ 692345710187535174538008206/555235282738500114275973529984777581424\ 7545377856800800041657, c_0011_5 + 128142540876362719885173343314708637129809461309852051615240\ 0/5552352827385001142759735299847775814247545377856800800041657*c_0\ 101_4^30 - 37799655867388143621282608116818650438826984020292834053\ 14936/5552352827385001142759735299847775814247545377856800800041657\ *c_0101_4^29 - 9945579298837353077840373239516958730428713215666282\ 5702209710/55523528273850011427597352998477758142475453778568008000\ 41657*c_0101_4^28 + 17094958586881740756609923181865879423417428979\ 5811012866574414/55523528273850011427597352998477758142475453778568\ 00800041657*c_0101_4^27 + 26316895787569077236064234386717966133983\ 36232697294622631343795/5552352827385001142759735299847775814247545\ 377856800800041657*c_0101_4^26 - 3230155798490695162127598948453314\ 094538116518428575862742358122/555235282738500114275973529984777581\ 4247545377856800800041657*c_0101_4^25 - 25993298633347944664947308955889746560606735217275612471230110199/5\ 552352827385001142759735299847775814247545377856800800041657*c_0101\ _4^24 + 28617251586889660379134682388150369822484771279936515465225\ 923221/555235282738500114275973529984777581424754537785680080004165\ 7*c_0101_4^23 + 137620359829507557792378053585918134407466830662076\ 442799117352481/555235282738500114275973529984777581424754537785680\ 0800041657*c_0101_4^22 - 143678642245651736507363691577631967143434\ 482961078913804656924418/555235282738500114275973529984777581424754\ 5377856800800041657*c_0101_4^21 - 453907809123809757313104951092278\ 958519474618955859130903364006764/555235282738500114275973529984777\ 5814247545377856800800041657*c_0101_4^20 + 452172291019098768832634633257833559089683950928436833635626550284/\ 5552352827385001142759735299847775814247545377856800800041657*c_010\ 1_4^19 + 1007317842896615061888743726516271592293572103794816897613\ 940635340/555235282738500114275973529984777581424754537785680080004\ 1657*c_0101_4^18 - 943024467025528524330621574596716706141113119595\ 584006302026267734/555235282738500114275973529984777581424754537785\ 6800800041657*c_0101_4^17 - 156869761990844566300887563963288586491\ 0167305628483948616353499232/55523528273850011427597352998477758142\ 47545377856800800041657*c_0101_4^16 + 1340980773127281608021277842708468818811051674307574305816011487573\ /5552352827385001142759735299847775814247545377856800800041657*c_01\ 01_4^15 + 174702050880657287365157771174177152460376037382809959473\ 3194286357/55523528273850011427597352998477758142475453778568008000\ 41657*c_0101_4^14 - 13110733222599566297060847572104157468349184195\ 82212733955054670494/5552352827385001142759735299847775814247545377\ 856800800041657*c_0101_4^13 - 1390108077940877680242021425859166985\ 722303691775493932832782606932/555235282738500114275973529984777581\ 4247545377856800800041657*c_0101_4^12 + 872469406047964167933761615802103411528180255367538354082784363687/\ 5552352827385001142759735299847775814247545377856800800041657*c_010\ 1_4^11 + 7737542879879620574917824094639533557537334075060689878123\ 66034602/5552352827385001142759735299847775814247545377856800800041\ 657*c_0101_4^10 - 3827840453836245515561080080865787343967799117076\ 41628551625709059/5552352827385001142759735299847775814247545377856\ 800800041657*c_0101_4^9 - 28787184393386956688724710545935147656340\ 8264874851037478651297259/55523528273850011427597352998477758142475\ 45377856800800041657*c_0101_4^8 + 103586933906093333002300115114435\ 213920640776451780303226802252279/555235282738500114275973529984777\ 5814247545377856800800041657*c_0101_4^7 + 65897388085180695354898196946608689518985086950015301363033034026/5\ 552352827385001142759735299847775814247545377856800800041657*c_0101\ _4^6 - 150964726004489884901015866343304419173461847358818979707836\ 77598/5552352827385001142759735299847775814247545377856800800041657\ *c_0101_4^5 - 79863049821242054567266641024841097589373895385219833\ 18709929574/5552352827385001142759735299847775814247545377856800800\ 041657*c_0101_4^4 + 85930460241564467540113943027942046798726397882\ 3160110254937032/55523528273850011427597352998477758142475453778568\ 00800041657*c_0101_4^3 + 392938873002651512496209406760984595311578\ 229792267488604469343/555235282738500114275973529984777581424754537\ 7856800800041657*c_0101_4^2 - 4376417122259704553329102319470576888\ 635553784390665406392933/555235282738500114275973529984777581424754\ 5377856800800041657*c_0101_4 - 595345222987205789720269561494228688\ 1785537598777206896237182/55523528273850011427597352998477758142475\ 45377856800800041657, c_0101_0 + 144006643476292316547719901161141157548819675586739470980573\ 2/5552352827385001142759735299847775814247545377856800800041657*c_0\ 101_4^30 - 52929996800997948138116858772718327895520299814217363006\ 86978/5552352827385001142759735299847775814247545377856800800041657\ *c_0101_4^29 - 1077475627968137019117966859415845941122909928279101\ 54212275556/5552352827385001142759735299847775814247545377856800800\ 041657*c_0101_4^28 + 2695206177481046906915030248959227227182262035\ 56062664661660045/5552352827385001142759735299847775814247545377856\ 800800041657*c_0101_4^27 + 2748739309430611948755425625490388421333\ 655704503908948492124994/555235282738500114275973529984777581424754\ 5377856800800041657*c_0101_4^26 - 558117719895383373350058308836761\ 2964378380443303380478853412625/55523528273850011427597352998477758\ 14247545377856800800041657*c_0101_4^25 - 24828333946483398918926794939662471710781280891111061014388357455/5\ 552352827385001142759735299847775814247545377856800800041657*c_0101\ _4^24 + 49211112195604727789997308022527157914371627615451650422128\ 548812/555235282738500114275973529984777581424754537785680080004165\ 7*c_0101_4^23 + 116003882650561139227625435470362606956117158147792\ 842746268385315/555235282738500114275973529984777581424754537785680\ 0800041657*c_0101_4^22 - 236729673662617834000958828605026916878164\ 148112007927761517345631/555235282738500114275973529984777581424754\ 5377856800800041657*c_0101_4^21 - 325276225611110415351291845609402\ 444548696707136829343085594566129/555235282738500114275973529984777\ 5814247545377856800800041657*c_0101_4^20 + 699425921247233032089048166842562442881512910857562445656277970855/\ 5552352827385001142759735299847775814247545377856800800041657*c_010\ 1_4^19 + 5919885193604354192649088968606032874477850958157927335791\ 14929144/5552352827385001142759735299847775814247545377856800800041\ 657*c_0101_4^18 - 1350878341165829592127464925189586025784358415362\ 026366723500498586/555235282738500114275973529984777581424754537785\ 6800800041657*c_0101_4^17 - 737178974576010924066922357277681597448\ 004164196154218935848041556/555235282738500114275973529984777581424\ 7545377856800800041657*c_0101_4^16 + 1760704247287665284963819675881823006508165081729303501167948498642\ /5552352827385001142759735299847775814247545377856800800041657*c_01\ 01_4^15 + 657423058023339117878435621795846795162992039895940445401\ 559008997/555235282738500114275973529984777581424754537785680080004\ 1657*c_0101_4^14 - 156348267247848466293166307887186066181294853455\ 9106445737406894803/55523528273850011427597352998477758142475453778\ 56800800041657*c_0101_4^13 - 43872125469428888652625976528084251647\ 3829122587020514123155459635/55523528273850011427597352998477758142\ 47545377856800800041657*c_0101_4^12 + 935174878905546081520979622746739464348274488043503517018337989081/\ 5552352827385001142759735299847775814247545377856800800041657*c_010\ 1_4^11 + 2247391850922007464483920957995371902211023969928277219419\ 56402768/5552352827385001142759735299847775814247545377856800800041\ 657*c_0101_4^10 - 3634499480543574608102634708009663768314425381640\ 48770954881304122/5552352827385001142759735299847775814247545377856\ 800800041657*c_0101_4^9 - 85536962821795192373859438845068424293417\ 974893619614875134654204/555235282738500114275973529984777581424754\ 5377856800800041657*c_0101_4^8 + 8544240142233191572703784668121608\ 6105115220554841517766308528855/55523528273850011427597352998477758\ 14247545377856800800041657*c_0101_4^7 + 21273639096997285817129084959497446076023201243053169750408550776/5\ 552352827385001142759735299847775814247545377856800800041657*c_0101\ _4^6 - 107736038356818898556045170723712338543651148581972236820924\ 30345/5552352827385001142759735299847775814247545377856800800041657\ *c_0101_4^5 - 25971843623203169225399881113153197349272080046401036\ 58195672201/5552352827385001142759735299847775814247545377856800800\ 041657*c_0101_4^4 + 68719125228312893467869196549742086401358038101\ 9991845893449272/55523528273850011427597352998477758142475453778568\ 00800041657*c_0101_4^3 + 525707189158385433045352916240983503950447\ 85833447329667730520/5552352827385001142759735299847775814247545377\ 856800800041657*c_0101_4^2 - 38851629590164029675200054825943479953\ 078934586549190009880898/555235282738500114275973529984777581424754\ 5377856800800041657*c_0101_4 - 821360731186115454538524508056792645\ 359552773595882386161625/555235282738500114275973529984777581424754\ 5377856800800041657, c_0101_1 + 255456916220850477008108378222131696806038111735855443093790\ /5552352827385001142759735299847775814247545377856800800041657*c_01\ 01_4^30 - 676365972657523121798274272716103968846733698706052589036\ 164/5552352827385001142759735299847775814247545377856800800041657*c\ _0101_4^29 - 202429734143351623175840644768456149670586569124113639\ 99148278/5552352827385001142759735299847775814247545377856800800041\ 657*c_0101_4^28 + 2898939482558506510618878654706108208007608065762\ 6736898274227/55523528273850011427597352998477758142475453778568008\ 00041657*c_0101_4^27 + 54798640327465877375661406830938468322998739\ 5757615099342243796/55523528273850011427597352998477758142475453778\ 56800800041657*c_0101_4^26 - 53494122005556979085204607908678883960\ 0044189827516789816863557/55523528273850011427597352998477758142475\ 45377856800800041657*c_0101_4^25 - 5677495255065793953311139284641647745008962879987716677744119214/55\ 52352827385001142759735299847775814247545377856800800041657*c_0101_\ 4^24 + 519440791802340123802886060184098003690273938308311046473118\ 8289/5552352827385001142759735299847775814247545377856800800041657*\ c_0101_4^23 + 31140293751434598767643482113993037136446368767987770\ 447724929174/555235282738500114275973529984777581424754537785680080\ 0041657*c_0101_4^22 - 288323896907719020300292488381671252047764980\ 62614808394562076226/5552352827385001142759735299847775814247545377\ 856800800041657*c_0101_4^21 - 1039797659880871373504850208134412722\ 66889506985422787454485384727/5552352827385001142759735299847775814\ 247545377856800800041657*c_0101_4^20 + 97763571710838591590884604832436066654140994155075331018305845806/5\ 552352827385001142759735299847775814247545377856800800041657*c_0101\ _4^19 + 22713916236068094193105532400574686934341271692355768446285\ 3576837/55523528273850011427597352998477758142475453778568008000416\ 57*c_0101_4^18 - 21092678593144976578765253845787120266868897571571\ 4187474085801253/55523528273850011427597352998477758142475453778568\ 00800041657*c_0101_4^17 - 34034088816990399542599119908467415363782\ 2735268145285489380525636/55523528273850011427597352998477758142475\ 45377856800800041657*c_0101_4^16 + 295833472594306838468422695335955240013568113370569748027136185652/\ 5552352827385001142759735299847775814247545377856800800041657*c_010\ 1_4^15 + 3633560993706324312517714903883673094671652785359507948059\ 38026727/5552352827385001142759735299847775814247545377856800800041\ 657*c_0101_4^14 - 2709836703213153014247984651583135795955788240573\ 97019763528625850/5552352827385001142759735299847775814247545377856\ 800800041657*c_0101_4^13 - 2849461947945299757160593991975816640663\ 00151592245542283547572670/5552352827385001142759735299847775814247\ 545377856800800041657*c_0101_4^12 + 160223824114651946901281646453673136927289764507918123485862051340/\ 5552352827385001142759735299847775814247545377856800800041657*c_010\ 1_4^11 + 1662274772079949682445003069729892815972418581578919519359\ 75181517/5552352827385001142759735299847775814247545377856800800041\ 657*c_0101_4^10 - 5988399447220212713398841306406055067920177250693\ 6951042981030833/55523528273850011427597352998477758142475453778568\ 00800041657*c_0101_4^9 - 703837183688347912513345297845538018482382\ 21227116424520143133230/5552352827385001142759735299847775814247545\ 377856800800041657*c_0101_4^8 + 14380550606310302090071437615848554\ 407007490050912714659854277048/555235282738500114275973529984777581\ 4247545377856800800041657*c_0101_4^7 + 19879174557160990931123820178258777195008048819562895147156200094/5\ 552352827385001142759735299847775814247545377856800800041657*c_0101\ _4^6 - 263071513774157370546436303796972256823340410863969344581950\ 0066/5552352827385001142759735299847775814247545377856800800041657*\ c_0101_4^5 - 313428092976611262211734963200009119399029734675252677\ 2812125036/55523528273850011427597352998477758142475453778568008000\ 41657*c_0101_4^4 + 370445587877171461691981463152628861729805727573\ 650190992506096/555235282738500114275973529984777581424754537785680\ 0800041657*c_0101_4^3 + 1777081717310342221075510853935464717167910\ 68026088136244011687/5552352827385001142759735299847775814247545377\ 856800800041657*c_0101_4^2 - 14274835258464667726757153149462384354\ 71339521081574023702925/5552352827385001142759735299847775814247545\ 377856800800041657*c_0101_4 + 9858685116708587679198144424202921314\ 0208538741194793854984/55523528273850011427597352998477758142475453\ 77856800800041657, c_0101_3 - 663635526077036032893100907756008918919583414184685742986124\ /5552352827385001142759735299847775814247545377856800800041657*c_01\ 01_4^30 + 228550369803122984834750092813808867395995366389996039643\ 0098/5552352827385001142759735299847775814247545377856800800041657*\ c_0101_4^29 + 50396056397915979954688589259534041078628073545331527\ 762915261/555235282738500114275973529984777581424754537785680080004\ 1657*c_0101_4^28 - 113360391908418464873371158051336810481990409177\ 952491522083552/555235282738500114275973529984777581424754537785680\ 0800041657*c_0101_4^27 - 130860786857622760029288085867426296384483\ 7617177587055265575613/55523528273850011427597352998477758142475453\ 77856800800041657*c_0101_4^26 + 23116834729200041410758337430487133\ 60121134325541072181891561239/5552352827385001142759735299847775814\ 247545377856800800041657*c_0101_4^25 + 12366669999106620709164151045384551782557890421606649487255391086/5\ 552352827385001142759735299847775814247545377856800800041657*c_0101\ _4^24 - 20700341603603467851551547276574362782172837603929909440695\ 202077/555235282738500114275973529984777581424754537785680080004165\ 7*c_0101_4^23 - 615547960470122186848720282332789497533933446250648\ 52523713405715/5552352827385001142759735299847775814247545377856800\ 800041657*c_0101_4^22 + 1023623675856690070634635750599061184107012\ 99277822176020699527283/5552352827385001142759735299847775814247545\ 377856800800041657*c_0101_4^21 + 1878079292373547099192036492980031\ 94508235863652735641517433455386/5552352827385001142759735299847775\ 814247545377856800800041657*c_0101_4^20 - 313214236009351931277887737767328868088166917735191976685293497881/\ 5552352827385001142759735299847775814247545377856800800041657*c_010\ 1_4^19 - 3813765642725145633133580749240922059438177514670859250419\ 57169697/5552352827385001142759735299847775814247545377856800800041\ 657*c_0101_4^18 + 6302422795023711059388454444727444008941621674239\ 96870781238200960/5552352827385001142759735299847775814247545377856\ 800800041657*c_0101_4^17 + 5441945900171772285995237398407521373681\ 92487589532284619896277376/5552352827385001142759735299847775814247\ 545377856800800041657*c_0101_4^16 - 861215684217153313222589925991124222328846969298399836673287894920/\ 5552352827385001142759735299847775814247545377856800800041657*c_010\ 1_4^15 - 5666456046058617612740226691977956577015502765085787257788\ 13915168/5552352827385001142759735299847775814247545377856800800041\ 657*c_0101_4^14 + 8089493469613694721460712708873615950089288834045\ 69338085397085930/5552352827385001142759735299847775814247545377856\ 800800041657*c_0101_4^13 + 4386861907246519679649771966701103595489\ 31960563276776332857369449/5552352827385001142759735299847775814247\ 545377856800800041657*c_0101_4^12 - 519260476075480425102607570814899705940880227279358798417718904498/\ 5552352827385001142759735299847775814247545377856800800041657*c_010\ 1_4^11 - 2500107643772341571831687146880081752925573125508906654749\ 96048617/5552352827385001142759735299847775814247545377856800800041\ 657*c_0101_4^10 + 2219292810645894843578878492278163948488026269617\ 14632670207786144/5552352827385001142759735299847775814247545377856\ 800800041657*c_0101_4^9 + 10002116775970079515625547492435456509903\ 7595398841405353294737136/55523528273850011427597352998477758142475\ 45377856800800041657*c_0101_4^8 - 598617390986749942792681626363298\ 73788975715534980051089618088894/5552352827385001142759735299847775\ 814247545377856800800041657*c_0101_4^7 - 25525879733168345061885918800545119858439874195850332390945594668/5\ 552352827385001142759735299847775814247545377856800800041657*c_0101\ _4^6 + 923015809467530176869425074972051736717600917916255899181231\ 5376/5552352827385001142759735299847775814247545377856800800041657*\ c_0101_4^5 + 347511940750506721323903753714583267829965587329762342\ 8654996592/55523528273850011427597352998477758142475453778568008000\ 41657*c_0101_4^4 - 665653920750074037567356345710764949143160576568\ 656641844713003/555235282738500114275973529984777581424754537785680\ 0800041657*c_0101_4^3 - 1700863152065628267225691035576724290245368\ 06849529208911572081/5552352827385001142759735299847775814247545377\ 856800800041657*c_0101_4^2 + 44843987272980826125191897742758286296\ 04694504902903682996863/5552352827385001142759735299847775814247545\ 377856800800041657*c_0101_4 + 1054897669044235648781911213703588850\ 266321118362067341070018/555235282738500114275973529984777581424754\ 5377856800800041657, c_0101_4^31 - 4*c_0101_4^30 - 74*c_0101_4^29 + 213*c_0101_4^28 + 1875*c_0101_4^27 - 4579*c_0101_4^26 - 16649*c_0101_4^25 + 41566*c_0101_4^24 + 74947*c_0101_4^23 - 206216*c_0101_4^22 - 194440*c_0101_4^21 + 632354*c_0101_4^20 + 299983*c_0101_4^19 - 1279759*c_0101_4^18 - 254038*c_0101_4^17 + 1771448*c_0101_4^16 + 54277*c_0101_4^15 - 1703409*c_0101_4^14 + 119979*c_0101_4^13 + 1135932*c_0101_4^12 - 143922*c_0101_4^11 - 514729*c_0101_4^10 + 77312*c_0101_4^9 + 151419*c_0101_4^8 - 22221*c_0101_4^7 - 26515*c_0101_4^6 + 3093*c_0101_4^5 + 2355*c_0101_4^4 - 130*c_0101_4^3 - 83*c_0101_4^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.260 seconds, Total memory usage: 32.09MB