Magma V2.19-8 Tue Aug 20 2013 16:17:48 on localhost [Seed = 2463305328] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2034 geometric_solution 5.57099634 oriented_manifold CS_known -0.0000000000000000 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 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.326261716486 0.195519476359 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.418596214738 1.155923779533 1 4 5 3 0132 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.043823903656 1.144518414987 2 5 4 1 3012 1023 3201 0132 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.043823903656 1.144518414987 3 2 6 6 2310 0132 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 0 0 1 0 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.045667207436 0.723514131479 3 5 5 2 1023 1230 3012 0132 0 0 0 0 0 -1 1 0 -1 0 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.058701230419 0.755926794081 6 4 4 6 3201 3201 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.803898388723 0.856239096272 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(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' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_6'], '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' : negation(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_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0011_3']), 'c_1001_4' : 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' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), '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_6, c_0101_0, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 7084519283044660712351304654657375027720838497228575579221701291/14\ 34569557557931501458059310577311400173167093959107705629444*c_0101_\ 4^26 + 216270136928697505092413354040921708258017293156063415923806\ 694725/286913911511586300291611862115462280034633418791821541125888\ 8*c_0101_4^25 + 119052340918389636676015950786096007451144156351356\ 3947060420565705/28691391151158630029161186211546228003463341879182\ 15411258888*c_0101_4^24 + 16729638658671221689897051004909069416533\ 01131670864364015149178141/1434569557557931501458059310577311400173\ 167093959107705629444*c_0101_4^23 + 1888832686652353176719476534789043809911717973887461579008627816447\ /717284778778965750729029655288655700086583546979553852814722*c_010\ 1_4^22 + 1189508274517152913666503250670753934082212090371146129943\ 2650612545/28691391151158630029161186211546228003463341879182154112\ 58888*c_0101_4^21 - 24766908065050117630733849819005744282863781999\ 51061952020879438355/2869139115115863002916118621154622800346334187\ 918215411258888*c_0101_4^20 - 8108815670079010580852005575432405017\ 102315210755991105604105604125/717284778778965750729029655288655700\ 086583546979553852814722*c_0101_4^19 - 1204405069736187669003640144822668940718449622145232900115708901755\ 19/2869139115115863002916118621154622800346334187918215411258888*c_\ 0101_4^18 - 1706389385729243779380147103227266158484912643334951773\ 76244584336455/2869139115115863002916118621154622800346334187918215\ 411258888*c_0101_4^17 - 1835036381406747246320055323261779025321184\ 42035737154829921790887379/2869139115115863002916118621154622800346\ 334187918215411258888*c_0101_4^16 - 1813853442692809007573194643422394367864356773898104246801977213558\ 3/1434569557557931501458059310577311400173167093959107705629444*c_0\ 101_4^15 + 21176575188642821833785101002950568122151163272911103072\ 5304682413133/14345695575579315014580593105773114001731670939591077\ 05629444*c_0101_4^14 + 50826530976436253225484031226235329471364632\ 857426382281103763306759/220703008855066384839701432396509446180487\ 245224478108558376*c_0101_4^13 + 6599412854806510252786483732662735\ 66894193276498608302645299853267933/2869139115115863002916118621154\ 622800346334187918215411258888*c_0101_4^12 + 7701752027586747955025772722115680181842580713497194910047735896381\ /49467915777859706946829631399217634488729899791693369159636*c_0101\ _4^11 + 12919128686704164566408907234449657932385461795532263725588\ 2788910145/28691391151158630029161186211546228003463341879182154112\ 58888*c_0101_4^10 + 35355927255168786610379355020775662576589895069\ 67336813867208794401/3586423893894828753645148276443278500432917734\ 89776926407361*c_0101_4^9 - 515439344038217789596706117118632875283\ 28579171574356392363436615937/2869139115115863002916118621154622800\ 346334187918215411258888*c_0101_4^8 - 2547263817623892841774406109957319420125975224034099727107019321825\ 5/1434569557557931501458059310577311400173167093959107705629444*c_0\ 101_4^7 - 293492637084924667223188274981718464711963086106105592225\ 4429978777/71728477877896575072902965528865570008658354697955385281\ 4722*c_0101_4^6 - 8747527660317924352302907856834515815854052311023\ 907532790377929863/286913911511586300291611862115462280034633418791\ 8215411258888*c_0101_4^5 + 1547943037701073196871567895671200859810\ 55037605725642055731577009/2207030088550663848397014323965094461804\ 87245224478108558376*c_0101_4^4 + 149523866910722668074444738806339\ 8990302882967723907316944707517933/28691391151158630029161186211546\ 22800346334187918215411258888*c_0101_4^3 - 789307172519743340424103374035612386290270187105776304154272883/494\ 67915777859706946829631399217634488729899791693369159636*c_0101_4^2 + 12974632716685745672737629628831048827614236561476099849318824939\ 1/2869139115115863002916118621154622800346334187918215411258888*c_0\ 101_4 - 26830725322561877033932653335570618221154527852929927613220\ 170759/717284778778965750729029655288655700086583546979553852814722\ , c_0011_0 - 1, c_0011_1 - 1406828067535532171542192343052647625675089210518666768055/2\ 7587876106883298104962679049563680772560905653059763569797*c_0101_4\ ^26 - 20944759817059338754014533029931801689004585298785247970941/2\ 7587876106883298104962679049563680772560905653059763569797*c_0101_4\ ^25 - 110372217114737366626886675203533149081599116742798132362911/\ 27587876106883298104962679049563680772560905653059763569797*c_0101_\ 4^24 - 291448947907307324509887959992741612123092606604359162344436\ /27587876106883298104962679049563680772560905653059763569797*c_0101\ _4^23 - 64624548202636563112581070102126773323762143329180705887774\ 7/27587876106883298104962679049563680772560905653059763569797*c_010\ 1_4^22 - 9614614743389281054386106125092818731829199016201689531236\ 51/27587876106883298104962679049563680772560905653059763569797*c_01\ 01_4^21 + 545877684108520137356390563029415828370734759358062267891\ 500/27587876106883298104962679049563680772560905653059763569797*c_0\ 101_4^20 + 28916214682333241973830771130877380666125901477295792250\ 56369/27587876106883298104962679049563680772560905653059763569797*c\ _0101_4^19 + 107301121396109778531117476351024045056139378242451899\ 36257644/2758787610688329810496267904956368077256090565305976356979\ 7*c_0101_4^18 + 130285407221487618656136521044535902775154574533302\ 79361161272/2758787610688329810496267904956368077256090565305976356\ 9797*c_0101_4^17 + 140784908139073862532148573143668183254075784525\ 05148316978845/2758787610688329810496267904956368077256090565305976\ 3569797*c_0101_4^16 + 266046847699619541343847296771452693842974931\ 215385707516892/275878761068832981049626790495636807725609056530597\ 63569797*c_0101_4^15 - 39490991923331544078385414862854721067186719\ 765122385241649574/275878761068832981049626790495636807725609056530\ 59763569797*c_0101_4^14 - 48615352123208115625292083420710266880916\ 164030909697787222941/275878761068832981049626790495636807725609056\ 53059763569797*c_0101_4^13 - 48222860136200241309781526851020082802\ 411587587439864532900107/275878761068832981049626790495636807725609\ 05653059763569797*c_0101_4^12 - 33763466323917884794194783136814952\ 004120122226455479660962168/275878761068832981049626790495636807725\ 60905653059763569797*c_0101_4^11 - 10926940684074694358405045992545372716920045997607266674028165/2758\ 7876106883298104962679049563680772560905653059763569797*c_0101_4^10 - 7196807710746321043665218831041573670130031004125593871114413/275\ 87876106883298104962679049563680772560905653059763569797*c_0101_4^9 + 3762740916218883272573545686835439690444920543784869160071606/275\ 87876106883298104962679049563680772560905653059763569797*c_0101_4^8 + 3808870068540370668783792123997675103757111531485168892762199/275\ 87876106883298104962679049563680772560905653059763569797*c_0101_4^7 + 796217096774317862572961103067393312953637005355040383542118/2758\ 7876106883298104962679049563680772560905653059763569797*c_0101_4^6 + 1289665135184017851424458802272657008532423867560823282123286/27587\ 876106883298104962679049563680772560905653059763569797*c_0101_4^5 - 73540033727197260061488296033592615671408314613469365177002/2758787\ 6106883298104962679049563680772560905653059763569797*c_0101_4^4 - 75858657000931155568776549307457680418276487010813600792965/2758787\ 6106883298104962679049563680772560905653059763569797*c_0101_4^3 - 34963644950337080504594704591250993489295404797674103172920/2758787\ 6106883298104962679049563680772560905653059763569797*c_0101_4^2 - 37034635220332957158220078263167673335884808179275978386540/2758787\ 6106883298104962679049563680772560905653059763569797*c_0101_4 - 4186431045893799655198031407994788218730608222030473948778/27587876\ 106883298104962679049563680772560905653059763569797, c_0011_3 + 2670459074692381200981918875197877350557884098649394497043/2\ 7587876106883298104962679049563680772560905653059763569797*c_0101_4\ ^26 + 40689108654686289864710839934741627111234617760536496443458/2\ 7587876106883298104962679049563680772560905653059763569797*c_0101_4\ ^25 + 223564637535741463381143183136823724906218887723761747803642/\ 27587876106883298104962679049563680772560905653059763569797*c_0101_\ 4^24 + 628864387855049632094495163194422163055109067745470336863718\ /27587876106883298104962679049563680772560905653059763569797*c_0101\ _4^23 + 14307780410248901960381417557320421774537097718854900598428\ 13/27587876106883298104962679049563680772560905653059763569797*c_01\ 01_4^22 + 227122108244727411056101525527963315895455152975541224818\ 2212/27587876106883298104962679049563680772560905653059763569797*c_\ 0101_4^21 - 3741133783173614221560970768948772105897724620800824609\ 79102/27587876106883298104962679049563680772560905653059763569797*c\ _0101_4^20 - 585938363899788539140877403628069887742244588548596400\ 4899694/27587876106883298104962679049563680772560905653059763569797\ *c_0101_4^19 - 2257726920230382888117739752853939323933784503104211\ 4711534579/27587876106883298104962679049563680772560905653059763569\ 797*c_0101_4^18 - 3221781287088874609076535947040100340024130093011\ 5216007565436/27587876106883298104962679049563680772560905653059763\ 569797*c_0101_4^17 - 3617363229005149891241439899168213255464681254\ 9869666761897429/27587876106883298104962679049563680772560905653059\ 763569797*c_0101_4^16 - 9428822358819737370476659926495154980197067\ 332977951870379813/275878761068832981049626790495636807725609056530\ 59763569797*c_0101_4^15 + 76267723456293965734160891502203078128270\ 697144191426540038780/275878761068832981049626790495636807725609056\ 53059763569797*c_0101_4^14 + 12180146529285045447516285435387841890\ 2312129119568681306391567/27587876106883298104962679049563680772560\ 905653059763569797*c_0101_4^13 + 1298251231051222030756861819778666\ 21602206291534026111083339713/2758787610688329810496267904956368077\ 2560905653059763569797*c_0101_4^12 + 94971930277542514029029601196645273310414836593386754244527996/2758\ 7876106883298104962679049563680772560905653059763569797*c_0101_4^11 + 35943842736614392101514943414242339445591886742585716408292322/27\ 587876106883298104962679049563680772560905653059763569797*c_0101_4^\ 10 + 12874428545499356655182649976504868954142676490337878353095089\ /27587876106883298104962679049563680772560905653059763569797*c_0101\ _4^9 - 875698982095788947619625308381843440724441241572107413498312\ 1/27587876106883298104962679049563680772560905653059763569797*c_010\ 1_4^8 - 10247522384259966413895105201824858167775987501889699032756\ 514/27587876106883298104962679049563680772560905653059763569797*c_0\ 101_4^7 - 362485894590266654045223913315253645580836866304062794712\ 0502/27587876106883298104962679049563680772560905653059763569797*c_\ 0101_4^6 - 26093917322098653664048307802870705022757155437313206450\ 19658/27587876106883298104962679049563680772560905653059763569797*c\ _0101_4^5 + 2418543550513550034647374359911646190304166189200080643\ 08205/27587876106883298104962679049563680772560905653059763569797*c\ _0101_4^4 + 2432395186257697889822407980405504106917889991660072228\ 45450/27587876106883298104962679049563680772560905653059763569797*c\ _0101_4^3 + 9982841326881608792342137865116270954834272853468811896\ 6238/27587876106883298104962679049563680772560905653059763569797*c_\ 0101_4^2 + 61721775552224964026487482857381433868069660222405935911\ 820/27587876106883298104962679049563680772560905653059763569797*c_0\ 101_4 - 25960612034302151965297659727301696913058709884240461889481\ /27587876106883298104962679049563680772560905653059763569797, c_0011_6 - 4023070071461856446526689625318296687293513140971977187599/2\ 7587876106883298104962679049563680772560905653059763569797*c_0101_4\ ^26 - 61429160685439337521695466506596933179680857457882983513796/2\ 7587876106883298104962679049563680772560905653059763569797*c_0101_4\ ^25 - 338442491873841868533115648971145356240304961062100319948717/\ 27587876106883298104962679049563680772560905653059763569797*c_0101_\ 4^24 - 952988094827360035061192266376968150778254152461927078767218\ /27587876106883298104962679049563680772560905653059763569797*c_0101\ _4^23 - 21568863658897518099711414574339753209736967211239334979801\ 08/27587876106883298104962679049563680772560905653059763569797*c_01\ 01_4^22 - 340885646933966006416625788178324591914540138640610560434\ 3272/27587876106883298104962679049563680772560905653059763569797*c_\ 0101_4^21 + 6409992315729709521980727844027124440438919189480484421\ 60834/27587876106883298104962679049563680772560905653059763569797*c\ _0101_4^20 + 914374560304110028540857374609139605511833186264012293\ 6420695/27587876106883298104962679049563680772560905653059763569797\ *c_0101_4^19 + 3424798827718212291162402280530372003713476732021082\ 2644043831/27587876106883298104962679049563680772560905653059763569\ 797*c_0101_4^18 + 4885998747520198736461175880684844120551103636144\ 2172572659512/27587876106883298104962679049563680772560905653059763\ 569797*c_0101_4^17 + 5306597883543710219598253211017010745117714894\ 4813308930501852/27587876106883298104962679049563680772560905653059\ 763569797*c_0101_4^16 + 4037391961840059318176155471614625585955834\ 78833610733949649/9513060726511482105159544499849545093986519190710\ 26329993*c_0101_4^15 - 11920357288306270666283827263060798972592382\ 9125120814508091785/27587876106883298104962679049563680772560905653\ 059763569797*c_0101_4^14 - 1882612997076771656667570986418908503248\ 31757499859808586675278/2758787610688329810496267904956368077256090\ 5653059763569797*c_0101_4^13 - 191124505345445629704098313547481044\ 940213538559516726075280472/275878761068832981049626790495636807725\ 60905653059763569797*c_0101_4^12 - 132866798441352227005329077528046720573075458197656904280186595/275\ 87876106883298104962679049563680772560905653059763569797*c_0101_4^1\ 1 - 41215494355039474788677466159914988383622627276237032300582944/\ 27587876106883298104962679049563680772560905653059763569797*c_0101_\ 4^10 - 323530304428527522337403883014569684724375906569699749412509\ /951306072651148210515954449984954509398651919071026329993*c_0101_4\ ^9 + 15420103819869611436426394085715289719401024792303074123676661\ /27587876106883298104962679049563680772560905653059763569797*c_0101\ _4^8 + 158109008060776368682167089853786615047710553751195356961060\ 55/27587876106883298104962679049563680772560905653059763569797*c_01\ 01_4^7 + 3937288557725352657634472196180366304846723035551489968709\ 052/27587876106883298104962679049563680772560905653059763569797*c_0\ 101_4^6 + 275978841894161552919414945704105487590178899277956344549\ 4411/27587876106883298104962679049563680772560905653059763569797*c_\ 0101_4^5 - 38785437750506114873026795773471583875131361250944855232\ 6159/27587876106883298104962679049563680772560905653059763569797*c_\ 0101_4^4 - 48522951887180084671948857438823191155059695025572323537\ 7125/27587876106883298104962679049563680772560905653059763569797*c_\ 0101_4^3 - 28143720902972449585490000387370033622946654799399161551\ 323/27587876106883298104962679049563680772560905653059763569797*c_0\ 101_4^2 - 318087890983176983199145764560702154724006348306392702598\ 24/27587876106883298104962679049563680772560905653059763569797*c_01\ 01_4 + 17960377182215132897719654557917341566618721373891049897810/\ 27587876106883298104962679049563680772560905653059763569797, c_0101_0 - 134056162886493627791383470710162661509599011342867469343/95\ 1306072651148210515954449984954509398651919071026329993*c_0101_4^26 - 58989975608046804900932615898462799170969320303108312885392/27587\ 876106883298104962679049563680772560905653059763569797*c_0101_4^25 - 321205586634210037189636693824356116027915835854789290380496/275878\ 76106883298104962679049563680772560905653059763569797*c_0101_4^24 - 886822651423220486755134549022665294487932441868768517257418/275878\ 76106883298104962679049563680772560905653059763569797*c_0101_4^23 - 1979097474325987564030971732292564095512051351383360482427636/27587\ 876106883298104962679049563680772560905653059763569797*c_0101_4^22 - 3041530935289506757602111493337644511816579437831376494405977/27587\ 876106883298104962679049563680772560905653059763569797*c_0101_4^21 + 1054891249643268098392131005733801272698425890016339141849028/27587\ 876106883298104962679049563680772560905653059763569797*c_0101_4^20 + 8977352334590285107547240811736321163477218838022881397427295/27587\ 876106883298104962679049563680772560905653059763569797*c_0101_4^19 + 32276478893604173205770295743471548252968418227468869501700638/2758\ 7876106883298104962679049563680772560905653059763569797*c_0101_4^18 + 43483200518277578329326585948510546109059051853146566111007699/27\ 587876106883298104962679049563680772560905653059763569797*c_0101_4^\ 17 + 44895320705770396245842599369582307291481480267881528185831477\ /27587876106883298104962679049563680772560905653059763569797*c_0101\ _4^16 + 32208100574037090782568549427226565000769588832167956162802\ 99/27587876106883298104962679049563680772560905653059763569797*c_01\ 01_4^15 - 119223215428176488123855457932527062989479785161933102786\ 085384/27587876106883298104962679049563680772560905653059763569797*\ c_0101_4^14 - 17154486394065541249407463127110848315010783645083134\ 1983440647/27587876106883298104962679049563680772560905653059763569\ 797*c_0101_4^13 - 1602854384570226178220071845413778741965285068777\ 00249711538299/2758787610688329810496267904956368077256090565305976\ 3569797*c_0101_4^12 - 970375621855185825211473246496555331712117140\ 10983360754536666/2758787610688329810496267904956368077256090565305\ 9763569797*c_0101_4^11 - 162081084794347797298838907566278763312043\ 00856470031340110191/2758787610688329810496267904956368077256090565\ 3059763569797*c_0101_4^10 + 163365939809775432328957755513228572486\ 90764997458698971348/2758787610688329810496267904956368077256090565\ 3059763569797*c_0101_4^9 + 1465665952905272871629796106075282890844\ 1290153776096807874534/27587876106883298104962679049563680772560905\ 653059763569797*c_0101_4^8 + 11109381735177880024348517259789188727\ 464924246527937763185143/275878761068832981049626790495636807725609\ 05653059763569797*c_0101_4^7 + 105578090427760757067711351976492891\ 0236976648269269050125083/27587876106883298104962679049563680772560\ 905653059763569797*c_0101_4^6 + 12932759932171417469871744254702036\ 94995648907937689361921300/2758787610688329810496267904956368077256\ 0905653059763569797*c_0101_4^5 - 8486865863873170935390039997953448\ 19983032812026812177004040/2758787610688329810496267904956368077256\ 0905653059763569797*c_0101_4^4 - 3562828324780165834570165463740112\ 73727130338558913717486835/2758787610688329810496267904956368077256\ 0905653059763569797*c_0101_4^3 + 1045204845772217216446802691867034\ 41617898819162250223634085/2758787610688329810496267904956368077256\ 0905653059763569797*c_0101_4^2 + 3391544090756504515179715037566787\ 513781614485030793793436/275878761068832981049626790495636807725609\ 05653059763569797*c_0101_4 + 17209670633814007644603774062703915469\ 767739538860648748581/275878761068832981049626790495636807725609056\ 53059763569797, c_0101_3 + 4395786829270015756180213832177619540880287541537325767051/2\ 7587876106883298104962679049563680772560905653059763569797*c_0101_4\ ^26 + 67192661521930212954488073238594720885875578362324652672204/2\ 7587876106883298104962679049563680772560905653059763569797*c_0101_4\ ^25 + 370688535900878343463083160233918285614196022028323467497659/\ 27587876106883298104962679049563680772560905653059763569797*c_0101_\ 4^24 + 104417686014044916224826928515416457652946077403423340300567\ 6/27587876106883298104962679049563680772560905653059763569797*c_010\ 1_4^23 + 2357112132571980419907148909944240275249878307836660790927\ 138/27587876106883298104962679049563680772560905653059763569797*c_0\ 101_4^22 + 37200528023229271917649546982740921311679938785798648223\ 80399/27587876106883298104962679049563680772560905653059763569797*c\ _0101_4^21 - 732110587088434156440476985753581166055942461871758372\ 367792/27587876106883298104962679049563680772560905653059763569797*\ c_0101_4^20 - 10132958627190441343084782085247899898627978828601944\ 924581550/275878761068832981049626790495636807725609056530597635697\ 97*c_0101_4^19 - 37466612401840160810724445013880305935135598150422\ 348931013446/275878761068832981049626790495636807725609056530597635\ 69797*c_0101_4^18 - 53506701877961888315221406631697286086013253674\ 257867862655247/275878761068832981049626790495636807725609056530597\ 63569797*c_0101_4^17 - 57229791846381159390422268198907873482753329\ 954639806657061392/275878761068832981049626790495636807725609056530\ 59763569797*c_0101_4^16 - 11933378143229535390815436309077098750302\ 709390691947142298267/275878761068832981049626790495636807725609056\ 53059763569797*c_0101_4^15 + 13162166800970227689192333726331524990\ 8616834751165525032260171/27587876106883298104962679049563680772560\ 905653059763569797*c_0101_4^14 + 2070151436476745424527520614893412\ 14685482500666803529029405006/2758787610688329810496267904956368077\ 2560905653059763569797*c_0101_4^13 + 205364251315147398993401548194944568934788253403563173109856166/275\ 87876106883298104962679049563680772560905653059763569797*c_0101_4^1\ 2 + 141122037887541829828273112332038765219285353101722148533338944\ /27587876106883298104962679049563680772560905653059763569797*c_0101\ _4^11 + 42143170534374587714892815367818887744577821640548438524749\ 131/27587876106883298104962679049563680772560905653059763569797*c_0\ 101_4^10 + 95154387656417523307678595330868362835993803683740352283\ 00077/27587876106883298104962679049563680772560905653059763569797*c\ _0101_4^9 - 1519875644395829572668067457488907752669451939375922141\ 7137521/27587876106883298104962679049563680772560905653059763569797\ *c_0101_4^8 - 17150352236869217044159324785065212187419593368603804\ 046580865/275878761068832981049626790495636807725609056530597635697\ 97*c_0101_4^7 - 411557241880980223751626410145747739279785213835671\ 2957754645/27587876106883298104962679049563680772560905653059763569\ 797*c_0101_4^6 - 30221000395010550599741973070023901684988963451100\ 12466277944/2758787610688329810496267904956368077256090565305976356\ 9797*c_0101_4^5 + 2589968787033349776650317138808498982392559958389\ 73714119819/2758787610688329810496267904956368077256090565305976356\ 9797*c_0101_4^4 + 6076640981033081893531824300359563284426525206555\ 41923069100/2758787610688329810496267904956368077256090565305976356\ 9797*c_0101_4^3 + 6144889151795916790772671537833265200634603843263\ 564974536/275878761068832981049626790495636807725609056530597635697\ 97*c_0101_4^2 + 612774474574350964079634653155372671756010122744572\ 74093437/2758787610688329810496267904956368077256090565305976356979\ 7*c_0101_4 - 233180429616188067104479856066410854685271100164558751\ 74482/27587876106883298104962679049563680772560905653059763569797, c_0101_4^27 + 15*c_0101_4^26 + 80*c_0101_4^25 + 214*c_0101_4^24 + 471*c_0101_4^23 + 699*c_0101_4^22 - 396*c_0101_4^21 - 2243*c_0101_4^20 - 7897*c_0101_4^19 - 9803*c_0101_4^18 - 9778*c_0101_4^17 + 852*c_0101_4^16 + 30565*c_0101_4^15 + 38755*c_0101_4^14 + 34290*c_0101_4^13 + 19255*c_0101_4^12 + 812*c_0101_4^11 - 405*c_0101_4^10 - 4164*c_0101_4^9 - 2636*c_0101_4^8 + 119*c_0101_4^7 - 399*c_0101_4^6 + 305*c_0101_4^5 + 68*c_0101_4^4 - 31*c_0101_4^3 + 10*c_0101_4^2 - 10*c_0101_4 + 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB