Magma V2.19-8 Tue Aug 20 2013 23:43:31 on localhost [Seed = 3516380368] Type ? for help. Type -D to quit. Loading file "K13n1238__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1238 geometric_solution 10.86575167 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 1 1 2 2 0132 2310 0132 2310 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 -7 0 1 6 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.560372794074 0.895417395344 0 3 4 0 0132 0132 0132 3201 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 1 0 -1 7 0 -7 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.441816676147 0.899876832105 0 5 6 0 3201 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 1 0 0 -1 -1 0 0 1 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.441816676147 0.899876832105 5 1 5 7 0321 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.220665152224 0.689144855955 8 7 5 1 0132 0321 1230 0132 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 -7 0 0 7 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.233597591163 0.477589384139 3 2 3 4 0321 0132 1023 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.220665152224 0.689144855955 8 9 7 2 2310 0132 1302 0132 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 -1 0 1 0 0 0 0 0 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.810170512743 0.635446274551 6 10 3 4 2031 0132 0132 0321 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 -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.743215262696 0.843736565095 4 10 6 9 0132 3012 3201 1302 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 -1 0 1 7 0 0 -7 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.738611013488 0.509729906984 11 6 8 11 0132 0132 2031 1302 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 1 0 -1 0 0 0 0 0 -1 -6 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.556011311015 0.676187577579 8 7 11 11 1230 0132 2310 2103 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 1 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.274494893096 0.882315756965 9 10 9 10 0132 3201 2031 2103 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 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.678512863168 1.033364093916 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0101_1']), 'c_1001_11' : negation(d['c_0101_10']), 'c_1001_10' : d['c_1001_1'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_1001_1'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_3'], 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_4']), 'c_1001_9' : negation(d['c_0101_4']), 'c_1001_8' : negation(d['c_0011_10']), 'c_1010_11' : negation(d['c_1001_1']), 'c_1010_10' : d['c_1001_1'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_10'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : 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' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_0101_10'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_1001_4']), 'c_1100_4' : negation(d['c_0011_0']), 'c_1100_7' : d['c_1001_4'], 'c_1100_6' : d['c_0011_2'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : d['c_1001_4'], 'c_1100_2' : d['c_0011_2'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_4'], 'c_1100_10' : d['c_0011_11'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0101_3']), 'c_1010_0' : negation(d['c_0101_0']), 'c_1010_9' : negation(d['c_0011_4']), 'c_1010_8' : negation(d['c_0101_10']), 's_3_1' : negation(d['1']), 's_3_0' : 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'], 's_1_7' : 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' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_11']), 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : 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_0'], 'c_0011_2' : d['c_0011_2'], 'c_0110_11' : negation(d['c_0011_11']), 'c_0110_10' : negation(d['c_0011_4']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_2'], 'c_0101_6' : d['c_0011_10'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_11']), 'c_0101_8' : d['c_0101_1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_10'], 'c_0110_8' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0011_0']), 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : negation(d['c_0011_4']), 'c_1100_8' : negation(d['c_0011_11'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_2, c_0011_4, c_0101_0, c_0101_1, c_0101_10, c_0101_3, c_0101_4, c_1001_1, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t + 9253666769858564089922330050259792580299931325345814736133013193924\ 0654099/12887644663836340725190201026880524591694895986905107335635\ 1428017824124800*c_1001_4^28 - 122468665401749717544104955812798324\ 57049066890237466279643484669917234033/6443822331918170362595100513\ 4402622958474479934525536678175714008912062400*c_1001_4^27 - 4005340538330767701995656201721785979275393676664209534320542914588\ 40010137/1288764466383634072519020102688052459169489598690510733563\ 51428017824124800*c_1001_4^26 + 95217302631299976584044140435557291\ 8709012931781358174366650015682974015839/12887644663836340725190201\ 0268805245916948959869051073356351428017824124800*c_1001_4^25 - 1937845730580978176964681533551172655212405138194533419373904263160\ 755694851/128876446638363407251902010268805245916948959869051073356\ 351428017824124800*c_1001_4^24 - 5933949308704454681745806179485594\ 99647689026494941029019607280941156399031/3221911165959085181297550\ 2567201311479237239967262768339087857004456031200*c_1001_4^23 - 7824431687004780025581207432610917297218788790394828739512194545194\ 9412101/64438223319181703625951005134402622958474479934525536678175\ 714008912062400*c_1001_4^22 - 1561825842815710773602811111110863368\ 8430209387596252176820967444634830650393/12887644663836340725190201\ 0268805245916948959869051073356351428017824124800*c_1001_4^21 + 2521714467036902323046449261955540022696836570595172922413394439294\ 5590352163/12887644663836340725190201026880524591694895986905107335\ 6351428017824124800*c_1001_4^20 - 377051243322038637471475491426246\ 3848507355005434287095512398216554381297647/64438223319181703625951\ 00513440262295847447993452553667817571400891206240*c_1001_4^19 + 6576947582608310652236625128703171874808250562266048606403130264560\ 0032511401/12887644663836340725190201026880524591694895986905107335\ 6351428017824124800*c_1001_4^18 - 656106969492568750873755472833422\ 932261060153759959271788110111568247016153/515505786553453629007608\ 0410752209836677958394762042934254057120712964992*c_1001_4^17 + 2498831480159894684974220964044716642000637004775425742052891408804\ 3980015497/12887644663836340725190201026880524591694895986905107335\ 6351428017824124800*c_1001_4^16 - 169989112180486525265465332500344\ 571895972587083289711644920579633010153040509/128876446638363407251\ 902010268805245916948959869051073356351428017824124800*c_1001_4^15 + 2806807647116536799056543837932962688984742845139309120448615364695\ 86979163173/1288764466383634072519020102688052459169489598690510733\ 56351428017824124800*c_1001_4^14 + 1504612313729417355687751961845379708472841234207548183132832989515\ 29467493049/1288764466383634072519020102688052459169489598690510733\ 56351428017824124800*c_1001_4^13 - 1586979563111833232526484521600376261676929263473415883113674242254\ 7174143867/51550578655345362900760804107522098366779583947620429342\ 54057120712964992*c_1001_4^12 + 12305772056180373735067370059140451\ 2682038805405953795455029451595423847171/51550578655345362900760804\ 10752209836677958394762042934254057120712964992*c_1001_4^11 + 1272182763140143793948822640109159743288360796010565724942453467840\ 34428519369/6443822331918170362595100513440262295847447993452553667\ 8175714008912062400*c_1001_4^10 + 892811997872485375304608181467314\ 05698250487773034503823166206303215222279031/1288764466383634072519\ 02010268805245916948959869051073356351428017824124800*c_1001_4^9 - 6044692132183523005452199604903718445787989012095220240440882206580\ 64337868941/1288764466383634072519020102688052459169489598690510733\ 56351428017824124800*c_1001_4^8 + 203389734228100911784380845329591\ 249203990905444660327015186481605824804486479/128876446638363407251\ 902010268805245916948959869051073356351428017824124800*c_1001_4^7 + 1131705257017437025160056914061344291636146102180845414036998286500\ 57999858679/6443822331918170362595100513440262295847447993452553667\ 8175714008912062400*c_1001_4^6 - 1695479838216584202791635411907267\ 9206101670812636536917874211422251772058013/16109555829795425906487\ 751283600655739618619983631384169543928502228015600*c_1001_4^5 - 1075709262406807430571750756865101135179434856582102918882425165963\ 71208567411/6443822331918170362595100513440262295847447993452553667\ 8175714008912062400*c_1001_4^4 + 3396102320658763277907698573847518\ 4980450633671052336539065834980944143334293/25775289327672681450380\ 402053761049183389791973810214671270285603564824960*c_1001_4^3 + 1921593189731305713950472985633492598866915099984972998291633037368\ 82125839987/1288764466383634072519020102688052459169489598690510733\ 56351428017824124800*c_1001_4^2 - 737787403094265846329431283690326\ 44595157626266184329636940162942040484773733/6443822331918170362595\ 1005134402622958474479934525536678175714008912062400*c_1001_4 + 5360346327270644559559757600146029684670076562099522014077823590497\ 3059372209/12887644663836340725190201026880524591694895986905107335\ 6351428017824124800, c_0011_0 - 1, c_0011_10 - 29327050418386344219793019168767283225871637537357098205559\ 9110/17274032938227197762021118954565848734509365318480812716380575\ 8837*c_1001_4^28 - 333225754174703470058519475767421245677871929480\ 947747183963159/172740329382271977620211189545658487345093653184808\ 127163805758837*c_1001_4^27 + 8645305792945452867467625074190982380\ 35239736629757704091688380/1727403293822719776202111895456584873450\ 93653184808127163805758837*c_1001_4^26 - 1631166736047909438995862378014290405076144917161113047858678340/17\ 2740329382271977620211189545658487345093653184808127163805758837*c_\ 1001_4^25 + 3791842777267848847684648601041927147794777506984181243\ 677627366/172740329382271977620211189545658487345093653184808127163\ 805758837*c_1001_4^24 + 1277673541495200466218739079928058411564898\ 5100325323520187403458/17274032938227197762021118954565848734509365\ 3184808127163805758837*c_1001_4^23 + 18153647821062989182512700339126061593283183027462887529237143632/1\ 72740329382271977620211189545658487345093653184808127163805758837*c\ _1001_4^22 + 711956908619018017232411028260459670890111715377319468\ 38652028841/1727403293822719776202111895456584873450936531848081271\ 63805758837*c_1001_4^21 + 10684174520877266030037167629961355135481\ 969296371798185580993767/172740329382271977620211189545658487345093\ 653184808127163805758837*c_1001_4^20 + 234159433563877489119862128782585498371826832158745511877675595096/\ 172740329382271977620211189545658487345093653184808127163805758837*\ c_1001_4^19 + 94636788216078788897990925766049595005671252626505757\ 371268180542/172740329382271977620211189545658487345093653184808127\ 163805758837*c_1001_4^18 + 1346196118393213660083431857812072898256\ 81519366409070454749716867/1727403293822719776202111895456584873450\ 93653184808127163805758837*c_1001_4^17 + 23744012278880865719681942298260645174171186972481671712747653606/1\ 72740329382271977620211189545658487345093653184808127163805758837*c\ _1001_4^16 + 496439478010655540677384982873474656229589474966446545\ 787811100997/172740329382271977620211189545658487345093653184808127\ 163805758837*c_1001_4^15 - 1684509645605982760543731000760776475397\ 28138661398559023675947282/1727403293822719776202111895456584873450\ 93653184808127163805758837*c_1001_4^14 - 862824876035708102531672819384359509593652490442309893616043561465/\ 172740329382271977620211189545658487345093653184808127163805758837*\ c_1001_4^13 - 40799705731747016452838101837471982867759646081861183\ 174674210630/172740329382271977620211189545658487345093653184808127\ 163805758837*c_1001_4^12 + 1294565907968012384981681801625892906307\ 44335398455875974272885219/1727403293822719776202111895456584873450\ 93653184808127163805758837*c_1001_4^11 - 116923772680812501551704059678772470663577411309936588969920898664/\ 172740329382271977620211189545658487345093653184808127163805758837*\ c_1001_4^10 - 65779525763012498774614986093603624933790238046991137\ 9860322217520/17274032938227197762021118954565848734509365318480812\ 7163805758837*c_1001_4^9 + 7953965682623141685199493396429046825975\ 97676034178374287975382044/1727403293822719776202111895456584873450\ 93653184808127163805758837*c_1001_4^8 + 798030426016106647065416466401922239764207655519724358144681721529/\ 172740329382271977620211189545658487345093653184808127163805758837*\ c_1001_4^7 + 536218118231615312290859079653516752934050783212128406\ 434582174715/172740329382271977620211189545658487345093653184808127\ 163805758837*c_1001_4^6 + 59989762956059854344275177780759639955039\ 7349401715365341157594631/17274032938227197762021118954565848734509\ 3653184808127163805758837*c_1001_4^5 + 935287209677338683742512789956865107239874919133474824505350812324/\ 172740329382271977620211189545658487345093653184808127163805758837*\ c_1001_4^4 + 773945875894578491309923886192426482960928036487453889\ 692880700090/172740329382271977620211189545658487345093653184808127\ 163805758837*c_1001_4^3 + 24969857593576051517871059839553844886592\ 8558390779994873241777977/17274032938227197762021118954565848734509\ 3653184808127163805758837*c_1001_4^2 + 171733069225656604859077513104072948985265383671183787997262219328/\ 172740329382271977620211189545658487345093653184808127163805758837*\ c_1001_4 - 45047123854159192219665457005638617658081515123396629534\ 740179259/172740329382271977620211189545658487345093653184808127163\ 805758837, c_0011_11 - 14692905305075960345294114653822781084517408483960956681769\ 6946/17274032938227197762021118954565848734509365318480812716380575\ 8837*c_1001_4^28 - 155304201684798687378240630930238429663190151906\ 422543079334329/172740329382271977620211189545658487345093653184808\ 127163805758837*c_1001_4^27 + 4515890794523457045902793995490474039\ 26937308510652316908515743/1727403293822719776202111895456584873450\ 93653184808127163805758837*c_1001_4^26 - 811967555926158259598825868777269138010619004669157718289016951/172\ 740329382271977620211189545658487345093653184808127163805758837*c_1\ 001_4^25 + 19768902761128023045494078192166943004999379697939026357\ 70154935/1727403293822719776202111895456584873450936531848081271638\ 05758837*c_1001_4^24 + 62193833067126616375259108264173435949998091\ 07560426718240074900/1727403293822719776202111895456584873450936531\ 84808127163805758837*c_1001_4^23 + 8729224620138454211231429595340925940825071360913082102412705043/17\ 2740329382271977620211189545658487345093653184808127163805758837*c_\ 1001_4^22 + 3405544524677409466146618615591673883759226675420620067\ 1830148313/17274032938227197762021118954565848734509365318480812716\ 3805758837*c_1001_4^21 + 132544866745694242800140795668546519300774\ 7612351966317334107067/17274032938227197762021118954565848734509365\ 3184808127163805758837*c_1001_4^20 + 112753542077455992117134326844246797945268963656254752003849309303/\ 172740329382271977620211189545658487345093653184808127163805758837*\ c_1001_4^19 + 29630657786620694152231367006278199797324155764032788\ 532235491259/172740329382271977620211189545658487345093653184808127\ 163805758837*c_1001_4^18 + 5935333429760169200023177788640245959491\ 6581724139850582052141797/17274032938227197762021118954565848734509\ 3653184808127163805758837*c_1001_4^17 - 30883351916429194174695711601369097873414164138049704687500010913/1\ 72740329382271977620211189545658487345093653184808127163805758837*c\ _1001_4^16 + 257192204635192413960956731024911196492432111382986562\ 917476412437/172740329382271977620211189545658487345093653184808127\ 163805758837*c_1001_4^15 - 1638064509137446952663006381789851080511\ 62180981547641128636401715/1727403293822719776202111895456584873450\ 93653184808127163805758837*c_1001_4^14 - 380276028037676168511107975975881266826664418239856757507451759210/\ 172740329382271977620211189545658487345093653184808127163805758837*\ c_1001_4^13 - 86406548530120474040812460818340616812492097855980042\ 989243568776/172740329382271977620211189545658487345093653184808127\ 163805758837*c_1001_4^12 + 1866821227523790461489301870405034370546\ 57831656571820060043566824/1727403293822719776202111895456584873450\ 93653184808127163805758837*c_1001_4^11 - 66302798764868988737436619140797414452623318896982333808375518877/1\ 72740329382271977620211189545658487345093653184808127163805758837*c\ _1001_4^10 - 206601408821001243777498270089905032841476761089921991\ 624289087131/172740329382271977620211189545658487345093653184808127\ 163805758837*c_1001_4^9 + 43608673656110177326140350920782947341597\ 9402401276026930691929681/17274032938227197762021118954565848734509\ 3653184808127163805758837*c_1001_4^8 + 387746082065106288017955160214664158899264162995713988266630064792/\ 172740329382271977620211189545658487345093653184808127163805758837*\ c_1001_4^7 + 290063292386154206203272750756812701214540727434205056\ 893080740145/172740329382271977620211189545658487345093653184808127\ 163805758837*c_1001_4^6 + 10076010729268330432640109862169433696915\ 6444743287728073110886899/17274032938227197762021118954565848734509\ 3653184808127163805758837*c_1001_4^5 + 491951883806575326836562834158690589144388078242053484954562664032/\ 172740329382271977620211189545658487345093653184808127163805758837*\ c_1001_4^4 + 297043865853475164443843706536759302622341256235719183\ 253973787700/172740329382271977620211189545658487345093653184808127\ 163805758837*c_1001_4^3 + 84557286231799004413179243601553328216520\ 541933938228080218844366/172740329382271977620211189545658487345093\ 653184808127163805758837*c_1001_4^2 - 36376468932273480097189619968640684419495602528678020418753867879/1\ 72740329382271977620211189545658487345093653184808127163805758837*c\ _1001_4 - 395356590062547020552813516647305239620949951794112673915\ 65745524/1727403293822719776202111895456584873450936531848081271638\ 05758837, c_0011_2 - 1, c_0011_4 - 496138406099165432654247313642268714806927192244125392815900\ 2/17274032938227197762021118954565848734509365318480812716380575883\ 7*c_1001_4^28 - 256928466393332743290303973769765859122334590671359\ 72616051225/1727403293822719776202111895456584873450936531848081271\ 63805758837*c_1001_4^27 + 26670660148550296612704563880662692933159\ 54249696219565796055/1727403293822719776202111895456584873450936531\ 84808127163805758837*c_1001_4^26 + 36667050202459089405128385717464977121818277209429577134795712/1727\ 40329382271977620211189545658487345093653184808127163805758837*c_10\ 01_4^25 - 957669808059139820241777367144566338684781090877661056114\ 35271/1727403293822719776202111895456584873450936531848081271638057\ 58837*c_1001_4^24 + 55003920146130098928957813008792591161552910556\ 1985540390210501/17274032938227197762021118954565848734509365318480\ 8127163805758837*c_1001_4^23 + 102790898596019325751926266828611941\ 2131952850542907277307423340/17274032938227197762021118954565848734\ 5093653184808127163805758837*c_1001_4^22 + 2035746219897679988802579251880092561217399517333717199530504892/17\ 2740329382271977620211189545658487345093653184808127163805758837*c_\ 1001_4^21 + 4853708134144192343052280990665219317087911243505449615\ 645471677/172740329382271977620211189545658487345093653184808127163\ 805758837*c_1001_4^20 + 2751300904723813830117245742352607021479396\ 501639143552374343090/172740329382271977620211189545658487345093653\ 184808127163805758837*c_1001_4^19 + 19480761373707588428505939979127175267565604915828489174879197461/1\ 72740329382271977620211189545658487345093653184808127163805758837*c\ _1001_4^18 + 205469795651521351196729412070140477714634910952879597\ 6425667310/17274032938227197762021118954565848734509365318480812716\ 3805758837*c_1001_4^17 + 100514312983347211638636295057052966161895\ 22077121482504298697129/1727403293822719776202111895456584873450936\ 53184808127163805758837*c_1001_4^16 + 12795652463664052388604474630036597601867173724957256089299375997/1\ 72740329382271977620211189545658487345093653184808127163805758837*c\ _1001_4^15 + 274912210244584460571337662127185013792195701798153755\ 53648645260/1727403293822719776202111895456584873450936531848081271\ 63805758837*c_1001_4^14 - 43793814666694978149841825019337765007584\ 466446437375188092697909/172740329382271977620211189545658487345093\ 653184808127163805758837*c_1001_4^13 - 55969557067114474822883434384846554145336506503943261945307389219/1\ 72740329382271977620211189545658487345093653184808127163805758837*c\ _1001_4^12 + 166854507744095518235599374611068256835917904169376659\ 31208141979/1727403293822719776202111895456584873450936531848081271\ 63805758837*c_1001_4^11 - 56983553245295155149393548160397772856881\ 30708658524278701347338/1727403293822719776202111895456584873450936\ 53184808127163805758837*c_1001_4^10 - 81804077444052710997665366308205329572366116644402307358431681205/1\ 72740329382271977620211189545658487345093653184808127163805758837*c\ _1001_4^9 - 8213350254847777906127640980512185669299180764967944863\ 613439894/172740329382271977620211189545658487345093653184808127163\ 805758837*c_1001_4^8 + 84920015957480441438164483470658358764758487\ 029150092677936664099/172740329382271977620211189545658487345093653\ 184808127163805758837*c_1001_4^7 + 147151249675499144184200595232930590461018112149541000866721912449/\ 172740329382271977620211189545658487345093653184808127163805758837*\ c_1001_4^6 + 120232474732076357137705120010941744122693484008909337\ 39088806302/1727403293822719776202111895456584873450936531848081271\ 63805758837*c_1001_4^5 + 177238535459631188517912536393029874577316\ 317881067554173273594852/172740329382271977620211189545658487345093\ 653184808127163805758837*c_1001_4^4 + 94605327277830703335508236772788861997521982408439833697242668510/1\ 72740329382271977620211189545658487345093653184808127163805758837*c\ _1001_4^3 + 2123145256439022232868691565322585969000963019457367655\ 5776222393/17274032938227197762021118954565848734509365318480812716\ 3805758837*c_1001_4^2 + 3886908728842962088994133617049743190975169\ 2590455934956754249981/17274032938227197762021118954565848734509365\ 3184808127163805758837*c_1001_4 + 585196552855524209311476367629590\ 76713065520882271625286304987337/1727403293822719776202111895456584\ 87345093653184808127163805758837, c_0101_0 + 109841363654392321084480182832045238844996911248333476533585\ 179/172740329382271977620211189545658487345093653184808127163805758\ 837*c_1001_4^28 + 8527575660812944664915713737418720832934909729288\ 3439495671378/17274032938227197762021118954565848734509365318480812\ 7163805758837*c_1001_4^27 - 337366404025628784587504345464584861847\ 903263008119434034538676/172740329382271977620211189545658487345093\ 653184808127163805758837*c_1001_4^26 + 668041020900201893491331212319423145762153364425389122522131316/172\ 740329382271977620211189545658487345093653184808127163805758837*c_1\ 001_4^25 - 18021013280423820633502437931306473935390575437357874427\ 97535582/1727403293822719776202111895456584873450936531848081271638\ 05758837*c_1001_4^24 - 37852965286937271780638983396846634423430113\ 38579018115305637137/1727403293822719776202111895456584873450936531\ 84808127163805758837*c_1001_4^23 - 6060723807047218905360991747580745087652336280264311362718100508/17\ 2740329382271977620211189545658487345093653184808127163805758837*c_\ 1001_4^22 - 2408408057286104329775325924828325718174764709083027184\ 7541590781/17274032938227197762021118954565848734509365318480812716\ 3805758837*c_1001_4^21 + 699304716357584138625669342064294555765626\ 7433719932766801198576/17274032938227197762021118954565848734509365\ 3184808127163805758837*c_1001_4^20 - 89043349154632349832092798262925804799562120463899311191543470687/1\ 72740329382271977620211189545658487345093653184808127163805758837*c\ _1001_4^19 + 146792575456369001699906004176333591761375919948137916\ 20832127025/1727403293822719776202111895456584873450936531848081271\ 63805758837*c_1001_4^18 - 70066273564255149216776701921770551497702\ 945592335366112036875726/172740329382271977620211189545658487345093\ 653184808127163805758837*c_1001_4^17 + 72673077237076620753982410938504809401148073816608476411277659906/1\ 72740329382271977620211189545658487345093653184808127163805758837*c\ _1001_4^16 - 210920656864998514565057927483748792099473421320262158\ 313851190828/172740329382271977620211189545658487345093653184808127\ 163805758837*c_1001_4^15 + 1787325596819889662576378163342803209722\ 63684767946854429203513112/1727403293822719776202111895456584873450\ 93653184808127163805758837*c_1001_4^14 + 181717764655881389272526499153151676613473363758056913605309090242/\ 172740329382271977620211189545658487345093653184808127163805758837*\ c_1001_4^13 + 11803662443473844532847830977916483246830065787790293\ 0727976049197/17274032938227197762021118954565848734509365318480812\ 7163805758837*c_1001_4^12 - 121531399518579799647464730273240846051\ 170573809417874577172915858/172740329382271977620211189545658487345\ 093653184808127163805758837*c_1001_4^11 - 98452286909756818357304684598450339911702175943199559408984288842/1\ 72740329382271977620211189545658487345093653184808127163805758837*c\ _1001_4^10 + 179577762730857810730817328178054497613219106792297528\ 736357571624/172740329382271977620211189545658487345093653184808127\ 163805758837*c_1001_4^9 - 22126601239132980196621036348984141220083\ 1989608812152732141521989/17274032938227197762021118954565848734509\ 3653184808127163805758837*c_1001_4^8 - 36251771564960143356601976762896604085966603512195380032771468311/1\ 72740329382271977620211189545658487345093653184808127163805758837*c\ _1001_4^7 - 4027896199476989346990483806365627240047471807746709774\ 46595759374/1727403293822719776202111895456584873450936531848081271\ 63805758837*c_1001_4^6 - 330363107665670100247700429151172246630415\ 48870098426322161041275/1727403293822719776202111895456584873450936\ 53184808127163805758837*c_1001_4^5 - 325190565771387589355181850986405854942611996982077685479548385701/\ 172740329382271977620211189545658487345093653184808127163805758837*\ c_1001_4^4 + 248246634061269890010790993008396533509885207617015759\ 45050738664/1727403293822719776202111895456584873450936531848081271\ 63805758837*c_1001_4^3 - 181368145966553571942978542645603689681426\ 861647142912516667813244/172740329382271977620211189545658487345093\ 653184808127163805758837*c_1001_4^2 + 11773301568974155390150937335521445084369469864888887213904346446/1\ 72740329382271977620211189545658487345093653184808127163805758837*c\ _1001_4 + 177562744057990689271055965114836676328879951114703571289\ 291218882/172740329382271977620211189545658487345093653184808127163\ 805758837, c_0101_1 - c_1001_4, c_0101_10 + 13968462704180100467975395436723752038977105598150776972148\ 2588/17274032938227197762021118954565848734509365318480812716380575\ 8837*c_1001_4^28 + 241034293489846705224512333771875376927770278299\ 922824530563315/172740329382271977620211189545658487345093653184808\ 127163805758837*c_1001_4^27 - 2858479021742975308790048918824913451\ 33418028594848829972287084/1727403293822719776202111895456584873450\ 93653184808127163805758837*c_1001_4^26 + 517470864474923207444071230666562811887800026284779837471442662/172\ 740329382271977620211189545658487345093653184808127163805758837*c_1\ 001_4^25 - 14782627127142308581512394810012464289075247858637395234\ 68762767/1727403293822719776202111895456584873450936531848081271638\ 05758837*c_1001_4^24 - 68036550046632849009153393497908699307779091\ 34087305149761210575/1727403293822719776202111895456584873450936531\ 84808127163805758837*c_1001_4^23 - 13059444436814479258177916014336156010429628746788078690504344308/1\ 72740329382271977620211189545658487345093653184808127163805758837*c\ _1001_4^22 - 395134621310358079354994380993559921798658718564766047\ 31351824593/1727403293822719776202111895456584873450936531848081271\ 63805758837*c_1001_4^21 - 25188792515239336507883184874714952433307\ 015200395959862941896237/172740329382271977620211189545658487345093\ 653184808127163805758837*c_1001_4^20 - 120002338555916892758590443803574956533097521740175646039842933521/\ 172740329382271977620211189545658487345093653184808127163805758837*\ c_1001_4^19 - 99488811255258820442391640206921490190530805323313257\ 807335999840/172740329382271977620211189545658487345093653184808127\ 163805758837*c_1001_4^18 - 1196472988398470626658460918822790596951\ 71304875265801516026619387/1727403293822719776202111895456584873450\ 93653184808127163805758837*c_1001_4^17 - 11944930131387709606800258324266965677410448045051898064694572325/1\ 72740329382271977620211189545658487345093653184808127163805758837*c\ _1001_4^16 - 259499032773808358767393939420097343072804620514377300\ 188145265415/172740329382271977620211189545658487345093653184808127\ 163805758837*c_1001_4^15 - 2935170081677166824596014400192978886389\ 2065676953809869671042035/17274032938227197762021118954565848734509\ 3653184808127163805758837*c_1001_4^14 + 413208943647814225940612244156627240227517399864721695017751577823/\ 172740329382271977620211189545658487345093653184808127163805758837*\ c_1001_4^13 + 37322429413588702629693029585828320911027768583284517\ 2411931515661/17274032938227197762021118954565848734509365318480812\ 7163805758837*c_1001_4^12 - 307929671292699182367646138481483283585\ 7686628939420228434089710/17274032938227197762021118954565848734509\ 3653184808127163805758837*c_1001_4^11 - 88419740163810776166538880749167461368540883233420420785671709741/1\ 72740329382271977620211189545658487345093653184808127163805758837*c\ _1001_4^10 + 430484804525781358192470100999946633125414912422295351\ 637663500065/172740329382271977620211189545658487345093653184808127\ 163805758837*c_1001_4^9 - 21088900091087480756573502785582967994599\ 4437451503652572438230051/17274032938227197762021118954565848734509\ 3653184808127163805758837*c_1001_4^8 - 574065818995583424333292945313537341939927612212367125223347205162/\ 172740329382271977620211189545658487345093653184808127163805758837*\ c_1001_4^7 - 640808005612140748277489724636503727882925597111366005\ 113295138986/172740329382271977620211189545658487345093653184808127\ 163805758837*c_1001_4^6 - 36865736689800297756439205809233325893651\ 4474125433098816314873975/17274032938227197762021118954565848734509\ 3653184808127163805758837*c_1001_4^5 - 648594019134768150206705936544497810233317952082472703772100992720/\ 172740329382271977620211189545658487345093653184808127163805758837*\ c_1001_4^4 - 701547578027488186979142508174544075293532868507231940\ 348017853134/172740329382271977620211189545658487345093653184808127\ 163805758837*c_1001_4^3 - 34081282167043892386666040751559034392021\ 1952070182216256676316705/17274032938227197762021118954565848734509\ 3653184808127163805758837*c_1001_4^2 - 217816941902816131291688794206033671101739123978656091101701358475/\ 172740329382271977620211189545658487345093653184808127163805758837*\ c_1001_4 - 31223299660056071160287865134275939476979411226837979778\ 128776759/172740329382271977620211189545658487345093653184808127163\ 805758837, c_0101_3 + 262873567393497143319179572253106591028340214711417673080512\ 790/172740329382271977620211189545658487345093653184808127163805758\ 837*c_1001_4^28 + 1854805228174125284809758642749351501470412331663\ 40421146786649/1727403293822719776202111895456584873450936531848081\ 27163805758837*c_1001_4^27 - 77123260046956049345572397826398287744\ 1082123280409432585669874/17274032938227197762021118954565848734509\ 3653184808127163805758837*c_1001_4^26 + 1832144373182077022276381293169579189864115610685860099022275664/17\ 2740329382271977620211189545658487345093653184808127163805758837*c_\ 1001_4^25 - 4450151690435563416446417805355155370326470127537509663\ 524168768/172740329382271977620211189545658487345093653184808127163\ 805758837*c_1001_4^24 - 8907663498993242068662152329490337596740937\ 364142963156437152825/172740329382271977620211189545658487345093653\ 184808127163805758837*c_1001_4^23 - 13981148269486865509323061308260399861901791668246259430888270723/1\ 72740329382271977620211189545658487345093653184808127163805758837*c\ _1001_4^22 - 602161371398749542015914543787087793016533628763774250\ 67507836647/1727403293822719776202111895456584873450936531848081271\ 63805758837*c_1001_4^21 + 12520447261824418642709078505064493321139\ 695663983263949743196567/172740329382271977620211189545658487345093\ 653184808127163805758837*c_1001_4^20 - 232889775743338524560982704305852983203270192233785271301565835030/\ 172740329382271977620211189545658487345093653184808127163805758837*\ c_1001_4^19 + 24608880520450610485513628224188398060361235968876520\ 274873377764/172740329382271977620211189545658487345093653184808127\ 163805758837*c_1001_4^18 - 2058995911173094938365780926217057006493\ 23136185849604835583115359/1727403293822719776202111895456584873450\ 93653184808127163805758837*c_1001_4^17 + 95483526458234800002659737393583717287138196695219508290292649731/1\ 72740329382271977620211189545658487345093653184808127163805758837*c\ _1001_4^16 - 557826376046610080335562144375264570107651389890385341\ 836043568923/172740329382271977620211189545658487345093653184808127\ 163805758837*c_1001_4^15 + 4482972256167716716186416834356128331757\ 81116546862509395308807087/1727403293822719776202111895456584873450\ 93653184808127163805758837*c_1001_4^14 + 378619402047212782680605362802712298882242085717579792469485533460/\ 172740329382271977620211189545658487345093653184808127163805758837*\ c_1001_4^13 + 60359156954234586807404500993541642288760866070998414\ 143487536660/172740329382271977620211189545658487345093653184808127\ 163805758837*c_1001_4^12 - 7172229993175634328074692410726672910669\ 6910584837256926463371825/17274032938227197762021118954565848734509\ 3653184808127163805758837*c_1001_4^11 + 143365897790990560447215450591767932287863605490276910140759548887/\ 172740329382271977620211189545658487345093653184808127163805758837*\ c_1001_4^10 + 45178493053324905844315371346527704903774403405839486\ 6759781766308/17274032938227197762021118954565848734509365318480812\ 7163805758837*c_1001_4^9 - 8791675779483329191165497005214852416654\ 15371126807695194377842948/1727403293822719776202111895456584873450\ 93653184808127163805758837*c_1001_4^8 - 154832052053772285202721451505360824407401831520941109303751778724/\ 172740329382271977620211189545658487345093653184808127163805758837*\ c_1001_4^7 - 672742827855311483149507708984079549684413247731446632\ 481041589814/172740329382271977620211189545658487345093653184808127\ 163805758837*c_1001_4^6 - 24404675694999339861823054856114712942241\ 7776726004408403160354385/17274032938227197762021118954565848734509\ 3653184808127163805758837*c_1001_4^5 - 985772098710386876523655334095757941442987319452584662877806303534/\ 172740329382271977620211189545658487345093653184808127163805758837*\ c_1001_4^4 - 362434865994425695945046075667764350351747045499119864\ 803276922874/172740329382271977620211189545658487345093653184808127\ 163805758837*c_1001_4^3 - 35458319552845803157575921665994892632958\ 4856258348823445431883505/17274032938227197762021118954565848734509\ 3653184808127163805758837*c_1001_4^2 - 286815839967808817193958589954177177677513707140007162445183011956/\ 172740329382271977620211189545658487345093653184808127163805758837*\ c_1001_4 - 27684702394251900147160123424747486754124886942298175060\ 766343422/172740329382271977620211189545658487345093653184808127163\ 805758837, c_0101_4 - 136759267342144162241661082624939979888222558578419584474966\ 3/17274032938227197762021118954565848734509365318480812716380575883\ 7*c_1001_4^28 - 236058913099350042671255306233800327489835278479806\ 82464496793/1727403293822719776202111895456584873450936531848081271\ 63805758837*c_1001_4^27 - 63713342290797784420868948351491829370700\ 793563774098206078502/172740329382271977620211189545658487345093653\ 184808127163805758837*c_1001_4^26 + 22636419044290581432079106364390328101744411275274396583879131/1727\ 40329382271977620211189545658487345093653184808127163805758837*c_10\ 01_4^25 + 187281271110129365452230745936607855887694399315134269313\ 37967/1727403293822719776202111895456584873450936531848081271638057\ 58837*c_1001_4^24 + 80976692901024247753262703156040631120276744679\ 666875594575826/172740329382271977620211189545658487345093653184808\ 127163805758837*c_1001_4^23 + 1734648894963909991338049618250853802\ 648691930489866088206176006/172740329382271977620211189545658487345\ 093653184808127163805758837*c_1001_4^22 + 3141138760769459849224275698031981552937733522110324539160438852/17\ 2740329382271977620211189545658487345093653184808127163805758837*c_\ 1001_4^21 + 7914253699061474040140048221010997677463162974544605815\ 596916534/172740329382271977620211189545658487345093653184808127163\ 805758837*c_1001_4^20 + 1157769436336372193606368341158790540880620\ 8292595093472188038449/17274032938227197762021118954565848734509365\ 3184808127163805758837*c_1001_4^19 + 16378014337630542345043100021291382218070787445694810915803750485/1\ 72740329382271977620211189545658487345093653184808127163805758837*c\ _1001_4^18 + 445755104529267861895812189001656752706313413931659727\ 63221327189/1727403293822719776202111895456584873450936531848081271\ 63805758837*c_1001_4^17 + 82862474135185512721147417548538794589124\ 03871021752198030827810/1727403293822719776202111895456584873450936\ 53184808127163805758837*c_1001_4^16 + 40340012023316625512239410184995830238914884665527769795970697178/1\ 72740329382271977620211189545658487345093653184808127163805758837*c\ _1001_4^15 + 155137431424071665692361094821592923793091108008489661\ 94522386684/1727403293822719776202111895456584873450936531848081271\ 63805758837*c_1001_4^14 + 82782073864561299846361378819310704496811\ 635792335046973305472444/172740329382271977620211189545658487345093\ 653184808127163805758837*c_1001_4^13 - 125364484535150811563171322159544562979769249195940590277179573221/\ 172740329382271977620211189545658487345093653184808127163805758837*\ c_1001_4^12 - 40622133884609587131800197367430951641793251344074495\ 825973004301/172740329382271977620211189545658487345093653184808127\ 163805758837*c_1001_4^11 - 6166158636335311994030605243047626607204\ 2456446398960269221012790/17274032938227197762021118954565848734509\ 3653184808127163805758837*c_1001_4^10 + 78531475719129984621890681803361369267323997364490735105222673124/1\ 72740329382271977620211189545658487345093653184808127163805758837*c\ _1001_4^9 - 5605101473782980898199014480809007271155493772274711241\ 0510805232/17274032938227197762021118954565848734509365318480812716\ 3805758837*c_1001_4^8 + 4696361659340080301576045349070046101500576\ 96926088279979913064/1727403293822719776202111895456584873450936531\ 84808127163805758837*c_1001_4^7 + 592454976181878480440859502837505\ 25917333302888483831406107570435/1727403293822719776202111895456584\ 87345093653184808127163805758837*c_1001_4^6 + 81883496932541161670488215487059216090921185056939034605670084592/1\ 72740329382271977620211189545658487345093653184808127163805758837*c\ _1001_4^5 + 1653266785991684712042697211510332784475643776876734205\ 31099265154/1727403293822719776202111895456584873450936531848081271\ 63805758837*c_1001_4^4 + 773412006787398531587948586314383982355307\ 77358322155466074583823/1727403293822719776202111895456584873450936\ 53184808127163805758837*c_1001_4^3 + 219103729781571588427737373778860951893794493510308737956826371974/\ 172740329382271977620211189545658487345093653184808127163805758837*\ c_1001_4^2 + 190767168547903325482677080060914805252654113410627629\ 29583034036/1727403293822719776202111895456584873450936531848081271\ 63805758837*c_1001_4 + 12060053031461211973536652818663851650093845\ 9913016424008846190017/17274032938227197762021118954565848734509365\ 3184808127163805758837, c_1001_1 - 136759267342144162241661082624939979888222558578419584474966\ 3/17274032938227197762021118954565848734509365318480812716380575883\ 7*c_1001_4^28 - 236058913099350042671255306233800327489835278479806\ 82464496793/1727403293822719776202111895456584873450936531848081271\ 63805758837*c_1001_4^27 - 63713342290797784420868948351491829370700\ 793563774098206078502/172740329382271977620211189545658487345093653\ 184808127163805758837*c_1001_4^26 + 22636419044290581432079106364390328101744411275274396583879131/1727\ 40329382271977620211189545658487345093653184808127163805758837*c_10\ 01_4^25 + 187281271110129365452230745936607855887694399315134269313\ 37967/1727403293822719776202111895456584873450936531848081271638057\ 58837*c_1001_4^24 + 80976692901024247753262703156040631120276744679\ 666875594575826/172740329382271977620211189545658487345093653184808\ 127163805758837*c_1001_4^23 + 1734648894963909991338049618250853802\ 648691930489866088206176006/172740329382271977620211189545658487345\ 093653184808127163805758837*c_1001_4^22 + 3141138760769459849224275698031981552937733522110324539160438852/17\ 2740329382271977620211189545658487345093653184808127163805758837*c_\ 1001_4^21 + 7914253699061474040140048221010997677463162974544605815\ 596916534/172740329382271977620211189545658487345093653184808127163\ 805758837*c_1001_4^20 + 1157769436336372193606368341158790540880620\ 8292595093472188038449/17274032938227197762021118954565848734509365\ 3184808127163805758837*c_1001_4^19 + 16378014337630542345043100021291382218070787445694810915803750485/1\ 72740329382271977620211189545658487345093653184808127163805758837*c\ _1001_4^18 + 445755104529267861895812189001656752706313413931659727\ 63221327189/1727403293822719776202111895456584873450936531848081271\ 63805758837*c_1001_4^17 + 82862474135185512721147417548538794589124\ 03871021752198030827810/1727403293822719776202111895456584873450936\ 53184808127163805758837*c_1001_4^16 + 40340012023316625512239410184995830238914884665527769795970697178/1\ 72740329382271977620211189545658487345093653184808127163805758837*c\ _1001_4^15 + 155137431424071665692361094821592923793091108008489661\ 94522386684/1727403293822719776202111895456584873450936531848081271\ 63805758837*c_1001_4^14 + 82782073864561299846361378819310704496811\ 635792335046973305472444/172740329382271977620211189545658487345093\ 653184808127163805758837*c_1001_4^13 - 125364484535150811563171322159544562979769249195940590277179573221/\ 172740329382271977620211189545658487345093653184808127163805758837*\ c_1001_4^12 - 40622133884609587131800197367430951641793251344074495\ 825973004301/172740329382271977620211189545658487345093653184808127\ 163805758837*c_1001_4^11 - 6166158636335311994030605243047626607204\ 2456446398960269221012790/17274032938227197762021118954565848734509\ 3653184808127163805758837*c_1001_4^10 + 78531475719129984621890681803361369267323997364490735105222673124/1\ 72740329382271977620211189545658487345093653184808127163805758837*c\ _1001_4^9 - 5605101473782980898199014480809007271155493772274711241\ 0510805232/17274032938227197762021118954565848734509365318480812716\ 3805758837*c_1001_4^8 + 4696361659340080301576045349070046101500576\ 96926088279979913064/1727403293822719776202111895456584873450936531\ 84808127163805758837*c_1001_4^7 + 592454976181878480440859502837505\ 25917333302888483831406107570435/1727403293822719776202111895456584\ 87345093653184808127163805758837*c_1001_4^6 + 81883496932541161670488215487059216090921185056939034605670084592/1\ 72740329382271977620211189545658487345093653184808127163805758837*c\ _1001_4^5 + 1653266785991684712042697211510332784475643776876734205\ 31099265154/1727403293822719776202111895456584873450936531848081271\ 63805758837*c_1001_4^4 + 773412006787398531587948586314383982355307\ 77358322155466074583823/1727403293822719776202111895456584873450936\ 53184808127163805758837*c_1001_4^3 + 219103729781571588427737373778860951893794493510308737956826371974/\ 172740329382271977620211189545658487345093653184808127163805758837*\ c_1001_4^2 + 190767168547903325482677080060914805252654113410627629\ 29583034036/1727403293822719776202111895456584873450936531848081271\ 63805758837*c_1001_4 + 12060053031461211973536652818663851650093845\ 9913016424008846190017/17274032938227197762021118954565848734509365\ 3184808127163805758837, c_1001_4^29 + c_1001_4^28 - 3*c_1001_4^27 + 6*c_1001_4^26 - 14*c_1001_4^25 - 41*c_1001_4^24 - 58*c_1001_4^23 - 237*c_1001_4^22 - 8*c_1001_4^21 - 815*c_1001_4^20 - 201*c_1001_4^19 - 510*c_1001_4^18 + 28*c_1001_4^17 - 1786*c_1001_4^16 + 892*c_1001_4^15 + 2596*c_1001_4^14 + 10*c_1001_4^13 - 450*c_1001_4^12 + 487*c_1001_4^11 + 2139*c_1001_4^10 - 3044*c_1001_4^9 - 2194*c_1001_4^8 - 1823*c_1001_4^7 - 1676*c_1001_4^6 - 3288*c_1001_4^5 - 2545*c_1001_4^4 - 812*c_1001_4^3 - 979*c_1001_4^2 + 151*c_1001_4 - 265 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.030 Total time: 1.250 seconds, Total memory usage: 32.09MB