Magma V2.19-8 Wed Aug 21 2013 00:11:29 on localhost [Seed = 357792470] Type ? for help. Type -D to quit. Loading file "K13n2957__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2957 geometric_solution 12.52330283 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 2 3 0132 0132 0321 0132 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 0 0 0 0 1 0 -1 -5 0 5 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.460237070080 0.799828801722 0 4 6 5 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 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 0 -1 5 0 -5 0 0 0 0 0 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.248175022447 1.066603554586 7 0 0 8 0132 0132 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.460237070080 0.799828801722 4 7 0 9 0132 0132 0132 0132 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 1 -5 0 0 0 0 -1 1 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.905256584501 0.838434007777 3 1 10 11 0132 0132 0132 0132 0 0 0 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 -1 0 1 0 0 0 0 4 0 0 -4 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.376231810569 1.067275836272 9 12 1 8 0132 0132 0132 0213 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 1 -1 -4 0 0 4 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.364189078998 0.484679740697 11 9 10 1 0132 2103 0321 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 0 0 0 0 0 -5 5 0 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.695055913427 1.162567028707 2 3 11 9 0132 0132 3012 0213 0 0 0 0 0 1 -1 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 -4 4 0 0 0 0 0 0 -4 0 4 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.498308101142 0.584379488747 10 12 2 5 0213 0213 0132 0213 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 0 0 0 0 -1 1 0 0 0 0 0 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.800924916482 1.193518425777 5 6 3 7 0132 2103 0132 0213 0 0 0 0 0 1 -1 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -5 5 0 4 0 0 -4 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.754964851649 0.513056419756 8 12 6 4 0213 0321 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.610089951984 1.081467168055 6 7 4 12 0132 1230 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 -1 0 1 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.573556907364 0.815783009624 11 5 8 10 3201 0132 0213 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 -1 0 -4 5 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.095036411437 0.955530139647 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_1'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_1001_0'], 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : d['c_0011_12'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_11']), 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_1001_4'], 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : d['c_1001_4'], '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'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_1'], 'c_0101_10' : d['c_0011_8'], 's_2_0' : d['1'], 's_2_1' : 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' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_1001_0'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1001_10'], 'c_1100_4' : d['c_0011_12'], 'c_1100_7' : negation(d['c_1001_1']), 'c_1100_6' : d['c_1001_10'], 'c_1100_1' : d['c_1001_10'], 'c_1100_0' : d['c_1001_2'], 'c_1100_3' : d['c_1001_2'], 'c_1100_2' : d['c_1001_0'], 's_0_10' : d['1'], 'c_1100_9' : d['c_1001_2'], 'c_1100_11' : d['c_0011_12'], 'c_1100_10' : d['c_0011_12'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_0'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : negation(d['c_0011_11']), 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_1001_1']), 'c_1010_8' : d['c_1001_10'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : 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_1001_10'], 's_1_7' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_12'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_12']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_0'], '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' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_8']), 'c_0110_10' : d['c_0101_4'], 'c_0110_12' : negation(d['c_0011_10']), 'c_0101_12' : d['c_0011_8'], 'c_0101_7' : d['c_0011_10'], 'c_0101_6' : negation(d['c_0011_8']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_4'], 'c_0101_8' : d['c_0011_10'], '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_0101_0'], 'c_0110_8' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0011_10'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : negation(d['c_0101_0']), 'c_0110_6' : d['c_0101_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_12, c_0011_8, c_0101_0, c_0101_1, c_0101_4, c_1001_0, c_1001_1, c_1001_10, c_1001_2, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 3404777530009461419647351086644183162256327095480300311883923496057\ 20899650573597292682783930976514733/2745803894504992170276935678624\ 8190093286903030639388784869946179895824500505500397580184065563579\ *c_1001_4^24 + 1032818558760545200876673132272247388681326058724141\ 084121139461672076888281408601607087264363043411645/549160778900998\ 4340553871357249638018657380606127877756973989235979164900101100079\ 5160368131127158*c_1001_4^23 - 446171422682884447727938781027782642\ 4148827406543169950372006041370751435419381552398863168607520290353\ /274580389450499217027693567862481900932869030306393887848699461798\ 95824500505500397580184065563579*c_1001_4^22 + 2295061939859427496798915489173742251780670940511478628793170308562\ 4673825120925335523080587419709776441/54916077890099843405538713572\ 4963801865738060612787775697398923597916490010110007951603681311271\ 58*c_1001_4^21 + 13797537111623029052634300013145575589005042428198\ 499350592275200222325466822757389255214340934190691933/549160778900\ 9984340553871357249638018657380606127877756973989235979164900101100\ 0795160368131127158*c_1001_4^20 + 844762707925642990392071390785766\ 9742187349304047122289835592366956427384523113988571093811450553249\ 3689/54916077890099843405538713572496380186573806061278777569739892\ 359791649001011000795160368131127158*c_1001_4^19 + 2299785941144733292485337669488148500062157763306494614375264546795\ 82926611679501001243415503000054692699/5491607789009984340553871357\ 2496380186573806061278777569739892359791649001011000795160368131127\ 158*c_1001_4^18 + 3006952611071748803246145439945002000380913798582\ 50249271555052751417275701656155589386440679054874822643/5491607789\ 0099843405538713572496380186573806061278777569739892359791649001011\ 000795160368131127158*c_1001_4^17 + 3325344194288561370532453412115934906840118164679752155676748861091\ 18549005315504312840737348307761225047/5491607789009984340553871357\ 2496380186573806061278777569739892359791649001011000795160368131127\ 158*c_1001_4^16 + 5826744467272653201621777964407832353949517791026\ 076810359847101055243039975598657554797460133458067498/211215684192\ 6917054059181291249860776406684848510722214220765090761217269269653\ 876736937235812583*c_1001_4^15 + 7260330068832025107898496644523763\ 8424197501088166734801533853077497167170438906251029988800986743477\ 2/21121568419269170540591812912498607764066848485107222142207650907\ 61217269269653876736937235812583*c_1001_4^14 - 1332086031299975363704617058892539674818345831528892013581233525630\ 06976406443551482002359669574037779643/5491607789009984340553871357\ 2496380186573806061278777569739892359791649001011000795160368131127\ 158*c_1001_4^13 + 2933936300668854666147878486121639115645209164380\ 36766386128802465533370630690005174070519864906408973955/5491607789\ 0099843405538713572496380186573806061278777569739892359791649001011\ 000795160368131127158*c_1001_4^12 + 2761619215242087033810650232594243319887798055522225019548376540996\ 93257625291212268647604258303965941621/5491607789009984340553871357\ 2496380186573806061278777569739892359791649001011000795160368131127\ 158*c_1001_4^11 + 2548808006195173978944421265101239770502699907836\ 9649338135410357866203450358477099414612682581024899069/21121568419\ 2691705405918129124986077640668484851072221422076509076121726926965\ 3876736937235812583*c_1001_4^10 + 437203968454940728321527433279848\ 0452876400092298175281153154189432103475881350474392199137618689239\ 90/6283304106418746385073079356120867298234989251862560362670468233\ 3857721969120138209565638593967*c_1001_4^9 + 1816114261303950217844029184637697344191144102343037832606346593245\ 3443678881878830530385358707087446207/42243136838538341081183625824\ 9972155281336969702144442844153018152243453853930775347387447162516\ 6*c_1001_4^8 + 3270379013263731217110505175318707433455465518149150\ 9771542593275895923789831498055108096863126558714275/54916077890099\ 8434055387135724963801865738060612787775697398923597916490010110007\ 95160368131127158*c_1001_4^7 - 225683304800997868813653501625139321\ 8651218369684660634077401105633471396881944332076711489724898296757\ /289031988895262333713361650381559895718809505585677776682841538735\ 7455210579526357640019375322482*c_1001_4^6 - 2107145930358758160631491294077691966328021485273479804114913066602\ 11824520195203736409252064338781555/2223322991502017951641243464473\ 53765937545773527444443602185799027496554659963565972309182717114*c\ _1001_4^5 - 2237010933466146154534341621875326589768821288214642041\ 70551859536456366114893169457759515429982779983/2745803894504992170\ 2769356786248190093286903030639388784869946179895824500505500397580\ 184065563579*c_1001_4^4 - 92060140103567224287426705548961507625129\ 78818879674984668322587339511522470119907837665101095590964261/5491\ 6077890099843405538713572496380186573806061278777569739892359791649\ 001011000795160368131127158*c_1001_4^3 + 9571529792886048938558787202531909182534226002942955291262711790432\ 8093412378233098070656523816421729/54916077890099843405538713572496\ 380186573806061278777569739892359791649001011000795160368131127158*\ c_1001_4^2 + 221045380040827800749437957896855612522071770577926282\ 94070741562893798306969676999977944504205141732/1445159944476311668\ 5668082519077994785940475279283888834142076936787276052897631788200\ 09687661241*c_1001_4 + 23916088298922039327208059714734154153239127\ 5125534078583528570939322047623057548425830400527806773813/27458038\ 9450499217027693567862481900932869030306393887848699461798958245005\ 05500397580184065563579, c_0011_0 - 1, c_0011_10 - 45860064339600015896089273746883448107012287792095142190598\ 5119252762648951737912/20723708202576883680972334303670138298528400\ 6640139342540644863595694717565027373*c_1001_4^24 + 1983703726084688860188319838908985792085863457172689958130310586777\ 28912336932010/2072370820257688368097233430367013829852840066401393\ 42540644863595694717565027373*c_1001_4^23 - 5465792479841621676806611232014202014665232483734848850639775692095\ 572960647340108/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4^22 + 9188340034619106080349514128674168321061417701951006783851270050580\ 285623423759222/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4^21 + 2336912330966974799190349658756996370575326209942972761424972440833\ 5867177967304587/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^20 + 7315213876466215593247470543466435539603313834715461005953762506445\ 4064786095120169/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^19 + 2228206056217706095014042533561956975465029928419666178623022256598\ 78345020380201365/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^18 + 3989153717225184966538114183476208226570505666366723312372790763840\ 64955720434273402/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^17 + 5245614901118283130212945335236590267492013848199155037319345638462\ 47651843459034224/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^16 + 4661904538333239795613920055670492534004090913530808040924764936927\ 34436462628196369/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^15 + 2705902667264172600510935368648950032875305572090103577962091372049\ 30651194130143959/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^14 + 2504452079594748819824547373202297666051256112291242845001044067185\ 9209690991099101/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^13 + 1439478827439560299323841305955854620364476472724972272744228147298\ 58230887957628847/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^12 + 3752983407574936257219794135335896331677662034903957933536998145334\ 92678456746219684/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^11 + 7300718947958463188914208757494946688506425556554327737671269922163\ 45037544199785587/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^10 + 8537043556333476354135411443872934082037210910477863415795533153505\ 50275630099837566/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^9 + 6851465064294397682758613477118115482961929780939762395149447720737\ 34404838227928059/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^8 + 4017097710944037275605341761667937190888237120318225159393065594161\ 76051890515139468/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^7 + 1440663111489773324631948816836633505688005530871010918723945782894\ 32587575724015531/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^6 + 4328599747505436437574464029125800036964880366620018564102985981746\ 7361715173611/20723708202576883680972334303670138298528400664013934\ 2540644863595694717565027373*c_1001_4^5 - 1187205529224763468837965092545290220941489659188662270716144254402\ 542153987632227/901030791416386246998797143637832099936017420174518\ 8806114994069378031198479451*c_1001_4^4 - 1744032291002657881444098534921846691639109174919443963144312464383\ 9768615207951977/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^3 - 1068970542694463545303217703694556802436784314940717919929090446467\ 6574824483791209/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^2 - 3971221981702230751357905274578795115790639778118506911250033973240\ 588769358946568/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4 - 7760597483413270549176602061306378271050284610749319941684640221661\ 60847108275147/2072370820257688368097233430367013829852840066401393\ 42540644863595694717565027373, c_0011_11 + 24800016153624792794728615489835597854009207913979774344388\ 0218932093908458419370/20723708202576883680972334303670138298528400\ 6640139342540644863595694717565027373*c_1001_4^24 - 1371532009614574510802600979756334826725741978158126714598391568156\ 44195300373376/2072370820257688368097233430367013829852840066401393\ 42540644863595694717565027373*c_1001_4^23 + 2946566896126687661731864976045232722576125468748870541424391942214\ 074825545513232/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4^22 - 5294113246028066494457461776686951082739707202568251195592211861014\ 556246559402055/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4^21 - 1232574705169373978671871967267167770076060464455611556714017167164\ 4768413351772575/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^20 - 3733054197264384497912283219886540936415793144092956381773608299535\ 0733480768881815/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^19 - 1151909213782068766926382819436445465599857383208953461809099495926\ 78255121485026081/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^18 - 1984516690901416893397730873157744786957316874633229125064158349227\ 16817848994571114/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^17 - 2495914765132702828068610865939492989879707818247107559104784915116\ 31656831160480720/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^16 - 2071129406472253742905704143839697481042564624532191154878342941151\ 86259085410698254/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^15 - 1029960005609291088097837230707270323929625575529403741028875295111\ 94786931638446632/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^14 + 1233269545499161948670822673835743930160598700779204005869412107863\ 7021771964438573/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^13 - 7336607703159005967720296211558144788454629278609677051389123685077\ 3733378345289345/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^12 - 1967388808391384482968909226117856254818115990317431740757486677964\ 20622943141131697/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^11 - 3616335802556349815684419752270571033016798142380822308819591878124\ 15098217151799895/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^10 - 4040638405239632375749173792458503750672437351279202164805397153713\ 60218251090067329/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^9 - 2922146367709432197119144908564715299392917099756116405285518485854\ 27008935992740970/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^8 - 1535799358768705051020329293426579760750848325460750297631489127164\ 27653615937438725/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^7 - 4125801264154420200604885695930982073716595745308285292258894244508\ 2957705876259531/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^6 + 1487221797477919216953296654928753929314967373974053757454095160347\ 3864919164726469/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^5 + 6068319128033482872296014927379814861547379935842718567659305921857\ 98097243922332/9010307914163862469987971436378320999360174201745188\ 806114994069378031198479451*c_1001_4^4 + 6531193973330504412391873207779758462998817194872145470288135970427\ 314053967943546/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4^3 + 4461430746153649952883922357720399074862768240624587016085099720360\ 718785460590006/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4^2 + 1232762564461112375708152195146973977680822602940246486494624736336\ 230135188383628/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4 - 1007976469245343739942665558639554358405108702099469598566144182913\ 1178490429318/20723708202576883680972334303670138298528400664013934\ 2540644863595694717565027373, c_0011_12 - 37164662115925812885095359628605465490850833740570100825662\ 8898670940610046971942/20723708202576883680972334303670138298528400\ 6640139342540644863595694717565027373*c_1001_4^24 + 1901294088119924709803598283642370067441145242019577497317598391011\ 54827725749435/2072370820257688368097233430367013829852840066401393\ 42540644863595694717565027373*c_1001_4^23 - 4422257852592951960311597770253006634329455147410012458004137999000\ 089939943557594/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4^22 + 7774524608644139460151685051881433897310942097757746690271569531009\ 022629924391782/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4^21 + 1860162461610926059886026474856526515991819362722765743321937457651\ 7006060222561553/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^20 + 5722130841641865426421401463447923208287202561984031937063542608428\ 5521750192152140/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^19 + 1752455607093293889765765829696677274195119154598742574184972225415\ 87345903723922209/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^18 + 3062604936928787270980535154556711260346656539218576637306131298837\ 30095102075087587/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^17 + 3915733322017849681324383363212081567128665689548236573767197647056\ 25062271738104160/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^16 + 3322027324750443829467280820370189261762611283597452014333773418904\ 63132434403025538/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^15 + 1745042709719954604232151828514377126447081165985265495263427892834\ 75061321895792558/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^14 - 7540597189320873285704209119872444613112088714267444653508981262563\ 429210398441885/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4^13 + 1114716185641497051398765499336469138073011663733198811819972479888\ 23479479134784917/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^12 + 2985198039060977406316860531508740194829502619647126144630143592199\ 09747154746293468/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^11 + 5609088212001390020956672527523759136732264831848141094282509690045\ 45005719986153525/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^10 + 6334919847963697935585639343667255229601641331752876624863597088246\ 55577017902950434/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^9 + 4757206343456830215620342550905661931139652185424795061816710672411\ 07163995434695158/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^8 + 2592465800017313554762633655640464026217603464360389063185986454137\ 33511822399791972/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^7 + 7768898413645005292536489792099138576991104587015646466829334586241\ 9015528216341985/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^6 - 1488468083748223989023579481793715665566647377221267148188200504454\ 2994317378126219/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^5 - 9377476818067347497730253742930137010317182502865360172420073435458\ 11864456780186/9010307914163862469987971436378320999360174201745188\ 806114994069378031198479451*c_1001_4^4 - 1073401365500741429411098584534808014726795333526854997127430421381\ 8598670946268492/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^3 - 7029385660263345338688919555664588599821433459922436705787407900087\ 965437162254707/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4^2 - 2322504264029418182935585079545001665038632008025105476018274919647\ 813981562885112/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4 - 1387240987054743297545311114709852360131788259309397683691494476988\ 19870310556698/2072370820257688368097233430367013829852840066401393\ 42540644863595694717565027373, c_0011_8 - 369919365978008348173695387265026597859896467099415154884230\ 435221034240865829531/207237082025768836809723343036701382985284006\ 640139342540644863595694717565027373*c_1001_4^24 + 7599300862442928836744670571903944145241855840946189589162324953262\ 5577862460693/20723708202576883680972334303670138298528400664013934\ 2540644863595694717565027373*c_1001_4^23 - 4359369962766732918253122812834138449715932340080009552184137177298\ 912036332390552/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4^22 + 6406749482357656756834720876590882646402459508444622831903903291941\ 611858531693904/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4^21 + 2068218413297624077127712848915519491171720008440612447900846392187\ 6072816324850225/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^20 + 6306324171522219790646930789001496049456306703299451562017287466380\ 7248370305653043/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^19 + 1923265845004854686790127143210352399777252190534040873830065456013\ 19456527115234923/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^18 + 3606410947275164142934267533267563432587403553987398585544569823851\ 15614839496385351/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^17 + 4895539950217028236723619707984606131237876242681938660301851644034\ 79100239212986331/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^16 + 4604492200095264703760624249350273289033265504075598449324536135366\ 19928482652076189/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^15 + 2889231570656813329570021360000489949963090053184975699994845859942\ 10259754195257060/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^14 + 5649878557528693068061909665006359147409699439132126573436172580937\ 2728100437313119/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^13 + 1136973638828105020203259629021100992825117827128522035797105393346\ 44500141978356511/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^12 + 3285538155946843997454139319645787209525847443880295106166817390937\ 20461626898400575/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^11 + 6541011170544337388912437219614423062722409250801530765182650593521\ 58327225909239670/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^10 + 8100838399580707237528041001821811688651172574727480052414352802057\ 53351441184227173/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^9 + 6895439164087099042481421319734314535328307937970782183841536217220\ 25395652990397797/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^8 + 4235192353880276185862764332621038937169021987410781293322567781676\ 61088408588554212/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^7 + 1722467878282542711159451394255709777311470121859022311334707655692\ 64835277359470355/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^6 + 1501438029375402971629703999983680112807885975294488968577571829239\ 6239146941094706/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^5 - 1109803704081382408542219287993443897329131925102350834422576921721\ 132817184486041/901030791416386246998797143637832099936017420174518\ 8806114994069378031198479451*c_1001_4^4 - 1849602388107890136302741703202121002274275704647154626552203413482\ 7333851145432432/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^3 - 1112024828288880404072806617310613593791797117132497160353603940279\ 2678868359840919/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^2 - 4508215769380491046737467419890461572465389523812245889245680395112\ 111624611495417/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4 - 9073128354020305211801886416882774398234012050272784143209171279135\ 94373868628718/2072370820257688368097233430367013829852840066401393\ 42540644863595694717565027373, c_0101_0 + 270662984088031078963062223054657540961058083996029733918486\ 476532797516090176894/207237082025768836809723343036701382985284006\ 640139342540644863595694717565027373*c_1001_4^24 - 6578800728073553372266582093413247206451957262721109514003528143420\ 1141586488907/20723708202576883680972334303670138298528400664013934\ 2540644863595694717565027373*c_1001_4^23 + 3193864232675495133715055876375752652237600901556392832609422426052\ 684544924254448/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4^22 - 4811959512715175154822032893635793494272095376712339394700524869902\ 372689425731799/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4^21 - 1493476148669518067969677152354365658461478179267710890398777560800\ 5626216178684530/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^20 - 4564367576394489182839596168665425784441995929253802704602707567210\ 4131265162908826/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^19 - 1390887908867993326449021584399058138601765723246572886082295952972\ 38893969877648067/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^18 - 2585469829819575800196709407067844667352140046666639643208934100036\ 17461081777631268/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^17 - 3486904102566875225471336580152785008051537911927378909466700733910\ 69584919664614962/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^16 - 3233209813753394180490159785410854559860609408861967415100174988391\ 55857204248380333/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^15 - 1971651381823887514330794970450739712196812617592914330997685184853\ 49513994917687376/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^14 - 3125186587443039825336241637684132645600019780957933989519221317408\ 5054289889368263/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^13 - 8054494105220856925328922884840979566459781538091315340985060717355\ 1743930182394984/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^12 - 2379953985653868110747100875750021765153696157336866151752513361830\ 07272614276247906/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^11 - 4716883288101500196166050507657922332375055150706202844612705423003\ 68960288503946555/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^10 - 5759003012486678613308040574648077504866399567975694930741242135451\ 19261292331476747/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^9 - 4794046543361511068954634877572830732322311521386728001351995597891\ 19157318989251593/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^8 - 2883007697401087855799635279749155932222969385188546530650464315831\ 00980300765985098/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^7 - 1113899470912642386691565489566628880771382535683586148859483517013\ 91085639472115791/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^6 - 6377720975461623334259770910122813024866022464495508231514703159660\ 610116968456187/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4^5 + 8044092251570616725774044154678173444552076534773024203059488068375\ 67991623184882/9010307914163862469987971436378320999360174201745188\ 806114994069378031198479451*c_1001_4^4 + 1215533466679191142296601875539056337852382384794764806526425037133\ 3404433343238124/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^3 + 7576381222866439872507653256481789328029237472561916169266260112626\ 742442749360786/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4^2 + 3138449347684242924953896494577025350039311948452881483324264056504\ 151450267566157/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4 + 7052531348941329940187075860303666429088029836581661999779014515105\ 20575924092225/2072370820257688368097233430367013829852840066401393\ 42540644863595694717565027373, c_0101_1 + 335085955344278334519561659027070944993464202372356882375784\ 702673528184836412067/207237082025768836809723343036701382985284006\ 640139342540644863595694717565027373*c_1001_4^24 - 1951362962712602934518306570385301053105653772727116722346676334910\ 44835438331673/2072370820257688368097233430367013829852840066401393\ 42540644863595694717565027373*c_1001_4^23 + 4033906018861652193397496629874118966626717056983674003913264293922\ 702990897420282/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4^22 - 7316315459645675720720463060052645246241466263766055458736931284970\ 617233892558266/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4^21 - 1586531636057246705541115749011563205594454158282243399869164654323\ 3170062172009509/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^20 - 5120178361170454336107416351350755010472795107438074651710820978904\ 5359472125224401/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^19 - 1559993983053439244727199355628418356804674394910152696553699111270\ 12944609201573460/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^18 - 2697796425334410532934985206449737651559320080494494518453344937630\ 83294123573230580/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^17 - 3486864927873698616922510871590793113773165390287946187676234590360\ 37549730678561347/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^16 - 2993516435346066918505719227120213518757299333455940683524200293716\ 02283336908155039/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^15 - 1655432220252962729553579222079180394761551805204756122235453025445\ 14003186538421826/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^14 - 4313749351831341835089740606324611963624876388601695710446331110452\ 312483794504462/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4^13 - 1095291124524837766953890704043283201149019658901199538119564039995\ 13057263282030397/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^12 - 2575768185832726599686071904535111891882643186356430899689669210298\ 29134657518171073/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^11 - 4974845590388701034811951909026703492454923388009563990080052270627\ 27887392287504326/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^10 - 5618669362205054965249413361414927657586057595831910412238129971361\ 93560988003977369/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^9 - 4331640855403019426643393966791177636005348826615908672648966877895\ 68877899324503718/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^8 - 2504118210911277919217798332599076240719143000793459506069667475700\ 61197073945192543/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^7 - 8295594555980014028543555775754875086537230478831030051943857562259\ 5071276465781385/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^6 + 5115277642776678550272195855961308345698471297606014728418113538137\ 302035270464514/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4^5 + 6957999740479920414707830621883718163864302755509090782826885356092\ 34509845634552/9010307914163862469987971436378320999360174201745188\ 806114994069378031198479451*c_1001_4^4 + 1149198320093433988911432326749778887655529648120770929751103168279\ 0964903888656555/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^3 + 6951070785171624224967201605530556736632355172457289898566924845243\ 475708539228628/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4^2 + 2085913341978132013582656503728151594371044126995381777455519485114\ 767835730367538/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4 + 5538274487347683311499825892347691620128487501787868369853331273181\ 77832680676165/2072370820257688368097233430367013829852840066401393\ 42540644863595694717565027373, c_0101_4 - 402710866927772293672950427911345242870106356269741661803983\ 838037233062720912892/207237082025768836809723343036701382985284006\ 640139342540644863595694717565027373*c_1001_4^24 + 7189518620445759144778566160721617793564429316776698079282411535661\ 0936799996403/20723708202576883680972334303670138298528400664013934\ 2540644863595694717565027373*c_1001_4^23 - 4736791288293842152059255652960436221055125032681167516901131171843\ 960299259026854/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4^22 + 6840470215984897348233919133891546083171338506530190580641624637338\ 880189368063324/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4^21 + 2279926321035754023326068663827350048256184377231799554423621245481\ 7101110254267002/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^20 + 6906138215997384651505069362118653545606754418968423616475027976461\ 3971905475511288/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^19 + 2111161622936592090998157324373083730580120800175721184905433502880\ 79940574934817224/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^18 + 3969195075857606822908761957615147982397903199313005797207570225125\ 20860674932853271/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^17 + 5403588031681303601032616215797443010594966852771004720142796463956\ 67889651162365256/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^16 + 5099987728767381633265369102254222399760681716334261546531141631820\ 60801640174942324/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^15 + 3187851031318515704407358168026310832237109997350720938744812531801\ 06034202741282946/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^14 + 6132451817010739123046733043482846967046849423814018486939640534831\ 0513823066626262/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^13 + 1200069792661773970153946674896961158143822686756031056194520347234\ 48958722826462155/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^12 + 3612848034059127868103004671869028804626863787647878477712910656643\ 18625443393736376/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^11 + 7200188695885984677830703895458096924375399158610588760179170603253\ 25695914445119559/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^10 + 8980665787335821559059524057515336376461192425654913404698864262685\ 83796936087581113/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^9 + 7599137571313116986538335171192197078455559643889137046457886084069\ 83878254848664803/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^8 + 4672894364087746417171454121662546568688665456540620378756667979874\ 65866078138073020/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^7 + 1870327103722539343618549934019689110297508751247780317727135100548\ 12545176616815802/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^6 + 1468725932569070575404935821349498998998827441735928947272764416179\ 6607618204980006/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^5 - 1263888116439065332865323085905640805994019666640930225153609472192\ 250812538307366/901030791416386246998797143637832099936017420174518\ 8806114994069378031198479451*c_1001_4^4 - 2107570113392745070389404842359489439548564809468848937725290980896\ 0452480023714174/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^3 - 1216075136464627827219963031526105561938613862144509235904968658513\ 3750986342005600/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^2 - 4984594747048961134442288637784797034756078288859175638737617702270\ 749683854342611/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4 - 8804653227583617464579817235886385365125754888966642816153467068530\ 51746856334651/2072370820257688368097233430367013829852840066401393\ 42540644863595694717565027373, c_1001_0 + 534987481194472654089656569737266787503460244621404341874883\ 818729472752846946101/207237082025768836809723343036701382985284006\ 640139342540644863595694717565027373*c_1001_4^24 - 3055176030423078812941999356478792304826851640444308630759423489697\ 63525466533533/2072370820257688368097233430367013829852840066401393\ 42540644863595694717565027373*c_1001_4^23 + 6424737040675144158018158878398098690369351871239953299888072318258\ 116223903758940/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4^22 - 1160320854454871976961980871260981067504052162846013881083926835300\ 7379894906310502/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^21 - 2559803107927932186306787103464002312207499564192558494184268988553\ 5546256050622747/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^20 - 8180454826257541178491795735847232012029136713477431007087144552302\ 0071977079155353/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^19 - 2492518443486111316732500381724830790648971139962053307710360274518\ 99939734128033928/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^18 - 4318892983715922228510606496966002797028606699679386735348017819798\ 72776650425652970/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^17 - 5557910726614027650212818127899605648983371477994667703268946793007\ 78949444099388645/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^16 - 4745177161770709705842087233339609304573373457331667661623035240731\ 44451910919869582/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^15 - 2584907924562920020206277535191081217547880506752412481551191852455\ 66449628275585948/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^14 - 4238164311438225461195791281934549574609874658700649656817462890206\ 25725958468450/2072370820257688368097233430367013829852840066401393\ 42540644863595694717565027373*c_1001_4^13 - 1708380590976106938974270724085191371037211574642529237132622883779\ 11227848596033688/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^12 - 4136316683024848591802998535840107096290551741828519620743687494084\ 90362468361493098/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^11 - 7949230040193544605446962441790066557756541159137201403915609347310\ 67193902819858947/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^10 - 8948646767269396971632657340370130505722929365233678128723192441174\ 63879593166241768/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^9 - 6864423331253395103096757062282225488111347643958853463932562360526\ 56319634708049877/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^8 - 3880721502077267044133862505444567795808850464317391844041076402181\ 84820041752369103/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^7 - 1248909415039064724550363117767116337333950521866839960341684014648\ 56917764723652223/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^6 + 1349504476460263665622466932089663322141069772255940473453170155413\ 6110417489349463/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^5 + 1256418424083359022920447514122099422926591251716746220916212404980\ 281879778830092/901030791416386246998797143637832099936017420174518\ 8806114994069378031198479451*c_1001_4^4 + 1745763391083279646680778793070779591800208041490746948803316188076\ 8642671283099947/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^3 + 1097393283737055099822525586886272952289655966539239089160589045918\ 0612179626163347/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^2 + 2984817260912764815668225167763154564623725251067786833162820723396\ 559936069654123/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4 + 4502190932013360397906799625037234706694418389412395744125249982607\ 42774443952618/2072370820257688368097233430367013829852840066401393\ 42540644863595694717565027373, c_1001_1 + 196366017432697402690846035044490375207420280335081162600358\ 633692110505714297099/207237082025768836809723343036701382985284006\ 640139342540644863595694717565027373*c_1001_4^24 - 2048225602122698564742611634756464564192422033767773492584464139163\ 32790137919149/2072370820257688368097233430367013829852840066401393\ 42540644863595694717565027373*c_1001_4^23 + 2429404307777304439671999385310752504017205439333895663761251451497\ 670444265245066/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4^22 - 5388789987017347413985999094114163474984170009936766851848397014640\ 670846498193588/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4^21 - 7159286056617612307922901718581048752063240759634874632419774957915\ 524456235064860/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4^20 - 2606301364708221862968273246887325356808119742471592128269898083848\ 7721816496820357/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^19 - 7802251148369733486493119186699240412444799700013140819797804566747\ 0178316267938206/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^18 - 1178569636515780474532027640336114769722961691057029437538930240254\ 39103529419367857/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^17 - 1369862432316562664223029808709371653606471396530676718122847760809\ 13685042923271039/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^16 - 9021521962392752299770346503559846191532760406813256121692257558767\ 2712713465765767/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^15 - 2819721806662830399541968271582018920619121580949931438251080894036\ 5658260768017540/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^14 + 3165796336715635934002401954081601000344404674044305081894619318799\ 0785210994410369/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^13 - 6982415395189516770132290994813672274650002718927489183908780999892\ 9690848954435261/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^12 - 1221712935623706967290443153328670928623547085530211033548555541190\ 61347459727104478/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^11 - 2268238740607848204014475607513347916244567664157939154186342712386\ 57875607544729948/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^10 - 2022055105688942336463892910702253427625011714796071116438393568097\ 43010373994495779/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^9 - 1196279036148566209992564783317279022420670244234819867002338168518\ 43014131020168304/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^8 - 4869694744691074323667752651590652842505971407407286552986406621896\ 3591211086438020/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^7 + 2870456292227293634017017891216291445519204806408128501811919263472\ 605468872554576/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4^6 + 1527007965746204351594188688063794585097083675952534873042682207222\ 5635965560978529/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^5 + 2096444302066748965289216761464629549748381133817587724100135182224\ 34057621735881/9010307914163862469987971436378320999360174201745188\ 806114994069378031198479451*c_1001_4^4 + 1920518965127818428585598427015048582296136072510931649202368232034\ 491413329139722/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4^3 + 1587042345174371091320941215059121807507846662411469667582203215318\ 069350214258809/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4^2 - 1826295417421676494852056360829387552938483602959153805106395824656\ 74744269108471/2072370820257688368097233430367013829852840066401393\ 42540644863595694717565027373*c_1001_4 - 4739840757115089885743861265827318892115669841347165027339463759052\ 6755614692362/20723708202576883680972334303670138298528400664013934\ 2540644863595694717565027373, c_1001_10 - 15687617764577608868621540497798541819813590332541285538601\ 3922492599230602533901/20723708202576883680972334303670138298528400\ 6640139342540644863595694717565027373*c_1001_4^24 + 1377454492240703450613713242547792782490792010959794497130692193575\ 43027007563410/2072370820257688368097233430367013829852840066401393\ 42540644863595694717565027373*c_1001_4^23 - 1932486622018651556458921204685360822901958693085394422047885558887\ 139786481720293/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4^22 + 4001322216773853759678206300627267864415753888324103770342976368402\ 784835186014426/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4^21 + 6202309809493741577960389965358091113566433611095239599373690515138\ 354991590730844/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4^20 + 2223901564326568431699451320325998172555104110618377271606707874107\ 9235515841211073/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^19 + 6653171767506106449818473377775791461050330250311794220175536192127\ 1199420338059857/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^18 + 1069993937002820926146691065745996967236074278292958806011748026675\ 78462814342099517/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^17 + 1328453246055413493557920704294381754714531710934079478349906497211\ 27066750484113668/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^16 + 1024819190432892442560154845085450072478802819628525317534744087594\ 66532560795873005/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^15 + 4941666396852125986619189807408173260082855111439097297557229910230\ 1396617865570498/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^14 - 1043116383216243798788328076860084406853236575592480207801718347834\ 1546003326104328/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^13 + 5613404996745356060630169045942300266565897736814571777625324726251\ 9205453409885583/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^12 + 1050231624713164500261604930920758642762834813263399578655671240324\ 98677264886060513/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^11 + 2039315967318605154750183388437881310084278765504321496259991595824\ 23539685122574672/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^10 + 2041646831577827363409328308538167557600075618623043819923220314465\ 58377303452552825/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^9 + 1450993817364594178898473029354500063320152648629550238929644204316\ 47079553623566343/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^8 + 7805131904185683133763236508477082320325469592884370478112559616996\ 3297805107571743/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^7 + 1884035287304712189649941608449945366672823858734185770787374970166\ 1002300508613702/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^6 - 4316067460187667437290526224235576994477406944657238463130602175936\ 153765412001520/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4^5 - 1939560632899983345908370439995587902081367582807005482250043419520\ 34628935347287/9010307914163862469987971436378320999360174201745188\ 806114994069378031198479451*c_1001_4^4 - 3502661704441868259839711152630479023653302322784014266123649163261\ 597816679891314/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4^3 - 2178540924570355627182821347513064637857140809089591135027135538234\ 651516831326865/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4^2 - 6091226653458915018801110297218621439223941345309608903380326073862\ 89649539040282/2072370820257688368097233430367013829852840066401393\ 42540644863595694717565027373*c_1001_4 - 1828829381047881249794344082475189528549620341395870668892230153924\ 94544961125022/2072370820257688368097233430367013829852840066401393\ 42540644863595694717565027373, c_1001_2 + 198459453338792264117489613023048680453964062299355170801920\ 335813854852452295134/207237082025768836809723343036701382985284006\ 640139342540644863595694717565027373*c_1001_4^24 - 1549569596661318699440450744959930837550558271430082318806227372024\ 75158839922836/2072370820257688368097233430367013829852840066401393\ 42540644863595694717565027373*c_1001_4^23 + 2424800028701476870421477390579612267494618818727454730621498704952\ 698660311361441/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4^22 - 4823039603795319848837938689739397455947021451563881441104283899043\ 886106663396427/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4^21 - 8371507954018144381161882340747793229931187545972258968101744295223\ 818570716504471/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4^20 - 2884831544730690043006108484043903450558604346792243844404070596874\ 0753478682965874/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^19 - 8670468702979379678912736331791473638741190268627731103412857317424\ 9278985408298779/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^18 - 1432248187441596979875268094528969096300969166649203710559672458876\ 04053792480902233/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^17 - 1796156215129381737026384347811675248153829102125538426808730578324\ 38658697646671063/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^16 - 1435402906464030747884881427538144155590188673215134786335443974765\ 18710843181877335/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^15 - 7192800915316737078577149357086886390674686579117318071509360842750\ 6186044471481467/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^14 + 1088666972225984284244258590966715990627622082368719449275794749305\ 4673489743840839/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^13 - 6722247211000639033962212125401449921469889246217259299268408264642\ 0446693231033248/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^12 - 1384259883183713468343247991606095076557760269841088486050356097601\ 72570172578829540/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^11 - 2697590976968005657199221604161932489420678470216658955526795496878\ 91768746820275219/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^10 - 2808992377463025566348702522323014904699646037161187183581669536921\ 06138065482805196/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^9 - 2060106953472301895161901974301014540229328395605262230518905560096\ 04728459732320378/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^8 - 1092155205161320043513509024972499134556274230342626513744895794886\ 13637163812634198/2072370820257688368097233430367013829852840066401\ 39342540644863595694717565027373*c_1001_4^7 - 2891206661504649694238075964847047861774636249713482654314921229302\ 3782100063312661/20723708202576883680972334303670138298528400664013\ 9342540644863595694717565027373*c_1001_4^6 + 8177437025714650573415948818326990756020671028502096821026717555359\ 313320539171740/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4^5 + 3574480786378202155721355171079177729182874505964105361776676431126\ 80513625788058/9010307914163862469987971436378320999360174201745188\ 806114994069378031198479451*c_1001_4^4 + 4627261591781047973140341971502384325573137306820192138939094775454\ 631220957807943/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4^3 + 2954885689255010221200850200427904643458328694285143684087887477159\ 909375406737320/207237082025768836809723343036701382985284006640139\ 342540644863595694717565027373*c_1001_4^2 + 4705989345110325976889437035868677458208588400772367876057571137879\ 97654978423592/2072370820257688368097233430367013829852840066401393\ 42540644863595694717565027373*c_1001_4 + 1612198075309212886883381028823671997751456820894318435331395067351\ 28620173655302/2072370820257688368097233430367013829852840066401393\ 42540644863595694717565027373, c_1001_4^25 - 82/83*c_1001_4^24 + 1012/83*c_1001_4^23 - 2212/83*c_1001_4^22 - 3276/83*c_1001_4^21 - 10924/83*c_1001_4^20 - 33190/83*c_1001_4^19 - 50237/83*c_1001_4^18 - 56367/83*c_1001_4^17 - 34524/83*c_1001_4^16 - 5577/83*c_1001_4^15 + 19509/83*c_1001_4^14 - 25233/83*c_1001_4^13 - 53623/83*c_1001_4^12 - 95067/83*c_1001_4^11 - 84232/83*c_1001_4^10 - 42630/83*c_1001_4^9 - 9982/83*c_1001_4^8 + 9755/83*c_1001_4^7 + 12046/83*c_1001_4^6 + 3938/83*c_1001_4^5 + 654/83*c_1001_4^4 + 390/83*c_1001_4^3 - 298/83*c_1001_4^2 - 183/83*c_1001_4 - 47/83 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 5.280 Total time: 5.490 seconds, Total memory usage: 81.12MB