Magma V2.19-8 Tue Aug 20 2013 16:17:44 on localhost [Seed = 1242289834] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1970 geometric_solution 5.54598295 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.575673749700 0.125717061544 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.766303831269 0.236365987411 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.029528011554 0.876669742276 5 2 4 6 0132 0132 2310 0132 0 0 0 0 0 0 0 0 1 0 -1 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 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 0 0 0 0 0.081730837400 0.961018519542 6 3 2 5 0132 3201 0132 3201 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.081730837400 0.961018519542 3 4 5 5 0132 2310 2031 1302 0 0 0 0 0 -1 1 0 -1 0 0 1 1 0 0 -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 -1 0 0 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.721490979695 1.373537007186 4 6 3 6 0132 2310 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.087860275565 1.033090503372 ==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' : negation(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' : negation(d['1']), 's_2_4' : negation(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' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : negation(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_0101_5'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], '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' : negation(d['c_0011_1']), '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_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_1'], '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' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(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_4, c_0101_0, c_0101_1, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 48 Groebner basis: [ t - 6732977150680194975511767503609607352769467845082953033/12513472851\ 17171743588814014651601989945398837426728*c_0101_3*c_0101_5^23 + 986251012955028713049948953233359234693073416167138442/142198555126\ 95133449872886530131840794834077698031*c_0101_3*c_0101_5^22 - 203973502169777886158269335269289723954828819643011905115/625673642\ 558585871794407007325800994972699418713364*c_0101_3*c_0101_5^21 + 1524349940243331718162498871139296960764817740307512400763/12513472\ 85117171743588814014651601989945398837426728*c_0101_3*c_0101_5^20 - 1496096443938283429441215166361205274530812528278933898373/62567364\ 2558585871794407007325800994972699418713364*c_0101_3*c_0101_5^19 + 1583681611042259670330641766912544714250996254233012079857/12513472\ 85117171743588814014651601989945398837426728*c_0101_3*c_0101_5^18 + 2165037086727106407396609466542798798619540104557472161099/12513472\ 85117171743588814014651601989945398837426728*c_0101_3*c_0101_5^17 + 6623380082553545617724766576891864707779137618237323727213/12513472\ 85117171743588814014651601989945398837426728*c_0101_3*c_0101_5^16 - 17227851971999585924892414343694814469007712719006805925041/1251347\ 285117171743588814014651601989945398837426728*c_0101_3*c_0101_5^15 - 3587404476061003573415076931475197102714142361947482609823/56879422\ 050780533799491546120527363179336310792124*c_0101_3*c_0101_5^14 - 117211748973841265732723853416849479528692102762023610766537/125134\ 7285117171743588814014651601989945398837426728*c_0101_3*c_0101_5^13 - 47005927379971066590655819976076145163015913367619160978581/62567\ 3642558585871794407007325800994972699418713364*c_0101_3*c_0101_5^12 + 528971889028676964021875884354781959945413914017246116393/1251347\ 285117171743588814014651601989945398837426728*c_0101_3*c_0101_5^11 + 6138988155649929301065655342687668375409547798032191994773/11375884\ 4101561067598983092241054726358672621584248*c_0101_3*c_0101_5^10 + 81526043061084734147490847685939387070604975875961270788543/1251347\ 285117171743588814014651601989945398837426728*c_0101_3*c_0101_5^9 + 78273895294033490734547729032003631565397073914935077690317/1251347\ 285117171743588814014651601989945398837426728*c_0101_3*c_0101_5^8 + 45946107325978239558352892734329713304093484560851769522953/1251347\ 285117171743588814014651601989945398837426728*c_0101_3*c_0101_5^7 + 11745366076561807249958127386276823634025593668705330638203/1251347\ 285117171743588814014651601989945398837426728*c_0101_3*c_0101_5^6 - 4963805865095412554002557608888620356754253800911706317393/12513472\ 85117171743588814014651601989945398837426728*c_0101_3*c_0101_5^5 - 8864215262801805050021137634809163148981448181544426916405/12513472\ 85117171743588814014651601989945398837426728*c_0101_3*c_0101_5^4 - 2599915446398183339201297292539201008271747101873810723761/62567364\ 2558585871794407007325800994972699418713364*c_0101_3*c_0101_5^3 - 1643808149894339022199109085005266300263876863488933941483/12513472\ 85117171743588814014651601989945398837426728*c_0101_3*c_0101_5^2 - 186237869677290827260036812080608008241066763875951810735/125134728\ 5117171743588814014651601989945398837426728*c_0101_3*c_0101_5 + 59179774766923866648028641931176282720881345245194510985/1251347285\ 117171743588814014651601989945398837426728*c_0101_3, c_0011_0 - 1, c_0011_1 - 26991658939858548029031223879876383918483281265/930508094227\ 52211748127157543991819597367551861*c_0101_5^23 + 32881130001025755571023615587584097643233105358/8459164492977473795\ 284287049453801781578868351*c_0101_5^22 - 3644145476444450161431552252681300260511359311135/18610161884550442\ 3496254315087983639194735103722*c_0101_5^21 + 14140621454905645245646095082110512464704112757987/1861016188455044\ 23496254315087983639194735103722*c_0101_5^20 - 15754657107512128232059262680782384764639345471267/9305080942275221\ 1748127157543991819597367551861*c_0101_5^19 + 14981788219083068219518524233925744482829384470380/9305080942275221\ 1748127157543991819597367551861*c_0101_5^18 - 620895411628464638710765316002882497466028168149/186101618845504423\ 496254315087983639194735103722*c_0101_5^17 + 28018238053370379698209272976525488166885545417809/9305080942275221\ 1748127157543991819597367551861*c_0101_5^16 - 166722457624349934038075995448146945761036986556679/186101618845504\ 423496254315087983639194735103722*c_0101_5^15 - 24694787938482279998706364030025608992221847772109/8459164492977473\ 795284287049453801781578868351*c_0101_5^14 - 338620247950391849826652161110928777109219539976202/930508094227522\ 11748127157543991819597367551861*c_0101_5^13 - 452911282399047974857394453732824617641380902636235/186101618845504\ 423496254315087983639194735103722*c_0101_5^12 + 91968333373131526079431739195548815474624594151033/9305080942275221\ 1748127157543991819597367551861*c_0101_5^11 + 19052580057049026171379267475903694665136820816655/8459164492977473\ 795284287049453801781578868351*c_0101_5^10 + 462830449111898631951618925306813174890706124847785/186101618845504\ 423496254315087983639194735103722*c_0101_5^9 + 212947941316082287585637164494072650318449957998881/930508094227522\ 11748127157543991819597367551861*c_0101_5^8 + 182929376427435778146945306848410047735185942784163/186101618845504\ 423496254315087983639194735103722*c_0101_5^7 + 29145804677500869323584465215728473579832053102253/1861016188455044\ 23496254315087983639194735103722*c_0101_5^6 - 21915150341121804089866000217119058921231741157436/9305080942275221\ 1748127157543991819597367551861*c_0101_5^5 - 49148602491692534386798531611268079622212836694157/1861016188455044\ 23496254315087983639194735103722*c_0101_5^4 - 10428659294505859184814230755025910615925574059583/9305080942275221\ 1748127157543991819597367551861*c_0101_5^3 - 5523108363617313361838262018993175082074887576393/18610161884550442\ 3496254315087983639194735103722*c_0101_5^2 + 397268120250956131994927718208979393729120915601/186101618845504423\ 496254315087983639194735103722*c_0101_5 + 153114604187074128158152957510277682095917548111/186101618845504423\ 496254315087983639194735103722, c_0011_4 - 74529517229682613085036030398687593628446508833/930508094227\ 52211748127157543991819597367551861*c_0101_3*c_0101_5^23 + 176485114375367207288882684007526320778025599893/169183289859549475\ 90568574098907603563157736702*c_0101_3*c_0101_5^22 - 9301162004922892155456556145553691864300356978521/18610161884550442\ 3496254315087983639194735103722*c_0101_3*c_0101_5^21 + 17563944699734886899760997759379057309990190275505/9305080942275221\ 1748127157543991819597367551861*c_0101_3*c_0101_5^20 - 71627569841556860398013206061303000365612238460719/1861016188455044\ 23496254315087983639194735103722*c_0101_3*c_0101_5^19 + 47299498085109068614358162390610122343991812154809/1861016188455044\ 23496254315087983639194735103722*c_0101_3*c_0101_5^18 + 35732005268561734816542574659587340408302292016493/1861016188455044\ 23496254315087983639194735103722*c_0101_3*c_0101_5^17 + 147232469124512831456967290946226453922606500394133/186101618845504\ 423496254315087983639194735103722*c_0101_3*c_0101_5^16 - 200398413570188828975764699165942837549943146593646/930508094227522\ 11748127157543991819597367551861*c_0101_3*c_0101_5^15 - 153000146634870310271191719575743033205439411335257/169183289859549\ 47590568574098907603563157736702*c_0101_3*c_0101_5^14 - 2401558916985088563058138831615670526007953886819819/18610161884550\ 4423496254315087983639194735103722*c_0101_3*c_0101_5^13 - 1866021234559063353433321917300903805154774742034371/18610161884550\ 4423496254315087983639194735103722*c_0101_3*c_0101_5^12 + 63951068880386439894074249702456770117129796447936/9305080942275221\ 1748127157543991819597367551861*c_0101_3*c_0101_5^11 + 126311932279985868849341525174704084259500458372589/169183289859549\ 47590568574098907603563157736702*c_0101_3*c_0101_5^10 + 1656431129636296722540958437848027000562376005702583/18610161884550\ 4423496254315087983639194735103722*c_0101_3*c_0101_5^9 + 798068102864125225228503476393810316378649679499132/930508094227522\ 11748127157543991819597367551861*c_0101_3*c_0101_5^8 + 447186156010085689039572122700607751283339623970756/930508094227522\ 11748127157543991819597367551861*c_0101_3*c_0101_5^7 + 221536764357525995500174777347413092367932573921607/186101618845504\ 423496254315087983639194735103722*c_0101_3*c_0101_5^6 - 103427893629700922479599765407898610805429025549325/186101618845504\ 423496254315087983639194735103722*c_0101_3*c_0101_5^5 - 177432074490770848507774075522929479385181142894367/186101618845504\ 423496254315087983639194735103722*c_0101_3*c_0101_5^4 - 101200841627610888551172641077893077629060611610347/186101618845504\ 423496254315087983639194735103722*c_0101_3*c_0101_5^3 - 32308412768039136818243270915576047256846733179483/1861016188455044\ 23496254315087983639194735103722*c_0101_3*c_0101_5^2 - 1940342906971234477604224782136454892322804318186/93050809422752211\ 748127157543991819597367551861*c_0101_3*c_0101_5 + 428795897074984140389041943405370823432212315301/930508094227522117\ 48127157543991819597367551861*c_0101_3, c_0101_0 - 597508175231210088582604390988365714330270694253/18610161884\ 5504423496254315087983639194735103722*c_0101_3*c_0101_5^23 + 349445023232522412377478055354139480761249613337/845916449297747379\ 5284287049453801781578868351*c_0101_3*c_0101_5^22 - 36013969532105614241652503099061787536650379974063/1861016188455044\ 23496254315087983639194735103722*c_0101_3*c_0101_5^21 + 67173679245831047183938533612581259160529644786761/9305080942275221\ 1748127157543991819597367551861*c_0101_3*c_0101_5^20 - 130989517165323093451127268543194728026005207984963/930508094227522\ 11748127157543991819597367551861*c_0101_3*c_0101_5^19 + 66458293864595089521201611892925870711940777657084/9305080942275221\ 1748127157543991819597367551861*c_0101_3*c_0101_5^18 + 99209408395378269497169003898662499086136799054997/9305080942275221\ 1748127157543991819597367551861*c_0101_3*c_0101_5^17 + 294671623349745662117762749067833311421271494328524/930508094227522\ 11748127157543991819597367551861*c_0101_3*c_0101_5^16 - 757090165080940489355640855928585313503339354310866/930508094227522\ 11748127157543991819597367551861*c_0101_3*c_0101_5^15 - 320275438910901989378044504435337675141930316640520/845916449297747\ 3795284287049453801781578868351*c_0101_3*c_0101_5^14 - 5276378854289593538725486895186191980910145399109166/93050809422752\ 211748127157543991819597367551861*c_0101_3*c_0101_5^13 - 8546241151095895047523764502134006464769151955257481/18610161884550\ 4423496254315087983639194735103722*c_0101_3*c_0101_5^12 - 47732857275634837072373085764149543054966688954060/9305080942275221\ 1748127157543991819597367551861*c_0101_3*c_0101_5^11 + 547802377575286984075487972099134631941361866523153/169183289859549\ 47590568574098907603563157736702*c_0101_3*c_0101_5^10 + 3678884746406524468033895610769571478263275119606505/93050809422752\ 211748127157543991819597367551861*c_0101_3*c_0101_5^9 + 3541042746030296971182134086295199427364420820901928/93050809422752\ 211748127157543991819597367551861*c_0101_3*c_0101_5^8 + 4205476614070227912881926759146496622857880702628741/18610161884550\ 4423496254315087983639194735103722*c_0101_3*c_0101_5^7 + 1106932970249615608933629437750096567848387289803637/18610161884550\ 4423496254315087983639194735103722*c_0101_3*c_0101_5^6 - 214837762368056075838761168473785286962441164682648/930508094227522\ 11748127157543991819597367551861*c_0101_3*c_0101_5^5 - 398394602419560325202692358300554885067561251646597/930508094227522\ 11748127157543991819597367551861*c_0101_3*c_0101_5^4 - 475999331271362474574622907980394004910046324825735/186101618845504\ 423496254315087983639194735103722*c_0101_3*c_0101_5^3 - 76566964005831790970105538463391321078555985450546/9305080942275221\ 1748127157543991819597367551861*c_0101_3*c_0101_5^2 - 9142359228211472170934049606635527012099333961906/93050809422752211\ 748127157543991819597367551861*c_0101_3*c_0101_5 + 5191903647315927860864363879103043544533982721265/18610161884550442\ 3496254315087983639194735103722*c_0101_3, c_0101_1 + 20604978952755286670701753191426438978639591813/186101618845\ 504423496254315087983639194735103722*c_0101_5^23 - 11859047853111163919936928872754528281896280063/8459164492977473795\ 284287049453801781578868351*c_0101_5^22 + 1187820965088856545788768975061052082952041475489/18610161884550442\ 3496254315087983639194735103722*c_0101_5^21 - 2191398594002979746010269416527438388722156493490/93050809422752211\ 748127157543991819597367551861*c_0101_5^20 + 8129519870590741025078254520359083899374196711903/18610161884550442\ 3496254315087983639194735103722*c_0101_5^19 - 2963425440032448104010982042347189619227669332651/18610161884550442\ 3496254315087983639194735103722*c_0101_5^18 - 6887170781061193798763646533847041922583067191849/18610161884550442\ 3496254315087983639194735103722*c_0101_5^17 - 23969498433671970184130388597002418233457934656615/1861016188455044\ 23496254315087983639194735103722*c_0101_5^16 + 25661696930991713218119616443312369158738846325809/9305080942275221\ 1748127157543991819597367551861*c_0101_5^15 + 22801226042602775173766548904711261396295765849599/1691832898595494\ 7590568574098907603563157736702*c_0101_5^14 + 418813056925939848269607673857822963416332373707039/186101618845504\ 423496254315087983639194735103722*c_0101_5^13 + 178967503084661410406263549280206972926491886798837/930508094227522\ 11748127157543991819597367551861*c_0101_5^12 + 49485233410739252613740021299803922934823631121495/1861016188455044\ 23496254315087983639194735103722*c_0101_5^11 - 20379980329466133144924201967270656563796416081459/1691832898595494\ 7590568574098907603563157736702*c_0101_5^10 - 299840300704411247134871266891946311749836482155881/186101618845504\ 423496254315087983639194735103722*c_0101_5^9 - 140931218132009303790382394351517711623052099831945/930508094227522\ 11748127157543991819597367551861*c_0101_5^8 - 186913056646965334869496540905564191800974838432819/186101618845504\ 423496254315087983639194735103722*c_0101_5^7 - 55623896861614724546563857272452091117686105864935/1861016188455044\ 23496254315087983639194735103722*c_0101_5^6 + 12878153392598063970307464515828773058805937460555/1861016188455044\ 23496254315087983639194735103722*c_0101_5^5 + 31269465629091457144771653636699481641198568020615/1861016188455044\ 23496254315087983639194735103722*c_0101_5^4 + 10676416924359156914966635960605463354045178020742/9305080942275221\ 1748127157543991819597367551861*c_0101_5^3 + 3387793527983872170349052190967279548787035090947/93050809422752211\ 748127157543991819597367551861*c_0101_5^2 + 1217721069787607309601454361464817616237755326523/18610161884550442\ 3496254315087983639194735103722*c_0101_5 - 102565025301092203855782787875528900740474081395/930508094227522117\ 48127157543991819597367551861, c_0101_3^2 - 10800863793122186903853861025032083135281502493/9305080942\ 2752211748127157543991819597367551861*c_0101_5^23 + 27016342536544564166516408325148059510857494025/1691832898595494759\ 0568574098907603563157736702*c_0101_5^22 - 1562508388931561864117544754088117558690903688497/18610161884550442\ 3496254315087983639194735103722*c_0101_5^21 + 3095569064718469206443618681120360706870686557982/93050809422752211\ 748127157543991819597367551861*c_0101_5^20 - 7343148739103099127302687875920727833898615872385/93050809422752211\ 748127157543991819597367551861*c_0101_5^19 + 16707924139784159264013374748409207312882063802089/1861016188455044\ 23496254315087983639194735103722*c_0101_5^18 - 2484128696264193262745735186162428980000361341119/93050809422752211\ 748127157543991819597367551861*c_0101_5^17 + 22802932157024155947281509720646066707684130851699/1861016188455044\ 23496254315087983639194735103722*c_0101_5^16 - 37276869243376002206492352974903515032600828584726/9305080942275221\ 1748127157543991819597367551861*c_0101_5^15 - 8749306293606292497188171528887240381951327680383/84591644929774737\ 95284287049453801781578868351*c_0101_5^14 - 196022181833031236856574230787163404526794145536895/186101618845504\ 423496254315087983639194735103722*c_0101_5^13 - 47513071099184497475617313465392411160882629907578/9305080942275221\ 1748127157543991819597367551861*c_0101_5^12 + 61471858446520251422359607966778005992904081479925/9305080942275221\ 1748127157543991819597367551861*c_0101_5^11 + 11868561911086517083509409133489931743020939134725/1691832898595494\ 7590568574098907603563157736702*c_0101_5^10 + 64364362632024434864629629647777318060047273717729/9305080942275221\ 1748127157543991819597367551861*c_0101_5^9 + 115274471540121460477791654576464241796217348631557/186101618845504\ 423496254315087983639194735103722*c_0101_5^8 + 23433946937343582236968358902270722293373378801967/1861016188455044\ 23496254315087983639194735103722*c_0101_5^7 - 3349042426585796865307225334445236426468610106604/93050809422752211\ 748127157543991819597367551861*c_0101_5^6 - 17574778407637796340966653819786341424277834592923/1861016188455044\ 23496254315087983639194735103722*c_0101_5^5 - 6441127542905733333330284169896829333126476731042/93050809422752211\ 748127157543991819597367551861*c_0101_5^4 - 2952272543498270719277542279288009468328862740817/18610161884550442\ 3496254315087983639194735103722*c_0101_5^3 - 583369739096460555491182033296963032923856019323/186101618845504423\ 496254315087983639194735103722*c_0101_5^2 + 494685210369531024538596415606755531947681202249/186101618845504423\ 496254315087983639194735103722*c_0101_5 - 26991658939858548029031223879876383918483281265/9305080942275221174\ 8127157543991819597367551861, c_0101_5^24 - 13*c_0101_5^23 + 62*c_0101_5^22 - 233*c_0101_5^21 + 469*c_0101_5^20 - 283*c_0101_5^19 - 298*c_0101_5^18 - 946*c_0101_5^17 + 2666*c_0101_5^16 + 11445*c_0101_5^15 + 16111*c_0101_5^14 + 12021*c_0101_5^13 - 1647*c_0101_5^12 - 10042*c_0101_5^11 - 10992*c_0101_5^10 - 10274*c_0101_5^9 - 5524*c_0101_5^8 - 974*c_0101_5^7 + 936*c_0101_5^6 + 1236*c_0101_5^5 + 625*c_0101_5^4 + 157*c_0101_5^3 - 12*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.090 Total time: 0.280 seconds, Total memory usage: 32.09MB