Magma V2.19-8 Wed Aug 21 2013 00:32:53 on localhost [Seed = 3398228491] Type ? for help. Type -D to quit. Loading file "K14n1970__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n1970 geometric_solution 11.16745535 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 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 -1 1 0 0 0 0 0 -1 0 0 1 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.410896091806 0.652181160354 0 5 2 6 0132 0132 2103 0132 0 0 0 0 0 1 -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 0 0 0 0 0 10 -10 0 0 0 -1 1 10 -11 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.128551174469 1.401953695604 1 0 8 7 2103 0132 0132 0132 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 1 -1 0 1 0 -1 0 10 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.731543327054 0.560346804715 6 9 5 0 3120 0132 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 -11 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.767556826206 1.776780511349 10 7 0 9 0132 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 0 0 0 0 0 0 0 0 11 -10 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.361572120676 0.331732209097 3 1 7 9 2103 0132 2103 2103 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 -10 10 0 0 0 0 0 -1 1 0 0 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.390524058511 0.516374239057 8 10 1 3 2031 2103 0132 3120 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 -11 0 11 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.259076752384 1.123041748154 5 4 2 8 2103 0132 0132 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 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.483072115823 0.469940133612 11 7 6 2 0132 0321 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 -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.766495658314 1.593196926230 11 3 4 5 1230 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.562123443639 0.953762366023 4 6 12 11 0132 2103 0132 0132 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 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.321072213297 1.951954772986 8 9 10 12 0132 3012 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.063604209713 0.886787113445 11 12 12 10 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.178720277302 0.667285496492 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_3'], 'c_1001_10' : d['c_0011_6'], 'c_1001_12' : negation(d['c_0011_6']), 'c_1001_5' : d['c_0011_10'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0011_10'], 'c_1001_1' : negation(d['c_0011_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0101_0'], 'c_1010_12' : d['c_0011_6'], 'c_1010_11' : negation(d['c_0101_10']), 'c_1010_10' : d['c_0011_3'], '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_1'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(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_11'], 'c_1100_8' : d['c_0101_0'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_11']), 'c_1100_4' : negation(d['c_0110_5']), 'c_1100_7' : d['c_0101_0'], 'c_1100_6' : negation(d['c_0101_3']), 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : negation(d['c_0110_5']), 'c_1100_3' : negation(d['c_0110_5']), 'c_1100_2' : d['c_0101_0'], 's_0_10' : d['1'], 'c_1100_9' : negation(d['c_0110_5']), 'c_1100_11' : d['c_0011_12'], 'c_1100_10' : d['c_0011_12'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0011_0']), 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_10'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_0'], 'c_1010_8' : d['c_1001_2'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : negation(d['1']), 'c_1100_12' : 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' : 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' : negation(d['1']), 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_10'], 'c_0110_6' : d['c_0101_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' : negation(d['c_0011_6']), 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : d['c_0101_10'], 'c_0101_12' : d['c_0011_6'], 'c_0011_6' : d['c_0011_6'], 'c_0101_7' : d['c_0101_3'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : negation(d['c_0011_6']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_11'], 'c_0110_8' : d['c_0101_1'], '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_0101_3'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10']})} 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_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_3, c_0110_5, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 2074729369405038253379463185280757646095321/49128705281441896969513\ 92676094770992*c_1001_2^22 - 45641031749127614779962168324812952153\ 818083/19651482112576758787805570704379083968*c_1001_2^21 + 275957071751083373202779971803385396996745149/196514821125767587878\ 05570704379083968*c_1001_2^20 - 10948763473706518276189457140851113\ 5973255299/9825741056288379393902785352189541984*c_1001_2^19 - 889505756409192971648283899237715416725623515/196514821125767587878\ 05570704379083968*c_1001_2^18 + 83589701974330443960539708686213796\ 2652687767/9825741056288379393902785352189541984*c_1001_2^17 + 561423222918825525490072274215928115514091935/196514821125767587878\ 05570704379083968*c_1001_2^16 - 10489809801710006616033636199139024\ 06405560637/6550494037525586262601856901459694656*c_1001_2^15 + 27237594656941051983048784277741726669774399/2183498012508528754200\ 618967153231552*c_1001_2^14 + 4451520175852499949022249433076436383\ 39696999/2183498012508528754200618967153231552*c_1001_2^13 - 488794275775747006612109848324893202170498385/982574105628837939390\ 2785352189541984*c_1001_2^12 - 113101686508910999166558439101262104\ 6905901265/6550494037525586262601856901459694656*c_1001_2^11 + 119180570773404964979917956153892903896671563/982574105628837939390\ 2785352189541984*c_1001_2^10 + 201953552005791701136167547240196110\ 6455089829/19651482112576758787805570704379083968*c_1001_2^9 + 2287061704020594099001656630633269046475042751/19651482112576758787\ 805570704379083968*c_1001_2^8 - 54629024714137224632620550531400937\ 6211234443/4912870528144189696951392676094770992*c_1001_2^7 - 3058620431449202396226191591975044852422722285/19651482112576758787\ 805570704379083968*c_1001_2^6 + 81289449425116245010205489418080627\ 0589578303/6550494037525586262601856901459694656*c_1001_2^5 + 7803404974236146733863465003858304020749133/96330794669493915626497\ 895609701392*c_1001_2^4 - 18270897981549159966675620596544452274992\ 25035/19651482112576758787805570704379083968*c_1001_2^3 + 66393582155873331875632544644833762589996919/4912870528144189696951\ 392676094770992*c_1001_2^2 + 33187959654908626943133087429725969392\ 373899/1637623509381396565650464225364923664*c_1001_2 - 33219845228700579481546802158972398123306619/2456435264072094848475\ 696338047385496, c_0011_0 - 1, c_0011_10 - 22657657651263571129/179953871694812600244*c_1001_2^22 - 127275472087072305193/179953871694812600244*c_1001_2^21 + 184156987799095930591/44988467923703150061*c_1001_2^20 - 520382836855034198819/179953871694812600244*c_1001_2^19 - 1212514326919255941223/89976935847406300122*c_1001_2^18 + 4211441091818535354311/179953871694812600244*c_1001_2^17 + 1836893267315118454063/179953871694812600244*c_1001_2^16 - 2649183963735149546899/59984623898270866748*c_1001_2^15 - 62896830380976378551/59984623898270866748*c_1001_2^14 + 844655633283592760765/14996155974567716687*c_1001_2^13 - 1368307532206945312139/179953871694812600244*c_1001_2^12 - 1395187818295240623287/29992311949135433374*c_1001_2^11 - 645067098405900150775/179953871694812600244*c_1001_2^10 + 4533977531359744239341/179953871694812600244*c_1001_2^9 + 3404930978913397823143/89976935847406300122*c_1001_2^8 - 4523840461044412700689/179953871694812600244*c_1001_2^7 - 8289263061012466714457/179953871694812600244*c_1001_2^6 + 848291271087568475595/29992311949135433374*c_1001_2^5 + 1357878282410494546255/59984623898270866748*c_1001_2^4 - 976844484211995020182/44988467923703150061*c_1001_2^3 + 467795963346948253633/89976935847406300122*c_1001_2^2 + 65917668166913804181/14996155974567716687*c_1001_2 - 144947270193454991855/44988467923703150061, c_0011_11 - 31692350785201684607/359907743389625200488*c_1001_2^22 - 178592677059939996107/359907743389625200488*c_1001_2^21 + 524541686080615521469/179953871694812600244*c_1001_2^20 - 522759683002180497859/359907743389625200488*c_1001_2^19 - 912392889305894118199/89976935847406300122*c_1001_2^18 + 5064215061739087163149/359907743389625200488*c_1001_2^17 + 4176228185582632298885/359907743389625200488*c_1001_2^16 - 3295712235460258691007/119969247796541733496*c_1001_2^15 - 1380565395359797462615/119969247796541733496*c_1001_2^14 + 550615087068364832159/14996155974567716687*c_1001_2^13 + 3318622325238318140123/359907743389625200488*c_1001_2^12 - 908242999048601668641/29992311949135433374*c_1001_2^11 - 5826219495791684958359/359907743389625200488*c_1001_2^10 + 4831982304877201819099/359907743389625200488*c_1001_2^9 + 3053389577936455680625/89976935847406300122*c_1001_2^8 - 2324575658235574422275/359907743389625200488*c_1001_2^7 - 12467834046310261006915/359907743389625200488*c_1001_2^6 + 97242168453840031622/14996155974567716687*c_1001_2^5 + 2167128831550355434483/119969247796541733496*c_1001_2^4 - 1459628582280168705115/179953871694812600244*c_1001_2^3 - 415799886435519726427/179953871694812600244*c_1001_2^2 + 81578885463698759695/29992311949135433374*c_1001_2 + 25897188548359388107/44988467923703150061, c_0011_12 + 4710311299200906211/44988467923703150061*c_1001_2^22 + 62583596114386575131/89976935847406300122*c_1001_2^21 - 496482955575707401087/179953871694812600244*c_1001_2^20 - 142584528296962381279/179953871694812600244*c_1001_2^19 + 2278408228084896586439/179953871694812600244*c_1001_2^18 - 408097681263804807671/44988467923703150061*c_1001_2^17 - 2050760512192596087011/89976935847406300122*c_1001_2^16 + 1623843927479286116321/59984623898270866748*c_1001_2^15 + 1520666816170079814203/59984623898270866748*c_1001_2^14 - 573516149915724308666/14996155974567716687*c_1001_2^13 - 1067293018601629494847/44988467923703150061*c_1001_2^12 + 2045217787114053392163/59984623898270866748*c_1001_2^11 + 3998575768600781037097/179953871694812600244*c_1001_2^10 - 759888167788822180141/89976935847406300122*c_1001_2^9 - 6348255558758615234483/179953871694812600244*c_1001_2^8 - 348394300019760864830/44988467923703150061*c_1001_2^7 + 3705600535114802933623/89976935847406300122*c_1001_2^6 + 69364121733051353669/59984623898270866748*c_1001_2^5 - 1556231047342631474811/59984623898270866748*c_1001_2^4 + 1760595018600387741499/179953871694812600244*c_1001_2^3 + 256444271842124444419/44988467923703150061*c_1001_2^2 - 224928504675876887793/29992311949135433374*c_1001_2 + 101676732178284838688/44988467923703150061, c_0011_3 + 90501651642078143165/359907743389625200488*c_1001_2^22 + 530664628781234964425/359907743389625200488*c_1001_2^21 - 1405228917398547017965/179953871694812600244*c_1001_2^20 + 1403269196143945002595/359907743389625200488*c_1001_2^19 + 2511585629716439016115/89976935847406300122*c_1001_2^18 - 14679371786155494101647/359907743389625200488*c_1001_2^17 - 10464610776602645559839/359907743389625200488*c_1001_2^16 + 9968437828008005234909/119969247796541733496*c_1001_2^15 + 1995320202363393951643/119969247796541733496*c_1001_2^14 - 3243779164587137299335/29992311949135433374*c_1001_2^13 - 974436294792960499775/359907743389625200488*c_1001_2^12 + 5454342399502918661221/59984623898270866748*c_1001_2^11 + 6461227799297969012843/359907743389625200488*c_1001_2^10 - 15324579802679341306171/359907743389625200488*c_1001_2^9 - 3524250834344681909645/44988467923703150061*c_1001_2^8 + 11937712474454094160769/359907743389625200488*c_1001_2^7 + 33863291663599788639337/359907743389625200488*c_1001_2^6 - 612340548564474671305/14996155974567716687*c_1001_2^5 - 6003300225625148932755/119969247796541733496*c_1001_2^4 + 7174801843361693080597/179953871694812600244*c_1001_2^3 - 669416682859010403515/179953871694812600244*c_1001_2^2 - 361598239384146972529/29992311949135433374*c_1001_2 + 268727385552847709270/44988467923703150061, c_0011_6 - 1000015103456218169/359907743389625200488*c_1001_2^22 + 12426121344387300673/359907743389625200488*c_1001_2^21 + 17750608928391937183/44988467923703150061*c_1001_2^20 - 549277361712320044429/359907743389625200488*c_1001_2^19 + 16570640719043820037/44988467923703150061*c_1001_2^18 + 1879037574883499736535/359907743389625200488*c_1001_2^17 - 2284521853354417222171/359907743389625200488*c_1001_2^16 - 609230720726995953015/119969247796541733496*c_1001_2^15 + 1330070391738441166765/119969247796541733496*c_1001_2^14 + 130217906401918451653/29992311949135433374*c_1001_2^13 - 4877262428410655730331/359907743389625200488*c_1001_2^12 - 27999195159594895777/14996155974567716687*c_1001_2^11 + 2858407149946910906893/359907743389625200488*c_1001_2^10 + 1846368370740039845509/359907743389625200488*c_1001_2^9 - 34471937177264375101/44988467923703150061*c_1001_2^8 - 4520613073147428617801/359907743389625200488*c_1001_2^7 + 247271562782605890917/359907743389625200488*c_1001_2^6 + 696422980890179240511/59984623898270866748*c_1001_2^5 - 513372292941679597383/119969247796541733496*c_1001_2^4 - 723948539566703400577/179953871694812600244*c_1001_2^3 + 918560255447383856381/179953871694812600244*c_1001_2^2 - 53554310191834025119/29992311949135433374*c_1001_2 + 3781365234357797392/44988467923703150061, c_0101_0 - 31888709813554752107/359907743389625200488*c_1001_2^22 - 192964342548236394857/359907743389625200488*c_1001_2^21 + 480180035141196551791/179953871694812600244*c_1001_2^20 - 266359278263007032569/359907743389625200488*c_1001_2^19 - 1847841789446015636891/179953871694812600244*c_1001_2^18 + 4410617742170597380369/359907743389625200488*c_1001_2^17 + 4922675000213350293227/359907743389625200488*c_1001_2^16 - 3272454170686363850079/119969247796541733496*c_1001_2^15 - 1459715899185047128215/119969247796541733496*c_1001_2^14 + 1095586287242376362587/29992311949135433374*c_1001_2^13 + 3096846244132312029227/359907743389625200488*c_1001_2^12 - 1834514426923088767339/59984623898270866748*c_1001_2^11 - 4547564957559915582935/359907743389625200488*c_1001_2^10 + 4386153004443124558183/359907743389625200488*c_1001_2^9 + 5260937218036361679065/179953871694812600244*c_1001_2^8 - 1277866560688525097471/359907743389625200488*c_1001_2^7 - 12396594524977637184373/359907743389625200488*c_1001_2^6 + 116140980396337403810/14996155974567716687*c_1001_2^5 + 2231578817363487686457/119969247796541733496*c_1001_2^4 - 988019106743752336745/89976935847406300122*c_1001_2^3 - 160018328273895079399/179953871694812600244*c_1001_2^2 + 69279686098472530463/14996155974567716687*c_1001_2 - 81185895923284089380/44988467923703150061, c_0101_1 - 5219785196309272691/359907743389625200488*c_1001_2^22 - 57724677655444826555/359907743389625200488*c_1001_2^21 - 4432549360774583341/89976935847406300122*c_1001_2^20 + 620200088522553190781/359907743389625200488*c_1001_2^19 - 119632174934292794269/89976935847406300122*c_1001_2^18 - 1983564193712341940375/359907743389625200488*c_1001_2^17 + 2839026095068032416561/359907743389625200488*c_1001_2^16 + 888220082812904667655/119969247796541733496*c_1001_2^15 - 1850887900665084623607/119969247796541733496*c_1001_2^14 - 453149131636601455087/59984623898270866748*c_1001_2^13 + 6904376273778185682293/359907743389625200488*c_1001_2^12 + 443256224785000556543/59984623898270866748*c_1001_2^11 - 5513640957948289226573/359907743389625200488*c_1001_2^10 - 3703164163030193553797/359907743389625200488*c_1001_2^9 + 212279468339637361952/44988467923703150061*c_1001_2^8 + 6466724093843017493245/359907743389625200488*c_1001_2^7 - 318223426826501968747/359907743389625200488*c_1001_2^6 - 989570389908789253867/59984623898270866748*c_1001_2^5 + 363401546577986143427/119969247796541733496*c_1001_2^4 + 1479932905792750876787/179953871694812600244*c_1001_2^3 - 1048366465353294789631/179953871694812600244*c_1001_2^2 - 22952012350178767427/29992311949135433374*c_1001_2 + 97957730448315750361/44988467923703150061, c_0101_10 + 10362570766455295795/59984623898270866748*c_1001_2^22 + 34856230973083314865/29992311949135433374*c_1001_2^21 - 264001220403814938985/59984623898270866748*c_1001_2^20 - 79239733036972920365/59984623898270866748*c_1001_2^19 + 291321983694530311831/14996155974567716687*c_1001_2^18 - 815609332177244888985/59984623898270866748*c_1001_2^17 - 1015763592032793238913/29992311949135433374*c_1001_2^16 + 1154180833253653729471/29992311949135433374*c_1001_2^15 + 1130518105198218080521/29992311949135433374*c_1001_2^14 - 1613174443774675872591/29992311949135433374*c_1001_2^13 - 2072861400203327588709/59984623898270866748*c_1001_2^12 + 1361877116798019945109/29992311949135433374*c_1001_2^11 + 1004144904484931863995/29992311949135433374*c_1001_2^10 - 554374948246693478983/59984623898270866748*c_1001_2^9 - 1533078774807266888519/29992311949135433374*c_1001_2^8 - 718237695774418579009/59984623898270866748*c_1001_2^7 + 885357086890259814492/14996155974567716687*c_1001_2^6 + 5064666361016480091/59984623898270866748*c_1001_2^5 - 2197802358756276566367/59984623898270866748*c_1001_2^4 + 218042319131320086561/14996155974567716687*c_1001_2^3 + 115679439350435413806/14996155974567716687*c_1001_2^2 - 133801392198634532727/14996155974567716687*c_1001_2 + 34493334398439672451/14996155974567716687, c_0101_3 + 8509272031310700861/59984623898270866748*c_1001_2^22 + 51969422743858465449/59984623898270866748*c_1001_2^21 - 246856611101085253685/59984623898270866748*c_1001_2^20 + 25678062358175268596/14996155974567716687*c_1001_2^19 + 845632203451966004929/59984623898270866748*c_1001_2^18 - 1180965021222596718913/59984623898270866748*c_1001_2^17 - 802788134508013094605/59984623898270866748*c_1001_2^16 + 555332405240537461687/14996155974567716687*c_1001_2^15 + 108487495011001296094/14996155974567716687*c_1001_2^14 - 1376689903816530833823/29992311949135433374*c_1001_2^13 + 26471935301531101093/59984623898270866748*c_1001_2^12 + 2085590421178234914041/59984623898270866748*c_1001_2^11 + 93136605476551215907/14996155974567716687*c_1001_2^10 - 715625049510080998629/59984623898270866748*c_1001_2^9 - 1990819611486505615087/59984623898270866748*c_1001_2^8 + 811356435531287694939/59984623898270866748*c_1001_2^7 + 2116388595542641009537/59984623898270866748*c_1001_2^6 - 1237320387337945454751/59984623898270866748*c_1001_2^5 - 476339388053406914169/29992311949135433374*c_1001_2^4 + 1206980659419836049451/59984623898270866748*c_1001_2^3 - 154478968945891628737/29992311949135433374*c_1001_2^2 - 126101295382668025611/29992311949135433374*c_1001_2 + 43107556431126205565/14996155974567716687, c_0110_5 + 58170459190737649079/359907743389625200488*c_1001_2^22 + 351532232613941441279/359907743389625200488*c_1001_2^21 - 430903465229852145071/89976935847406300122*c_1001_2^20 + 706349373207438287125/359907743389625200488*c_1001_2^19 + 2979357880981812568493/179953871694812600244*c_1001_2^18 - 8065949351137657070497/359907743389625200488*c_1001_2^17 - 6187998008540688429797/359907743389625200488*c_1001_2^16 + 5110098654690277527817/119969247796541733496*c_1001_2^15 + 1590496688800681420733/119969247796541733496*c_1001_2^14 - 815333248496833947193/14996155974567716687*c_1001_2^13 - 2413044367756380928043/359907743389625200488*c_1001_2^12 + 2516964768964871534213/59984623898270866748*c_1001_2^11 + 5766786059261415082625/359907743389625200488*c_1001_2^10 - 5307210432330113070427/359907743389625200488*c_1001_2^9 - 8296400766310013620619/179953871694812600244*c_1001_2^8 + 4159250483208665270423/359907743389625200488*c_1001_2^7 + 17039495098160853972175/359907743389625200488*c_1001_2^6 - 981821698192565876779/59984623898270866748*c_1001_2^5 - 2773905078954633931737/119969247796541733496*c_1001_2^4 + 1573077291605893299935/89976935847406300122*c_1001_2^3 - 420872861728870282253/179953871694812600244*c_1001_2^2 - 54087590165950801149/14996155974567716687*c_1001_2 + 84702788079553825166/44988467923703150061, c_1001_0 - 49979401134875920897/359907743389625200488*c_1001_2^22 - 295212320976906746743/359907743389625200488*c_1001_2^21 + 772353748340694270953/179953871694812600244*c_1001_2^20 - 675858346406897153843/359907743389625200488*c_1001_2^19 - 1434707345097101240489/89976935847406300122*c_1001_2^18 + 7894689981716336063843/359907743389625200488*c_1001_2^17 + 6773561946186165319021/359907743389625200488*c_1001_2^16 - 5655902044691172807445/119969247796541733496*c_1001_2^15 - 1649871644624356868317/119969247796541733496*c_1001_2^14 + 3835496458139345451415/59984623898270866748*c_1001_2^13 + 2329130191385770656337/359907743389625200488*c_1001_2^12 - 1685783788468371911519/29992311949135433374*c_1001_2^11 - 5097053355116797910443/359907743389625200488*c_1001_2^10 + 10155148663074785583863/359907743389625200488*c_1001_2^9 + 4191195709372595074205/89976935847406300122*c_1001_2^8 - 6422015939431652987125/359907743389625200488*c_1001_2^7 - 20892798991054418653967/359907743389625200488*c_1001_2^6 + 609302301703813063321/29992311949135433374*c_1001_2^5 + 4142856101373412715835/119969247796541733496*c_1001_2^4 - 3823110532078911862961/179953871694812600244*c_1001_2^3 - 358840456271789697041/179953871694812600244*c_1001_2^2 + 259218078859516440229/29992311949135433374*c_1001_2 - 152102803443390033736/44988467923703150061, c_1001_2^23 + 5*c_1001_2^22 - 36*c_1001_2^21 + 43*c_1001_2^20 + 94*c_1001_2^19 - 255*c_1001_2^18 + 33*c_1001_2^17 + 413*c_1001_2^16 - 219*c_1001_2^15 - 468*c_1001_2^14 + 359*c_1001_2^13 + 350*c_1001_2^12 - 233*c_1001_2^11 - 229*c_1001_2^10 - 154*c_1001_2^9 + 401*c_1001_2^8 + 237*c_1001_2^7 - 478*c_1001_2^6 - 45*c_1001_2^5 + 316*c_1001_2^4 - 142*c_1001_2^3 - 32*c_1001_2^2 + 56*c_1001_2 - 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.410 Total time: 2.629 seconds, Total memory usage: 32.09MB