Magma V2.19-8 Fri Sep 13 2013 01:28:06 on localhost [Seed = 4288614380] Type ? for help. Type -D to quit. Loading file "m053__sl3_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation m053 geometric_solution 3.33174423 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 4 1 2 3 1 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 0 0 -1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.020316072863 0.590569559842 0 0 2 2 0132 1302 0321 2310 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 -1 0 -1 0 1 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.941818622615 1.691279149514 1 0 1 3 3201 0132 0321 1230 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 -1 1 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.748677298943 0.451314970729 2 3 3 0 3012 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.474329364447 1.634845727920 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1020_2' : d['c_0102_3'], 'c_1020_3' : d['c_0102_3'], 'c_1020_0' : d['c_0012_1'], 'c_1020_1' : d['c_0021_3'], 'c_0201_0' : d['c_0102_2'], 'c_0201_1' : d['c_0102_2'], 'c_0201_2' : d['c_0102_0'], 'c_0201_3' : d['c_0201_3'], 'c_2100_0' : d['c_0021_3'], 'c_2100_1' : d['c_0012_0'], 'c_2100_2' : d['c_0102_2'], 'c_2100_3' : d['c_0021_3'], 'c_2010_2' : d['c_0201_3'], 'c_2010_3' : d['c_0201_3'], 'c_2010_0' : d['c_0012_0'], 'c_2010_1' : d['c_0012_3'], 'c_0102_0' : d['c_0102_0'], 'c_0102_1' : d['c_0102_0'], 'c_0102_2' : d['c_0102_2'], 'c_0102_3' : d['c_0102_3'], 'c_1101_0' : d['c_1101_0'], 'c_1101_1' : d['c_1101_1'], 'c_1101_2' : negation(d['c_1101_1']), 'c_1101_3' : d['c_1011_3'], 'c_1200_2' : d['c_0102_0'], 'c_1200_3' : d['c_0012_3'], 'c_1200_0' : d['c_0012_3'], 'c_1200_1' : d['c_0012_1'], 'c_1110_2' : d['c_0111_3'], 'c_1110_3' : d['c_1101_0'], 'c_1110_0' : negation(d['c_1011_1']), 'c_1110_1' : d['c_0111_2'], 'c_0120_0' : d['c_0102_0'], 'c_0120_1' : d['c_0102_0'], 'c_0120_2' : d['c_0012_3'], 'c_0120_3' : d['c_0102_0'], 'c_2001_0' : d['c_0201_3'], 'c_2001_1' : d['c_0102_2'], 'c_2001_2' : d['c_0012_0'], 'c_2001_3' : d['c_0102_3'], '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_0021_3'], 'c_0210_3' : d['c_0102_2'], 'c_0210_0' : d['c_0102_2'], 'c_0210_1' : d['c_0102_2'], 'c_1002_2' : d['c_0012_1'], 'c_1002_3' : d['c_0201_3'], 'c_1002_0' : d['c_0102_3'], 'c_1002_1' : d['c_0102_0'], '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']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY_DECOMPOSITION_TIME: 28.040 PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0012_3, c_0021_3, c_0102_0, c_0102_2, c_0102_3, c_0111_0, c_0111_2, c_0111_3, c_0201_3, c_1011_0, c_1011_1, c_1011_3, c_1101_0, c_1101_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 2 Groebner basis: [ t - 1/32*c_1101_0, c_0012_0 - 1, c_0012_1 + 1/2*c_1101_0 + 3/2, c_0012_3 + c_1101_0 + 1, c_0021_3 + c_1101_0 + 1, c_0102_0 + 1/2*c_1101_0 + 1/2, c_0102_2 + 1/2*c_1101_0 + 1/2, c_0102_3 + 1/2*c_1101_0 + 1/2, c_0111_0 - 1, c_0111_2 - c_1101_0 - 2, c_0111_3 - c_1101_0, c_0201_3 + 1/2*c_1101_0 + 1/2, c_1011_0 + c_1101_0 + 3, c_1011_1 + c_1101_0 + 2, c_1011_3 + c_1101_0, c_1101_0^2 + 3*c_1101_0 + 4, c_1101_1 - 1 ], Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0012_3, c_0021_3, c_0102_0, c_0102_2, c_0102_3, c_0111_0, c_0111_2, c_0111_3, c_0201_3, c_1011_0, c_1011_1, c_1011_3, c_1101_0, c_1101_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 4 Groebner basis: [ t + 75143041/1885020984000*c_1101_0*c_1101_1 + 19838771/16965188856000*c_1101_0 - 10873727/4207636125*c_1101_1 + 154151071/96393118500, c_0012_0 - 1, c_0012_1 - 9/40*c_1101_0*c_1101_1 + 13/40*c_1101_0 + 19/10, c_0012_3 - 39/40*c_1101_0*c_1101_1 - 31/24*c_1101_0 - 81/40*c_1101_1 - 87/40, c_0021_3 + 51/40*c_1101_0*c_1101_1 + 103/120*c_1101_0 + 81/40*c_1101_1 + 39/40, c_0102_0 + 9/20*c_1101_0*c_1101_1 + 1/4*c_1101_0 + 27/40*c_1101_1 + 9/40, c_0102_2 - 3/10*c_1101_0*c_1101_1 - 7/15*c_1101_0 - 27/40*c_1101_1 - 33/40, c_0102_3 + 9/10*c_1101_0 + 27/40*c_1101_1 + 81/40, c_0111_0 - 1, c_0111_2 - 3/2*c_1101_0*c_1101_1 - 5/6*c_1101_0 - 13/4*c_1101_1 - 3/4, c_0111_3 - 3/2*c_1101_0*c_1101_1 - 5/6*c_1101_0, c_0201_3 - 3/4*c_1101_0*c_1101_1 + 11/60*c_1101_0 - 27/40*c_1101_1 + 39/40, c_1011_0 - 9/4*c_1101_0*c_1101_1 - 11/4*c_1101_0 - 19/2*c_1101_1 - 19/2, c_1011_1 + c_1101_0 + 3/4*c_1101_1 + 13/4, c_1011_3 - 3/4*c_1101_0*c_1101_1 - 11/12*c_1101_0, c_1101_0^2 + 9/4*c_1101_0*c_1101_1 + 27/4*c_1101_0 + 70/9*c_1101_1 + 14, c_1101_1^2 + 14/9*c_1101_1 + 1 ], Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0012_3, c_0021_3, c_0102_0, c_0102_2, c_0102_3, c_0111_0, c_0111_2, c_0111_3, c_0201_3, c_1011_0, c_1011_1, c_1011_3, c_1101_0, c_1101_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 4 Groebner basis: [ t + 3703505/144*c_1101_0^3 + 10532539/72*c_1101_0^2 + 1209352/9*c_1101_0 - 5932721/9, c_0012_0 - 1, c_0012_1 + 1/36*c_1101_0^3 + 1/9*c_1101_0^2 + 11/36*c_1101_0 + 13/18, c_0012_3 - 1/36*c_1101_0^3 - 5/18*c_1101_0^2 - 11/36*c_1101_0 + 4/9, c_0021_3 - 1/36*c_1101_0^3 - 5/18*c_1101_0^2 - 11/36*c_1101_0 + 4/9, c_0102_0 - 1/18*c_1101_0^3 - 7/18*c_1101_0^2 - 11/18*c_1101_0 + 13/18, c_0102_2 - 1/18*c_1101_0^3 - 7/18*c_1101_0^2 - 11/18*c_1101_0 + 13/18, c_0102_3 - 1/6*c_1101_0^2 + 1/6, c_0111_0 - 1, c_0111_2 - 1/18*c_1101_0^3 - 2/9*c_1101_0^2 - 11/18*c_1101_0 - 4/9, c_0111_3 - c_1101_0, c_0201_3 - 1/6*c_1101_0^2 + 1/6, c_1011_0 + 1/9*c_1101_0^3 + 1/9*c_1101_0^2 - 7/9*c_1101_0 - 7/9, c_1011_1 + 1/18*c_1101_0^3 + 2/9*c_1101_0^2 + 11/18*c_1101_0 + 4/9, c_1011_3 + 1/9*c_1101_0^3 + 7/9*c_1101_0^2 - 7/9*c_1101_0 - 4/9, c_1101_0^4 + 6*c_1101_0^3 + 7*c_1101_0^2 - 24*c_1101_0 - 8, c_1101_1 - 1 ], Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0012_3, c_0021_3, c_0102_0, c_0102_2, c_0102_3, c_0111_0, c_0111_2, c_0111_3, c_0201_3, c_1011_0, c_1011_1, c_1011_3, c_1101_0, c_1101_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 5 Groebner basis: [ t - 1179536539/216513*c_1101_0^4 + 9149659220/216513*c_1101_0^3 - 27265000027/216513*c_1101_0^2 + 10766392852/72171*c_1101_0 - 14562381604/216513, c_0012_0 - 1, c_0012_1 - 1, c_0012_3 - 3/11*c_1101_0^4 + 23/11*c_1101_0^3 - 71/11*c_1101_0^2 + 90/11*c_1101_0 - 27/11, c_0021_3 - 3/11*c_1101_0^4 + 23/11*c_1101_0^3 - 71/11*c_1101_0^2 + 90/11*c_1101_0 - 27/11, c_0102_0 + 1/11*c_1101_0^4 - 4/11*c_1101_0^3 - 2/11*c_1101_0^2 + 36/11*c_1101_0 - 35/11, c_0102_2 + 1/11*c_1101_0^4 - 4/11*c_1101_0^3 - 2/11*c_1101_0^2 + 36/11*c_1101_0 - 35/11, c_0102_3 - 4/11*c_1101_0^4 + 27/11*c_1101_0^3 - 69/11*c_1101_0^2 + 65/11*c_1101_0 - 14/11, c_0111_0 - 1, c_0111_2 + 4/11*c_1101_0^4 - 27/11*c_1101_0^3 + 69/11*c_1101_0^2 - 54/11*c_1101_0 + 3/11, c_0111_3 - c_1101_0, c_0201_3 - 4/11*c_1101_0^4 + 27/11*c_1101_0^3 - 69/11*c_1101_0^2 + 65/11*c_1101_0 - 14/11, c_1011_0 - 4/11*c_1101_0^4 + 27/11*c_1101_0^3 - 69/11*c_1101_0^2 + 65/11*c_1101_0 - 14/11, c_1011_1 - 4/11*c_1101_0^4 + 27/11*c_1101_0^3 - 69/11*c_1101_0^2 + 54/11*c_1101_0 - 3/11, c_1011_3 - 1/11*c_1101_0^4 + 15/11*c_1101_0^3 - 53/11*c_1101_0^2 + 52/11*c_1101_0 - 9/11, c_1101_0^5 - 8*c_1101_0^4 + 25*c_1101_0^3 - 33*c_1101_0^2 + 19*c_1101_0 - 3, c_1101_1 - 1 ], Ideal of Polynomial ring of rank 17 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0012_3, c_0021_3, c_0102_0, c_0102_2, c_0102_3, c_0111_0, c_0111_2, c_0111_3, c_0201_3, c_1011_0, c_1011_1, c_1011_3, c_1101_0, c_1101_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 5737521275751577381364252630095377184547605114/79952586810906376334\ 9644907526832302856352475*c_1101_1^19 + 18449051218276913359682911586619568945030602229/3198103472436255053\ 39857963010732921142540990*c_1101_1^18 + 31756106100225356094092878146775661687681889479/2132068981624170035\ 59905308673821947428360660*c_1101_1^17 + 2488375836240021728731527619465580003657687248439/85282759264966801\ 42396212346952877897134426400*c_1101_1^16 + 17152319714210231861140634479584275834534709915349/5116965555898008\ 0854377274081717267382806558400*c_1101_1^15 + 292065407026192416666834610228318509452112181420961/409357244471840\ 646835018192653738139062452467200*c_1101_1^14 + 2287050327536237563606062250053408063370670834780593/16374289778873\ 62587340072770614952556249809868800*c_1101_1^13 + 6786764258011607966326552614537873756045654114181063/32748579557747\ 25174680145541229905112499619737600*c_1101_1^12 + 752592249886849834545549019707868080031056683272049/485164141596255\ 581434095635737763720370314035200*c_1101_1^11 - 55833156146598538578021295044033465738143881515246151/1047954545847\ 91205589764657319356963599987831603200*c_1101_1^10 - 106633874307592451038588528330148493209211400013367293/465757575932\ 40535817673181030825317155550147379200*c_1101_1^9 - 26033284850503858610309741599376861112979044422728057/1232887700997\ 5435951737018508159642776469156659200*c_1101_1^8 + 5386168032112812246446457135731866375543213268123651/20959090916958\ 241117952931463871392719997566320640*c_1101_1^7 + 10942052580610961504445169610240290850894771258833867/5239772729239\ 560279488232865967848179999391580160*c_1101_1^6 + 13564257305289076496123236384131629940681284742992159/6549715911549\ 450349360291082459810224999239475200*c_1101_1^5 + 586970138528279511505149186936337680314589483485381/545809659295787\ 529113357590204984185416603289600*c_1101_1^4 + 819502449528855153413991471066642841024446474569/223692483317945708\ 6530154058217148300887718400*c_1101_1^3 + 35219480729230280442447954119705382205589004424337/1023393111179601\ 61708754548163434534765613116800*c_1101_1^2 + 6431139916278014896476396869564143353075063779569/25584827779490040\ 427188637040858633691403279200*c_1101_1 + 41506346249990952752376525836022839998147388773/3553448302706950059\ 33175514456369912380601100, c_0012_0 - 1, c_0012_1 - 1, c_0012_3 - 50417697450420857834989203500252/108652622084846992298650760\ 707905*c_1101_1^19 - 112710525338894124309760333731727/362175406949\ 48997432883586902635*c_1101_1^18 - 307421529649413164935315592254045/43461048833938796919460304283162*\ c_1101_1^17 - 7094515070952833782058448014216683/579480651119183958\ 926137390442160*c_1101_1^16 - 12507467732103804436556547983713081/6\ 95376781343020750711364868530592*c_1101_1^15 - 990404240652354417985489069674768653/278150712537208300284545947412\ 23680*c_1101_1^14 - 2235756423915605490032467555026748951/370867616\ 71627773371272792988298240*c_1101_1^13 - 1883802544773546457396221465924892511/24724507781085182247515195325\ 532160*c_1101_1^12 - 41001125836995671629672893108007402151/8900822\ 80119066560910547031719157760*c_1101_1^11 + 163163490029071717188450481915131464219/712065824095253248728437625\ 3753262080*c_1101_1^10 + 2178473222903237110678678802695117946297/2\ 8482632963810129949137505015013048320*c_1101_1^9 + 217867658711476367641240597143472735387/356032912047626624364218812\ 6876631040*c_1101_1^8 - 3490091338532516541759035428523710039/29669\ 4093373022186970182343906385920*c_1101_1^7 - 10083059629824463818183331821295760891/1483470466865110934850911719\ 53192960*c_1101_1^6 - 8139994835030114602503693064703544491/1112602\ 85014883320113818378964894720*c_1101_1^5 - 250457833978783358061239635258006097/556301425074416600569091894824\ 4736*c_1101_1^4 - 55284426552141312183859323067112257/2317922604476\ 735835704549561768640*c_1101_1^3 - 26704788547067027846771567004707551/1738441953357551876778412171326\ 480*c_1101_1^2 - 536302373401633737957795967167729/4829005425993199\ 6577178115870180*c_1101_1 - 125075929895346335960052223225795/21730\ 524416969398459730152141581, c_0021_3 + 80677481020357170676362453849436/108652622084846992298650760\ 707905*c_1101_1^19 + 344387603405119508118044865579949/108652622084\ 846992298650760707905*c_1101_1^18 + 1346460914870064253383076019492897/21730524416969398459730152141581\ 0*c_1101_1^17 + 1106775472246984328515648837558927/1158961302238367\ 91785227478088432*c_1101_1^16 + 52776922424314997957467250217870637\ /3476883906715103753556824342652960*c_1101_1^15 + 286671741598778022490340226865725199/927169041790694334281819824707\ 4560*c_1101_1^14 + 5343000203165696842852059575632365701/1112602850\ 14883320113818378964894720*c_1101_1^13 + 11048948400669635824993250485177909607/2225205700297666402276367579\ 29789440*c_1101_1^12 + 11672023822668423428415329889295643111/89008\ 2280119066560910547031719157760*c_1101_1^11 - 274335465862385943207299556346596402811/712065824095253248728437625\ 3753262080*c_1101_1^10 - 1678007412962389797866487796394840773817/2\ 8482632963810129949137505015013048320*c_1101_1^9 - 45661224234216725914158476873315850187/1780164560238133121821094063\ 438315520*c_1101_1^8 + 53353430942182806089804513457711009707/17801\ 64560238133121821094063438315520*c_1101_1^7 + 24360430896188868394046922100776319057/4450411400595332804552735158\ 59578880*c_1101_1^6 + 328466897988453976742454157558769473/74173523\ 34325554674254558597659648*c_1101_1^5 + 658638138436781729676905094630082831/278150712537208300284545947412\ 23680*c_1101_1^4 + 5354122853629683436610217815942377/4635845208953\ 47167140909912353728*c_1101_1^3 + 651674369323687279580486795874471\ 7/869220976678775938389206085663240*c_1101_1^2 + 573992768116300726169436693723263/108652622084846992298650760707905\ *c_1101_1 + 34183714405194031225130507225512/2173052441696939845973\ 0152141581, c_0102_0 + 38629940733936499248619981649152/120725135649829991442945289\ 67545*c_1101_1^19 + 834753427760006643471188563905536/1086526220848\ 46992298650760707905*c_1101_1^18 + 537934187023885627872426603202736/36217540694948997432883586902635*\ c_1101_1^17 + 2174164621968434940282692622278948/108652622084846992\ 298650760707905*c_1101_1^16 + 876316708923500560764806856833057/217\ 30524416969398459730152141581*c_1101_1^15 + 10547470038226789811103165525732007/1448701627797959897315343476105\ 40*c_1101_1^14 + 29634745822914104868769092167261747/28974032555959\ 1979463068695221080*c_1101_1^13 + 112281051520202281284858908720990\ 729/1390753562686041501422729737061184*c_1101_1^12 - 13903908577745064410469778326586129/1390753562686041501422729737061\ 184*c_1101_1^11 - 2054841367987795734601442160650888635/22252057002\ 976664022763675792978944*c_1101_1^10 - 319563155283499786221625078970194081/309056347263564778093939941569\ 1520*c_1101_1^9 - 22110269049395559670599736143330990943/1780164560\ 238133121821094063438315520*c_1101_1^8 + 35013241998733435750153152225649075313/4450411400595332804552735158\ 59578880*c_1101_1^7 + 11763339018670787266753629899184322727/111260\ 285014883320113818378964894720*c_1101_1^6 + 144590848424785604466970429244959075/185433808358138866856363964941\ 4912*c_1101_1^5 + 16846936075192655198498524223725117/4635845208953\ 47167140909912353728*c_1101_1^4 + 363498677053196012386181043910384\ 13/1738441953357551876778412171326480*c_1101_1^3 + 2707062529577324107782967309092563/21730524416969398459730152141581\ 0*c_1101_1^2 + 529219660490303630027698297169411/724350813898979948\ 65767173805270*c_1101_1 + 7542697028610679982463948760156/350492329\ 3059580396730669700255, c_0102_2 - 21457530119436547091356619025796/217305244169693984597301521\ 41581*c_1101_1^19 - 10655586559061043687162655044243/24145027129965\ 99828858905793509*c_1101_1^18 - 194414116626915157250003846927603/2\ 4145027129965998288589057935090*c_1101_1^17 - 22792934552193372861720282747389411/1738441953357551876778412171326\ 480*c_1101_1^16 - 69749084768878571606469053095671631/3476883906715\ 103753556824342652960*c_1101_1^15 - 1181357406444345497993106527579759431/27815071253720830028454594741\ 223680*c_1101_1^14 - 7063077198743262001743897548825160767/11126028\ 5014883320113818378964894720*c_1101_1^13 - 14907710026143677934677221535815981789/2225205700297666402276367579\ 29789440*c_1101_1^12 - 3007453766335479690600048822340097473/178016\ 456023813312182109406343831552*c_1101_1^11 + 362392576878379450863764569146321241201/712065824095253248728437625\ 3753262080*c_1101_1^10 + 239848472609816166748873044919215259299/31\ 64736995978903327681945001668116480*c_1101_1^9 + 82413945657471716073732557508804897323/2373552746984177495761458751\ 251087360*c_1101_1^8 - 78216729016989473639987189927079716521/17801\ 64560238133121821094063438315520*c_1101_1^7 - 1078285741731967298313284469309596321/14834704668651109348509117195\ 319296*c_1101_1^6 - 3330314893356431398816484840567282051/556301425\ 07441660056909189482447360*c_1101_1^5 - 87185103986930733622253692274411407/3090563472635647780939399415691\ 520*c_1101_1^4 - 89196866268330735653311917826834139/69537678134302\ 07507113648685305920*c_1101_1^3 - 137728017801867327800926028668329\ 8/108652622084846992298650760707905*c_1101_1^2 - 3296743889774270310206958098916869/43461048833938796919460304283162\ 0*c_1101_1 - 426466497016896597002614377470191/10865262208484699229\ 8650760707905, c_0102_3 - 2698700793087071281873026287956/1168307764353193465576889900\ 085*c_1101_1^19 - 491337823747360232010271973792731/108652622084846\ 992298650760707905*c_1101_1^18 - 1842964397134335746254928573280983\ /217305244169693984597301521415810*c_1101_1^17 - 17205294378006609982328980328626919/1738441953357551876778412171326\ 480*c_1101_1^16 - 82858716082106859201000045186814571/3476883906715\ 103753556824342652960*c_1101_1^15 - 226918910642320009645556617529519999/556301425074416600569091894824\ 4736*c_1101_1^14 - 1193356427171619956409905362202334311/2225205700\ 2976664022763675792978944*c_1101_1^13 - 711046470785923479346565145058892921/247245077810851822475151953255\ 32160*c_1101_1^12 + 4573465899470717169928319356108085251/178016456\ 023813312182109406343831552*c_1101_1^11 + 406958908109059522041339345436288540061/712065824095253248728437625\ 3753262080*c_1101_1^10 + 1159009263031160995532327574931674468527/2\ 8482632963810129949137505015013048320*c_1101_1^9 - 72673369715238509511740215027595308267/3560329120476266243642188126\ 876631040*c_1101_1^8 - 15231279528968014459748456432680544933/29669\ 4093373022186970182343906385920*c_1101_1^7 - 20348205270200489639164191185974502083/4450411400595332804552735158\ 59578880*c_1101_1^6 - 1350115548752044244144394810202396001/5563014\ 2507441660056909189482447360*c_1101_1^5 - 274941254749249170445202620595274433/278150712537208300284545947412\ 23680*c_1101_1^4 - 69050840243059791273500469265068971/695376781343\ 0207507113648685305920*c_1101_1^3 - 11576443442885698775694878014651657/1738441953357551876778412171326\ 480*c_1101_1^2 - 378667506655302772934358633108617/8692209766787759\ 3838920608566324*c_1101_1 - 3047177317367844885690679929044/3621754\ 0694948997432883586902635, c_0111_0 - 1, c_0111_2 + 266991985585071322561217380992932/10865262208484699229865076\ 0707905*c_1101_1^19 + 490365824354887135353143698325587/10865262208\ 4846992298650760707905*c_1101_1^18 + 1881144207273249513851483599723519/21730524416969398459730152141581\ 0*c_1101_1^17 + 18185001867790194116788349393079263/173844195335755\ 1876778412171326480*c_1101_1^16 + 874337510034450917649018468754184\ 83/3476883906715103753556824342652960*c_1101_1^15 + 129455446949245508473420788927041083/309056347263564778093939941569\ 1520*c_1101_1^14 + 6036742192833319426755271816596145147/1112602850\ 14883320113818378964894720*c_1101_1^13 + 768446649173636575620463878908956337/247245077810851822475151953255\ 32160*c_1101_1^12 - 2285613923602807183457332002034529519/988980311\ 24340728990060781302128640*c_1101_1^11 - 383213771893708691865161935061687960389/712065824095253248728437625\ 3753262080*c_1101_1^10 - 1267086626130344231952008931394467876679/2\ 8482632963810129949137505015013048320*c_1101_1^9 + 654193199578365728987742798055134979/494490155621703644950303906510\ 64320*c_1101_1^8 + 1926656378950020820240179898775228701/3955921244\ 9736291596024312520851456*c_1101_1^7 + 22692925178494280672967597495960971851/4450411400595332804552735158\ 59578880*c_1101_1^6 + 83298831903562813708475853140355609/247245077\ 8108518224751519532553216*c_1101_1^5 + 352178026074777582233006358793424189/278150712537208300284545947412\ 23680*c_1101_1^4 + 65087628016833153405319150325017997/695376781343\ 0207507113648685305920*c_1101_1^3 + 862301285014484727065400255525107/173844195335755187677841217132648\ *c_1101_1^2 + 21192860948645271688436226628307/70098465861191607934\ 61339400510*c_1101_1 + 62905035860960923330729875437276/10865262208\ 4846992298650760707905, c_0111_3 - 474706176073171447110572605532/35858951183117819240478798913\ 5*c_1101_1^19 - 103334892851515056062915252645953/36217540694948997\ 432883586902635*c_1101_1^18 - 364531819133527186581541768607461/724\ 35081389897994865767173805270*c_1101_1^17 - 3761813573658852793803427190364421/57948065111918395892613739044216\ 0*c_1101_1^16 - 3298719641420798826261562976613997/2317922604476735\ 83570454956176864*c_1101_1^15 - 47855303268001845474973788123550541\ /1854338083581388668563639649414912*c_1101_1^14 - 409172317984896660713804999593313363/123622538905425911237575976627\ 66080*c_1101_1^13 - 1533898273348698840687146671659151363/741735233\ 43255546742545585976596480*c_1101_1^12 + 3940687387424393615347683147154516573/29669409337302218697018234390\ 6385920*c_1101_1^11 + 79725469110175549451051552837277708743/237355\ 2746984177495761458751251087360*c_1101_1^10 + 49601652491070072458290255546803222425/1898842197587341996609167001\ 000869888*c_1101_1^9 - 18639285872546702457297228782815735/24724507\ 78108518224751519532553216*c_1101_1^8 - 3552454526217224750083185785505321023/11867763734920887478807293756\ 2554368*c_1101_1^7 - 4174238857158259248600646826097130849/14834704\ 6686511093485091171953192960*c_1101_1^6 - 669031371603702218553453332004512467/370867616716277733712727929882\ 98240*c_1101_1^5 - 17509537573447229591906639448757051/185433808358\ 1388668563639649414912*c_1101_1^4 - 15687376649672919407623239433243099/2317922604476735835704549561768\ 640*c_1101_1^3 - 1206787934029103523402919106217143/289740325559591\ 979463068695221080*c_1101_1^2 - 66906225031412446447612728262233/24\ 145027129965998288589057935090*c_1101_1 - 241539791565841928269212637232/12072513564982999144294528967545, c_0201_3 + 60731177736868345976306961702188/108652622084846992298650760\ 707905*c_1101_1^19 + 43854724541487577348130263164281/1086526220848\ 46992298650760707905*c_1101_1^18 + 352869046807519130892810919225253/217305244169693984597301521415810\ *c_1101_1^17 + 2065329734272271025381417623267309/17384419533575518\ 76778412171326480*c_1101_1^16 + 17826638512846919696405714662442401\ /3476883906715103753556824342652960*c_1101_1^15 + 29239399929096949318436874155602549/5563014250744166005690918948244\ 736*c_1101_1^14 + 63750654180531452415182734203102431/7417352334325\ 554674254558597659648*c_1101_1^13 + 682982093268685802125114654377813299/222520570029766640227636757929\ 789440*c_1101_1^12 - 340368109476755846156809802525276305/178016456\ 023813312182109406343831552*c_1101_1^11 - 25761995769190451067938185886057831551/7120658240952532487284376253\ 753262080*c_1101_1^10 - 144074195430968375283871730398121784917/284\ 82632963810129949137505015013048320*c_1101_1^9 + 11671919573555388253630693349089775303/2373552746984177495761458751\ 251087360*c_1101_1^8 + 2490124864388981166154522565007465229/890082\ 280119066560910547031719157760*c_1101_1^7 + 607387430135307027671064856051139267/111260285014883320113818378964\ 894720*c_1101_1^6 + 202785555045823630981047872589588167/1112602850\ 14883320113818378964894720*c_1101_1^5 + 7241160245122315627374119881032359/13907535626860415014227297370611\ 840*c_1101_1^4 + 2554236312167568609107625552956981/434610488339387\ 969194603042831620*c_1101_1^3 + 1929672608150007931311962984077111/\ 869220976678775938389206085663240*c_1101_1^2 + 24035808118307768841868702678097/9658010851986399315435623174036*c_\ 1101_1 + 10315594876298418993229716138134/3621754069494899743288358\ 6902635, c_1011_0 + 166138760173476547389754618724/31493513647781736898159640784\ 9*c_1101_1^19 + 726897700639781702081661251743/15746756823890868449\ 07982039245*c_1101_1^18 + 5583454773757109225786695115417/944805409\ 4334521069447892235470*c_1101_1^17 + 8943341750697462279533334909409/75584432754676168555583137883760*c_\ 1101_1^16 + 82464487842496725338267404890113/3023377310187046742223\ 3255153504*c_1101_1^15 + 4126264610097724935264836452860589/1209350\ 924074818696889330206140160*c_1101_1^14 + 3704268611652954853877436521033557/48374036962992747875573208245606\ 40*c_1101_1^13 - 2329909550258351758996896031183807/312090561051566\ 115326278762874880*c_1101_1^12 - 5707407124702853538815105618514665\ 7/4299914396710466477828729621831680*c_1101_1^11 - 1357634484974307806436323199964219963/30959383656315358640366853277\ 1880960*c_1101_1^10 + 9277829065935263314179776833298211799/1238375\ 346252614345614674131087523840*c_1101_1^9 + 4362550620535229842358490686521314853/30959383656315358640366853277\ 1880960*c_1101_1^8 + 195512716860447943821706005947965441/386992295\ 70394198300458566596485120*c_1101_1^7 - 5300774735406417695143233196413971/10749785991776166194571824054579\ 20*c_1101_1^6 - 24274722638260016974712436917191103/483740369629927\ 4787557320824560640*c_1101_1^5 - 848426833021906412657907646338655/\ 241870184814963739377866041228032*c_1101_1^4 - 70135963505147153514327712436557/151168865509352337111166275767520*\ c_1101_1^3 - 3261828149085481387271691148991/1511688655093523371111\ 6627576752*c_1101_1^2 - 8223453917440191985535811576973/94480540943\ 34521069447892235470*c_1101_1 - 2648443257245924260430430412583/472\ 4027047167260534723946117735, c_1011_1 - 5007517337510190155631575394416/3621754069494899743288358690\ 2635*c_1101_1^19 - 227801274039640735741310782779676/10865262208484\ 6992298650760707905*c_1101_1^18 - 79055583832894714085714623338974/\ 21730524416969398459730152141581*c_1101_1^17 - 560082049820417458696571397213847/86922097667877593838920608566324*\ c_1101_1^16 - 7195886239930858033362639028627823/869220976678775938\ 389206085663240*c_1101_1^15 - 138436505469664903486080783678676759/\ 6953767813430207507113648685305920*c_1101_1^14 - 886887539369645724544413505178707183/278150712537208300284545947412\ 23680*c_1101_1^13 - 688311424039352323714878935719304479/1854338083\ 5813886685636396494149120*c_1101_1^12 - 684794071570859183113500658328061713/445041140059533280455273515859\ 57888*c_1101_1^11 + 43391847407194184777234442933015739553/17801645\ 60238133121821094063438315520*c_1101_1^10 + 278155515848507851438437503659230681707/712065824095253248728437625\ 3753262080*c_1101_1^9 + 8625199657730619533229979503899611175/35603\ 2912047626624364218812687663104*c_1101_1^8 - 85997650685937889613812195187554907/4785388602790680435002941030748\ 160*c_1101_1^7 - 4050157062828335792294510806172722447/111260285014\ 883320113818378964894720*c_1101_1^6 - 111105594935164840597642106580176117/347688390671510375355682434265\ 2960*c_1101_1^5 - 33971617397611424110341097376455711/1738441953357\ 551876778412171326480*c_1101_1^4 - 2500428348946940808205102197926413/34768839067151037535568243426529\ 6*c_1101_1^3 - 143321068489466872776268102943390/217305244169693984\ 59730152141581*c_1101_1^2 - 355305523613430246257579940637786/10865\ 2622084846992298650760707905*c_1101_1 - 55174191743869623306814884112211/36217540694948997432883586902635, c_1011_3 + 66084764749096902764286721364/524891894129695614969327346415\ *c_1101_1^19 - 308005209666638314817824944057/524891894129695614969\ 327346415*c_1101_1^18 - 2937286617491334692280595899487/31493513647\ 78173689815964078490*c_1101_1^17 - 51310599402791652606775686775271/25194810918225389518527712627920*c\ _1101_1^16 - 85624086018451989952055197548563/503896218364507790370\ 55425255840*c_1101_1^15 - 2220302229595982205829716802924667/403116\ 974691606232296443402046720*c_1101_1^14 - 16021018914629219935035663194473139/1612467898766424929185773608186\ 880*c_1101_1^13 - 1435534167907049282005397765529367/10403018701718\ 8705108759587624960*c_1101_1^12 - 714600022193010893149521030392958\ 3/859982879342093295565745924366336*c_1101_1^11 + 740590714376526904235036816990435933/103197945521051195467889510923\ 960320*c_1101_1^10 + 5515540570400578427578286128116443839/41279178\ 2084204781871558043695841280*c_1101_1^9 + 1141692296338355191267117561140686539/10319794552105119546788951092\ 3960320*c_1101_1^8 - 1602655059854046036557621269860323/32249357975\ 3284985837154721637376*c_1101_1^7 - 25393618375127024755824920112991661/2149957198355233238914364810915\ 840*c_1101_1^6 - 7777018804420679449611162774080203/806233949383212\ 464592886804093440*c_1101_1^5 - 3021923565092581174807678229258669/\ 403116974691606232296443402046720*c_1101_1^4 - 320833631450534652421720878316229/100779243672901558074110850511680\ *c_1101_1^3 - 46469103258955410381284805652169/12597405459112694759\ 263856313960*c_1101_1^2 - 11235727695137104254468696757883/62987027\ 29556347379631928156980*c_1101_1 - 1125447658128156306415574805509/1574675682389086844907982039245, c_1101_0 + 15730441449637803916486447906444/724350813898979948657671738\ 0527*c_1101_1^19 + 17569103313847966417930746067537/724350813898979\ 9486576717380527*c_1101_1^18 + 350802852935129535132594113297081/72\ 435081389897994865767173805270*c_1101_1^17 + 2001217793866086936132517461449993/57948065111918395892613739044216\ 0*c_1101_1^16 + 18025057040794475689183163024101093/115896130223836\ 7917852274780884320*c_1101_1^15 + 193616177110980144761153317644297\ 653/9271690417906943342818198247074560*c_1101_1^14 + 268803553153279653763541421144093647/123622538905425911237575976627\ 66080*c_1101_1^13 - 620106283799638856819820307700539153/7417352334\ 3255546742545585976596480*c_1101_1^12 - 2437547395251384634127440663140110701/59338818674604437394036468781\ 277184*c_1101_1^11 - 77797172826760927644133857901408527283/2373552\ 746984177495761458751251087360*c_1101_1^10 - 15462399879043196592859186764917247233/9494210987936709983045835005\ 004349440*c_1101_1^9 + 17658374032504967204893334451843491113/39559\ 2124497362915960243125208514560*c_1101_1^8 + 9899425186439865303692100331052140699/29669409337302218697018234390\ 6385920*c_1101_1^7 + 276505134592476431332409864085574153/296694093\ 37302218697018234390638592*c_1101_1^6 - 142524656736864401805959631693473957/185433808358138866856363964941\ 49120*c_1101_1^5 - 89534874537511205106751645809338981/927169041790\ 6943342818198247074560*c_1101_1^4 + 6347424421373658369799475102180237/23179226044767358357045495617686\ 40*c_1101_1^3 + 36919321242782984531143259726819/579480651119183958\ 926137390442160*c_1101_1^2 + 52457270980310319960163711443549/48290\ 054259931996577178115870180*c_1101_1 - 29448185040483591951335930361934/12072513564982999144294528967545, c_1101_1^20 + 11/4*c_1101_1^19 + 47/8*c_1101_1^18 + 551/64*c_1101_1^17 + 2083/128*c_1101_1^16 + 29627/1024*c_1101_1^15 + 180819/4096*c_1101_1^14 + 355097/8192*c_1101_1^13 + 497633/32768*c_1101_1^12 - 6306461/262144*c_1101_1^11 - 47436831/1048576*c_1101_1^10 - 6306461/262144*c_1101_1^9 + 497633/32768*c_1101_1^8 + 355097/8192*c_1101_1^7 + 180819/4096*c_1101_1^6 + 29627/1024*c_1101_1^5 + 2083/128*c_1101_1^4 + 551/64*c_1101_1^3 + 47/8*c_1101_1^2 + 11/4*c_1101_1 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE FREE=VARIABLES=IN=COMPONENTS=BEGINS=HERE [ [ ], [ ], [ ], [ ], [ ] ] FREE=VARIABLES=IN=COMPONENTS=ENDS=HERE CPUTIME: 28.050 Total time: 28.250 seconds, Total memory usage: 161.84MB