Magma V2.19-8 Wed Aug 21 2013 00:17:19 on localhost [Seed = 3970597264] Type ? for help. Type -D to quit. Loading file "K13n602__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n602 geometric_solution 12.20285065 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 2 3 0132 0132 1302 0132 0 0 0 0 0 0 0 0 -1 0 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 1 0 -1 7 0 -7 0 -8 0 0 8 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.642758055808 0.903959098179 0 4 3 5 0132 0132 3201 0132 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -7 0 7 0 1 -8 0 7 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.257886881778 1.323083365938 0 0 7 6 2031 0132 0132 0132 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 8 -7 0 0 0 0 -1 0 0 1 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.477551393382 0.734758852130 1 6 0 4 2310 1302 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 -7 7 0 0 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.151007024499 0.821324974199 8 1 9 3 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -8 8 0 0 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.794483498910 0.536806788482 8 10 1 11 1302 0132 0132 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 0 0 0 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.090698583920 0.614391551177 12 11 2 3 0132 1302 0132 2031 0 0 0 0 0 0 -1 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 0 0 0 0 7 -7 0 0 0 0 0 8 0 -8 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.444053591138 1.234608105756 9 12 8 2 2103 1230 3120 0132 0 0 0 0 0 0 -1 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 0 0 0 0 8 -8 0 0 0 0 0 -7 0 7 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.551049042980 0.751647405985 4 5 7 10 0132 2031 3120 1302 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 8 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.712585208683 0.461661583633 11 10 7 4 1302 0321 2103 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 0 0 0 -1 0 0 1 -8 0 0 8 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.367708246506 1.016127511455 12 5 8 9 1230 0132 2031 0321 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.667800667411 0.566386965323 12 9 5 6 3120 2031 0132 2031 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 8 0 -8 0 0 0 0 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.084547503064 1.427556126348 6 10 7 11 0132 3012 3012 3120 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 0 0 0 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.214912396163 1.580559350799 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_4']), 'c_1001_10' : negation(d['c_0101_4']), 'c_1001_12' : negation(d['c_0011_10']), 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_0101_11'], 'c_1001_6' : d['c_0101_6'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : d['c_0101_6'], 'c_1001_3' : d['c_0101_12'], 'c_1001_2' : d['c_0101_12'], 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : negation(d['c_0101_11']), 'c_1010_12' : negation(d['c_0011_11']), 'c_1010_11' : negation(d['c_0011_12']), 'c_1010_10' : d['c_1001_4'], 's_0_10' : d['1'], 's_0_11' : 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_11'], 'c_0101_10' : d['c_0011_11'], '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' : negation(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' : negation(d['1']), 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : 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_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0101_2']), 'c_1100_7' : negation(d['c_0101_8']), 'c_1100_6' : negation(d['c_0101_8']), 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_0101_8']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0101_2']), 'c_1100_11' : negation(d['c_0011_3']), 'c_1100_10' : d['c_0011_10'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_12'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_8'], 'c_1010_2' : d['c_0101_6'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_0101_12'], 'c_1010_9' : d['c_1001_4'], 'c_1010_8' : negation(d['c_0011_10']), 'c_1100_8' : d['c_0011_11'], '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'], 'c_1100_12' : negation(d['c_0101_11']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : negation(d['c_0011_12']), 'c_0011_8' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_10'], 'c_0011_6' : negation(d['c_0011_12']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_6'], 'c_0110_10' : d['c_0011_12'], 'c_0110_12' : d['c_0101_6'], 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : negation(d['c_0011_11']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : negation(d['c_0011_11']), 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_4'], 'c_0110_8' : d['c_0101_4'], 'c_0110_1' : d['c_0011_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0101_8'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_12']})} 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_3, c_0101_1, c_0101_11, c_0101_12, c_0101_2, c_0101_4, c_0101_6, c_0101_8, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 5004027470418999865264800037596899253/71370687729013353419408203619\ 0080000*c_1001_4^23 - 4135944577555945352086301262607641001/8921335\ 9661266691774260254523760000*c_1001_4^22 + 35270868556365737932889701810811549399/7137068772901335341940820361\ 90080000*c_1001_4^21 + 243763669027229429411187900249846351739/7137\ 06877290133534194082036190080000*c_1001_4^20 - 26839963317580409015345204280007114097/3244122169500606973609463800\ 8640000*c_1001_4^19 - 5868513781151978250559642948349495341/4460667\ 983063334588713012726188000*c_1001_4^18 + 1091158463660404948650826798651160035017/17842671932253338354852050\ 9047520000*c_1001_4^17 - 70985936247839545203234037405774544697/101\ 958125327161933456297433741440000*c_1001_4^16 - 1354816661106284501627301458603388733389/64882443390012139472189276\ 017280000*c_1001_4^15 + 12211947211031069775812036922047072876617/7\ 13706877290133534194082036190080000*c_1001_4^14 + 3699117684270731579623994486671570791387/89213359661266691774260254\ 523760000*c_1001_4^13 - 40050510793083128058932029738489940185399/7\ 13706877290133534194082036190080000*c_1001_4^12 - 4586570287086987519281612589013558467199/89213359661266691774260254\ 523760000*c_1001_4^11 + 34710867678741786765522047738833337662329/3\ 56853438645066767097041018095040000*c_1001_4^10 + 33884650531181674996967759379509658014651/7137068772901335341940820\ 36190080000*c_1001_4^9 - 18950835085029499586520945737892525807473/\ 178426719322533383548520509047520000*c_1001_4^8 - 16973177239808040275034128018254306991331/3568534386450667670970410\ 18095040000*c_1001_4^7 + 2927414908211103781651138432873560913333/3\ 5685343864506676709704101809504000*c_1001_4^6 + 34901395772811618066397826035115917732101/7137068772901335341940820\ 36190080000*c_1001_4^5 - 17537209481802939209814317216227635945571/\ 356853438645066767097041018095040000*c_1001_4^4 - 2809678218798378423471392129006576181197/89213359661266691774260254\ 523760000*c_1001_4^3 + 452200137931835607692195157523701418507/2230\ 3339915316672943565063630940000*c_1001_4^2 + 377218254076658139521517425857688678691/446066798306333458871301272\ 61880000*c_1001_4 - 79772835550408079197508685211080786491/22303339\ 915316672943565063630940000, c_0011_0 - 1, c_0011_10 + 25750960794828863611571907264341/50979062663580966728148716\ 870720*c_1001_4^23 - 10968252479106084113452949710707/3186191416473\ 810420509294804420*c_1001_4^22 + 44316295540475714619231987413147/1\ 0195812532716193345629743374144*c_1001_4^21 + 1176391061603736598499461072878323/50979062663580966728148716870720\ *c_1001_4^20 - 1609956560454729260253597102649023/25489531331790483\ 364074358435360*c_1001_4^19 - 22773516791416939310830067612999/2896\ 53765133982765500844982220*c_1001_4^18 + 1131185400004746865104626769881617/2548953133179048336407435843536*\ c_1001_4^17 - 1067731947240832288253595475374169/728272323765442381\ 8306959552960*c_1001_4^16 - 1292989431881767113633543511209313/9268\ 92048428744849602703943104*c_1001_4^15 + 73723037343330615693258104201281329/5097906266358096672814871687072\ 0*c_1001_4^14 + 7955292074275340798318458841105083/3186191416473810\ 420509294804420*c_1001_4^13 - 214002626625562153484778796740136951/\ 50979062663580966728148716870720*c_1001_4^12 - 8379252751492729676455934297064243/3186191416473810420509294804420*\ c_1001_4^11 + 171522488680885083234841433221599137/2548953133179048\ 3364074358435360*c_1001_4^10 + 105288168962107351862476197119529403\ /50979062663580966728148716870720*c_1001_4^9 - 89242760610642330449903032263999743/1274476566589524168203717921768\ 0*c_1001_4^8 - 56928216789611998249350247125391611/2548953133179048\ 3364074358435360*c_1001_4^7 + 68912866019965496169995639491858913/1\ 2744765665895241682037179217680*c_1001_4^6 + 25966988118165852956433343907801537/1019581253271619334562974337414\ 4*c_1001_4^5 - 84567162119319146485519301561002487/2548953133179048\ 3364074358435360*c_1001_4^4 - 9995477885997403243356540116264121/63\ 72382832947620841018589608840*c_1001_4^3 + 4111359574629000048307398680596121/3186191416473810420509294804420*\ c_1001_4^2 + 1208055204619646990195061251774581/3186191416473810420\ 509294804420*c_1001_4 - 58746691310622455155156948881495/3186191416\ 47381042050929480442, c_0011_11 + 14880797102270369857910408070061/25489531331790483364074358\ 435360*c_1001_4^23 - 101466895208988807836519004938067/254895313317\ 90483364074358435360*c_1001_4^22 + 25704410393500222594798448070209/5097906266358096672814871687072*c_\ 1001_4^21 + 339505836082836334391486625968579/127447656658952416820\ 37179217680*c_1001_4^20 - 1864526865800428865156500213731881/254895\ 31331790483364074358435360*c_1001_4^19 - 6543495133862288669257105463662/72413441283495691375211245555*c_100\ 1_4^18 + 654302455243931431747531224714523/127447656658952416820371\ 7921768*c_1001_4^17 - 630128183277319583754968199390869/36413616188\ 27211909153479776480*c_1001_4^16 - 373322688155891453407927072581057/231723012107186212400675985776*c_\ 1001_4^15 + 5368280929369641803582223038484143/31861914164738104205\ 09294804420*c_1001_4^14 + 73201146128668160886232382468365283/25489\ 531331790483364074358435360*c_1001_4^13 - 124382845858539506897067119235817741/254895313317904833640743584353\ 60*c_1001_4^12 - 76327617120914132367434235658754043/25489531331790\ 483364074358435360*c_1001_4^11 + 2489806094883861874375418835628785\ 3/3186191416473810420509294804420*c_1001_4^10 + 58770030731484209410231389342505953/2548953133179048336407435843536\ 0*c_1001_4^9 - 207231251470727808763718145024543477/254895313317904\ 83364074358435360*c_1001_4^8 - 1984701058976912141849992305397906/7\ 96547854118452605127323701105*c_1001_4^7 + 80213491877354868744911707091364061/1274476566589524168203717921768\ 0*c_1001_4^6 + 14670534306610918872403621924163873/5097906266358096\ 672814871687072*c_1001_4^5 - 99042036691153025640630623599071249/25\ 489531331790483364074358435360*c_1001_4^4 - 1417470146196158941771392394703164/796547854118452605127323701105*c\ _1001_4^3 + 2425874280745485227372254626870981/15930957082369052102\ 54647402210*c_1001_4^2 + 342178635843173872641655920732133/79654785\ 4118452605127323701105*c_1001_4 - 69624250078269774948499931769183/\ 318619141647381042050929480442, c_0011_12 + 84360196442172916068733759/110599484228937259408394080*c_10\ 01_4^23 - 288774752369970343827801629/55299742114468629704197040*c_\ 1001_4^22 + 148245908002433621220945241/22119896845787451881678816*\ c_1001_4^21 + 3847316992319796620417077867/110599484228937259408394\ 080*c_1001_4^20 - 1335146464575080332172271933/13824935528617157426\ 049260*c_1001_4^19 - 293723563424763365854969469/251362464156675589\ 5645320*c_1001_4^18 + 3737941392260973035520300063/5529974211446862\ 970419704*c_1001_4^17 - 3751191407670881010721342531/15799926318419\ 608486913440*c_1001_4^16 - 4255096314200760570472148273/20108997132\ 53404716516256*c_1001_4^15 + 248353881036247292672029321001/1105994\ 84228937259408394080*c_1001_4^14 + 207853156361066598173479148331/55299742114468629704197040*c_1001_4^\ 13 - 716684279124227330766266337469/110599484228937259408394080*c_1\ 001_4^12 - 215265462721295434992668092401/5529974211446862970419704\ 0*c_1001_4^11 + 573774315479259503198432545063/55299742114468629704\ 197040*c_1001_4^10 + 328603683921261360704706119757/110599484228937\ 259408394080*c_1001_4^9 - 598198663457788457913706853469/5529974211\ 4468629704197040*c_1001_4^8 - 178973642901236798508119234329/552997\ 42114468629704197040*c_1001_4^7 + 116154725985623382351717865231/13\ 824935528617157426049260*c_1001_4^6 + 83757630561691286149312241771/22119896845787451881678816*c_1001_4^5 - 143562977178702581060370233069/27649871057234314852098520*c_1001_\ 4^4 - 65393792946032900645532192853/27649871057234314852098520*c_10\ 01_4^3 + 14031508351385745732465896519/6912467764308578713024630*c_\ 1001_4^2 + 3995697414776367894478889349/6912467764308578713024630*c\ _1001_4 - 199463317180448123575415845/691246776430857871302463, c_0011_3 - 5256387787976221219/12682518927662503201216*c_1001_4^23 + 22210086580503726985/3170629731915625800304*c_1001_4^22 - 368139222980370065585/12682518927662503201216*c_1001_4^21 - 35689880851204687049/12682518927662503201216*c_1001_4^20 + 1668774166013283595815/6341259463831251600608*c_1001_4^19 - 45570871413659741419/144119533268892081832*c_1001_4^18 - 4218109009765621888167/3170629731915625800304*c_1001_4^17 + 40510643221795022169161/12682518927662503201216*c_1001_4^16 + 2631325559703921703583/1152956266151136654656*c_1001_4^15 - 159003876293923944053043/12682518927662503201216*c_1001_4^14 + 6708181738050502593309/3170629731915625800304*c_1001_4^13 + 354375641614483330566161/12682518927662503201216*c_1001_4^12 - 50593572515244716623143/3170629731915625800304*c_1001_4^11 - 256398512669786322405311/6341259463831251600608*c_1001_4^10 + 370304545017636263488075/12682518927662503201216*c_1001_4^9 + 34273893736300360046057/792657432978906450076*c_1001_4^8 - 157833294544625193079283/6341259463831251600608*c_1001_4^7 - 129342369453699841047553/3170629731915625800304*c_1001_4^6 + 114576176811837412140989/12682518927662503201216*c_1001_4^5 + 194873800624663485580875/6341259463831251600608*c_1001_4^4 + 242725824589848631305/792657432978906450076*c_1001_4^3 - 2421385905046791196669/198164358244726612519*c_1001_4^2 - 803337821065349016679/792657432978906450076*c_1001_4 + 220645829521272446857/396328716489453225038, c_0101_1 - 168984401068423152133/12682518927662503201216*c_1001_4^23 + 212544598282522995471/3170629731915625800304*c_1001_4^22 + 254384843602807617545/12682518927662503201216*c_1001_4^21 - 8333649190043249379919/12682518927662503201216*c_1001_4^20 + 3286333992414596347417/6341259463831251600608*c_1001_4^19 + 536034817393098239293/144119533268892081832*c_1001_4^18 - 19142726648183300177473/3170629731915625800304*c_1001_4^17 - 133544653820571630639345/12682518927662503201216*c_1001_4^16 + 30770399218014615237353/1152956266151136654656*c_1001_4^15 + 208308154001432160743803/12682518927662503201216*c_1001_4^14 - 220877626603278016822905/3170629731915625800304*c_1001_4^13 - 179823667546520790993897/12682518927662503201216*c_1001_4^12 + 384133885382863296169431/3170629731915625800304*c_1001_4^11 + 86550185646211561752959/6341259463831251600608*c_1001_4^10 - 1907506206565094347468611/12682518927662503201216*c_1001_4^9 - 27728378899129107356569/792657432978906450076*c_1001_4^8 + 870558670356902292078563/6341259463831251600608*c_1001_4^7 + 201574840474180911132873/3170629731915625800304*c_1001_4^6 - 1078782390278248945153157/12682518927662503201216*c_1001_4^5 - 376661593353956234569907/6341259463831251600608*c_1001_4^4 + 10813117320553293009201/396328716489453225038*c_1001_4^3 + 10438277806655733965349/396328716489453225038*c_1001_4^2 - 1037983766296496731497/792657432978906450076*c_1001_4 - 1469198181162959074473/396328716489453225038, c_0101_11 - 48605718909148522222580017572427/10195812532716193345629743\ 3741440*c_1001_4^23 + 41468220788447265565468319399743/127447656658\ 95241682037179217680*c_1001_4^22 - 84274473449341654965291404700341/20391625065432386691259486748288*c\ _1001_4^21 - 2218523666673007678871823938084101/1019581253271619334\ 56297433741440*c_1001_4^20 + 3053066440484135145827326766930421/509\ 79062663580966728148716870720*c_1001_4^19 + 10668803796646970410068709755117/144826882566991382750422491110*c_1\ 001_4^18 - 2141609460016379335773681737741243/509790626635809667281\ 4871687072*c_1001_4^17 + 2079363894695981567044928172238343/1456544\ 6475308847636613919105920*c_1001_4^16 + 2443184215486706389472227219423191/1853784096857489699205407886208*\ c_1001_4^15 - 140942804763312434973674201286338583/1019581253271619\ 33456297433741440*c_1001_4^14 - 29921400294137521612566921891230777\ /12744765665895241682037179217680*c_1001_4^13 + 407929247664746295771842018796257577/101958125327161933456297433741\ 440*c_1001_4^12 + 31154330769768375203999985320352177/1274476566589\ 5241682037179217680*c_1001_4^11 - 326597686716656547671574934531501\ 559/50979062663580966728148716870720*c_1001_4^10 - 191460336727863714709161881124523781/101958125327161933456297433741\ 440*c_1001_4^9 + 169895231648248752871842999508832191/2548953133179\ 0483364074358435360*c_1001_4^8 + 1036339367291484255463986246214555\ 97/50979062663580966728148716870720*c_1001_4^7 - 131527086389147423445537865509523511/254895313317904833640743584353\ 60*c_1001_4^6 - 48003196828813618474634823471286655/203916250654323\ 86691259486748288*c_1001_4^5 + 162365590560599377802046119131215709\ /50979062663580966728148716870720*c_1001_4^4 + 18561680347842464567342879878969847/1274476566589524168203717921768\ 0*c_1001_4^3 - 3974177457030694660099912659965941/31861914164738104\ 20509294804420*c_1001_4^2 - 2231161734595775925909189082777297/6372\ 382832947620841018589608840*c_1001_4 + 113494374087090629721115712460737/637238283294762084101858960884, c_0101_12 - 34431233176188513263472595078591/50979062663580966728148716\ 870720*c_1001_4^23 + 59042565322270587177998904533523/1274476566589\ 5241682037179217680*c_1001_4^22 - 61051409895998787578001422092593/\ 10195812532716193345629743374144*c_1001_4^21 - 1568121541427875722961635359992293/50979062663580966728148716870720\ *c_1001_4^20 + 2189970352900478298717888089758783/25489531331790483\ 364074358435360*c_1001_4^19 + 59488038391918544345492654949343/5793\ 07530267965531001689964440*c_1001_4^18 - 1530006869357089907502230738277963/2548953133179048336407435843536*\ c_1001_4^17 + 1574789371866287438511101174547739/728272323765442381\ 8306959552960*c_1001_4^16 + 1737611679491511456091303142367063/9268\ 92048428744849602703943104*c_1001_4^15 - 102389247422309206599449637947664039/509790626635809667281487168707\ 20*c_1001_4^14 - 42287346778522475195005427140418897/12744765665895\ 241682037179217680*c_1001_4^13 + 2945433975992042398751824296831429\ 81/50979062663580966728148716870720*c_1001_4^12 + 43484235881079495267862723158747247/1274476566589524168203717921768\ 0*c_1001_4^11 - 235502240731717569380763633553568547/25489531331790\ 483364074358435360*c_1001_4^10 - 1314305588342718698519799362219044\ 73/50979062663580966728148716870720*c_1001_4^9 + 61380722426800884336653384341077239/6372382832947620841018589608840\ *c_1001_4^8 + 71946885432990571189969364338536361/25489531331790483\ 364074358435360*c_1001_4^7 - 95491756633063483695202731878373413/12\ 744765665895241682037179217680*c_1001_4^6 - 33979064131096245872596113522727443/1019581253271619334562974337414\ 4*c_1001_4^5 + 118214637030066929771059508719546467/254895313317904\ 83364074358435360*c_1001_4^4 + 6654835711820253687675445335037193/3\ 186191416473810420509294804420*c_1001_4^3 - 5773810602203555839388701072259221/3186191416473810420509294804420*\ c_1001_4^2 - 1631061839169846445476422513934881/3186191416473810420\ 509294804420*c_1001_4 + 81815740337219022925093353229705/3186191416\ 47381042050929480442, c_0101_2 - 6106032895026858441968931702439/1274476566589524168203717921\ 7680*c_1001_4^23 + 20940292185744121295336822702589/637238283294762\ 0841018589608840*c_1001_4^22 - 10832676481441312298820954737997/254\ 8953133179048336407435843536*c_1001_4^21 - 277839227830509189969145650238767/12744765665895241682037179217680*\ c_1001_4^20 + 194093298362131677808484101749531/3186191416473810420\ 509294804420*c_1001_4^19 + 21064311442876229485260822234699/2896537\ 65133982765500844982220*c_1001_4^18 - 67779108480097009277202435878785/159309570823690521025464740221*c_1\ 001_4^17 + 280009736656626842123374474044611/1820680809413605954576\ 739888240*c_1001_4^16 + 307640272421738501926192267297553/231723012\ 107186212400675985776*c_1001_4^15 - 18149195255956088284154359295441181/1274476566589524168203717921768\ 0*c_1001_4^14 - 14959810038572985229352630088299071/637238283294762\ 0841018589608840*c_1001_4^13 + 52164386147251460891295771183892589/\ 12744765665895241682037179217680*c_1001_4^12 + 15360762204773651098357215808345091/6372382832947620841018589608840\ *c_1001_4^11 - 41679716601838239319131947469879373/6372382832947620\ 841018589608840*c_1001_4^10 - 23186259329956657417220483342944617/1\ 2744765665895241682037179217680*c_1001_4^9 + 43442418997193666252152245579854409/6372382832947620841018589608840\ *c_1001_4^8 + 12706760197730074659507525151865359/63723828329476208\ 41018589608840*c_1001_4^7 - 16902656384288816295972285083665127/318\ 6191416473810420509294804420*c_1001_4^6 - 6005152175518405251738929316478931/2548953133179048336407435843536*\ c_1001_4^5 + 10467151107536406691696837747479609/318619141647381042\ 0509294804420*c_1001_4^4 + 1176790980490703253240706907268922/79654\ 7854118452605127323701105*c_1001_4^3 - 4086938361036540006483843352940841/3186191416473810420509294804420*\ c_1001_4^2 - 579154772372285686872267139511573/15930957082369052102\ 54647402210*c_1001_4 + 28837849207185965857212302854610/15930957082\ 3690521025464740221, c_0101_4 + 84360196442172916068733759/110599484228937259408394080*c_100\ 1_4^23 - 288774752369970343827801629/55299742114468629704197040*c_1\ 001_4^22 + 148245908002433621220945241/22119896845787451881678816*c\ _1001_4^21 + 3847316992319796620417077867/1105994842289372594083940\ 80*c_1001_4^20 - 1335146464575080332172271933/138249355286171574260\ 49260*c_1001_4^19 - 293723563424763365854969469/2513624641566755895\ 645320*c_1001_4^18 + 3737941392260973035520300063/55299742114468629\ 70419704*c_1001_4^17 - 3751191407670881010721342531/157999263184196\ 08486913440*c_1001_4^16 - 4255096314200760570472148273/201089971325\ 3404716516256*c_1001_4^15 + 248353881036247292672029321001/11059948\ 4228937259408394080*c_1001_4^14 + 207853156361066598173479148331/55\ 299742114468629704197040*c_1001_4^13 - 716684279124227330766266337469/110599484228937259408394080*c_1001_4\ ^12 - 215265462721295434992668092401/55299742114468629704197040*c_1\ 001_4^11 + 573774315479259503198432545063/5529974211446862970419704\ 0*c_1001_4^10 + 328603683921261360704706119757/11059948422893725940\ 8394080*c_1001_4^9 - 598198663457788457913706853469/552997421144686\ 29704197040*c_1001_4^8 - 178973642901236798508119234329/55299742114\ 468629704197040*c_1001_4^7 + 116154725985623382351717865231/1382493\ 5528617157426049260*c_1001_4^6 + 83757630561691286149312241771/2211\ 9896845787451881678816*c_1001_4^5 - 143562977178702581060370233069/27649871057234314852098520*c_1001_4^\ 4 - 65393792946032900645532192853/27649871057234314852098520*c_1001\ _4^3 + 14031508351385745732465896519/6912467764308578713024630*c_10\ 01_4^2 + 3995697414776367894478889349/6912467764308578713024630*c_1\ 001_4 - 199463317180448123575415845/691246776430857871302463, c_0101_6 - 1719819200437185528813012/3456233882154289356512315*c_1001_4\ ^23 + 11777053556365930033452694/3456233882154289356512315*c_1001_4\ ^22 - 3023408186885420816232554/691246776430857871302463*c_1001_4^2\ 1 - 78476550158137064812789286/3456233882154289356512315*c_1001_4^2\ 0 + 217884259865342659834481087/3456233882154289356512315*c_1001_4^\ 19 + 23970890235983707999026178/314203080195844486955665*c_1001_4^1\ 8 - 305017492831312927774191078/691246776430857871302463*c_1001_4^1\ 7 + 76421065830484005915050203/493747697450612765216045*c_1001_4^16 + 86833822187088991006872791/62840616039168897391133*c_1001_4^15 - 5065128485339206057711786623/3456233882154289356512315*c_1001_4^14 - 8486897762395114597373015466/3456233882154289356512315*c_1001_4^13 + 14620407194179331589914960532/3456233882154289356512315*c_1001_4^12 + 8797185288659151693349849001/3456233882154289356512315*c_1001_4^1\ 1 - 23413649014650402099661844178/3456233882154289356512315*c_1001_\ 4^10 - 6721930041177265834658464686/3456233882154289356512315*c_100\ 1_4^9 + 24407426727034367333468682714/3456233882154289356512315*c_1\ 001_4^8 + 7319354309374225519570825989/3456233882154289356512315*c_\ 1001_4^7 - 18948692470516231507946026769/3456233882154289356512315*\ c_1001_4^6 - 1710424641064705920555104273/691246776430857871302463*\ c_1001_4^5 + 11703900982377467814258513273/345623388215428935651231\ 5*c_1001_4^4 + 5334369272315126156865972821/34562338821542893565123\ 15*c_1001_4^3 - 4580329507057005633985601872/3456233882154289356512\ 315*c_1001_4^2 - 1296183743127765071298852027/345623388215428935651\ 2315*c_1001_4 + 131020623761943055607121663/69124677643085787130246\ 3, c_0101_8 - 10970446409227288259843352493341/509790626635809667281487168\ 70720*c_1001_4^23 + 18683302771343641580872719454323/12744765665895\ 241682037179217680*c_1001_4^22 - 18903708514497907581448580851795/1\ 0195812532716193345629743374144*c_1001_4^21 - 499404564638813710277628909696743/50979062663580966728148716870720*\ c_1001_4^20 + 684253732437433318870876852852233/2548953133179048336\ 4074358435360*c_1001_4^19 + 19284575846900085536287285122733/579307\ 530267965531001689964440*c_1001_4^18 - 480139772669087247733817130238221/2548953133179048336407435843536*c\ _1001_4^17 + 459182596143559386297365379991889/72827232376544238183\ 06959552960*c_1001_4^16 + 546889886692533466334554596327165/9268920\ 48428744849602703943104*c_1001_4^15 - 31316475248886489452162888373522029/5097906266358096672814871687072\ 0*c_1001_4^14 - 13400279240673847110363912470428037/127447656658952\ 41682037179217680*c_1001_4^13 + 90521357734248888294692084912416671\ /50979062663580966728148716870720*c_1001_4^12 + 14018220926825415243831482242901907/1274476566589524168203717921768\ 0*c_1001_4^11 - 72262680695676466079117579314722377/254895313317904\ 83364074358435360*c_1001_4^10 - 43754306292618003717596822995617643\ /50979062663580966728148716870720*c_1001_4^9 + 4683606098686227869048521691134001/1593095708236905210254647402210*\ c_1001_4^8 + 23732119585842752874698827742148891/254895313317904833\ 64074358435360*c_1001_4^7 - 28902577695096601699464063887467703/127\ 44765665895241682037179217680*c_1001_4^6 - 10816340388173925041479806012602105/1019581253271619334562974337414\ 4*c_1001_4^5 + 35477984196475172840073024551469837/2548953133179048\ 3364074358435360*c_1001_4^4 + 516498544109694257616899616637517/796\ 547854118452605127323701105*c_1001_4^3 - 861065409784251453971684457541423/1593095708236905210254647402210*c\ _1001_4^2 - 494790795000163185698369451136561/318619141647381042050\ 9294804420*c_1001_4 + 24708221237367776325082706099027/318619141647\ 381042050929480442, c_1001_4^24 - 6*c_1001_4^23 + 3*c_1001_4^22 + 53*c_1001_4^21 - 88*c_1001_4^20 - 260*c_1001_4^19 + 756*c_1001_4^18 + 437*c_1001_4^17 - 3033*c_1001_4^16 + 599*c_1001_4^15 + 7402*c_1001_4^14 - 4323*c_1001_4^13 - 12254*c_1001_4^12 + 9266*c_1001_4^11 + 15347*c_1001_4^10 - 10854*c_1001_4^9 - 16174*c_1001_4^8 + 7400*c_1001_4^7 + 14217*c_1001_4^6 - 2604*c_1001_4^5 - 8812*c_1001_4^4 + 48*c_1001_4^3 + 2992*c_1001_4^2 + 256*c_1001_4 - 320 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.420 Total time: 4.629 seconds, Total memory usage: 64.12MB