Magma V2.19-8 Wed Aug 21 2013 00:48:07 on localhost [Seed = 1393903596] Type ? for help. Type -D to quit. Loading file "K14n8817__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n8817 geometric_solution 11.60710022 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 -1 1 -11 -1 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.597136175681 0.626175764342 0 0 5 4 0132 1302 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 -1 1 0 0 0 0 0 0 1 0 -1 11 -12 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.202401578755 0.836386776418 6 0 7 3 0132 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.726672446289 1.129475140267 2 3 3 0 3012 3201 2310 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 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.747033619473 0.685275163590 7 8 1 9 2031 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 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.132433977241 0.961686793082 10 11 9 1 0132 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 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.613432732695 1.296484908860 2 7 8 12 0132 3120 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.874528872960 0.545468676153 11 6 4 2 3201 3120 1302 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 -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.144873852995 0.838667002574 11 4 9 6 0321 0132 1302 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.740786228161 0.531943799167 8 12 4 5 2031 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.279400939039 0.786458912758 5 12 11 12 0132 2310 1023 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 0 -1 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.298192121648 0.630226535123 8 5 10 7 0321 0132 1023 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 -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.298192121648 0.630226535123 9 10 6 10 1230 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 1 0 -1 0 0 1 -1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.298192121648 0.630226535123 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_1'], 'c_1001_10' : d['c_0011_9'], 'c_1001_12' : negation(d['c_0011_7']), 'c_1001_5' : negation(d['c_0101_12']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_7' : d['c_0101_9'], 'c_1001_6' : negation(d['c_0101_9']), 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : d['c_0101_3'], 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : negation(d['c_0011_12']), 'c_1001_8' : negation(d['c_0011_12']), 'c_1010_12' : negation(d['c_0011_9']), 'c_1010_11' : negation(d['c_0101_12']), 'c_1010_10' : negation(d['c_0011_9']), 's_0_10' : 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' : d['c_0101_12'], 'c_0101_11' : d['c_0011_9'], 'c_0101_10' : d['c_0101_1'], '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_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' : d['1'], 's_0_5' : 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_10'], 'c_1100_8' : d['c_0101_9'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : d['c_1100_1'], 'c_1100_7' : d['c_0101_0'], 'c_1100_6' : negation(d['c_0011_10']), 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0101_0'], 's_3_11' : d['1'], 'c_1100_9' : d['c_1100_1'], 'c_1100_11' : d['c_0011_7'], 'c_1100_10' : negation(d['c_0011_7']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_0']), 'c_1010_6' : negation(d['c_0011_7']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_12']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : negation(d['c_0101_12']), 'c_1010_8' : negation(d['c_0011_3']), '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' : 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_10']), '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' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_0'], '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_0011_4'], 'c_0110_10' : negation(d['c_0011_12']), 'c_0110_12' : d['c_0011_9'], 'c_0101_7' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0011_3'], 'c_0101_5' : negation(d['c_0011_12']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_12'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0011_9']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_12']), 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : d['c_0101_12'], 'c_0110_6' : d['c_0101_12'], '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_12, c_0011_3, c_0011_4, c_0011_7, c_0011_9, c_0101_0, c_0101_1, c_0101_12, c_0101_3, c_0101_9, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 288643987648935621105214898550555154219160172202058/281926377971265\ 58628468048327191846007385374115933*c_1100_1^18 + 4372535821372607764276680889198816877672717028991600/28192637797126\ 558628468048327191846007385374115933*c_1100_1^17 + 32110097013027215503542034506828400218788839760169334/2819263779712\ 6558628468048327191846007385374115933*c_1100_1^16 + 203332397100803795027921252784792937980172001972305147/281926377971\ 26558628468048327191846007385374115933*c_1100_1^15 + 581622524450248110318430597041850651106459108534575505/281926377971\ 26558628468048327191846007385374115933*c_1100_1^14 + 2103742949745822988048197250532585530421257220509283323/28192637797\ 126558628468048327191846007385374115933*c_1100_1^13 + 4764710367817001782670238369377642233883057433672947149/28192637797\ 126558628468048327191846007385374115933*c_1100_1^12 + 290258789479189451506938662056178321726724445245389041/122576686074\ 4632983846436883790949826408059744171*c_1100_1^11 + 628190490234117780015107752953889000442319224030453659/313251531079\ 1839847607560925243538445265041568437*c_1100_1^10 + 389526051942935407876953511943136188642060488080727277/939754593237\ 5519542822682775730615335795124705311*c_1100_1^9 - 1625549466058693478090588444453532825343511226238349683/28192637797\ 126558628468048327191846007385374115933*c_1100_1^8 - 1434154096021255909998537485882461984200985509901263394/93975459323\ 75519542822682775730615335795124705311*c_1100_1^7 - 1555433982560979189989849714219946578260000730637592586/28192637797\ 126558628468048327191846007385374115933*c_1100_1^6 - 1442262128106005385994104422253043534917855648434293579/28192637797\ 126558628468048327191846007385374115933*c_1100_1^5 + 76641179558542574134439360786116047273343012324559104/9397545932375\ 519542822682775730615335795124705311*c_1100_1^4 + 206537510238388281124731178940509234910150498072/498015152749100134\ 7547791614059679563219461953*c_1100_1^3 + 22472566383822837985799308181917697692162216269647755/9397545932375\ 519542822682775730615335795124705311*c_1100_1^2 - 2218272509396563995603349099067472673597381269547824/31325153107918\ 39847607560925243538445265041568437*c_1100_1 + 1451071431740176120235965398523864081843265631140482/28192637797126\ 558628468048327191846007385374115933, c_0011_0 - 1, c_0011_10 - 19205347789891337152851356038873538634004155/10897486931052\ 519360060813159868007796979129*c_1100_1^18 - 292621798929610060970736388237550210140390744/108974869310525193600\ 60813159868007796979129*c_1100_1^17 - 2162580610117973071495320885004241252633806342/10897486931052519360\ 060813159868007796979129*c_1100_1^16 - 13724674401006553015792032547184394196997472977/1089748693105251936\ 0060813159868007796979129*c_1100_1^15 - 39946943827883043899657832424969990084330890078/1089748693105251936\ 0060813159868007796979129*c_1100_1^14 - 143749300909965469424743391195687311879010709669/108974869310525193\ 60060813159868007796979129*c_1100_1^13 - 330445911147275132619757980923742637513278038129/108974869310525193\ 60060813159868007796979129*c_1100_1^12 - 20697162841097405879113489541637218635756368484/4738037796109791026\ 11339702602956860738223*c_1100_1^11 - 424569697599791076268053292064007489662869212527/108974869310525193\ 60060813159868007796979129*c_1100_1^10 - 124854423640514150588328974937408469780743257818/108974869310525193\ 60060813159868007796979129*c_1100_1^9 + 87871490552754364260174249124693702432903686435/1089748693105251936\ 0060813159868007796979129*c_1100_1^8 + 290268852021431318100394728786761574061831609640/108974869310525193\ 60060813159868007796979129*c_1100_1^7 + 130019652951073872622661557350951727861762758016/108974869310525193\ 60060813159868007796979129*c_1100_1^6 + 112931123698711372311876578515708814429792033709/108974869310525193\ 60060813159868007796979129*c_1100_1^5 - 2132051086042914709047802762757856049917197464/10897486931052519360\ 060813159868007796979129*c_1100_1^4 + 2355131929513749417285534688242921949988639550/10897486931052519360\ 060813159868007796979129*c_1100_1^3 - 3931340160800544430308622180684169400588008516/10897486931052519360\ 060813159868007796979129*c_1100_1^2 + 1062288843309716013538364663763658149713263455/10897486931052519360\ 060813159868007796979129*c_1100_1 - 81665213684939949086551049965000181327812485/1089748693105251936006\ 0813159868007796979129, c_0011_12 + 28086978345200543907743202769435449046456950/10897486931052\ 519360060813159868007796979129*c_1100_1^18 + 427014422377866241192076747057108276715985891/108974869310525193600\ 60813159868007796979129*c_1100_1^17 + 3148180199140696250868138196761742377477402610/10897486931052519360\ 060813159868007796979129*c_1100_1^16 + 19962205544901956738603334400021681673416269008/1089748693105251936\ 0060813159868007796979129*c_1100_1^15 + 57720389021267024222301010331325360784514233154/1089748693105251936\ 0060813159868007796979129*c_1100_1^14 + 208070651287180541913555063680831208985262976783/108974869310525193\ 60060813159868007796979129*c_1100_1^13 + 475633436108898104136094825144308056006889024572/108974869310525193\ 60060813159868007796979129*c_1100_1^12 + 29470050093580795498426217801885934672595816137/4738037796109791026\ 11339702602956860738223*c_1100_1^11 + 592315240987766805116800993462994142403070114425/108974869310525193\ 60060813159868007796979129*c_1100_1^10 + 153690851998208839860957153291444627354616559940/108974869310525193\ 60060813159868007796979129*c_1100_1^9 - 142638458740164726505649815262439071786928471491/108974869310525193\ 60060813159868007796979129*c_1100_1^8 - 423784290834510811314205977262206782835120482485/108974869310525193\ 60060813159868007796979129*c_1100_1^7 - 175606698981276302650978640724270946765347085344/108974869310525193\ 60060813159868007796979129*c_1100_1^6 - 154413180128812421573484336272401374541025532985/108974869310525193\ 60060813159868007796979129*c_1100_1^5 + 11432197667635815295195393030342180550930291514/1089748693105251936\ 0060813159868007796979129*c_1100_1^4 - 1124241082499931450236943135938823511498815572/10897486931052519360\ 060813159868007796979129*c_1100_1^3 + 6350305669005060043163018802530829182268252271/10897486931052519360\ 060813159868007796979129*c_1100_1^2 - 1615749112555190391628282896023523798805933993/10897486931052519360\ 060813159868007796979129*c_1100_1 + 117742613096669658216280002060098939255022010/108974869310525193600\ 60813159868007796979129, c_0011_3 + 10641295196030086408314987126911645644176785/108974869310525\ 19360060813159868007796979129*c_1100_1^18 + 162636059998378232722602206431201309608633369/108974869310525193600\ 60813159868007796979129*c_1100_1^17 + 1205817220162113220670197786983886561672147892/10897486931052519360\ 060813159868007796979129*c_1100_1^16 + 7660139184449395913224365113362178592406835730/10897486931052519360\ 060813159868007796979129*c_1100_1^15 + 22485391950584319984470877509422088409584363941/1089748693105251936\ 0060813159868007796979129*c_1100_1^14 + 80651099740475312093998088723138827123052147132/1089748693105251936\ 0060813159868007796979129*c_1100_1^13 + 186711556045784623293980624216253248885773657669/108974869310525193\ 60060813159868007796979129*c_1100_1^12 + 11823263914521023067486762744885727324383974330/4738037796109791026\ 11339702602956860738223*c_1100_1^11 + 246539754375443232327437965529829291529027584631/108974869310525193\ 60060813159868007796979129*c_1100_1^10 + 78392656509212657964989516327577905791898712875/1089748693105251936\ 0060813159868007796979129*c_1100_1^9 - 47453391820834696748716453686606765016965601424/1089748693105251936\ 0060813159868007796979129*c_1100_1^8 - 164308853102786595430925268701066523765885905210/108974869310525193\ 60060813159868007796979129*c_1100_1^7 - 79678232685930487508951151076951467310054305034/1089748693105251936\ 0060813159868007796979129*c_1100_1^6 - 65145684781114865630234296425283464107485070542/1089748693105251936\ 0060813159868007796979129*c_1100_1^5 - 906098878925198286315205415628317863002907591/108974869310525193600\ 60813159868007796979129*c_1100_1^4 - 733800346076005137237517790517348049324468535/108974869310525193600\ 60813159868007796979129*c_1100_1^3 + 2372178679130381891683911284719669589625383571/10897486931052519360\ 060813159868007796979129*c_1100_1^2 - 458013497355105085575840892222948616860167499/108974869310525193600\ 60813159868007796979129*c_1100_1 + 22597693765120794599112399657297689151380003/1089748693105251936006\ 0813159868007796979129, c_0011_4 + 19241550948603255527515517241072409417203833/108974869310525\ 19360060813159868007796979129*c_1100_1^18 + 293160860506052543873535427898260899324849866/108974869310525193600\ 60813159868007796979129*c_1100_1^17 + 2166465496776929254931607660563538390116832799/10897486931052519360\ 060813159868007796979129*c_1100_1^16 + 13749125904527005311085360181661717193371243894/1089748693105251936\ 0060813159868007796979129*c_1100_1^15 + 40013231650662573284883097776514180965049197644/1089748693105251936\ 0060813159868007796979129*c_1100_1^14 + 143993902373318282484257509520337158471796718407/108974869310525193\ 60060813159868007796979129*c_1100_1^13 + 330974463172375159700263093631070324673768660985/108974869310525193\ 60060813159868007796979129*c_1100_1^12 + 20726735443509678802026465272759928810626484191/4738037796109791026\ 11339702602956860738223*c_1100_1^11 + 425057437483301392473415170290274439510195774348/108974869310525193\ 60060813159868007796979129*c_1100_1^10 + 124822006124027535719135670782419999561585115554/108974869310525193\ 60060813159868007796979129*c_1100_1^9 - 88093836404388606155726670416967890716689232812/1089748693105251936\ 0060813159868007796979129*c_1100_1^8 - 290734171136382050462107322394103486416155670195/108974869310525193\ 60060813159868007796979129*c_1100_1^7 - 130073057067354908793464891702248021803791503202/108974869310525193\ 60060813159868007796979129*c_1100_1^6 - 113074087102827137718384101485759821732034585425/108974869310525193\ 60060813159868007796979129*c_1100_1^5 + 2205419326200129812279732717627582522778912638/10897486931052519360\ 060813159868007796979129*c_1100_1^4 - 2372867728379726305869228244510984027502442420/10897486931052519360\ 060813159868007796979129*c_1100_1^3 + 3943579080384680290132236560292260696838184450/10897486931052519360\ 060813159868007796979129*c_1100_1^2 - 1090362903871328456109149851632797014095109377/10897486931052519360\ 060813159868007796979129*c_1100_1 + 81001786479575569943450412325525698782659151/1089748693105251936006\ 0813159868007796979129, c_0011_7 + 28086978345200543907743202769435449046456950/108974869310525\ 19360060813159868007796979129*c_1100_1^18 + 427014422377866241192076747057108276715985891/108974869310525193600\ 60813159868007796979129*c_1100_1^17 + 3148180199140696250868138196761742377477402610/10897486931052519360\ 060813159868007796979129*c_1100_1^16 + 19962205544901956738603334400021681673416269008/1089748693105251936\ 0060813159868007796979129*c_1100_1^15 + 57720389021267024222301010331325360784514233154/1089748693105251936\ 0060813159868007796979129*c_1100_1^14 + 208070651287180541913555063680831208985262976783/108974869310525193\ 60060813159868007796979129*c_1100_1^13 + 475633436108898104136094825144308056006889024572/108974869310525193\ 60060813159868007796979129*c_1100_1^12 + 29470050093580795498426217801885934672595816137/4738037796109791026\ 11339702602956860738223*c_1100_1^11 + 592315240987766805116800993462994142403070114425/108974869310525193\ 60060813159868007796979129*c_1100_1^10 + 153690851998208839860957153291444627354616559940/108974869310525193\ 60060813159868007796979129*c_1100_1^9 - 142638458740164726505649815262439071786928471491/108974869310525193\ 60060813159868007796979129*c_1100_1^8 - 423784290834510811314205977262206782835120482485/108974869310525193\ 60060813159868007796979129*c_1100_1^7 - 175606698981276302650978640724270946765347085344/108974869310525193\ 60060813159868007796979129*c_1100_1^6 - 154413180128812421573484336272401374541025532985/108974869310525193\ 60060813159868007796979129*c_1100_1^5 + 11432197667635815295195393030342180550930291514/1089748693105251936\ 0060813159868007796979129*c_1100_1^4 - 1124241082499931450236943135938823511498815572/10897486931052519360\ 060813159868007796979129*c_1100_1^3 + 6350305669005060043163018802530829182268252271/10897486931052519360\ 060813159868007796979129*c_1100_1^2 - 1615749112555190391628282896023523798805933993/10897486931052519360\ 060813159868007796979129*c_1100_1 + 117742613096669658216280002060098939255022010/108974869310525193600\ 60813159868007796979129, c_0011_9 + 31076819823338861209678368699397686984402418/108974869310525\ 19360060813159868007796979129*c_1100_1^18 + 473500920084002292672312722999648197031393617/108974869310525193600\ 60813159868007796979129*c_1100_1^17 + 3499340341120942361320323487408311636118212908/10897486931052519360\ 060813159868007796979129*c_1100_1^16 + 22208325495450705509588520985188994579882545856/1089748693105251936\ 0060813159868007796979129*c_1100_1^15 + 64639284036692424139657497364213884835141492236/1089748693105251936\ 0060813159868007796979129*c_1100_1^14 + 232604892729815857825881871542469274273421211902/108974869310525193\ 60060813159868007796979129*c_1100_1^13 + 534703098044692881143408078922084048439307119343/108974869310525193\ 60060813159868007796979129*c_1100_1^12 + 33490509495826389322439757729669133956206341931/4738037796109791026\ 11339702602956860738223*c_1100_1^11 + 686999060731965806862856631246037573271628933030/108974869310525193\ 60060813159868007796979129*c_1100_1^10 + 202017655406559868441190032369104970082327980136/108974869310525193\ 60060813159868007796979129*c_1100_1^9 - 142194841492870734095793681437969344795748476255/108974869310525193\ 60060813159868007796979129*c_1100_1^8 - 469691808149956429214354742480032661745951440927/108974869310525193\ 60060813159868007796979129*c_1100_1^7 - 210379983172539109336537422114792010301136625200/108974869310525193\ 60060813159868007796979129*c_1100_1^6 - 182734759871893736835075397104174273650910070911/108974869310525193\ 60060813159868007796979129*c_1100_1^5 + 3454759086019753075200753814961722767414862461/10897486931052519360\ 060813159868007796979129*c_1100_1^4 - 3812169815064864877581499269423724478376715561/10897486931052519360\ 060813159868007796979129*c_1100_1^3 + 6362010214066823332602923000366157088237659318/10897486931052519360\ 060813159868007796979129*c_1100_1^2 - 1711036811322387647639673279451905851326308623/10897486931052519360\ 060813159868007796979129*c_1100_1 + 132118596001711551393584333568036476700320644/108974869310525193600\ 60813159868007796979129, c_0101_0 - 8568401470340081142802150215043171676028616/1089748693105251\ 9360060813159868007796979129*c_1100_1^18 - 131757042006933029599982850554507990606157804/108974869310525193600\ 60813159868007796979129*c_1100_1^17 - 983256529478809308872549110838902507914989321/108974869310525193600\ 60813159868007796979129*c_1100_1^16 - 6259926249515103249528039400041953932826029779/10897486931052519360\ 060813159868007796979129*c_1100_1^15 - 18690548957261352906206526424117474403354447793/1089748693105251936\ 0060813159868007796979129*c_1100_1^14 - 66685287082023759309818647260964618532183438994/1089748693105251936\ 0060813159868007796979129*c_1100_1^13 - 156561936444688148590846552174836266039243721097/108974869310525193\ 60060813159868007796979129*c_1100_1^12 - 10154482817042815483892533778960811433599620927/4738037796109791026\ 11339702602956860738223*c_1100_1^11 - 220180211091690185357377717633962178798593684562/108974869310525193\ 60060813159868007796979129*c_1100_1^10 - 83342131372455523565598131633681343082943399519/1089748693105251936\ 0060813159868007796979129*c_1100_1^9 + 30891210588690894246215583764051685843850890155/1089748693105251936\ 0060813159868007796979129*c_1100_1^8 + 135528061244299520978209295067115682416069471419/108974869310525193\ 60060813159868007796979129*c_1100_1^7 + 76850261165647294003590105833638321616372146351/1089748693105251936\ 0060813159868007796979129*c_1100_1^6 + 59473364759222346262419355815089533235142581747/1089748693105251936\ 0060813159868007796979129*c_1100_1^5 + 6024761039217147310105572416066601501938556341/10897486931052519360\ 060813159868007796979129*c_1100_1^4 + 1060276504060039184368357582799788543096113198/10897486931052519360\ 060813159868007796979129*c_1100_1^3 - 1865234982976186737660955199457709401547535636/10897486931052519360\ 060813159868007796979129*c_1100_1^2 + 200682244229299663649343932364729811693899472/108974869310525193600\ 60813159868007796979129*c_1100_1 + 4544365621312620439078574505841183773578523/10897486931052519360060\ 813159868007796979129, c_0101_1 + 10625010991611997452599970417128262403479192/108974869310525\ 19360060813159868007796979129*c_1100_1^18 + 161478975663893307820335597166181968297549519/108974869310525193600\ 60813159868007796979129*c_1100_1^17 + 1190070055761205526013235055034711488499810312/10897486931052519360\ 060813159868007796979129*c_1100_1^16 + 7545197955935879001903282507034269682288131489/10897486931052519360\ 060813159868007796979129*c_1100_1^15 + 21795093522970571054037141283283158131407494203/1089748693105251936\ 0060813159868007796979129*c_1100_1^14 + 78595367208145526316714922883555727270935597647/1089748693105251936\ 0060813159868007796979129*c_1100_1^13 + 179510682516534467844931234095804436590558575116/108974869310525193\ 60060813159868007796979129*c_1100_1^12 + 11106739329320025111863760581583097998415179200/4738037796109791026\ 11339702602956860738223*c_1100_1^11 + 222704937162275365199888003217228410408480719032/108974869310525193\ 60060813159868007796979129*c_1100_1^10 + 56938896456939288522149935123216941994718156248/1089748693105251936\ 0060813159868007796979129*c_1100_1^9 - 54297174898981968945076394584990811666830663950/1089748693105251936\ 0060813159868007796979129*c_1100_1^8 - 160062168536890898477744528816939489582263383093/108974869310525193\ 60060813159868007796979129*c_1100_1^7 - 65603947624918688492818384244329719523581144092/1089748693105251936\ 0060813159868007796979129*c_1100_1^6 - 58051732221357387423757637081052516094317030478/1089748693105251936\ 0060813159868007796979129*c_1100_1^5 + 4645568709799444686542863490979033564554639828/10897486931052519360\ 060813159868007796979129*c_1100_1^4 - 421022511007602417023159382020171728564984528/108974869310525193600\ 60813159868007796979129*c_1100_1^3 + 2406630407666674539095378853127034791537142907/10897486931052519360\ 060813159868007796979129*c_1100_1^2 - 620287483943695122465622755093225586198130652/108974869310525193600\ 60813159868007796979129*c_1100_1 + 45856122136370515309167309746374290468007818/1089748693105251936006\ 0813159868007796979129, c_0101_12 + 10625010991611997452599970417128262403479192/10897486931052\ 519360060813159868007796979129*c_1100_1^18 + 161478975663893307820335597166181968297549519/108974869310525193600\ 60813159868007796979129*c_1100_1^17 + 1190070055761205526013235055034711488499810312/10897486931052519360\ 060813159868007796979129*c_1100_1^16 + 7545197955935879001903282507034269682288131489/10897486931052519360\ 060813159868007796979129*c_1100_1^15 + 21795093522970571054037141283283158131407494203/1089748693105251936\ 0060813159868007796979129*c_1100_1^14 + 78595367208145526316714922883555727270935597647/1089748693105251936\ 0060813159868007796979129*c_1100_1^13 + 179510682516534467844931234095804436590558575116/108974869310525193\ 60060813159868007796979129*c_1100_1^12 + 11106739329320025111863760581583097998415179200/4738037796109791026\ 11339702602956860738223*c_1100_1^11 + 222704937162275365199888003217228410408480719032/108974869310525193\ 60060813159868007796979129*c_1100_1^10 + 56938896456939288522149935123216941994718156248/1089748693105251936\ 0060813159868007796979129*c_1100_1^9 - 54297174898981968945076394584990811666830663950/1089748693105251936\ 0060813159868007796979129*c_1100_1^8 - 160062168536890898477744528816939489582263383093/108974869310525193\ 60060813159868007796979129*c_1100_1^7 - 65603947624918688492818384244329719523581144092/1089748693105251936\ 0060813159868007796979129*c_1100_1^6 - 58051732221357387423757637081052516094317030478/1089748693105251936\ 0060813159868007796979129*c_1100_1^5 + 4645568709799444686542863490979033564554639828/10897486931052519360\ 060813159868007796979129*c_1100_1^4 - 421022511007602417023159382020171728564984528/108974869310525193600\ 60813159868007796979129*c_1100_1^3 + 2406630407666674539095378853127034791537142907/10897486931052519360\ 060813159868007796979129*c_1100_1^2 - 620287483943695122465622755093225586198130652/108974869310525193600\ 60813159868007796979129*c_1100_1 + 45856122136370515309167309746374290468007818/1089748693105251936006\ 0813159868007796979129, c_0101_3 - 9493858957762087855889853311844934931594805/1089748693105251\ 9360060813159868007796979129*c_1100_1^18 - 143008706344390048160937362058980049114572857/108974869310525193600\ 60813159868007796979129*c_1100_1^17 - 1043813528275739588752959377894278170725075156/10897486931052519360\ 060813159868007796979129*c_1100_1^16 - 6596827284281878388503689993188713259881186541/10897486931052519360\ 060813159868007796979129*c_1100_1^15 - 18552985140991870293819096313847133674091451316/1089748693105251936\ 0060813159868007796979129*c_1100_1^14 - 67518940208680528315863767544699529845935862006/1089748693105251936\ 0060813159868007796979129*c_1100_1^13 - 150695420776195733362077469919768698801666156816/108974869310525193\ 60060813159868007796979129*c_1100_1^12 - 8946543250925997086256106831201789458982287233/47380377961097910261\ 1339702602956860738223*c_1100_1^11 - 166260177022844375508994799813003188336212556938/108974869310525193\ 60060813159868007796979129*c_1100_1^10 - 21321894499263849818502744496866606928692669903/1089748693105251936\ 0060813159868007796979129*c_1100_1^9 + 57631947517041438711727249905662868037411131587/1089748693105251936\ 0060813159868007796979129*c_1100_1^8 + 136846399296790886112799122844015402877572515275/108974869310525193\ 60060813159868007796979129*c_1100_1^7 + 38600223740453624466164346799154320297713698065/1089748693105251936\ 0060813159868007796979129*c_1100_1^6 + 42186086891102259875072100747484232596473066437/1089748693105251936\ 0060813159868007796979129*c_1100_1^5 - 11720040682329083754690981776187834440202660732/1089748693105251936\ 0060813159868007796979129*c_1100_1^4 + 405286996054112123795691587237796534321018710/108974869310525193600\ 60813159868007796979129*c_1100_1^3 - 2073470881516813602865126935961560846830264228/10897486931052519360\ 060813159868007796979129*c_1100_1^2 + 842863868597441753966627295893717385940409058/108974869310525193600\ 60813159868007796979129*c_1100_1 - 88884079812358174754746626362294662624431730/1089748693105251936006\ 0813159868007796979129, c_0101_9 - 45839837931952426353452293036590907227310225/108974869310525\ 19360060813159868007796979129*c_1100_1^18 - 697309758702684802187843007347723278112512612/108974869310525193600\ 60813159868007796979129*c_1100_1^17 - 5144049124127371781862609627571804556138064101/10897486931052519360\ 060813159868007796979129*c_1100_1^16 - 32624140857070603147399261554212314420370484855/1089748693105251936\ 0060813159868007796979129*c_1100_1^15 - 94485948930926184827288275206216608488474201949/1089748693105251936\ 0060813159868007796979129*c_1100_1^14 - 340411223090279798833760972500095471522069615992/108974869310525193\ 60060813159868007796979129*c_1100_1^13 - 779229594975910645179972126008140462639889193742/108974869310525193\ 60060813159868007796979129*c_1100_1^12 - 48394685020792863088736109028922891826498359150/4738037796109791026\ 11339702602956860738223*c_1100_1^11 - 976598747588668102158048645203407095786257267229/108974869310525193\ 60060813159868007796979129*c_1100_1^10 - 259717732833874402776236741939494666958010130355/108974869310525193\ 60060813159868007796979129*c_1100_1^9 + 230085792874431832213222268325514019414674674258/108974869310525193\ 60060813159868007796979129*c_1100_1^8 + 693411883906364601779513010442495072749357828373/108974869310525193\ 60060813159868007796979129*c_1100_1^7 + 292544049823719266389710483933729974131543208479/108974869310525193\ 60060813159868007796979129*c_1100_1^6 + 254820053930963386324886977924327109003954572886/108974869310525193\ 60060813159868007796979129*c_1100_1^5 - 16329974694059399028160563754862645325720251759/1089748693105251936\ 0060813159868007796979129*c_1100_1^4 + 1920071775587729889617874562479933684887048865/10897486931052519360\ 060813159868007796979129*c_1100_1^3 - 10343761797439390812733458667038777442860604220/1089748693105251936\ 0060813159868007796979129*c_1100_1^2 + 2570536403240819605256970533112542676941641136/10897486931052519360\ 060813159868007796979129*c_1100_1 - 182525020745853358500276420684213953074630069/108974869310525193600\ 60813159868007796979129, c_1100_1^19 + 15*c_1100_1^18 + 109*c_1100_1^17 + 688*c_1100_1^16 + 1911*c_1100_1^15 + 6993*c_1100_1^14 + 15436*c_1100_1^13 + 20718*c_1100_1^12 + 16246*c_1100_1^11 + 1275*c_1100_1^10 - 6110*c_1100_1^9 - 14030*c_1100_1^8 - 3196*c_1100_1^7 - 4281*c_1100_1^6 + 1501*c_1100_1^5 - 150*c_1100_1^4 + 234*c_1100_1^3 - 105*c_1100_1^2 + 17*c_1100_1 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 6.200 Total time: 6.410 seconds, Total memory usage: 32.09MB