Magma V2.19-8 Wed Aug 21 2013 01:03:17 on localhost [Seed = 1966304630] Type ? for help. Type -D to quit. Loading file "L14n195__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n195 geometric_solution 12.55769925 oriented_manifold CS_known 0.0000000000000005 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.545129559444 1.541122151108 0 5 7 6 0132 0132 0132 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.203202489754 0.697384380187 8 0 6 9 0132 0132 0132 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 1 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.203202489754 0.697384380187 10 11 12 0 0132 0132 0132 0132 1 1 1 1 0 0 0 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 0 0 0 0 0 0 0 -11 10 0 1 0 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.310410937609 0.628738199310 10 12 0 11 3120 3120 0132 1230 1 1 1 1 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 -1 1 -1 0 0 1 10 0 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.425186993100 1.008812837037 8 1 9 8 1023 0132 0213 3012 1 0 1 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 0 0 0 0 0 0 0 0 0 0 1 0 -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.350823875402 1.017993667270 10 11 1 2 2103 0213 0132 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -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.545129559444 1.541122151108 8 9 9 1 3120 3012 0132 0132 1 1 1 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 1 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.350823875402 1.017993667270 2 5 5 7 0132 1023 1230 3120 0 1 1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.350823875402 1.017993667270 7 5 2 7 1230 0213 0132 0132 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.350823875402 1.017993667270 3 12 6 4 0132 3012 2103 3120 1 1 1 1 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 0 0 0 0 0 -1 1 0 10 0 -10 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.791862182313 0.721986513073 4 3 6 12 3012 0132 0213 3012 1 1 1 1 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 0 0 0 -1 0 1 0 -1 11 0 -10 10 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.645230294670 0.841738432118 10 4 11 3 1230 3120 1230 0132 1 1 1 1 0 0 0 0 1 0 -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 -10 0 10 0 11 0 0 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.133311683241 0.915629311129 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_0'], 'c_1001_10' : negation(d['c_0011_12']), 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : negation(d['c_1001_12']), 'c_1001_7' : negation(d['c_0011_9']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : negation(d['c_0101_8']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : negation(d['c_1001_12']), 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0011_9'], 'c_1010_12' : negation(d['c_0011_4']), 'c_1010_11' : negation(d['c_0011_4']), 'c_1010_10' : negation(d['c_0011_4']), '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' : negation(d['1']), 'c_0101_11' : negation(d['c_0011_12']), 'c_0101_10' : d['c_0101_0'], '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' : negation(d['1']), 's_0_9' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_9']), 'c_1100_4' : d['c_0110_11'], 'c_1100_7' : d['c_1100_1'], 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_0110_11'], 'c_1100_3' : d['c_0110_11'], 'c_1100_2' : d['c_1100_1'], 's_0_10' : d['1'], 'c_1100_9' : d['c_1100_1'], 'c_1100_11' : negation(d['c_1001_12']), 'c_1100_10' : negation(d['c_0101_1']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_8']), 'c_1010_6' : negation(d['c_1001_12']), 'c_1010_5' : negation(d['c_0101_8']), 'c_1010_4' : negation(d['c_0011_12']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : negation(d['c_1001_12']), 'c_1010_9' : negation(d['c_0011_9']), 'c_1010_8' : negation(d['c_0011_7']), 'c_1100_8' : negation(d['c_0011_7']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : negation(d['1']), 'c_1100_12' : d['c_0110_11'], 's_1_7' : negation(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' : d['c_0011_9'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_12']), '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_0110_11'], 'c_0110_10' : d['c_0011_10'], 'c_0110_12' : d['c_0011_10'], 'c_0101_12' : d['c_0011_4'], 'c_0101_7' : d['c_0011_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_9'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_10'], '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_8'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_7'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : negation(d['c_0011_7']), 'c_0110_4' : d['c_0011_10'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_1']})} 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_4, c_0011_7, c_0011_9, c_0101_0, c_0101_1, c_0101_8, c_0110_11, c_1001_0, c_1001_12, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 97421954511729158300821511029314784606286927/1682777896651058925257\ 4786708271736131200*c_1001_12^17 + 4311415995525368287800901383583524558127413451/12200139750720177208\ 1167203634970086951200*c_1001_12^16 - 524746880564017202341684033949800443600814521/451857027804451007708\ 0266801295188405600*c_1001_12^15 + 8455939239697731240061040621245961671935234269/30500349376800443020\ 291800908742521737800*c_1001_12^14 - 258615663103779948434644628749235571011077986053/488005590028807088\ 324668814539880347804800*c_1001_12^13 + 102754231452322668067951054629678975300692732639/122001397507201772\ 081167203634970086951200*c_1001_12^12 - 69353155776223122890381441679982046014846954807/6100069875360088604\ 0583601817485043475600*c_1001_12^11 + 8035608961997907025486227566773682509058850751/61000698753600886040\ 58360181748504347560*c_1001_12^10 - 10012889080014724503106103001304446028401196459/7625087344200110755\ 072950227185630434450*c_1001_12^9 + 45636826596792194129038258021744048814913984097/4066713250240059069\ 3722401211656695650400*c_1001_12^8 - 99385523684113734637709497648197341138518336097/1220013975072017720\ 81167203634970086951200*c_1001_12^7 + 1878510720771192629468709632509626188581077971/38125436721000553775\ 36475113592815217225*c_1001_12^6 - 39272212395495974677503352479604008037780955269/1626685300096023627\ 74889604846626782601600*c_1001_12^5 + 690744806737926060491032888905100926482985569/762508734420011075507\ 2950227185630434450*c_1001_12^4 - 904187245490530347902256469544985\ 261535116101/40667132502400590693722401211656695650400*c_1001_12^3 + 6153522269722932382400579127963005427228239/38125436721000553775364\ 75113592815217225*c_1001_12^2 + 30220565999842974905062256288446122\ 7814808293/244002795014403544162334407269940173902400*c_1001_12 - 55978000133608331009207578265261816877824587/1220013975072017720811\ 67203634970086951200, c_0011_0 - 1, c_0011_10 + 477371686767888857600453704051970888315/1402314913875882437\ 7145655590226446776*c_1001_12^17 - 50336848899746459739034875913789780300247/2033356625120029534686120\ 06058283478252*c_1001_12^16 + 1059114488027822146502603149231937274\ 8535/11296425695111275192700667003237971014*c_1001_12^15 - 126740661206478623695500722762315385434815/508339156280007383671530\ 01514570869563*c_1001_12^14 + 2121338741506364603605480604769596018\ 519225/406671325024005906937224012116566956504*c_1001_12^13 - 1835741462057780348785501649096821434900133/20333566251200295346861\ 2006058283478252*c_1001_12^12 + 67380033036910278155057331054650546\ 5595566/50833915628000738367153001514570869563*c_1001_12^11 - 850722769857126648788240425177737339898936/508339156280007383671530\ 01514570869563*c_1001_12^10 + 9294490410992085701634463374547300758\ 70586/50833915628000738367153001514570869563*c_1001_12^9 - 586082923221178012979373691963615063449245/338892770853338255781020\ 01009713913042*c_1001_12^8 + 14340122142631285465572416411805323677\ 81211/101667831256001476734306003029141739126*c_1001_12^7 - 499614630334394007942316230006762268944923/508339156280007383671530\ 01514570869563*c_1001_12^6 + 78195586195762319547036513169244547493\ 2985/135557108341335302312408004038855652168*c_1001_12^5 - 568102604856446976120512044560078191629021/203335662512002953468612\ 006058283478252*c_1001_12^4 + 1221756551083578054213413303573219261\ 8829/11296425695111275192700667003237971014*c_1001_12^3 - 16067858724151087319694137742257201774297/5083391562800073836715300\ 1514570869563*c_1001_12^2 + 128570782546074156040193413302101405889\ 43/203335662512002953468612006058283478252*c_1001_12 - 340730844895342612901590148128257013321/508339156280007383671530015\ 14570869563, c_0011_12 - 398103606906506449037897555929352927/1693617045743819369220\ 4898055829042*c_1001_12^17 + 1203834487833529643572489854469722532/\ 8468085228719096846102449027914521*c_1001_12^16 - 4022648211566121730868005933950857524/84680852287190968461024490279\ 14521*c_1001_12^15 + 9832038876330230154773988252932195238/84680852\ 28719096846102449027914521*c_1001_12^14 - 38523017898626698756369448407836430329/1693617045743819369220489805\ 5829042*c_1001_12^13 + 31479572467870181385047031449683153376/84680\ 85228719096846102449027914521*c_1001_12^12 - 43902770317069384480178765486430650070/8468085228719096846102449027\ 914521*c_1001_12^11 + 52847670486252272019965541925887900938/846808\ 5228719096846102449027914521*c_1001_12^10 - 55181107016558951257082676691602767032/8468085228719096846102449027\ 914521*c_1001_12^9 + 49971974326245348303184335732574324470/8468085\ 228719096846102449027914521*c_1001_12^8 - 39100760694114017505572739999090238402/8468085228719096846102449027\ 914521*c_1001_12^7 + 26182032890874595779149070248627334424/8468085\ 228719096846102449027914521*c_1001_12^6 - 29693988573146179059460282618755265131/1693617045743819369220489805\ 5829042*c_1001_12^5 + 6979646477177779039705559905804738902/8468085\ 228719096846102449027914521*c_1001_12^4 - 2649087151603197565525930167501871884/84680852287190968461024490279\ 14521*c_1001_12^3 + 782197851752065194819381072017673591/8468085228\ 719096846102449027914521*c_1001_12^2 - 163916543920078698785799512788916303/846808522871909684610244902791\ 4521*c_1001_12 + 23781874072189953659759612848735541/84680852287190\ 96846102449027914521, c_0011_4 - 101593124241044030060578958267243620547/70115745693794121885\ 72827795113223388*c_1001_12^17 + 3930082697243865654878554907954390\ 322280/50833915628000738367153001514570869563*c_1001_12^16 - 1283102267663740447301602391726501082687/56482128475556375963503335\ 01618985507*c_1001_12^15 + 2502279088903515660816870019303641746345\ 6/50833915628000738367153001514570869563*c_1001_12^14 - 172727822196295367480121764912160679491473/203335662512002953468612\ 006058283478252*c_1001_12^13 + 608274539046681386249104944911828396\ 18345/50833915628000738367153001514570869563*c_1001_12^12 - 70616165973537255555041719708153785130826/5083391562800073836715300\ 1514570869563*c_1001_12^11 + 66386158105975680084328694679119252044\ 922/50833915628000738367153001514570869563*c_1001_12^10 - 47477317714620186472314211563138281222740/5083391562800073836715300\ 1514570869563*c_1001_12^9 + 672765937212860739440645264554218462981\ 5/16944638542666912789051000504856956521*c_1001_12^8 + 5296193193162047964923716790678344051243/50833915628000738367153001\ 514570869563*c_1001_12^7 - 2074975173984882636140265612728813644771\ 7/50833915628000738367153001514570869563*c_1001_12^6 + 31474294398931069269061548848123289131519/6777855417066765115620400\ 2019427826084*c_1001_12^5 - 180751723723671695555864927086699115473\ 42/50833915628000738367153001514570869563*c_1001_12^4 + 1128503922277284086365739815583430729253/56482128475556375963503335\ 01618985507*c_1001_12^3 - 4089853438821720918365035733360495636702/\ 50833915628000738367153001514570869563*c_1001_12^2 + 2242644678139503291941899984185059852825/10166783125600147673430600\ 3029141739126*c_1001_12 - 141817778568910078187792556115885935313/5\ 0833915628000738367153001514570869563, c_0011_7 - 2018170686023172111832513/59606665239385553400504*c_1001_12^\ 17 + 133190692112455967584774837/864296645971090524307308*c_1001_12\ ^16 - 8973504213083918869264704/24008240165863625675203*c_1001_12^1\ 5 + 137563143162864154250899214/216074161492772631076827*c_1001_12^\ 14 - 1323973861123790702384308219/1728593291942181048614616*c_1001_\ 12^13 + 424491782010545634004094123/864296645971090524307308*c_1001\ _12^12 + 158954803537268738509442681/432148322985545262153654*c_100\ 1_12^11 - 376747937904064828197061408/216074161492772631076827*c_10\ 01_12^10 + 701575517843114200295405654/216074161492772631076827*c_1\ 001_12^9 - 622256620647450885229913399/144049440995181754051218*c_1\ 001_12^8 + 1961899959489829106269750775/432148322985545262153654*c_\ 1001_12^7 - 840589411382518333324126145/216074161492772631076827*c_\ 1001_12^6 + 1560589854891949622615039365/576197763980727016204872*c\ _1001_12^5 - 1315959459521854972977174265/864296645971090524307308*\ c_1001_12^4 + 16088540694409838370737407/24008240165863625675203*c_\ 1001_12^3 - 47064446830079516802237425/216074161492772631076827*c_1\ 001_12^2 + 41219217063482689543614907/864296645971090524307308*c_10\ 01_12 - 1053287535909175602024004/216074161492772631076827, c_0011_9 - 1, c_0101_0 + c_1001_12, c_0101_1 - 36445381815391909470069776341177304267/233719152312647072952\ 4275931704407796*c_1001_12^17 + 34209078963933392649106987237580145\ 05345/33889277085333825578102001009713913042*c_1001_12^16 - 2099133243482124099833491676978687092386/56482128475556375963503335\ 01618985507*c_1001_12^15 + 1694770975586864262727303110368549909119\ 4/16944638542666912789051000504856956521*c_1001_12^14 - 145428066302350517973565695451433754799721/677785541706676511562040\ 02019427826084*c_1001_12^13 + 1300192707311926005660853527782441752\ 91401/33889277085333825578102001009713913042*c_1001_12^12 - 99357912392604061945059297749707233090551/1694463854266691278905100\ 0504856956521*c_1001_12^11 + 13152112173253179705781126433237170664\ 5469/16944638542666912789051000504856956521*c_1001_12^10 - 151853350202603442593341498866124828172884/169446385426669127890510\ 00504856956521*c_1001_12^9 + 51064379304678198554611482313021080240\ 510/5648212847555637596350333501618985507*c_1001_12^8 - 134718019108790442171485478306239768297663/169446385426669127890510\ 00504856956521*c_1001_12^7 + 10255648794874037033930811275500623368\ 2618/16944638542666912789051000504856956521*c_1001_12^6 - 89133527584370025268189870971104929188841/2259285139022255038540133\ 4006475942028*c_1001_12^5 + 731408275549436077284710406408993207795\ 43/33889277085333825578102001009713913042*c_1001_12^4 - 5449519880294789594454250152282040100024/56482128475556375963503335\ 01618985507*c_1001_12^3 + 5686493781342660480673595599213365482287/\ 16944638542666912789051000504856956521*c_1001_12^2 - 2807993121599392684986957121579092160231/33889277085333825578102001\ 009713913042*c_1001_12 + 204699196963690754734356604124220158729/16\ 944638542666912789051000504856956521, c_0101_8 - 1088044697328604376610341489469333471/6774468182975277476881\ 9592223316168*c_1001_12^17 + 3025348792075139419772350119627179687/\ 33872340914876387384409796111658084*c_1001_12^16 - 2364278312695179994009629315781575128/84680852287190968461024490279\ 14521*c_1001_12^15 + 5470369492501462407918069918576092774/84680852\ 28719096846102449027914521*c_1001_12^14 - 81411832565179463149400281671865190697/6774468182975277476881959222\ 3316168*c_1001_12^13 + 63085086083253198389153029301323006005/33872\ 340914876387384409796111658084*c_1001_12^12 - 41575074778118226468451785916131098921/1693617045743819369220489805\ 5829042*c_1001_12^11 + 23493980072488029899567095347193700001/84680\ 85228719096846102449027914521*c_1001_12^10 - 22803977779378107725182213065350019964/8468085228719096846102449027\ 914521*c_1001_12^9 + 37811709747979587386259315172485532303/1693617\ 0457438193692204898055829042*c_1001_12^8 - 26469081182034705761849167301155748007/1693617045743819369220489805\ 5829042*c_1001_12^7 + 7619311998989046004373218243661570465/8468085\ 228719096846102449027914521*c_1001_12^6 - 27871476543019357864981382898728205211/6774468182975277476881959222\ 3316168*c_1001_12^5 + 4520292144722395078674193677730791453/3387234\ 0914876387384409796111658084*c_1001_12^4 - 177252738818325892157115605855964795/846808522871909684610244902791\ 4521*c_1001_12^3 - 59525458172275678336503765401037402/846808522871\ 9096846102449027914521*c_1001_12^2 + 212098316309995596722153402689479265/338723409148763873844097961116\ 58084*c_1001_12 - 23029686560146816100153605637362919/8468085228719\ 096846102449027914521, c_0110_11 + 398103606906506449037897555929352927/1693617045743819369220\ 4898055829042*c_1001_12^17 - 1203834487833529643572489854469722532/\ 8468085228719096846102449027914521*c_1001_12^16 + 4022648211566121730868005933950857524/84680852287190968461024490279\ 14521*c_1001_12^15 - 9832038876330230154773988252932195238/84680852\ 28719096846102449027914521*c_1001_12^14 + 38523017898626698756369448407836430329/1693617045743819369220489805\ 5829042*c_1001_12^13 - 31479572467870181385047031449683153376/84680\ 85228719096846102449027914521*c_1001_12^12 + 43902770317069384480178765486430650070/8468085228719096846102449027\ 914521*c_1001_12^11 - 52847670486252272019965541925887900938/846808\ 5228719096846102449027914521*c_1001_12^10 + 55181107016558951257082676691602767032/8468085228719096846102449027\ 914521*c_1001_12^9 - 49971974326245348303184335732574324470/8468085\ 228719096846102449027914521*c_1001_12^8 + 39100760694114017505572739999090238402/8468085228719096846102449027\ 914521*c_1001_12^7 - 26182032890874595779149070248627334424/8468085\ 228719096846102449027914521*c_1001_12^6 + 29693988573146179059460282618755265131/1693617045743819369220489805\ 5829042*c_1001_12^5 - 6979646477177779039705559905804738902/8468085\ 228719096846102449027914521*c_1001_12^4 + 2649087151603197565525930167501871884/84680852287190968461024490279\ 14521*c_1001_12^3 - 782197851752065194819381072017673591/8468085228\ 719096846102449027914521*c_1001_12^2 + 163916543920078698785799512788916303/846808522871909684610244902791\ 4521*c_1001_12 - 23781874072189953659759612848735541/84680852287190\ 96846102449027914521, c_1001_0 + 36445381815391909470069776341177304267/233719152312647072952\ 4275931704407796*c_1001_12^17 - 34209078963933392649106987237580145\ 05345/33889277085333825578102001009713913042*c_1001_12^16 + 2099133243482124099833491676978687092386/56482128475556375963503335\ 01618985507*c_1001_12^15 - 1694770975586864262727303110368549909119\ 4/16944638542666912789051000504856956521*c_1001_12^14 + 145428066302350517973565695451433754799721/677785541706676511562040\ 02019427826084*c_1001_12^13 - 1300192707311926005660853527782441752\ 91401/33889277085333825578102001009713913042*c_1001_12^12 + 99357912392604061945059297749707233090551/1694463854266691278905100\ 0504856956521*c_1001_12^11 - 13152112173253179705781126433237170664\ 5469/16944638542666912789051000504856956521*c_1001_12^10 + 151853350202603442593341498866124828172884/169446385426669127890510\ 00504856956521*c_1001_12^9 - 51064379304678198554611482313021080240\ 510/5648212847555637596350333501618985507*c_1001_12^8 + 134718019108790442171485478306239768297663/169446385426669127890510\ 00504856956521*c_1001_12^7 - 10255648794874037033930811275500623368\ 2618/16944638542666912789051000504856956521*c_1001_12^6 + 89133527584370025268189870971104929188841/2259285139022255038540133\ 4006475942028*c_1001_12^5 - 731408275549436077284710406408993207795\ 43/33889277085333825578102001009713913042*c_1001_12^4 + 5449519880294789594454250152282040100024/56482128475556375963503335\ 01618985507*c_1001_12^3 - 5686493781342660480673595599213365482287/\ 16944638542666912789051000504856956521*c_1001_12^2 + 2807993121599392684986957121579092160231/33889277085333825578102001\ 009713913042*c_1001_12 - 204699196963690754734356604124220158729/16\ 944638542666912789051000504856956521, c_1001_12^18 - 1426/203*c_1001_12^17 + 37280/1421*c_1001_12^16 - 99184/1421*c_1001_12^15 + 209051/1421*c_1001_12^14 - 366026/1421*c_1001_12^13 + 546092/1421*c_1001_12^12 - 704168/1421*c_1001_12^11 + 790416/1421*c_1001_12^10 - 26692/49*c_1001_12^9 + 22772/49*c_1001_12^8 - 488136/1421*c_1001_12^7 + 44279/203*c_1001_12^6 - 166930/1421*c_1001_12^5 + 74776/1421*c_1001_12^4 - 27056/1421*c_1001_12^3 + 7530/1421*c_1001_12^2 - 1472/1421*c_1001_12 + 160/1421, c_1100_1 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.290 Total time: 0.500 seconds, Total memory usage: 32.09MB