Magma V2.19-8 Wed Aug 21 2013 00:19:54 on localhost [Seed = 324370120] Type ? for help. Type -D to quit. Loading file "K14a19421__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14a19421 geometric_solution 11.20638312 oriented_manifold CS_known 0.0000000000000006 1 0 torus 0.000000000000 0.000000000000 13 1 2 1 2 0132 0132 2031 1230 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 -1 0 1 0 1 -9 0 8 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.521369214196 1.152228473019 0 3 4 0 0132 0132 0132 1302 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 1 0 0 -1 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.674033475981 0.720387587145 0 0 6 5 3012 0132 0132 0132 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 1 0 -1 0 0 0 0 0 -8 9 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.307461480968 0.740165244767 4 1 7 8 0321 0132 0132 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 1.002269457214 0.440453371435 3 9 5 1 0321 0132 3012 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 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.985662184695 1.059095543575 7 4 2 7 1230 1230 0132 2310 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.230270775547 1.434057196909 10 10 9 2 0132 1230 2103 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 0 0 0 0 0 -1 1 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.238152254865 1.085797740640 5 5 9 3 3201 3012 0132 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 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.591814559946 0.288816194175 11 9 3 10 0132 0213 0132 3201 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 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.433023354527 0.617151895497 6 4 8 7 2103 0132 0213 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 0 0 0 1 0 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.362756481529 0.721310979343 6 8 6 11 0132 2310 3012 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 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.807269228573 0.878709446973 8 10 12 12 0132 0321 0132 3201 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.376686316564 1.846130585404 12 11 12 11 2310 2310 3201 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 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.564289031030 0.460777604155 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_4'], 'c_1001_10' : d['c_0011_10'], 'c_1001_12' : d['c_0101_11'], 'c_1001_5' : negation(d['c_0101_0']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_7' : negation(d['c_0011_5']), 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : d['c_0101_10'], 'c_1001_9' : d['c_1001_1'], 'c_1001_8' : d['c_1001_1'], 'c_1010_12' : d['c_0011_4'], 'c_1010_11' : negation(d['c_0101_11']), 'c_1010_10' : negation(d['c_0101_11']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : negation(d['c_0101_11']), 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(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_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' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0011_10']), 'c_1100_8' : negation(d['c_0011_10']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_7'], 'c_1100_4' : d['c_0101_0'], 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : d['c_0011_7'], 'c_1100_1' : d['c_0101_0'], 'c_1100_0' : d['c_0101_5'], 'c_1100_3' : negation(d['c_0011_10']), 'c_1100_2' : d['c_0011_7'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_12']), 'c_1100_10' : d['c_0011_4'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0101_10'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : negation(d['c_0101_5']), 'c_1010_0' : d['c_0101_10'], 'c_1010_9' : negation(d['c_0011_5']), 'c_1010_8' : negation(d['c_0011_10']), 's_3_1' : 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' : negation(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_0011_12']), 's_1_7' : 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' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_4']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0110_6' : d['c_0101_10'], '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' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_4']), 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_12' : d['c_0101_11'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0011_6' : negation(d['c_0011_10']), 'c_0101_7' : negation(d['c_0011_7']), 'c_0101_6' : negation(d['c_0011_11']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_11']), 'c_0101_8' : negation(d['c_0011_4']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_7']), 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0011_7'], 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_7' : d['c_0101_3'], 'c_0011_10' : d['c_0011_10'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_4, c_0011_5, c_0011_7, c_0101_0, c_0101_10, c_0101_11, c_0101_3, c_0101_5, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 54 Groebner basis: [ t - 449878262658214849233124197027794223511663823491/290491276535798469\ 781290401845369308041895877*c_1001_1^53 + 470410507204616120674133335282831662994000068315/223454828104460361\ 37022338603489946772453529*c_1001_1^52 - 35587762478085720611219852220414364405167979790279/2904912765357984\ 69781290401845369308041895877*c_1001_1^51 + 121231231577590069694022869696888571314426498892411/290491276535798\ 469781290401845369308041895877*c_1001_1^50 - 307706337011623285706241711147394738625228980793053/290491276535798\ 469781290401845369308041895877*c_1001_1^49 + 745895913138135771485761126351425550450725946896622/290491276535798\ 469781290401845369308041895877*c_1001_1^48 - 132515864367406410790774918105985628122347432247337/223454828104460\ 36137022338603489946772453529*c_1001_1^47 + 3291863192155156977033298438204942775090032209328812/29049127653579\ 8469781290401845369308041895877*c_1001_1^46 - 5630977589417283023649774247744089420299014384860465/29049127653579\ 8469781290401845369308041895877*c_1001_1^45 + 10080464439888349399408532798991450974917994811713625/2904912765357\ 98469781290401845369308041895877*c_1001_1^44 - 16342012470733654866044347363230802809853249173957803/2904912765357\ 98469781290401845369308041895877*c_1001_1^43 + 21885973958358487121452852242104276996387726798861585/2904912765357\ 98469781290401845369308041895877*c_1001_1^42 - 2856977820207007786728867986455705620868021341583757/26408297866890\ 769980117309258669937094717807*c_1001_1^41 + 4234475680460836450444631089656251389880968173191363/26408297866890\ 769980117309258669937094717807*c_1001_1^40 - 957331137670906954221078685942387398704180194287723/548096748180751\ 8297760196261233383170601809*c_1001_1^39 + 55773389318771762905587920251428832776515316510408228/2904912765357\ 98469781290401845369308041895877*c_1001_1^38 - 2721749046490136613333041740350407082868687666756430/93706863398644\ 66767138400059528042194899867*c_1001_1^37 + 78333181970651740125176910591489446600003353761874510/2904912765357\ 98469781290401845369308041895877*c_1001_1^36 - 49833863729722993236326483489771352263837774803492156/2904912765357\ 98469781290401845369308041895877*c_1001_1^35 + 1130453858773264958299584748433636250570586352731369/31922118300637\ 19448146048371927135253207647*c_1001_1^34 - 1057600817529602376300339025656248016950476847667090/31922118300637\ 19448146048371927135253207647*c_1001_1^33 - 1115021669756378635876202229789883398929366189161649/41498753790828\ 352825898628835052758291699411*c_1001_1^32 - 84048453883841823000768344668379609093478808403757844/2904912765357\ 98469781290401845369308041895877*c_1001_1^31 + 123564869733028660901767357542304127684811256822245903/290491276535\ 798469781290401845369308041895877*c_1001_1^30 + 89909614077430152175760815401321401266416120114178281/2904912765357\ 98469781290401845369308041895877*c_1001_1^29 + 32335715785170755563522669683853435038068786988043700/2904912765357\ 98469781290401845369308041895877*c_1001_1^28 - 175153545322409384607358523916204717683809591520419598/290491276535\ 798469781290401845369308041895877*c_1001_1^27 - 12977013772935564237272647785217530328543287589572650/2640829786689\ 0769980117309258669937094717807*c_1001_1^26 + 33100607762548068985891778072777106320713969374833193/2904912765357\ 98469781290401845369308041895877*c_1001_1^25 + 221158237123737010785668208215107316076611951391786612/290491276535\ 798469781290401845369308041895877*c_1001_1^24 + 377164941289688074782498225124371210295452863972937/782995354543931\ 185394313751604769024371687*c_1001_1^23 - 11833261963061830608146271883715474884615351085292299/4149875379082\ 8352825898628835052758291699411*c_1001_1^22 - 216727131171003608864678444879168343901261726582343972/290491276535\ 798469781290401845369308041895877*c_1001_1^21 - 100186907565083579997851704977290031759437051257765907/290491276535\ 798469781290401845369308041895877*c_1001_1^20 + 91358090759426815194482429558241136568530811630642354/2904912765357\ 98469781290401845369308041895877*c_1001_1^19 + 3018574817597559738069669918263958588324299575977101/54809674818075\ 18297760196261233383170601809*c_1001_1^18 + 57882943488486660230792576307786098860900785470965302/2904912765357\ 98469781290401845369308041895877*c_1001_1^17 - 5760494850289962648324679764056624232422209447390834/26408297866890\ 769980117309258669937094717807*c_1001_1^16 - 89528217095495450028315106943446600003016868883849403/2904912765357\ 98469781290401845369308041895877*c_1001_1^15 - 564363016399852237026054544040849016846816259730593/548096748180751\ 8297760196261233383170601809*c_1001_1^14 + 28513225135969452428529109533343157582305146144923639/2904912765357\ 98469781290401845369308041895877*c_1001_1^13 + 38143568492056689473730079298266186461886392808787762/2904912765357\ 98469781290401845369308041895877*c_1001_1^12 + 14060558792438723758786885044364731585031996500038763/2904912765357\ 98469781290401845369308041895877*c_1001_1^11 - 7718132186909868005326146416342829317873133311908918/29049127653579\ 8469781290401845369308041895877*c_1001_1^10 - 11888885210498689860222596509110522334236788746610336/2904912765357\ 98469781290401845369308041895877*c_1001_1^9 - 756469700194208863115758867431875331590454832777861/414987537908283\ 52825898628835052758291699411*c_1001_1^8 + 757280230178320454192600542960445961702478879747264/290491276535798\ 469781290401845369308041895877*c_1001_1^7 + 2365724619544732617616608663570352196941617062001861/29049127653579\ 8469781290401845369308041895877*c_1001_1^6 + 121046405787993972144992423042932558978999918043836/264082978668907\ 69980117309258669937094717807*c_1001_1^5 + 208689873016614689891508001065235746440633481454692/290491276535798\ 469781290401845369308041895877*c_1001_1^4 - 197167850488860897785565522129680450024060698028580/290491276535798\ 469781290401845369308041895877*c_1001_1^3 - 23299014232917718877377220747353676771520245017016/4149875379082835\ 2825898628835052758291699411*c_1001_1^2 - 1188211042651516220325459203321259886227479001681/59283933986897646\ 89414089833578965470242773*c_1001_1 - 10872451619289904453857990834044438224333082809045/2904912765357984\ 69781290401845369308041895877, c_0011_0 - 1, c_0011_10 + c_1001_1^46 - 11*c_1001_1^45 + 49*c_1001_1^44 - 122*c_1001_1^43 + 251*c_1001_1^42 - 600*c_1001_1^41 + 1203*c_1001_1^40 - 1688*c_1001_1^39 + 2689*c_1001_1^38 - 4977*c_1001_1^37 + 5521*c_1001_1^36 - 5302*c_1001_1^35 + 11095*c_1001_1^34 - 11339*c_1001_1^33 + 2187*c_1001_1^32 - 14248*c_1001_1^31 + 19726*c_1001_1^30 + 11814*c_1001_1^29 + 7998*c_1001_1^28 - 35668*c_1001_1^27 - 30278*c_1001_1^26 + 9388*c_1001_1^25 + 59082*c_1001_1^24 + 39416*c_1001_1^23 - 31538*c_1001_1^22 - 75774*c_1001_1^21 - 33634*c_1001_1^20 + 44724*c_1001_1^19 + 71106*c_1001_1^18 + 20929*c_1001_1^17 - 39570*c_1001_1^16 - 48716*c_1001_1^15 - 11288*c_1001_1^14 + 22636*c_1001_1^13 + 24624*c_1001_1^12 + 6332*c_1001_1^11 - 8016*c_1001_1^10 - 9074*c_1001_1^9 - 3152*c_1001_1^8 + 1428*c_1001_1^7 + 2180*c_1001_1^6 + 1024*c_1001_1^5 + 44*c_1001_1^4 - 236*c_1001_1^3 - 156*c_1001_1^2 - 51*c_1001_1 - 8, c_0011_11 - c_1001_1^9 + 2*c_1001_1^8 + 3*c_1001_1^6 - 5*c_1001_1^5 - 3*c_1001_1^4 - 2*c_1001_1^3 + 3*c_1001_1^2 + 3*c_1001_1 + 1, c_0011_12 - c_1001_1^22 + 5*c_1001_1^21 - 7*c_1001_1^20 + 6*c_1001_1^19 - 25*c_1001_1^18 + 34*c_1001_1^17 + 3*c_1001_1^16 + 36*c_1001_1^15 - 74*c_1001_1^14 - 50*c_1001_1^13 - 6*c_1001_1^12 + 112*c_1001_1^11 + 86*c_1001_1^10 - 29*c_1001_1^9 - 112*c_1001_1^8 - 68*c_1001_1^7 + 28*c_1001_1^6 + 58*c_1001_1^5 + 28*c_1001_1^4 - 4*c_1001_1^3 - 12*c_1001_1^2 - 7*c_1001_1 - 2, c_0011_4 + c_1001_1^6 - c_1001_1^5 - c_1001_1^4 - 2*c_1001_1^3 + c_1001_1^2 + 2*c_1001_1 + 1, c_0011_5 + c_1001_1^49 - 12*c_1001_1^48 + 60*c_1001_1^47 - 171*c_1001_1^46 + 373*c_1001_1^45 - 851*c_1001_1^44 + 1802*c_1001_1^43 - 2881*c_1001_1^42 + 4338*c_1001_1^41 - 7585*c_1001_1^40 + 10348*c_1001_1^39 - 10451*c_1001_1^38 + 15727*c_1001_1^37 - 21707*c_1001_1^36 + 12278*c_1001_1^35 - 13997*c_1001_1^34 + 32264*c_1001_1^33 - 6605*c_1001_1^32 - 9008*c_1001_1^31 - 40842*c_1001_1^30 + 8294*c_1001_1^29 + 47094*c_1001_1^28 + 43764*c_1001_1^27 - 32382*c_1001_1^26 - 78104*c_1001_1^25 - 30014*c_1001_1^24 + 65440*c_1001_1^23 + 81350*c_1001_1^22 + 1154*c_1001_1^21 - 77498*c_1001_1^20 - 57172*c_1001_1^19 + 20826*c_1001_1^18 + 60203*c_1001_1^17 + 27142*c_1001_1^16 - 22068*c_1001_1^15 - 32672*c_1001_1^14 - 9252*c_1001_1^13 + 12184*c_1001_1^12 + 13220*c_1001_1^11 + 2856*c_1001_1^10 - 4238*c_1001_1^9 - 4088*c_1001_1^8 - 948*c_1001_1^7 + 892*c_1001_1^6 + 880*c_1001_1^5 + 276*c_1001_1^4 - 68*c_1001_1^3 - 100*c_1001_1^2 - 43*c_1001_1 - 8, c_0011_7 + c_1001_1^51 - 12*c_1001_1^50 + 59*c_1001_1^49 - 161*c_1001_1^48 + 336*c_1001_1^47 - 788*c_1001_1^46 + 1712*c_1001_1^45 - 2615*c_1001_1^44 + 3903*c_1001_1^43 - 7530*c_1001_1^42 + 10099*c_1001_1^41 - 9010*c_1001_1^40 + 16814*c_1001_1^39 - 24852*c_1001_1^38 + 8106*c_1001_1^37 - 15581*c_1001_1^36 + 48217*c_1001_1^35 + 4762*c_1001_1^34 - 19763*c_1001_1^33 - 85012*c_1001_1^32 - 10904*c_1001_1^31 + 100496*c_1001_1^30 + 131640*c_1001_1^29 - 23682*c_1001_1^28 - 204538*c_1001_1^27 - 159924*c_1001_1^26 + 98598*c_1001_1^25 + 279064*c_1001_1^24 + 142316*c_1001_1^23 - 161216*c_1001_1^22 - 278588*c_1001_1^21 - 92646*c_1001_1^20 + 161809*c_1001_1^19 + 209248*c_1001_1^18 + 49079*c_1001_1^17 - 109011*c_1001_1^16 - 120312*c_1001_1^15 - 26436*c_1001_1^14 + 49880*c_1001_1^13 + 53196*c_1001_1^12 + 14686*c_1001_1^11 - 14612*c_1001_1^10 - 17326*c_1001_1^9 - 6490*c_1001_1^8 + 2016*c_1001_1^7 + 3644*c_1001_1^6 + 1824*c_1001_1^5 + 176*c_1001_1^4 - 339*c_1001_1^3 - 240*c_1001_1^2 - 81*c_1001_1 - 13, c_0101_0 - c_1001_1^53 + 14*c_1001_1^52 - 84*c_1001_1^51 + 293*c_1001_1^50 - 742*c_1001_1^49 + 1751*c_1001_1^48 - 4004*c_1001_1^47 + 7648*c_1001_1^46 - 12698*c_1001_1^45 + 22004*c_1001_1^44 - 35692*c_1001_1^43 + 46491*c_1001_1^42 - 62527*c_1001_1^41 + 93359*c_1001_1^40 - 100580*c_1001_1^39 + 95430*c_1001_1^38 - 149796*c_1001_1^37 + 148342*c_1001_1^36 - 57196*c_1001_1^35 + 149149*c_1001_1^34 - 191997*c_1001_1^33 - 63047*c_1001_1^32 - 66416*c_1001_1^31 + 279496*c_1001_1^30 + 182632*c_1001_1^29 - 80488*c_1001_1^28 - 409584*c_1001_1^27 - 211490*c_1001_1^26 + 241190*c_1001_1^25 + 488094*c_1001_1^24 + 146112*c_1001_1^23 - 335044*c_1001_1^22 - 439411*c_1001_1^21 - 57914*c_1001_1^20 + 307572*c_1001_1^19 + 299573*c_1001_1^18 + 9432*c_1001_1^17 - 196301*c_1001_1^16 - 158548*c_1001_1^15 - 2120*c_1001_1^14 + 87494*c_1001_1^13 + 66316*c_1001_1^12 + 5316*c_1001_1^11 - 26442*c_1001_1^10 - 21096*c_1001_1^9 - 4198*c_1001_1^8 + 4684*c_1001_1^7 + 4464*c_1001_1^6 + 1507*c_1001_1^5 - 210*c_1001_1^4 - 456*c_1001_1^3 - 223*c_1001_1^2 - 54*c_1001_1 - 5, c_0101_10 + c_1001_1, c_0101_11 + c_1001_1^38 - 9*c_1001_1^37 + 31*c_1001_1^36 - 58*c_1001_1^35 + 113*c_1001_1^34 - 278*c_1001_1^33 + 425*c_1001_1^32 - 440*c_1001_1^31 + 900*c_1001_1^30 - 1388*c_1001_1^29 + 636*c_1001_1^28 - 1152*c_1001_1^27 + 2852*c_1001_1^26 - 39*c_1001_1^25 - 418*c_1001_1^24 - 4684*c_1001_1^23 - 701*c_1001_1^22 + 3919*c_1001_1^21 + 6533*c_1001_1^20 + 142*c_1001_1^19 - 7261*c_1001_1^18 - 7101*c_1001_1^17 + 1313*c_1001_1^16 + 7892*c_1001_1^15 + 5630*c_1001_1^14 - 1790*c_1001_1^13 - 5566*c_1001_1^12 - 3256*c_1001_1^11 + 942*c_1001_1^10 + 2529*c_1001_1^9 + 1440*c_1001_1^8 - 112*c_1001_1^7 - 697*c_1001_1^6 - 453*c_1001_1^5 - 79*c_1001_1^4 + 82*c_1001_1^3 + 71*c_1001_1^2 + 27*c_1001_1 + 5, c_0101_3 + c_1001_1^48 - 11*c_1001_1^47 + 48*c_1001_1^46 - 111*c_1001_1^45 + 201*c_1001_1^44 - 467*c_1001_1^43 + 902*c_1001_1^42 - 957*c_1001_1^41 + 1206*c_1001_1^40 - 2647*c_1001_1^39 + 1560*c_1001_1^38 + 1585*c_1001_1^37 + 2587*c_1001_1^36 - 1003*c_1001_1^35 - 14950*c_1001_1^34 + 3583*c_1001_1^33 + 7172*c_1001_1^32 + 36998*c_1001_1^31 - 17800*c_1001_1^30 - 35602*c_1001_1^29 - 52274*c_1001_1^28 + 43574*c_1001_1^27 + 82860*c_1001_1^26 + 47050*c_1001_1^25 - 80208*c_1001_1^24 - 117506*c_1001_1^23 - 23656*c_1001_1^22 + 107374*c_1001_1^21 + 114042*c_1001_1^20 - 570*c_1001_1^19 - 101036*c_1001_1^18 - 81070*c_1001_1^17 + 9923*c_1001_1^16 + 66416*c_1001_1^15 + 44644*c_1001_1^14 - 6024*c_1001_1^13 - 30636*c_1001_1^12 - 19704*c_1001_1^11 + 780*c_1001_1^10 + 9744*c_1001_1^9 + 6634*c_1001_1^8 + 748*c_1001_1^7 - 1884*c_1001_1^6 - 1484*c_1001_1^5 - 408*c_1001_1^4 + 132*c_1001_1^3 + 164*c_1001_1^2 + 68*c_1001_1 + 13, c_0101_5 - c_1001_1^52 + 13*c_1001_1^51 - 72*c_1001_1^50 + 233*c_1001_1^49 - 568*c_1001_1^48 + 1344*c_1001_1^47 - 2996*c_1001_1^46 + 5440*c_1001_1^45 - 8970*c_1001_1^44 + 15649*c_1001_1^43 - 23946*c_1001_1^42 + 30075*c_1001_1^41 - 42551*c_1001_1^40 + 59818*c_1001_1^39 - 57576*c_1001_1^38 + 62706*c_1001_1^37 - 95196*c_1001_1^36 + 68727*c_1001_1^35 - 36686*c_1001_1^34 + 107701*c_1001_1^33 - 64533*c_1001_1^32 - 42568*c_1001_1^31 - 98080*c_1001_1^30 + 80920*c_1001_1^29 + 131912*c_1001_1^28 + 75106*c_1001_1^27 - 129940*c_1001_1^26 - 181506*c_1001_1^25 - 38914*c_1001_1^24 + 170116*c_1001_1^23 + 173912*c_1001_1^22 + 84*c_1001_1^21 - 160739*c_1001_1^20 - 126007*c_1001_1^19 + 19756*c_1001_1^18 + 110081*c_1001_1^17 + 70434*c_1001_1^16 - 16856*c_1001_1^15 - 55092*c_1001_1^14 - 30776*c_1001_1^13 + 6838*c_1001_1^12 + 19958*c_1001_1^11 + 10588*c_1001_1^10 - 1242*c_1001_1^9 - 5012*c_1001_1^8 - 2720*c_1001_1^7 - 52*c_1001_1^6 + 768*c_1001_1^5 + 451*c_1001_1^4 + 65*c_1001_1^3 - 52*c_1001_1^2 - 35*c_1001_1 - 8, c_1001_1^54 - 13*c_1001_1^53 + 71*c_1001_1^52 - 222*c_1001_1^51 + 521*c_1001_1^50 - 1242*c_1001_1^49 + 2821*c_1001_1^48 - 4988*c_1001_1^47 + 8046*c_1001_1^46 - 14746*c_1001_1^45 + 22658*c_1001_1^44 - 26448*c_1001_1^43 + 39982*c_1001_1^42 - 60907*c_1001_1^41 + 49772*c_1001_1^40 - 54668*c_1001_1^39 + 111942*c_1001_1^38 - 61252*c_1001_1^37 + 4050*c_1001_1^36 - 160680*c_1001_1^35 + 79534*c_1001_1^34 + 147343*c_1001_1^33 + 193996*c_1001_1^32 - 170512*c_1001_1^31 - 364048*c_1001_1^30 - 183064*c_1001_1^29 + 358160*c_1001_1^28 + 545968*c_1001_1^27 + 100240*c_1001_1^26 - 547778*c_1001_1^25 - 595292*c_1001_1^24 + 18816*c_1001_1^23 + 600543*c_1001_1^22 + 497241*c_1001_1^21 - 88919*c_1001_1^20 - 481138*c_1001_1^19 - 328761*c_1001_1^18 + 76788*c_1001_1^17 + 284415*c_1001_1^16 + 177524*c_1001_1^15 - 30282*c_1001_1^14 - 123034*c_1001_1^13 - 78470*c_1001_1^12 + 1168*c_1001_1^11 + 36950*c_1001_1^10 + 26536*c_1001_1^9 + 4526*c_1001_1^8 - 6428*c_1001_1^7 - 5919*c_1001_1^6 - 2065*c_1001_1^5 + 215*c_1001_1^4 + 614*c_1001_1^3 + 329*c_1001_1^2 + 94*c_1001_1 + 13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.680 Total time: 4.879 seconds, Total memory usage: 32.09MB