Magma V2.19-8 Wed Aug 21 2013 01:03:09 on localhost [Seed = 2901062832] Type ? for help. Type -D to quit. Loading file "L14n17647__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n17647 geometric_solution 11.21360495 oriented_manifold CS_known 0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 1 3 0132 0132 3012 0132 1 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 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.795909175602 0.494704558039 0 0 5 4 0132 1230 0132 0132 1 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 0 0 0 0 0 0 0 0 0 0 0 0 1 -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.712643298198 1.727406848961 6 0 7 6 0132 0132 0132 2031 1 0 1 1 0 0 0 0 0 0 1 -1 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 -1 0 0 1 10 -1 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.093708111661 0.563313933070 8 9 0 4 0132 0132 0132 0321 1 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 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.059426024203 0.681175558621 5 3 1 10 1230 0321 0132 0132 1 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 0 0 0 0 -1 1 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.642378477356 0.772249149223 8 4 11 1 3120 3012 0132 0132 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 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.079518854233 0.604371409354 2 2 7 12 0132 1302 1302 0132 0 0 1 1 0 1 0 -1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 -1 0 0 1 0 -1 -10 9 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.712643298198 1.727406848961 6 12 9 2 2031 2031 2103 0132 1 0 1 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 0 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.054547346280 0.807541346100 3 12 11 5 0132 0321 3012 3120 0 1 1 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 -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.190508757659 1.321372795810 7 3 10 12 2103 0132 1302 2031 1 0 1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.003545378434 0.721056314160 9 11 4 11 2031 1023 0132 0132 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.802108863685 0.693302871142 10 8 10 5 1023 1230 0132 0132 1 1 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 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.637710568547 0.522350904769 7 9 6 8 1302 1302 0132 0321 0 0 1 1 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 -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.385282178010 0.356877599812 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_5'], 'c_1001_10' : d['c_0101_11'], 'c_1001_12' : d['c_0110_9'], 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : d['c_0101_0'], 'c_1001_7' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0011_7']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : d['c_0011_12'], 'c_1001_2' : d['c_0011_12'], 'c_1001_9' : d['c_0101_11'], 'c_1001_8' : negation(d['c_0011_10']), 'c_1010_12' : negation(d['c_0011_5']), 'c_1010_11' : negation(d['c_0011_4']), 'c_1010_10' : d['c_0101_5'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_5'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(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' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_10'], 'c_1100_8' : negation(d['c_0101_5']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : d['c_1100_1'], 'c_1100_7' : negation(d['c_0110_9']), 'c_1100_6' : negation(d['c_0011_10']), 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0101_0'], 'c_1100_2' : negation(d['c_0110_9']), 's_0_10' : d['1'], 'c_1100_11' : d['c_1100_1'], 'c_1100_10' : d['c_1100_1'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_12'], 'c_1010_6' : d['c_0110_9'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : d['c_0101_11'], 'c_1010_3' : d['c_0101_11'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : d['c_0101_0'], 'c_1010_0' : d['c_0011_12'], 'c_1010_9' : d['c_0011_12'], 'c_1010_8' : negation(d['c_0011_5']), 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : negation(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' : negation(d['1']), 's_1_5' : negation(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' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], '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_0101_5'], 'c_0110_10' : d['c_0101_11'], 'c_0110_12' : d['c_0011_3'], 'c_0101_12' : negation(d['c_0011_7']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_10']), 'c_0101_6' : negation(d['c_0011_7']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_7']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : negation(d['c_0011_4']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0011_5'], 'c_0110_3' : negation(d['c_0011_4']), 'c_0110_2' : negation(d['c_0011_7']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_5'], 'c_0110_7' : negation(d['c_0011_7']), 'c_0110_6' : negation(d['c_0011_7'])})} 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_5, c_0011_7, c_0101_0, c_0101_1, c_0101_11, c_0101_5, c_0110_9, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t + 1085290182923344163277269305847/1423036851354412108960294912*c_1100\ _1^15 - 8051191393368797556657223655/7335241501826866541032448*c_11\ 00_1^14 + 27667172414607696567620626028357/142303685135441210896029\ 4912*c_1100_1^13 + 6034725306421396705274499155415/4065819575298320\ 31131512832*c_1100_1^12 + 829059340192771768870444595978603/2846073\ 702708824217920589824*c_1100_1^11 + 1469452810584486587932314010270525/1423036851354412108960294912*c_1\ 100_1^10 + 21409687196768935380038400151288897/56921474054176484358\ 41179648*c_1100_1^9 + 409862876882863028554542095750003/42798100792\ 613898013843456*c_1100_1^8 + 951497687866694263200599687686909/5082\ 2744691229003891439104*c_1100_1^7 + 9214563406559998170258501580026295/355759212838603027240073728*c_11\ 00_1^6 + 65926764668459993219599158735781267/2846073702708824217920\ 589824*c_1100_1^5 + 1080520994831259072813822078534541/101645489382\ 458007782878208*c_1100_1^4 + 2219586601843790187374806068435227/284\ 6073702708824217920589824*c_1100_1^3 - 1761762743843759090022315258508449/1423036851354412108960294912*c_1\ 100_1^2 - 1422334822082573391309983888630547/5692147405417648435841\ 179648*c_1100_1 - 72559859263020986065944412328449/5692147405417648\ 435841179648, c_0011_0 - 1, c_0011_10 + 343802453549166703879/11159893108672429568*c_1100_1^15 - 48359765370177792717/1394986638584053696*c_1100_1^14 + 8643181689367811766547/11159893108672429568*c_1100_1^13 + 18806891540656691567593/22319786217344859136*c_1100_1^12 + 268542312923515662375181/22319786217344859136*c_1100_1^11 + 507637762380684761100771/11159893108672429568*c_1100_1^10 + 7419741494813757534779089/44639572434689718272*c_1100_1^9 + 19597410727873350954360009/44639572434689718272*c_1100_1^8 + 9977576736477383126929659/11159893108672429568*c_1100_1^7 + 14807316514022241709174111/11159893108672429568*c_1100_1^6 + 30175245891450069571555345/22319786217344859136*c_1100_1^5 + 595082652966317552785711/697493319292026848*c_1100_1^4 + 6657521894306307375701203/22319786217344859136*c_1100_1^3 + 59258177646934709930397/1394986638584053696*c_1100_1^2 + 112678855729370488344825/44639572434689718272*c_1100_1 + 2382045876198056599709/44639572434689718272, c_0011_12 + 343802453549166703879/11159893108672429568*c_1100_1^15 - 48359765370177792717/1394986638584053696*c_1100_1^14 + 8643181689367811766547/11159893108672429568*c_1100_1^13 + 18806891540656691567593/22319786217344859136*c_1100_1^12 + 268542312923515662375181/22319786217344859136*c_1100_1^11 + 507637762380684761100771/11159893108672429568*c_1100_1^10 + 7419741494813757534779089/44639572434689718272*c_1100_1^9 + 19597410727873350954360009/44639572434689718272*c_1100_1^8 + 9977576736477383126929659/11159893108672429568*c_1100_1^7 + 14807316514022241709174111/11159893108672429568*c_1100_1^6 + 30175245891450069571555345/22319786217344859136*c_1100_1^5 + 595082652966317552785711/697493319292026848*c_1100_1^4 + 6657521894306307375701203/22319786217344859136*c_1100_1^3 + 59258177646934709930397/1394986638584053696*c_1100_1^2 + 112678855729370488344825/44639572434689718272*c_1100_1 + 2382045876198056599709/44639572434689718272, c_0011_3 + 587844750224621703935/11159893108672429568*c_1100_1^15 - 80316668019424529683/1394986638584053696*c_1100_1^14 + 14755931396566413940743/11159893108672429568*c_1100_1^13 + 33112845671695696226529/22319786217344859136*c_1100_1^12 + 460142969807063785656837/22319786217344859136*c_1100_1^11 + 875353523079061107207597/11159893108672429568*c_1100_1^10 + 12796767638337592333802161/44639572434689718272*c_1100_1^9 + 33911053592929391382946617/44639572434689718272*c_1100_1^8 + 8662138109349900717510575/5579946554336214784*c_1100_1^7 + 6463198368235287393712249/2789973277168107392*c_1100_1^6 + 53165057112675981639032119/22319786217344859136*c_1100_1^5 + 17065856669810197702342977/11159893108672429568*c_1100_1^4 + 12341196075833973809452637/22319786217344859136*c_1100_1^3 + 966065068042583176945053/11159893108672429568*c_1100_1^2 + 260674779420575773942925/44639572434689718272*c_1100_1 + 6309833452803376076713/44639572434689718272, c_0011_4 + 76525103878719673179/2789973277168107392*c_1100_1^15 - 166289676005798137897/5579946554336214784*c_1100_1^14 + 3840657280969561803011/5579946554336214784*c_1100_1^13 + 4335796004879926753635/5579946554336214784*c_1100_1^12 + 119854246184295390125311/11159893108672429568*c_1100_1^11 + 57073765696880112363397/1394986638584053696*c_1100_1^10 + 1668786851651619774425203/11159893108672429568*c_1100_1^9 + 8850347764385560252456615/22319786217344859136*c_1100_1^8 + 2262268670090703923763699/2789973277168107392*c_1100_1^7 + 3379717766022935388169505/2789973277168107392*c_1100_1^6 + 6962947212014689558446819/5579946554336214784*c_1100_1^5 + 8971224729692412847044095/11159893108672429568*c_1100_1^4 + 3265797651224159458076129/11159893108672429568*c_1100_1^3 + 260483935261341783232325/5579946554336214784*c_1100_1^2 + 36261239645895357828649/11159893108672429568*c_1100_1 + 1828589761900420966663/22319786217344859136, c_0011_5 + 567441603348085061989/11159893108672429568*c_1100_1^15 - 154672499822408555343/2789973277168107392*c_1100_1^14 + 14242149892187882535553/11159893108672429568*c_1100_1^13 + 32040775034752239312203/22319786217344859136*c_1100_1^12 + 444262097570137635402603/22319786217344859136*c_1100_1^11 + 845575691840083460590487/11159893108672429568*c_1100_1^10 + 12361889583107255939488955/44639572434689718272*c_1100_1^9 + 32767922190519239890104967/44639572434689718272*c_1100_1^8 + 8372751313817629886617045/5579946554336214784*c_1100_1^7 + 3125204612249088365821247/1394986638584053696*c_1100_1^6 + 51458237250646628413563805/22319786217344859136*c_1100_1^5 + 16545221801464248982386637/11159893108672429568*c_1100_1^4 + 12006089329559665168412779/22319786217344859136*c_1100_1^3 + 949734716451908011740903/11159893108672429568*c_1100_1^2 + 262783103465825061444127/44639572434689718272*c_1100_1 + 6613278009026788405959/44639572434689718272, c_0011_7 + 1, c_0101_0 + 26043115893334507201/5579946554336214784*c_1100_1^15 - 14536334917960698757/2789973277168107392*c_1100_1^14 + 654441314870421471167/5579946554336214784*c_1100_1^13 + 1436414415251041473663/11159893108672429568*c_1100_1^12 + 20353945166372377127933/11159893108672429568*c_1100_1^11 + 38544425642997177410053/5579946554336214784*c_1100_1^10 + 563396516240237866959639/22319786217344859136*c_1100_1^9 + 1489439870377381830152297/22319786217344859136*c_1100_1^8 + 759033255031045004871491/5579946554336214784*c_1100_1^7 + 564090337717294828535121/2789973277168107392*c_1100_1^6 + 2304885239797545575789639/11159893108672429568*c_1100_1^5 + 365381988150320475809639/2789973277168107392*c_1100_1^4 + 515830550772727847016879/11159893108672429568*c_1100_1^3 + 37760150790126550149517/5579946554336214784*c_1100_1^2 + 9287625291248742787831/22319786217344859136*c_1100_1 + 195730749969085705657/22319786217344859136, c_0101_1 + 2829332341907841237/1394986638584053696*c_1100_1^15 - 12577482992274885453/5579946554336214784*c_1100_1^14 + 284316141321977036239/5579946554336214784*c_1100_1^13 + 39193231893967107917/697493319292026848*c_1100_1^12 + 8847331407462123380749/11159893108672429568*c_1100_1^11 + 16771682601438502879965/5579946554336214784*c_1100_1^10 + 61284933130509566324103/5579946554336214784*c_1100_1^9 + 648389491722813329967073/22319786217344859136*c_1100_1^8 + 661151204409604065436201/11159893108672429568*c_1100_1^7 + 983427179102564462547371/11159893108672429568*c_1100_1^6 + 1005740460666867908806837/11159893108672429568*c_1100_1^5 + 319533129873895830973637/5579946554336214784*c_1100_1^4 + 113190104123638480813187/5579946554336214784*c_1100_1^3 + 33464840604987035216749/11159893108672429568*c_1100_1^2 + 2098387393943866669371/11159893108672429568*c_1100_1 + 105047589378940903931/22319786217344859136, c_0101_11 - 473775167371766159581/11159893108672429568*c_1100_1^15 + 258096603703267951303/5579946554336214784*c_1100_1^14 - 11890766167691496322463/11159893108672429568*c_1100_1^13 - 26770680530165912777387/22319786217344859136*c_1100_1^12 - 370946623252518800659741/22319786217344859136*c_1100_1^11 - 706142754734240160543117/11159893108672429568*c_1100_1^10 - 10323460641248609679428675/44639572434689718272*c_1100_1^9 - 27366784680845869992222593/44639572434689718272*c_1100_1^8 - 13986444438559133554115549/11159893108672429568*c_1100_1^7 - 20884952440962615926061883/11159893108672429568*c_1100_1^6 - 42994232980455636907874979/22319786217344859136*c_1100_1^5 - 13829177263470590390480255/11159893108672429568*c_1100_1^4 - 10042655824062050938671467/22319786217344859136*c_1100_1^3 - 49750991356245946768191/697493319292026848*c_1100_1^2 - 220825170635726523512835/44639572434689718272*c_1100_1 - 5572061238306937184389/44639572434689718272, c_0101_5 + 390280486747675398679/11159893108672429568*c_1100_1^15 - 212405932880959077709/5579946554336214784*c_1100_1^14 + 9794710675468779469249/11159893108672429568*c_1100_1^13 + 22073659208269545104625/22319786217344859136*c_1100_1^12 + 305593516477271918753863/22319786217344859136*c_1100_1^11 + 581857288626724072887733/11159893108672429568*c_1100_1^10 + 8506478932570075474212689/44639572434689718272*c_1100_1^9 + 22552480658487986649159867/44639572434689718272*c_1100_1^8 + 2881798515355409095994835/2789973277168107392*c_1100_1^7 + 537989828308942444385069/348746659646013424*c_1100_1^6 + 35450303967932118094784507/22319786217344859136*c_1100_1^5 + 713026922328655577867965/697493319292026848*c_1100_1^4 + 8292527869771855727180655/22319786217344859136*c_1100_1^3 + 658857895405782552369503/11159893108672429568*c_1100_1^2 + 183099780675029400687805/44639572434689718272*c_1100_1 + 4622471741191708575163/44639572434689718272, c_0110_9 + 343802453549166703879/11159893108672429568*c_1100_1^15 - 48359765370177792717/1394986638584053696*c_1100_1^14 + 8643181689367811766547/11159893108672429568*c_1100_1^13 + 18806891540656691567593/22319786217344859136*c_1100_1^12 + 268542312923515662375181/22319786217344859136*c_1100_1^11 + 507637762380684761100771/11159893108672429568*c_1100_1^10 + 7419741494813757534779089/44639572434689718272*c_1100_1^9 + 19597410727873350954360009/44639572434689718272*c_1100_1^8 + 9977576736477383126929659/11159893108672429568*c_1100_1^7 + 14807316514022241709174111/11159893108672429568*c_1100_1^6 + 30175245891450069571555345/22319786217344859136*c_1100_1^5 + 595082652966317552785711/697493319292026848*c_1100_1^4 + 6657521894306307375701203/22319786217344859136*c_1100_1^3 + 59258177646934709930397/1394986638584053696*c_1100_1^2 + 112678855729370488344825/44639572434689718272*c_1100_1 + 2337406303763366881437/44639572434689718272, c_1100_1^16 - c_1100_1^15 + 25*c_1100_1^14 + 61/2*c_1100_1^13 + 394*c_1100_1^12 + 3051/2*c_1100_1^11 + 22323/4*c_1100_1^10 + 14928*c_1100_1^9 + 123249/4*c_1100_1^8 + 46720*c_1100_1^7 + 98621/2*c_1100_1^6 + 66473/2*c_1100_1^5 + 26393/2*c_1100_1^4 + 5239/2*c_1100_1^3 + 1055/4*c_1100_1^2 + 13*c_1100_1 + 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.350 Total time: 0.560 seconds, Total memory usage: 32.09MB