Magma V2.19-8 Tue Aug 20 2013 16:18:10 on localhost [Seed = 2378961079] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2382 geometric_solution 5.74830448 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 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.252726535731 0.196909388145 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.285107983911 1.721462566134 1 3 4 5 0132 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.168118092290 0.998440085086 5 4 2 1 1023 3201 2310 0132 0 0 0 0 0 0 0 0 -1 0 1 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.168118092290 0.998440085086 6 6 3 2 0132 3201 2310 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 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.172085139848 0.693215932123 5 3 2 5 3012 1023 0132 1230 0 0 0 0 0 1 0 -1 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 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 1.113234307885 0.933284134179 4 6 4 6 0132 1302 2310 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.033251270453 1.597753177091 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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_3'], 'c_1100_4' : d['c_0011_3'], '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_3'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_3'], '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_3'], '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_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_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_3, c_0011_4, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t - 7267396820598847067130892183058925875833544061533232680165836554254\ 7724261051131217059/36708157192572591489798382040000446588900139545\ 4764706687067590433932303134827691190*c_0101_3^35 + 2142148314870820709501625385055615638061856956735644232345234060415\ 426365939519222093769/367081571925725914897983820400004465889001395\ 454764706687067590433932303134827691190*c_0101_3^34 + 4096328533492580684538343841744385618337103206610989698433395543348\ 39293161871393881/3670815719257259148979838204000044658890013954547\ 6470668706759043393230313482769119*c_0101_3^33 - 5533004979076213290736996240579058231408562006885072646992971377692\ 464624457233807169363/734163143851451829795967640800008931778002790\ 90952941337413518086786460626965538238*c_0101_3^32 + 5959338097656714849485115672177659570973785386987710818367980320797\ 073447228045589505603/183540785962862957448991910200002232944500697\ 727382353343533795216966151567413845595*c_0101_3^31 + 1747058519867844433812977304845082988558938786419592358869506612810\ 6273762337801346723620/36708157192572591489798382040000446588900139\ 545476470668706759043393230313482769119*c_0101_3^30 - 7742189930831769266156712010982838122282322771459483592030177321247\ 4897433849981432377713/18354078596286295744899191020000223294450069\ 7727382353343533795216966151567413845595*c_0101_3^29 - 7794505676906250173135206455802015280274446482905852948309619276833\ 58476548629751353070727/3670815719257259148979838204000044658890013\ 95454764706687067590433932303134827691190*c_0101_3^28 + 1040751870853057851693151017730809054363490096580696906603269630173\ 34260385714031313639936/3670815719257259148979838204000044658890013\ 9545476470668706759043393230313482769119*c_0101_3^27 + 1285300499231737938852181166127572532866648233973653753810837991537\ 613357584861101191875513/183540785962862957448991910200002232944500\ 697727382353343533795216966151567413845595*c_0101_3^26 - 2239139667627756954084692346628129039395438024349786531213081752999\ 094430499191859862547907/183540785962862957448991910200002232944500\ 697727382353343533795216966151567413845595*c_0101_3^25 - 5995628050190846808297135049990006978552205893108122381956278408243\ 374933069297099204571391/367081571925725914897983820400004465889001\ 395454764706687067590433932303134827691190*c_0101_3^24 + 6586622668683862696137047730001795295076757738073285430525714090650\ 225260088092838235361007/183540785962862957448991910200002232944500\ 697727382353343533795216966151567413845595*c_0101_3^23 + 1001161948946748805611168329240198255595211657313322929616526356360\ 0365999346869791655869371/36708157192572591489798382040000446588900\ 1395454764706687067590433932303134827691190*c_0101_3^22 - 1361618464837175991191172087979092887683617883100137523227463707804\ 7232648243678497321687861/18354078596286295744899191020000223294450\ 0697727382353343533795216966151567413845595*c_0101_3^21 - 1308600964147852325944645925613988596229452274078406868463298667774\ 2903572797207404453676201/36708157192572591489798382040000446588900\ 1395454764706687067590433932303134827691190*c_0101_3^20 + 2062973433720722555192190045408066113473258961967312956905870885224\ 5219290637607636047410067/18354078596286295744899191020000223294450\ 0697727382353343533795216966151567413845595*c_0101_3^19 + 1469410791384754070473759639286839012154726918527737612883386005857\ 7981969464964818647913831/36708157192572591489798382040000446588900\ 1395454764706687067590433932303134827691190*c_0101_3^18 - 4863474110002460641355962015687497674489301915454392436543746761904\ 7989021669585968744349783/36708157192572591489798382040000446588900\ 1395454764706687067590433932303134827691190*c_0101_3^17 - 1309889468398819099926142855895923634618907056283838147560858360546\ 4298116757616411732933583/36708157192572591489798382040000446588900\ 1395454764706687067590433932303134827691190*c_0101_3^16 + 2269257698952577958844244487295301307296645580185911869590724514930\ 9859242842577960268669426/18354078596286295744899191020000223294450\ 0697727382353343533795216966151567413845595*c_0101_3^15 + 6863937954629110973703660146991401945463370858173334442808881780298\ 743104449618645286186127/367081571925725914897983820400004465889001\ 395454764706687067590433932303134827691190*c_0101_3^14 - 3160623484964880061895772207458248669855598415723222673899016903876\ 5754102050433708506669311/36708157192572591489798382040000446588900\ 1395454764706687067590433932303134827691190*c_0101_3^13 - 2331000206360791922781838547772641574876861902521680025385202557971\ 76635509904911932670686/1835407859628629574489919102000022329445006\ 97727382353343533795216966151567413845595*c_0101_3^12 + 1544732231830601434910974177469809341948050242332685343619678734187\ 693040614812764068130095/367081571925725914897983820400004465889001\ 39545476470668706759043393230313482769119*c_0101_3^11 - 1674606546141763675079298162495566648457622164623700008421458894473\ 543058642624854527464159/367081571925725914897983820400004465889001\ 395454764706687067590433932303134827691190*c_0101_3^10 - 5212690087311226538875104132349063985302110247343786991303821291728\ 17263555030469093318100/3670815719257259148979838204000044658890013\ 9545476470668706759043393230313482769119*c_0101_3^9 + 5629343003843310498911018859152586067056246020245684132046565878865\ 48265854496880537169804/1835407859628629574489919102000022329445006\ 97727382353343533795216966151567413845595*c_0101_3^8 + 1216743919268145274900657490982356573496696365991663799552731331735\ 761091009787890013016483/367081571925725914897983820400004465889001\ 395454764706687067590433932303134827691190*c_0101_3^7 - 1976722556947710914351950258844795627574731359010189883499715880091\ 38460099108308346225433/1835407859628629574489919102000022329445006\ 97727382353343533795216966151567413845595*c_0101_3^6 - 9052020432250226711705742715539448530148274806643565437187377891307\ 6252947876816913078567/18354078596286295744899191020000223294450069\ 7727382353343533795216966151567413845595*c_0101_3^5 + 8217967421132164642862052289641016992737233027283203745245271308119\ 6266392448783634651849/36708157192572591489798382040000446588900139\ 5454764706687067590433932303134827691190*c_0101_3^4 + 1319110632850634451325425314025181939683077903319000609862818674003\ 350762768201625498831/367081571925725914897983820400004465889001395\ 45476470668706759043393230313482769119*c_0101_3^3 - 4447359638188769154966835023826602303336288473638729340513738691109\ 956720300327484598417/183540785962862957448991910200002232944500697\ 727382353343533795216966151567413845595*c_0101_3^2 - 1475835830839514208357055574796235409415209399505394996529176579860\ 48299251379467855813/3670815719257259148979838204000044658890013954\ 54764706687067590433932303134827691190*c_0101_3 + 3320486843700413367031411391104476538122472446504323600090030239186\ 2968467007634005764/36708157192572591489798382040000446588900139545\ 476470668706759043393230313482769119, c_0011_0 - 1, c_0011_1 + 264872890272864326988471847706232738775818046047049556904291\ 56463746596134560436016/3670815719257259148979838204000044658890013\ 9545476470668706759043393230313482769119*c_0101_3^35 - 1536760456538920710445439015901016244488925852978298414043610873574\ 288453583338636563/734163143851451829795967640800008931778002790909\ 52941337413518086786460626965538238*c_0101_3^34 - 3618053872744755052303177035844577350745342465377883906445503389298\ 72653746721412935/3670815719257259148979838204000044658890013954547\ 6470668706759043393230313482769119*c_0101_3^33 + 9964916313559806302540376612577440464691644333888277334068438424822\ 199153241716464999/367081571925725914897983820400004465889001395454\ 76470668706759043393230313482769119*c_0101_3^32 + 5261041744852636820442021407933004791777885257647025467980525290490\ 97182165763296989/7341631438514518297959676408000089317780027909095\ 2941337413518086786460626965538238*c_0101_3^31 - 1283849925192768840889992061967843053723394893191100318879589969889\ 39299985666317806805/7341631438514518297959676408000089317780027909\ 0952941337413518086786460626965538238*c_0101_3^30 + 5460741980568063110122398780727925431116070005446726678008378645741\ 6944150866682482487/73416314385145182979596764080000893177800279090\ 952941337413518086786460626965538238*c_0101_3^29 + 6013167833124775496519773906295502881279927425839510642720167157419\ 95472766017914321161/7341631438514518297959676408000089317780027909\ 0952941337413518086786460626965538238*c_0101_3^28 - 2459799154066338089942194478003430563536040404514978491113487358555\ 65053196240852663181/3670815719257259148979838204000044658890013954\ 5476470668706759043393230313482769119*c_0101_3^27 - 1066872126830111502000480629003854741110162532937808801021168476393\ 686086214124118131192/367081571925725914897983820400004465889001395\ 45476470668706759043393230313482769119*c_0101_3^26 + 1173319184970264428293128265971350683057140353721801036876956196852\ 230465208598020206331/367081571925725914897983820400004465889001395\ 45476470668706759043393230313482769119*c_0101_3^25 + 2773081842900174927349426072342253526704850405625144429183948706425\ 847831422236357780802/367081571925725914897983820400004465889001395\ 45476470668706759043393230313482769119*c_0101_3^24 - 7318950568063402842009560176475232345838534054838326062936317090734\ 959352122492636165517/734163143851451829795967640800008931778002790\ 90952941337413518086786460626965538238*c_0101_3^23 - 1082886970709765302469514772977367541883225971753114051402873042864\ 7384455077090221775873/73416314385145182979596764080000893177800279\ 090952941337413518086786460626965538238*c_0101_3^22 + 7815269326290514222214732074004333785988190101138456300166860293179\ 835395083057363871770/367081571925725914897983820400004465889001395\ 45476470668706759043393230313482769119*c_0101_3^21 + 8416595802986552737942539009453448877430736551484507527804813115107\ 153303460771035587775/367081571925725914897983820400004465889001395\ 45476470668706759043393230313482769119*c_0101_3^20 - 2384880752079386895230198543029187561219538300350541559150541892164\ 6785436953137279950505/73416314385145182979596764080000893177800279\ 090952941337413518086786460626965538238*c_0101_3^19 - 2152713566456897403027503139950215414809994583131845863134224209145\ 8805203336324654832733/73416314385145182979596764080000893177800279\ 090952941337413518086786460626965538238*c_0101_3^18 + 1389777265351545314518091553734521885993495675930621462757084322730\ 6229738230294548028550/36708157192572591489798382040000446588900139\ 545476470668706759043393230313482769119*c_0101_3^17 + 2187945653184412150908318063042740535759135674484706839485106498827\ 4558061334359807081441/73416314385145182979596764080000893177800279\ 090952941337413518086786460626965538238*c_0101_3^16 - 1282908087042290003860745696574952892956807844945797966549847374681\ 0726445586194726283868/36708157192572591489798382040000446588900139\ 545476470668706759043393230313482769119*c_0101_3^15 - 8056046475510581479871347747293012225543637509369234014511224765563\ 820551737937579630372/367081571925725914897983820400004465889001395\ 45476470668706759043393230313482769119*c_0101_3^14 + 1807214771888618643182719726949366530878684845721496508555784103902\ 1782467542803985414497/73416314385145182979596764080000893177800279\ 090952941337413518086786460626965538238*c_0101_3^13 + 3901308103146169961517219389407546107403461428916432297058316432628\ 777337475350108976329/367081571925725914897983820400004465889001395\ 45476470668706759043393230313482769119*c_0101_3^12 - 4640496137749174666548391421455679182365913822285202917101977619547\ 777509367977617372265/367081571925725914897983820400004465889001395\ 45476470668706759043393230313482769119*c_0101_3^11 - 1159701174567056766783664332723879641846426867493626804475812376135\ 057471533275046210956/367081571925725914897983820400004465889001395\ 45476470668706759043393230313482769119*c_0101_3^10 + 3413327972712783761104250610455934346205758355143710651733376752581\ 697573687756734407997/734163143851451829795967640800008931778002790\ 90952941337413518086786460626965538238*c_0101_3^9 + 3521499616010109644061458406076287405029805150923079882416327915141\ 24440014438116906235/7341631438514518297959676408000089317780027909\ 0952941337413518086786460626965538238*c_0101_3^8 - 8992822895779992105278795947672550783822336728565036213183637585173\ 83144131216013517853/7341631438514518297959676408000089317780027909\ 0952941337413518086786460626965538238*c_0101_3^7 + 7578844890984455493876523314502354813722037625921022280014083401335\ 713652137789027801/367081571925725914897983820400004465889001395454\ 76470668706759043393230313482769119*c_0101_3^6 + 8110322663218068417331087979699295326635722341577557317626701235934\ 6274305401593287367/36708157192572591489798382040000446588900139545\ 476470668706759043393230313482769119*c_0101_3^5 - 9530803258193126114655803595991561613821081514184556994464424592161\ 504116998982833339/367081571925725914897983820400004465889001395454\ 76470668706759043393230313482769119*c_0101_3^4 - 1740583946229475841663691029032562776894997086452005577126139402570\ 8577291054904984995/73416314385145182979596764080000893177800279090\ 952941337413518086786460626965538238*c_0101_3^3 + 3270797784557976032653409497326029422248495435086376717875090902289\ 612962701003655751/734163143851451829795967640800008931778002790909\ 52941337413518086786460626965538238*c_0101_3^2 + 7651522854151015169440420462348470973785101874904336001815204938018\ 17878648443056783/7341631438514518297959676408000089317780027909095\ 2941337413518086786460626965538238*c_0101_3 - 5711414241683692296444139512781553136928116735684870995837648222408\ 0734624637639256/36708157192572591489798382040000446588900139545476\ 470668706759043393230313482769119, c_0011_3 - 177284454684021752704368561954300373695219650363042676475124\ 27637346898926019441624/3670815719257259148979838204000044658890013\ 9545476470668706759043393230313482769119*c_0101_3^35 + 1047151504603606246040412746537060877831914199473013935582803474168\ 677800674514754805/734163143851451829795967640800008931778002790909\ 52941337413518086786460626965538238*c_0101_3^34 - 5680096065854514916155107211129879407553776536048259806731042028911\ 7447896203818277/73416314385145182979596764080000893177800279090952\ 941337413518086786460626965538238*c_0101_3^33 - 6758686224814743601474190115624197239614655886739741939488828657245\ 629576988300757713/367081571925725914897983820400004465889001395454\ 76470668706759043393230313482769119*c_0101_3^32 + 6543413754027883732525660772755118608632707619620641135592706299199\ 083895737528279263/734163143851451829795967640800008931778002790909\ 52941337413518086786460626965538238*c_0101_3^31 + 4260589973438650049710200915647986348306842407403327807326723956508\ 5572885482471058181/36708157192572591489798382040000446588900139545\ 476470668706759043393230313482769119*c_0101_3^30 - 3999986090846292696966939042066933614816681000559958468431243077512\ 4693681216308963629/36708157192572591489798382040000446588900139545\ 476470668706759043393230313482769119*c_0101_3^29 - 1891657243421949717051678223510314995366111334327142993251716369306\ 50136536494053850399/3670815719257259148979838204000044658890013954\ 5476470668706759043393230313482769119*c_0101_3^28 + 5277723388806826409601851694974228534474756677835159765300592915063\ 63113792024635454709/7341631438514518297959676408000089317780027909\ 0952941337413518086786460626965538238*c_0101_3^27 + 6191253838386454562148369847877504282327392033235269970169592449449\ 65523897740651085838/3670815719257259148979838204000044658890013954\ 5476470668706759043393230313482769119*c_0101_3^26 - 1126780144287340934778625492449767780291405493876732520853429744532\ 207092217413273828293/367081571925725914897983820400004465889001395\ 45476470668706759043393230313482769119*c_0101_3^25 - 1428152889663286507077145761762265193995408600181060734721974909392\ 070689967311078397197/367081571925725914897983820400004465889001395\ 45476470668706759043393230313482769119*c_0101_3^24 + 6600724212379103856206939405138832728303431139445352986170625063720\ 275659335125522754621/734163143851451829795967640800008931778002790\ 90952941337413518086786460626965538238*c_0101_3^23 + 2348649126358605292307899388698348580284246996133978598773581868262\ 152078777247007300395/367081571925725914897983820400004465889001395\ 45476470668706759043393230313482769119*c_0101_3^22 - 1362845697020433898887030911575132315425607031882206416556579525911\ 7225508646271629201923/73416314385145182979596764080000893177800279\ 090952941337413518086786460626965538238*c_0101_3^21 - 3029463763090680248711108692864673793457835786253315784717909962669\ 062382692159758167472/367081571925725914897983820400004465889001395\ 45476470668706759043393230313482769119*c_0101_3^20 + 2070386658113587031576166895884371877908567387049020528114519219191\ 1087887813792542330371/73416314385145182979596764080000893177800279\ 090952941337413518086786460626965538238*c_0101_3^19 + 3407209115303761448888106885940258002302269908901409551200402662635\ 411672905274534562317/367081571925725914897983820400004465889001395\ 45476470668706759043393230313482769119*c_0101_3^18 - 2454154816799040803990589160120900369234695572628472020615190004268\ 1233081090854929921499/73416314385145182979596764080000893177800279\ 090952941337413518086786460626965538238*c_0101_3^17 - 6177261145453745494555113363609869821914832073704907222027840906000\ 048358486407441295319/734163143851451829795967640800008931778002790\ 90952941337413518086786460626965538238*c_0101_3^16 + 2302962522021682338622593707148217341506733661707224475692171812251\ 0396883106411539343561/73416314385145182979596764080000893177800279\ 090952941337413518086786460626965538238*c_0101_3^15 + 1694550511945249807683489509369627859098577287591768040535366872179\ 875437761385116306505/367081571925725914897983820400004465889001395\ 45476470668706759043393230313482769119*c_0101_3^14 - 1612668989205489111207788754935746325388957672877172480433868820348\ 9854731148974613176865/73416314385145182979596764080000893177800279\ 090952941337413518086786460626965538238*c_0101_3^13 - 4968133362060739519635565517579333444898292804397425628517964236503\ 86645834163826655583/7341631438514518297959676408000089317780027909\ 0952941337413518086786460626965538238*c_0101_3^12 + 3983296013081187120898832954137345633641551978228037803356962496330\ 589411511048093199794/367081571925725914897983820400004465889001395\ 45476470668706759043393230313482769119*c_0101_3^11 - 2641656537953065525640598004298595235278966629736976899937388763603\ 10175019120232227626/3670815719257259148979838204000044658890013954\ 5476470668706759043393230313482769119*c_0101_3^10 - 2751468963487323846750024199613283540938441126736693891432241857811\ 992533166106420401883/734163143851451829795967640800008931778002790\ 90952941337413518086786460626965538238*c_0101_3^9 + 1989269442730803175669950403118790814930393098760926182379278612039\ 35423307990401346712/3670815719257259148979838204000044658890013954\ 5476470668706759043393230313482769119*c_0101_3^8 + 3353612971456896738196131041107653938124860707224028370867321040571\ 86686331516421986663/3670815719257259148979838204000044658890013954\ 5476470668706759043393230313482769119*c_0101_3^7 - 1470936703694361621693382834873181450660846225695701846976388337230\ 69335602064565158295/7341631438514518297959676408000089317780027909\ 0952941337413518086786460626965538238*c_0101_3^6 - 5482808037702662017404523900224997467678441768130769781040281550829\ 9065829492451420556/36708157192572591489798382040000446588900139545\ 476470668706759043393230313482769119*c_0101_3^5 + 1572589385272260182519374461419293746280353829554541249467727960003\ 1868707528169662579/36708157192572591489798382040000446588900139545\ 476470668706759043393230313482769119*c_0101_3^4 + 1086993517782028512682766639994180772177442648056798197405615810584\ 9705913483987029479/73416314385145182979596764080000893177800279090\ 952941337413518086786460626965538238*c_0101_3^3 - 1788772419010414844883536552565285697300000482576840438598029040133\ 553763977831124151/367081571925725914897983820400004465889001395454\ 76470668706759043393230313482769119*c_0101_3^2 - 2772648152450713352889710580625395277811460966343820926081223510428\ 36145487358245482/3670815719257259148979838204000044658890013954547\ 6470668706759043393230313482769119*c_0101_3 + 1549447877831452265376066259267642739456237993291398986646612270175\ 37931722902104111/7341631438514518297959676408000089317780027909095\ 2941337413518086786460626965538238, c_0011_4 - 101386553083531214016867331280574942694737820819423377045434\ 37549541341126483076073/7341631438514518297959676408000089317780027\ 9090952941337413518086786460626965538238*c_0101_3^35 + 1552831363175657182583426836831353893192677782870212410462245522611\ 49516452497608658/3670815719257259148979838204000044658890013954547\ 6470668706759043393230313482769119*c_0101_3^34 - 1652445055310477232970284726659210943360394697465411011495095683248\ 19380646052947081/3670815719257259148979838204000044658890013954547\ 6470668706759043393230313482769119*c_0101_3^33 - 4273531083028283073211419882765259694014503028804373490951183550641\ 887527130916306889/734163143851451829795967640800008931778002790909\ 52941337413518086786460626965538238*c_0101_3^32 + 5857080401508271586784743637318615575349915175136054951089262014325\ 145631205722899885/734163143851451829795967640800008931778002790909\ 52941337413518086786460626965538238*c_0101_3^31 + 2774741893484550884464123704536573095656326264833634301547805404699\ 0728707445964680799/73416314385145182979596764080000893177800279090\ 952941337413518086786460626965538238*c_0101_3^30 - 4873615301815576367093725136964680134335246530432500060953837473964\ 4810048601516355883/73416314385145182979596764080000893177800279090\ 952941337413518086786460626965538238*c_0101_3^29 - 5884122348397861890643630056462030499303092105891244915608997184439\ 8944736314669007091/36708157192572591489798382040000446588900139545\ 476470668706759043393230313482769119*c_0101_3^28 + 1399249677561156743285158263071186039117318961777706396570003910315\ 65074732242237151174/3670815719257259148979838204000044658890013954\ 5476470668706759043393230313482769119*c_0101_3^27 + 1754486479414627006963062883842677292357568742067626508266821740434\ 56671780885390504206/3670815719257259148979838204000044658890013954\ 5476470668706759043393230313482769119*c_0101_3^26 - 5716310087179830086764320454413407723314563112956903912648027775764\ 12638381470794623827/3670815719257259148979838204000044658890013954\ 5476470668706759043393230313482769119*c_0101_3^25 - 6900302602095535806646614662689283732404298910200772078640660363322\ 08916225836258338629/7341631438514518297959676408000089317780027909\ 0952941337413518086786460626965538238*c_0101_3^24 + 3325821329183691929273313153331736742506334219187978229841934770319\ 568963611305858413045/734163143851451829795967640800008931778002790\ 90952941337413518086786460626965538238*c_0101_3^23 + 3963695775132290113588688665561463758425275563080744628757579727300\ 71474160144932469129/3670815719257259148979838204000044658890013954\ 5476470668706759043393230313482769119*c_0101_3^22 - 3531070131353993832404516747343764987380814052389228844519016956610\ 136985279516626253153/367081571925725914897983820400004465889001395\ 45476470668706759043393230313482769119*c_0101_3^21 - 4630076832137152538267836909186248110465571148427164514534297596133\ 51200220926368689217/7341631438514518297959676408000089317780027909\ 0952941337413518086786460626965538238*c_0101_3^20 + 1135502373704746784673959256119044793187140015712875263219445157979\ 3782831133826852540861/73416314385145182979596764080000893177800279\ 090952941337413518086786460626965538238*c_0101_3^19 + 9211882296004135460412348563160043975920725115398129993265263409095\ 4557616992752863358/36708157192572591489798382040000446588900139545\ 476470668706759043393230313482769119*c_0101_3^18 - 1431808123033682806358928767619265144002859415383095287246241266228\ 2782494333368821453901/73416314385145182979596764080000893177800279\ 090952941337413518086786460626965538238*c_0101_3^17 - 6054974872940603652123158242847368615331654018216896755693247877748\ 9697525913537213953/36708157192572591489798382040000446588900139545\ 476470668706759043393230313482769119*c_0101_3^16 + 7106605932078636528233448356617411408657149990062562904004481838178\ 510441323569988574626/367081571925725914897983820400004465889001395\ 45476470668706759043393230313482769119*c_0101_3^15 - 1821661050470013660910831954831006196377704970365933433451707526977\ 81857117738166939375/7341631438514518297959676408000089317780027909\ 0952941337413518086786460626965538238*c_0101_3^14 - 5305020907463008538147698869044285712012608765191510489285763374836\ 441235611882217692459/367081571925725914897983820400004465889001395\ 45476470668706759043393230313482769119*c_0101_3^13 + 2646753036253612140937830859539967178493257687055502203577011177796\ 39208926529664110334/3670815719257259148979838204000044658890013954\ 5476470668706759043393230313482769119*c_0101_3^12 + 2821521574965887995640991350839191853026159521157130433774012530531\ 956058373645459424446/367081571925725914897983820400004465889001395\ 45476470668706759043393230313482769119*c_0101_3^11 - 5507898045819039047238147534959814589439516248233474044909822786726\ 31571425721474690511/7341631438514518297959676408000089317780027909\ 0952941337413518086786460626965538238*c_0101_3^10 - 2115786011512653849236371089172773660652571732935451132084972865518\ 578875708818911453913/734163143851451829795967640800008931778002790\ 90952941337413518086786460626965538238*c_0101_3^9 + 3216875553627790974363780124632850620517525500193844885586692186542\ 28503582031910608269/7341631438514518297959676408000089317780027909\ 0952941337413518086786460626965538238*c_0101_3^8 + 2809653768773628152825020231795973740126437768864898298736932588268\ 52935547827327199653/3670815719257259148979838204000044658890013954\ 5476470668706759043393230313482769119*c_0101_3^7 - 5937632410016797797840449511660226626620322843162621146822119397729\ 9476616868571212997/36708157192572591489798382040000446588900139545\ 476470668706759043393230313482769119*c_0101_3^6 - 5152897929355037174796769962312985489849150444593341252838890233239\ 7702038319979604303/36708157192572591489798382040000446588900139545\ 476470668706759043393230313482769119*c_0101_3^5 + 2742902142848490927776621027980769629807621168205612934041388581283\ 7642306074205248713/73416314385145182979596764080000893177800279090\ 952941337413518086786460626965538238*c_0101_3^4 + 1174589735933026396518168936142207067696009855561706315412845888603\ 7348923042310069713/73416314385145182979596764080000893177800279090\ 952941337413518086786460626965538238*c_0101_3^3 - 3611158189292375548317964979063564762387220594027168105715123012050\ 551483991485598533/734163143851451829795967640800008931778002790909\ 52941337413518086786460626965538238*c_0101_3^2 - 3355061501584538154097511932057478431548213061954013581562306098760\ 82098790193349035/3670815719257259148979838204000044658890013954547\ 6470668706759043393230313482769119*c_0101_3 + 7916720791372164389876559032565593674389447082162594055110891368378\ 7824264923944805/36708157192572591489798382040000446588900139545476\ 470668706759043393230313482769119, c_0101_0 - 554431117457046984613291175929630058722190473121670102302778\ 50231173544545573727341/7341631438514518297959676408000089317780027\ 9090952941337413518086786460626965538238*c_0101_3^35 + 1640804086855931866762016101962973742789866217786074577633144816229\ 724047998986382151/734163143851451829795967640800008931778002790909\ 52941337413518086786460626965538238*c_0101_3^34 - 1759791772032851644881137436943048504039271899930263514533595062247\ 29029745324418523/7341631438514518297959676408000089317780027909095\ 2941337413518086786460626965538238*c_0101_3^33 - 2151510361474394274570701665138981319813027239958344904474965719824\ 4307172652720172165/73416314385145182979596764080000893177800279090\ 952941337413518086786460626965538238*c_0101_3^32 + 5694230592751280289974786882835721945471079226164424428305914003554\ 360413913629790475/367081571925725914897983820400004465889001395454\ 76470668706759043393230313482769119*c_0101_3^31 + 1374441063019968832951410273973334680955136143427169220087237883038\ 24310894542490307701/7341631438514518297959676408000089317780027909\ 0952941337413518086786460626965538238*c_0101_3^30 - 1336287579361878432633154112050261949516543657416379713758537517456\ 42522425535219145039/7341631438514518297959676408000089317780027909\ 0952941337413518086786460626965538238*c_0101_3^29 - 3069955711657004342829358386448741990680255999979972121053747307701\ 44367909832992930662/3670815719257259148979838204000044658890013954\ 5476470668706759043393230313482769119*c_0101_3^28 + 8776954844117509447618095036947989591662519811756286089970221015707\ 02915579668263892667/7341631438514518297959676408000089317780027909\ 0952941337413518086786460626965538238*c_0101_3^27 + 1011106772136814259013446841756245538791796319346145671879138227537\ 301589992246730094756/367081571925725914897983820400004465889001395\ 45476470668706759043393230313482769119*c_0101_3^26 - 1885470031039288370315913000922682912202376826914556275425480767084\ 311441678327080115228/367081571925725914897983820400004465889001395\ 45476470668706759043393230313482769119*c_0101_3^25 - 4716902733928220686059227153044203255858591674068045946280456048026\ 427879498451547719979/734163143851451829795967640800008931778002790\ 90952941337413518086786460626965538238*c_0101_3^24 + 5585275792102363143100665977223023897347395229278159486773730547518\ 562815458601904389317/367081571925725914897983820400004465889001395\ 45476470668706759043393230313482769119*c_0101_3^23 + 3930156993772599009748410326805193328057646410523417607399119576006\ 754684376295584714868/367081571925725914897983820400004465889001395\ 45476470668706759043393230313482769119*c_0101_3^22 - 2345661304305946307156832037891920736649023029743766353932344423250\ 0278750645425901814947/73416314385145182979596764080000893177800279\ 090952941337413518086786460626965538238*c_0101_3^21 - 1026705568376682832218240485062626959815538198706793538985284345775\ 6933035237145815784103/73416314385145182979596764080000893177800279\ 090952941337413518086786460626965538238*c_0101_3^20 + 1817696707702945356556452728086394810513415658598926663875140791687\ 2169865317593680631683/36708157192572591489798382040000446588900139\ 545476470668706759043393230313482769119*c_0101_3^19 + 5874240139639445252701376440601934547762933352256917846093295435008\ 455697224497144328593/367081571925725914897983820400004465889001395\ 45476470668706759043393230313482769119*c_0101_3^18 - 2193172857993928714860777224918823964518000230510275697736012814457\ 6233780667852487769559/36708157192572591489798382040000446588900139\ 545476470668706759043393230313482769119*c_0101_3^17 - 1105387621169791833744587646453048686246799089255465700745727111419\ 8943499693131983393659/73416314385145182979596764080000893177800279\ 090952941337413518086786460626965538238*c_0101_3^16 + 4186811165682921276877656014143415605785157877246570197084326841173\ 5875541772600454609819/73416314385145182979596764080000893177800279\ 090952941337413518086786460626965538238*c_0101_3^15 + 6628181527539502666935082550621156812571717489261150324043408282929\ 736453670275487789031/734163143851451829795967640800008931778002790\ 90952941337413518086786460626965538238*c_0101_3^14 - 3004037828310088235442446364866806891326459170401785398464566957327\ 7707109655947865396077/73416314385145182979596764080000893177800279\ 090952941337413518086786460626965538238*c_0101_3^13 - 1466661107823144456603232477095290030039177424860309094238578542328\ 254685723960859386759/734163143851451829795967640800008931778002790\ 90952941337413518086786460626965538238*c_0101_3^12 + 7642818091790913632145853598598572849005355567891169878630767918784\ 025813304425793865629/367081571925725914897983820400004465889001395\ 45476470668706759043393230313482769119*c_0101_3^11 - 7800755853840280427893832025468620494026332374313236389750378046021\ 03151094922397022635/7341631438514518297959676408000089317780027909\ 0952941337413518086786460626965538238*c_0101_3^10 - 2710895033710327951537050891494530928608623156538797803831153855879\ 069198251642624039860/367081571925725914897983820400004465889001395\ 45476470668706759043393230313482769119*c_0101_3^9 + 7451900891644834407825031403735286083071871923083740103067644679469\ 00302024753838971419/7341631438514518297959676408000089317780027909\ 0952941337413518086786460626965538238*c_0101_3^8 + 6744998658358824831641659660564536297041664359597090745046439125773\ 13142697105961453127/3670815719257259148979838204000044658890013954\ 5476470668706759043393230313482769119*c_0101_3^7 - 2972252668412803361250275231266238093017041375079969998427194311405\ 62420209800791659099/7341631438514518297959676408000089317780027909\ 0952941337413518086786460626965538238*c_0101_3^6 - 1128198707751006732279696485018748415784756682581661592905850223431\ 86718775465563386423/3670815719257259148979838204000044658890013954\ 5476470668706759043393230313482769119*c_0101_3^5 + 6732044179421524173579000933198766444649760521086048609112107188283\ 0168408304189475033/73416314385145182979596764080000893177800279090\ 952941337413518086786460626965538238*c_0101_3^4 + 1089006119497922781289940779577853061702103939130543917142020653529\ 0373578448855663433/36708157192572591489798382040000446588900139545\ 476470668706759043393230313482769119*c_0101_3^3 - 7784116244680833144538789703398393089174407225619789692990298511764\ 637988174123903161/734163143851451829795967640800008931778002790909\ 52941337413518086786460626965538238*c_0101_3^2 - 4566977009006526479248005849753854702689670148710840015297217748108\ 04496228922268612/3670815719257259148979838204000044658890013954547\ 6470668706759043393230313482769119*c_0101_3 + 2949777344418572299949387630905910803202257228020015113201343065122\ 12187079698141427/7341631438514518297959676408000089317780027909095\ 2941337413518086786460626965538238, c_0101_1 - 735083050488249813056980342562491183494370883066078026900211\ 94399243167254669647629/7341631438514518297959676408000089317780027\ 9090952941337413518086786460626965538238*c_0101_3^35 + 2124971004790876399888839683938996944712150452800519464302373361474\ 831003069743751067/734163143851451829795967640800008931778002790909\ 52941337413518086786460626965538238*c_0101_3^34 + 6096522614542408223722185605433121843769162465031955441775513565885\ 04688760540463077/3670815719257259148979838204000044658890013954547\ 6470668706759043393230313482769119*c_0101_3^33 - 2751964472008970418755305956461854944655021816687711002927138758064\ 9582328102769543359/73416314385145182979596764080000893177800279090\ 952941337413518086786460626965538238*c_0101_3^32 - 1734779428443872320594335991983870727956162818796484616914668400806\ 471060347284187377/367081571925725914897983820400004465889001395454\ 76470668706759043393230313482769119*c_0101_3^31 + 8883045306328185758985702080210019744112762501180678998800086007035\ 3077630039252026493/36708157192572591489798382040000446588900139545\ 476470668706759043393230313482769119*c_0101_3^30 - 2917783613939256547019499484937161959137745114644705608517584780861\ 7274154339722506140/36708157192572591489798382040000446588900139545\ 476470668706759043393230313482769119*c_0101_3^29 - 8393872800811558595109608868171421834153263930777642732085291287894\ 28748342124661827649/7341631438514518297959676408000089317780027909\ 0952941337413518086786460626965538238*c_0101_3^28 + 3004532883626480498866648356277759677669292631242315098868312742557\ 62432944481227120513/3670815719257259148979838204000044658890013954\ 5476470668706759043393230313482769119*c_0101_3^27 + 1507947309024458177615532351316554057201698226481885745430860488200\ 585777659119993060549/367081571925725914897983820400004465889001395\ 45476470668706759043393230313482769119*c_0101_3^26 - 1482274566773460442572885710761442423948778912517491609980759306666\ 593036485052050275115/367081571925725914897983820400004465889001395\ 45476470668706759043393230313482769119*c_0101_3^25 - 7967707061002375775972846547433996918050906676511433202459230915706\ 653118904007365964513/734163143851451829795967640800008931778002790\ 90952941337413518086786460626965538238*c_0101_3^24 + 4697333071103092946943393132246901080764205392657209839869735055607\ 917762645256518109908/367081571925725914897983820400004465889001395\ 45476470668706759043393230313482769119*c_0101_3^23 + 1587573924954784980261540277886175436942113216302406962748032399639\ 6093577641093523744519/73416314385145182979596764080000893177800279\ 090952941337413518086786460626965538238*c_0101_3^22 - 1009748759124837929685074195478771755268684206971512317669489014911\ 7593913813831731252342/36708157192572591489798382040000446588900139\ 545476470668706759043393230313482769119*c_0101_3^21 - 2513239231686731818178108482990156577993189888387611364517366942501\ 8194900458020573767877/73416314385145182979596764080000893177800279\ 090952941337413518086786460626965538238*c_0101_3^20 + 1538384854675570917238837738444666620752414275623788221830458832233\ 2666458144133451960547/36708157192572591489798382040000446588900139\ 545476470668706759043393230313482769119*c_0101_3^19 + 3246059806833164766881240262968404109386839102560338125741838348088\ 5834053583900729398511/73416314385145182979596764080000893177800279\ 090952941337413518086786460626965538238*c_0101_3^18 - 3563557887024182279397259345834035115800415590375254965082235873084\ 6684850887434779219799/73416314385145182979596764080000893177800279\ 090952941337413518086786460626965538238*c_0101_3^17 - 3321932552776436488185243200876829774705657403018505629162248458877\ 4060160971155954747935/73416314385145182979596764080000893177800279\ 090952941337413518086786460626965538238*c_0101_3^16 + 1635416866265996994898330890800179903256871720419313110086951367144\ 4151303187074127932593/36708157192572591489798382040000446588900139\ 545476470668706759043393230313482769119*c_0101_3^15 + 2485801031002924082885495544883276762459688593148574085523117525389\ 1577597157871354711721/73416314385145182979596764080000893177800279\ 090952941337413518086786460626965538238*c_0101_3^14 - 2304151489136386439284513418836507563775437391798524230283841951904\ 7760756347565690511161/73416314385145182979596764080000893177800279\ 090952941337413518086786460626965538238*c_0101_3^13 - 6238254135257343423505490738749687364283431826540956777139094276739\ 133831194707700252252/367081571925725914897983820400004465889001395\ 45476470668706759043393230313482769119*c_0101_3^12 + 5977968224347355483539229483518204941628053652647681994840447139609\ 899958384622651889894/367081571925725914897983820400004465889001395\ 45476470668706759043393230313482769119*c_0101_3^11 + 4001024271829814230976472586183457447709122304087252110185792483105\ 811210210867953648303/734163143851451829795967640800008931778002790\ 90952941337413518086786460626965538238*c_0101_3^10 - 2235945412939358212651289756147650542364980518520979129062750780787\ 854777357481282200943/367081571925725914897983820400004465889001395\ 45476470668706759043393230313482769119*c_0101_3^9 - 3769944019409010284334220751967894258571427122723879422700031069257\ 12243831239237411582/3670815719257259148979838204000044658890013954\ 5476470668706759043393230313482769119*c_0101_3^8 + 1200158857916952823782492918604624167787607401540502587783072015230\ 842727663611984617225/734163143851451829795967640800008931778002790\ 90952941337413518086786460626965538238*c_0101_3^7 + 2211488264227147676789599963023060163020910039501164347921569942270\ 3857116597498910585/36708157192572591489798382040000446588900139545\ 476470668706759043393230313482769119*c_0101_3^6 - 1105158895094374276278341661299325726907538972672899666300431864532\ 26705060715597995492/3670815719257259148979838204000044658890013954\ 5476470668706759043393230313482769119*c_0101_3^5 + 1591646661069428626447364022221500958675479493740762123636847165305\ 2694015924274838237/73416314385145182979596764080000893177800279090\ 952941337413518086786460626965538238*c_0101_3^4 + 1209685379638179258416734305673141022210895477033918041418853535571\ 2745867495925406540/36708157192572591489798382040000446588900139545\ 476470668706759043393230313482769119*c_0101_3^3 - 1768823395825774496843945131951541965388412667398558977780007511412\ 409894458897007173/367081571925725914897983820400004465889001395454\ 76470668706759043393230313482769119*c_0101_3^2 - 1056893724138096681368919106169166872543974086985358014659770103138\ 836895298790505501/734163143851451829795967640800008931778002790909\ 52941337413518086786460626965538238*c_0101_3 + 8594315349978389933245857650363940587071310714197024780201309377947\ 0380980937863287/36708157192572591489798382040000446588900139545476\ 470668706759043393230313482769119, c_0101_3^36 - 29*c_0101_3^35 - 14*c_0101_3^34 + 378*c_0101_3^33 + 16*c_0101_3^32 - 2448*c_0101_3^31 + 987*c_0101_3^30 + 11522*c_0101_3^29 - 9121*c_0101_3^28 - 41175*c_0101_3^27 + 43946*c_0101_3^26 + 108257*c_0101_3^25 - 138036*c_0101_3^24 - 214829*c_0101_3^23 + 296921*c_0101_3^22 + 340616*c_0101_3^21 - 456230*c_0101_3^20 - 444997*c_0101_3^19 + 534162*c_0101_3^18 + 464044*c_0101_3^17 - 494042*c_0101_3^16 - 356890*c_0101_3^15 + 349209*c_0101_3^14 + 188384*c_0101_3^13 - 181293*c_0101_3^12 - 66427*c_0101_3^11 + 68518*c_0101_3^10 + 15282*c_0101_3^9 - 19024*c_0101_3^8 - 2009*c_0101_3^7 + 3773*c_0101_3^6 + 61*c_0101_3^5 - 492*c_0101_3^4 + 16*c_0101_3^3 + 36*c_0101_3^2 - c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB