Magma V2.19-8 Fri Sep 13 2013 01:03:27 on localhost [Seed = 2949603655] Type ? for help. Type -D to quit. Loading file "m148__sl3_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation m148 geometric_solution 3.75884495 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 4 1 2 1 3 0132 0132 1023 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 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 1.091020400167 0.755224694924 0 2 0 3 0132 0321 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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.650847936816 0.540756288275 3 0 3 1 3012 0132 2310 0321 0 0 0 0 0 0 0 0 -1 0 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 -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.760689853402 0.857873626595 1 2 0 2 3012 3201 0132 1230 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 -1 1 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.760689853402 0.857873626595 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1020_2' : d['c_0102_1'], 'c_1020_3' : d['c_0102_2'], 'c_1020_0' : d['c_0201_2'], 'c_1020_1' : d['c_0102_1'], 'c_0201_0' : d['c_0021_3'], 'c_0201_1' : d['c_0201_1'], 'c_0201_2' : d['c_0201_2'], 'c_0201_3' : d['c_0201_1'], 'c_2100_0' : d['c_0012_1'] * d['u'] ** 1, 'c_2100_1' : d['c_0012_0'] * d['u'] ** 2, 'c_2100_2' : d['c_0021_3'], 'c_2100_3' : d['c_0012_1'] * d['u'] ** 1, 'c_2010_2' : d['c_0201_1'], 'c_2010_3' : d['c_0201_2'], 'c_2010_0' : d['c_0102_2'], 'c_2010_1' : d['c_0201_1'], 'c_0102_0' : d['c_0012_3'], 'c_0102_1' : d['c_0102_1'], 'c_0102_2' : d['c_0102_2'], 'c_0102_3' : d['c_0102_1'], 'c_1101_0' : d['c_1101_0'], 'c_1101_1' : negation(d['c_1101_0']), 'c_1101_2' : d['c_1011_3'], 'c_1101_3' : d['c_1101_3'], 'c_1200_2' : d['c_0012_3'], 'c_1200_3' : d['c_0012_0'] * d['u'] ** 2, 'c_1200_0' : d['c_0012_0'] * d['u'] ** 2, 'c_1200_1' : d['c_0012_1'] * d['u'] ** 1, 'c_1110_2' : negation(d['c_1011_1']), 'c_1110_3' : d['c_0111_2'] * d['u'] ** 1, 'c_1110_0' : d['c_1101_3'], 'c_1110_1' : d['c_0111_3'], 'c_0120_0' : d['c_0102_1'], 'c_0120_1' : d['c_0012_3'], 'c_0120_2' : d['c_0012_0'], 'c_0120_3' : d['c_0012_1'] * d['u'] ** 1, 'c_2001_0' : d['c_0201_1'], 'c_2001_1' : d['c_0021_3'], 'c_2001_2' : d['c_0102_2'], 'c_2001_3' : d['c_0102_2'], 'c_0012_2' : d['c_0012_1'], 'c_0012_3' : d['c_0012_3'], 'c_0012_0' : d['c_0012_0'], 'c_0012_1' : d['c_0012_1'], 'c_0111_0' : d['c_0111_0'], 'c_0111_1' : negation(d['c_0111_0']), 'c_0111_2' : d['c_0111_2'], 'c_0111_3' : d['c_0111_3'], 'c_0210_2' : d['c_0012_1'], 'c_0210_3' : d['c_0012_0'] * d['u'] ** 2, 'c_0210_0' : d['c_0201_1'], 'c_0210_1' : d['c_0021_3'], 'c_1002_2' : d['c_0201_2'], 'c_1002_3' : d['c_0201_2'], 'c_1002_0' : d['c_0102_1'], 'c_1002_1' : d['c_0012_3'], 'c_1011_2' : negation(d['c_1011_0']), 'c_1011_3' : d['c_1011_3'], 'c_1011_0' : d['c_1011_0'], 'c_1011_1' : d['c_1011_1'], 'c_0021_0' : d['c_0012_1'], 'c_0021_1' : d['c_0012_0'], 'c_0021_2' : d['c_0012_0'], 'c_0021_3' : d['c_0021_3']}), 'non_trivial_generalized_obstruction_class' : True} PY=EVAL=SECTION=ENDS=HERE PRIMARY_DECOMPOSITION_TIME: 10539.350 PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0012_3, c_0021_3, c_0102_1, c_0102_2, c_0111_0, c_0111_2, c_0111_3, c_0201_1, c_0201_2, c_1011_0, c_1011_1, c_1011_3, c_1101_0, c_1101_3, u Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 501696/12319*c_1101_3^7*u + 10005551/36957*c_1101_3^7 - 7792445/12319*c_1101_3^6*u - 62625152/36957*c_1101_3^6 + 211176256/36957*c_1101_3^5*u + 1354514/291*c_1101_3^5 - 140648811/12319*c_1101_3^4*u + 6756242/12319*c_1101_3^4 - 10831102/12319*c_1101_3^3*u - 622022708/36957*c_1101_3^3 + 517092632/36957*c_1101_3^2*u + 468575216/36957*c_1101_3^2 - 50433322/12319*c_1101_3*u + 35272424/36957*c_1101_3 - 7579226/36957*u - 7647439/12319, c_0012_0 - 1, c_0012_1 + u + 1, c_0012_3 - 1153/97*c_1101_3^7*u - 773/97*c_1101_3^7 + 7046/97*c_1101_3^6*u + 3262/97*c_1101_3^6 - 16353/97*c_1101_3^5*u + 8397/97*c_1101_3^5 - 10736/97*c_1101_3^4*u - 53465/97*c_1101_3^4 + 75213/97*c_1101_3^3*u + 61720/97*c_1101_3^3 - 51640/97*c_1101_3^2*u + 11251/97*c_1101_3^2 - 3821/97*c_1101_3*u - 23211/97*c_1101_3 + 2905/97*u + 2406/97, c_0021_3 + 773/97*c_1101_3^7*u - 380/97*c_1101_3^7 - 3262/97*c_1101_3^6*u + 3784/97*c_1101_3^6 - 8397/97*c_1101_3^5*u - 24750/97*c_1101_3^5 + 53465/97*c_1101_3^4*u + 42729/97*c_1101_3^4 - 61720/97*c_1101_3^3*u + 13493/97*c_1101_3^3 - 11251/97*c_1101_3^2*u - 62891/97*c_1101_3^2 + 23211/97*c_1101_3*u + 19390/97*c_1101_3 - 2406/97*u + 499/97, c_0102_1 + 442/97*c_1101_3^7*u - 241/97*c_1101_3^7 - 1715/97*c_1101_3^6*u + 2407/97*c_1101_3^6 - 5994/97*c_1101_3^5*u - 15056/97*c_1101_3^5 + 33529/97*c_1101_3^4*u + 24144/97*c_1101_3^4 - 35289/97*c_1101_3^3*u + 13594/97*c_1101_3^3 - 13501/97*c_1101_3^2*u - 42923/97*c_1101_3^2 + 17732/97*c_1101_3*u + 10850/97*c_1101_3 - 1312/97*u + 1300/97, c_0102_2 - 219/97*c_1101_3^7*u - 289/97*c_1101_3^7 + 1561/97*c_1101_3^6*u + 1528/97*c_1101_3^6 - 6052/97*c_1101_3^5*u - 1192/97*c_1101_3^5 + 4418/97*c_1101_3^4*u - 9712/97*c_1101_3^4 + 14155/97*c_1101_3^3*u + 20227/97*c_1101_3^3 - 16902/97*c_1101_3^2*u - 4107/97*c_1101_3^2 + 492/97*c_1101_3*u - 5677/97*c_1101_3 + 999/97*u + 731/97, c_0111_0 - 1, c_0111_2 + 698/291*c_1101_3^7*u - 665/291*c_1101_3^7 - 2459/291*c_1101_3^6*u + 5555/291*c_1101_3^6 - 4777/97*c_1101_3^5*u - 9733/97*c_1101_3^5 + 21593/97*c_1101_3^4*u + 13843/97*c_1101_3^4 - 60383/291*c_1101_3^3*u + 30815/291*c_1101_3^3 - 25679/291*c_1101_3^2*u - 76279/291*c_1101_3^2 + 28082/291*c_1101_3*u + 18946/291*c_1101_3 - 2222/291*u + 1334/291, c_0111_3 + u + 1, c_0201_1 + 241/97*c_1101_3^7*u + 683/97*c_1101_3^7 - 2407/97*c_1101_3^6*u - 4122/97*c_1101_3^6 + 15056/97*c_1101_3^5*u + 9062/97*c_1101_3^5 - 24144/97*c_1101_3^4*u + 9385/97*c_1101_3^4 - 13594/97*c_1101_3^3*u - 48883/97*c_1101_3^3 + 42923/97*c_1101_3^2*u + 29422/97*c_1101_3^2 - 10850/97*c_1101_3*u + 6882/97*c_1101_3 - 1300/97*u - 2612/97, c_0201_2 + c_1101_3^7*u - 5*c_1101_3^6*u + 2*c_1101_3^6 - c_1101_3^5*u - 24*c_1101_3^5 + 52*c_1101_3^4*u + 59*c_1101_3^4 - 92*c_1101_3^3*u - 14*c_1101_3^3 + 13*c_1101_3^2*u - 75*c_1101_3^2 + 39*c_1101_3*u + 45*c_1101_3 - 9*u - 1, c_1011_0 + 508/97*c_1101_3^7*u - 223/97*c_1101_3^7 - 2216/97*c_1101_3^6*u + 2288/97*c_1101_3^6 - 4784/97*c_1101_3^5*u - 15599/97*c_1101_3^5 + 33424/97*c_1101_3^4*u + 28013/97*c_1101_3^4 - 40396/97*c_1101_3^3*u + 6293/97*c_1101_3^3 - 4890/97*c_1101_3^2*u - 38855/97*c_1101_3^2 + 14109/97*c_1101_3*u + 12816/97*c_1101_3 - 1536/97*u + 216/97, c_1011_1 - 508/97*c_1101_3^7*u + 223/97*c_1101_3^7 + 2216/97*c_1101_3^6*u - 2288/97*c_1101_3^6 + 4784/97*c_1101_3^5*u + 15599/97*c_1101_3^5 - 33424/97*c_1101_3^4*u - 28013/97*c_1101_3^4 + 40396/97*c_1101_3^3*u - 6293/97*c_1101_3^3 + 4890/97*c_1101_3^2*u + 38855/97*c_1101_3^2 - 14206/97*c_1101_3*u - 12913/97*c_1101_3 + 1633/97*u - 216/97, c_1011_3 + 665/291*c_1101_3^7*u + 1363/291*c_1101_3^7 - 5555/291*c_1101_3^6*u - 8014/291*c_1101_3^6 + 9733/97*c_1101_3^5*u + 4956/97*c_1101_3^5 - 13843/97*c_1101_3^4*u + 7750/97*c_1101_3^4 - 30815/291*c_1101_3^3*u - 91198/291*c_1101_3^3 + 76279/291*c_1101_3^2*u + 50600/291*c_1101_3^2 - 18655/291*c_1101_3*u + 9136/291*c_1101_3 - 1334/291*u - 3265/291, c_1101_0 - 223/97*c_1101_3^7*u - 731/97*c_1101_3^7 + 2288/97*c_1101_3^6*u + 4504/97*c_1101_3^6 - 15599/97*c_1101_3^5*u - 10815/97*c_1101_3^5 + 28013/97*c_1101_3^4*u - 5411/97*c_1101_3^4 + 6293/97*c_1101_3^3*u + 46689/97*c_1101_3^3 - 38855/97*c_1101_3^2*u - 33965/97*c_1101_3^2 + 12913/97*c_1101_3*u - 1293/97*c_1101_3 + 216/97*u + 1849/97, c_1101_3^8 - 2*c_1101_3^7*u - 7*c_1101_3^7 + 24*c_1101_3^6*u + 23*c_1101_3^6 - 59*c_1101_3^5*u - 7*c_1101_3^5 + 14*c_1101_3^4*u - 78*c_1101_3^4 + 75*c_1101_3^3*u + 88*c_1101_3^3 - 45*c_1101_3^2*u - 6*c_1101_3^2 + c_1101_3*u - 10*c_1101_3 + u + 1, u^2 + u + 1 ], Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0012_3, c_0021_3, c_0102_1, c_0102_2, c_0111_0, c_0111_2, c_0111_3, c_0201_1, c_0201_2, c_1011_0, c_1011_1, c_1011_3, c_1101_0, c_1101_3, u Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 208018316549852234137582969531605856795651/142681130642835053999494\ 88933997373034237*c_1101_3^9*u - 6243271777301700145164529609328606\ 046968/2038301866326215057135641276285339004891*c_1101_3^9 + 179065907129205532823608611497642810932633/142681130642835053999494\ 88933997373034237*c_1101_3^8*u + 8123162684245583159647766824102168\ 0180505/2038301866326215057135641276285339004891*c_1101_3^8 + 102668627321830511317068083893569289961857/129710118766213685454086\ 2630363397548567*c_1101_3^7*u + 72599978071029149771911431859128323\ 9922422/14268113064283505399949488933997373034237*c_1101_3^7 + 439228022517572312857102538776115823498841/142681130642835053999494\ 88933997373034237*c_1101_3^6*u - 8729316738646676005197888215042738\ 94018255/14268113064283505399949488933997373034237*c_1101_3^6 - 637147888905804100304658228740244693663796/142681130642835053999494\ 88933997373034237*c_1101_3^5*u - 6523626576651935838878418164230116\ 26061618/14268113064283505399949488933997373034237*c_1101_3^5 + 46169594397417272318526420008885755712688/1297101187662136854540862\ 630363397548567*c_1101_3^4*u - 186232785447413343915789761384259141\ 460217/14268113064283505399949488933997373034237*c_1101_3^4 + 339680999938590371175582611687654222771292/142681130642835053999494\ 88933997373034237*c_1101_3^3*u - 4512881089934380207586764791954230\ 65585330/14268113064283505399949488933997373034237*c_1101_3^3 - 2082144287680176009052588048647299482697316/14268113064283505399949\ 488933997373034237*c_1101_3^2*u - 166362543308518491240998910746511\ 4175504409/14268113064283505399949488933997373034237*c_1101_3^2 - 38054132696948619932454718416758416461132/1297101187662136854540862\ 630363397548567*c_1101_3*u - 18206636156712886217260179844618567871\ 205/1097547158791038876919191456461336387249*c_1101_3 + 182646647783913193649879836096283282848671/142681130642835053999494\ 88933997373034237*u + 992730159836003104048792708003531350490180/14\ 268113064283505399949488933997373034237, c_0012_0 - 1, c_0012_1 + 237670684815713161517043530129/17204543334692539043409387107\ 83*c_1101_3^9*u + 630368051794251388628352054520/172045433346925390\ 4340938710783*c_1101_3^9 + 534422484451489531557616346636/172045433\ 3469253904340938710783*c_1101_3^8*u + 471123341681326983870527224172/1720454333469253904340938710783*c_11\ 01_3^8 + 1083246454900413414524860079606/17204543334692539043409387\ 10783*c_1101_3^7*u + 59068974836280431357352317559/1720454333469253\ 904340938710783*c_1101_3^7 + 1345604691761139163933006954081/172045\ 4333469253904340938710783*c_1101_3^6*u + 883180154632606142123195083184/1720454333469253904340938710783*c_11\ 01_3^6 + 1800361818110255958292676490341/17204543334692539043409387\ 10783*c_1101_3^5*u + 436281536220948739567821306053/172045433346925\ 3904340938710783*c_1101_3^5 - 462550410789093354958214150819/172045\ 4333469253904340938710783*c_1101_3^4*u - 984317950328627794639479868395/1720454333469253904340938710783*c_11\ 01_3^4 + 1242354606849945773670357571424/17204543334692539043409387\ 10783*c_1101_3^3*u - 3438149077702366901796273684562/17204543334692\ 53904340938710783*c_1101_3^3 + 3180710990189443693902235834665/1720\ 454333469253904340938710783*c_1101_3^2*u + 2165666758274510903748845498803/1720454333469253904340938710783*c_1\ 101_3^2 - 3940225657927772992326547970803/1720454333469253904340938\ 710783*c_1101_3*u - 439269313607468145238268006354/1720454333469253\ 904340938710783*c_1101_3 - 2512027841933881305081717003565/17204543\ 33469253904340938710783*u - 4314922180704926078825890186782/1720454\ 333469253904340938710783, c_0012_3 + 308925430488384153856683110475/17204543334692539043409387107\ 83*c_1101_3^9*u + 429687677552332971864817464041/172045433346925390\ 4340938710783*c_1101_3^9 + 393948438432574723047084832486/172045433\ 3469253904340938710783*c_1101_3^8*u - 181429165590396104822953023914/1720454333469253904340938710783*c_11\ 01_3^8 + 422995428269000191940569309381/172045433346925390434093871\ 0783*c_1101_3^7*u - 508016733241053207376563016905/1720454333469253\ 904340938710783*c_1101_3^7 + 553394054047063393254699072927/1720454\ 333469253904340938710783*c_1101_3^6*u + 335641110126660063178156149541/1720454333469253904340938710783*c_11\ 01_3^6 + 881757527663546347963738091234/172045433346925390434093871\ 0783*c_1101_3^5*u - 806556557273613260885528290848/1720454333469253\ 904340938710783*c_1101_3^5 - 1109848667263384721997134397623/172045\ 4333469253904340938710783*c_1101_3^4*u - 1442130215068824873521819081771/1720454333469253904340938710783*c_1\ 101_3^4 + 714727550010630260385619167238/17204543334692539043409387\ 10783*c_1101_3^3*u - 3096767598447357021201822823452/17204543334692\ 53904340938710783*c_1101_3^3 + 1533953221953490572350873961595/1720\ 454333469253904340938710783*c_1101_3^2*u + 1786062621988144170491121702917/1720454333469253904340938710783*c_1\ 101_3^2 - 4423886504100985199008151473239/1720454333469253904340938\ 710783*c_1101_3*u - 2800939146153010157059727605149/172045433346925\ 3904340938710783*c_1101_3 + 297510783303442407833128225307/17204543\ 33469253904340938710783*u - 2242578285286872513470773983109/1720454\ 333469253904340938710783, c_0021_3 - 429687677552332971864817464041/17204543334692539043409387107\ 83*c_1101_3^9*u - 120762247063948818008134353566/172045433346925390\ 4340938710783*c_1101_3^9 + 181429165590396104822953023914/172045433\ 3469253904340938710783*c_1101_3^8*u + 575377604022970827870037856400/1720454333469253904340938710783*c_11\ 01_3^8 + 508016733241053207376563016905/172045433346925390434093871\ 0783*c_1101_3^7*u + 931012161510053399317132326286/1720454333469253\ 904340938710783*c_1101_3^7 - 335641110126660063178156149541/1720454\ 333469253904340938710783*c_1101_3^6*u + 217752943920403330076542923386/1720454333469253904340938710783*c_11\ 01_3^6 + 806556557273613260885528290848/172045433346925390434093871\ 0783*c_1101_3^5*u + 1688314084937159608849266382082/172045433346925\ 3904340938710783*c_1101_3^5 + 1442130215068824873521819081771/17204\ 54333469253904340938710783*c_1101_3^4*u + 332281547805440151524684684148/1720454333469253904340938710783*c_11\ 01_3^4 + 3096767598447357021201822823452/17204543334692539043409387\ 10783*c_1101_3^3*u + 3811495148457987281587441990690/17204543334692\ 53904340938710783*c_1101_3^3 - 1786062621988144170491121702917/1720\ 454333469253904340938710783*c_1101_3^2*u - 252109400034653598140247741322/1720454333469253904340938710783*c_11\ 01_3^2 + 2800939146153010157059727605149/17204543334692539043409387\ 10783*c_1101_3*u - 1622947357947975041948423868090/1720454333469253\ 904340938710783*c_1101_3 + 2242578285286872513470773983109/17204543\ 33469253904340938710783*u + 2540089068590314921303902208416/1720454\ 333469253904340938710783, c_0102_1 - 412818125292463132137180993252/17204543334692539043409387107\ 83*c_1101_3^9*u - 480893368516160213610126771072/172045433346925390\ 4340938710783*c_1101_3^9 - 892277683055914996297739275915/172045433\ 3469253904340938710783*c_1101_3^8*u + 81491599064160827085421507631/1720454333469253904340938710783*c_110\ 1_3^8 - 272559308650062113065732993333/1720454333469253904340938710\ 783*c_1101_3^7*u + 1415242241774874940068427396451/1720454333469253\ 904340938710783*c_1101_3^7 + 359046677432406040212745140410/1720454\ 333469253904340938710783*c_1101_3^6*u + 800938368901849176901000295055/1720454333469253904340938710783*c_11\ 01_3^6 - 604399259104578167266225691335/172045433346925390434093871\ 0783*c_1101_3^5*u + 932918852871033586136522795743/1720454333469253\ 904340938710783*c_1101_3^5 + 2024454706261782232883284370629/172045\ 4333469253904340938710783*c_1101_3^4*u + 2479419318694411896731138661679/1720454333469253904340938710783*c_1\ 101_3^4 + 1421133167732830250821898283495/1720454333469253904340938\ 710783*c_1101_3^3*u + 2793545947358074921862852326378/1720454333469\ 253904340938710783*c_1101_3^3 - 1410546931615260856386271002019/172\ 0454333469253904340938710783*c_1101_3^2*u - 1153884642527690864144164838752/1720454333469253904340938710783*c_1\ 101_3^2 + 2185686827522086922395365257100/1720454333469253904340938\ 710783*c_1101_3*u + 747563321065792924427201161855/1720454333469253\ 904340938710783*c_1101_3 + 679901760427026834685085343207/172045433\ 3469253904340938710783*u + 768096172258070490139444630225/172045433\ 3469253904340938710783, c_0102_2 - 776557177854296922806205422014/17204543334692539043409387107\ 83*c_1101_3^9*u - 833169662290327780244278708226/172045433346925390\ 4340938710783*c_1101_3^9 - 665757871073865897848661170906/172045433\ 3469253904340938710783*c_1101_3^8*u - 224131085069933244997939666875/1720454333469253904340938710783*c_11\ 01_3^8 - 1137510313591878611477211884256/17204543334692539043409387\ 10783*c_1101_3^7*u + 867082619416140686213231302507/172045433346925\ 3904340938710783*c_1101_3^7 - 2176821615463455432586006662976/17204\ 54333469253904340938710783*c_1101_3^6*u - 46151502973827686954083547959/1720454333469253904340938710783*c_110\ 1_3^6 - 1367893183964717220072600139605/172045433346925390434093871\ 0783*c_1101_3^5*u + 1569385812164557736442024415622/172045433346925\ 3904340938710783*c_1101_3^5 + 1831665316913553940664004644820/17204\ 54333469253904340938710783*c_1101_3^4*u + 1702152070349333782162150480266/1720454333469253904340938710783*c_1\ 101_3^4 + 3766134124757362177319581963946/1720454333469253904340938\ 710783*c_1101_3^3*u + 9132467012001463553071849872796/1720454333469\ 253904340938710783*c_1101_3^3 - 4600436012149680998954216262780/172\ 0454333469253904340938710783*c_1101_3^2*u - 353919687182108446462047945562/1720454333469253904340938710783*c_11\ 01_3^2 + 4234026074616583430926463010169/17204543334692539043409387\ 10783*c_1101_3*u - 2554372040521135057343338337505/1720454333469253\ 904340938710783*c_1101_3 + 3982745530094893566803834080148/17204543\ 33469253904340938710783*u + 4601551873394070319025715375247/1720454\ 333469253904340938710783, c_0111_0 - 1, c_0111_2 + 94776967803715760712669707987/172045433346925390434093871078\ 3*c_1101_3^9*u + 172165487547522985769490380005/1720454333469253904\ 340938710783*c_1101_3^9 - 75471454875441854923796035066/17204543334\ 69253904340938710783*c_1101_3^8*u + 177856295246129354865901687310/1720454333469253904340938710783*c_11\ 01_3^8 + 1055491783227818812575239872197/17204543334692539043409387\ 10783*c_1101_3^7*u + 480988348727577215439562865228/172045433346925\ 3904340938710783*c_1101_3^7 + 939088941854368350086667186129/172045\ 4333469253904340938710783*c_1101_3^6*u - 783958740876497918951353310202/1720454333469253904340938710783*c_11\ 01_3^6 - 1841994320074995107143791428774/17204543334692539043409387\ 10783*c_1101_3^5*u - 2018417493882084465861488038864/17204543334692\ 53904340938710783*c_1101_3^5 - 1763393446239009831410897397965/1720\ 454333469253904340938710783*c_1101_3^4*u + 390452423115874766986384648131/1720454333469253904340938710783*c_11\ 01_3^4 - 8091094029964867854419355253/17204543334692539043409387107\ 83*c_1101_3^3*u - 1699298071802707445307410001929/17204543334692539\ 04340938710783*c_1101_3^3 + 1413956873927225156595491019161/1720454\ 333469253904340938710783*c_1101_3^2*u + 2565015896572870038828070798026/1720454333469253904340938710783*c_1\ 101_3^2 - 1376464467979053362755660611601/1720454333469253904340938\ 710783*c_1101_3*u + 1432048898581122014091805990162/172045433346925\ 3904340938710783*c_1101_3 + 562789704599736439087079467447/17204543\ 33469253904340938710783*u - 1387502163651006614972923093934/1720454\ 333469253904340938710783, c_0111_3 + 27033625404392708439694407859/172045433346925390434093871078\ 3*c_1101_3^9*u + 184303259022405954199523127120/1720454333469253904\ 340938710783*c_1101_3^9 + 684379520572003143218625368912/1720454333\ 469253904340938710783*c_1101_3^8*u + 535895814476457530865101240511/1720454333469253904340938710783*c_11\ 01_3^8 + 742637066216048203246937328086/172045433346925390434093871\ 0783*c_1101_3^7*u - 488491696517629756886458439485/1720454333469253\ 904340938710783*c_1101_3^7 - 341464184016707977132557149318/1720454\ 333469253904340938710783*c_1101_3^6*u - 1260644463103671930879303293775/1720454333469253904340938710783*c_1\ 101_3^6 - 231720558812477597986686442307/17204543334692539043409387\ 10783*c_1101_3^5*u - 343096666813912952105248741181/172045433346925\ 3904340938710783*c_1101_3^5 - 950880540125233450409761068703/172045\ 4333469253904340938710783*c_1101_3^4*u - 1604205253949560288474258081172/1720454333469253904340938710783*c_1\ 101_3^4 - 1992368793310789621876560654250/1720454333469253904340938\ 710783*c_1101_3^3*u - 673206410029095091556572344337/17204543334692\ 53904340938710783*c_1101_3^3 + 329805365492616389489781723531/17204\ 54333469253904340938710783*c_1101_3^2*u + 325726028481263973433924097702/1720454333469253904340938710783*c_11\ 01_3^2 + 760813036454749540491965810893/172045433346925390434093871\ 0783*c_1101_3*u + 1917881306213557953787124794104/17204543334692539\ 04340938710783*c_1101_3 - 1090732329315781694455758394751/172045433\ 3469253904340938710783*u - 265525208846235871738836228882/172045433\ 3469253904340938710783, c_0201_1 + 480893368516160213610126771072/17204543334692539043409387107\ 83*c_1101_3^9*u + 68075243223697081472945777820/1720454333469253904\ 340938710783*c_1101_3^9 - 81491599064160827085421507631/17204543334\ 69253904340938710783*c_1101_3^8*u - 973769282120075823383160783546/1720454333469253904340938710783*c_11\ 01_3^8 - 1415242241774874940068427396451/17204543334692539043409387\ 10783*c_1101_3^7*u - 1687801550424937053134160389784/17204543334692\ 53904340938710783*c_1101_3^7 - 800938368901849176901000295055/17204\ 54333469253904340938710783*c_1101_3^6*u - 441891691469443136688255154645/1720454333469253904340938710783*c_11\ 01_3^6 - 932918852871033586136522795743/172045433346925390434093871\ 0783*c_1101_3^5*u - 1537318111975611753402748487078/172045433346925\ 3904340938710783*c_1101_3^5 - 2479419318694411896731138661679/17204\ 54333469253904340938710783*c_1101_3^4*u - 454964612432629663847854291050/1720454333469253904340938710783*c_11\ 01_3^4 - 2793545947358074921862852326378/17204543334692539043409387\ 10783*c_1101_3^3*u - 1372412779625244671040954042883/17204543334692\ 53904340938710783*c_1101_3^3 + 1153884642527690864144164838752/1720\ 454333469253904340938710783*c_1101_3^2*u - 256662289087569992242106163267/1720454333469253904340938710783*c_11\ 01_3^2 - 747563321065792924427201161855/172045433346925390434093871\ 0783*c_1101_3*u + 1438123506456293997968164095245/17204543334692539\ 04340938710783*c_1101_3 - 768096172258070490139444630225/1720454333\ 469253904340938710783*u - 88194411831043655454359287018/17204543334\ 69253904340938710783, c_0201_2 + 154847125586304215168853344747/17204543334692539043409387107\ 83*c_1101_3^9*u + 795297296081829137591116056274/172045433346925390\ 4340938710783*c_1101_3^9 + 1682353851334759628495401624628/17204543\ 33469253904340938710783*c_1101_3^8*u + 966880925209473595606301733353/1720454333469253904340938710783*c_11\ 01_3^8 + 2058386744886711031796817525098/17204543334692539043409387\ 10783*c_1101_3^7*u - 1039851931168285727000769748228/17204543334692\ 53904340938710783*c_1101_3^7 - 291759100493208336883789650093/17204\ 54333469253904340938710783*c_1101_3^6*u - 1482625929934210777002849725504/1720454333469253904340938710783*c_1\ 101_3^6 + 1500130304583990663383983641026/1720454333469253904340938\ 710783*c_1101_3^5*u - 101356489896167198367389985006/17204543334692\ 53904340938710783*c_1101_3^5 - 1765556674310324116876834973874/1720\ 454333469253904340938710783*c_1101_3^4*u - 4315143649641532886389517300997/1720454333469253904340938710783*c_1\ 101_3^4 - 1062534637854369555589889172860/1720454333469253904340938\ 710783*c_1101_3^3*u - 3658153710932748099300029691313/1720454333469\ 253904340938710783*c_1101_3^3 + 870506381525361181494969947907/1720\ 454333469253904340938710783*c_1101_3^2*u + 2513670471279755652093893694080/1720454333469253904340938710783*c_1\ 101_3^2 - 4131125324170082564870202972935/1720454333469253904340938\ 710783*c_1101_3*u - 3586034035698239197967593006533/172045433346925\ 3904340938710783*c_1101_3 - 795897035983336550027316772220/17204543\ 33469253904340938710783*u - 1055483445677856704043016378096/1720454\ 333469253904340938710783, c_1011_0 + 286815706857951252135820769925/17204543334692539043409387107\ 83*c_1101_3^9*u - 56238498658892442613410345171/1720454333469253904\ 340938710783*c_1101_3^9 + 63857696052896513191627873262/17204543334\ 69253904340938710783*c_1101_3^8*u - 622008523898885123095540649711/1720454333469253904340938710783*c_11\ 01_3^8 - 1367412559653780588438141348207/17204543334692539043409387\ 10783*c_1101_3^7*u - 1311806997851178257927179584195/17204543334692\ 53904340938710783*c_1101_3^7 - 1266018079000685603469920977217/1720\ 454333469253904340938710783*c_1101_3^6*u - 446911563387598765534740214840/1720454333469253904340938710783*c_11\ 01_3^6 - 308009790709473792275906151470/172045433346925390434093871\ 0783*c_1101_3^5*u + 171096661470002044143428278694/1720454333469253\ 904340938710783*c_1101_3^5 - 494367148070301386217716309870/1720454\ 333469253904340938710783*c_1101_3^4*u + 603190651450809204788549596961/1720454333469253904340938710783*c_11\ 01_3^4 - 1263411909983718969557456434377/17204543334692539043409387\ 10783*c_1101_3^3*u + 832936136685706301564586044928/172045433346925\ 3904340938710783*c_1101_3^3 + 51480696280025068872111595653/1720454\ 333469253904340938710783*c_1101_3^2*u - 1411115663772563385235265644974/1720454333469253904340938710783*c_1\ 101_3^2 + 1098824427905384289055300450519/1720454333469253904340938\ 710783*c_1101_3*u - 107573174471445889374716656347/1720454333469253\ 904340938710783*c_1101_3 - 1513367750704412991195075929292/17204543\ 33469253904340938710783*u + 1853327107460350347007710408003/1720454\ 333469253904340938710783, c_1011_1 - 102512447835545297936297642805/17204543334692539043409387107\ 83*c_1101_3^9*u + 213508132276905688373239064432/172045433346925390\ 4340938710783*c_1101_3^9 + 472038118423561017673473367249/172045433\ 3469253904340938710783*c_1101_3^8*u + 473524817803339510742016521310/1720454333469253904340938710783*c_11\ 01_3^8 + 878920863136150831551682908722/172045433346925390434093871\ 0783*c_1101_3^7*u + 80678235117500297793783816624/17204543334692539\ 04340938710783*c_1101_3^7 + 5373615897013672590617683442/1720454333\ 469253904340938710783*c_1101_3^6*u - 472268715699365188212005929617/1720454333469253904340938710783*c_11\ 01_3^6 - 35086876104439159829342589711/1720454333469253904340938710\ 783*c_1101_3^5*u - 282472769471437398261990577568/17204543334692539\ 04340938710783*c_1101_3^5 - 1109838105879258902256541771302/1720454\ 333469253904340938710783*c_1101_3^4*u - 1256515365275136042853046609430/1720454333469253904340938710783*c_1\ 101_3^4 + 590205499954623878000884090040/17204543334692539043409387\ 10783*c_1101_3^3*u + 486226246595988228755402264985/172045433346925\ 3904340938710783*c_1101_3^3 + 274245332201238904561812502049/172045\ 4333469253904340938710783*c_1101_3^2*u + 1407036326761210969179408019145/1720454333469253904340938710783*c_1\ 101_3^2 - 901397455161080239609114367198/17204543334692539043409387\ 10783*c_1101_3*u - 455812889238999601671063071225/17204543334692539\ 04340938710783*c_1101_3 + 1247842541858177119456239700410/172045433\ 3469253904340938710783*u - 1028119986990804524290788242134/17204543\ 33469253904340938710783, c_1011_3 + 496922825914206386718252176197/17204543334692539043409387107\ 83*c_1101_3^9*u - 220519361490737525038329484662/172045433346925390\ 4340938710783*c_1101_3^9 - 817940904817859252617350445872/172045433\ 3469253904340938710783*c_1101_3^8*u - 1459060470052417039169521268125/1720454333469253904340938710783*c_1\ 101_3^8 - 2776523656272110376341314105282/1720454333469253904340938\ 710783*c_1101_3^7*u - 1421504139738461773842594952004/1720454333469\ 253904340938710783*c_1101_3^7 - 1238484448810098881151822551015/172\ 0454333469253904340938710783*c_1101_3^6*u + 802463923385859237623896722534/1720454333469253904340938710783*c_11\ 01_3^6 - 777390961839393198111137633904/172045433346925390434093871\ 0783*c_1101_3^5*u + 601733714151893223781022332749/1720454333469253\ 904340938710783*c_1101_3^5 + 498519201520440770271235697459/1720454\ 333469253904340938710783*c_1101_3^4*u + 3795788962029582693595524245159/1720454333469253904340938710783*c_1\ 101_3^4 - 479002972883099341873075510680/17204543334692539043409387\ 10783*c_1101_3^3*u + 1165767485926442393842684865851/17204543334692\ 53904340938710783*c_1101_3^3 + 2217631287928956713276704561571/1720\ 454333469253904340938710783*c_1101_3^2*u - 1218130745666533156854581149031/1720454333469253904340938710783*c_1\ 101_3^2 + 1173993857123294706580498371971/1720454333469253904340938\ 710783*c_1101_3*u + 2250326249061790478092588321283/172045433346925\ 3904340938710783*c_1101_3 - 878075476468933914003230785976/17204543\ 33469253904340938710783*u - 132320544647941178794272729888/17204543\ 33469253904340938710783, c_1101_0 - 186474506872512979933544656573/17204543334692539043409387107\ 83*c_1101_3^9*u - 131717321090045032110013580117/172045433346925390\ 4340938710783*c_1101_3^9 + 210854702768663632476608847602/172045433\ 3469253904340938710783*c_1101_3^8*u + 534409115096679037796558086450/1720454333469253904340938710783*c_11\ 01_3^8 + 661958831098547905453153511462/172045433346925390434093871\ 0783*c_1101_3^7*u + 309750931501020776871440652613/1720454333469253\ 904340938710783*c_1101_3^7 + 130804531682657211079448780299/1720454\ 333469253904340938710783*c_1101_3^6*u - 783002131507293070076679680716/1720454333469253904340938710783*c_11\ 01_3^6 + 50752210658959800275304135261/1720454333469253904340938710\ 783*c_1101_3^5*u - 95710773446914713672600753324/172045433346925390\ 4340938710783*c_1101_3^5 + 305634825149902592443285540727/172045433\ 3469253904340938710783*c_1101_3^4*u - 1457527994553683147877753243044/1720454333469253904340938710783*c_1\ 101_3^4 - 2478595039906777850631962919235/1720454333469253904340938\ 710783*c_1101_3^3*u - 569227156670459442311090519282/17204543334692\ 53904340938710783*c_1101_3^3 - 1077230961268594579689626295614/1720\ 454333469253904340938710783*c_1101_3^2*u - 807064966078708091183671419394/1720454333469253904340938710783*c_11\ 01_3^2 + 1216625925693749142163028882118/17204543334692539043409387\ 10783*c_1101_3*u + 1472296740291477315849073498131/1720454333469253\ 904340938710783*c_1101_3 - 1783066675794231074505908863400/17204543\ 33469253904340938710783*u + 289982986533491867667253002879/17204543\ 33469253904340938710783, c_1101_3^10 + 1068/559*c_1101_3^9*u + 424/559*c_1101_3^9 + 1338/559*c_1101_3^8*u - 524/559*c_1101_3^8 - 561/559*c_1101_3^7*u - 788/559*c_1101_3^7 + 737/559*c_1101_3^6*u - 861/559*c_1101_3^6 - 2583/559*c_1101_3^5*u - 4235/559*c_1101_3^5 + 329/559*c_1101_3^4*u - 1739/559*c_1101_3^4 - 2013/559*c_1101_3^3*u + 2894/559*c_1101_3^3 - 6004/559*c_1101_3^2*u - 5478/559*c_1101_3^2 + 2573/559*c_1101_3*u + 854/559*c_1101_3 - 193/559*u + 2777/559, u^2 + u + 1 ], Ideal of Polynomial ring of rank 18 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0012_3, c_0021_3, c_0102_1, c_0102_2, c_0111_0, c_0111_2, c_0111_3, c_0201_1, c_0201_2, c_1011_0, c_1011_1, c_1011_3, c_1101_0, c_1101_3, u Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 2644125932995715713641914329254337415/23026443137875258297424122383\ 4353099*c_1101_3^9*u - 1140176998080169305131661591151223837/230264\ 431378752582974241223834353099*c_1101_3^9 + 14575570834796397160139883285215541053/2302644313787525829742412238\ 34353099*c_1101_3^8*u + 5802114260260712432659309539085693984/23026\ 4431378752582974241223834353099*c_1101_3^8 + 11600671168528580415263026963127147459/2302644313787525829742412238\ 34353099*c_1101_3^7*u + 26409708461091988369005286783694813440/2302\ 64431378752582974241223834353099*c_1101_3^7 - 33798615302024615006778080241423207772/2302644313787525829742412238\ 34353099*c_1101_3^6*u - 2733152995364438836026909616939334294/23026\ 4431378752582974241223834353099*c_1101_3^6 - 10755976011764898633815852389302864671/2302644313787525829742412238\ 34353099*c_1101_3^5*u - 44089841996733828068217374944289071567/2302\ 64431378752582974241223834353099*c_1101_3^5 + 16050303934291797631442563698368968511/7675481045958419432474707461\ 1451033*c_1101_3^4*u + 5545644898743201421670834255445655096/767548\ 10459584194324747074611451033*c_1101_3^4 + 9155094313011568669579040518719176398/23026443137875258297424122383\ 4353099*c_1101_3^3*u + 43031867451085620701388631735882467146/23026\ 4431378752582974241223834353099*c_1101_3^3 - 17465825613897496835982937366644525929/2302644313787525829742412238\ 34353099*c_1101_3^2*u + 7162156633360398027054514353832117691/23026\ 4431378752582974241223834353099*c_1101_3^2 - 1910939009470288897066761078993713789/23026443137875258297424122383\ 4353099*c_1101_3*u - 2504291653920497397931551789563205793/23026443\ 1378752582974241223834353099*c_1101_3 - 1179356359262967200520832197455969569/23026443137875258297424122383\ 4353099*u - 2065247950460331781560266635330319711/23026443137875258\ 2974241223834353099, c_0012_0 - 1, c_0012_1 + u + 1, c_0012_3 - 3506410329584333320646548/2158489556933191464181163*c_1101_3\ ^9*u - 5290351721676204852612849/2158489556933191464181163*c_1101_3\ ^9 - 362129726454763938083397/2158489556933191464181163*c_1101_3^8*\ u - 15055606561224153751845161/2158489556933191464181163*c_1101_3^8 + 29783320669310418166162019/2158489556933191464181163*c_1101_3^7*u + 6306056001388349202394935/2158489556933191464181163*c_1101_3^7 + 13838272154023616969606155/2158489556933191464181163*c_1101_3^6*u + 36676026190364302493513493/2158489556933191464181163*c_1101_3^6 - 2500797095214943856574758/126969973937246556716539*c_1101_3^5*u - 13171730156905171464179337/2158489556933191464181163*c_1101_3^5 - 11514977751328574563355629/2158489556933191464181163*c_1101_3^4*u - 42214773355124097033145179/2158489556933191464181163*c_1101_3^4 + 42765523132385489598856086/2158489556933191464181163*c_1101_3^3*u + 2459749828470235419508253/2158489556933191464181163*c_1101_3^3 + 28239879570608812636121340/2158489556933191464181163*c_1101_3^2*u + 26058365665399557662705445/2158489556933191464181163*c_1101_3^2 + 3292216549270117152286803/2158489556933191464181163*c_1101_3*u + 11853579621011619956802498/2158489556933191464181163*c_1101_3 - 416183265285651921793302/2158489556933191464181163*u + 393800512224331873008246/2158489556933191464181163, c_0021_3 - 2815765070113999449372082/2158489556933191464181163*c_1101_3\ ^9*u - 2180679928417786560816562/2158489556933191464181163*c_1101_3\ ^9 - 344605342835380834896400/126969973937246556716539*c_1101_3^8*u - 9155954033731956677832071/2158489556933191464181163*c_1101_3^8 + 7295203408422660574016298/2158489556933191464181163*c_1101_3^7*u - 7173161595666487091894122/2158489556933191464181163*c_1101_3^7 + 12564514262363010628241232/2158489556933191464181163*c_1101_3^6*u + 12004286391866702710388389/2158489556933191464181163*c_1101_3^6 - 10439202137021160899907788/2158489556933191464181163*c_1101_3^5*u + 4933821961638720917417104/2158489556933191464181163*c_1101_3^5 - 12731037986664662355142429/2158489556933191464181163*c_1101_3^4*u - 12075462247185293367496545/2158489556933191464181163*c_1101_3^4 + 2587554803469698043417250/2158489556933191464181163*c_1101_3^3*u - 14394021805516492505616851/2158489556933191464181163*c_1101_3^3 + 14359839697294022913428703/2158489556933191464181163*c_1101_3^2*u - 2698500866175164140427041/2158489556933191464181163*c_1101_3^2 + 6261284206693645552639536/2158489556933191464181163*c_1101_3*u + 2792332593617127478068437/2158489556933191464181163*c_1101_3 + 70809873561971913306133/126969973937246556716539*u - 61563751326921439005487/2158489556933191464181163, c_0102_1 - 1308302731536848144514730/2158489556933191464181163*c_1101_3\ ^9*u - 3963325136210258540366185/2158489556933191464181163*c_1101_3\ ^9 + 6226766478083950308939242/2158489556933191464181163*c_1101_3^8\ *u - 6608297369530667042981015/2158489556933191464181163*c_1101_3^8 + 22918030325542086415586450/2158489556933191464181163*c_1101_3^7*u + 16952415735610517624345102/2158489556933191464181163*c_1101_3^7 - 13405952184975387703925559/2158489556933191464181163*c_1101_3^6*u + 17983019598322204827710399/2158489556933191464181163*c_1101_3^6 - 1764439657538910182571821/126969973937246556716539*c_1101_3^5*u - 36511319677670794303278944/2158489556933191464181163*c_1101_3^5 + 28108850723134395152426246/2158489556933191464181163*c_1101_3^4*u - 8280588984522669394613000/2158489556933191464181163*c_1101_3^4 + 24216440491717006090717336/2158489556933191464181163*c_1101_3^3*u + 29918004578938994699118885/2158489556933191464181163*c_1101_3^3 - 2254048787256340678046528/2158489556933191464181163*c_1101_3^2*u + 9391057228241597315610412/2158489556933191464181163*c_1101_3^2 + 4202424339663552814699926/2158489556933191464181163*c_1101_3*u - 799466834261650273577203/2158489556933191464181163*c_1101_3 + 1347348134455894136647007/2158489556933191464181163*u + 1544476116329478185427296/2158489556933191464181163, c_0102_2 + 285917984795088819720574/2158489556933191464181163*c_1101_3^\ 9*u + 631793030736497988706828/2158489556933191464181163*c_1101_3^9 - 1500863912017112326252541/2158489556933191464181163*c_1101_3^8*u + 377718373254668557380738/2158489556933191464181163*c_1101_3^8 - 3608037395872735289930429/2158489556933191464181163*c_1101_3^7*u - 3656103699368885720784177/2158489556933191464181163*c_1101_3^7 + 4881228355686159364034700/2158489556933191464181163*c_1101_3^6*u - 1276197996264516540741552/2158489556933191464181163*c_1101_3^6 + 2844737132126315994462286/2158489556933191464181163*c_1101_3^5*u + 6667793566041024900159660/2158489556933191464181163*c_1101_3^5 - 2424442016057873040241009/2158489556933191464181163*c_1101_3^4*u - 498075454245737009331052/2158489556933191464181163*c_1101_3^4 - 1430831739433001360975182/2158489556933191464181163*c_1101_3^3*u + 77472227615629232978108/2158489556933191464181163*c_1101_3^3 - 3019986579329901768616653/2158489556933191464181163*c_1101_3^2*u - 4967921853742089033673202/2158489556933191464181163*c_1101_3^2 + 405697884769958483455837/2158489556933191464181163*c_1101_3*u - 2218875351715839760202587/2158489556933191464181163*c_1101_3 + 2521623511095314178757722/2158489556933191464181163*u + 1359195972918322017086821/2158489556933191464181163, c_0111_0 - 1, c_0111_2 + 5935197408918705002174579/6475468670799574392543489*c_1101_3\ ^9*u + 4399423120913204348690149/2158489556933191464181163*c_1101_3\ ^9 - 12137678833740366275828294/6475468670799574392543489*c_1101_3^\ 8*u + 26637571135649834270986660/6475468670799574392543489*c_1101_3\ ^8 - 73521511429104152134140028/6475468670799574392543489*c_1101_3^\ 7*u - 14387700331506546457593342/2158489556933191464181163*c_1101_3\ ^7 + 15680663395168979822607788/6475468670799574392543489*c_1101_3^\ 6*u - 23366290657211909680140755/2158489556933191464181163*c_1101_3\ ^6 + 99875182930731359335074491/6475468670799574392543489*c_1101_3^\ 5*u + 85180973820084740789522015/6475468670799574392543489*c_1101_3\ ^5 - 2575623004356796757144977/380909921811739670149617*c_1101_3^4*\ u + 55978187865891292277763887/6475468670799574392543489*c_1101_3^4 - 92879814670373690975139247/6475468670799574392543489*c_1101_3^3*u - 60121648518790439514067411/6475468670799574392543489*c_1101_3^3 - 21332032936303995480817060/6475468670799574392543489*c_1101_3^2*u - 42787437613101323407583890/6475468670799574392543489*c_1101_3^2 - 5258584622079569536621444/6475468670799574392543489*c_1101_3*u - 15322686978694632881430196/6475468670799574392543489*c_1101_3 + 976775410500779333526053/6475468670799574392543489*u - 578196671592310091591152/2158489556933191464181163, c_0111_3 + 10535681918348546513575471/6475468670799574392543489*c_1101_\ 3^9*u + 6613908606753193960521608/6475468670799574392543489*c_1101_\ 3^9 + 16970766110676147881620024/6475468670799574392543489*c_1101_3\ ^8*u + 23149286296445913553107458/6475468670799574392543489*c_1101_\ 3^8 - 30277339395768624983325617/6475468670799574392543489*c_1101_3\ ^7*u + 3218117915503531007130467/6475468670799574392543489*c_1101_3\ ^7 - 12943225777379063848695341/6475468670799574392543489*c_1101_3^\ 6*u - 47447622838259304714245581/6475468670799574392543489*c_1101_3\ ^6 + 64795336507338307526984564/6475468670799574392543489*c_1101_3^\ 5*u + 27066757608741452701796218/6475468670799574392543489*c_1101_3\ ^5 - 1779323936927135065812834/2158489556933191464181163*c_1101_3^4\ *u + 13668509078519745078349887/2158489556933191464181163*c_1101_3^\ 4 - 41378004018966257931005596/6475468670799574392543489*c_1101_3^3\ *u - 11745745073167691534979464/6475468670799574392543489*c_1101_3^\ 3 + 15066345659661043707897461/6475468670799574392543489*c_1101_3^2\ *u + 4418589815869419557878795/6475468670799574392543489*c_1101_3^2 + 12872540856515789180769374/6475468670799574392543489*c_1101_3*u + 19424286561383788050200662/6475468670799574392543489*c_1101_3 + 5089079687097455904989182/6475468670799574392543489*u + 3227167400868404299823912/6475468670799574392543489, c_0201_1 - 2029396078901458197625035/2158489556933191464181163*c_1101_3\ ^9*u - 1391111015731781315790463/2158489556933191464181163*c_1101_3\ ^9 - 5843749334967074995056117/2158489556933191464181163*c_1101_3^8\ *u - 574846511089398134557659/126969973937246556716539*c_1101_3^8 + 471771733552360356795451/126969973937246556716539*c_1101_3^7*u - 12070245661088411062676233/2158489556933191464181163*c_1101_3^7 + 27384844173391202677301678/2158489556933191464181163*c_1101_3^6*u + 21378266703564842101856408/2158489556933191464181163*c_1101_3^6 - 14749029577308551210033905/2158489556933191464181163*c_1101_3^5*u + 19805319662904192915943625/2158489556933191464181163*c_1101_3^5 - 34567109812451956871786098/2158489556933191464181163*c_1101_3^4*u - 35442400444344250488733528/2158489556933191464181163*c_1101_3^4 + 21339807117118494674172131/2158489556933191464181163*c_1101_3^3*u - 17922866971177073507745940/2158489556933191464181163*c_1101_3^3 + 27679010311826888167325159/2158489556933191464181163*c_1101_3^2*u + 17158483461276300140588829/2158489556933191464181163*c_1101_3^2 + 5510450733478723949191459/2158489556933191464181163*c_1101_3*u + 6294181038997077815453837/2158489556933191464181163*c_1101_3 - 631049660422426284013586/2158489556933191464181163*u - 14463594810920902482492/126969973937246556716539, c_0201_2 + 581254867820625231490157/2158489556933191464181163*c_1101_3^\ 9*u - 4173135886991789683478014/2158489556933191464181163*c_1101_3^\ 9 + 10101059872149394526622288/2158489556933191464181163*c_1101_3^8\ *u - 1739386180708657963542250/2158489556933191464181163*c_1101_3^8 + 13807509396971474890368506/2158489556933191464181163*c_1101_3^7*u + 21798724558653705508423326/2158489556933191464181163*c_1101_3^7 - 25725401079892892607333199/2158489556933191464181163*c_1101_3^6*u - 4858287375009922686875965/2158489556933191464181163*c_1101_3^6 - 931570469822955059135119/2158489556933191464181163*c_1101_3^5*u - 29249445023983917622349081/2158489556933191464181163*c_1101_3^5 + 21995814635980916200839732/2158489556933191464181163*c_1101_3^4*u + 16872233533638632969100123/2158489556933191464181163*c_1101_3^4 + 3718152179432700918558675/2158489556933191464181163*c_1101_3^3*u + 10660240699205107725643142/2158489556933191464181163*c_1101_3^3 + 8016377064142354748537396/2158489556933191464181163*c_1101_3^2*u + 3374885223074785911155940/2158489556933191464181163*c_1101_3^2 + 5121343850027947093827871/2158489556933191464181163*c_1101_3*u + 7028294933091345518880595/2158489556933191464181163*c_1101_3 - 1677690576658267339366247/2158489556933191464181163*u - 1308194156991752825631642/2158489556933191464181163, c_1011_0 + 25647461173591457055332/2158489556933191464181163*c_1101_3^9\ *u + 4465535964421333617233293/2158489556933191464181163*c_1101_3^9 - 10922708367610957008568621/2158489556933191464181163*c_1101_3^8*u + 3066783579553666601117974/2158489556933191464181163*c_1101_3^8 - 21895958253058896610738176/2158489556933191464181163*c_1101_3^7*u - 25865658204951297275022325/2158489556933191464181163*c_1101_3^7 + 25723940447202259410062978/2158489556933191464181163*c_1101_3^6*u - 7867070740160063841154539/2158489556933191464181163*c_1101_3^6 + 19988575248305261667800059/2158489556933191464181163*c_1101_3^5*u + 40909515174012410613213878/2158489556933191464181163*c_1101_3^5 - 32704729180045406666441028/2158489556933191464181163*c_1101_3^4*u - 4749364011592159453272082/2158489556933191464181163*c_1101_3^4 - 20526702343047663934852767/2158489556933191464181163*c_1101_3^3*u - 27935627754329803288390187/2158489556933191464181163*c_1101_3^3 - 77319829983933204580023/2158489556933191464181163*c_1101_3^2*u - 618101774435898069725640/126969973937246556716539*c_1101_3^2 + 1091605036585621492782721/2158489556933191464181163*c_1101_3*u - 3278686796250989795978940/2158489556933191464181163*c_1101_3 + 1439459353521091177543936/2158489556933191464181163*u + 1303616953189647926059990/2158489556933191464181163, c_1011_1 + 2104498353007140770431126/6475468670799574392543489*c_1101_3\ ^9*u + 773433005356915808509550/6475468670799574392543489*c_1101_3^\ 9 + 14056847342809400627025388/6475468670799574392543489*c_1101_3^8\ *u + 10127975043170106020067851/6475468670799574392543489*c_1101_3^\ 8 + 15730780660218979320765523/6475468670799574392543489*c_1101_3^7\ *u + 28238097672810373635532115/6475468670799574392543489*c_1101_3^\ 7 - 27327807747260514408016781/6475468670799574392543489*c_1101_3^6\ *u + 9261404678853843715482725/6475468670799574392543489*c_1101_3^6 - 22286604375256764627556381/6475468670799574392543489*c_1101_3^5*u - 37117232551004232120154055/6475468670799574392543489*c_1101_3^5 + 13901993291387249278001020/2158489556933191464181163*c_1101_3^4*u + 221911487554477397265435/2158489556933191464181163*c_1101_3^4 + 25439747617283000823253832/6475468670799574392543489*c_1101_3^3*u + 41765806557096442628672056/6475468670799574392543489*c_1101_3^3 - 19318428984834357534916960/6475468670799574392543489*c_1101_3^2*u + 31217146867071184120179871/6475468670799574392543489*c_1101_3^2 - 17517781420965796887862312/6475468670799574392543489*c_1101_3*u + 5443337623110217194965809/6475468670799574392543489*c_1101_3 - 1453254683160681245135438/6475468670799574392543489*u + 780091399338520917976235/6475468670799574392543489, c_1011_3 - 6554782204374620218640581/2158489556933191464181163*c_1101_3\ ^9*u + 980768524209441606612095/6475468670799574392543489*c_1101_3^\ 9 - 67637764146695263487693983/6475468670799574392543489*c_1101_3^8\ *u - 17029563797573731736920557/2158489556933191464181163*c_1101_3^\ 8 + 5101927163196978135403878/2158489556933191464181163*c_1101_3^7*\ u - 111144223236225309564936814/6475468670799574392543489*c_1101_3^\ 7 + 59914641984438759413749378/2158489556933191464181163*c_1101_3^6\ *u + 123038753939437809658113041/6475468670799574392543489*c_1101_3\ ^6 - 100399754911116803574253436/6475468670799574392543489*c_1101_3\ ^5*u + 41636079334509450946841862/2158489556933191464181163*c_1101_\ 3^5 - 173818541887775840849602760/6475468670799574392543489*c_1101_\ 3^4*u - 189857293145230355376489964/6475468670799574392543489*c_110\ 1_3^4 + 67799578992213717954791635/6475468670799574392543489*c_1101\ _3^3*u - 2097955867695517239338888/126969973937246556716539*c_1101_\ 3^3 + 70276393766113695758709562/6475468670799574392543489*c_1101_3\ ^2*u + 9559234611258193446796334/2158489556933191464181163*c_1101_3\ ^2 + 8138873186634783809685046/6475468670799574392543489*c_1101_3*u + 2688993210789387153895738/2158489556933191464181163*c_1101_3 + 1685478719063042712501550/2158489556933191464181163*u + 5277292480440760067633012/6475468670799574392543489, c_1101_0 + 1049446768746145581514771/2158489556933191464181163*c_1101_3\ ^9*u + 3955582421999590491832349/2158489556933191464181163*c_1101_3\ ^9 - 5435498409646623897185095/2158489556933191464181163*c_1101_3^8\ *u + 6966546136771814162859187/2158489556933191464181163*c_1101_3^8 - 20577851661360843208662733/2158489556933191464181163*c_1101_3^7*u - 838914831536470966629259/126969973937246556716539*c_1101_3^7 + 8414330794008799050022505/2158489556933191464181163*c_1101_3^6*u - 16510812734497807324064949/2158489556933191464181163*c_1101_3^6 + 24948603816533695648447467/2158489556933191464181163*c_1101_3^5*u + 26541988227695258339860746/2158489556933191464181163*c_1101_3^5 - 15669744503001357541428156/2158489556933191464181163*c_1101_3^4*u + 11900757866905636814922751/2158489556933191464181163*c_1101_3^4 - 23799355167631669674899396/2158489556933191464181163*c_1101_3^3*u - 19234687652926566578807940/2158489556933191464181163*c_1101_3^3 - 6856463674426519990053735/2158489556933191464181163*c_1101_3^2*u - 11823076730748165982399790/2158489556933191464181163*c_1101_3^2 - 3998361109326072021465699/2158489556933191464181163*c_1101_3*u - 3362859395853408300686249/2158489556933191464181163*c_1101_3 + 360606962296843562396345/2158489556933191464181163*u - 1206578355400440216888660/2158489556933191464181163, c_1101_3^10 - 1489/619*c_1101_3^9*u + 873/619*c_1101_3^9 - 3979/619*c_1101_3^8*u - 3288/619*c_1101_3^8 + 1711/619*c_1101_3^7*u - 3512/619*c_1101_3^7 + 5541/619*c_1101_3^6*u + 5409/619*c_1101_3^6 - 3111/619*c_1101_3^5*u + 3380/619*c_1101_3^5 - 6230/619*c_1101_3^4*u - 5168/619*c_1101_3^4 - 1200/619*c_1101_3^3*u - 4004/619*c_1101_3^3 + 435/619*c_1101_3^2*u - 746/619*c_1101_3^2 + 196/619*c_1101_3*u + 68/619*c_1101_3 + 157/619*u + 105/619, u^2 + u + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE FREE=VARIABLES=IN=COMPONENTS=BEGINS=HERE [ [ ], [ ], [ ] ] FREE=VARIABLES=IN=COMPONENTS=ENDS=HERE CPUTIME: 10539.360 Total time: 10539.559 seconds, Total memory usage: 3820.91MB