Magma V2.19-8 Wed Aug 21 2013 00:07:51 on localhost [Seed = 627264063] Type ? for help. Type -D to quit. Loading file "K13n2328__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2328 geometric_solution 12.38251303 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 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 -1 0 1 2 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.144716126529 0.725776477425 0 5 7 6 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 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.396106551968 0.878494261326 3 0 4 8 2103 0132 2103 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 1 -1 0 -1 0 0 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.002535930632 1.313702894594 7 5 2 0 0132 3012 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 -1 0 1 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.571026881847 0.717448512054 2 9 0 6 2103 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 2 -2 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.807835144265 0.870773670237 3 1 9 10 1230 0132 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.653978119257 0.971158250668 11 4 1 10 0132 2310 0132 2310 0 0 0 0 0 0 0 0 0 0 -1 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 2 -2 2 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.570094037449 0.746649435046 3 12 11 1 0132 0132 0132 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 1 0 -1 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.669117639620 0.953110684165 11 9 2 10 1302 0321 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 1 0 -1 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.211270779282 0.546514860344 12 4 5 8 3201 0132 3120 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 0 0 0 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.436535964607 0.372295420701 6 12 5 8 3201 0213 0132 2103 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 -2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.295999809125 0.496013113020 6 8 12 7 0132 2031 1302 0132 0 0 0 0 0 0 0 0 0 0 -1 1 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 -1 1 -1 0 0 1 2 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.533062927227 0.854831453662 11 7 10 9 2031 0132 0213 2310 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 -1 0 0 1 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.784937996636 0.574527609733 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_9']), 'c_1001_10' : d['c_1001_1'], 'c_1001_12' : d['c_1001_1'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_0011_4'], 'c_1001_7' : d['c_0011_8'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_5']), 'c_1001_3' : negation(d['c_0011_0']), 'c_1001_2' : d['c_0011_4'], 'c_1001_9' : negation(d['c_1001_5']), 'c_1001_8' : negation(d['c_0101_5']), 'c_1010_12' : d['c_0011_8'], 'c_1010_11' : d['c_0011_8'], 'c_1010_10' : negation(d['c_0011_4']), 's_0_10' : d['1'], 's_0_11' : 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_12']), 'c_0101_10' : d['c_0011_12'], '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_0101_5']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_9']), 'c_1100_4' : d['c_0011_11'], 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : d['c_0011_10'], 'c_1100_1' : d['c_0011_10'], 'c_1100_0' : d['c_0011_11'], 'c_1100_3' : d['c_0011_11'], 'c_1100_2' : negation(d['c_0110_10']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : negation(d['c_0101_9']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_0110_10']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_1001_5']), 'c_1010_3' : negation(d['c_0101_5']), 'c_1010_2' : negation(d['c_0101_5']), 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_0011_4'], 'c_1010_9' : d['c_0011_4'], 'c_1010_8' : d['c_0011_4'], 'c_1100_8' : negation(d['c_0110_10']), '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_4']), '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_4']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_12']), 'c_0011_6' : negation(d['c_0011_11']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_12'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_0'], 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : negation(d['c_0101_9']), 'c_0101_12' : d['c_0011_10'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], '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_9'], 'c_0101_8' : negation(d['c_0011_11']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_8']), 'c_0110_8' : d['c_0101_9'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_11']), 'c_0110_5' : d['c_0011_12'], 'c_0110_4' : d['c_0110_10'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(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_11, c_0011_12, c_0011_4, c_0011_8, c_0101_0, c_0101_1, c_0101_5, c_0101_9, c_0110_10, c_1001_1, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 6579706603639004274432915059019363023/81359093472260299993363481510\ 67090*c_1001_5^17 + 6342559521149525337684627662247735307/406795467\ 3613014999668174075533545*c_1001_5^16 - 85075749996044214833307996564980085259/4067954673613014999668174075\ 533545*c_1001_5^15 + 20674191829264036580018528726289288625/5423939\ 56481735333289089876737806*c_1001_5^14 - 43213632579500181384230993178314362066/2141028775585797368246407408\ 17555*c_1001_5^13 + 2519413460619428146429098816446005073363/813590\ 9347226029999336348151067090*c_1001_5^12 - 3517047594015664135033560576880774583764/40679546736130149996681740\ 75533545*c_1001_5^11 + 180260840736018353781523271184315722471/1892\ 07194121535581379915073280630*c_1001_5^10 - 5475375521565453084285546909698533929046/40679546736130149996681740\ 75533545*c_1001_5^9 + 2851053621792808845605844915064139495101/2711\ 969782408676666445449383689030*c_1001_5^8 - 155116021050888906243391898840190444713/180797985493911777763029958\ 912602*c_1001_5^7 + 5370627159639092097873852507877644322081/813590\ 9347226029999336348151067090*c_1001_5^6 - 800526210118710567729804194534453559872/135598489120433833322272469\ 1844515*c_1001_5^5 + 5916107270184908331541434357987743408929/81359\ 09347226029999336348151067090*c_1001_5^4 - 65075384773790521130688986071752837815/1251678361111696922974822792\ 47186*c_1001_5^3 + 472410057638374910823897105912083950694/13559848\ 91204338333222724691844515*c_1001_5^2 - 336911672308866953372698587840879185803/162718186944520599986726963\ 0213418*c_1001_5 + 41564219173719931459019005794929697349/406795467\ 3613014999668174075533545, c_0011_0 - 1, c_0011_10 - 210898698064247671505584736/823678525625943935309368653*c_1\ 001_5^17 + 406307825236728571428313478/823678525625943935309368653*\ c_1001_5^16 - 5456328553556838519387988445/823678525625943935309368\ 653*c_1001_5^15 + 3312496965188076251960351273/27455950854198131176\ 9789551*c_1001_5^14 - 52697381201835551386253506277/823678525625943\ 935309368653*c_1001_5^13 + 80801078422574027388345318533/8236785256\ 25943935309368653*c_1001_5^12 - 226058392486781952005149678832/8236\ 78525625943935309368653*c_1001_5^11 + 249062684700172774604720154773/823678525625943935309368653*c_1001_5\ ^10 - 353497389129770605442508149924/823678525625943935309368653*c_\ 1001_5^9 + 92072962794165974076449869090/27455950854198131176978955\ 1*c_1001_5^8 - 25245582418650055885807828813/9151983618066043725659\ 6517*c_1001_5^7 + 174254259128253942650824394143/823678525625943935\ 309368653*c_1001_5^6 - 51949021734441525483663459070/27455950854198\ 1311769789551*c_1001_5^5 + 190871825310738603522199646038/823678525\ 625943935309368653*c_1001_5^4 - 136517447564901706517589296002/8236\ 78525625943935309368653*c_1001_5^3 + 30804665660587489760964992095/274559508541981311769789551*c_1001_5^\ 2 - 54595852449589557078861341000/823678525625943935309368653*c_100\ 1_5 + 3218408533160069935759169462/823678525625943935309368653, c_0011_11 + 914753844742235182611425431/2471035576877831805928105959*c_\ 1001_5^17 - 1786770235699504784400649351/24710355768778318059281059\ 59*c_1001_5^16 + 23691510861359207857249511803/24710355768778318059\ 28105959*c_1001_5^15 - 14566243498234051536408057955/82367852562594\ 3935309368653*c_1001_5^14 + 229165345257035789698734402760/24710355\ 76877831805928105959*c_1001_5^13 - 355687438554614625690536156701/2471035576877831805928105959*c_1001_\ 5^12 + 984647465964202952348275762267/2471035576877831805928105959*\ c_1001_5^11 - 1099514286384347757852742162957/247103557687783180592\ 8105959*c_1001_5^10 + 1540636572869908225747607684140/2471035576877\ 831805928105959*c_1001_5^9 - 406487538981946616404427500499/8236785\ 25625943935309368653*c_1001_5^8 + 109630736289474024517856694521/27\ 4559508541981311769789551*c_1001_5^7 - 764249612293759669505649414152/2471035576877831805928105959*c_1001_\ 5^6 + 226121142903109621666360607738/823678525625943935309368653*c_\ 1001_5^5 - 836619594936619393501421389772/2471035576877831805928105\ 959*c_1001_5^4 + 603929554575107521353297138560/2471035576877831805\ 928105959*c_1001_5^3 - 134254738417646132058147808733/8236785256259\ 43935309368653*c_1001_5^2 + 240930346052165995502732266885/24710355\ 76877831805928105959*c_1001_5 - 13814415782615962299472445911/24710\ 35576877831805928105959, c_0011_12 - 707294067833282318412860765/2471035576877831805928105959*c_\ 1001_5^17 + 1368723674339955193549531946/24710355768778318059281059\ 59*c_1001_5^16 - 18304272382878882395072211596/24710355768778318059\ 28105959*c_1001_5^15 + 11158142839148501169454552304/82367852562594\ 3935309368653*c_1001_5^14 - 176857044522443724860043483785/24710355\ 76877831805928105959*c_1001_5^13 + 272248696474710959030501565512/2471035576877831805928105959*c_1001_\ 5^12 - 758961629836890038620761488690/2471035576877831805928105959*\ c_1001_5^11 + 839773925017536913690645552250/2471035576877831805928\ 105959*c_1001_5^10 - 1186509341850527225591563451231/24710355768778\ 31805928105959*c_1001_5^9 + 310177189271777167531294192027/82367852\ 5625943935309368653*c_1001_5^8 - 84486319191295749434619384751/2745\ 59508541981311769789551*c_1001_5^7 + 583747623124923003928180306579/2471035576877831805928105959*c_1001_\ 5^6 - 173136015575449188965064123748/823678525625943935309368653*c_\ 1001_5^5 + 640455483490974941199302425396/2471035576877831805928105\ 959*c_1001_5^4 - 458692822353641338286681850898/2471035576877831805\ 928105959*c_1001_5^3 + 103543470029338034133598764580/8236785256259\ 43935309368653*c_1001_5^2 - 183395732897885015782378697678/24710355\ 76877831805928105959*c_1001_5 + 10792730651375928049015324613/24710\ 35576877831805928105959, c_0011_4 - 57711011070662367328874710/2471035576877831805928105959*c_10\ 01_5^17 + 105598738889671366595218453/2471035576877831805928105959*\ c_1001_5^16 - 1488228170747369424983102527/247103557687783180592810\ 5959*c_1001_5^15 + 861275291257645727584193488/82367852562594393530\ 9368653*c_1001_5^14 - 14304841365281395611016630492/247103557687783\ 1805928105959*c_1001_5^13 + 20925487561531831110092766964/247103557\ 6877831805928105959*c_1001_5^12 - 61068025463843943513345686329/247\ 1035576877831805928105959*c_1001_5^11 + 63691569799153358524192424737/2471035576877831805928105959*c_1001_5\ ^10 - 95354480088814767740558190550/2471035576877831805928105959*c_\ 1001_5^9 + 23166006069109826172656654357/82367852562594393530936865\ 3*c_1001_5^8 - 6767726917186870898594072630/27455950854198131176978\ 9551*c_1001_5^7 + 41823965112471185382876271172/2471035576877831805\ 928105959*c_1001_5^6 - 13366579261084939630599006527/82367852562594\ 3935309368653*c_1001_5^5 + 48224954758357778422350607670/2471035576\ 877831805928105959*c_1001_5^4 - 34306835667357050749342288007/24710\ 35576877831805928105959*c_1001_5^3 + 8259431862321239573071288058/823678525625943935309368653*c_1001_5^2 - 12540922011307791856516034839/2471035576877831805928105959*c_1001\ _5 + 258641122478193018985493266/2471035576877831805928105959, c_0011_8 - 78495124328400421938698254/823678525625943935309368653*c_100\ 1_5^17 + 149029671728986270797851719/823678525625943935309368653*c_\ 1001_5^16 - 2025339728825936854544227558/82367852562594393530936865\ 3*c_1001_5^15 + 1213649035779878159166719011/2745595085419813117697\ 89551*c_1001_5^14 - 19480220097232267133316446416/82367852562594393\ 5309368653*c_1001_5^13 + 29502398805966516430976387089/823678525625\ 943935309368653*c_1001_5^12 - 83035833674784872125995548137/8236785\ 25625943935309368653*c_1001_5^11 + 90185017582294560848143728712/823678525625943935309368653*c_1001_5^\ 10 - 127993627823533390999522765909/823678525625943935309368653*c_1\ 001_5^9 + 32933579711415505512946015163/274559508541981311769789551\ *c_1001_5^8 - 8921422103633293481058709994/915198361806604372565965\ 17*c_1001_5^7 + 61948879145101331371266407708/823678525625943935309\ 368653*c_1001_5^6 - 18299938962212568197523868787/27455950854198131\ 1769789551*c_1001_5^5 + 68826096391191729896364792464/8236785256259\ 43935309368653*c_1001_5^4 - 47969564815843299489739147856/823678525\ 625943935309368653*c_1001_5^3 + 10815495278903227697589093920/27455\ 9508541981311769789551*c_1001_5^2 - 19563368019909123968343580477/823678525625943935309368653*c_1001_5 + 499104685820789151988070536/823678525625943935309368653, c_0101_0 + 811643574061251903960097550/2471035576877831805928105959*c_1\ 001_5^17 - 1570989600083460777984671492/247103557687783180592810595\ 9*c_1001_5^16 + 21007019867141249652275303366/247103557687783180592\ 8105959*c_1001_5^15 - 12806484916820460234547927463/823678525625943\ 935309368653*c_1001_5^14 + 203001082142437761865099486508/247103557\ 6877831805928105959*c_1001_5^13 - 312447186646349073680763943925/24\ 71035576877831805928105959*c_1001_5^12 + 871334044622138927985317390924/2471035576877831805928105959*c_1001_\ 5^11 - 963577650485685622141358854928/2471035576877831805928105959*\ c_1001_5^10 + 1362850665393368176572837648968/247103557687783180592\ 8105959*c_1001_5^9 - 355569943057233204935606706535/823678525625943\ 935309368653*c_1001_5^8 + 97208144163514320320613440236/27455950854\ 1981311769789551*c_1001_5^7 - 669944687913493516604747039863/247103\ 5576877831805928105959*c_1001_5^6 + 200138814059676629367772318150/823678525625943935309368653*c_1001_5\ ^5 - 736553348602427318739241361200/2471035576877831805928105959*c_\ 1001_5^4 + 530062152221774500646726558188/2471035576877831805928105\ 959*c_1001_5^3 - 118735419284912639248282850125/8236785256259439353\ 09368653*c_1001_5^2 + 210380044670814338727068437664/24710355768778\ 31805928105959*c_1001_5 - 12990520179543871640969017607/24710355768\ 77831805928105959, c_0101_1 - 874533754635715513356647404/2471035576877831805928105959*c_1\ 001_5^17 + 1687997028007413686751552442/247103557687783180592810595\ 9*c_1001_5^16 - 22621111574329606889598223456/247103557687783180592\ 8105959*c_1001_5^15 + 13760446706661964356837892705/823678525625943\ 935309368653*c_1001_5^14 - 218413856158425807951970744201/247103557\ 6877831805928105959*c_1001_5^13 + 335653870185889312059989930662/24\ 71035576877831805928105959*c_1001_5^12 - 936459445661329285306731751447/2471035576877831805928105959*c_1001_\ 5^11 + 1034928859765352028297514869991/2471035576877831805928105959\ *c_1001_5^10 - 1462170490915643729202445223539/24710355768778318059\ 28105959*c_1001_5^9 + 383085234415606088423944566587/82367852562594\ 3935309368653*c_1001_5^8 - 104361367806878283092755544267/274559508\ 541981311769789551*c_1001_5^7 + 725479754154010862355738510572/2471\ 035576877831805928105959*c_1001_5^6 - 215381608313942822743381805825/823678525625943935309368653*c_1001_5\ ^5 + 791671274031632107758581203730/2471035576877831805928105959*c_\ 1001_5^4 - 567621881536597073888103841154/2471035576877831805928105\ 959*c_1001_5^3 + 127708208729426352774108488780/8236785256259439353\ 09368653*c_1001_5^2 - 229085906779710755671136876143/24710355768778\ 31805928105959*c_1001_5 + 14147452434174561782810523487/24710355768\ 77831805928105959, c_0101_5 - 579564944932415524979418085/2471035576877831805928105959*c_1\ 001_5^17 + 1139033611126844203487404861/247103557687783180592810595\ 9*c_1001_5^16 - 15025817147172550304813879932/247103557687783180592\ 8105959*c_1001_5^15 + 9292758388381695740730521539/8236785256259439\ 35309368653*c_1001_5^14 - 145587758182565362022568023542/2471035576\ 877831805928105959*c_1001_5^13 + 227374621337686223901235466068/247\ 1035576877831805928105959*c_1001_5^12 - 627330734574902099338602160615/2471035576877831805928105959*c_1001_\ 5^11 + 706473067689652146821077207108/2471035576877831805928105959*\ c_1001_5^10 - 988695866159823686344575204271/2471035576877831805928\ 105959*c_1001_5^9 + 264123094147550644908122892821/8236785256259439\ 35309368653*c_1001_5^8 - 71369548863784904726910601193/274559508541\ 981311769789551*c_1001_5^7 + 498262016260484577127385009750/2471035\ 576877831805928105959*c_1001_5^6 - 145961976030772107363515506328/823678525625943935309368653*c_1001_5\ ^5 + 534739736187464304154991596010/2471035576877831805928105959*c_\ 1001_5^4 - 389880153245264849818647797993/2471035576877831805928105\ 959*c_1001_5^3 + 87308715823108100169414142988/82367852562594393530\ 9368653*c_1001_5^2 - 158757159497437473728485718401/247103557687783\ 1805928105959*c_1001_5 + 10920830119022118992721944851/247103557687\ 7831805928105959, c_0101_9 - 217260849160744151410085536/823678525625943935309368653*c_10\ 01_5^17 + 424785044518673763857558632/823678525625943935309368653*c\ _1001_5^16 - 5629097095009969980309701623/8236785256259439353093686\ 53*c_1001_5^15 + 3464178866000691185721455902/274559508541981311769\ 789551*c_1001_5^14 - 54484126372199233243919378995/8236785256259439\ 35309368653*c_1001_5^13 + 84655561282419331171648248430/82367852562\ 5943935309368653*c_1001_5^12 - 234369776967639401111362907536/82367\ 8525625943935309368653*c_1001_5^11 + 262174417781740619044290768010/823678525625943935309368653*c_1001_5\ ^10 - 367873862944389301181207260711/823678525625943935309368653*c_\ 1001_5^9 + 97340645089585162861804745744/27455950854198131176978955\ 1*c_1001_5^8 - 26317518127398769646998248611/9151983618066043725659\ 6517*c_1001_5^7 + 183090329122439074419689223380/823678525625943935\ 309368653*c_1001_5^6 - 53969622593533931110035747698/27455950854198\ 1311769789551*c_1001_5^5 + 198705135209335284808694989595/823678525\ 625943935309368653*c_1001_5^4 - 144300120625466497493997587351/8236\ 78525625943935309368653*c_1001_5^3 + 32240489026900515048696542522/274559508541981311769789551*c_1001_5^\ 2 - 58221903992246957954583872770/823678525625943935309368653*c_100\ 1_5 + 3723294035081294964155841604/823678525625943935309368653, c_0110_10 - 599843959526983837978787138/2471035576877831805928105959*c_\ 1001_5^17 + 1169290814830918206629367800/24710355768778318059281059\ 59*c_1001_5^16 - 15531633766195721176891334870/24710355768778318059\ 28105959*c_1001_5^15 + 9534035897265940693121004110/823678525625943\ 935309368653*c_1001_5^14 - 150185418432591866104067105900/247103557\ 6877831805928105959*c_1001_5^13 + 232847847466607315705912943440/24\ 71035576877831805928105959*c_1001_5^12 - 645085624409414579045201600861/2471035576877831805928105959*c_1001_\ 5^11 + 720166480765589091469515671222/2471035576877831805928105959*\ c_1001_5^10 - 1009184388402894895250081256635/247103557687783180592\ 8105959*c_1001_5^9 + 267204712045480274914805688979/823678525625943\ 935309368653*c_1001_5^8 - 71820334351613746951937132845/27455950854\ 1981311769789551*c_1001_5^7 + 504496089080891013025522972462/247103\ 5576877831805928105959*c_1001_5^6 - 147774750426684901715977676566/823678525625943935309368653*c_1001_5\ ^5 + 549584050542820158646504783384/2471035576877831805928105959*c_\ 1001_5^4 - 397072622039793983755107860980/2471035576877831805928105\ 959*c_1001_5^3 + 88700304188350948333061505982/82367852562594393530\ 9368653*c_1001_5^2 - 160002764945918958903380773592/247103557687783\ 1805928105959*c_1001_5 + 8863157930869916469109459181/2471035576877\ 831805928105959, c_1001_1 - 243051242749228829065853908/2471035576877831805928105959*c_1\ 001_5^17 + 472806638165606255429935354/2471035576877831805928105959\ *c_1001_5^16 - 6293825817011900870606179558/24710355768778318059281\ 05959*c_1001_5^15 + 3855509388964590108411575296/823678525625943935\ 309368653*c_1001_5^14 - 60870231758618692065021325957/2471035576877\ 831805928105959*c_1001_5^13 + 94167648320839273220791753615/2471035\ 576877831805928105959*c_1001_5^12 - 261606217268515414251224145538/2471035576877831805928105959*c_1001_\ 5^11 + 291278080171440097669367923087/2471035576877831805928105959*\ c_1001_5^10 - 410348238080857949533338018190/2471035576877831805928\ 105959*c_1001_5^9 + 108236749689086558108479252448/8236785256259439\ 35309368653*c_1001_5^8 - 29460504660576110178722289041/274559508541\ 981311769789551*c_1001_5^7 + 205563278723030168044019291222/2471035\ 576877831805928105959*c_1001_5^6 - 60579709198660057614572162528/823678525625943935309368653*c_1001_5^\ 5 + 224521661655725088065225652974/2471035576877831805928105959*c_1\ 001_5^4 - 160579998188175130459997588522/24710355768778318059281059\ 59*c_1001_5^3 + 37005848015939573043158650004/823678525625943935309\ 368653*c_1001_5^2 - 65809191363415742595396958618/24710355768778318\ 05928105959*c_1001_5 + 5678160842089395217147544647/247103557687783\ 1805928105959, c_1001_5^18 - 2*c_1001_5^17 + 26*c_1001_5^16 - 49*c_1001_5^15 + 253*c_1001_5^14 - 401*c_1001_5^13 + 1097*c_1001_5^12 - 1256*c_1001_5^11 + 1751*c_1001_5^10 - 1423*c_1001_5^9 + 1158*c_1001_5^8 - 896*c_1001_5^7 + 791*c_1001_5^6 - 953*c_1001_5^5 + 709*c_1001_5^4 - 479*c_1001_5^3 + 289*c_1001_5^2 - 32*c_1001_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 6.580 Total time: 6.790 seconds, Total memory usage: 84.88MB