Magma V2.19-8 Wed Aug 21 2013 00:31:31 on localhost [Seed = 2631568395] Type ? for help. Type -D to quit. Loading file "K14n18196__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n18196 geometric_solution 10.93800062 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.164949024967 1.223645460570 0 2 6 5 0132 2310 0132 0132 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 -14 -1 15 -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.194116543557 0.732823350035 7 0 7 1 0132 0132 2310 3201 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 0 0 0 -14 0 0 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.134036442097 1.003182214170 8 9 6 0 0132 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 1 0 -1 0 0 0 0 0 0 0 0 -15 0 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.411458367462 1.137924285860 10 11 0 10 0132 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 1 -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.783629169068 0.820368269783 8 8 1 9 2103 3120 0132 3120 0 0 0 0 0 -1 1 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 15 -15 0 0 0 -1 1 -15 15 0 0 -15 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.826805480721 0.810981439616 3 10 11 1 2103 3201 3201 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 -15 1 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.365237407295 1.182872261137 2 2 12 12 0132 3201 0132 3201 0 0 0 0 0 0 0 0 0 0 1 -1 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 -14 14 0 0 0 0 14 0 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.446323407423 0.262565775744 3 5 5 12 0132 3120 2103 2310 0 0 0 0 0 1 -1 0 0 0 0 0 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -15 15 0 0 0 0 0 15 -15 0 0 0 -15 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.251850710590 1.179288193947 5 3 10 11 3120 0132 0213 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 -1 0 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.394715368003 0.408889781810 4 9 6 4 0132 0213 2310 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 1 0 -1 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.783629169068 0.820368269783 6 4 9 12 2310 0132 1230 0132 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 0 0 0 -14 0 0 14 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.346849242897 0.621813149643 8 7 11 7 3201 2310 0132 0132 0 0 0 0 0 0 0 0 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 0 0 0 0 0 -14 14 0 -14 0 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.686426349318 0.870114200417 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_1001_0'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : d['c_1001_12'], 'c_1001_7' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0011_6'], 'c_1001_1' : negation(d['c_1001_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : d['c_1001_12'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0011_5'], 'c_1010_12' : negation(d['c_0101_2']), 'c_1010_11' : d['c_1001_12'], 'c_1010_10' : negation(d['c_1001_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'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_6']), 'c_0101_10' : negation(d['c_0011_6']), '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_1100_9' : negation(d['c_1001_11']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_10']), 'c_1100_4' : negation(d['c_0101_1']), 'c_1100_7' : negation(d['c_0011_12']), 'c_1100_6' : negation(d['c_0011_10']), 'c_1100_1' : negation(d['c_0011_10']), 'c_1100_0' : negation(d['c_0101_1']), 'c_1100_3' : negation(d['c_0101_1']), 'c_1100_2' : d['c_0011_0'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_12']), 'c_1100_10' : d['c_0011_6'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_1001_12']), 'c_1010_6' : negation(d['c_1001_0']), 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : d['c_1001_11'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_5']), 'c_1010_0' : d['c_1001_12'], 'c_1010_9' : d['c_0011_6'], 'c_1010_8' : negation(d['c_0011_5']), '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_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' : 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' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], '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_12'], 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : d['c_0011_5'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_5'], 'c_0101_6' : negation(d['c_0101_12']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_12']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : d['c_0101_0'], '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_0101_12']), 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : negation(d['c_0011_12']), 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_7' : d['c_0101_2'], 'c_1100_8' : d['c_0011_12']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_3, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_12, c_0101_2, c_1001_0, c_1001_11, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 50786001480075257146942313911285095377822736503/1413805306221944845\ 77676288434325122083135600*c_1001_12^18 - 353844109602817132471851527047896482750310872239/706902653110972422\ 88838144217162561041567800*c_1001_12^17 - 126121149308516258045681220289157082130341095061/565522122488777938\ 3107051537373004883325424*c_1001_12^16 - 760000533836294331274696001353458002243357703073/353451326555486211\ 44419072108581280520783900*c_1001_12^15 + 225869316115115288398477537383659151321429079553/282761061244388969\ 1553525768686502441662712*c_1001_12^14 + 21945575417508977221590055143405749898763657072717/7069026531109724\ 2288838144217162561041567800*c_1001_12^13 + 17500004011593027634527883760250435497882268240879/3534513265554862\ 1144419072108581280520783900*c_1001_12^12 - 19167216288042083606457441071976689569711818349391/7069026531109724\ 2288838144217162561041567800*c_1001_12^11 - 373926110855370846011338047728813688397557692569481/141380530622194\ 484577676288434325122083135600*c_1001_12^10 - 540567927786065115215464911432666289370583110041641/141380530622194\ 484577676288434325122083135600*c_1001_12^9 + 40089840609445609246833711537760080491188444247/1767256632777431057\ 2209536054290640260391950*c_1001_12^8 + 1198357675873191763078078662188559396264740484071179/14138053062219\ 4484577676288434325122083135600*c_1001_12^7 + 29747862253045408171337310418318165206693193494503/1767256632777431\ 057220953605429064026039195*c_1001_12^6 + 652814589217984286595619173109861551607219237105381/353451326555486\ 21144419072108581280520783900*c_1001_12^5 + 2023782551530422570080082867606961893486937691796069/14138053062219\ 4484577676288434325122083135600*c_1001_12^4 + 1146432825055718941143542334068903960060894210926207/14138053062219\ 4484577676288434325122083135600*c_1001_12^3 + 50674814677749596999218115178094568811033097074869/2827610612443889\ 6915535257686865024416627120*c_1001_12^2 + 3931068434914036117972700210828118896221351488771/14138053062219448\ 4577676288434325122083135600*c_1001_12 - 192561338711765148545125441967322235027927374911/883628316388715528\ 6104768027145320130195975, c_0011_0 - 1, c_0011_10 + 254923109981754591944281699854522375057/2293649101593031871\ 7987717137301285217900*c_1001_12^18 + 850473123386199835407782253470195534633/573412275398257967949692928\ 4325321304475*c_1001_12^17 + 55206396809930782528990053287657168144\ 7/917459640637212748719508685492051408716*c_1001_12^16 + 3429424960687779914717704403606013847699/11468245507965159358993858\ 568650642608950*c_1001_12^15 - 123799973067470483401594116643719091\ 9089/458729820318606374359754342746025704358*c_1001_12^14 - 92439829752351525483564283693546912795973/1146824550796515935899385\ 8568650642608950*c_1001_12^13 - 59428767104136401274621696359514313\ 140551/5734122753982579679496929284325321304475*c_1001_12^12 + 174429764339910604705671715399976937038629/114682455079651593589938\ 58568650642608950*c_1001_12^11 + 1695513104671117531355586801744032\ 210877039/22936491015930318717987717137301285217900*c_1001_12^10 + 1695450512720982684737248388027945443879129/22936491015930318717987\ 717137301285217900*c_1001_12^9 - 5731987189646326122631536810047432\ 53284697/11468245507965159358993858568650642608950*c_1001_12^8 - 5526288773145811661307339960620720407503701/22936491015930318717987\ 717137301285217900*c_1001_12^7 - 8643239941464296191060554705511280\ 56450321/2293649101593031871798771713730128521790*c_1001_12^6 - 1886936464391170595487156618340377716068864/57341227539825796794969\ 29284325321304475*c_1001_12^5 - 48662667714799840296143644152512001\ 00052911/22936491015930318717987717137301285217900*c_1001_12^4 - 2049788894851562404648079358129493048649983/22936491015930318717987\ 717137301285217900*c_1001_12^3 + 1074185844659716339856056350340195\ 31740199/4587298203186063743597543427460257043580*c_1001_12^2 + 4693900117392159443142851166242198577301/22936491015930318717987717\ 137301285217900*c_1001_12 + 185102312813811261819143041422905047869\ 7/11468245507965159358993858568650642608950, c_0011_12 + 5429925462760735455802871899863565587943/263769646683198665\ 256858747078964780005850*c_1001_12^18 + 36988760478192091497105487189315155353659/1318848233415993326284293\ 73539482390002925*c_1001_12^17 + 1257038200987491717744777916804978\ 2061777/10550785867327946610274349883158591200234*c_1001_12^16 + 114536353538492507440376496459163173081526/131884823341599332628429\ 373539482390002925*c_1001_12^15 - 254398869099707237643988072440972\ 58036022/5275392933663973305137174941579295600117*c_1001_12^14 - 2147180297795469905373914665236954156019252/13188482334159933262842\ 9373539482390002925*c_1001_12^13 - 3088898972707525614376414944971920637653573/13188482334159933262842\ 9373539482390002925*c_1001_12^12 + 2964920446710499658136008802121846830389396/13188482334159933262842\ 9373539482390002925*c_1001_12^11 + 38015853408413601383765374430659192926106411/2637696466831986652568\ 58747078964780005850*c_1001_12^10 + 46137900324657905623418027116351969894538121/2637696466831986652568\ 58747078964780005850*c_1001_12^9 - 6797074132907832761461886633622184627831278/13188482334159933262842\ 9373539482390002925*c_1001_12^8 - 123047309416976783292365867141445\ 392225522549/263769646683198665256858747078964780005850*c_1001_12^7 - 21652350204663450542051829033928639316542714/26376964668319866525\ 685874707896478000585*c_1001_12^6 - 107214075595012718040046936853934479527112197/131884823341599332628\ 429373539482390002925*c_1001_12^5 - 154125501002679271993119279132233352529540789/263769646683198665256\ 858747078964780005850*c_1001_12^4 - 79045710188483085426049927911525363739775367/2637696466831986652568\ 58747078964780005850*c_1001_12^3 - 1142868163833002903748809836999861133388229/52753929336639733051371\ 749415792956001170*c_1001_12^2 - 9858488114233247037711532373488147\ 3897601/263769646683198665256858747078964780005850*c_1001_12 + 35448480653254391128439642129931981667428/1318848233415993326284293\ 73539482390002925, c_0011_3 - 9517701506879377230675378041945743402913/2637696466831986652\ 56858747078964780005850*c_1001_12^18 - 132312546939938907158725501329885073920213/263769646683198665256858\ 747078964780005850*c_1001_12^17 - 234710633422403072228519574949705\ 62738347/10550785867327946610274349883158591200234*c_1001_12^16 - 276932041555734116279266714827448523142541/131884823341599332628429\ 373539482390002925*c_1001_12^15 + 847082541302654169555911247768500\ 42942815/10550785867327946610274349883158591200234*c_1001_12^14 + 8133718645425245270327137708682710306026789/26376964668319866525685\ 8747078964780005850*c_1001_12^13 + 6452914205154699546339512132948477616903718/13188482334159933262842\ 9373539482390002925*c_1001_12^12 - 7362903782050396831193609538998235931555947/26376964668319866525685\ 8747078964780005850*c_1001_12^11 - 34705825947937491372854064698407300467618488/1318848233415993326284\ 29373539482390002925*c_1001_12^10 - 49557623356521288678782471589558441343927193/1318848233415993326284\ 29373539482390002925*c_1001_12^9 + 621661726827620310432118937039846226118348/131884823341599332628429\ 373539482390002925*c_1001_12^8 + 2211164329024929121280235003929966\ 26210923609/263769646683198665256858747078964780005850*c_1001_12^7 + 87665104997488884662875035389869833190599483/5275392933663973305137\ 1749415792956001170*c_1001_12^6 + 240855076190256735417167123015861\ 615018277477/131884823341599332628429373539482390002925*c_1001_12^5 + 188755612427137579180396347409420583823741337/1318848233415993326\ 28429373539482390002925*c_1001_12^4 + 217955965552996908845536607120943255310503797/263769646683198665256\ 858747078964780005850*c_1001_12^3 + 5187525147899619588226854576199397484800532/26376964668319866525685\ 874707896478000585*c_1001_12^2 + 2843650680918624604947176363684774\ 443835508/131884823341599332628429373539482390002925*c_1001_12 + 175629705669800562998671399125610833216202/131884823341599332628429\ 373539482390002925, c_0011_5 + 1833836696335544265550436396379913219547/2293649101593031871\ 7987717137301285217900*c_1001_12^18 + 6272294562282071654501195960684389069593/57341227539825796794969292\ 84325321304475*c_1001_12^17 + 4298921543093860093821721888164820698\ 199/917459640637212748719508685492051408716*c_1001_12^16 + 20564917918577820006955205465725202795627/5734122753982579679496929\ 284325321304475*c_1001_12^15 - 429699763468951072485279429643829580\ 6879/229364910159303187179877171373012852179*c_1001_12^14 - 738150175445762698320535309321753396857283/114682455079651593589938\ 58568650642608950*c_1001_12^13 - 1074319341371225938456109995440423\ 833123267/11468245507965159358993858568650642608950*c_1001_12^12 + 485665060904318469355977214044200198904442/573412275398257967949692\ 9284325321304475*c_1001_12^11 + 13026778480702836745629193951039219\ 337900169/22936491015930318717987717137301285217900*c_1001_12^10 + 16187892301286948018627290938164582323441009/2293649101593031871798\ 7717137301285217900*c_1001_12^9 - 212037981489663900676473652208370\ 9910641787/11468245507965159358993858568650642608950*c_1001_12^8 - 42312571369177811206543777755676895488755371/2293649101593031871798\ 7717137301285217900*c_1001_12^7 - 751173548481633425698476970489672\ 8610851811/2293649101593031871798771713730128521790*c_1001_12^6 - 37418613939760323045012623845371624900888113/1146824550796515935899\ 3858568650642608950*c_1001_12^5 - 534792611317497773275901538376353\ 22430101331/22936491015930318717987717137301285217900*c_1001_12^4 - 27296462316186721361992449522551036195215493/2293649101593031871798\ 7717137301285217900*c_1001_12^3 - 372488923351459835450555883606621\ 601578051/4587298203186063743597543427460257043580*c_1001_12^2 + 483487863470714163114568067918717964726421/229364910159303187179877\ 17137301285217900*c_1001_12 - 9661049960578145428668000561059258337\ 113/11468245507965159358993858568650642608950, c_0011_6 - 16004895665929516415307970019142832474709/263769646683198665\ 256858747078964780005850*c_1001_12^18 - 110723868258376721979654965381135447377242/131884823341599332628429\ 373539482390002925*c_1001_12^17 - 194408672572539774253221667558262\ 99709679/5275392933663973305137174941579295600117*c_1001_12^16 - 865281449457739885565694139185667757501301/263769646683198665256858\ 747078964780005850*c_1001_12^15 + 145148241583961692414293982329553\ 211362801/10550785867327946610274349883158591200234*c_1001_12^14 + 6725367995696418081644708064211494497308151/13188482334159933262842\ 9373539482390002925*c_1001_12^13 + 20782396556267633820227070497685131426089873/2637696466831986652568\ 58747078964780005850*c_1001_12^12 - 13896578438517965568473654408442759860489671/2637696466831986652568\ 58747078964780005850*c_1001_12^11 - 116057551944370562815361058733521622337578893/263769646683198665256\ 858747078964780005850*c_1001_12^10 - 79467803463535690437947543013872772484518974/1318848233415993326284\ 29373539482390002925*c_1001_12^9 + 6909657488622494765945919373303129346983589/13188482334159933262842\ 9373539482390002925*c_1001_12^8 + 372842543390880011455204302872094\ 891578946337/263769646683198665256858747078964780005850*c_1001_12^7 + 71263864980041433100695767927047447456120412/26376964668319866525\ 685874707896478000585*c_1001_12^6 + 758975383553256217690144114609526048545002547/263769646683198665256\ 858747078964780005850*c_1001_12^5 + 288311530382315314456064978480564492447680641/131884823341599332628\ 429373539482390002925*c_1001_12^4 + 319974857424604576122467859247233401051956421/263769646683198665256\ 858747078964780005850*c_1001_12^3 + 11991417935982924274434017008465583479602217/5275392933663973305137\ 1749415792956001170*c_1001_12^2 + 122727495285393729215462265836018\ 1157872244/131884823341599332628429373539482390002925*c_1001_12 + 85010073733449018955875054985156762259011/1318848233415993326284293\ 73539482390002925, c_0101_0 + 5429925462760735455802871899863565587943/2637696466831986652\ 56858747078964780005850*c_1001_12^18 + 36988760478192091497105487189315155353659/1318848233415993326284293\ 73539482390002925*c_1001_12^17 + 1257038200987491717744777916804978\ 2061777/10550785867327946610274349883158591200234*c_1001_12^16 + 114536353538492507440376496459163173081526/131884823341599332628429\ 373539482390002925*c_1001_12^15 - 254398869099707237643988072440972\ 58036022/5275392933663973305137174941579295600117*c_1001_12^14 - 2147180297795469905373914665236954156019252/13188482334159933262842\ 9373539482390002925*c_1001_12^13 - 3088898972707525614376414944971920637653573/13188482334159933262842\ 9373539482390002925*c_1001_12^12 + 2964920446710499658136008802121846830389396/13188482334159933262842\ 9373539482390002925*c_1001_12^11 + 38015853408413601383765374430659192926106411/2637696466831986652568\ 58747078964780005850*c_1001_12^10 + 46137900324657905623418027116351969894538121/2637696466831986652568\ 58747078964780005850*c_1001_12^9 - 6797074132907832761461886633622184627831278/13188482334159933262842\ 9373539482390002925*c_1001_12^8 - 123047309416976783292365867141445\ 392225522549/263769646683198665256858747078964780005850*c_1001_12^7 - 21652350204663450542051829033928639316542714/26376964668319866525\ 685874707896478000585*c_1001_12^6 - 107214075595012718040046936853934479527112197/131884823341599332628\ 429373539482390002925*c_1001_12^5 - 154125501002679271993119279132233352529540789/263769646683198665256\ 858747078964780005850*c_1001_12^4 - 79045710188483085426049927911525363739775367/2637696466831986652568\ 58747078964780005850*c_1001_12^3 - 1142868163833002903748809836999861133388229/52753929336639733051371\ 749415792956001170*c_1001_12^2 - 9858488114233247037711532373488147\ 3897601/263769646683198665256858747078964780005850*c_1001_12 + 35448480653254391128439642129931981667428/1318848233415993326284293\ 73539482390002925, c_0101_1 - 10018194020418401113732972456133725374061/527539293366397330\ 513717494157929560011700*c_1001_12^18 - 69597910568909746246919022645722740399993/2637696466831986652568587\ 47078964780005850*c_1001_12^17 - 2463385855375968034406087725265050\ 5827561/21101571734655893220548699766317182400468*c_1001_12^16 - 142207615213535595257080683063836707367101/131884823341599332628429\ 373539482390002925*c_1001_12^15 + 453773024938249895105505594706148\ 51482395/10550785867327946610274349883158591200234*c_1001_12^14 + 2137676323696234101345978420389448010021627/13188482334159933262842\ 9373539482390002925*c_1001_12^13 + 6678705029502708629640809792290918895120821/26376964668319866525685\ 8747078964780005850*c_1001_12^12 - 4155590060339260044281270605323295417435567/26376964668319866525685\ 8747078964780005850*c_1001_12^11 - 73550408240361991637237185686079773462957597/5275392933663973305137\ 17494157929560011700*c_1001_12^10 - 102687692666495591850894364752307611194517317/527539293366397330513\ 717494157929560011700*c_1001_12^9 + 3109945415370667479479787580014036237415681/26376964668319866525685\ 8747078964780005850*c_1001_12^8 + 236302857562883481765638253877562\ 844199656273/527539293366397330513717494157929560011700*c_1001_12^7 + 22829514102844823885959656682817941340666409/26376964668319866525\ 685874707896478000585*c_1001_12^6 + 244879476453172314973402774301735779304671219/263769646683198665256\ 858747078964780005850*c_1001_12^5 + 373005182271708995338075462317814810552061103/527539293366397330513\ 717494157929560011700*c_1001_12^4 + 208543872413404914746697523080056592197126059/527539293366397330513\ 717494157929560011700*c_1001_12^3 + 8087537376776832942072332798943845413860803/10550785867327946610274\ 3498831585912002340*c_1001_12^2 + 177056998718830705805380755700508\ 0685721327/527539293366397330513717494157929560011700*c_1001_12 + 116880622072393512363213419526133341608369/263769646683198665256858\ 747078964780005850, c_0101_12 + 254923109981754591944281699854522375057/2293649101593031871\ 7987717137301285217900*c_1001_12^18 + 850473123386199835407782253470195534633/573412275398257967949692928\ 4325321304475*c_1001_12^17 + 55206396809930782528990053287657168144\ 7/917459640637212748719508685492051408716*c_1001_12^16 + 3429424960687779914717704403606013847699/11468245507965159358993858\ 568650642608950*c_1001_12^15 - 123799973067470483401594116643719091\ 9089/458729820318606374359754342746025704358*c_1001_12^14 - 92439829752351525483564283693546912795973/1146824550796515935899385\ 8568650642608950*c_1001_12^13 - 59428767104136401274621696359514313\ 140551/5734122753982579679496929284325321304475*c_1001_12^12 + 174429764339910604705671715399976937038629/114682455079651593589938\ 58568650642608950*c_1001_12^11 + 1695513104671117531355586801744032\ 210877039/22936491015930318717987717137301285217900*c_1001_12^10 + 1695450512720982684737248388027945443879129/22936491015930318717987\ 717137301285217900*c_1001_12^9 - 5731987189646326122631536810047432\ 53284697/11468245507965159358993858568650642608950*c_1001_12^8 - 5526288773145811661307339960620720407503701/22936491015930318717987\ 717137301285217900*c_1001_12^7 - 8643239941464296191060554705511280\ 56450321/2293649101593031871798771713730128521790*c_1001_12^6 - 1886936464391170595487156618340377716068864/57341227539825796794969\ 29284325321304475*c_1001_12^5 - 48662667714799840296143644152512001\ 00052911/22936491015930318717987717137301285217900*c_1001_12^4 - 2049788894851562404648079358129493048649983/22936491015930318717987\ 717137301285217900*c_1001_12^3 + 1074185844659716339856056350340195\ 31740199/4587298203186063743597543427460257043580*c_1001_12^2 + 4693900117392159443142851166242198577301/22936491015930318717987717\ 137301285217900*c_1001_12 + 185102312813811261819143041422905047869\ 7/11468245507965159358993858568650642608950, c_0101_2 + 8215945338921092542594015459185197783789/5275392933663973305\ 13717494157929560011700*c_1001_12^18 + 56358252674192599122022919079309402434507/2637696466831986652568587\ 47078964780005850*c_1001_12^17 + 1942361371183496194135580154734658\ 1567555/21101571734655893220548699766317182400468*c_1001_12^16 + 192469683351433509403824963111125005249773/263769646683198665256858\ 747078964780005850*c_1001_12^15 - 191483101443494166207841220371547\ 76056899/5275392933663973305137174941579295600117*c_1001_12^14 - 1668327485367177989947085005164814886451998/13188482334159933262842\ 9373539482390002925*c_1001_12^13 - 2461744118128465190881884271133533956356127/13188482334159933262842\ 9373539482390002925*c_1001_12^12 + 2091387342286160192824399217670729865497554/13188482334159933262842\ 9373539482390002925*c_1001_12^11 + 58640287676991024880729028606815855140602753/5275392933663973305137\ 17494157929560011700*c_1001_12^10 + 74331449309788467205086608262130441770464483/5275392933663973305137\ 17494157929560011700*c_1001_12^9 - 8263022101891096701841278006189717975298419/26376964668319866525685\ 8747078964780005850*c_1001_12^8 - 189447751172843001668623324243642\ 892963348077/527539293366397330513717494157929560011700*c_1001_12^7 - 17121087724368410506326766861443236533361661/26376964668319866525\ 685874707896478000585*c_1001_12^6 - 86744645373792132666016595824369111000977403/1318848233415993326284\ 29373539482390002925*c_1001_12^5 - 253155350642832127700838981609832690166657797/527539293366397330513\ 717494157929560011700*c_1001_12^4 - 133607681715912697612757545748665487878330391/527539293366397330513\ 717494157929560011700*c_1001_12^3 - 2882298779240974672742665953037837899809847/10550785867327946610274\ 3498831585912002340*c_1001_12^2 - 239424922672033892506699456922513\ 717938473/527539293366397330513717494157929560011700*c_1001_12 + 151341738914967930415897094994957761390119/263769646683198665256858\ 747078964780005850, c_1001_0 + 12960841698436137071401944572511735696827/527539293366397330\ 513717494157929560011700*c_1001_12^18 + 44454045122907718660050166340383664219338/1318848233415993326284293\ 73539482390002925*c_1001_12^17 + 3066721913221939227457923738614726\ 3861443/21101571734655893220548699766317182400468*c_1001_12^16 + 153669997352212385281775273900669075944907/131884823341599332628429\ 373539482390002925*c_1001_12^15 - 299770545730412613370264752478196\ 56228858/5275392933663973305137174941579295600117*c_1001_12^14 - 5270980909180195471204572208138064738347403/26376964668319866525685\ 8747078964780005850*c_1001_12^13 - 7829450161280012819746152304555217727198247/26376964668319866525685\ 8747078964780005850*c_1001_12^12 + 3230554355914021304950024617194697499017097/13188482334159933262842\ 9373539482390002925*c_1001_12^11 + 92296368962371213193492469325531288890134829/5275392933663973305137\ 17494157929560011700*c_1001_12^10 + 118351316964534516061157861946807915921274169/527539293366397330513\ 717494157929560011700*c_1001_12^9 - 11781883414024803982629637795963867148605767/2637696466831986652568\ 58747078964780005850*c_1001_12^8 - 298090684981918631284836655791357366577452011/527539293366397330513\ 717494157929560011700*c_1001_12^7 - 54352914326235312632574135261642277588463791/5275392933663973305137\ 1749415792956001170*c_1001_12^6 - 277935695170300852845066827325588\ 531052949333/263769646683198665256858747078964780005850*c_1001_12^5 - 408746236689317336456170484627798064233674471/5275392933663973305\ 13717494157929560011700*c_1001_12^4 - 217265392275570291198944636785747271042643313/527539293366397330513\ 717494157929560011700*c_1001_12^3 - 5549618540525757685633918632335134231591071/10550785867327946610274\ 3498831585912002340*c_1001_12^2 - 537744763920089379174600407179974\ 460930639/527539293366397330513717494157929560011700*c_1001_12 - 388396306192900677965133102481682360242183/263769646683198665256858\ 747078964780005850, c_1001_11 + 4652286234568489008381794434273359147621/263769646683198665\ 256858747078964780005850*c_1001_12^18 + 62622892076805458894264766228942065626221/2637696466831986652568587\ 47078964780005850*c_1001_12^17 + 1036433471214249019208376128504882\ 7757159/10550785867327946610274349883158591200234*c_1001_12^16 + 77395167720999451466540497661506624459272/1318848233415993326284293\ 73539482390002925*c_1001_12^15 - 4455903431511569440885264088485586\ 3705967/10550785867327946610274349883158591200234*c_1001_12^14 - 3506416858509680479188190369334971824563963/26376964668319866525685\ 8747078964780005850*c_1001_12^13 - 2367731236802211137231756903987104206005481/13188482334159933262842\ 9373539482390002925*c_1001_12^12 + 5852773474521843353663068900151755594268349/26376964668319866525685\ 8747078964780005850*c_1001_12^11 + 15835974082416147062562763645087134538410546/1318848233415993326284\ 29373539482390002925*c_1001_12^10 + 17293414483737660471124488744046565118348356/1318848233415993326284\ 29373539482390002925*c_1001_12^9 - 8618582291076405569908750671847451576153716/13188482334159933262842\ 9373539482390002925*c_1001_12^8 - 103309611423226617834797865757290\ 518039248853/263769646683198665256858747078964780005850*c_1001_12^7 - 33900763016326250665622166495634473278919161/52753929336639733051\ 371749415792956001170*c_1001_12^6 - 78126703719074644696147892654431402315486309/1318848233415993326284\ 29373539482390002925*c_1001_12^5 - 52593433033678194240866611863343320629767029/1318848233415993326284\ 29373539482390002925*c_1001_12^4 - 48157333250742561176240875209846539433626999/2637696466831986652568\ 58747078964780005850*c_1001_12^3 + 462717291728702668226197207993200519510476/263769646683198665256858\ 74707896478000585*c_1001_12^2 + 37433721652361606815226307841334879\ 2069164/131884823341599332628429373539482390002925*c_1001_12 - 13972998594660984718358049427491319059459/1318848233415993326284293\ 73539482390002925, c_1001_12^19 + 14*c_1001_12^18 + 63*c_1001_12^17 + 64*c_1001_12^16 - 218*c_1001_12^15 - 878*c_1001_12^14 - 1436*c_1001_12^13 + 658*c_1001_12^12 + 7399*c_1001_12^11 + 11123*c_1001_12^10 + 744*c_1001_12^9 - 23489*c_1001_12^8 - 48364*c_1001_12^7 - 54648*c_1001_12^6 - 43627*c_1001_12^5 - 25693*c_1001_12^4 - 6887*c_1001_12^3 - 677*c_1001_12^2 - 24*c_1001_12 - 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 20.320 Total time: 20.519 seconds, Total memory usage: 96.16MB