Magma V2.19-8 Fri Sep 13 2013 01:03:39 on localhost [Seed = 2515884873] Type ? for help. Type -D to quit. Loading file "m202__sl3_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation m202 geometric_solution 4.05976643 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 4 1 1 2 1 0132 1230 0132 2031 0 0 1 0 0 1 0 -1 -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 1 -1 0 -1 0 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.500000000000 0.866025403784 0 0 0 3 0132 1302 3012 0132 0 0 0 1 0 0 0 0 1 0 -1 0 0 1 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 -1 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.500000000000 0.866025403784 3 3 3 0 0213 0321 2310 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.500000000000 0.866025403784 2 2 1 2 0213 3201 0132 0321 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 -1 0 1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.500000000000 0.866025403784 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1020_2' : d['c_1002_0'], 'c_1020_3' : d['c_1002_0'], 'c_1020_0' : d['c_0012_1'], 'c_1020_1' : d['c_0021_3'], 'c_0201_0' : d['c_0021_2'], 'c_0201_1' : d['c_0012_0'], 'c_0201_2' : d['c_0021_3'], 'c_0201_3' : d['c_0021_2'], 'c_2100_0' : d['c_0021_3'] * d['u'] ** 1, 'c_2100_1' : d['c_1002_0'], 'c_2100_2' : d['c_0021_3'], 'c_2100_3' : d['c_1002_0'] * d['u'] ** 1, 'c_2010_2' : d['c_1002_2'], 'c_2010_3' : d['c_1002_2'], 'c_2010_0' : d['c_0012_0'], 'c_2010_1' : d['c_0012_3'], 'c_0102_0' : d['c_0012_2'], 'c_0102_1' : d['c_0012_1'], 'c_0102_2' : d['c_0012_3'], 'c_0102_3' : d['c_0012_2'], 'c_1101_0' : d['c_1101_0'], 'c_1101_1' : d['c_1011_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_1002_2'] * d['u'] ** 2, 'c_1200_0' : d['c_0012_3'] * d['u'] ** 2, 'c_1200_1' : d['c_1002_2'], 'c_1110_2' : d['c_1101_0'] * d['u'] ** 2, 'c_1110_3' : negation(d['c_1011_2']) * d['u'] ** 1, 'c_1110_0' : negation(d['c_1011_1']) * d['u'] ** 1, 'c_1110_1' : d['c_1101_3'] * d['u'] ** 2, 'c_0120_0' : d['c_0012_1'] * d['u'] ** 1, 'c_0120_1' : d['c_0012_2'] * d['u'] ** 2, 'c_0120_2' : d['c_0012_2'] * d['u'] ** 2, 'c_0120_3' : d['c_0021_2'] * d['u'] ** 1, 'c_2001_0' : d['c_1002_2'], 'c_2001_1' : d['c_0012_0'], 'c_2001_2' : d['c_1002_0'], 'c_2001_3' : d['c_0012_3'], 'c_0012_2' : d['c_0012_2'], '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']) * d['u'] ** 2, 'c_0111_2' : d['c_0111_2'], 'c_0111_3' : negation(d['c_0111_2']), 'c_0210_2' : d['c_0021_2'] * d['u'] ** 1, 'c_0210_3' : d['c_0012_2'] * d['u'] ** 2, 'c_0210_0' : d['c_0012_0'] * d['u'] ** 2, 'c_0210_1' : d['c_0021_2'] * d['u'] ** 1, 'c_1002_2' : d['c_1002_2'], 'c_1002_3' : d['c_0021_3'], 'c_1002_0' : d['c_1002_0'], 'c_1002_1' : d['c_0012_1'], 'c_1011_2' : d['c_1011_2'], '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_0021_2'], 'c_0021_3' : d['c_0021_3']}), 'non_trivial_generalized_obstruction_class' : True} PY=EVAL=SECTION=ENDS=HERE PRIMARY_DECOMPOSITION_TIME: 19.270 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_2, c_0012_3, c_0021_2, c_0021_3, c_0111_0, c_0111_2, c_1002_0, c_1002_2, c_1011_0, c_1011_1, c_1011_2, c_1011_3, c_1101_0, c_1101_3, u Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t - 109300685352/37445131*c_1101_3^3*u + 463074139557/37445131*c_1101_3^3 - 350105258780/37445131*c_1101_3^2*u - 15389367364/473989*c_1101_3^2 - 9746548915669/149780524*c_1101_3*u + 3111293513267/149780524*c_1101_3 - 171356146101/74890262*u - 18853537815007/149780524, c_0012_0 - 1, c_0012_1 - 1, c_0012_2 - 1, c_0012_3 - 424/9417*c_1101_3^3*u - 896/9417*c_1101_3^3 + 142/9417*c_1101_3^2*u - 766/9417*c_1101_3^2 + 464/3139*c_1101_3*u - 204/3139*c_1101_3 + 7999/9417*u + 4466/9417, c_0021_2 + 440/3139*c_1101_3^3*u + 456/3139*c_1101_3^3 + 208/3139*c_1101_3^2*u + 558/3139*c_1101_3^2 - 260/3139*c_1101_3*u + 872/3139*c_1101_3 - 1016/3139*u + 2828/3139, c_0021_3 - 424/9417*c_1101_3^3*u - 896/9417*c_1101_3^3 + 142/9417*c_1101_3^2*u - 766/9417*c_1101_3^2 + 464/3139*c_1101_3*u - 204/3139*c_1101_3 + 7999/9417*u + 4466/9417, c_0111_0 - 1, c_0111_2 + 424/9417*c_1101_3^3*u + 896/9417*c_1101_3^3 - 142/9417*c_1101_3^2*u + 766/9417*c_1101_3^2 - 464/3139*c_1101_3*u + 204/3139*c_1101_3 + 1418/9417*u + 4951/9417, c_1002_0 + 2854/9417*c_1101_3^3*u - 10/9417*c_1101_3^3 - 5842/9417*c_1101_3^2*u - 2573/9417*c_1101_3^2 + 5050/3139*c_1101_3*u + 5519/3139*c_1101_3 + 6080/9417*u + 8584/9417, c_1002_2 + 2902/9417*c_1101_3^3*u - 1330/9417*c_1101_3^3 - 4792/9417*c_1101_3^2*u - 3197/9417*c_1101_3^2 + 6182/3139*c_1101_3*u + 5779/3139*c_1101_3 + 8195/9417*u + 2215/9417, c_1011_0 + 424/9417*c_1101_3^3*u + 896/9417*c_1101_3^3 - 142/9417*c_1101_3^2*u + 766/9417*c_1101_3^2 - 464/3139*c_1101_3*u + 3343/3139*c_1101_3 + 1418/9417*u + 4951/9417, c_1011_1 + 424/9417*c_1101_3^3*u + 896/9417*c_1101_3^3 - 142/9417*c_1101_3^2*u + 766/9417*c_1101_3^2 - 464/3139*c_1101_3*u + 3343/3139*c_1101_3 - 7999/9417*u - 4466/9417, c_1011_2 + 46/9417*c_1101_3^3*u + 1874/9417*c_1101_3^3 - 1348/9417*c_1101_3^2*u - 3737/9417*c_1101_3^2 - 1531/3139*c_1101_3*u - 274/3139*c_1101_3 + 65/9417*u - 218/9417, c_1011_3 - 1414/9417*c_1101_3^3*u - 1922/9417*c_1101_3^3 - 326/9417*c_1101_3^2*u + 2687/9417*c_1101_3^2 + 659/3139*c_1101_3*u - 858/3139*c_1101_3 + 868/9417*u - 1897/9417, c_1101_0 - 810/3139*c_1101_3^3*u + 302/3139*c_1101_3^3 + 1900/3139*c_1101_3^2*u + 1113/3139*c_1101_3^2 - 5514/3139*c_1101_3*u - 2176/3139*c_1101_3 - 1554/3139*u - 1211/3139, c_1101_3^4 - c_1101_3^3*u - 2*c_1101_3^3 - 17/4*c_1101_3^2*u + 7/4*c_1101_3^2 - 3*c_1101_3*u - 17/2*c_1101_3 - 5/4*u - 7/2, 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_2, c_0012_3, c_0021_2, c_0021_3, c_0111_0, c_0111_2, c_1002_0, c_1002_2, c_1011_0, c_1011_1, c_1011_2, c_1011_3, c_1101_0, c_1101_3, u Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 844023928043706826504979558394485103340508016683/437263674198427220\ 22112026330765789809985*c_1101_3^10*u + 11515796686664232676529379508590856889056893107/9716970537742827116\ 02489474017017551333*c_1101_3^10 + 957334275890788672274263470345219515715851664916/874527348396854440\ 4422405266153157961997*c_1101_3^9*u + 656657083724320732237742017056521067465251200668/485848526887141355\ 8012447370085087756665*c_1101_3^9 + 792561766172323472081214544248424712035535997241/174905469679370888\ 088448105323063159239940*c_1101_3^8*u + 32214024357669772192291489237521247194104841814973/8745273483968544\ 4044224052661531579619970*c_1101_3^8 - 60593527401666708871262291025293323220545789631981/1749054696793708\ 88088448105323063159239940*c_1101_3^7*u + 24235141646112255574970365822225374845787929774267/2915091161322848\ 1348074684220510526539990*c_1101_3^7 - 2463758235185906395670736017789652819835130886284/43726367419842722\ 022112026330765789809985*c_1101_3^6*u + 237196488552413713654485063448260421126242525730961/874527348396854\ 44044224052661531579619970*c_1101_3^6 + 7398716597916406637498839658436435773285348208413/26908533796826290\ 47514586235739433219076*c_1101_3^5*u + 982346384681669860722723897354036224270778017015327/174905469679370\ 888088448105323063159239940*c_1101_3^5 + 984491592541495259276203912260439580573593083668477/174905469679370\ 888088448105323063159239940*c_1101_3^4*u + 36616828380564397871559679513313509634403704858639/8745273483968544\ 404422405266153157961997*c_1101_3^4 + 79581863027226590346155825291389626824971863536263/2915091161322848\ 1348074684220510526539990*c_1101_3^3*u - 1309586493227563712181019614415037480673571578655/58301823226456962\ 69614936844102105307998*c_1101_3^3 + 5659471672241854801568921906746933533570476276393/19433941075485654\ 232049789480340351026660*c_1101_3^2*u - 7125369441900585137897984867496129196929085217419/19433941075485654\ 232049789480340351026660*c_1101_3^2 + 4900417850551301223374984872056817341084140123687/29150911613228481\ 348074684220510526539990*c_1101_3*u - 988738189804009791979189793091237078857130167062/145754558066142406\ 74037342110255263269995*c_1101_3 - 327565395627405106172127747111877850199809508044/291509116132284813\ 4807468422051052653999*u - 4807061284816608504094265909666895733623\ 654536981/58301823226456962696149368441021053079980, c_0012_0 - 1, c_0012_1 - 1, c_0012_2 - 1, c_0012_3 - 412027490279009503404074054383389164/42847983752908105852143\ 09292578715317*c_1101_3^10*u - 116651388270639232578616675241632624\ /4284798375290810585214309292578715317*c_1101_3^10 - 3083264797686749115239940636001538908/42847983752908105852143092925\ 78715317*c_1101_3^9*u - 2623588673125802367921051880630221584/42847\ 98375290810585214309292578715317*c_1101_3^9 - 3071200779388140545530686694351040774/42847983752908105852143092925\ 78715317*c_1101_3^8*u - 10725067994870932947929097440816649769/4284\ 798375290810585214309292578715317*c_1101_3^8 + 1418298784042278151462699317958915700/14282661250969368617381030975\ 26238439*c_1101_3^7*u - 2599044565463102445292667338175096964/47608\ 8708365645620579367699175412813*c_1101_3^7 - 4418730352606251089480139716285157841/42847983752908105852143092925\ 78715317*c_1101_3^6*u - 58161171509443806299667513498365161013/4284\ 798375290810585214309292578715317*c_1101_3^6 - 18761246863855719147763817281878500675/1428266125096936861738103097\ 526238439*c_1101_3^5*u - 33300136838277278404257473161587852587/142\ 8266125096936861738103097526238439*c_1101_3^5 - 28521305686801094562688326168727302856/1428266125096936861738103097\ 526238439*c_1101_3^4*u - 20057209194375865136149070771480652491/142\ 8266125096936861738103097526238439*c_1101_3^4 - 10966572039260358208189792659729645535/1428266125096936861738103097\ 526238439*c_1101_3^3*u + 2187388729370101729555197945728003929/1428\ 266125096936861738103097526238439*c_1101_3^3 + 25970462131856680818026561383985170/4760887083656456205793676991754\ 12813*c_1101_3^2*u + 994764765177711316455676042886605234/476088708\ 365645620579367699175412813*c_1101_3^2 + 124515694012202843793302111501819939/476088708365645620579367699175\ 412813*c_1101_3*u - 228775170652488872718264494327732095/4760887083\ 65645620579367699175412813*c_1101_3 - 106038648706998755357564727556353758/476088708365645620579367699175\ 412813*u - 191013747604054976330584238322220012/4760887083656456205\ 79367699175412813, c_0021_2 - 1755853491398265808009278208231780376/4284798375290810585214\ 309292578715317*c_1101_3^10*u - 62028026271150122948070711202188318\ 4/4284798375290810585214309292578715317*c_1101_3^10 - 12100751932862095396538998508558912596/4284798375290810585214309292\ 578715317*c_1101_3^9*u - 10525465272448567057689459383301949904/428\ 4798375290810585214309292578715317*c_1101_3^9 - 11883986767635576269768721152942208968/4284798375290810585214309292\ 578715317*c_1101_3^8*u - 37874159444969003217183213129460436794/428\ 4798375290810585214309292578715317*c_1101_3^8 - 269714948180897204466475900840762082/142826612509693686173810309752\ 6238439*c_1101_3^7*u - 32029169260417725227137761182617004735/14282\ 66125096936861738103097526238439*c_1101_3^7 - 82248675190133641594993115964129726583/4284798375290810585214309292\ 578715317*c_1101_3^6*u - 281301278927833571190993166030114167728/42\ 84798375290810585214309292578715317*c_1101_3^6 - 127072981874148946625717010021457228415/142826612509693686173810309\ 7526238439*c_1101_3^5*u - 166246123647229043828539275957715948301/1\ 428266125096936861738103097526238439*c_1101_3^5 - 61498074911970814091927210424674443288/4760887083656456205793676991\ 75412813*c_1101_3^4*u - 87529722450313996173416430741367659727/1428\ 266125096936861738103097526238439*c_1101_3^4 - 69960415059868305055397630244956411741/1428266125096936861738103097\ 526238439*c_1101_3^3*u + 38682289576750899773959966632692663318/142\ 8266125096936861738103097526238439*c_1101_3^3 - 3585362750555862541058717277343103926/14282661250969368617381030975\ 26238439*c_1101_3^2*u + 20580153660412276986788811246284690845/1428\ 266125096936861738103097526238439*c_1101_3^2 - 670336037596226021312229734422298430/476088708365645620579367699175\ 412813*c_1101_3*u + 1931666294036523947560151572952350267/476088708\ 365645620579367699175412813*c_1101_3 + 843190868685472504224332259877495007/476088708365645620579367699175\ 412813*u + 472685640568223209416074292530867617/4760887083656456205\ 79367699175412813, c_0021_3 - 40147646199619882636017601350782360/142826612509693686173810\ 3097526238439*c_1101_3^10*u - 79898703617737519286505171945794780/1\ 428266125096936861738103097526238439*c_1101_3^10 + 39715842256308955507951986194052320/1428266125096936861738103097526\ 238439*c_1101_3^9*u - 522838850899919549057406307191020432/14282661\ 25096936861738103097526238439*c_1101_3^9 + 1633241799838796870774854276119507041/14282661250969368617381030975\ 26238439*c_1101_3^8*u - 278408555650393943099135357558376143/142826\ 6125096936861738103097526238439*c_1101_3^8 + 5760569524279884430081490673341306819/14282661250969368617381030975\ 26238439*c_1101_3^7*u + 1631013839865334304104306273530073799/14282\ 66125096936861738103097526238439*c_1101_3^7 + 12613288442783595430675635680059510651/1428266125096936861738103097\ 526238439*c_1101_3^6*u + 518637228538052631731040322489563353/47608\ 8708365645620579367699175412813*c_1101_3^6 + 14137019368914529557810594835615958543/1428266125096936861738103097\ 526238439*c_1101_3^5*u - 8013014138708628962701483037633906069/1428\ 266125096936861738103097526238439*c_1101_3^5 + 186155138472263608665308379817722255/476088708365645620579367699175\ 412813*c_1101_3^4*u - 17490710729194045518372734630676897580/142826\ 6125096936861738103097526238439*c_1101_3^4 - 6310406857070481075665538907269345613/14282661250969368617381030975\ 26238439*c_1101_3^3*u - 10290047395849326992621415744604972661/1428\ 266125096936861738103097526238439*c_1101_3^3 - 1382783398746017256045648592756130716/14282661250969368617381030975\ 26238439*c_1101_3^2*u - 4326456980874264705672104872443514427/14282\ 66125096936861738103097526238439*c_1101_3^2 - 478228541765195260745885311137319310/476088708365645620579367699175\ 412813*c_1101_3*u - 332161317758447198892940572787303252/4760887083\ 65645620579367699175412813*c_1101_3 + 152327925493107535761874461260426137/476088708365645620579367699175\ 412813*u + 243688044098259988585480060829261491/4760887083656456205\ 79367699175412813, c_0111_0 - 1, c_0111_2 - 161972222349715684185924779192793992/42847983752908105852143\ 09292578715317*c_1101_3^10*u - 25041930825556432296203859181780088/\ 476088708365645620579367699175412813*c_1101_3^10 - 322878541264730746600290925218465424/428479837529081058521430929257\ 8715317*c_1101_3^9*u - 1471995547708302893560308227479214972/428479\ 8375290810585214309292578715317*c_1101_3^9 + 2325214522651319703724445596324534846/42847983752908105852143092925\ 78715317*c_1101_3^8*u - 481542058978215870045392009211548176/142826\ 6125096936861738103097526238439*c_1101_3^8 + 2571525850341048922857729582674234101/14282661250969368617381030975\ 26238439*c_1101_3^7*u - 3891210282553002421251050464974253253/42847\ 98375290810585214309292578715317*c_1101_3^7 + 16308102813425267760783468577640477381/4284798375290810585214309292\ 578715317*c_1101_3^6*u - 21290522741958221502112859636227946219/428\ 4798375290810585214309292578715317*c_1101_3^6 - 6661135881253511953920528589688320850/42847983752908105852143092925\ 78715317*c_1101_3^5*u - 62649012036610014378397901928031396672/4284\ 798375290810585214309292578715317*c_1101_3^5 - 6859797868123917158090167068099600696/47608870836564562057936769917\ 5412813*c_1101_3^4*u - 24321162261809251094171022773792227999/14282\ 66125096936861738103097526238439*c_1101_3^4 - 13780285805984930106208191809596397132/1428266125096936861738103097\ 526238439*c_1101_3^3*u - 6274634372187368908560661741767537050/1428\ 266125096936861738103097526238439*c_1101_3^3 - 3511382486341784800975276807687157905/14282661250969368617381030975\ 26238439*c_1101_3^2*u - 2747854496923208171106820525194737132/14282\ 66125096936861738103097526238439*c_1101_3^2 - 971167124825130702868774780845482395/476088708365645620579367699175\ 412813*c_1101_3*u - 558923608467357680270085618542540709/4760887083\ 65645620579367699175412813*c_1101_3 + 53593979040507195947281294809510702/4760887083656456205793676991754\ 12813*u + 96277301943196881198602566340524785/476088708365645620579\ 367699175412813, c_1002_0 - 454577276817989460644062478651748676/42847983752908105852143\ 09292578715317*c_1101_3^10*u - 318052373294454357241759009661340104\ /4284798375290810585214309292578715317*c_1101_3^10 - 2474159891460350396606519748471175400/42847983752908105852143092925\ 78715317*c_1101_3^9*u - 3338657109325242459374950729940879500/42847\ 98375290810585214309292578715317*c_1101_3^9 + 202088159120060956384365391377943616/428479837529081058521430929257\ 8715317*c_1101_3^8*u - 8737175130769541815243610382414016049/428479\ 8375290810585214309292578715317*c_1101_3^8 + 3347257601787897621741611426931315659/14282661250969368617381030975\ 26238439*c_1101_3^7*u - 6642543124103048174867879295472723238/14282\ 66125096936861738103097526238439*c_1101_3^7 + 8871592243988723087842284705758910385/42847983752908105852143092925\ 78715317*c_1101_3^6*u - 64975025317222221518097345554010275872/4284\ 798375290810585214309292578715317*c_1101_3^6 - 6696949710792867161066452438236744528/47608870836564562057936769917\ 5412813*c_1101_3^5*u - 48033754466472541022756991019078245383/14282\ 66125096936861738103097526238439*c_1101_3^5 - 16938236252092307603548653717175789246/4760887083656456205793676991\ 75412813*c_1101_3^4*u - 42814085141248418236694943740039434993/1428\ 266125096936861738103097526238439*c_1101_3^4 - 10422937841431063413569403232300455543/4760887083656456205793676991\ 75412813*c_1101_3^3*u - 573034575306014786716972567699858263/476088\ 708365645620579367699175412813*c_1101_3^3 - 5336095830623319016523862918597527068/14282661250969368617381030975\ 26238439*c_1101_3^2*u + 8126688706697509424722363375488121513/14282\ 66125096936861738103097526238439*c_1101_3^2 - 204744668067274427228576538271229111/476088708365645620579367699175\ 412813*c_1101_3*u + 862639358992982078525503226800357849/4760887083\ 65645620579367699175412813*c_1101_3 + 383375995988326634140507964239063667/476088708365645620579367699175\ 412813*u + 309479253559761162413004152137193225/4760887083656456205\ 79367699175412813, c_1002_2 + 972580503548924973380529867889190600/42847983752908105852143\ 09292578715317*c_1101_3^10*u + 131475639552123812548662035797468855\ 6/4284798375290810585214309292578715317*c_1101_3^10 + 2303539093408853924006815971369483160/42847983752908105852143092925\ 78715317*c_1101_3^9*u + 9817166943962896657912880737675193384/42847\ 98375290810585214309292578715317*c_1101_3^9 - 17817158339308834833174877062430722313/4284798375290810585214309292\ 578715317*c_1101_3^8*u + 13036653964785785573156802138669714259/428\ 4798375290810585214309292578715317*c_1101_3^8 - 24069925970211324122310882499462535875/1428266125096936861738103097\ 526238439*c_1101_3^7*u + 3055319360332490669580904893423403535/1428\ 266125096936861738103097526238439*c_1101_3^7 - 147922415812754169126650718603761840966/428479837529081058521430929\ 2578715317*c_1101_3^6*u + 80102556439197700062142646810890681901/42\ 84798375290810585214309292578715317*c_1101_3^6 - 26365724672688449980447211133474494252/1428266125096936861738103097\ 526238439*c_1101_3^5*u + 34775450035748351681505336375444309850/476\ 088708365645620579367699175412813*c_1101_3^5 + 25076521543846469560134496896436257340/4760887083656456205793676991\ 75412813*c_1101_3^4*u + 48082212686615281218954341224929216594/4760\ 88708365645620579367699175412813*c_1101_3^4 + 82030056294515891721173640933208008352/1428266125096936861738103097\ 526238439*c_1101_3^3*u + 55763875208730831973070098851523860362/142\ 8266125096936861738103097526238439*c_1101_3^3 + 5789575265067744404274645776040727159/47608870836564562057936769917\ 5412813*c_1101_3^2*u + 1467100060281991103580649217242631770/476088\ 708365645620579367699175412813*c_1101_3^2 + 1794513427788077437104617346464280337/47608870836564562057936769917\ 5412813*c_1101_3*u + 1429589249483249773663056882763085122/47608870\ 8365645620579367699175412813*c_1101_3 - 204851366294461990127678513466196641/476088708365645620579367699175\ 412813*u - 575098531789041997474631507764233092/4760887083656456205\ 79367699175412813, c_1011_0 + 40147646199619882636017601350782360/142826612509693686173810\ 3097526238439*c_1101_3^10*u + 79898703617737519286505171945794780/1\ 428266125096936861738103097526238439*c_1101_3^10 - 39715842256308955507951986194052320/1428266125096936861738103097526\ 238439*c_1101_3^9*u + 522838850899919549057406307191020432/14282661\ 25096936861738103097526238439*c_1101_3^9 - 1633241799838796870774854276119507041/14282661250969368617381030975\ 26238439*c_1101_3^8*u + 278408555650393943099135357558376143/142826\ 6125096936861738103097526238439*c_1101_3^8 - 5760569524279884430081490673341306819/14282661250969368617381030975\ 26238439*c_1101_3^7*u - 1631013839865334304104306273530073799/14282\ 66125096936861738103097526238439*c_1101_3^7 - 12613288442783595430675635680059510651/1428266125096936861738103097\ 526238439*c_1101_3^6*u - 518637228538052631731040322489563353/47608\ 8708365645620579367699175412813*c_1101_3^6 - 14137019368914529557810594835615958543/1428266125096936861738103097\ 526238439*c_1101_3^5*u + 8013014138708628962701483037633906069/1428\ 266125096936861738103097526238439*c_1101_3^5 - 186155138472263608665308379817722255/476088708365645620579367699175\ 412813*c_1101_3^4*u + 17490710729194045518372734630676897580/142826\ 6125096936861738103097526238439*c_1101_3^4 + 6310406857070481075665538907269345613/14282661250969368617381030975\ 26238439*c_1101_3^3*u + 10290047395849326992621415744604972661/1428\ 266125096936861738103097526238439*c_1101_3^3 + 1382783398746017256045648592756130716/14282661250969368617381030975\ 26238439*c_1101_3^2*u + 4326456980874264705672104872443514427/14282\ 66125096936861738103097526238439*c_1101_3^2 + 478228541765195260745885311137319310/476088708365645620579367699175\ 412813*c_1101_3*u + 808250026124092819472308271962716065/4760887083\ 65645620579367699175412813*c_1101_3 + 323760782872538084817493237914986676/476088708365645620579367699175\ 412813*u + 232400664267385631993887638346151322/4760887083656456205\ 79367699175412813, c_1011_1 + 40147646199619882636017601350782360/142826612509693686173810\ 3097526238439*c_1101_3^10*u + 79898703617737519286505171945794780/1\ 428266125096936861738103097526238439*c_1101_3^10 - 39715842256308955507951986194052320/1428266125096936861738103097526\ 238439*c_1101_3^9*u + 522838850899919549057406307191020432/14282661\ 25096936861738103097526238439*c_1101_3^9 - 1633241799838796870774854276119507041/14282661250969368617381030975\ 26238439*c_1101_3^8*u + 278408555650393943099135357558376143/142826\ 6125096936861738103097526238439*c_1101_3^8 - 5760569524279884430081490673341306819/14282661250969368617381030975\ 26238439*c_1101_3^7*u - 1631013839865334304104306273530073799/14282\ 66125096936861738103097526238439*c_1101_3^7 - 12613288442783595430675635680059510651/1428266125096936861738103097\ 526238439*c_1101_3^6*u - 518637228538052631731040322489563353/47608\ 8708365645620579367699175412813*c_1101_3^6 - 14137019368914529557810594835615958543/1428266125096936861738103097\ 526238439*c_1101_3^5*u + 8013014138708628962701483037633906069/1428\ 266125096936861738103097526238439*c_1101_3^5 - 186155138472263608665308379817722255/476088708365645620579367699175\ 412813*c_1101_3^4*u + 17490710729194045518372734630676897580/142826\ 6125096936861738103097526238439*c_1101_3^4 + 6310406857070481075665538907269345613/14282661250969368617381030975\ 26238439*c_1101_3^3*u + 10290047395849326992621415744604972661/1428\ 266125096936861738103097526238439*c_1101_3^3 + 1382783398746017256045648592756130716/14282661250969368617381030975\ 26238439*c_1101_3^2*u + 4326456980874264705672104872443514427/14282\ 66125096936861738103097526238439*c_1101_3^2 + 478228541765195260745885311137319310/476088708365645620579367699175\ 412813*c_1101_3*u + 808250026124092819472308271962716065/4760887083\ 65645620579367699175412813*c_1101_3 - 152327925493107535761874461260426137/476088708365645620579367699175\ 412813*u - 243688044098259988585480060829261491/4760887083656456205\ 79367699175412813, c_1011_2 + 249332364398404672249500035165628580/42847983752908105852143\ 09292578715317*c_1101_3^10*u + 158426714554238853192895245876167116\ /4284798375290810585214309292578715317*c_1101_3^10 + 183850670016814202238524717926140700/476088708365645620579367699175\ 412813*c_1101_3^9*u + 662939435970110085693774507564027512/14282661\ 25096936861738103097526238439*c_1101_3^9 + 1161352104553899267537490086437139421/42847983752908105852143092925\ 78715317*c_1101_3^8*u + 6913610122517900438547555178292801428/42847\ 98375290810585214309292578715317*c_1101_3^8 - 6806031676969963065405406936629021377/42847983752908105852143092925\ 78715317*c_1101_3^7*u + 15519156433165365984611864856015004627/4284\ 798375290810585214309292578715317*c_1101_3^7 - 1573647825945423064448197994311620339/47608870836564562057936769917\ 5412813*c_1101_3^6*u + 14095559862493076328498370732221899099/14282\ 66125096936861738103097526238439*c_1101_3^6 + 11833416540636544942827392288813324291/4284798375290810585214309292\ 578715317*c_1101_3^5*u + 98405357828625577165806543991697614216/428\ 4798375290810585214309292578715317*c_1101_3^5 + 7736971276165504920180101113999578623/47608870836564562057936769917\ 5412813*c_1101_3^4*u + 40004407505409099913784981880994200356/14282\ 66125096936861738103097526238439*c_1101_3^4 + 8129122881339446026527017719403574527/47608870836564562057936769917\ 5412813*c_1101_3^3*u + 21033290315050839681846763960156195195/14282\ 66125096936861738103097526238439*c_1101_3^3 + 9771777285037532176257475404469858373/14282661250969368617381030975\ 26238439*c_1101_3^2*u + 5629199426332416818413409365247814358/14282\ 66125096936861738103097526238439*c_1101_3^2 + 949679709259076026245898462386184182/476088708365645620579367699175\ 412813*c_1101_3*u + 582677653645273574253448271384883598/4760887083\ 65645620579367699175412813*c_1101_3 - 70546114271233844358931663017026164/4760887083656456205793676991754\ 12813*u - 187479002919300547682354386231723667/47608870836564562057\ 9367699175412813, c_1011_3 - 153743234272936175588382249804934744/42847983752908105852143\ 09292578715317*c_1101_3^10*u - 62799696898930722525298736729067688/\ 4284798375290810585214309292578715317*c_1101_3^10 - 946575378871695680862673522486913804/428479837529081058521430929257\ 8715317*c_1101_3^9*u - 1100538691121209439791167439913817316/428479\ 8375290810585214309292578715317*c_1101_3^9 + 766050519107575517422896670698911354/428479837529081058521430929257\ 8715317*c_1101_3^8*u - 3300424591256169535014072139758897316/428479\ 8375290810585214309292578715317*c_1101_3^8 + 2347041508672642552575562235187567553/14282661250969368617381030975\ 26238439*c_1101_3^7*u - 2596970800373126988319713485093572640/42847\ 98375290810585214309292578715317*c_1101_3^7 + 5724081731771470124456045118630885796/42847983752908105852143092925\ 78715317*c_1101_3^6*u - 5449623065423855828175119382196878835/42847\ 98375290810585214309292578715317*c_1101_3^6 - 7939197489054967415248022285724749519/42847983752908105852143092925\ 78715317*c_1101_3^5*u - 9503498585797470827397125914387470031/42847\ 98375290810585214309292578715317*c_1101_3^5 - 604765429450198996424565601585627407/476088708365645620579367699175\ 412813*c_1101_3^4*u + 1324523362883391649276622031021070272/4760887\ 08365645620579367699175412813*c_1101_3^4 + 1312484758929502057868995415577657536/47608870836564562057936769917\ 5412813*c_1101_3^3*u + 6179657918302318591163616221891797892/142826\ 6125096936861738103097526238439*c_1101_3^3 + 287941929658954148577926339996139418/476088708365645620579367699175\ 412813*c_1101_3^2*u - 349963674679291842313345790929858443/47608870\ 8365645620579367699175412813*c_1101_3^2 - 527293312539859889830659218168737552/476088708365645620579367699175\ 412813*c_1101_3*u - 236968715081884471683838935867756003/4760887083\ 65645620579367699175412813*c_1101_3 + 39207606035857409059780811100637971/4760887083656456205793676991754\ 12813*u + 29461163004454897242500744617738329/476088708365645620579\ 367699175412813, c_1101_0 + 575020215416849108552115282704095756/42847983752908105852143\ 09292578715317*c_1101_3^10*u + 557748484147666915101274525498724444\ /4284798375290810585214309292578715317*c_1101_3^10 + 2355012364691423530082663789889018440/42847983752908105852143092925\ 78715317*c_1101_3^9*u + 4907173662025001106547169651513940796/42847\ 98375290810585214309292578715317*c_1101_3^9 - 5101813558636451568708928219736464739/42847983752908105852143092925\ 78715317*c_1101_3^8*u + 9572400797720723644541016455089144478/42847\ 98375290810585214309292578715317*c_1101_3^8 - 9107827126067782051823102100272622478/14282661250969368617381030975\ 26238439*c_1101_3^7*u + 1670509761412571290254524340647549813/47608\ 8708365645620579367699175412813*c_1101_3^7 - 46711457572339509379869191745937442338/4284798375290810585214309292\ 578715317*c_1101_3^6*u + 60307290260379747832517982651604205695/428\ 4798375290810585214309292578715317*c_1101_3^6 + 5953829763464071925388762479094275041/14282661250969368617381030975\ 26238439*c_1101_3^5*u + 56046768605181169985458474056712151452/1428\ 266125096936861738103097526238439*c_1101_3^5 + 16752081113620043994883345337358066991/4760887083656456205793676991\ 75412813*c_1101_3^4*u + 60304795870442463755067678370716332573/1428\ 266125096936861738103097526238439*c_1101_3^4 + 37579220381363671316373748604170712242/1428266125096936861738103097\ 526238439*c_1101_3^3*u + 12009151121767371352772333447704547450/142\ 8266125096936861738103097526238439*c_1101_3^3 + 6718879229369336272569511511353657784/14282661250969368617381030975\ 26238439*c_1101_3^2*u - 3800231725823244719050258503044607086/14282\ 66125096936861738103097526238439*c_1101_3^2 + 682973209832469687974461849408548421/476088708365645620579367699175\ 412813*c_1101_3*u - 54389332868889259053194954837641784/47608870836\ 5645620579367699175412813*c_1101_3 - 59615213115788549323014726324076991/4760887083656456205793676991754\ 12813*u - 77078589292375530419116513791041903/476088708365645620579\ 367699175412813, c_1101_3^11 - 59/13*c_1101_3^10*u + 50/13*c_1101_3^10 - 1247/52*c_1101_3^9*u - 477/52*c_1101_3^9 - 3569/52*c_1101_3^8*u - 1119/26*c_1101_3^8 - 2359/13*c_1101_3^7*u - 3515/52*c_1101_3^7 - 6503/26*c_1101_3^6*u + 2953/52*c_1101_3^6 - 387/26*c_1101_3^5*u + 15117/52*c_1101_3^5 + 4041/26*c_1101_3^4*u + 9513/52*c_1101_3^4 + 36*c_1101_3^3*u + 45/4*c_1101_3^3 + 489/52*c_1101_3^2*u + 237/26*c_1101_3^2 + 27/52*c_1101_3*u - 90/13*c_1101_3 - 27/52*u + 9/52, u^2 + u + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE FREE=VARIABLES=IN=COMPONENTS=BEGINS=HERE [ [ ], [ ] ] FREE=VARIABLES=IN=COMPONENTS=ENDS=HERE CPUTIME: 19.280 Total time: 19.489 seconds, Total memory usage: 64.12MB