Magma V2.19-8 Wed Aug 21 2013 00:58:24 on localhost [Seed = 2312082190] Type ? for help. Type -D to quit. Loading file "L13n5284__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n5284 geometric_solution 12.57870844 oriented_manifold CS_known 0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 2 3 0132 0132 1302 0132 1 1 1 0 0 0 0 0 1 0 0 -1 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 2 0 0 -2 -3 3 0 0 -1 -2 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.340621938809 0.809096672521 0 4 5 4 0132 0132 0132 1230 1 1 0 1 0 0 0 0 -1 0 0 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 0 0 2 1 -1 0 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.380786012681 0.601146070828 0 0 6 4 2031 0132 0132 0132 1 1 0 1 0 0 0 0 0 0 0 0 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 -3 2 0 1 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.558013111026 1.049874011103 7 7 0 8 0132 0321 0132 0132 1 1 1 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 0 0 0 0 0 0 0 0 1 -1 0 0 2 -2 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.580373791136 0.918460081556 1 1 2 9 3012 0132 0132 0132 1 1 1 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 0 0 2 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.831380046345 0.807121380428 7 10 11 1 1230 0132 0132 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.997682316720 1.123946942378 8 12 10 2 3012 0132 3201 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 3 0 -3 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.449554158451 0.488542468944 3 5 9 3 0132 3012 1230 0321 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 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.016212019140 0.901928384823 10 11 3 6 3120 2031 0132 1230 1 1 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 0 0 0 0 0 0 0 0 -1 1 0 -2 0 2 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.243816400652 1.049416200460 12 10 4 7 2031 0213 0132 3012 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.938123785328 0.731207165353 6 5 9 8 2310 0132 0213 3120 1 1 1 1 0 0 0 0 -1 0 0 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 0 0 2 0 0 0 0 -1 3 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.273354391010 0.879766068440 8 12 12 5 1302 1023 0132 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.636318448292 0.770984265418 11 6 9 11 1023 0132 1302 0132 1 1 1 1 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 0 0 0 0 0 0 0 1 2 0 -3 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.472521879113 0.840929146417 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_9']), 'c_1001_10' : d['c_1001_1'], 'c_1001_12' : d['c_0110_9'], 'c_1001_5' : negation(d['c_0011_8']), 'c_1001_4' : d['c_0101_4'], 'c_1001_7' : d['c_0011_10'], 'c_1001_6' : negation(d['c_0011_9']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_4'], 'c_1001_3' : d['c_0110_9'], 'c_1001_2' : d['c_0110_9'], 'c_1001_9' : d['c_1001_1'], 'c_1001_8' : negation(d['c_0101_5']), 'c_1010_12' : negation(d['c_0011_9']), 'c_1010_11' : negation(d['c_0011_8']), 'c_1010_10' : negation(d['c_0011_8']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : negation(d['c_0011_9']), 'c_0101_11' : negation(d['c_0011_8']), 'c_0101_10' : d['c_0011_9'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0011_10']), 'c_1100_8' : d['c_0101_2'], 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : d['c_0101_9'], 'c_1100_4' : negation(d['c_0011_10']), 'c_1100_7' : d['c_0110_9'], 'c_1100_6' : negation(d['c_0011_10']), 'c_1100_1' : d['c_0101_9'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_0011_10']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0101_9'], 'c_1100_10' : negation(d['c_0101_7']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0110_9'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : d['c_0101_4'], 'c_1010_1' : d['c_0101_4'], 'c_1010_0' : d['c_0110_9'], 'c_1010_9' : negation(d['c_0101_7']), 'c_1010_8' : d['c_0011_11'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_9'], 's_1_7' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_11']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_5'], 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_12' : negation(d['c_0011_8']), 'c_0110_0' : negation(d['c_0011_3']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_11'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_7'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : negation(d['c_0011_11']), 'c_0110_1' : d['c_0011_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_7'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_2'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_8, c_0011_9, c_0101_2, c_0101_4, c_0101_5, c_0101_7, c_0101_9, c_0110_9, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 8846792468320805856655860918398632290448729393750376656268583733122\ 9853825/83033026922915543892275631425551148941125068901498952127954\ 063788440760832*c_1001_1^13 + 1187529437248384700479687130369008387\ 498947431332812263908610085477145512221/415165134614577719461378157\ 12775574470562534450749476063977031894220380416*c_1001_1^12 - 8466482023518466862491839418933216725311956310061169245455903993732\ 101518073/830330269229155438922756314255511489411250689014989521279\ 54063788440760832*c_1001_1^11 + 15339927183641722103140436427378302\ 701981893342304965675646862664250142607009/830330269229155438922756\ 31425551148941125068901498952127954063788440760832*c_1001_1^10 - 3179641291435902266536930769965576108127145315584855951624238862457\ 910914953/518956418268222149326722696409694680882031680634368450799\ 7128986777547552*c_1001_1^9 + 1341595458766644507564923456925250581\ 9816366848793484878524771883826950471385/51895641826822214932672269\ 64096946808820316806343684507997128986777547552*c_1001_1^8 - 9937031202782037223645172350406632826162292288197119793408488697737\ 4508042271/41516513461457771946137815712775574470562534450749476063\ 977031894220380416*c_1001_1^7 - 38364242825928753678219979268757624\ 069732315312676385351465707899034405899041/830330269229155438922756\ 31425551148941125068901498952127954063788440760832*c_1001_1^6 - 9869315425847570362263567932688388404870304192054180654446947472871\ 66905188837/8303302692291554389227563142555114894112506890149895212\ 7954063788440760832*c_1001_1^5 - 3878755003300065816104450352553386\ 69708771764403044324378874484040220547977389/8303302692291554389227\ 5631425551148941125068901498952127954063788440760832*c_1001_1^4 - 1479393746918600561848180328085669588452509188363346213549379691474\ 84147673365/4151651346145777194613781571277557447056253445074947606\ 3977031894220380416*c_1001_1^3 + 3943015104865074327442061943519828\ 42551557149608699195827466653709712628712019/4151651346145777194613\ 7815712775574470562534450749476063977031894220380416*c_1001_1^2 + 4603043097355442420922617298921458554138080934855679542766359783067\ 99330919539/8303302692291554389227563142555114894112506890149895212\ 7954063788440760832*c_1001_1 - 172409319064451756642684152133515868\ 326667306129564003750695269443426171983467/830330269229155438922756\ 31425551148941125068901498952127954063788440760832, c_0011_0 - 1, c_0011_10 + 51728472079418981593553164972316761615345048577042522949582\ 5/3518692461754866906306826884984037930836487661709284021039361142*\ c_1001_1^13 - 70697823424094110135295470842248796859665617274415434\ 91406481/1759346230877433453153413442492018965418243830854642010519\ 680571*c_1001_1^12 + 5593154635764718231827721497968691571446932554\ 7055975532683713/35186924617548669063068268849840379308364876617092\ 84021039361142*c_1001_1^11 - 52365659617578953031985681573755144445\ 402396312514310907312760/175934623087743345315341344249201896541824\ 3830854642010519680571*c_1001_1^10 + 156393515683880139930850226395215975421470371759834282066639514/175\ 9346230877433453153413442492018965418243830854642010519680571*c_100\ 1_1^9 - 13606799500119837580963122653139376235644055769426848318994\ 49457/3518692461754866906306826884984037930836487661709284021039361\ 142*c_1001_1^8 + 81056130393095142366920165314434584906198242538736\ 9973816431309/17593462308774334531534134424920189654182438308546420\ 10519680571*c_1001_1^7 + 369798900503280780793029297521320877337389\ 156974267161758591069/351869246175486690630682688498403793083648766\ 1709284021039361142*c_1001_1^6 + 2683727721718538212601179720795408\ 944157652433813059087260614754/175934623087743345315341344249201896\ 5418243830854642010519680571*c_1001_1^5 - 1444883718287534520219411496814889155657745870209013977291577867/35\ 18692461754866906306826884984037930836487661709284021039361142*c_10\ 01_1^4 - 2674016932169576841385705641627917622206453897237041923182\ 099999/351869246175486690630682688498403793083648766170928402103936\ 1142*c_1001_1^3 - 4665814081843134298720949428398266715280764001984\ 914708156440289/175934623087743345315341344249201896541824383085464\ 2010519680571*c_1001_1^2 - 4860064800727665220903117556820617848138\ 06220853343855036342032/1759346230877433453153413442492018965418243\ 830854642010519680571*c_1001_1 + 7768566815462821339472609359680010\ 64967742817611917489346354261/1759346230877433453153413442492018965\ 418243830854642010519680571, c_0011_11 + 13081731160170490024188311127948139699439775862441219431130\ 0/1759346230877433453153413442492018965418243830854642010519680571*\ c_1001_1^13 - 72228139775226604623739005641664914717784080834399375\ 14797081/3518692461754866906306826884984037930836487661709284021039\ 361142*c_1001_1^12 + 3075352324959911033488358504369132166515583138\ 8873437405342753/35186924617548669063068268849840379308364876617092\ 84021039361142*c_1001_1^11 - 74490636016036827972480605432833308348\ 788352372146213583762417/351869246175486690630682688498403793083648\ 7661709284021039361142*c_1001_1^10 + 220190108465383024355644842654512869342659960941437051330917599/351\ 8692461754866906306826884984037930836487661709284021039361142*c_100\ 1_1^9 - 40371582715007454493009877197464840395161501031099630614538\ 1148/17593462308774334531534134424920189654182438308546420105196805\ 71*c_1001_1^8 + 125660660795368317445250340397022161076724293333651\ 4789565362185/35186924617548669063068268849840379308364876617092840\ 21039361142*c_1001_1^7 - 116863688525818654088552641718178909664786\ 9725548861216340670171/35186924617548669063068268849840379308364876\ 61709284021039361142*c_1001_1^6 + 345998401926353549165165814585783\ 1503957570963391543580179958189/35186924617548669063068268849840379\ 30836487661709284021039361142*c_1001_1^5 - 226209062178540809331636873585257035515444948201205053330294539/351\ 8692461754866906306826884984037930836487661709284021039361142*c_100\ 1_1^4 + 27774885270726258974038321046546287681344519561649989978391\ 54253/3518692461754866906306826884984037930836487661709284021039361\ 142*c_1001_1^3 - 25978151517787099584343524457941274492097568241177\ 2755966365116/17593462308774334531534134424920189654182438308546420\ 10519680571*c_1001_1^2 + 167257850768230651798504320252496018781974\ 6940631242172785387667/35186924617548669063068268849840379308364876\ 61709284021039361142*c_1001_1 + 72693583857173021551480639369291047\ 7945528231700253792069995536/17593462308774334531534134424920189654\ 18243830854642010519680571, c_0011_3 + 1, c_0011_8 + 108186370191269235403766090130962738836028089146230377510650\ /1759346230877433453153413442492018965418243830854642010519680571*c\ _1001_1^13 - 308390739338113843288618651597868124891497126169938435\ 9388564/17593462308774334531534134424920189654182438308546420105196\ 80571*c_1001_1^12 + 15142393055696360520764354861073081722579373932\ 788072766980496/175934623087743345315341344249201896541824383085464\ 2010519680571*c_1001_1^11 - 350837341150970374422810459832139779679\ 75832776903426938989324/1759346230877433453153413442492018965418243\ 830854642010519680571*c_1001_1^10 + 88963465565002969088777862744025853935855954739714726174047660/1759\ 346230877433453153413442492018965418243830854642010519680571*c_1001\ _1^9 - 356541984330841771420403620705413422041071647686588071437967\ 288/175934623087743345315341344249201896541824383085464201051968057\ 1*c_1001_1^8 + 6610051815666782423386203292808949744643853500551083\ 01628703209/1759346230877433453153413442492018965418243830854642010\ 519680571*c_1001_1^7 - 28564436878464296260754806379975787965136226\ 7708750503107284398/17593462308774334531534134424920189654182438308\ 54642010519680571*c_1001_1^6 + 100226544141551221289275738987144893\ 6463026239049626520496333594/17593462308774334531534134424920189654\ 18243830854642010519680571*c_1001_1^5 - 1639670707317129404357120354301252101693911135999060615022894582/17\ 59346230877433453153413442492018965418243830854642010519680571*c_10\ 01_1^4 - 1759083975196792489715633146837783244069656947023580868723\ 44250/1759346230877433453153413442492018965418243830854642010519680\ 571*c_1001_1^3 - 17294518899529684798540103307430766096056664342588\ 54659357544125/1759346230877433453153413442492018965418243830854642\ 010519680571*c_1001_1^2 + 94503739804624291639338389270996185921579\ 6713572845404296134291/17593462308774334531534134424920189654182438\ 30854642010519680571*c_1001_1 + 10071159214844131822872016645994892\ 99653082348379472847212555099/1759346230877433453153413442492018965\ 418243830854642010519680571, c_0011_9 + 63315357251929336143555730058620284526698948029525722581725/\ 1759346230877433453153413442492018965418243830854642010519680571*c_\ 1001_1^13 - 3354083926235105806410939309345517958037313201016860261\ 379657/351869246175486690630682688498403793083648766170928402103936\ 1142*c_1001_1^12 + 546891407669177267725248841688346720257638059533\ 6230443939735/17593462308774334531534134424920189654182438308546420\ 10519680571*c_1001_1^11 - 19015663258667238658110974849958932859746\ 397744856291837553527/351869246175486690630682688498403793083648766\ 1709284021039361142*c_1001_1^10 + 386471528640759317701194686467270\ 95847949935506265585146441152/1759346230877433453153413442492018965\ 418243830854642010519680571*c_1001_1^9 - 159367421053936653204445855086660041803010489935300430636123077/175\ 9346230877433453153413442492018965418243830854642010519680571*c_100\ 1_1^8 + 24212432101032143611195504455429701476815292979561059361822\ 6199/35186924617548669063068268849840379308364876617092840210393611\ 42*c_1001_1^7 - 365152226168340263587622589106983946846702564672082\ 50582440718/1759346230877433453153413442492018965418243830854642010\ 519680571*c_1001_1^6 + 21743369417409203141915197627520619477317986\ 20438557932515836223/3518692461754866906306826884984037930836487661\ 709284021039361142*c_1001_1^5 + 31477425386805783407351666290635797\ 1999305378753202030528407156/17593462308774334531534134424920189654\ 18243830854642010519680571*c_1001_1^4 - 141259942329741586761231276694599775797737855756873989998460785/351\ 8692461754866906306826884984037930836487661709284021039361142*c_100\ 1_1^3 - 27888251827239510194644552209749849218607760218148221577440\ 04805/3518692461754866906306826884984037930836487661709284021039361\ 142*c_1001_1^2 - 11731764977336789414330676269679578665482758649871\ 33747103628656/1759346230877433453153413442492018965418243830854642\ 010519680571*c_1001_1 - 1518970078367271207768611906162370122230503\ 31105508951202982928/1759346230877433453153413442492018965418243830\ 854642010519680571, c_0101_2 + 574936444087775234708314936542798667897863320635338397425525\ /1759346230877433453153413442492018965418243830854642010519680571*c\ _1001_1^13 - 153856787359553038234653798989281287859707033339303873\ 17612369/1759346230877433453153413442492018965418243830854642010519\ 680571*c_1001_1^12 + 1074219449072459561462621544978155383145843762\ 48186371798532669/3518692461754866906306826884984037930836487661709\ 284021039361142*c_1001_1^11 - 9543667403623889843307649537964423993\ 7290696249100826101596676/17593462308774334531534134424920189654182\ 43830854642010519680571*c_1001_1^10 + 651195800508209041585940867623928597620735743183795572596867267/351\ 8692461754866906306826884984037930836487661709284021039361142*c_100\ 1_1^9 - 13780280678783943104514389570026361610087810647750454012853\ 23253/1759346230877433453153413442492018965418243830854642010519680\ 571*c_1001_1^8 + 12018347519697709298445638614845347177748647079132\ 63583568764448/1759346230877433453153413442492018965418243830854642\ 010519680571*c_1001_1^7 + 51262914154573880220559637495043951925867\ 3862646625550699843925/35186924617548669063068268849840379308364876\ 61709284021039361142*c_1001_1^6 + 670643318637621299875056444064102\ 3019244811506534182244661575271/17593462308774334531534134424920189\ 65418243830854642010519680571*c_1001_1^5 + 5412144638471312399372894229299279933583405947944110371666731681/35\ 18692461754866906306826884984037930836487661709284021039361142*c_10\ 01_1^4 + 2680355796810575296405215324335918560631769757091998455275\ 675071/175934623087743345315341344249201896541824383085464201051968\ 0571*c_1001_1^3 - 1238296062158149023874696231052801689073795644412\ 5257468324493957/35186924617548669063068268849840379308364876617092\ 84021039361142*c_1001_1^2 - 439367234121929888862731973686448803067\ 6766090545342883528273811/35186924617548669063068268849840379308364\ 87661709284021039361142*c_1001_1 - 757967848693217111832887885009341810838743549647792846603868673/175\ 9346230877433453153413442492018965418243830854642010519680571, c_0101_4 + 383210409428562566017510741568625986290897342998988069460775\ /1759346230877433453153413442492018965418243830854642010519680571*c\ _1001_1^13 - 102502209849943161133093187881237600706462416060651691\ 35901584/1759346230877433453153413442492018965418243830854642010519\ 680571*c_1001_1^12 + 7147490446361896099169798058445173612896566312\ 8961110009949331/35186924617548669063068268849840379308364876617092\ 84021039361142*c_1001_1^11 - 64775590401832724959507549706891920061\ 062139363586285152320132/175934623087743345315341344249201896541824\ 3830854642010519680571*c_1001_1^10 + 438259063455760078763053680971430562783756084942804359295045369/351\ 8692461754866906306826884984037930836487661709284021039361142*c_100\ 1_1^9 - 91758731523909063373511011531844964527637945262236904982815\ 2764/17593462308774334531534134424920189654182438308546420105196805\ 71*c_1001_1^8 + 812553681017917081810840369991090595230993614487861\ 325285445709/175934623087743345315341344249201896541824383085464201\ 0519680571*c_1001_1^7 + 1737290914066609323573095557339377234261632\ 42876298230343328897/3518692461754866906306826884984037930836487661\ 709284021039361142*c_1001_1^6 + 43521546304693301551134573852033888\ 97833110300524540756440731983/1759346230877433453153413442492018965\ 418243830854642010519680571*c_1001_1^5 + 3946832623713812708971287841088580080502132204810178139580263039/35\ 18692461754866906306826884984037930836487661709284021039361142*c_10\ 01_1^4 + 2618313392648475006155666352956970091448776373828848605468\ 421523/175934623087743345315341344249201896541824383085464201051968\ 0571*c_1001_1^3 - 4502737509724727643320540848368890515954139340500\ 823092429050375/351869246175486690630682688498403793083648766170928\ 4021039361142*c_1001_1^2 + 7664764691083583700575188367445099401850\ 1787702387431196680537/35186924617548669063068268849840379308364876\ 61709284021039361142*c_1001_1 - 39816998161536493847936531706907985\ 6796153289569364075929077382/17593462308774334531534134424920189654\ 18243830854642010519680571, c_0101_5 - 670964975895726115396692788298251378248861616808895003561125\ /1759346230877433453153413442492018965418243830854642010519680571*c\ _1001_1^13 + 355743438531221849208269398321126235013696821670810327\ 49488135/3518692461754866906306826884984037930836487661709284021039\ 361142*c_1001_1^12 - 5841103285143216963358781413552071600354986251\ 6818665003833009/17593462308774334531534134424920189654182438308546\ 42010519680571*c_1001_1^11 + 20373808345902582999187160714997945344\ 4164197270683142812867771/35186924617548669063068268849840379308364\ 87661709284021039361142*c_1001_1^10 - 373496750097169113788184027661553189824010094388513067882950890/175\ 9346230877433453153413442492018965418243830854642010519680571*c_100\ 1_1^9 + 15510269644964605040353569284791547756013685538734640331858\ 40053/1759346230877433453153413442492018965418243830854642010519680\ 571*c_1001_1^8 - 22495601600507401958265111932161126161036747170711\ 52986528468675/3518692461754866906306826884984037930836487661709284\ 021039361142*c_1001_1^7 - 11727497403809595803973199026162624547656\ 2860124251833916097966/17593462308774334531534134424920189654182438\ 30854642010519680571*c_1001_1^6 - 167223718892585824644684570412261\ 06936047896479534777153702047177/3518692461754866906306826884984037\ 930836487661709284021039361142*c_1001_1^5 - 5275375203213305541966073708622691356001961678879847293488462401/17\ 59346230877433453153413442492018965418243830854642010519680571*c_10\ 01_1^4 - 1244980014373276091133374498760907113752729044203593319155\ 0011361/35186924617548669063068268849840379308364876617092840210393\ 61142*c_1001_1^3 + 104086879559726157214222434776969070283391003020\ 69141215920163623/3518692461754866906306826884984037930836487661709\ 284021039361142*c_1001_1^2 + 33984423803545906839574682493182804069\ 78685977675667487542552821/1759346230877433453153413442492018965418\ 243830854642010519680571*c_1001_1 + 1586098502139784523522983480487889784175687997401836237847530116/17\ 59346230877433453153413442492018965418243830854642010519680571, c_0101_7 - 144206727635588430371861540158181850460471495228345497638825\ /1759346230877433453153413442492018965418243830854642010519680571*c\ _1001_1^13 + 710981320570369489847236398012366617168413260529163203\ 8228959/35186924617548669063068268849840379308364876617092840210393\ 61142*c_1001_1^12 - 52182975513135648076428429093071255093255419372\ 55763535322793/1759346230877433453153413442492018965418243830854642\ 010519680571*c_1001_1^11 - 1510692344256545293802759798547742416261\ 5739198780497157100801/35186924617548669063068268849840379308364876\ 61709284021039361142*c_1001_1^10 - 20071011930185558114926556414432992784692107260968927808016225/1759\ 346230877433453153413442492018965418243830854642010519680571*c_1001\ _1^9 + 157329503758174317384607722638387819283692794624784672244804\ 328/175934623087743345315341344249201896541824383085464201051968057\ 1*c_1001_1^8 + 9535096090512054955080633225498303692340264044710087\ 42251877185/3518692461754866906306826884984037930836487661709284021\ 039361142*c_1001_1^7 - 95682735711706669922896605025762128968837875\ 1921330226449283932/17593462308774334531534134424920189654182438308\ 54642010519680571*c_1001_1^6 - 323979435884410039278974184480604841\ 8782597159558284891708838589/35186924617548669063068268849840379308\ 36487661709284021039361142*c_1001_1^5 - 3726191550263306163508582711638170659702699712504752211478173371/17\ 59346230877433453153413442492018965418243830854642010519680571*c_10\ 01_1^4 - 2810955053263682612850627230626868063577032180897414386842\ 377293/351869246175486690630682688498403793083648766170928402103936\ 1142*c_1001_1^3 + 5242706994630486919256496977239118069008551071595\ 68261781231893/3518692461754866906306826884984037930836487661709284\ 021039361142*c_1001_1^2 + 17430028284319782568830295521352164561164\ 19290037272775090487856/1759346230877433453153413442492018965418243\ 830854642010519680571*c_1001_1 + 3728755107940748831279599328694606\ 68976520038794448704691947446/1759346230877433453153413442492018965\ 418243830854642010519680571, c_0101_9 + 383210409428562566017510741568625986290897342998988069460775\ /1759346230877433453153413442492018965418243830854642010519680571*c\ _1001_1^13 - 102502209849943161133093187881237600706462416060651691\ 35901584/1759346230877433453153413442492018965418243830854642010519\ 680571*c_1001_1^12 + 7147490446361896099169798058445173612896566312\ 8961110009949331/35186924617548669063068268849840379308364876617092\ 84021039361142*c_1001_1^11 - 64775590401832724959507549706891920061\ 062139363586285152320132/175934623087743345315341344249201896541824\ 3830854642010519680571*c_1001_1^10 + 438259063455760078763053680971430562783756084942804359295045369/351\ 8692461754866906306826884984037930836487661709284021039361142*c_100\ 1_1^9 - 91758731523909063373511011531844964527637945262236904982815\ 2764/17593462308774334531534134424920189654182438308546420105196805\ 71*c_1001_1^8 + 812553681017917081810840369991090595230993614487861\ 325285445709/175934623087743345315341344249201896541824383085464201\ 0519680571*c_1001_1^7 + 1737290914066609323573095557339377234261632\ 42876298230343328897/3518692461754866906306826884984037930836487661\ 709284021039361142*c_1001_1^6 + 43521546304693301551134573852033888\ 97833110300524540756440731983/1759346230877433453153413442492018965\ 418243830854642010519680571*c_1001_1^5 + 3946832623713812708971287841088580080502132204810178139580263039/35\ 18692461754866906306826884984037930836487661709284021039361142*c_10\ 01_1^4 + 2618313392648475006155666352956970091448776373828848605468\ 421523/175934623087743345315341344249201896541824383085464201051968\ 0571*c_1001_1^3 - 4502737509724727643320540848368890515954139340500\ 823092429050375/351869246175486690630682688498403793083648766170928\ 4021039361142*c_1001_1^2 - 3442044814844031069301075001309586936817\ 985874006896589842680605/351869246175486690630682688498403793083648\ 7661709284021039361142*c_1001_1 - 398169981615364938479365317069079\ 856796153289569364075929077382/175934623087743345315341344249201896\ 5418243830854642010519680571, c_0110_9 + 191726034659212668690804194974172681606965977636350327964750\ /1759346230877433453153413442492018965418243830854642010519680571*c\ _1001_1^13 - 513545775096098771015606111080436871532446172786521818\ 1710785/17593462308774334531534134424920189654182438308546420105196\ 80571*c_1001_1^12 + 17973520221813497577282086956681901092809356559\ 612630894291669/175934623087743345315341344249201896541824383085464\ 2010519680571*c_1001_1^11 - 306610836344061734735689456727523198762\ 28556885514540949276544/1759346230877433453153413442492018965418243\ 830854642010519680571*c_1001_1^10 + 106468368526224481411443593326249017418489829120495606650910949/175\ 9346230877433453153413442492018965418243830854642010519680571*c_100\ 1_1^9 - 46044075263930367671632884168418651573240161215267635145717\ 0489/17593462308774334531534134424920189654182438308546420105196805\ 71*c_1001_1^8 + 389281070951853848033723491493444122543871093425402\ 258283318739/175934623087743345315341344249201896541824383085464201\ 0519680571*c_1001_1^7 + 1694500250695389349241434096082508979162553\ 09885163660178257514/1759346230877433453153413442492018965418243830\ 854642010519680571*c_1001_1^6 + 23542785559068828436371070554376341\ 21411701206009641488220843288/1759346230877433453153413442492018965\ 418243830854642010519680571*c_1001_1^5 + 732656007378749845200803194105349926540636871566966116043234321/175\ 9346230877433453153413442492018965418243830854642010519680571*c_100\ 1_1^4 + 62042404162100290249548971378948469182993383263149849807253\ 548/175934623087743345315341344249201896541824383085464201051968057\ 1*c_1001_1^3 - 3940111555928381297713210731079563187391908551812217\ 187947721791/175934623087743345315341344249201896541824383085464201\ 0519680571*c_1001_1^2 - 2235159994065067362816535810269469512347633\ 939123865157362477174/175934623087743345315341344249201896541824383\ 0854642010519680571*c_1001_1 - 359797867077852173353522567940261954\ 042590260078428770674791291/175934623087743345315341344249201896541\ 8243830854642010519680571, c_1001_1^14 - 664/25*c_1001_1^13 + 15403/175*c_1001_1^12 - 25601/175*c_1001_1^11 + 92466/175*c_1001_1^10 - 79504/35*c_1001_1^9 + 39342/25*c_1001_1^8 + 175379/175*c_1001_1^7 + 2015177/175*c_1001_1^6 + 1279993/175*c_1001_1^5 + 841116/175*c_1001_1^4 - 62142/7*c_1001_1^3 - 268509/35*c_1001_1^2 - 9589/175*c_1001_1 + 245482/175 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.350 Total time: 1.550 seconds, Total memory usage: 32.09MB