Magma V2.19-8 Tue Aug 20 2013 23:47:12 on localhost [Seed = 2699479782] Type ? for help. Type -D to quit. Loading file "K14n9425__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n9425 geometric_solution 11.11713933 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 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 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.089729028870 0.994139027436 0 5 4 6 0132 0132 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.550843680052 0.800061438254 7 0 9 8 0132 0132 0132 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 12 0 0 -12 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.054209558328 0.863076525918 4 10 7 0 0213 0132 2031 0132 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 1 -1 -1 0 1 0 0 0 0 0 -1 13 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.701472306908 0.713071654542 3 1 0 6 0213 0213 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 -1 1 0 0 0 0 0 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.315818742050 0.362417526136 11 1 11 9 0132 0132 2031 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 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.362478580522 0.703017940136 4 11 1 8 3201 1230 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 -1 1 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.907876903607 0.791733987202 2 11 10 3 0132 0132 3201 1302 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 1 0 -1 -12 0 0 12 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.785937540224 0.633812402571 9 10 2 6 2103 0213 0132 2103 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 -13 0 12 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.882274203961 0.870182794579 10 5 8 2 3201 0321 2103 0132 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 -13 0 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.611423287820 0.569927759320 7 3 8 9 2310 0132 0213 2310 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 -13 0 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.673553172800 0.363622162953 5 7 6 5 0132 0132 3012 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 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.347795686921 0.881787834728 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_6']), 'c_1001_10' : d['c_1001_0'], 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : negation(d['c_0011_8']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : d['c_0011_8'], 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : negation(d['c_0011_8']), 'c_1010_10' : negation(d['c_0101_2']), 's_3_11' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_9']), 'c_0101_10' : d['c_0011_8'], '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_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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : negation(d['c_0011_0']), 'c_1100_8' : negation(d['c_0110_6']), 'c_1100_5' : d['c_0011_8'], 'c_1100_4' : d['c_0011_6'], 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : negation(d['c_0110_6']), 'c_1100_1' : negation(d['c_0110_6']), 'c_1100_0' : d['c_0011_6'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : negation(d['c_0110_6']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0101_5'], 'c_1100_10' : d['c_0011_9'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_6']), 'c_1010_6' : negation(d['c_0011_9']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_5']), 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_1001_1'], 'c_1010_8' : d['c_0011_9'], 's_3_1' : d['1'], 's_3_0' : negation(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'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(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' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_5'], 'c_0110_10' : negation(d['c_0101_7']), 'c_0110_0' : negation(d['c_0011_10']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_10']), 'c_0101_3' : negation(d['c_0011_10']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_10']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_7'], 'c_0101_8' : d['c_0101_7'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : d['c_0110_6'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0110_6']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0011_9']), 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0110_6']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_6, c_0011_8, c_0011_9, c_0101_0, c_0101_2, c_0101_5, c_0101_7, c_0110_6, c_1001_0, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 7465951555511982240687871028749792220824789157426061514054509796249\ 54753/1185155440835935309989200620037974266385896510141431337457194\ 413801095*c_1001_1^22 + 1114898717463653583931326086142168778057062\ 1492621687495799382460537087451/23703108816718706199784012400759485\ 32771793020282862674914388827602190*c_1001_1^21 - 1611314788454387697962730084609001086771793453034751057548505230268\ 7604009/11851554408359353099892006200379742663858965101414313374571\ 94413801095*c_1001_1^20 - 34514260074975955074083884746516935047863\ 0208224039734455661684482729912337/11851554408359353099892006200379\ 74266385896510141431337457194413801095*c_1001_1^19 - 3622490207262430862475531851417553752354881521189676002478541095424\ 742187793/237031088167187061997840124007594853277179302028286267491\ 4388827602190*c_1001_1^18 - 806057785898651649977405907448500715603\ 015476631579912118881758305677718117/182331606282451586152184710775\ 072964059368693867912513454952986738630*c_1001_1^17 - 1963610313720717866072812849727387196724615849551767109162132082656\ 133067687/237031088167187061997840124007594853277179302028286267491\ 438882760219*c_1001_1^16 - 2573060693677417477716619698643133835840\ 989254214574363840158422965234380412/237031088167187061997840124007\ 594853277179302028286267491438882760219*c_1001_1^15 - 1186780711187956813797813036877443003488664021156374696941272108349\ 6867086341/11851554408359353099892006200379742663858965101414313374\ 57194413801095*c_1001_1^14 - 12460253015601439333974647928840240021\ 59890245665382877074380951528435789552/2370310881671870619978401240\ 07594853277179302028286267491438882760219*c_1001_1^13 + 1684287070209006106089524325926411068922702935788020014267487064382\ 620822282/118515544083593530998920062003797426638589651014143133745\ 7194413801095*c_1001_1^12 + 157720125879858248174834164524090833807\ 46196826180862477407417507549164690433/2370310881671870619978401240\ 075948532771793020282862674914388827602190*c_1001_1^11 + 1017015258690176649558411384581174668309447965639149643234870990150\ 5913021266/11851554408359353099892006200379742663858965101414313374\ 57194413801095*c_1001_1^10 + 84775595510312158993330545317278228721\ 83822826065733971052312533352571991123/1185155440835935309989200620\ 037974266385896510141431337457194413801095*c_1001_1^9 + 4978551015245055083217993876616159987376354577014240604651263019199\ 406144297/118515544083593530998920062003797426638589651014143133745\ 7194413801095*c_1001_1^8 + 2216619059928016385013786777292012714417\ 049928201252090194731829166996011339/118515544083593530998920062003\ 7974266385896510141431337457194413801095*c_1001_1^7 + 5787983907245034603706050521083077062118003447410483166244052435337\ 86691463/1185155440835935309989200620037974266385896510141431337457\ 194413801095*c_1001_1^6 + 29165765289047832105105528724104214847150\ 7886736719515631205030719747010469/23703108816718706199784012400759\ 48532771793020282862674914388827602190*c_1001_1^5 - 7442399288995169200079963938965398957279499922366421225122365558506\ 6875203/23703108816718706199784012400759485327717930202828626749143\ 88827602190*c_1001_1^4 + 102957820441123953581760221528683398754408\ 1220600181708108844666384330207/47406217633437412399568024801518970\ 6554358604056572534982877765520438*c_1001_1^3 - 3658625217717554162528363853172188014801400053076846138727411177806\ 523007/474062176334374123995680248015189706554358604056572534982877\ 765520438*c_1001_1^2 + 58949099486572539230202743780142988234062232\ 3168784960147102360902562701/23703108816718706199784012400759485327\ 71793020282862674914388827602190*c_1001_1 - 3799642504870511523624752961786725701856056262920877869977394711847\ 23359/1185155440835935309989200620037974266385896510141431337457194\ 413801095, c_0011_0 - 1, c_0011_10 - 13145056258602525212201280280745635463559666080315545267/90\ 01199006648143460470589359082545008158270024792758993*c_1001_1^22 - 108753121482576988141578794811456707428344922074820317977/900119900\ 6648143460470589359082545008158270024792758993*c_1001_1^21 + 204850281282933092469916690933400575520461779825159750842/900119900\ 6648143460470589359082545008158270024792758993*c_1001_1^20 + 6308856780823973711326525973501230262075257320436940179778/90011990\ 06648143460470589359082545008158270024792758993*c_1001_1^19 + 36790274153341391903409649160220710917603355304552705315325/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^18 + 117805685312783055055522118247090131202081476325539214283754/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^17 + 18935690533681126538075719643058013794536635279222383925591/6923999\ 23588318727728506873775580385242943848060981461*c_1001_1^16 + 362043824785775695885563200288071987573608051269157075551414/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^15 + 382870632156161249292893290165491313096293611547971594337421/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^14 + 264585055485457716326982717139370201438388636101515231739886/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^13 + 3368044417940672391572097893875943519131147535138148818775/69239992\ 3588318727728506873775580385242943848060981461*c_1001_1^12 - 173713886675889661665742893520791326031871275286496921897911/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^11 - 293495138606163029822222588382735911555857671267848414580479/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^10 - 287278303867278574182868292220232981196959292632882761870187/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^9 - 196595112054627636506213384371041452322279770454045374439662/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^8 - 98264380306253956263785303424720946502311186457907365579993/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^7 - 33814602824910296407100245495113604294368436747108676197933/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^6 - 7038287187726449693212243389866017692344763716707272456875/90011990\ 06648143460470589359082545008158270024792758993*c_1001_1^5 - 15497919511843419780391572649068098239834681853544470133/6923999235\ 88318727728506873775580385242943848060981461*c_1001_1^4 + 587033628382296225399857515542085952847147630684197183035/900119900\ 6648143460470589359082545008158270024792758993*c_1001_1^3 + 93968766549819190335976441370347217520795862962185222343/9001199006\ 648143460470589359082545008158270024792758993*c_1001_1^2 + 51458735414788995030857194818013476897532911400379235883/9001199006\ 648143460470589359082545008158270024792758993*c_1001_1 + 773393520987937463207146403669381117299084267724045689/900119900664\ 8143460470589359082545008158270024792758993, c_0011_6 - 6279757299586086879348189431205014534168083262150350351/9001\ 199006648143460470589359082545008158270024792758993*c_1001_1^22 - 41947126085660774684191462263568093788366652966386096290/9001199006\ 648143460470589359082545008158270024792758993*c_1001_1^21 + 173580685776034178038873315950948408740959968832705428174/900119900\ 6648143460470589359082545008158270024792758993*c_1001_1^20 + 2804010895608710395847990304668988864766091842454304175599/90011990\ 06648143460470589359082545008158270024792758993*c_1001_1^19 + 12917506520568114868509186681201004060458499422867260793752/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^18 + 31568829561462620190967569496460133869482643852097258808738/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^17 + 45591765401219716603858644171200697956200168564133775671804/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^16 + 37758861895206084804482584473604861059720779630879461038289/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^15 + 7267564883179346319473833952785174556439410510150903459040/90011990\ 06648143460470589359082545008158270024792758993*c_1001_1^14 - 31182480458734984411247767763336176299892048654621242702251/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^13 - 54021971570370681964265151657924397440646708519922112420658/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^12 - 46499909518653562417455612532832698602850318186918588405540/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^11 - 21132226003470220007950049477911659024569946145282847471859/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^10 + 5425037141046819004564154259963880855781087667393854555822/90011990\ 06648143460470589359082545008158270024792758993*c_1001_1^9 + 1341401794197836607664097910533891299003713459320892921960/69239992\ 3588318727728506873775580385242943848060981461*c_1001_1^8 + 11482032536619638034162913302077705081656949553348009103468/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^7 + 4410337522284073731700823973100685500890540754538975962486/90011990\ 06648143460470589359082545008158270024792758993*c_1001_1^6 - 1364811734539815232634595264559959490670852774295992295900/90011990\ 06648143460470589359082545008158270024792758993*c_1001_1^5 - 804682835576882034661394301694079196661160333643011315255/900119900\ 6648143460470589359082545008158270024792758993*c_1001_1^4 - 657267659354632970718105373200319527588825462793585629822/900119900\ 6648143460470589359082545008158270024792758993*c_1001_1^3 - 15474193221334619775641421038072252566079596338488135021/9001199006\ 648143460470589359082545008158270024792758993*c_1001_1^2 + 1125198910447072463733257454395483806255710575645428603/90011990066\ 48143460470589359082545008158270024792758993*c_1001_1 + 5146694355005401989575511505527493221021687125478055052/90011990066\ 48143460470589359082545008158270024792758993, c_0011_8 - 17712548415012512605474352218719244149194969921888962166/900\ 1199006648143460470589359082545008158270024792758993*c_1001_1^22 - 9649152315703074437788467201144216945815337370272598107/69239992358\ 8318727728506873775580385242943848060981461*c_1001_1^21 + 437550996858155862928860834945481549304554205589056493009/900119900\ 6648143460470589359082545008158270024792758993*c_1001_1^20 + 8073223181123523100635015371902269676539453724201712256055/90011990\ 06648143460470589359082545008158270024792758993*c_1001_1^19 + 39718413565297228097899480874935306003875299042389334005529/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^18 + 105752835522460943255613087389399580910514683965307307980934/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^17 + 174885154102001995915455308958127016533351924747120577066981/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^16 + 187291650528986383366894527853287502249129576901310327733594/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^15 + 114199917466001718913629270448978821022679585481869439551096/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^14 - 20444190854430004490602075793639935817320019139232425796743/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^13 - 144621449997659184896631408883066011319883624856924788428800/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^12 - 186711884370572708822628519378962018128440700086617747527542/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^11 - 146514304816676060635449254996696192293702026101688997755105/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^10 - 62892729209043136851558307028012809815868831351858964278932/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^9 + 6108427455480568611443020371953469494379801811580036571169/90011990\ 06648143460470589359082545008158270024792758993*c_1001_1^8 + 24643102443843172114131777078914634105050599440299393730370/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^7 + 19998213037592015381394513286817146284013329615008187459031/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^6 + 5339882793350834566575188767993590872757010729020296675310/90011990\ 06648143460470589359082545008158270024792758993*c_1001_1^5 + 1591024920342613010468235701069552219068144141991499269901/90011990\ 06648143460470589359082545008158270024792758993*c_1001_1^4 - 543757736080099680434111069952890063784911584968951958331/900119900\ 6648143460470589359082545008158270024792758993*c_1001_1^3 - 49866286549477924886088874952215958400442602983138468419/9001199006\ 648143460470589359082545008158270024792758993*c_1001_1^2 - 86025227898908562463383098862811462470137077024785716/6923999235883\ 18727728506873775580385242943848060981461*c_1001_1 - 938570994487918340241008497956958070910254051531817343/900119900664\ 8143460470589359082545008158270024792758993, c_0011_9 + 45881481396631551746951854887219492514042775823300472008/900\ 1199006648143460470589359082545008158270024792758993*c_1001_1^22 + 363176922985724892109505674720575605491070050386367211456/900119900\ 6648143460470589359082545008158270024792758993*c_1001_1^21 - 838358362159218249181902716928085406385651037158446437823/900119900\ 6648143460470589359082545008158270024792758993*c_1001_1^20 - 21671792398160430705581329384833341227452073857941889319459/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^19 - 120805712703834695924505028435780424999172363043776628358023/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^18 - 371008998370869914438824128049642760802034671025398932083285/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^17 - 742214563740530558065833935518783311302018547835388065432312/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^16 - 1042793231829264813308820528915002052591854067731717820887135/90011\ 99006648143460470589359082545008158270024792758993*c_1001_1^15 - 1044408728603796788154208861190204966011888101209577611695051/90011\ 99006648143460470589359082545008158270024792758993*c_1001_1^14 - 650900803762114866868653911742368520130642921780093439918908/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^13 - 5119849040527752784403758137711274821283116145688387121704/90011990\ 06648143460470589359082545008158270024792758993*c_1001_1^12 + 575042005211552619508377636424448287370217998895752576108378/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^11 + 849879433974530762023192715400710729679783134342886850903578/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^10 + 772581411086941373663416742398816180518041577957787078571200/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^9 + 37775718479494467955724632827556992132224225061526244630380/6923999\ 23588318727728506873775580385242943848060981461*c_1001_1^8 + 226053453602158452806762633565668895764506442317666363494029/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^7 + 64574510785664332601294116911567158993069515218992326329082/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^6 + 9332343958111047514851720614079991607924830955711792594372/90011990\ 06648143460470589359082545008158270024792758993*c_1001_1^5 - 3455267580377733765405420760827456372980903025885636830491/90011990\ 06648143460470589359082545008158270024792758993*c_1001_1^4 - 1756026455317679331861699445437248575077119916122369110669/90011990\ 06648143460470589359082545008158270024792758993*c_1001_1^3 - 494606889990325584911861598520620985754336199225313946104/900119900\ 6648143460470589359082545008158270024792758993*c_1001_1^2 - 92198547615506811553580229876376441495082285796719357921/9001199006\ 648143460470589359082545008158270024792758993*c_1001_1 - 1887281847167170121911782148626248302791644105660568028/90011990066\ 48143460470589359082545008158270024792758993, c_0101_0 + 46415938074138155705614753978357451138568646830561259953/900\ 1199006648143460470589359082545008158270024792758993*c_1001_1^22 + 362789841836256735332766393688364716643266663902918712712/900119900\ 6648143460470589359082545008158270024792758993*c_1001_1^21 - 880485021902909754339511529543224099359062947691514914775/900119900\ 6648143460470589359082545008158270024792758993*c_1001_1^20 - 21807480741378499920586917506150559267464150356811308345333/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^19 - 120114346714494557119491508408271132242024327982974575960894/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^18 - 365135612444597686895065243835716522691374614728008142617857/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^17 - 724189247237262594936162352651068831112395757617791353433191/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^16 - 1012178276432778693422643877317114402214755990890950184748589/90011\ 99006648143460470589359082545008158270024792758993*c_1001_1^15 - 1013689664449598696941082010133524439119079075336526363462150/90011\ 99006648143460470589359082545008158270024792758993*c_1001_1^14 - 637734259855760537943637996018008682640069307790048126844733/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^13 - 20649811599992149342752414454434831869985768941362662756125/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^12 + 536199276713342373234606625565297108167580984219094022936574/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^11 + 808508199390205331395986703797346659094666132110872197610632/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^10 + 746593029463337007005181460285025914887377235820239546993439/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^9 + 487526684629364292273280194052110291653742098518871231784877/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^8 + 238078939010532602386839489724669635074676995882881649705277/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^7 + 77689942159506245542907633733155874614271506713138499724161/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^6 + 18048279074995331691222955726183570650817104773628906448114/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^5 - 748437464981274913219994140164819634744700768806813691719/900119900\ 6648143460470589359082545008158270024792758993*c_1001_1^4 - 964671524417705266889136578682706522431788559486820909679/900119900\ 6648143460470589359082545008158270024792758993*c_1001_1^3 - 580458288860951710614574680619587859024114449766233675958/900119900\ 6648143460470589359082545008158270024792758993*c_1001_1^2 - 90746691298102317022405481861526575080488158649038544711/9001199006\ 648143460470589359082545008158270024792758993*c_1001_1 - 12866426055029068834710179485653033844194625476227679598/9001199006\ 648143460470589359082545008158270024792758993, c_0101_2 - 3031649820385689697915113293420348742140966581555317928/9001\ 199006648143460470589359082545008158270024792758993*c_1001_1^22 - 32865509855714838468955860877542751837336592919863097301/9001199006\ 648143460470589359082545008158270024792758993*c_1001_1^21 - 11215638530248738783325724090654995283482285724175174521/9001199006\ 648143460470589359082545008158270024792758993*c_1001_1^20 + 1621221849314222510377382013992849995033110925649164609207/90011990\ 06648143460470589359082545008158270024792758993*c_1001_1^19 + 12096249081750327356650264974313089511330345699553348401285/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^18 + 46192777083282550118223065406844897530739506103591543588072/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^17 + 111873463070992189367003917677429327137710559467685609491401/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^16 + 186489879724968557794627321476043172959094696073715843108766/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^15 + 222102531185079627686087241656933276224016903598827828793103/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^14 + 182299934316861194533843664923088986237386862625406844187199/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^13 + 70701967055808434578373812147760812470690750458023056741691/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^12 - 62360932595563079146869923440643577923018751215738609733133/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^11 - 152833777556317388950954630699433840569843132791505591835166/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^10 - 171997638742383954244234645990430894469990981251784705383777/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^9 - 131041655157284368250205517423841311757386601868580724005194/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^8 - 71015234264868202753766734533153260080877070304194498239142/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^7 - 28171101402501481324155748718156967304647474601113242347705/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^6 - 6511710032817722757345158410874769422857940566859105236330/90011990\ 06648143460470589359082545008158270024792758993*c_1001_1^5 - 1143997866731991706629399393264964803595031170487475646189/90011990\ 06648143460470589359082545008158270024792758993*c_1001_1^4 + 467556318834149014476695027898635457921763990791675953980/900119900\ 6648143460470589359082545008158270024792758993*c_1001_1^3 + 32003118896039659297594621719640780155183087554406012678/9001199006\ 648143460470589359082545008158270024792758993*c_1001_1^2 + 58854508509122286131663762827059874339862838990561585429/9001199006\ 648143460470589359082545008158270024792758993*c_1001_1 + 193135074336212595208821471268641522168419166829027552/692399923588\ 318727728506873775580385242943848060981461, c_0101_5 - 24749961568766375097990136094608024419491591638949654843/900\ 1199006648143460470589359082545008158270024792758993*c_1001_1^22 - 206213618718726808916020456926928759768084877003834155084/900119900\ 6648143460470589359082545008158270024792758993*c_1001_1^21 + 28505903657377240990837531819705737703536750816345646046/6923999235\ 88318727728506873775580385242943848060981461*c_1001_1^20 + 11878026462710698545458887060587114382432384092103491772322/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^19 + 70035857234910250000016709250492663660921846563282302198156/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^18 + 227310641041008577468819899875868126761861239709898132756369/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^17 + 483929169930479681660761320796588489007227126264274122496286/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^16 + 729847015136581665062913335679427659033421162972312876494918/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^15 + 798691993901300942011133555358970646242379276287007470204712/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^14 + 586955294475280977681565418077714575918724126068295197318357/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^13 + 149908579493465850283526291986798094419552458985250333325430/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^12 - 308791705108911199421683835516755619184130863271245009987011/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^11 - 588089530739847515128294915291479107561751898979550580476586/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^10 - 608454741048829041210338171863092615999910699327800188090945/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^9 - 439155786067826988345086607820672813081504274243809221029580/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^8 - 17899071813654403601470063713670954418340610654029437291060/6923999\ 23588318727728506873775580385242943848060981461*c_1001_1^7 - 85792575974723980299573096311130451429925967970068933666445/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^6 - 19683547914277267824366161590135371413981619048730411292949/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^5 - 406952295954274040540773859247701822255686827001405597865/900119900\ 6648143460470589359082545008158270024792758993*c_1001_1^4 + 120532349944252312106354191707226167147124158554632331721/692399923\ 588318727728506873775580385242943848060981461*c_1001_1^3 + 550463324273179811111406283514368247117190595651463467739/900119900\ 6648143460470589359082545008158270024792758993*c_1001_1^2 + 126838364226508628113958348659858657903625922543813554309/900119900\ 6648143460470589359082545008158270024792758993*c_1001_1 + 15795225512256480161184916784985918943783038430465267960/9001199006\ 648143460470589359082545008158270024792758993, c_0101_7 - 70935883000502476136768083418193696131775162939119351932/900\ 1199006648143460470589359082545008158270024792758993*c_1001_1^22 - 546414599597327563037262858503720838961217759642732451516/900119900\ 6648143460470589359082545008158270024792758993*c_1001_1^21 + 1410566678421940108412454870077742865711685596931731863601/90011990\ 06648143460470589359082545008158270024792758993*c_1001_1^20 + 33191737295366546902210394859526593430870431628636488531812/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^19 + 179745714286905024867357304695458796714758324941215918293096/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^18 + 536232495202859248667373790820007822553172978656913861965201/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^17 + 1038367863453156972084953438130135620336883819505701919368985/90011\ 99006648143460470589359082545008158270024792758993*c_1001_1^16 + 1406882876954037923530994796989891318341397215076742535214324/90011\ 99006648143460470589359082545008158270024792758993*c_1001_1^15 + 103654770246522003114783786918982854855507617734013890704011/692399\ 923588318727728506873775580385242943848060981461*c_1001_1^14 + 766170528562769787949461518404769682135392612665330446630808/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^13 - 107021280451565285690411467079415368447792914750910746571955/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^12 - 64217812101342141898298244334004177498426744144749669758627/6923999\ 23588318727728506873775580385242943848060981461*c_1001_1^11 - 1134028015614762844856736291793041383232141017954912517248211/90011\ 99006648143460470589359082545008158270024792758993*c_1001_1^10 - 978234284490510875915572945159708112474604829272490382613531/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^9 - 589874384187768079060436255288775328034954427301097306459456/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^8 - 259946250840488566684515968125028489089296939163802460572740/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^7 - 67634378639271310620901279715596643565815731763033339256782/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^6 - 10471499254665060786483931995731746381304653215218415283180/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^5 + 4731165153209673666252396734683059903443544821765519163054/90011990\ 06648143460470589359082545008158270024792758993*c_1001_1^4 + 1416063338724174556126069442658022416592716426422156731592/90011990\ 06648143460470589359082545008158270024792758993*c_1001_1^3 + 603289588254425175463464511547073496721247563792935159058/900119900\ 6648143460470589359082545008158270024792758993*c_1001_1^2 + 71145906174949700388059156357583334110615526827121716745/9001199006\ 648143460470589359082545008158270024792758993*c_1001_1 + 5203019767294953324103962273746653731227551130026550714/90011990066\ 48143460470589359082545008158270024792758993, c_0110_6 - 9984562253492393272388776379718346753415323402549604315/9001\ 199006648143460470589359082545008158270024792758993*c_1001_1^22 - 83617887978027934325751963488433565770733531154349228201/9001199006\ 648143460470589359082545008158270024792758993*c_1001_1^21 + 147292627174550390541014919502924246711871707603022038124/900119900\ 6648143460470589359082545008158270024792758993*c_1001_1^20 + 4808736410064375828963545887342353528658384236703693626943/90011990\ 06648143460470589359082545008158270024792758993*c_1001_1^19 + 28432448276750429803317018213035437937752921976098736473186/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^18 + 92274770896836721597011226006393568461055223694389842001333/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^17 + 195680669054683430742274265437807977662950665828126732034764/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^16 + 22487420492982853545979794353043164429213006426498686335837/6923999\ 23588318727728506873775580385242943848060981461*c_1001_1^15 + 314273417335757879671829540608565560851884677896575076951384/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^14 + 222131945808198398232686086835289701477805345337348877930357/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^13 + 42362393138369663184160186354588587811690380835177189095791/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^12 - 139479649228478151706397886164951822546687130309077871747843/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^11 - 242702184802844724373021367338432886077381866994984180744881/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^10 - 240275890525187017666238141029016445245703648306230034016911/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^9 - 164901686335523118436817610004472778932506825643454641143639/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^8 - 80599760635857384713440687225697727774288256437654453841639/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^7 - 25142772505408267953264824997103676657772828251864600541471/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^6 - 2904439332811374858510892526773605392573533729502799425110/90011990\ 06648143460470589359082545008158270024792758993*c_1001_1^5 + 1531013542704427029046263506050398367442223609049452051717/90011990\ 06648143460470589359082545008158270024792758993*c_1001_1^4 + 1042161972243508390169597786985394505010019047749583759558/90011990\ 06648143460470589359082545008158270024792758993*c_1001_1^3 + 198860402095707685317639501053865505548602926856933334656/900119900\ 6648143460470589359082545008158270024792758993*c_1001_1^2 + 31468559020667591495956875748281830998243210612604328488/9001199006\ 648143460470589359082545008158270024792758993*c_1001_1 - 1666432783034696684706886255396797039299037157776899173/90011990066\ 48143460470589359082545008158270024792758993, c_1001_0 + 43066336037840468992266696777967007421290695565625190237/900\ 1199006648143460470589359082545008158270024792758993*c_1001_1^22 + 26724735916013821476206463892649447879051115842060288276/6923999235\ 88318727728506873775580385242943848060981461*c_1001_1^21 - 733792788560248544282057551614665169185863209310641508747/900119900\ 6648143460470589359082545008158270024792758993*c_1001_1^20 - 20450447969138479039320217305529128936613144729676100729368/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^19 - 116507987094203261716471080033955620041957594719334525180802/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^18 - 366107658121077464669313721568545899977445044132003683898400/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^17 - 753012922536540616790313092778268380607205814588664356587177/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^16 - 1094693164832247402147958162466103109187900054820599592903107/90011\ 99006648143460470589359082545008158270024792758993*c_1001_1^15 - 1147886754807615989437109987188871923118873609522338135067712/90011\ 99006648143460470589359082545008158270024792758993*c_1001_1^14 - 784423340449550655540588565678410082736376970577144424926600/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^13 - 119810377240632201170471058782377516654901464417022228180447/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^12 + 528061543699845294255023015653817637109694675066131175223978/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^11 + 884029632058239402343769274648239510259133105392160311956691/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^10 + 862133460667286169257936451275768391586358009479915321965723/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^9 + 590496728319222116090829241409693432459278769822027285889702/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^8 + 297742876511921366685834632516789998319816060502935915996003/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^7 + 101468130529364319431145364020525219052744554456614801903498/900119\ 9006648143460470589359082545008158270024792758993*c_1001_1^6 + 21524591837457433373754890430201678136759705310784774828022/9001199\ 006648143460470589359082545008158270024792758993*c_1001_1^5 - 1076000858360564481451186611985484129959126111729776991822/90011990\ 06648143460470589359082545008158270024792758993*c_1001_1^4 - 1907581716958275483806690031707703660212701441309616176274/90011990\ 06648143460470589359082545008158270024792758993*c_1001_1^3 - 733551325141390765151686633677121712478971374958225426674/900119900\ 6648143460470589359082545008158270024792758993*c_1001_1^2 - 10164909186965618410407147633635814778362185756106395115/6923999235\ 88318727728506873775580385242943848060981461*c_1001_1 - 14494730503775074048374808271657918206414360717019618680/9001199006\ 648143460470589359082545008158270024792758993, c_1001_1^23 + 132/17*c_1001_1^22 - 329/17*c_1001_1^21 - 7968/17*c_1001_1^20 - 43587/17*c_1001_1^19 - 131619/17*c_1001_1^18 - 259214/17*c_1001_1^17 - 359773/17*c_1001_1^16 - 357756/17*c_1001_1^15 - 222478/17*c_1001_1^14 - 3753/17*c_1001_1^13 + 191452/17*c_1001_1^12 + 285671/17*c_1001_1^11 + 262501/17*c_1001_1^10 + 171078/17*c_1001_1^9 + 84128/17*c_1001_1^8 + 27923/17*c_1001_1^7 + 6963/17*c_1001_1^6 - 84/17*c_1001_1^5 - 279/17*c_1001_1^4 - 227/17*c_1001_1^3 - 46/17*c_1001_1^2 - 8/17*c_1001_1 - 1/17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.050 Total time: 1.260 seconds, Total memory usage: 32.09MB