Magma V2.19-8 Tue Aug 20 2013 16:16:30 on localhost [Seed = 2193825383] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0786 geometric_solution 4.72680193 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 -1 0 1 0 0 -1 1 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 -1 1 0 0 0 -1 1 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.536900725948 0.476120251434 3 2 2 0 0132 3012 2031 0132 0 0 0 0 0 0 0 0 0 0 -1 1 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 1 -1 0 0 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.688327534988 0.719456690885 1 3 0 1 1230 3201 0132 1302 0 0 0 0 0 0 -1 1 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 -1 0 1 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.688327534988 0.719456690885 1 4 2 4 0132 0132 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.978172741857 1.009400607555 5 3 5 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.734181491945 0.379805116584 4 6 4 6 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.807454846028 0.114015512873 6 5 6 5 2310 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.849746271757 0.061702206109 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(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' : negation(d['c_0011_1']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_4'], 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), '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_0101_0, c_0101_1, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 314986888523078389689009037508110040069125993361566267/538091278796\ 887422420010759099336210132753627474365849*c_0101_6^23 - 17541240203374561825924967007813120847968401593382447/5380912787968\ 87422420010759099336210132753627474365849*c_0101_6^22 - 10393853136206923847709697007564481873808962245921752070/5380912787\ 96887422420010759099336210132753627474365849*c_0101_6^21 - 49073298545686570005584285655697786415674436636662802239/5380912787\ 96887422420010759099336210132753627474365849*c_0101_6^20 - 4326442872748065464524371714251827253138814820448609647/18554871682\ 651290428276233072390903797681159568081581*c_0101_6^19 + 5992530792137733261323195049634891164989609646529491601/48917388981\ 535220220000978099939655466613966134033259*c_0101_6^18 + 884257579580380792591557016729892301945032475918288998215/538091278\ 796887422420010759099336210132753627474365849*c_0101_6^17 + 777163526809861734746594427473850320461729764363079168450/538091278\ 796887422420010759099336210132753627474365849*c_0101_6^16 + 1558672066164908364149846857032541057361078950457991472195/53809127\ 8796887422420010759099336210132753627474365849*c_0101_6^15 + 4411568368762107007939726507572231872925580975079262685378/53809127\ 8796887422420010759099336210132753627474365849*c_0101_6^14 - 2432671197291348796334875439778276944008987161735993295990/17936375\ 9598962474140003586366445403377584542491455283*c_0101_6^13 - 1509120525337292039284242780610386708725042848082786344658/59787919\ 866320824713334528788815134459194847497151761*c_0101_6^12 + 3011386437215910110923280920074843345973393121587694787415/17936375\ 9598962474140003586366445403377584542491455283*c_0101_6^11 + 1221355304891213473398791878053889300859775674241775442866/17936375\ 9598962474140003586366445403377584542491455283*c_0101_6^10 - 2382670461858002350309544930838087293416024843483050616987/17936375\ 9598962474140003586366445403377584542491455283*c_0101_6^9 + 7610495520370630568342894609605403112715612580388355238498/53809127\ 8796887422420010759099336210132753627474365849*c_0101_6^8 + 3401552811607282956706579039532030229116632507622044139029/53809127\ 8796887422420010759099336210132753627474365849*c_0101_6^7 - 768772895299509214519704242824757902725365115675174790/562268838868\ 220922068976759769421327202459380850957*c_0101_6^6 - 26806059364736842239159357871690465919529947851717255273/1630579632\ 7178406740000326033313218488871322044677753*c_0101_6^5 - 1031639989607337716141162038180997720976665724530323337525/53809127\ 8796887422420010759099336210132753627474365849*c_0101_6^4 + 360572590348912907813529257206042308671622493279051178/168680651660\ 4662766206930279308263981607378142552871*c_0101_6^3 + 68910606279782212432224842113238169172661115176656947197/5380912787\ 96887422420010759099336210132753627474365849*c_0101_6^2 + 16154138812967038156421499675560839894076209533500297047/5380912787\ 96887422420010759099336210132753627474365849*c_0101_6 + 7331465747773440344037416010189064705207265865026652566/53809127879\ 6887422420010759099336210132753627474365849, c_0011_0 - 1, c_0011_1 + 28890647927277073614247110027402488023133967401745/181175514\ 7464267415555591781479246498763480227186417*c_0101_6^23 - 62226492898599419733071460450552989955094054516311/1811755147464267\ 415555591781479246498763480227186417*c_0101_6^22 - 757387508347151372857871356963520966571339531787223/181175514746426\ 7415555591781479246498763480227186417*c_0101_6^21 - 3087488497924270427354868589841659384809130610017110/18117551474642\ 67415555591781479246498763480227186417*c_0101_6^20 - 228780713932680352086187003958173580977172176135107/624743154298023\ 24674330751085491258578051042316773*c_0101_6^19 + 13782243903497612141860228907900859679285016783582408/1811755147464\ 267415555591781479246498763480227186417*c_0101_6^18 + 40109525771504565090779335363364785784203440228219062/1811755147464\ 267415555591781479246498763480227186417*c_0101_6^17 + 23524595985032589468191830700729722939400240122674554/1811755147464\ 267415555591781479246498763480227186417*c_0101_6^16 + 163141418682427811605707384185364737293934519065902752/181175514746\ 4267415555591781479246498763480227186417*c_0101_6^15 + 89332391558879642316882963524261788071303204657856118/1811755147464\ 267415555591781479246498763480227186417*c_0101_6^14 - 490514159249817263581603455293030862816297216930860179/181175514746\ 4267415555591781479246498763480227186417*c_0101_6^13 - 213914292639852855198668726825523817370910614545964010/181175514746\ 4267415555591781479246498763480227186417*c_0101_6^12 + 246065596099129722847880341150434430354820294208673027/181175514746\ 4267415555591781479246498763480227186417*c_0101_6^11 - 176177599438389658873474278413936772355418801113281119/181175514746\ 4267415555591781479246498763480227186417*c_0101_6^10 + 9478660261427310869980379976077264845758936456181445/18117551474642\ 67415555591781479246498763480227186417*c_0101_6^9 + 260505625975104417353513114942028309892052932558517663/181175514746\ 4267415555591781479246498763480227186417*c_0101_6^8 + 86113581364710312712769681456538903132598973029596874/1811755147464\ 267415555591781479246498763480227186417*c_0101_6^7 + 1656515981218540792211683572059191639891708678250855/62474315429802\ 324674330751085491258578051042316773*c_0101_6^6 - 13239348928573185543450672436240865117293873792640141/1811755147464\ 267415555591781479246498763480227186417*c_0101_6^5 - 7804386386129170368619589337857645941131847255531529/18117551474642\ 67415555591781479246498763480227186417*c_0101_6^4 - 147263789332909935903221612551134913165062339245418/624743154298023\ 24674330751085491258578051042316773*c_0101_6^3 - 5194007573554581919739397349145707035023538570410279/18117551474642\ 67415555591781479246498763480227186417*c_0101_6^2 - 213570681075223395316571072694650646671693684041006/181175514746426\ 7415555591781479246498763480227186417*c_0101_6 - 660519258999889699283782730259057832678721999355954/181175514746426\ 7415555591781479246498763480227186417, c_0101_0 - 451556110844600517218958504513798914779665734692415/18117551\ 47464267415555591781479246498763480227186417*c_0101_6^23 + 1434974258601226879961766809868932636104350433226032/18117551474642\ 67415555591781479246498763480227186417*c_0101_6^22 + 10529631926675671903735375051064382259753653821899034/1811755147464\ 267415555591781479246498763480227186417*c_0101_6^21 + 37106496450525205538732585159619405021172240605163295/1811755147464\ 267415555591781479246498763480227186417*c_0101_6^20 + 2121451511509142307414828292315744102988512775777977/62474315429802\ 324674330751085491258578051042316773*c_0101_6^19 - 295114167949308446336295377109701697761321228890172442/181175514746\ 4267415555591781479246498763480227186417*c_0101_6^18 - 359376315257392640361120786768142048164998686921705501/181175514746\ 4267415555591781479246498763480227186417*c_0101_6^17 + 82930716661854818082228607562517057159782708895870431/1811755147464\ 267415555591781479246498763480227186417*c_0101_6^16 - 2417614868283663863981384894459395648229653177684993411/18117551474\ 64267415555591781479246498763480227186417*c_0101_6^15 + 1188519207804940436409263908838243764328039215750082995/18117551474\ 64267415555591781479246498763480227186417*c_0101_6^14 + 7326640758419542304962104514957716650584064750370399540/18117551474\ 64267415555591781479246498763480227186417*c_0101_6^13 - 3817202080971456965937064483569097394338054670007165142/18117551474\ 64267415555591781479246498763480227186417*c_0101_6^12 - 2766113558683599469127190948598821458421413333105500408/18117551474\ 64267415555591781479246498763480227186417*c_0101_6^11 + 4543793470057190048712174511029715843884759321807646614/18117551474\ 64267415555591781479246498763480227186417*c_0101_6^10 - 3348830245899977973611344269584245539534912423651743214/18117551474\ 64267415555591781479246498763480227186417*c_0101_6^9 - 1376950023936338261632214471098936678591136647924122461/18117551474\ 64267415555591781479246498763480227186417*c_0101_6^8 + 271498886704345191353575133848138693884626517487350269/181175514746\ 4267415555591781479246498763480227186417*c_0101_6^7 + 9588118652692820014983384002332315302279898445221489/62474315429802\ 324674330751085491258578051042316773*c_0101_6^6 + 447675136754981299000652295177276308545294928055350142/181175514746\ 4267415555591781479246498763480227186417*c_0101_6^5 - 101651829854091092549288311994917853437980916446743757/181175514746\ 4267415555591781479246498763480227186417*c_0101_6^4 - 600123498074169122641209838232679268370532975156670/624743154298023\ 24674330751085491258578051042316773*c_0101_6^3 - 341610894047131187568103732745667738807914960270935/181175514746426\ 7415555591781479246498763480227186417*c_0101_6^2 + 502246827191806204622490181388566187566736229246194/181175514746426\ 7415555591781479246498763480227186417*c_0101_6 - 2250474182131027722381537767858281732978056481931672/18117551474642\ 67415555591781479246498763480227186417, c_0101_1 - 691685397952016099278122999770751604962719640567964/18117551\ 47464267415555591781479246498763480227186417*c_0101_6^23 + 2139107607288320689244638270877608320736567496706071/18117551474642\ 67415555591781479246498763480227186417*c_0101_6^22 + 16359913630793618587712208603357473641771008940692695/1811755147464\ 267415555591781479246498763480227186417*c_0101_6^21 + 58092127093992504972363788141820845041006143284701549/1811755147464\ 267415555591781479246498763480227186417*c_0101_6^20 + 3380157913879971511467854474410597165310261463011591/62474315429802\ 324674330751085491258578051042316773*c_0101_6^19 - 447979886380256533694817654402774107660297184316323097/181175514746\ 4267415555591781479246498763480227186417*c_0101_6^18 - 596440988694327609326269194279293869421414621227304203/181175514746\ 4267415555591781479246498763480227186417*c_0101_6^17 + 105578795481640548180331531757871915746229758606797592/181175514746\ 4267415555591781479246498763480227186417*c_0101_6^16 - 3648866298075835614234546919567158837454607099341411347/18117551474\ 64267415555591781479246498763480227186417*c_0101_6^15 + 1512058392307810983136747817061212991990519788317581752/18117551474\ 64267415555591781479246498763480227186417*c_0101_6^14 + 11615903213954076611403597915556730917892595606980360465/1811755147\ 464267415555591781479246498763480227186417*c_0101_6^13 - 4910094421860618345729525174437798712185980315400998885/18117551474\ 64267415555591781479246498763480227186417*c_0101_6^12 - 5443311696486631329113890203243756806400625369820405749/18117551474\ 64267415555591781479246498763480227186417*c_0101_6^11 + 6736683360157209122629775697882587215481399104483870875/18117551474\ 64267415555591781479246498763480227186417*c_0101_6^10 - 4207506610750247411303850862348880226248025034851247330/18117551474\ 64267415555591781479246498763480227186417*c_0101_6^9 - 2923125218426816983378411462165702510635774158596241915/18117551474\ 64267415555591781479246498763480227186417*c_0101_6^8 + 426593776178935237103713646929871616403839627843421314/181175514746\ 4267415555591781479246498763480227186417*c_0101_6^7 + 23051019109870674075751285840702074377572477235601068/6247431542980\ 2324674330751085491258578051042316773*c_0101_6^6 + 722145298886312942815072678216636328389064127294020040/181175514746\ 4267415555591781479246498763480227186417*c_0101_6^5 - 113438191966543418785391950400500775932000174795609139/181175514746\ 4267415555591781479246498763480227186417*c_0101_6^4 - 2804727286370939345549479732722923320027915558129971/62474315429802\ 324674330751085491258578051042316773*c_0101_6^3 - 4161606014282441958804058333498879490660702028014474/18117551474642\ 67415555591781479246498763480227186417*c_0101_6^2 + 4183335957105282144286309113413472691698428400924246/18117551474642\ 67415555591781479246498763480227186417*c_0101_6 - 1526953662961210785674153184240808740514581463941759/18117551474642\ 67415555591781479246498763480227186417, c_0101_4 - 137165638196058401783148066344041356314557578175601/18117551\ 47464267415555591781479246498763480227186417*c_0101_6^23 + 414507707104754575792551870416784689680412058986386/181175514746426\ 7415555591781479246498763480227186417*c_0101_6^22 + 3278668051088730487961117732913607880570600264349961/18117551474642\ 67415555591781479246498763480227186417*c_0101_6^21 + 11735794876721258504672171431283659877329165423916475/1811755147464\ 267415555591781479246498763480227186417*c_0101_6^20 + 694613142157432206734784334905128111113175696096763/624743154298023\ 24674330751085491258578051042316773*c_0101_6^19 - 87830955961850426232151530300734270237129010120776864/1811755147464\ 267415555591781479246498763480227186417*c_0101_6^18 - 125106070353512162995600729347086408371527600888016994/181175514746\ 4267415555591781479246498763480227186417*c_0101_6^17 + 15788888957909873289989143902519242513579905785791615/1811755147464\ 267415555591781479246498763480227186417*c_0101_6^16 - 717369269773113135622779754386288944209538890288456070/181175514746\ 4267415555591781479246498763480227186417*c_0101_6^15 + 246420367297896422794706001554756296196378069765689864/181175514746\ 4267415555591781479246498763480227186417*c_0101_6^14 + 2344026087984630930800287702156863290800505631262196784/18117551474\ 64267415555591781479246498763480227186417*c_0101_6^13 - 821756898495173258535328989710050921302030589339133394/181175514746\ 4267415555591781479246498763480227186417*c_0101_6^12 - 1245757096401401799249594378307863009192758910576439680/18117551474\ 64267415555591781479246498763480227186417*c_0101_6^11 + 1280374400914821099897442088337052319142482158460653430/18117551474\ 64267415555591781479246498763480227186417*c_0101_6^10 - 654125317765780112942097202297449771396665859404069833/181175514746\ 4267415555591781479246498763480227186417*c_0101_6^9 - 683504963963166459673759454978377196893834533707496424/181175514746\ 4267415555591781479246498763480227186417*c_0101_6^8 + 49031929242576816864996859825817323316737728235120652/1811755147464\ 267415555591781479246498763480227186417*c_0101_6^7 + 6510992765108670880335143049734071284036983699730861/62474315429802\ 324674330751085491258578051042316773*c_0101_6^6 + 147443149900986908022045787663147443307123001433074867/181175514746\ 4267415555591781479246498763480227186417*c_0101_6^5 - 26402746952559464085705463875904259457111553306789388/1811755147464\ 267415555591781479246498763480227186417*c_0101_6^4 - 790507147247958281658992200649270817102985281345143/624743154298023\ 24674330751085491258578051042316773*c_0101_6^3 + 197841644036937935952111527425548508535969274642638/181175514746426\ 7415555591781479246498763480227186417*c_0101_6^2 + 5024821901801334549525896845723458035732127381143866/18117551474642\ 67415555591781479246498763480227186417*c_0101_6 - 209299426826130394297310604568933442575674868428556/181175514746426\ 7415555591781479246498763480227186417, c_0101_5 - 472822879209838679089247649802825544099051647515218/18117551\ 47464267415555591781479246498763480227186417*c_0101_6^23 + 1447309659236518593584662292240992798749783370301974/18117551474642\ 67415555591781479246498763480227186417*c_0101_6^22 + 11244516085326021100957539673574861284191182773135093/1811755147464\ 267415555591781479246498763480227186417*c_0101_6^21 + 40022218283161829704981311338756763025467051818699167/1811755147464\ 267415555591781479246498763480227186417*c_0101_6^20 + 2341153218712750272511795356081176756909521722590611/62474315429802\ 324674330751085491258578051042316773*c_0101_6^19 - 305469686753561755042890362490950148912436653789286184/181175514746\ 4267415555591781479246498763480227186417*c_0101_6^18 - 419862737860599504019195096953429201335003058821051966/181175514746\ 4267415555591781479246498763480227186417*c_0101_6^17 + 68420072061358285462491898515588800216002967187860906/1811755147464\ 267415555591781479246498763480227186417*c_0101_6^16 - 2476243181539191787778118893026895263038133253608257187/18117551474\ 64267415555591781479246498763480227186417*c_0101_6^15 + 955022377175520155936347067876981965079703338041957711/181175514746\ 4267415555591781479246498763480227186417*c_0101_6^14 + 8051121185691240470792383200597492807352343898228999836/18117551474\ 64267415555591781479246498763480227186417*c_0101_6^13 - 3112443102645730145348718037429194056618235938413156879/18117551474\ 64267415555591781479246498763480227186417*c_0101_6^12 - 4093293576322538302557143324909165678528600718735066660/18117551474\ 64267415555591781479246498763480227186417*c_0101_6^11 + 4534360531804539495750543053005587671946081896884203673/18117551474\ 64267415555591781479246498763480227186417*c_0101_6^10 - 2553610383070850674573484759705299560953381335291403155/18117551474\ 64267415555591781479246498763480227186417*c_0101_6^9 - 2232723683738309799239979203857044331880486291284331781/18117551474\ 64267415555591781479246498763480227186417*c_0101_6^8 + 259921213236701783476541397670907423167831508860831668/181175514746\ 4267415555591781479246498763480227186417*c_0101_6^7 + 19733534418474599983361044675949245466394100937603894/6247431542980\ 2324674330751085491258578051042316773*c_0101_6^6 + 498081916022908375672515125932733657435110050208137124/181175514746\ 4267415555591781479246498763480227186417*c_0101_6^5 - 83829266153284619361603617594872000471826256670122099/1811755147464\ 267415555591781479246498763480227186417*c_0101_6^4 - 2427176633847990969871369492543718969364557812089747/62474315429802\ 324674330751085491258578051042316773*c_0101_6^3 - 1057083954747021623963084979442526166883886851853122/18117551474642\ 67415555591781479246498763480227186417*c_0101_6^2 + 6293970324504282868604607169587002807005574496314137/18117551474642\ 67415555591781479246498763480227186417*c_0101_6 - 783811073806595046949915895219336945514468612152798/181175514746426\ 7415555591781479246498763480227186417, c_0101_6^24 - 3*c_0101_6^23 - 24*c_0101_6^22 - 86*c_0101_6^21 - 148*c_0101_6^20 + 640*c_0101_6^19 + 932*c_0101_6^18 - 111*c_0101_6^17 + 5199*c_0101_6^16 - 1698*c_0101_6^15 - 17314*c_0101_6^14 + 5610*c_0101_6^13 + 9606*c_0101_6^12 - 9216*c_0101_6^11 + 4557*c_0101_6^10 + 5282*c_0101_6^9 - 442*c_0101_6^8 - 1393*c_0101_6^7 - 1155*c_0101_6^6 + 148*c_0101_6^5 + 208*c_0101_6^4 + 18*c_0101_6^3 - 16*c_0101_6^2 + c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB