Magma V2.19-8 Tue Aug 20 2013 16:19:17 on localhost [Seed = 3802365932] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3401 geometric_solution 6.56895658 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 0 0 0 0 0 0 0 0 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.419545208473 0.342651282894 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.150648880330 0.825100892239 1 4 5 6 0132 0132 0132 0132 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 -1 1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.641146182637 0.922012615737 6 5 4 1 3201 1023 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.641146182637 0.922012615737 4 2 3 4 3201 0132 1023 2310 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.298534750803 0.800635132781 3 5 5 2 1023 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 0 1 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 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.338942136851 0.645248953706 6 6 2 3 1230 3012 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 -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.730750170925 0.923525927966 ==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' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : negation(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_1'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_6']), '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_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' : negation(d['c_0011_6']), 'c_1001_6' : negation(d['c_0011_6']), '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_4'], '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_0101_0'], 'c_0110_4' : negation(d['c_0101_4']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_6']), '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_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t - 9117546318130386513117552624058369855807500265385275584556969357564\ 5966719069842/16348623398303456383626997883045385953533439004221511\ 17917562290150009469527*c_0101_4^35 + 3330547849612142997371158297098678884625683172995907774966955406369\ 27345307031/2335517628329065197660999697577912279076205572031644454\ 16794612878572781361*c_0101_4^34 + 3098256074091012546786136003006757000556805459580392346027496438748\ 530009556499837/163486233983034563836269978830453859535334390042215\ 1117917562290150009469527*c_0101_4^33 - 2786695136054255350110650287385671789803027485556132829798782245054\ 7227890185798/56374563442425711667679303044984089494942893118005210\ 962674561729310671363*c_0101_4^32 - 1215660573606866475420218302359200361366730735543143406724962118051\ 637744433468078/563745634424257116676793030449840894949428931180052\ 10962674561729310671363*c_0101_4^31 + 1532878840217151997149838814717287614773681916868828638186042799308\ 736704068324427/163486233983034563836269978830453859535334390042215\ 1117917562290150009469527*c_0101_4^30 + 3018734151150273506739545450215759328810622571798317901486707879878\ 1063126391972270/23355176283290651976609996975779122790762055720316\ 4445416794612878572781361*c_0101_4^29 + 5036698666768314335661344128575746254421779110725461188988329674916\ 8281203243125388/16348623398303456383626997883045385953533439004221\ 51117917562290150009469527*c_0101_4^28 - 8727910396074389705921048788835492508202377058083251096521984183775\ 13058528935633481/1634862339830345638362699788304538595353343900422\ 151117917562290150009469527*c_0101_4^27 - 3369137885255044486850514354951353527031297868921411294485714934833\ 40609330479854075/1634862339830345638362699788304538595353343900422\ 151117917562290150009469527*c_0101_4^26 + 2853208975041199546085654437410649680984964339348545953572269030255\ 250372260031899883/163486233983034563836269978830453859535334390042\ 2151117917562290150009469527*c_0101_4^25 + 8089256165537300419581076078136750455408727512233599539929567354401\ 77607884259318147/1634862339830345638362699788304538595353343900422\ 151117917562290150009469527*c_0101_4^24 - 7566534432321146038145567181873085325220538920553317771194598609227\ 426576858174653893/163486233983034563836269978830453859535334390042\ 2151117917562290150009469527*c_0101_4^23 - 2651785185153863156909239626297268311759163871071433263756008510352\ 65303365740140291/1634862339830345638362699788304538595353343900422\ 151117917562290150009469527*c_0101_4^22 + 5448753613743492874731645480319899476690587132905208459995472659395\ 16313841963240934/5637456344242571166767930304498408949494289311800\ 5210962674561729310671363*c_0101_4^21 - 3160224873079072509930161347961019981609664596004196112958967819079\ 056233661757311597/163486233983034563836269978830453859535334390042\ 2151117917562290150009469527*c_0101_4^20 - 2505342912017432322235852636667601515833296326566140437432191820403\ 9353014586947742657/16348623398303456383626997883045385953533439004\ 22151117917562290150009469527*c_0101_4^19 + 1281850895662420884823042745189920296571243883324864368162928674789\ 411518412061742135/233551762832906519766099969757791227907620557203\ 164445416794612878572781361*c_0101_4^18 + 2890064854764144021256435307833863756812098586439757358631403934898\ 8638319154701229754/16348623398303456383626997883045385953533439004\ 22151117917562290150009469527*c_0101_4^17 - 1773751624249250581918360229842338798173713261369948946466449311414\ 638897376473607804/233551762832906519766099969757791227907620557203\ 164445416794612878572781361*c_0101_4^16 - 2337730315347949226684980668835405920154532112741458107671080592756\ 6976671771450335618/16348623398303456383626997883045385953533439004\ 22151117917562290150009469527*c_0101_4^15 + 9475127973161193539132375396340513140406367521311497437779866710860\ 607510924943124437/163486233983034563836269978830453859535334390042\ 2151117917562290150009469527*c_0101_4^14 + 1337476100405262807785508726126563694820039865666822392240488257158\ 3498921873443550878/16348623398303456383626997883045385953533439004\ 22151117917562290150009469527*c_0101_4^13 - 3751364393514888389957400304438736598334798111108184036816255246855\ 793476722493098002/163486233983034563836269978830453859535334390042\ 2151117917562290150009469527*c_0101_4^12 - 5786574638070408218290978971651306548969519182628620876294509591747\ 617715514973286540/163486233983034563836269978830453859535334390042\ 2151117917562290150009469527*c_0101_4^11 + 5577424454168831121214568226482947848651869081586744256297482058437\ 37153218998986230/1634862339830345638362699788304538595353343900422\ 151117917562290150009469527*c_0101_4^10 + 2064950007204337125801740235950194155448581162188390989340897680330\ 438315780882301164/163486233983034563836269978830453859535334390042\ 2151117917562290150009469527*c_0101_4^9 + 8219854445149166951116045584582898539795252022343479881326411734799\ 806347892647179/233551762832906519766099969757791227907620557203164\ 445416794612878572781361*c_0101_4^8 - 5979639041221653146648165868398532493924315492923993357506646819719\ 70016698554826299/1634862339830345638362699788304538595353343900422\ 151117917562290150009469527*c_0101_4^7 - 1356023100046329152538109367923622471451432452662263947997951275015\ 5766793003504511/16348623398303456383626997883045385953533439004221\ 51117917562290150009469527*c_0101_4^6 + 1203754688405189884191690930789675633466415931328121351264256285750\ 61247394706907951/1634862339830345638362699788304538595353343900422\ 151117917562290150009469527*c_0101_4^5 - 5431465025444499178130537467364262523557929398308320096328708800740\ 046431868241857/163486233983034563836269978830453859535334390042215\ 1117917562290150009469527*c_0101_4^4 - 1379310009846897471517010203503468608603995454706851217167423906616\ 9666220349706673/16348623398303456383626997883045385953533439004221\ 51117917562290150009469527*c_0101_4^3 + 1467950286966418719625069554020142397655803895357525967638734396405\ 881684764243112/163486233983034563836269978830453859535334390042215\ 1117917562290150009469527*c_0101_4^2 + 6652355813286706048900638599800111135327081724195478041424934966762\ 51838524975319/1634862339830345638362699788304538595353343900422151\ 117917562290150009469527*c_0101_4 - 8478843382205696708200221002675925796603184604271348060343024008061\ 9993902637593/16348623398303456383626997883045385953533439004221511\ 17917562290150009469527, c_0011_0 - 1, c_0011_1 + 249061019435536037403050490631055167988087430928161607583688\ 1607926284120048/80535090632036730953827575778548699278489847311436\ 01566096365961330095909*c_0101_4^35 - 5007159575835181979426523878696625160157558358768024986923321945319\ 5914562/80535090632036730953827575778548699278489847311436015660963\ 65961330095909*c_0101_4^34 - 84660689394332654583360653679421062148\ 407515620386396996061866619336513713377/805350906320367309538275757\ 7854869927848984731143601566096365961330095909*c_0101_4^33 + 2161823977818716956420021301096392648136255722517064173002901651910\ 8876454952/80535090632036730953827575778548699278489847311436015660\ 96365961330095909*c_0101_4^32 + 96403150421646990791802166067853144\ 0612368546437368934510443266445588674786889/80535090632036730953827\ 57577854869927848984731143601566096365961330095909*c_0101_4^31 - 3699099018626417781680601640675597259170475527088446131980084618720\ 9852347635/80535090632036730953827575778548699278489847311436015660\ 96365961330095909*c_0101_4^30 - 57823829498103517055598985192003606\ 73341325147609661658221137819529856302646296/8053509063203673095382\ 757577854869927848984731143601566096365961330095909*c_0101_4^29 - 1405400896483102513376852774283592264157309960337100000377916349899\ 504402184089/805350906320367309538275757785486992784898473114360156\ 6096365961330095909*c_0101_4^28 + 238917964409824691079163631184656\ 32428083962327249335845565439180809803367460263/8053509063203673095\ 382757577854869927848984731143601566096365961330095909*c_0101_4^27 + 9338840037944885322060309099141166580780173190082151853407084569726\ 447430977797/805350906320367309538275757785486992784898473114360156\ 6096365961330095909*c_0101_4^26 - 781247664749365481009313052578098\ 14594426520574113534232042280203333687480243435/8053509063203673095\ 382757577854869927848984731143601566096365961330095909*c_0101_4^25 - 2257754985164591304571729471331777638563756690393464020710902930202\ 5317856668936/80535090632036730953827575778548699278489847311436015\ 66096365961330095909*c_0101_4^24 + 2073322295101894591903754720580296351282439432395412094916421820478\ 68435527637431/8053509063203673095382757577854869927848984731143601\ 566096365961330095909*c_0101_4^23 + 8455651842223520314392063049800762244655208794761166606438473743041\ 700016195302/805350906320367309538275757785486992784898473114360156\ 6096365961330095909*c_0101_4^22 - 433567550180077021104654202384237\ 658034140742485212121966499069364049682452125177/805350906320367309\ 5382757577854869927848984731143601566096365961330095909*c_0101_4^21 + 84267048555341208163581939586515387476702378966234069523151880142\ 933474638410065/805350906320367309538275757785486992784898473114360\ 1566096365961330095909*c_0101_4^20 + 6887601056558727363634463087723321070571173772905978261315978497061\ 26429264800192/8053509063203673095382757577854869927848984731143601\ 566096365961330095909*c_0101_4^19 - 2428988654769950689571076240863347605070029981085868318856736655148\ 65412412268824/8053509063203673095382757577854869927848984731143601\ 566096365961330095909*c_0101_4^18 - 7965876752312062263207429337718999870097875439411743571715807999124\ 05422761850179/8053509063203673095382757577854869927848984731143601\ 566096365961330095909*c_0101_4^17 + 3380504714474561038265025006933109426418433973455951884680894133546\ 40382339535083/8053509063203673095382757577854869927848984731143601\ 566096365961330095909*c_0101_4^16 + 6464692015747495139479561293583533354837606529091817935582485227101\ 57444444779837/8053509063203673095382757577854869927848984731143601\ 566096365961330095909*c_0101_4^15 - 2591165796525269387420317954354123428925689266202001338568183509278\ 49191729048795/8053509063203673095382757577854869927848984731143601\ 566096365961330095909*c_0101_4^14 - 3710083866876606073400641263567867482466146813999881452378517338277\ 90383085472440/8053509063203673095382757577854869927848984731143601\ 566096365961330095909*c_0101_4^13 + 1029531620679765063864733356287503529793556815889759966085004480504\ 59181097326469/8053509063203673095382757577854869927848984731143601\ 566096365961330095909*c_0101_4^12 + 1607424406175048380299306830557693351438267048755685745551372781103\ 09366830072572/8053509063203673095382757577854869927848984731143601\ 566096365961330095909*c_0101_4^11 - 1519946242007291472186046962303699113804831907417695831760033632430\ 1543603055947/80535090632036730953827575778548699278489847311436015\ 66096365961330095909*c_0101_4^10 - 5735607928715227708563702821871094543093436962400436902570248956220\ 3521505055044/80535090632036730953827575778548699278489847311436015\ 66096365961330095909*c_0101_4^9 - 174834472094093446613365354256269\ 1489570271202327513844692186873669182640351767/80535090632036730953\ 82757577854869927848984731143601566096365961330095909*c_0101_4^8 + 1663407560712566696555511663285964994526581374578618405368615630911\ 4982933067862/80535090632036730953827575778548699278489847311436015\ 66096365961330095909*c_0101_4^7 + 436268579401336035015487054263153\ 451113514049247230772187726617222009972653333/805350906320367309538\ 2757577854869927848984731143601566096365961330095909*c_0101_4^6 - 3365053842919652202570710209151045740938988484248431269890282354083\ 010721844107/805350906320367309538275757785486992784898473114360156\ 6096365961330095909*c_0101_4^5 + 1408804089271223124237625792669642\ 88812666221398227978359767964573331176764202/8053509063203673095382\ 757577854869927848984731143601566096365961330095909*c_0101_4^4 + 3885850854214843011602163209034975889033821276547543373453546249741\ 44530659044/8053509063203673095382757577854869927848984731143601566\ 096365961330095909*c_0101_4^3 - 40433310383385148868078030818490467\ 441080890863212094775992296267747782555790/805350906320367309538275\ 7577854869927848984731143601566096365961330095909*c_0101_4^2 - 1894522385750221870400577906373628399577114541139632836855592842342\ 1376879731/80535090632036730953827575778548699278489847311436015660\ 96365961330095909*c_0101_4 + 23969458414947033861739880763696583350\ 49598312197072001682064733361324466713/8053509063203673095382757577\ 854869927848984731143601566096365961330095909, c_0011_3 + 141378600412990637580586209049667548490509877635430643854805\ 65967155000568/8053509063203673095382757577854869927848984731143601\ 566096365961330095909*c_0101_4^35 + 2264002891341988749542215524400545085010044758639764900242147955753\ 736728/805350906320367309538275757785486992784898473114360156609636\ 5961330095909*c_0101_4^34 - 487685009836099987183603817198365217276\ 522234772834489659713320617726105890/805350906320367309538275757785\ 4869927848984731143601566096365961330095909*c_0101_4^33 + 4147277856817556185373786732622052802689625830502910204128522637110\ 7822604/80535090632036730953827575778548699278489847311436015660963\ 65961330095909*c_0101_4^32 + 57302906117034624744315168460634792799\ 76237963716477636588574101119462364952/8053509063203673095382757577\ 854869927848984731143601566096365961330095909*c_0101_4^31 + 5400898647177055490190388560447428000555679772168468375764340562929\ 54414421/8053509063203673095382757577854869927848984731143601566096\ 365961330095909*c_0101_4^30 - 3541458767739727468827818454870901605\ 9394572184807858697524470324161162875777/80535090632036730953827575\ 77854869927848984731143601566096365961330095909*c_0101_4^29 - 1189418677103700546226643943344389346905629496580162079990769763370\ 5240112175/80535090632036730953827575778548699278489847311436015660\ 96365961330095909*c_0101_4^28 + 14904003018578004073711326434184159\ 2856300698960253923388998474968393389108270/80535090632036730953827\ 57577854869927848984731143601566096365961330095909*c_0101_4^27 + 7039927845651011216122244314653898515817499510861684699210211076698\ 7892581901/80535090632036730953827575778548699278489847311436015660\ 96365961330095909*c_0101_4^26 - 49609481173094749953416626294880939\ 1913902739396985303972892644705843367123114/80535090632036730953827\ 57577854869927848984731143601566096365961330095909*c_0101_4^25 - 1882616758242737756847112542877003014841128962656521043107297477389\ 01842517897/8053509063203673095382757577854869927848984731143601566\ 096365961330095909*c_0101_4^24 + 1359267332934987974575422974659360\ 438191627606557892598365040570450318846785794/805350906320367309538\ 2757577854869927848984731143601566096365961330095909*c_0101_4^23 + 1708478945579569011681197746365412039154418986473931561519309983271\ 05965487273/8053509063203673095382757577854869927848984731143601566\ 096365961330095909*c_0101_4^22 - 2969670790868683418853507130017770\ 321819326371109482741976543304536671786674133/805350906320367309538\ 2757577854869927848984731143601566096365961330095909*c_0101_4^21 + 3967857324451612933557182512356503979499428609627766418462195350010\ 55980922032/8053509063203673095382757577854869927848984731143601566\ 096365961330095909*c_0101_4^20 + 4944230775204992646520200331848691\ 991265550094287162670357343902172223156282415/805350906320367309538\ 2757577854869927848984731143601566096365961330095909*c_0101_4^19 - 1619400396105861215423091446153602204858933535029801718547032766937\ 989494962994/805350906320367309538275757785486992784898473114360156\ 6096365961330095909*c_0101_4^18 - 599381779754414756574125423689850\ 6201819892556137195548229471811932321142973803/80535090632036730953\ 82757577854869927848984731143601566096365961330095909*c_0101_4^17 + 2698205492745511749199215566112373918614189158060162110350510109981\ 843526797052/805350906320367309538275757785486992784898473114360156\ 6096365961330095909*c_0101_4^16 + 504354719473323381790856135873844\ 0499099364503198666947626760684896394764884055/80535090632036730953\ 82757577854869927848984731143601566096365961330095909*c_0101_4^15 - 2515241163395341780345462629729370281723666077899153826991666244920\ 596196728660/805350906320367309538275757785486992784898473114360156\ 6096365961330095909*c_0101_4^14 - 288024104916648480084484401302711\ 6444332502585159617909809663006987896795000511/80535090632036730953\ 82757577854869927848984731143601566096365961330095909*c_0101_4^13 + 1286879173454909722931282465103258599036250248646309268395523108915\ 479704374632/805350906320367309538275757785486992784898473114360156\ 6096365961330095909*c_0101_4^12 + 121859469302314577115980655606611\ 7243525598294547833628786958528843865824122044/80535090632036730953\ 82757577854869927848984731143601566096365961330095909*c_0101_4^11 - 3301957239053393333329893194850004346101999302674406679751432376543\ 88913628848/8053509063203673095382757577854869927848984731143601566\ 096365961330095909*c_0101_4^10 - 4674588160647514404423883242540602\ 15895344097096924269979172468416001704822551/8053509063203673095382\ 757577854869927848984731143601566096365961330095909*c_0101_4^9 + 4921300301757735274665486742687142337015051387004228203362808842660\ 8778402221/80535090632036730953827575778548699278489847311436015660\ 96365961330095909*c_0101_4^8 + 156303643258177138806786685678730274\ 661019428592314181955601793590920953976231/805350906320367309538275\ 7577854869927848984731143601566096365961330095909*c_0101_4^7 - 1711194638495230629474053325461476553218340044741842566504214757739\ 6364727383/80535090632036730953827575778548699278489847311436015660\ 96365961330095909*c_0101_4^6 - 333344896878297581797669303871748673\ 15660457490358952776541053234288267680542/8053509063203673095382757\ 577854869927848984731143601566096365961330095909*c_0101_4^5 + 6062748100743095287833617223079764510654164372762192223182045653793\ 806806131/805350906320367309538275757785486992784898473114360156609\ 6365961330095909*c_0101_4^4 + 3539813565723306052459067851186524009\ 994499625276394464311418628079058115893/805350906320367309538275757\ 7854869927848984731143601566096365961330095909*c_0101_4^3 - 8398757257132771905986081007586975902768504384445167598080184491696\ 36482079/8053509063203673095382757577854869927848984731143601566096\ 365961330095909*c_0101_4^2 - 15063585764689001938384308564302551419\ 1802772560685229614644795636623104806/80535090632036730953827575778\ 54869927848984731143601566096365961330095909*c_0101_4 + 3301887104184208215816221333542902509873542859093062010551078520950\ 4722154/80535090632036730953827575778548699278489847311436015660963\ 65961330095909, c_0011_6 - 558893261949536532830517460922019988547802258836176841659372\ 7806102923082842/80535090632036730953827575778548699278489847311436\ 01566096365961330095909*c_0101_4^35 + 1609780611265765215783263536827854197447012414875170620068448128861\ 92564375/8053509063203673095382757577854869927848984731143601566096\ 365961330095909*c_0101_4^34 + 1899317404646324870966652997932075136\ 54710816363527041241368367544004447866314/8053509063203673095382757\ 577854869927848984731143601566096365961330095909*c_0101_4^33 - 5013751697335257974362794257796387272344005090824976650291997271610\ 8884794612/80535090632036730953827575778548699278489847311436015660\ 96365961330095909*c_0101_4^32 - 21613227957601373350529371548074857\ 33190731887516883937910135130798121099513551/8053509063203673095382\ 757577854869927848984731143601566096365961330095909*c_0101_4^31 + 1005721682981649445719490494449597258569307396664289547118939122828\ 95898776645/8053509063203673095382757577854869927848984731143601566\ 096365961330095909*c_0101_4^30 + 1295802429569174786304386452485251\ 6806529015092203563889449534004085648541331153/80535090632036730953\ 82757577854869927848984731143601566096365961330095909*c_0101_4^29 + 3050828421549365580346679294201786852995221932559471188475803899777\ 364413166324/805350906320367309538275757785486992784898473114360156\ 6096365961330095909*c_0101_4^28 - 535413647166976272364293778822988\ 30659684079597453631236488077079959497867574824/8053509063203673095\ 382757577854869927848984731143601566096365961330095909*c_0101_4^27 - 2051852012600237678458085813579011615117159316787991412689394314059\ 3085832884307/80535090632036730953827575778548699278489847311436015\ 66096365961330095909*c_0101_4^26 + 1750804081191751918737162204233993676101091423567933302506894447433\ 79469918108351/8053509063203673095382757577854869927848984731143601\ 566096365961330095909*c_0101_4^25 + 4919602832184142487639827723345041297149866629705539465267020050650\ 7897251857780/80535090632036730953827575778548699278489847311436015\ 66096365961330095909*c_0101_4^24 - 4643302753031227787816801226428633494703833865593541573823276950995\ 03646135083987/8053509063203673095382757577854869927848984731143601\ 566096365961330095909*c_0101_4^23 - 1527298203452260271739055791905035510198182222998525511620056698609\ 1411332460522/80535090632036730953827575778548699278489847311436015\ 66096365961330095909*c_0101_4^22 + 9696067283310540998699558178276429227863516894295894030621006261040\ 31072979981384/8053509063203673095382757577854869927848984731143601\ 566096365961330095909*c_0101_4^21 - 1957815192172152525853631637284988345714249128514335792245736561778\ 28300578796186/8053509063203673095382757577854869927848984731143601\ 566096365961330095909*c_0101_4^20 - 1537305791097515207754538831878185426023283558715503528614447039381\ 589060961869909/805350906320367309538275757785486992784898473114360\ 1566096365961330095909*c_0101_4^19 + 5533766999460747896124509270996811441789516585157034013670786757031\ 97033895879397/8053509063203673095382757577854869927848984731143601\ 566096365961330095909*c_0101_4^18 + 1773702904189781674713125056142955535218735273260445063616627200847\ 645866752566912/805350906320367309538275757785486992784898473114360\ 1566096365961330095909*c_0101_4^17 - 7649820743724261710426040738827988227039461588629341348886251832201\ 13331060294296/8053509063203673095382757577854869927848984731143601\ 566096365961330095909*c_0101_4^16 - 1435566984606245999758348197501787727553716096465192129641836626037\ 999845759744218/805350906320367309538275757785486992784898473114360\ 1566096365961330095909*c_0101_4^15 + 5838555656158908711787149769975124848310064953188470464176021761316\ 01966833787569/8053509063203673095382757577854869927848984731143601\ 566096365961330095909*c_0101_4^14 + 8223635165938577677967344522378407358224147906843714490215714356768\ 17660298604547/8053509063203673095382757577854869927848984731143601\ 566096365961330095909*c_0101_4^13 - 2314997969611138147704805470738430664596809255628742848297544761636\ 87477915308492/8053509063203673095382757577854869927848984731143601\ 566096365961330095909*c_0101_4^12 - 3563947974390736800042177967296754469965278425354272906009243071710\ 48047830213122/8053509063203673095382757577854869927848984731143601\ 566096365961330095909*c_0101_4^11 + 3462699488601038440325510207063236667084843972797775983341254435150\ 9023384765048/80535090632036730953827575778548699278489847311436015\ 66096365961330095909*c_0101_4^10 + 1272978753031301534967936747569748178983825972514296723482136613895\ 39263632682191/8053509063203673095382757577854869927848984731143601\ 566096365961330095909*c_0101_4^9 + 3507712731423252608776824950990648830370493359448918708958662927192\ 861338544926/805350906320367309538275757785486992784898473114360156\ 6096365961330095909*c_0101_4^8 - 3686926408016181163411658645287876\ 6209322746155577580389273485962394887511574038/80535090632036730953\ 82757577854869927848984731143601566096365961330095909*c_0101_4^7 - 8594838188267687127592873205986352548443317477239694079266361610944\ 60938248998/8053509063203673095382757577854869927848984731143601566\ 096365961330095909*c_0101_4^6 + 74320417569019852487205171269314911\ 72535902958773620372632978617345330701305841/8053509063203673095382\ 757577854869927848984731143601566096365961330095909*c_0101_4^5 - 3254258560952532760176887784879574643342584806645811083371847325184\ 90638288709/8053509063203673095382757577854869927848984731143601566\ 096365961330095909*c_0101_4^4 - 85482929420342755289259969020387590\ 8290798132834684205719946051758284910891277/80535090632036730953827\ 57577854869927848984731143601566096365961330095909*c_0101_4^3 + 8976868123844950604978369768108184191680454421375506629325413584432\ 2683831247/80535090632036730953827575778548699278489847311436015660\ 96365961330095909*c_0101_4^2 + 415530090336399763542512702585757556\ 67948525231043048209848132635894577260156/8053509063203673095382757\ 577854869927848984731143601566096365961330095909*c_0101_4 - 5260198016284890642722158952001541849420422375574186455679881947608\ 979110653/805350906320367309538275757785486992784898473114360156609\ 6365961330095909, c_0101_0 + 126975558880146231640999750437316858206343047075350716805575\ 1656288147063276/80535090632036730953827575778548699278489847311436\ 01566096365961330095909*c_0101_4^35 - 3436376522834056026713616297992996896202858416751869072699019749284\ 9858642/80535090632036730953827575778548699278489847311436015660963\ 65961330095909*c_0101_4^34 - 43157268630609409858744983474333397930\ 325072819674768385107544389544201835788/805350906320367309538275757\ 7854869927848984731143601566096365961330095909*c_0101_4^33 + 1132278174666914678351591921938970581070863376742943869816851232795\ 5590736706/80535090632036730953827575778548699278489847311436015660\ 96365961330095909*c_0101_4^32 + 49126649226036223313383790000350751\ 8267198487021904035092347126381582176799419/80535090632036730953827\ 57577854869927848984731143601566096365961330095909*c_0101_4^31 - 2228160836676017308350011275466575559877508397423426922313564120767\ 0659306061/80535090632036730953827575778548699278489847311436015660\ 96365961330095909*c_0101_4^30 - 29462645441927359544114973614935814\ 42244750801739380460663583268471989435181883/8053509063203673095382\ 757577854869927848984731143601566096365961330095909*c_0101_4^29 - 6956453106574360284067305501674658088028031778395574140299236103857\ 47483490957/8053509063203673095382757577854869927848984731143601566\ 096365961330095909*c_0101_4^28 + 1217615121916718184046864112214364\ 4611943350897881442729644591238293895764527853/80535090632036730953\ 82757577854869927848984731143601566096365961330095909*c_0101_4^27 + 4671930650544178056317594836103226040187333057868431236768316605311\ 320133773202/805350906320367309538275757785486992784898473114360156\ 6096365961330095909*c_0101_4^26 - 398250010565405934086258958391590\ 99937005650800558460967360018880458653603247903/8053509063203673095\ 382757577854869927848984731143601566096365961330095909*c_0101_4^25 - 1121027199224131368360511940336124153985678183245081336531864267436\ 7692777083129/80535090632036730953827575778548699278489847311436015\ 66096365961330095909*c_0101_4^24 + 1056610706784502558476828214417843301247576590450830458940235396556\ 35683036055844/8053509063203673095382757577854869927848984731143601\ 566096365961330095909*c_0101_4^23 + 3515617605802137726306376443923748365886833818365990858186250294962\ 541077559010/805350906320367309538275757785486992784898473114360156\ 6096365961330095909*c_0101_4^22 - 220748476190678332533457609466843\ 808982092327043392648620808557683922765852544710/805350906320367309\ 5382757577854869927848984731143601566096365961330095909*c_0101_4^21 + 44567067855698337248256401985503836995715071727535096719907493204\ 173266479066572/805350906320367309538275757785486992784898473114360\ 1566096365961330095909*c_0101_4^20 + 3501587399535765251053194116869481389895402149959612109620492062200\ 26416213095824/8053509063203673095382757577854869927848984731143601\ 566096365961330095909*c_0101_4^19 - 1262391786298836252279719544120498687897024674903861207849237533531\ 16287307114918/8053509063203673095382757577854869927848984731143601\ 566096365961330095909*c_0101_4^18 - 4041556331627114397431577141438416482850233719725376912007410134033\ 40330951107567/8053509063203673095382757577854869927848984731143601\ 566096365961330095909*c_0101_4^17 + 1749052947552022321040821266603966938721529636938553647559096492288\ 05494604113396/8053509063203673095382757577854869927848984731143601\ 566096365961330095909*c_0101_4^16 + 3271296394285725460706688872041273102817015675199702323014773998669\ 53833603882002/8053509063203673095382757577854869927848984731143601\ 566096365961330095909*c_0101_4^15 - 1339605249565202127650349930643013357403902224187540650882223042784\ 94823619274145/8053509063203673095382757577854869927848984731143601\ 566096365961330095909*c_0101_4^14 - 1872721468457738659531963116610322194519489171972277205277731941292\ 88186773924331/8053509063203673095382757577854869927848984731143601\ 566096365961330095909*c_0101_4^13 + 5344661020381676424602864879609489700292332038643817632339404146735\ 0121339413174/80535090632036730953827575778548699278489847311436015\ 66096365961330095909*c_0101_4^12 + 8111786719013032496472550936389218526930483949619400102530411082909\ 2600312355272/80535090632036730953827575778548699278489847311436015\ 66096365961330095909*c_0101_4^11 - 8181992605822227868344361228088955047256162244190533154952866233052\ 711095216967/805350906320367309538275757785486992784898473114360156\ 6096365961330095909*c_0101_4^10 - 290263729726698271972729037404968\ 22143811977565045446297824634138559031385187175/8053509063203673095\ 382757577854869927848984731143601566096365961330095909*c_0101_4^9 - 7045337333011562607043550491243488047012855257033634209347376820150\ 79562931290/8053509063203673095382757577854869927848984731143601566\ 096365961330095909*c_0101_4^8 + 84314427510630757562331867590775149\ 67711939341846791898962069377867732768661486/8053509063203673095382\ 757577854869927848984731143601566096365961330095909*c_0101_4^7 + 1656894823495851977977959756262528129678737314274815290721229664378\ 47701448263/8053509063203673095382757577854869927848984731143601566\ 096365961330095909*c_0101_4^6 - 17002441419563690178642891975256357\ 16810566311771095711282477716814891315344984/8053509063203673095382\ 757577854869927848984731143601566096365961330095909*c_0101_4^5 + 8037578340195230281661512507924340625927633391503581863296581743276\ 5505838823/80535090632036730953827575778548699278489847311436015660\ 96365961330095909*c_0101_4^4 + 195124698676528565035224949837473462\ 378360835571189885922037546073417601009574/805350906320367309538275\ 7577854869927848984731143601566096365961330095909*c_0101_4^3 - 2100604341934567318470144854882751070263341651778684100750570810836\ 7749153983/80535090632036730953827575778548699278489847311436015660\ 96365961330095909*c_0101_4^2 - 946835184095038296281449163040336893\ 0836760005576199866795281521878392745993/80535090632036730953827575\ 77854869927848984731143601566096365961330095909*c_0101_4 + 1213574158018438159487174949902375184353728684938219284252280352217\ 196548909/805350906320367309538275757785486992784898473114360156609\ 6365961330095909, c_0101_1 + 544605456522961955976141856460343704236458684495001734614059\ 0323863938225844/80535090632036730953827575778548699278489847311436\ 01566096365961330095909*c_0101_4^35 - 1420401939682858855049021590662487031435272243607651726876110829481\ 32864876/8053509063203673095382757577854869927848984731143601566096\ 365961330095909*c_0101_4^34 - 1850985999431435222817351677403667338\ 41149769823892079248325389590371706253567/8053509063203673095382757\ 577854869927848984731143601566096365961330095909*c_0101_4^33 + 4836256455048536054273891771318644845527651305191903891633832181028\ 2163874044/80535090632036730953827575778548699278489847311436015660\ 96365961330095909*c_0101_4^32 + 21069396060505204862188857747430584\ 45110950498833267698917067414566679728513567/8053509063203673095382\ 757577854869927848984731143601566096365961330095909*c_0101_4^31 - 9279629898947448173154056912347459939826526006769832990876203861221\ 7709414079/80535090632036730953827575778548699278489847311436015660\ 96365961330095909*c_0101_4^30 - 12635143130006773486969988632536768\ 017413159241627244103949419592166871592275996/805350906320367309538\ 2757577854869927848984731143601566096365961330095909*c_0101_4^29 - 3003225847590804388537937838489885188208647621556455573043887199938\ 435137825365/805350906320367309538275757785486992784898473114360156\ 6096365961330095909*c_0101_4^28 + 522121640104403422447302733053462\ 32976162069547768735027075786473847110893990773/8053509063203673095\ 382757577854869927848984731143601566096365961330095909*c_0101_4^27 + 2012698487443431800491761670990353835737736353939293772990730672490\ 4390405862716/80535090632036730953827575778548699278489847311436015\ 66096365961330095909*c_0101_4^26 - 1707479033727900184302768337333219737169326774567380131504379227766\ 87463455501405/8053509063203673095382757577854869927848984731143601\ 566096365961330095909*c_0101_4^25 - 4839458289654283280324511234215502264152982315783608585507624700688\ 7515988886761/80535090632036730953827575778548699278489847311436015\ 66096365961330095909*c_0101_4^24 + 4529785668168079868249119907704243116798036055472251129041197976896\ 91988317655679/8053509063203673095382757577854869927848984731143601\ 566096365961330095909*c_0101_4^23 + 1601146371644290939653664951932457774424747997669756327817776394354\ 6108131169016/80535090632036730953827575778548699278489847311436015\ 66096365961330095909*c_0101_4^22 - 9464427504969813209567397527414537533080467449099389940749344663489\ 33427059045075/8053509063203673095382757577854869927848984731143601\ 566096365961330095909*c_0101_4^21 + 1888918547447231649718580673415633343088659913161217707566516799577\ 76414261570021/8053509063203673095382757577854869927848984731143601\ 566096365961330095909*c_0101_4^20 + 1501731547912268254745015986121073095516752228990528646912621994547\ 192034512524805/805350906320367309538275757785486992784898473114360\ 1566096365961330095909*c_0101_4^19 - 5372854652769419127727312441169574495113568572874120207664733459429\ 02482772975698/8053509063203673095382757577854869927848984731143601\ 566096365961330095909*c_0101_4^18 - 1734332040271163382709252412587609018473687598044253296469743000210\ 869260697414958/805350906320367309538275757785486992784898473114360\ 1566096365961330095909*c_0101_4^17 + 7446292118225994884695096854381564185409964141399720995460450345750\ 00602223011117/8053509063203673095382757577854869927848984731143601\ 566096365961330095909*c_0101_4^16 + 1405275124978703805998607987148285737329885689311517276720484160356\ 199212540770532/805350906320367309538275757785486992784898473114360\ 1566096365961330095909*c_0101_4^15 - 5695291042432288064168467433435401602586107101901686310472968544475\ 84187707026492/8053509063203673095382757577854869927848984731143601\ 566096365961330095909*c_0101_4^14 - 8056994179631479239864076015234394017427345961853428826212877781101\ 55732600584684/8053509063203673095382757577854869927848984731143601\ 566096365961330095909*c_0101_4^13 + 2263039572874557431159792695926230338524330810046403642353568451635\ 76896313646364/8053509063203673095382757577854869927848984731143601\ 566096365961330095909*c_0101_4^12 + 3492383394508421252867555472928430248617705844837341806657917426916\ 37965608560722/8053509063203673095382757577854869927848984731143601\ 566096365961330095909*c_0101_4^11 - 3387891820554220823506965048428457404846619380816831524239825150236\ 4527971123954/80535090632036730953827575778548699278489847311436015\ 66096365961330095909*c_0101_4^10 - 1247523602329569767144038009475923624476808098318070253338601544471\ 35393856985151/8053509063203673095382757577854869927848984731143601\ 566096365961330095909*c_0101_4^9 - 3493961753884122694516370163797111518606384401345560619882390438610\ 250037805256/805350906320367309538275757785486992784898473114360156\ 6096365961330095909*c_0101_4^8 + 3616860691683748633578141146130552\ 4072530786422994307597910032912490088324109322/80535090632036730953\ 82757577854869927848984731143601566096365961330095909*c_0101_4^7 + 8653777640756285273696203958417341671454547048035553188287642935203\ 78051158148/8053509063203673095382757577854869927848984731143601566\ 096365961330095909*c_0101_4^6 - 73037246375186591633376943724998624\ 31234788568288895659555312113247041133190169/8053509063203673095382\ 757577854869927848984731143601566096365961330095909*c_0101_4^5 + 3172091830205896626034676044642152593925632561162900455013646930410\ 35574657274/8053509063203673095382757577854869927848984731143601566\ 096365961330095909*c_0101_4^4 + 84163438692713255354983636818389242\ 3376258140112024350717201068215157214875021/80535090632036730953827\ 57577854869927848984731143601566096365961330095909*c_0101_4^3 - 8829516975260781409361417154986005507085287806122619763007771216353\ 8644525197/80535090632036730953827575778548699278489847311436015660\ 96365961330095909*c_0101_4^2 - 409722197322732053316434618433984255\ 01625635552055820074016993789339125238910/8053509063203673095382757\ 577854869927848984731143601566096365961330095909*c_0101_4 + 5183358642179182377231192623401903407860760621646812608412832270451\ 455912225/805350906320367309538275757785486992784898473114360156609\ 6365961330095909, c_0101_4^36 + 1/2*c_0101_4^35 - 34*c_0101_4^34 - 9*c_0101_4^33 + 783/2*c_0101_4^32 + 373/2*c_0101_4^31 - 4657/2*c_0101_4^30 - 1772*c_0101_4^29 + 9294*c_0101_4^28 + 17477/2*c_0101_4^27 - 29396*c_0101_4^26 - 25375*c_0101_4^25 + 78461*c_0101_4^24 + 46685*c_0101_4^23 - 172135*c_0101_4^22 - 56736*c_0101_4^21 + 587565/2*c_0101_4^20 + 46448*c_0101_4^19 - 370033*c_0101_4^18 - 61823/2*c_0101_4^17 + 329606*c_0101_4^16 + 31303*c_0101_4^15 - 202682*c_0101_4^14 - 36356*c_0101_4^13 + 171677/2*c_0101_4^12 + 27531*c_0101_4^11 - 26119*c_0101_4^10 - 25373/2*c_0101_4^9 + 12569/2*c_0101_4^8 + 3649*c_0101_4^7 - 1253*c_0101_4^6 - 1293/2*c_0101_4^5 + 369/2*c_0101_4^4 + 65*c_0101_4^3 - 16*c_0101_4^2 - 3*c_0101_4 + 1/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.090 Total time: 0.290 seconds, Total memory usage: 32.09MB