Magma V2.19-8 Fri Nov 22 2013 02:40:36 on localhost [Seed = 3127370490] Type ? for help. Type -D to quit. Loading file "m137__sl3_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation m137 geometric_solution 3.66386238 oriented_manifold CS_unknown 1 0 torus 0.000000000000 0.000000000000 4 1 2 2 3 0132 0132 3120 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 0 1 -1 0 0 -1 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.000000000000 1.000000000000 0 2 3 3 0132 0321 0132 3201 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 0 0 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.500000000000 0.500000000000 3 0 0 1 0213 0132 3120 0321 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 0 0 0 0 0 1 -1 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.000000000000 1.000000000000 2 1 0 1 0213 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.000000000000 1.000000000000 ==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_0201_0'], 'c_1020_0' : d['c_1002_2'], 'c_1020_1' : d['c_1002_0'], 'c_0201_0' : d['c_0201_0'], 'c_0201_1' : d['1'], 'c_0201_2' : d['c_0021_3'] * d['u'] ** 1, 'c_0201_3' : d['1'], 'c_2100_0' : d['c_0012_3'] * d['u'] ** 2, 'c_2100_1' : d['c_0012_3'] * d['u'] ** 2, 'c_2100_2' : d['c_0102_0'], 'c_2100_3' : d['c_0012_3'] * d['u'] ** 1, 'c_2010_2' : d['c_1002_2'], 'c_2010_3' : d['c_0102_0'], 'c_2010_0' : d['c_1002_0'], 'c_2010_1' : d['c_1002_2'], 'c_0102_0' : d['c_0102_0'], 'c_0102_1' : d['c_0012_1'], 'c_0102_2' : d['c_0012_3'] * d['u'] ** 2, 'c_0102_3' : d['c_0012_1'], 'c_1101_0' : d['c_1101_0'], 'c_1101_1' : d['c_1101_1'], 'c_1101_2' : negation(d['c_1101_0']), 'c_1101_3' : d['c_1101_3'], 'c_1200_2' : d['c_0201_0'], 'c_1200_3' : d['c_0021_3'] * d['u'] ** 2, 'c_1200_0' : d['c_0021_3'] * d['u'] ** 1, 'c_1200_1' : d['c_0021_3'] * d['u'] ** 1, 'c_1110_2' : negation(d['c_1011_1']), 'c_1110_3' : d['c_1101_1'] * d['u'] ** 2, 'c_1110_0' : d['c_1101_3'] * d['u'] ** 1, 'c_1110_1' : negation(d['c_1011_3']) * d['u'] ** 2, 'c_0120_0' : d['c_0012_1'] * d['u'] ** 1, 'c_0120_1' : d['c_0102_0'] * d['u'] ** 2, 'c_0120_2' : d['1'], 'c_0120_3' : d['c_0012_1'] * d['u'] ** 2, 'c_2001_0' : d['c_1002_2'], 'c_2001_1' : d['c_0102_0'], 'c_2001_2' : d['c_1002_0'], 'c_2001_3' : d['c_1002_0'], 'c_0012_2' : d['c_0012_1'], 'c_0012_3' : d['c_0012_3'], 'c_0012_0' : d['1'], 'c_0012_1' : d['c_0012_1'], 'c_0111_0' : d['1'], 'c_0111_1' : negation(d['1']) * d['u'] ** 2, 'c_0111_2' : d['c_0111_2'], 'c_0111_3' : negation(d['c_0111_2']) * d['u'] ** 1, 'c_0210_2' : d['c_0012_1'], 'c_0210_3' : d['1'] * d['u'] ** 1, 'c_0210_0' : d['1'] * d['u'] ** 2, 'c_0210_1' : d['c_0201_0'] * d['u'] ** 1, 'c_1002_2' : d['c_1002_2'], 'c_1002_3' : d['c_1002_2'], 'c_1002_0' : d['c_1002_0'], 'c_1002_1' : d['c_0201_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['1'], 'c_0021_2' : d['1'], 'c_0021_3' : d['c_0021_3']}), 'non_trivial_generalized_obstruction_class' : True} PY=EVAL=SECTION=ENDS=HERE PRIMARY_DECOMPOSITION_TIME: 32113.180 PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0012_1, c_0012_3, c_0021_3, c_0102_0, c_0111_2, c_0201_0, c_1002_0, c_1002_2, c_1011_0, c_1011_1, c_1011_3, c_1101_0, c_1101_1, c_1101_3, u Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 8 Groebner basis: [ t + 517090801252864/806085090709525*c_1101_3^3*u + 268978836832768/161217018141905*c_1101_3^3 - 561670209662592/161217018141905*c_1101_3^2*u - 731882587597824/161217018141905*c_1101_3^2 + 5551034945929248/806085090709525*c_1101_3*u + 1061332751315904/161217018141905*c_1101_3 - 2984267545702592/806085090709525*u - 570438409303968/161217018141905, c_0012_1 + 10496/15229*c_1101_3^3*u + 20896/15229*c_1101_3^3 - 63864/15229*c_1101_3^2*u - 50256/15229*c_1101_3^2 + 100728/15229*c_1101_3*u + 43416/15229*c_1101_3 - 83543/30458*u + 2265/30458, c_0012_3 - 50296/15229*c_1101_3^3*u + 528/15229*c_1101_3^3 + 79732/15229*c_1101_3^2*u - 91058/15229*c_1101_3^2 - 45404/15229*c_1101_3*u + 383059/30458*c_1101_3 + 12885/15229*u - 177595/30458, c_0021_3 - 29896/15229*c_1101_3^3*u - 29432/15229*c_1101_3^3 + 94710/15229*c_1101_3^2*u + 55300/15229*c_1101_3^2 - 281675/30458*c_1101_3*u - 54668/15229*c_1101_3 + 108569/30458*u + 32090/15229, c_0102_0 - 29400/15229*c_1101_3^3*u + 10928/15229*c_1101_3^3 + 29476/15229*c_1101_3^2*u - 77450/15229*c_1101_3^2 - 1988/15229*c_1101_3*u + 268435/30458*c_1101_3 + 28035/30458*u - 122245/30458, c_0111_2 - 10448/15229*c_1101_3^3*u - 5200/15229*c_1101_3^3 + 25128/15229*c_1101_3^2*u - 6804/15229*c_1101_3^2 - 21708/15229*c_1101_3*u + 28656/15229*c_1101_3 - 11988/15229*u - 21452/15229, c_0201_0 - 200/157*c_1101_3^3*u - 88/157*c_1101_3^3 + 318/157*c_1101_3^2*u + 52/157*c_1101_3^2 - 827/314*c_1101_3*u - 116/157*c_1101_3 + 286/157*u + 685/314, c_1002_0 + 32/15229*c_1101_3^3*u + 10464/15229*c_1101_3^3 - 25824/15229*c_1101_3^2*u - 38040/15229*c_1101_3^2 + 52680/15229*c_1101_3*u + 48048/15229*c_1101_3 - 5687/30458*u - 8470/15229, c_1002_2 + 31328/15229*c_1101_3^3*u + 10368/15229*c_1101_3^3 - 62472/15229*c_1101_3^2*u + 39432/15229*c_1101_3^2 + 38784/15229*c_1101_3*u - 109992/15229*c_1101_3 + 10735/15229*u + 121953/30458, c_1011_0 + 32/15229*c_1101_3^3*u + 10464/15229*c_1101_3^3 - 25824/15229*c_1101_3^2*u - 38040/15229*c_1101_3^2 + 52680/15229*c_1101_3*u + 63277/15229*c_1101_3 - 10458/15229*u - 23699/15229, c_1011_1 - 5200/15229*c_1101_3^3*u + 5248/15229*c_1101_3^3 - 6804/15229*c_1101_3^2*u - 31932/15229*c_1101_3^2 + 28656/15229*c_1101_3*u + 35135/15229*c_1101_3 - 21452/15229*u + 5765/15229, c_1011_3 - 736/15229*c_1101_3^3*u + 2992/15229*c_1101_3^3 - 15208/15229*c_1101_3^2*u - 38820/15229*c_1101_3^2 + 67596/15229*c_1101_3*u + 67529/15229*c_1101_3 - 48817/15229*u - 18396/15229, c_1101_0 - 22448/15229*c_1101_3^3*u - 30576/15229*c_1101_3^3 + 84400/15229*c_1101_3^2*u + 64768/15229*c_1101_3^2 - 116069/15229*c_1101_3*u - 49582/15229*c_1101_3 + 41596/15229*u + 17624/15229, c_1101_1 - 30560/15229*c_1101_3^3*u - 2896/15229*c_1101_3^3 + 51856/15229*c_1101_3^2*u - 38652/15229*c_1101_3^2 - 38471/15229*c_1101_3*u + 90511/15229*c_1101_3 + 27624/15229*u - 12978/15229, c_1101_3^4 - 5/4*c_1101_3^3*u - 17/4*c_1101_3^3 + 75/16*c_1101_3^2*u + 137/16*c_1101_3^2 - 5*c_1101_3*u - 129/16*c_1101_3 + 25/16*u + 39/16, u^2 + u + 1 ], Ideal of Polynomial ring of rank 16 over Rational Field Order: Lexicographical Variables: t, c_0012_1, c_0012_3, c_0021_3, c_0102_0, c_0111_2, c_0201_0, c_1002_0, c_1002_2, c_1011_0, c_1011_1, c_1011_3, c_1101_0, c_1101_1, c_1101_3, u Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 90763062607980004431769645082273235180842245543/4866703391745028209\ 90549907361806744391246263911*c_1101_3^13*u - 30093379359086649171093567893712608654117105042/1327282743203189511\ 79240883825947293924885344703*c_1101_3^13 - 585346675514711068365550156941737282788701139874/146001101752350846\ 2971649722085420233173738791733*c_1101_3^12*u + 1833455853596851824839399528796013709586030572446/14600110175235084\ 62971649722085420233173738791733*c_1101_3^12 + 13181703921707703720721301136288100843740734008082/1460011017523508\ 462971649722085420233173738791733*c_1101_3^11*u - 181972809330088466957701265039879679853194173885/146001101752350846\ 2971649722085420233173738791733*c_1101_3^11 - 69389794813195406170508993585156446902616570537/4424275810677298372\ 6413627941982431308295114901*c_1101_3^10*u - 481419835570606164983308354580656444297892591312/132728274320318951\ 179240883825947293924885344703*c_1101_3^10 - 8017530600383065311390781513268482821275025674462/48667033917450282\ 0990549907361806744391246263911*c_1101_3^9*u - 41842572705897367280164299332499505312023989123027/1460011017523508\ 462971649722085420233173738791733*c_1101_3^9 + 6341479722481050840717229499605257017084863818712/14600110175235084\ 62971649722085420233173738791733*c_1101_3^8*u - 17174014519252983340239481305035257161327361321487/1460011017523508\ 462971649722085420233173738791733*c_1101_3^8 - 95863619016887466008035236538629092728561480634501/1460011017523508\ 462971649722085420233173738791733*c_1101_3^7*u - 25381368042181579709456583043051910948036054598667/1460011017523508\ 462971649722085420233173738791733*c_1101_3^7 - 4037566437000287532620965243464168851607315029047/14600110175235084\ 62971649722085420233173738791733*c_1101_3^6*u - 33539826110002385633638845845352032076667788710584/1460011017523508\ 462971649722085420233173738791733*c_1101_3^6 - 85787113711242103975749888584481454055730213304555/1460011017523508\ 462971649722085420233173738791733*c_1101_3^5*u + 13304697870536698840887317504956910294322204881384/1460011017523508\ 462971649722085420233173738791733*c_1101_3^5 - 25159768476837157899638157782709044577080482756337/1460011017523508\ 462971649722085420233173738791733*c_1101_3^4*u + 5540834967152168197919695093851334900885551382234/14600110175235084\ 62971649722085420233173738791733*c_1101_3^4 - 37692317390898360596118052039031346805766443486417/1460011017523508\ 462971649722085420233173738791733*c_1101_3^3*u + 27020436107367468222454802657680527776245846034342/1460011017523508\ 462971649722085420233173738791733*c_1101_3^3 + 274228298184772582040987865404741568054922938487/486670339174502820\ 990549907361806744391246263911*c_1101_3^2*u + 48750301443415667039269438157806408721971903065974/1460011017523508\ 462971649722085420233173738791733*c_1101_3^2 - 20384108026478980566086210196570539672311746375028/1460011017523508\ 462971649722085420233173738791733*c_1101_3*u - 14753182005221207950023176140490867088976309201706/1460011017523508\ 462971649722085420233173738791733*c_1101_3 + 3097099646027093500012332180780807662792489726611/14600110175235084\ 62971649722085420233173738791733*u + 2119538209210044303600201031530159606276061377872/76842685132816234\ 893244722215022117535459936407, c_0012_1 + 22468279127202901173775948810426485467320/476189410254794787\ 7129870621244476515799711*c_1101_3^13*u - 58337126321650971110569475390781453858559/4761894102547947877129870\ 621244476515799711*c_1101_3^13 - 5368664741930630605849460013746525\ 00200771/4761894102547947877129870621244476515799711*c_1101_3^12*u - 202967059190469989491858904209941427920987/476189410254794787712987\ 0621244476515799711*c_1101_3^12 + 267483356330911729345046793299662\ 0464861045/4761894102547947877129870621244476515799711*c_1101_3^11*\ u + 3009510912744892303232689224561962676203881/4761894102547947877\ 129870621244476515799711*c_1101_3^11 + 1511748438041976545005883034046628817612095/47618941025479478771298\ 70621244476515799711*c_1101_3^10*u + 1589946001685305779249211764628030064178479/47618941025479478771298\ 70621244476515799711*c_1101_3^10 + 3534368950271888851915089857935127248303772/47618941025479478771298\ 70621244476515799711*c_1101_3^9*u - 3560612747184174337009340418547629517069689/47618941025479478771298\ 70621244476515799711*c_1101_3^9 + 759011941979391094406331303570969\ 2159613742/4761894102547947877129870621244476515799711*c_1101_3^8*u + 2133971115262634043694337939736906732674819/476189410254794787712\ 9870621244476515799711*c_1101_3^8 - 8710710465258466244376248659262047196834669/47618941025479478771298\ 70621244476515799711*c_1101_3^7*u - 14503596283286303541791235998128979069429391/4761894102547947877129\ 870621244476515799711*c_1101_3^7 + 6582847383158320924447718176734120403944548/47618941025479478771298\ 70621244476515799711*c_1101_3^6*u + 806627564202344476271796703973460808403938/476189410254794787712987\ 0621244476515799711*c_1101_3^6 - 1020004673447709251941079660321954\ 6297303979/4761894102547947877129870621244476515799711*c_1101_3^5*u - 11393525341500070125194826048388374911883987/47618941025479478771\ 29870621244476515799711*c_1101_3^5 - 3518296973133012859099664515087727381925193/47618941025479478771298\ 70621244476515799711*c_1101_3^4*u - 5302238504278925887068870147476893731874379/47618941025479478771298\ 70621244476515799711*c_1101_3^4 - 374712598997964444085830337250353\ 3062960813/4761894102547947877129870621244476515799711*c_1101_3^3*u - 3333436335223646811706153443933014476756458/476189410254794787712\ 9870621244476515799711*c_1101_3^3 - 4854021392367990107453417083966045119546154/47618941025479478771298\ 70621244476515799711*c_1101_3^2*u + 1425111492845924032579133234761119807652233/47618941025479478771298\ 70621244476515799711*c_1101_3^2 + 654912537558817944705419613194033\ 975359922/4761894102547947877129870621244476515799711*c_1101_3*u + 1493768698678366510272715150262246091493256/47618941025479478771298\ 70621244476515799711*c_1101_3 - 19246984931149085167119572978921448\ 79847272/4761894102547947877129870621244476515799711*u - 783191773705877870361084864599495051985046/476189410254794787712987\ 0621244476515799711, c_0012_3 + 57530488387649680853246141626866793528798/476189410254794787\ 7129870621244476515799711*c_1101_3^13*u + 90468808663201387104333095338906274106185/4761894102547947877129870\ 621244476515799711*c_1101_3^13 + 3022750058838260823932606305210775\ 40757393/4761894102547947877129870621244476515799711*c_1101_3^12*u - 294416269533237091843178651116364710022931/476189410254794787712987\ 0621244476515799711*c_1101_3^12 - 342643916707690475959712253625440\ 3355680928/4761894102547947877129870621244476515799711*c_1101_3^11*\ u - 925275490586669884068059900852724890116071/47618941025479478771\ 29870621244476515799711*c_1101_3^11 - 2978929375783943326500846836836855414932839/47618941025479478771298\ 70621244476515799711*c_1101_3^10*u + 67811834809386031360598089900342396477253/4761894102547947877129870\ 621244476515799711*c_1101_3^10 + 4985822781165856160639931208682842\ 379451613/4761894102547947877129870621244476515799711*c_1101_3^9*u + 9346293139758758203901889559434053648573020/47618941025479478771298\ 70621244476515799711*c_1101_3^9 - 152901700678889035302760507871543\ 8532368323/4761894102547947877129870621244476515799711*c_1101_3^8*u + 7494668668855719536414761068698850991879424/476189410254794787712\ 9870621244476515799711*c_1101_3^8 + 10956377987002766991844133526312226352449152/4761894102547947877129\ 870621244476515799711*c_1101_3^7*u + 4595354134891443206937225335198080581477843/47618941025479478771298\ 70621244476515799711*c_1101_3^7 + 693569666943428503964643320264698\ 3838542282/4761894102547947877129870621244476515799711*c_1101_3^6*u + 8929832885928756816015739045704999250188448/476189410254794787712\ 9870621244476515799711*c_1101_3^6 + 7829782214694706949675827752405590037230926/47618941025479478771298\ 70621244476515799711*c_1101_3^5*u + 6071267362279066676852006810098007891018263/47618941025479478771298\ 70621244476515799711*c_1101_3^5 + 852458427835073334401386543100610\ 8207415909/4761894102547947877129870621244476515799711*c_1101_3^4*u + 5032081028105514612125571460606278763210344/476189410254794787712\ 9870621244476515799711*c_1101_3^4 + 6987507052914235499884576937867103640868205/47618941025479478771298\ 70621244476515799711*c_1101_3^3*u + 4121876382662658608117611105801033046371184/47618941025479478771298\ 70621244476515799711*c_1101_3^3 - 411996628537501076810122797508561\ 3009741960/4761894102547947877129870621244476515799711*c_1101_3^2*u - 6119257910109309248395296065153880462946698/476189410254794787712\ 9870621244476515799711*c_1101_3^2 + 7781313323205419700095593476959129383960665/47618941025479478771298\ 70621244476515799711*c_1101_3*u + 852441177574379543718786552319800\ 5190486183/4761894102547947877129870621244476515799711*c_1101_3 - 354493500428132188742023348526197385131976/476189410254794787712987\ 0621244476515799711*u + 449716500051415778055883871178776853620820/\ 4761894102547947877129870621244476515799711, c_0021_3 + 63889001962789790857100826478887651003856/476189410254794787\ 7129870621244476515799711*c_1101_3^13*u - 6486067544449500101692861914565283583250/47618941025479478771298706\ 21244476515799711*c_1101_3^13 - 52217930207278010185635380195411708\ 2729763/4761894102547947877129870621244476515799711*c_1101_3^12*u - 431363528127878035025678832304220182551153/476189410254794787712987\ 0621244476515799711*c_1101_3^12 + 141957763951085648650812008234565\ 1396216439/4761894102547947877129870621244476515799711*c_1101_3^11*\ u + 3557317101843285220728058173921396828906305/4761894102547947877\ 129870621244476515799711*c_1101_3^11 - 1024558651940717212491731834699756381105298/47618941025479478771298\ 70621244476515799711*c_1101_3^10*u - 2805846435131744408125145895445009526322891/47618941025479478771298\ 70621244476515799711*c_1101_3^10 + 6943733474812801614208696741086032149014078/47618941025479478771298\ 70621244476515799711*c_1101_3^9*u - 94116315024723214666559593675804165188926/4761894102547947877129870\ 621244476515799711*c_1101_3^9 - 23027860112093657665318496070500432\ 1740840/4761894102547947877129870621244476515799711*c_1101_3^8*u + 9018357866392979842042126590164083081674951/47618941025479478771298\ 70621244476515799711*c_1101_3^8 - 844170220688774273826462674408233\ 0866286681/4761894102547947877129870621244476515799711*c_1101_3^7*u - 20866683895549763898895528484305313964229733/47618941025479478771\ 29870621244476515799711*c_1101_3^7 + 17106126530920535796427805257962434979226108/4761894102547947877129\ 870621244476515799711*c_1101_3^6*u + 21207840748136585378587826154804417152517316/4761894102547947877129\ 870621244476515799711*c_1101_3^6 - 9447688064920645115004505017924541831085537/47618941025479478771298\ 70621244476515799711*c_1101_3^5*u - 15276871539037692521900161987168400405924148/4761894102547947877129\ 870621244476515799711*c_1101_3^5 + 6424581140980396844554530491960428209088649/47618941025479478771298\ 70621244476515799711*c_1101_3^4*u + 3813566692422447384059528792218659606744214/47618941025479478771298\ 70621244476515799711*c_1101_3^4 + 366447326059266452628096977706327\ 3370647186/4761894102547947877129870621244476515799711*c_1101_3^3*u - 2228918374749236841998506662884867760126953/476189410254794787712\ 9870621244476515799711*c_1101_3^3 - 7374206915576806000247001204594099992764124/47618941025479478771298\ 70621244476515799711*c_1101_3^2*u - 3853364151539511468498599745952140986148912/47618941025479478771298\ 70621244476515799711*c_1101_3^2 + 122750931516686974923676648030456\ 23695018531/4761894102547947877129870621244476515799711*c_1101_3*u + 184719559463135226837528180552272363148661/476189410254794787712987\ 0621244476515799711*c_1101_3 - 658861631724266680703379164259148798\ 6664247/4761894102547947877129870621244476515799711*u - 1454016147581309139814989202844657232406142/47618941025479478771298\ 70621244476515799711, c_0102_0 + 6486067544449500101692861914565283583250/4761894102547947877\ 129870621244476515799711*c_1101_3^13*u + 70375069507239290958793688393452934587106/4761894102547947877129870\ 621244476515799711*c_1101_3^13 + 4313635281278780350256788323042201\ 82551153/4761894102547947877129870621244476515799711*c_1101_3^12*u - 90815773944902066830674969649896900178610/4761894102547947877129870\ 621244476515799711*c_1101_3^12 - 3557317101843285220728058173921396\ 828906305/4761894102547947877129870621244476515799711*c_1101_3^11*u - 2137739462332428734219938091575745432689866/476189410254794787712\ 9870621244476515799711*c_1101_3^11 + 2805846435131744408125145895445009526322891/47618941025479478771298\ 70621244476515799711*c_1101_3^10*u + 1781287783191027195633414060745253145217593/47618941025479478771298\ 70621244476515799711*c_1101_3^10 + 94116315024723214666559593675804165188926/4761894102547947877129870\ 621244476515799711*c_1101_3^9*u + 703784978983752482887525633476183\ 6314203004/4761894102547947877129870621244476515799711*c_1101_3^9 - 9018357866392979842042126590164083081674951/47618941025479478771298\ 70621244476515799711*c_1101_3^8*u - 9248636467513916418695311550869087403415791/47618941025479478771298\ 70621244476515799711*c_1101_3^8 + 208666838955497638988955284843053\ 13964229733/4761894102547947877129870621244476515799711*c_1101_3^7*\ u + 12424981688662021160630901740222983097943052/476189410254794787\ 7129870621244476515799711*c_1101_3^7 - 21207840748136585378587826154804417152517316/4761894102547947877129\ 870621244476515799711*c_1101_3^6*u - 4101714217216049582160020896841982173291208/47618941025479478771298\ 70621244476515799711*c_1101_3^6 + 152768715390376925219001619871684\ 00405924148/4761894102547947877129870621244476515799711*c_1101_3^5*\ u + 5829183474117047406895656969243858574838611/4761894102547947877\ 129870621244476515799711*c_1101_3^5 - 3813566692422447384059528792218659606744214/47618941025479478771298\ 70621244476515799711*c_1101_3^4*u + 2611014448557949460495001699741768602344435/47618941025479478771298\ 70621244476515799711*c_1101_3^4 + 222891837474923684199850666288486\ 7760126953/4761894102547947877129870621244476515799711*c_1101_3^3*u + 5893391635341901368279476439948141130774139/476189410254794787712\ 9870621244476515799711*c_1101_3^3 + 3853364151539511468498599745952140986148912/47618941025479478771298\ 70621244476515799711*c_1101_3^2*u - 3520842764037294531748401458641959006615212/47618941025479478771298\ 70621244476515799711*c_1101_3^2 - 184719559463135226837528180552272\ 363148661/4761894102547947877129870621244476515799711*c_1101_3*u + 12090373592205562265530136622493351331869870/4761894102547947877129\ 870621244476515799711*c_1101_3 + 1454016147581309139814989202844657\ 232406142/4761894102547947877129870621244476515799711*u - 5134600169661357667218802439746830754258105/47618941025479478771298\ 70621244476515799711, c_0111_2 - 55993738627088447835389728779882168603687/476189410254794787\ 7129870621244476515799711*c_1101_3^13*u - 125823529208219968037230978941326184694836/476189410254794787712987\ 0621244476515799711*c_1101_3^13 - 430404718447188094298000967272200\ 916889366/4761894102547947877129870621244476515799711*c_1101_3^12*u + 356967110357707111828598623994583573590639/4761894102547947877129\ 870621244476515799711*c_1101_3^12 + 4881481703856582580045534472786820294107558/47618941025479478771298\ 70621244476515799711*c_1101_3^11*u + 1421464027137043795374244535831427969521458/47618941025479478771298\ 70621244476515799711*c_1101_3^11 + 303624252857832611104183123840176541111238/476189410254794787712987\ 0621244476515799711*c_1101_3^10*u + 2464701835607572942527552231061723195709627/47618941025479478771298\ 70621244476515799711*c_1101_3^10 - 4346439220933613549169970358277165089649677/47618941025479478771298\ 70621244476515799711*c_1101_3^9*u - 10486374025142999527639802496409231588586603/4761894102547947877129\ 870621244476515799711*c_1101_3^9 + 16150667806673622216428057447696973426569310/4761894102547947877129\ 870621244476515799711*c_1101_3^8*u + 4298130778070969648253436637877278138470836/47618941025479478771298\ 70621244476515799711*c_1101_3^8 - 187961434306036938841861621683827\ 39363712526/4761894102547947877129870621244476515799711*c_1101_3^7*\ u - 1601739255114446286344112800737665457125958/4761894102547947877\ 129870621244476515799711*c_1101_3^7 + 15378921265926283754530092657445469041019375/4761894102547947877129\ 870621244476515799711*c_1101_3^6*u - 13765082614936795935337776756060952857821966/4761894102547947877129\ 870621244476515799711*c_1101_3^6 - 7240905295841678878252227528655105317768181/47618941025479478771298\ 70621244476515799711*c_1101_3^5*u + 5453825675355475462379623507132141838490722/47618941025479478771298\ 70621244476515799711*c_1101_3^5 + 936229016271520955436853736777890\ 375147136/4761894102547947877129870621244476515799711*c_1101_3^4*u - 10509084741624319437750314015227863849684352/4761894102547947877129\ 870621244476515799711*c_1101_3^4 - 1410620678953710770805609949065269192890889/47618941025479478771298\ 70621244476515799711*c_1101_3^3*u - 597901594757065046956263712425992300545127/476189410254794787712987\ 0621244476515799711*c_1101_3^3 + 2332402001644720394721812911975147\ 673629996/4761894102547947877129870621244476515799711*c_1101_3^2*u + 3899742550875878089608357755886414890560492/47618941025479478771298\ 70621244476515799711*c_1101_3^2 - 346501774956423878281291529577907\ 3523071142/4761894102547947877129870621244476515799711*c_1101_3*u - 9305806093899623177684387811144246454830925/47618941025479478771298\ 70621244476515799711*c_1101_3 + 40331858199977080573859364552808052\ 53984083/4761894102547947877129870621244476515799711*u + 9736609912202479588452644525515758891409202/47618941025479478771298\ 70621244476515799711, c_0201_0 + 32938320275551706251086953712039480577387/476189410254794787\ 7129870621244476515799711*c_1101_3^13*u - 57530488387649680853246141626866793528798/4761894102547947877129870\ 621244476515799711*c_1101_3^13 - 5966912754170631742364392816374422\ 50780324/4761894102547947877129870621244476515799711*c_1101_3^12*u - 302275005883826082393260630521077540757393/476189410254794787712987\ 0621244476515799711*c_1101_3^12 + 250116367649023487552906263540167\ 8465564857/4761894102547947877129870621244476515799711*c_1101_3^11*\ u + 3426439167076904759597122536254403355680928/4761894102547947877\ 129870621244476515799711*c_1101_3^11 + 3046741210593329357861444926737197811410092/47618941025479478771298\ 70621244476515799711*c_1101_3^10*u + 2978929375783943326500846836836855414932839/47618941025479478771298\ 70621244476515799711*c_1101_3^10 + 4360470358592902043261958350751211269121407/47618941025479478771298\ 70621244476515799711*c_1101_3^9*u - 4985822781165856160639931208682842379451613/47618941025479478771298\ 70621244476515799711*c_1101_3^9 + 902368567564460988944236614741428\ 9524247747/4761894102547947877129870621244476515799711*c_1101_3^8*u + 1529017006788890353027605078715438532368323/476189410254794787712\ 9870621244476515799711*c_1101_3^8 - 6361023852111323784906908191114145770971309/47618941025479478771298\ 70621244476515799711*c_1101_3^7*u - 10956377987002766991844133526312226352449152/4761894102547947877129\ 870621244476515799711*c_1101_3^7 + 1994136216494471776369305843058015411646166/47618941025479478771298\ 70621244476515799711*c_1101_3^6*u - 6935696669434285039646433202646983838542282/47618941025479478771298\ 70621244476515799711*c_1101_3^6 - 175851485241564027282382094230758\ 2146212663/4761894102547947877129870621244476515799711*c_1101_3^5*u - 7829782214694706949675827752405590037230926/476189410254794787712\ 9870621244476515799711*c_1101_3^5 - 3492503250245218731888293970399829444205565/47618941025479478771298\ 70621244476515799711*c_1101_3^4*u - 8524584278350733344013865431006108207415909/47618941025479478771298\ 70621244476515799711*c_1101_3^4 - 286563067025157689176696583206607\ 0594497021/4761894102547947877129870621244476515799711*c_1101_3^3*u - 6987507052914235499884576937867103640868205/476189410254794787712\ 9870621244476515799711*c_1101_3^3 - 1999291624734298480294068090068267453204738/47618941025479478771298\ 70621244476515799711*c_1101_3^2*u + 4119966285375010768101227975085613009741960/47618941025479478771298\ 70621244476515799711*c_1101_3^2 + 743098452538375737092272046238875\ 806525518/4761894102547947877129870621244476515799711*c_1101_3*u - 7781313323205419700095593476959129383960665/47618941025479478771298\ 70621244476515799711*c_1101_3 + 80421000047954796679790721970497423\ 8752796/4761894102547947877129870621244476515799711*u + 354493500428132188742023348526197385131976/476189410254794787712987\ 0621244476515799711, c_1002_0 + 9556089666567224261002369213270420341512/4761894102547947877\ 129870621244476515799711*c_1101_3^13*u - 17198973195467008165298801238093620623334/4761894102547947877129870\ 621244476515799711*c_1101_3^13 - 1308123353793348106735356477816448\ 44430923/4761894102547947877129870621244476515799711*c_1101_3^12*u - 46926487818358285964218029020404207779637/4761894102547947877129870\ 621244476515799711*c_1101_3^12 + 7547283917478027955102196033228719\ 55800473/4761894102547947877129870621244476515799711*c_1101_3^11*u + 695602781084650427659902218544073783118500/476189410254794787712987\ 0621244476515799711*c_1101_3^11 - 764289855975647470026358689954493\ 911029972/4761894102547947877129870621244476515799711*c_1101_3^10*u + 1317187998541887253998450535361289117025502/476189410254794787712\ 9870621244476515799711*c_1101_3^10 + 1831591013312132026249975936764166462036914/47618941025479478771298\ 70621244476515799711*c_1101_3^9*u + 168747627639745015010534074837618308859582/476189410254794787712987\ 0621244476515799711*c_1101_3^9 + 8899074487042117230172156099677376\ 601768261/4761894102547947877129870621244476515799711*c_1101_3^8*u + 6544209333502106945143320298839847083591383/47618941025479478771298\ 70621244476515799711*c_1101_3^8 - 194342877409324484479938153462587\ 3440076829/4761894102547947877129870621244476515799711*c_1101_3^7*u - 3033130649040600293157441898759924511149908/476189410254794787712\ 9870621244476515799711*c_1101_3^7 + 10488904052275884269577038317274076551656497/4761894102547947877129\ 870621244476515799711*c_1101_3^6*u - 3683143819696409253906266107451721016707758/47618941025479478771298\ 70621244476515799711*c_1101_3^6 - 338216375684976644523930668377251\ 0745125400/4761894102547947877129870621244476515799711*c_1101_3^5*u - 2031272798199356356538233748710256026800310/476189410254794787712\ 9870621244476515799711*c_1101_3^5 - 2226432911789534536316815747872398776023396/47618941025479478771298\ 70621244476515799711*c_1101_3^4*u - 11586788310864479525944825202777431198783860/4761894102547947877129\ 870621244476515799711*c_1101_3^4 + 3739092789106335105364050290383232305401123/47618941025479478771298\ 70621244476515799711*c_1101_3^3*u + 4280141080794761752765438513086022114148215/47618941025479478771298\ 70621244476515799711*c_1101_3^3 - 402738555899496433308222792916126\ 1743665794/4761894102547947877129870621244476515799711*c_1101_3^2*u - 5052511763697318730671345604258527063453726/476189410254794787712\ 9870621244476515799711*c_1101_3^2 - 1373393850309479930512276266055404584388378/47618941025479478771298\ 70621244476515799711*c_1101_3*u + 130199292877910562777740576358279\ 6725156592/4761894102547947877129870621244476515799711*c_1101_3 + 4948704567728883858745143097274472360131107/47618941025479478771298\ 70621244476515799711*u + 217764185310017459037688811987747579653496\ 8/4761894102547947877129870621244476515799711, c_1002_2 + 18902127010419127219737145475278663560090/476189410254794787\ 7129870621244476515799711*c_1101_3^13*u - 7224526179763505698722073657211009884470/47618941025479478771298706\ 21244476515799711*c_1101_3^13 - 16871466522113745840116061431882125\ 1855837/4761894102547947877129870621244476515799711*c_1101_3^12*u - 164561156643228291022555029759063810744161/476189410254794787712987\ 0621244476515799711*c_1101_3^12 + 260400728992666692028469562953654\ 744960106/4761894102547947877129870621244476515799711*c_1101_3^11*u + 1078302248757791194796054822721432533740628/476189410254794787712\ 9870621244476515799711*c_1101_3^11 + 1739452476009179762018368582666935540527622/47618941025479478771298\ 70621244476515799711*c_1101_3^10*u + 1642823078845212562884196145923376200889379/47618941025479478771298\ 70621244476515799711*c_1101_3^10 + 2200074469624758813559679177844574416129391/47618941025479478771298\ 70621244476515799711*c_1101_3^9*u - 1444693374255784451496287969135978353207112/47618941025479478771298\ 70621244476515799711*c_1101_3^9 + 194051158520426983401682033434479\ 851394466/4761894102547947877129870621244476515799711*c_1101_3^8*u - 571726807384159235883929093284098522807082/476189410254794787712987\ 0621244476515799711*c_1101_3^8 - 2221495661305393265070000335232582\ 687066896/4761894102547947877129870621244476515799711*c_1101_3^7*u - 5423212762442401697879064298358885156483986/47618941025479478771298\ 70621244476515799711*c_1101_3^7 - 151957469949114239689561093367366\ 1127237098/4761894102547947877129870621244476515799711*c_1101_3^6*u - 1691901808173810327493571273072651403453173/476189410254794787712\ 9870621244476515799711*c_1101_3^6 - 3099063776980108894000742387441225072303458/47618941025479478771298\ 70621244476515799711*c_1101_3^5*u + 6844347871701464169819132262257986667243276/47618941025479478771298\ 70621244476515799711*c_1101_3^5 - 158367491012656600186861498382654\ 2617294481/4761894102547947877129870621244476515799711*c_1101_3^4*u - 6531289160269342273354092393491649559958774/476189410254794787712\ 9870621244476515799711*c_1101_3^4 + 4270269632526355866496324597948494520391253/47618941025479478771298\ 70621244476515799711*c_1101_3^3*u + 9721113216876920893761018850867442161431818/47618941025479478771298\ 70621244476515799711*c_1101_3^3 + 424184970425480728860254834788344\ 8027137222/4761894102547947877129870621244476515799711*c_1101_3^2*u + 2319371697861536960594313479959811959182973/476189410254794787712\ 9870621244476515799711*c_1101_3^2 + 1233075079009139256032381423683353848231100/47618941025479478771298\ 70621244476515799711*c_1101_3*u + 701681900576754081161063728527163\ 312952256/4761894102547947877129870621244476515799711*c_1101_3 + 1876807078856109261671962361977708501380700/47618941025479478771298\ 70621244476515799711*u - 897362798445993260734275494330313585939902\ /4761894102547947877129870621244476515799711, c_1011_0 + 108865864317893301306964347115960025576881/47618941025479478\ 77129870621244476515799711*c_1101_3^13*u + 40129414069724828495857039401593679872313/4761894102547947877129870\ 621244476515799711*c_1101_3^13 - 4284679718812356406215175033497364\ 73330365/4761894102547947877129870621244476515799711*c_1101_3^12*u - 766730285469462916435527410067802903149123/476189410254794787712987\ 0621244476515799711*c_1101_3^12 - 957601495783993096916503796559759\ 133792279/4761894102547947877129870621244476515799711*c_1101_3^11*u + 3498208886051066024104864596594714633837378/476189410254794787712\ 9870621244476515799711*c_1101_3^11 + 1346158283151890559110635040163605357099397/47618941025479478771298\ 70621244476515799711*c_1101_3^10*u + 1758972361691411226503336945620955405609567/47618941025479478771298\ 70621244476515799711*c_1101_3^10 + 11926953821694187362414363658793042991787031/4761894102547947877129\ 870621244476515799711*c_1101_3^9*u + 6028558118763781821562824387502925770454156/47618941025479478771298\ 70621244476515799711*c_1101_3^9 + 235955226055182937894392419531099\ 0343797665/4761894102547947877129870621244476515799711*c_1101_3^8*u + 5129389162643365173387657770192293863851839/476189410254794787712\ 9870621244476515799711*c_1101_3^8 + 8771359585820681863369945673048125760166247/47618941025479478771298\ 70621244476515799711*c_1101_3^7*u - 16258214254580297198634193789874770336805180/4761894102547947877129\ 870621244476515799711*c_1101_3^7 + 1447999420500400009803251834192726336134014/47618941025479478771298\ 70621244476515799711*c_1101_3^6*u + 9666171411027300695983633424810901734472175/47618941025479478771298\ 70621244476515799711*c_1101_3^6 - 521396861442761650430440221065656\ 2348154552/4761894102547947877129870621244476515799711*c_1101_3^5*u - 20621489178552674240618663716676822471356077/47618941025479478771\ 29870621244476515799711*c_1101_3^5 + 4537119542731987626322557424120945494344322/47618941025479478771298\ 70621244476515799711*c_1101_3^4*u + 3454536124638906414366582654509314967579342/47618941025479478771298\ 70621244476515799711*c_1101_3^4 - 798819827025320180618846564283472\ 1629892793/4761894102547947877129870621244476515799711*c_1101_3^3*u - 6666064724033919602474788346623770493303385/476189410254794787712\ 9870621244476515799711*c_1101_3^3 - 4645824937111360064305155315685564984381985/47618941025479478771298\ 70621244476515799711*c_1101_3^2*u - 3430192270801805559582491902345918854305603/47618941025479478771298\ 70621244476515799711*c_1101_3^2 + 740922042665767174123465532967156\ 1510118821/4761894102547947877129870621244476515799711*c_1101_3*u + 9144509001825886893060289939292081789181997/47618941025479478771298\ 70621244476515799711*c_1101_3 - 27438555245727042343115945216643313\ 40346637/4761894102547947877129870621244476515799711*u - 3084143328944749266485567435304302677684356/47618941025479478771298\ 70621244476515799711, c_1011_1 - 111620114660814933748089734866488839972866/47618941025479478\ 77129870621244476515799711*c_1101_3^13*u - 57758139115258628011500404811249017372836/4761894102547947877129870\ 621244476515799711*c_1101_3^13 + 3674124392704485977443269318823258\ 61604890/4761894102547947877129870621244476515799711*c_1101_3^12*u + 727459888302014692833052281983154959020944/476189410254794787712987\ 0621244476515799711*c_1101_3^12 + 116031045806736066903755831349094\ 7125663344/4761894102547947877129870621244476515799711*c_1101_3^11*\ u - 3329015467679623035350600208763788346370873/4761894102547947877\ 129870621244476515799711*c_1101_3^11 + 1045592650901814557916580598644899456091568/47618941025479478771298\ 70621244476515799711*c_1101_3^10*u + 1685533717298137287511325916278098903912877/47618941025479478771298\ 70621244476515799711*c_1101_3^10 - 10034274441852255297529550286605174080567824/4761894102547947877129\ 870621244476515799711*c_1101_3^9*u - 4002174175167117356497297652050996554479323/47618941025479478771298\ 70621244476515799711*c_1101_3^9 + 322756783810573309078760240096671\ 8837577240/4761894102547947877129870621244476515799711*c_1101_3^8*u - 9389004821424815529979711399287337597355037/476189410254794787712\ 9870621244476515799711*c_1101_3^8 + 1130783391429235254881657348906201471641184/47618941025479478771298\ 70621244476515799711*c_1101_3^7*u + 18180640776602844704297611220922548139351330/4761894102547947877129\ 870621244476515799711*c_1101_3^7 - 6465786583864879798089238708209545163828774/47618941025479478771298\ 70621244476515799711*c_1101_3^6*u - 18541598644479135379252860577459098246290275/4761894102547947877129\ 870621244476515799711*c_1101_3^6 + 3149548383451076853657270531469604840079598/47618941025479478771298\ 70621244476515799711*c_1101_3^5*u + 9412406332871895368728086415216522277230155/47618941025479478771298\ 70621244476515799711*c_1101_3^5 - 290516661575348229011591631532194\ 8856227149/4761894102547947877129870621244476515799711*c_1101_3^4*u - 5503648450075086478904952732183211350413965/476189410254794787712\ 9870621244476515799711*c_1101_3^4 + 1829071595654437979511155288632559123495126/47618941025479478771298\ 70621244476515799711*c_1101_3^3*u - 745632312082984388130141709702557853130628/476189410254794787712987\ 0621244476515799711*c_1101_3^3 + 7231643511497677097115857912824181\ 121504987/4761894102547947877129870621244476515799711*c_1101_3^2*u + 4280484486822491524455788694327032330688070/47618941025479478771298\ 70621244476515799711*c_1101_3^2 - 113299941920585903436614569479941\ 04462641660/4761894102547947877129870621244476515799711*c_1101_3*u - 8601817858505334445374852306825068145864565/47618941025479478771298\ 70621244476515799711*c_1101_3 + 86559274386554219612472771092949973\ 75528313/4761894102547947877129870621244476515799711*u + 5318886428055971699436777023696749901039962/47618941025479478771298\ 70621244476515799711, c_1011_3 - 65410411094603497342229750174000068887553/476189410254794787\ 7129870621244476515799711*c_1101_3^13*u + 9442408141285841519890770952293560253149/47618941025479478771298706\ 21244476515799711*c_1101_3^13 + 49537125905275147690686949496136598\ 0392463/4761894102547947877129870621244476515799711*c_1101_3^12*u + 439101993171124188132138815991902730940844/476189410254794787712987\ 0621244476515799711*c_1101_3^12 - 125060597733469745531140033221721\ 4451841986/4761894102547947877129870621244476515799711*c_1101_3^11*\ u - 3400734585956848650664274741922434524046144/4761894102547947877\ 129870621244476515799711*c_1101_3^11 + 365512167473348631856190829889753138524069/476189410254794787712987\ 0621244476515799711*c_1101_3^10*u + 398812852364672933521421908125063332448406/476189410254794787712987\ 0621244476515799711*c_1101_3^10 - 531240498406109833993147236254575\ 9229416806/4761894102547947877129870621244476515799711*c_1101_3^9*u + 829786605969510663684803692159678463983277/4761894102547947877129\ 870621244476515799711*c_1101_3^9 - 2554887760677564669164539524225067229566501/47618941025479478771298\ 70621244476515799711*c_1101_3^8*u - 6946750144909260174150544883274530454053104/47618941025479478771298\ 70621244476515799711*c_1101_3^8 + 531144786951223519087359973504926\ 1807112307/4761894102547947877129870621244476515799711*c_1101_3^7*u + 11977809334221637747388822655780931229315303/47618941025479478771\ 29870621244476515799711*c_1101_3^7 - 8625622980491841786186882233687768926658083/47618941025479478771298\ 70621244476515799711*c_1101_3^6*u - 13147578399437412069433520324391747580374819/4761894102547947877129\ 870621244476515799711*c_1101_3^6 + 3104756660413458076615876084596336993360603/47618941025479478771298\ 70621244476515799711*c_1101_3^5*u + 10521682040352709172832753745073223312769699/4761894102547947877129\ 870621244476515799711*c_1101_3^5 - 7221962526631428416608872303103471308766080/47618941025479478771298\ 70621244476515799711*c_1101_3^4*u - 10393957406195662152629208049283363879534903/4761894102547947877129\ 870621244476515799711*c_1101_3^4 - 838197354982857820878238158471843153731833/476189410254794787712987\ 0621244476515799711*c_1101_3^3*u + 3701712048076472166224178475703266118574669/47618941025479478771298\ 70621244476515799711*c_1101_3^3 + 449235765404430095271015312799984\ 3924002468/4761894102547947877129870621244476515799711*c_1101_3^2*u - 1891733605297361794573862979398557194218675/476189410254794787712\ 9870621244476515799711*c_1101_3^2 - 9558333083562161701196774241987909164078246/47618941025479478771298\ 70621244476515799711*c_1101_3*u + 148559502302500826535916409349931\ 5131343159/4761894102547947877129870621244476515799711*c_1101_3 + 6857656579173505848820408691223037988859782/47618941025479478771298\ 70621244476515799711*u + 153044337392647994418718922438995634561347\ 5/4761894102547947877129870621244476515799711, c_1101_0 + 65220696410514638533959092622235893132434/476189410254794787\ 7129870621244476515799711*c_1101_3^13*u + 37922079673071383170750651878249910091549/4761894102547947877129870\ 621244476515799711*c_1101_3^13 - 1727274197473606776026795381014844\ 22903390/4761894102547947877129870621244476515799711*c_1101_3^12*u - 396576535761352243290454438718675005025903/476189410254794787712987\ 0621244476515799711*c_1101_3^12 - 778644403888678912337785092999052\ 697619309/4761894102547947877129870621244476515799711*c_1101_3^11*u + 1711476493008539171814231875795495620506314/476189410254794787712\ 9870621244476515799711*c_1101_3^11 - 1714065694864369421174224457364257201798039/47618941025479478771298\ 70621244476515799711*c_1101_3^10*u - 1291699163506024755617991859773183811571693/47618941025479478771298\ 70621244476515799711*c_1101_3^10 + 5853285765334813076059019396502747762605236/47618941025479478771298\ 70621244476515799711*c_1101_3^9*u + 2483641296910282692842912660919465708002013/47618941025479478771298\ 70621244476515799711*c_1101_3^9 - 143432605626395664427884474408605\ 6428317389/4761894102547947877129870621244476515799711*c_1101_3^8*u + 7509255515444662192051793460174329596776769/476189410254794787712\ 9870621244476515799711*c_1101_3^8 - 938515213757799469300406739689749643628936/476189410254794787712987\ 0621244476515799711*c_1101_3^7*u - 9193211556356614616255345058176489105686861/47618941025479478771298\ 70621244476515799711*c_1101_3^7 + 100996943235709458047203884797420\ 58309485962/4761894102547947877129870621244476515799711*c_1101_3^6*\ u + 12315937185250198357257939617082277369516517/476189410254794787\ 7129870621244476515799711*c_1101_3^6 - 2086069663991649943948621551710753263704363/47618941025479478771298\ 70621244476515799711*c_1101_3^5*u - 4173370091421166840779880004597868724795846/47618941025479478771298\ 70621244476515799711*c_1101_3^5 + 477871659544987928413068251450424\ 8581068802/4761894102547947877129870621244476515799711*c_1101_3^4*u + 2863877468648360971085988850851575846280871/476189410254794787712\ 9870621244476515799711*c_1101_3^4 - 2946685981467725928453908625664936973970372/47618941025479478771298\ 70621244476515799711*c_1101_3^3*u - 6115930966394476211939889885955498631493377/47618941025479478771298\ 70621244476515799711*c_1101_3^3 - 269545038741202368966854060370241\ 580157916/4761894102547947877129870621244476515799711*c_1101_3^2*u + 1618088240535622138369674158381342931718260/47618941025479478771298\ 70621244476515799711*c_1101_3^2 + 188940718180083205440644528898159\ 3858015301/4761894102547947877129870621244476515799711*c_1101_3*u - 2061540967909569287786992958571767540252001/47618941025479478771298\ 70621244476515799711*c_1101_3 - 17886214838524373915624177394245998\ 76320369/4761894102547947877129870621244476515799711*u + 563314265411882023831701625402289992825584/476189410254794787712987\ 0621244476515799711, c_1101_1 - 106361794438874652196801370857635651991275/47618941025479478\ 77129870621244476515799711*c_1101_3^13*u + 42598522205278009097846673554195249611688/4761894102547947877129870\ 621244476515799711*c_1101_3^13 + 9329957045990765567712951262222590\ 87332965/4761894102547947877129870621244476515799711*c_1101_3^12*u + 670371124682562046493091014536725742769459/476189410254794787712987\ 0621244476515799711*c_1101_3^12 - 325916359139645240690236945600606\ 1595566663/4761894102547947877129870621244476515799711*c_1101_3^11*\ u - 6091806591042260434753698268695879229146919/4761894102547947877\ 129870621244476515799711*c_1101_3^11 + 2348760704793652886831166564116327115186801/47618941025479478771298\ 70621244476515799711*c_1101_3^10*u - 251336515352874272874227169978672144210864/476189410254794787712987\ 0621244476515799711*c_1101_3^10 - 898029375888371001157219972864838\ 2068031258/4761894102547947877129870621244476515799711*c_1101_3^9*u + 3385411051581055166668749021471635443950226/476189410254794787712\ 9870621244476515799711*c_1101_3^9 - 13868472169505780702534695762358408730797118/4761894102547947877129\ 870621244476515799711*c_1101_3^8*u - 19586528316880624616053485518646227031311862/4761894102547947877129\ 870621244476515799711*c_1101_3^8 + 15965270886645029034816925333136655050916623/4761894102547947877129\ 870621244476515799711*c_1101_3^7*u + 22072318024445081528419206050122933212675734/4761894102547947877129\ 870621244476515799711*c_1101_3^7 - 27457931222266631953516272149246132165174610/4761894102547947877129\ 870621244476515799711*c_1101_3^6*u - 16860212930033011232705511495650229358532846/4761894102547947877129\ 870621244476515799711*c_1101_3^6 + 8585036864903402432991201034504646296433920/47618941025479478771298\ 70621244476515799711*c_1101_3^5*u + 11740165680493291267665741019081747385652137/4761894102547947877129\ 870621244476515799711*c_1101_3^5 - 12299728205194074391605438600601189042878002/4761894102547947877129\ 870621244476515799711*c_1101_3^4*u - 6136689157850350669312737225073649041426333/47618941025479478771298\ 70621244476515799711*c_1101_3^4 + 196524186463469872937246730758710\ 208172817/4761894102547947877129870621244476515799711*c_1101_3^3*u + 3504522307752929712962632623984514068376082/47618941025479478771298\ 70621244476515799711*c_1101_3^3 + 124276091337976365477497849648568\ 4449865875/4761894102547947877129870621244476515799711*c_1101_3^2*u - 2250599837448733904066832470897310278651487/476189410254794787712\ 9870621244476515799711*c_1101_3^2 - 7939572270438615677864968675145293060653177/47618941025479478771298\ 70621244476515799711*c_1101_3*u + 429468200298390982342217658986330\ 6585012530/4761894102547947877129870621244476515799711*c_1101_3 + 5130243244715298162119428950004950681550498/47618941025479478771298\ 70621244476515799711*u - 109974157068199385925669011604048780287651\ 4/4761894102547947877129870621244476515799711, c_1101_3^14 + 7*c_1101_3^13*u - 49*c_1101_3^12*u - 36*c_1101_3^12 + 15*c_1101_3^11*u + 15*c_1101_3^11 - 25*c_1101_3^10*u + 82*c_1101_3^10 - 89*c_1101_3^9*u - 79*c_1101_3^9 + 250*c_1101_3^8*u + 229*c_1101_3^8 - 239*c_1101_3^7*u - 89*c_1101_3^7 + 292*c_1101_3^6*u + 162*c_1101_3^6 - 98*c_1101_3^5*u - 25*c_1101_3^5 + 99*c_1101_3^4*u + 48*c_1101_3^4 + 5*c_1101_3^3*u - 62*c_1101_3^3 - 35*c_1101_3^2*u + 93*c_1101_3^2 + 58*c_1101_3*u - 69*c_1101_3 - 37*u + 27, u^2 + u + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE FREE=VARIABLES=IN=COMPONENTS=BEGINS=HERE [ [ ], [ ] ] FREE=VARIABLES=IN=COMPONENTS=ENDS=HERE CPUTIME: 32113.190 Total time: 32113.529 seconds, Total memory usage: 9818.12MB