Magma V2.19-8 Wed Aug 21 2013 00:24:39 on localhost [Seed = 2716316304] Type ? for help. Type -D to quit. Loading file "K14n13794__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n13794 geometric_solution 11.63051627 oriented_manifold CS_known 0.0000000000000007 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 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 1 -1 0 0 0 0 0 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.653418293629 0.618507628165 0 5 6 2 0132 0132 0132 2103 0 0 0 0 0 -1 1 0 0 0 0 0 1 0 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 0 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.497206259399 1.693946251782 7 0 6 1 0132 0132 0213 2103 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.649146195718 0.573905858498 6 8 4 0 0132 0132 2103 0132 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 -1 1 -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.769333493608 0.789769901073 3 9 0 10 2103 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 0 0 -1 0 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.985551611592 1.007970489921 9 1 8 11 2310 0132 3120 0132 0 0 0 0 0 1 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 1 0 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.245677448868 0.827553690506 3 2 7 1 0132 0213 3120 0132 0 0 0 0 0 1 0 -1 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 1 0 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.055981347560 0.432829083886 2 9 6 11 0132 2310 3120 0321 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 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 1.010982303955 0.598045052061 11 3 5 10 0132 0132 3120 0321 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 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.168369033670 1.141280944944 12 4 5 7 0132 0132 3201 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 0 0 0 0 -1 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.306651517404 0.647638598144 12 8 4 12 3012 0321 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.721830136368 0.675603304235 8 7 5 12 0132 0321 0132 3012 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 -1 1 0 0 1 -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 1.993231053659 1.299789306808 9 10 11 10 0132 1302 1230 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.521094658644 1.265605370053 ==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' : negation(d['c_0101_0']), 'c_1001_10' : negation(d['c_0101_5']), 'c_1001_12' : d['c_0101_8'], 'c_1001_5' : negation(d['c_1001_0']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_1001_2']), 'c_1001_6' : d['c_1001_2'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_12'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_5']), 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_0101_10'], 'c_1010_11' : negation(d['c_0101_12']), 'c_1010_10' : d['c_0011_12'], '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_10']), 'c_0101_10' : d['c_0101_10'], '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_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_5']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_8']), 'c_1100_4' : negation(d['c_0101_10']), 'c_1100_7' : negation(d['c_0101_0']), 'c_1100_6' : negation(d['c_0101_7']), 'c_1100_1' : negation(d['c_0101_7']), 'c_1100_0' : negation(d['c_0101_10']), 'c_1100_3' : negation(d['c_0101_10']), 'c_1100_2' : negation(d['c_0101_0']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0101_8']), 'c_1100_10' : negation(d['c_0101_10']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_12']), 'c_1010_6' : negation(d['c_0101_0']), 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_0']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_0011_12'], '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' : d['c_0101_8'], '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_12']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_12'], 'c_0011_7' : d['c_0011_0'], '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_11'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_8'], 'c_0110_10' : d['c_0101_8'], 'c_0110_12' : d['c_0011_10'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], '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' : negation(d['c_0011_11']), '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_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_0']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0011_10']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0011_11']), 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_5, c_0101_7, c_0101_8, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 2088207899543768981172641211343340430655173601/67748386310435440253\ 2071055322119453502677125*c_1001_2^21 - 32982686227219583245979887341153132356084489/3834814319458609825653\ 2323886157704915245875*c_1001_2^20 + 43338319833483038212893123406853359055797826299/6774838631043544025\ 32071055322119453502677125*c_1001_2^19 + 15772378510239956620685387207760712639767552607/1847683263011875643\ 26928469633305305500730125*c_1001_2^18 - 1038177943319130869739774970721913508470722017471/20324515893130632\ 07596213165966358360508031375*c_1001_2^17 - 2428927913868489290809259665055530372341488009048/20324515893130632\ 07596213165966358360508031375*c_1001_2^16 + 3221060740465602062717837141058675920198139139817/20324515893130632\ 07596213165966358360508031375*c_1001_2^15 + 14121809256424472231689250911756829931213435025694/2032451589313063\ 207596213165966358360508031375*c_1001_2^14 + 1459094022568893829589858609348856191075525973904/20324515893130632\ 07596213165966358360508031375*c_1001_2^13 - 31394679973925575600906827201401155311566713018/1533925727783443930\ 261292955446308196609835*c_1001_2^12 - 41633151965602357737212006660357761361696074984286/2032451589313063\ 207596213165966358360508031375*c_1001_2^11 + 41680730474989190872892265081650346596676707859614/2032451589313063\ 207596213165966358360508031375*c_1001_2^10 + 82836410472130920882077603685204733029404510750732/2032451589313063\ 207596213165966358360508031375*c_1001_2^9 - 15505282846481158753447458863487234181581564425854/2032451589313063\ 207596213165966358360508031375*c_1001_2^8 - 21702426988288455732331946924391646799835733418234/4064903178626126\ 41519242633193271672101606275*c_1001_2^7 - 11749091211367604584341892746897830117356304678287/4064903178626126\ 41519242633193271672101606275*c_1001_2^6 + 26896942275210512283804667733505454021475207157979/2032451589313063\ 207596213165966358360508031375*c_1001_2^5 + 3555268054077288180031672134638651551094362450582/22582795436811813\ 4177357018440706484500892375*c_1001_2^4 - 853763931912326700044392126362103423343468279221/203245158931306320\ 7596213165966358360508031375*c_1001_2^3 - 15639125055536098954531102075366087898638090196023/2032451589313063\ 207596213165966358360508031375*c_1001_2^2 - 2426537660615881861283636034496990723766069017256/40649031786261264\ 1519242633193271672101606275*c_1001_2 - 3689647793382172519500374498248817616379852947707/20324515893130632\ 07596213165966358360508031375, c_0011_0 - 1, c_0011_10 - 2567072433038163037449786695767128/472083837957668873245751\ 37225514757*c_1001_2^21 + 2427742203789065101778319369366962/472083\ 83795766887324575137225514757*c_1001_2^20 + 4467942121335019239536530901733842/42916712541606261204159215659558\ 87*c_1001_2^19 + 12442289926319677717806443993197615/47208383795766\ 887324575137225514757*c_1001_2^18 - 419290614793659094730015895112493038/472083837957668873245751372255\ 14757*c_1001_2^17 - 484045454203632590241030895078873226/4720838379\ 5766887324575137225514757*c_1001_2^16 + 157027378359239675434016749732759111/429167125416062612041592156595\ 5887*c_1001_2^15 + 320158727397833020557649139313917504/42916712541\ 60626120415921565955887*c_1001_2^14 - 2900827930873862856452052399649931932/47208383795766887324575137225\ 514757*c_1001_2^13 - 12216510519997749858159645613422810338/4720838\ 3795766887324575137225514757*c_1001_2^12 - 345272866756130732951689683773936487/429167125416062612041592156595\ 5887*c_1001_2^11 + 16930508130093671317571104429814082572/472083837\ 95766887324575137225514757*c_1001_2^10 + 13090648285034999426029124572238109045/4720838379576688732457513722\ 5514757*c_1001_2^9 - 14987981286923547259555439264193461311/4720838\ 3795766887324575137225514757*c_1001_2^8 - 22792004341480295121817934119323262743/4720838379576688732457513722\ 5514757*c_1001_2^7 - 3718341686501300313625990013272852518/47208383\ 795766887324575137225514757*c_1001_2^6 + 8090442436794102238193593483189571177/47208383795766887324575137225\ 514757*c_1001_2^5 + 353908134121839914986758402669332159/4291671254\ 160626120415921565955887*c_1001_2^4 - 2001324743621909368089416899703885222/47208383795766887324575137225\ 514757*c_1001_2^3 - 306240394128912398289034454949017544/4291671254\ 160626120415921565955887*c_1001_2^2 - 1811148599282612122059727976927019909/47208383795766887324575137225\ 514757*c_1001_2 - 369737927023959671403041592364937286/472083837957\ 66887324575137225514757, c_0011_11 - 1255005074028811662531929902869470/472083837957668873245751\ 37225514757*c_1001_2^21 + 335506044883936520827228997142188/4720838\ 3795766887324575137225514757*c_1001_2^20 + 2383219096127134586443712487473187/42916712541606261204159215659558\ 87*c_1001_2^19 + 19031638350103921677323149105308229/47208383795766\ 887324575137225514757*c_1001_2^18 - 222651015348825675156412044735775700/472083837957668873245751372255\ 14757*c_1001_2^17 - 349315242663450650655308646001900519/4720838379\ 5766887324575137225514757*c_1001_2^16 + 79486705548504539204764857899473652/4291671254160626120415921565955\ 887*c_1001_2^15 + 205958954284902148971377811015212611/429167125416\ 0626120415921565955887*c_1001_2^14 - 1168738705850244646143080603171119792/47208383795766887324575137225\ 514757*c_1001_2^13 - 7440578532541358194193367198499081301/47208383\ 795766887324575137225514757*c_1001_2^12 - 312636638456467518685304494357009886/429167125416062612041592156595\ 5887*c_1001_2^11 + 9908078578742342990361690933984362639/4720838379\ 5766887324575137225514757*c_1001_2^10 + 9300443372776892357164125461875745375/47208383795766887324575137225\ 514757*c_1001_2^9 - 8249481532013514586049360733554646352/472083837\ 95766887324575137225514757*c_1001_2^8 - 14601092509789199112561364549658200054/4720838379576688732457513722\ 5514757*c_1001_2^7 - 3098920316568046948221841434080933054/47208383\ 795766887324575137225514757*c_1001_2^6 + 4850089559902263246796254407862495687/47208383795766887324575137225\ 514757*c_1001_2^5 + 252130430909665580376125890391841364/4291671254\ 160626120415921565955887*c_1001_2^4 - 964767696660526618332808770412704735/472083837957668873245751372255\ 14757*c_1001_2^3 - 198328046477088437881468688024107979/42916712541\ 60626120415921565955887*c_1001_2^2 - 1184947563208609558037586843027007025/47208383795766887324575137225\ 514757*c_1001_2 - 218615045446570168089928003127957498/472083837957\ 66887324575137225514757, c_0011_12 + 2744530898333865817116358040577190/472083837957668873245751\ 37225514757*c_1001_2^21 - 2266425135141707493241370228740612/472083\ 83795766887324575137225514757*c_1001_2^20 - 4820019969751490705072493482290152/42916712541606261204159215659558\ 87*c_1001_2^19 - 19308155378162689566416379354516944/47208383795766\ 887324575137225514757*c_1001_2^18 + 449460506770227642724245953862655529/472083837957668873245751372255\ 14757*c_1001_2^17 + 569889906068388732513774087588836548/4720838379\ 5766887324575137225514757*c_1001_2^16 - 164405495502224825349145261006204909/429167125416062612041592156595\ 5887*c_1001_2^15 - 363494240217607142036251933583417749/42916712541\ 60626120415921565955887*c_1001_2^14 + 2754867865600074031232607701212217281/47208383795766887324575137225\ 514757*c_1001_2^13 + 13563233702057413318421611889856840614/4720838\ 3795766887324575137225514757*c_1001_2^12 + 490844839205797840278502523400456684/429167125416062612041592156595\ 5887*c_1001_2^11 - 18128822562068078698476687215456293867/472083837\ 95766887324575137225514757*c_1001_2^10 - 16127112281237079735153140929522190153/4720838379576688732457513722\ 5514757*c_1001_2^9 + 15098620096176967926466602061674339650/4720838\ 3795766887324575137225514757*c_1001_2^8 + 26555049351891176770502431221302579912/4720838379576688732457513722\ 5514757*c_1001_2^7 + 6144764064061511274202133665786488469/47208383\ 795766887324575137225514757*c_1001_2^6 - 8907300272402773794219871021945359630/47208383795766887324575137225\ 514757*c_1001_2^5 - 476933605193308355562605563102119659/4291671254\ 160626120415921565955887*c_1001_2^4 + 1865533665483508737852699857961062685/47208383795766887324575137225\ 514757*c_1001_2^3 + 357825303542602418804058554720218365/4291671254\ 160626120415921565955887*c_1001_2^2 + 2263275950689142981442286857297805659/47208383795766887324575137225\ 514757*c_1001_2 + 512079502329510547099349842799539493/472083837957\ 66887324575137225514757, c_0101_0 + 1159981402585778303211806780575381/4720838379576688732457513\ 7225514757*c_1001_2^21 - 13779156945039146795192144737599/472083837\ 95766887324575137225514757*c_1001_2^20 - 2253750551434896193135639135859779/42916712541606261204159215659558\ 87*c_1001_2^19 - 22598971839212344939767266706190764/47208383795766\ 887324575137225514757*c_1001_2^18 + 208819072580087046125865957650748952/472083837957668873245751372255\ 14757*c_1001_2^17 + 366164168023323034990629696633444476/4720838379\ 5766887324575137225514757*c_1001_2^16 - 71943231891192497901331547426019006/4291671254160626120415921565955\ 887*c_1001_2^15 - 208163647837421285648624927837731135/429167125416\ 0626120415921565955887*c_1001_2^14 + 862041925165840431520187661147580621/472083837957668873245751372255\ 14757*c_1001_2^13 + 7327208454922834167716072691369229255/472083837\ 95766887324575137225514757*c_1001_2^12 + 371466293145655250422206699116864198/429167125416062612041592156595\ 5887*c_1001_2^11 - 9348007690325813517585304261254108244/4720838379\ 5766887324575137225514757*c_1001_2^10 - 10015955486203414376653785660130513759/4720838379576688732457513722\ 5514757*c_1001_2^9 + 7262113217767929829058805037720314803/47208383\ 795766887324575137225514757*c_1001_2^8 + 14974660039774560812137958951668065548/4720838379576688732457513722\ 5514757*c_1001_2^7 + 4123112512257656729465654793316429380/47208383\ 795766887324575137225514757*c_1001_2^6 - 4570144420094931275958926925864879697/47208383795766887324575137225\ 514757*c_1001_2^5 - 278801981975900324464767684286980165/4291671254\ 160626120415921565955887*c_1001_2^4 + 767892576671905472787089526988701190/472083837957668873245751372255\ 14757*c_1001_2^3 + 203165273332135618449892184107569081/42916712541\ 60626120415921565955887*c_1001_2^2 + 1348366781950173117029215193170429364/47208383795766887324575137225\ 514757*c_1001_2 + 304268233608019714833186475619421548/472083837957\ 66887324575137225514757, c_0101_1 - 526008874341951969508400026728663/47208383795766887324575137\ 225514757*c_1001_2^21 - 16308818897001974639586365090527/4720838379\ 5766887324575137225514757*c_1001_2^20 + 988286850720759221362920546770609/429167125416062612041592156595588\ 7*c_1001_2^19 + 11859061337709462240946200902671192/472083837957668\ 87324575137225514757*c_1001_2^18 - 89058562207840574346815072077326671/4720838379576688732457513722551\ 4757*c_1001_2^17 - 180505645345715964527674386748232097/47208383795\ 766887324575137225514757*c_1001_2^16 + 27850594816989692648842613276440908/4291671254160626120415921565955\ 887*c_1001_2^15 + 99115082464061959367111970532417479/4291671254160\ 626120415921565955887*c_1001_2^14 - 115883765877839891272011690365668238/472083837957668873245751372255\ 14757*c_1001_2^13 - 3345271507499738785393468541132153480/472083837\ 95766887324575137225514757*c_1001_2^12 - 244182121654731906129124202736431883/429167125416062612041592156595\ 5887*c_1001_2^11 + 3783246823205804427871455337790026772/4720838379\ 5766887324575137225514757*c_1001_2^10 + 5766372343478362867683320699781890725/47208383795766887324575137225\ 514757*c_1001_2^9 - 2199454534648304679500053800288984307/472083837\ 95766887324575137225514757*c_1001_2^8 - 7962283930527417970442826136716983282/47208383795766887324575137225\ 514757*c_1001_2^7 - 3437232205764765848040398249546870365/472083837\ 95766887324575137225514757*c_1001_2^6 + 2203599302937768581840952935601883119/47208383795766887324575137225\ 514757*c_1001_2^5 + 187270015289987260612862790152698244/4291671254\ 160626120415921565955887*c_1001_2^4 - 192331759925286348709269881854242986/472083837957668873245751372255\ 14757*c_1001_2^3 - 104466343759589165957710758253770933/42916712541\ 60626120415921565955887*c_1001_2^2 - 802384514945117156412838797430403646/472083837957668873245751372255\ 14757*c_1001_2 - 241768170310102556660015301778195555/4720838379576\ 6887324575137225514757, c_0101_10 - 2923422557455781375569097312627982/472083837957668873245751\ 37225514757*c_1001_2^21 + 4440329288789638281638295717856435/472083\ 83795766887324575137225514757*c_1001_2^20 + 4763825006863088680209078248660982/42916712541606261204159215659558\ 87*c_1001_2^19 - 13923432059978619403473262198311313/47208383795766\ 887324575137225514757*c_1001_2^18 - 451754874316211882342814030906955369/472083837957668873245751372255\ 14757*c_1001_2^17 - 304368205191046348077348232713349163/4720838379\ 5766887324575137225514757*c_1001_2^16 + 180514188713285745692510765307207405/429167125416062612041592156595\ 5887*c_1001_2^15 + 257158857173880784987940707196018820/42916712541\ 60626120415921565955887*c_1001_2^14 - 4192505051206274239579696244423944312/47208383795766887324575137225\ 514757*c_1001_2^13 - 10804797952034818169616204572481765783/4720838\ 3795766887324575137225514757*c_1001_2^12 + 2886188384977787138170277566889177/42916712541606261204159215659558\ 87*c_1001_2^11 + 16138744426935348123476825168604861524/47208383795\ 766887324575137225514757*c_1001_2^10 + 7133380100619806745151570182187081261/47208383795766887324575137225\ 514757*c_1001_2^9 - 15791523846691984900040229791354273106/47208383\ 795766887324575137225514757*c_1001_2^8 - 16777758598829073189406173109710540507/4720838379576688732457513722\ 5514757*c_1001_2^7 - 717686589831113071519693845567890339/472083837\ 95766887324575137225514757*c_1001_2^6 + 6332252120518214317040124464268938718/47208383795766887324575137225\ 514757*c_1001_2^5 + 228563907665886317125249037829555366/4291671254\ 160626120415921565955887*c_1001_2^4 - 2009630662370491705221054398697446861/47208383795766887324575137225\ 514757*c_1001_2^3 - 248527751090766953779438985481476715/4291671254\ 160626120415921565955887*c_1001_2^2 - 1255980519901915497717882637896574605/47208383795766887324575137225\ 514757*c_1001_2 - 255646755765090098406667823220004324/472083837957\ 66887324575137225514757, c_0101_12 + 229570604579915011285899796472192/4720838379576688732457513\ 7225514757*c_1001_2^21 - 291348351054623075542818931136556/47208383\ 795766887324575137225514757*c_1001_2^20 - 384850601355237889329404462232771/429167125416062612041592156595588\ 7*c_1001_2^19 + 25676689278365911074831680874785/472083837957668873\ 24575137225514757*c_1001_2^18 + 36569721157666074398849436792212452\ /47208383795766887324575137225514757*c_1001_2^17 + 33819215772180682573644827650971010/4720838379576688732457513722551\ 4757*c_1001_2^16 - 14286265710010895589464916627277845/429167125416\ 0626120415921565955887*c_1001_2^15 - 24950035858491318601009117253952259/4291671254160626120415921565955\ 887*c_1001_2^14 + 302766566720097504088522680671011003/472083837957\ 66887324575137225514757*c_1001_2^13 + 1009624198339396682329186601253406848/47208383795766887324575137225\ 514757*c_1001_2^12 + 14939063102594574408764960873038399/4291671254\ 160626120415921565955887*c_1001_2^11 - 1517256338245212742073775371985377562/47208383795766887324575137225\ 514757*c_1001_2^10 - 952328109008594618832766005595680987/472083837\ 95766887324575137225514757*c_1001_2^9 + 1439503526404359460954856467856634445/47208383795766887324575137225\ 514757*c_1001_2^8 + 1838575891328706798755701766228274767/472083837\ 95766887324575137225514757*c_1001_2^7 + 60935999822553785425960080130476676/4720838379576688732457513722551\ 4757*c_1001_2^6 - 845466908487930232371237957586555928/472083837957\ 66887324575137225514757*c_1001_2^5 - 29307347610730071627090390245194088/4291671254160626120415921565955\ 887*c_1001_2^4 + 218734773602107268488913746410131918/4720838379576\ 6887324575137225514757*c_1001_2^3 + 24296387726005304871319111241189933/4291671254160626120415921565955\ 887*c_1001_2^2 + 89756607530221146691153731058416227/47208383795766\ 887324575137225514757*c_1001_2 - 7446337442863268889811015468820924\ /47208383795766887324575137225514757, c_0101_5 - 3827250299582328038193106171321082/4720838379576688732457513\ 7225514757*c_1001_2^21 + 4443716910476669094527827011236435/4720838\ 3795766887324575137225514757*c_1001_2^20 + 6555977147937172302158484985135838/42916712541606261204159215659558\ 87*c_1001_2^19 + 3066831766188699186170887482523298/472083837957668\ 87324575137225514757*c_1001_2^18 - 621252712402230188550348081297616009/472083837957668873245751372255\ 14757*c_1001_2^17 - 585514538565789557253436384285692320/4720838379\ 5766887324575137225514757*c_1001_2^16 + 241893525938976508336992085314836745/429167125416062612041592156595\ 5887*c_1001_2^15 + 420630119862829922055682033827348140/42916712541\ 60626120415921565955887*c_1001_2^14 - 5139998480809088422751927802126342702/47208383795766887324575137225\ 514757*c_1001_2^13 - 16749266801938152830675932961944866260/4720838\ 3795766887324575137225514757*c_1001_2^12 - 221670382467592715075113669194858902/429167125416062612041592156595\ 5887*c_1001_2^11 + 24468533305728813161144736554523852723/472083837\ 95766887324575137225514757*c_1001_2^10 + 14219895806891087294055461789428640678/4720838379576688732457513722\ 5514757*c_1001_2^9 - 23225081984749683119319120276653083322/4720838\ 3795766887324575137225514757*c_1001_2^8 - 28072945810022965509099090687328420519/4720838379576688732457513722\ 5514757*c_1001_2^7 - 1897796802063317913937970965642766935/47208383\ 795766887324575137225514757*c_1001_2^6 + 10488151775248728479377434014882654192/4720838379576688732457513722\ 5514757*c_1001_2^5 + 393725155566874960131394238713756534/429167125\ 4160626120415921565955887*c_1001_2^4 - 2765010732620773229846772529244954606/47208383795766887324575137225\ 514757*c_1001_2^3 - 398419790100201978964504230976627116/4291671254\ 160626120415921565955887*c_1001_2^2 - 2152931792943775902125813290952089645/47208383795766887324575137225\ 514757*c_1001_2 - 401801238620782472448797336114565154/472083837957\ 66887324575137225514757, c_0101_7 + 2414986476614589965743736683444851/4720838379576688732457513\ 7225514757*c_1001_2^21 - 349285201828975667622421141879787/47208383\ 795766887324575137225514757*c_1001_2^20 - 4636969647562030779579351623332966/42916712541606261204159215659558\ 87*c_1001_2^19 - 41630610189316266617090415811498993/47208383795766\ 887324575137225514757*c_1001_2^18 + 431470087928912721282278002386524652/472083837957668873245751372255\ 14757*c_1001_2^17 + 715479410686773685645938342635344995/4720838379\ 5766887324575137225514757*c_1001_2^16 - 151429937439697037106096405325492658/429167125416062612041592156595\ 5887*c_1001_2^15 - 414122602122323434620002738852943746/42916712541\ 60626120415921565955887*c_1001_2^14 + 2030780631016085077663268264318700413/47208383795766887324575137225\ 514757*c_1001_2^13 + 14767786987464192361909439889868310556/4720838\ 3795766887324575137225514757*c_1001_2^12 + 684102931602122769107511193473874084/429167125416062612041592156595\ 5887*c_1001_2^11 - 19256086269068156507946995195238470883/472083837\ 95766887324575137225514757*c_1001_2^10 - 19316398858980306733817911122006259134/4720838379576688732457513722\ 5514757*c_1001_2^9 + 15511594749781444415108165771274961155/4720838\ 3795766887324575137225514757*c_1001_2^8 + 29575752549563759924699323501326265602/4720838379576688732457513722\ 5514757*c_1001_2^7 + 7222032828825703677687496227397362434/47208383\ 795766887324575137225514757*c_1001_2^6 - 9420233979997194522755181333727375384/47208383795766887324575137225\ 514757*c_1001_2^5 - 530932412885565904840893574678821529/4291671254\ 160626120415921565955887*c_1001_2^4 + 1732660273332432091119898297401405925/47208383795766887324575137225\ 514757*c_1001_2^3 + 401493319809224056331360872131677060/4291671254\ 160626120415921565955887*c_1001_2^2 + 2580522728954549562391377173422951146/47208383795766887324575137225\ 514757*c_1001_2 + 617300046646123657572264753198408560/472083837957\ 66887324575137225514757, c_0101_8 - 1324261477584928122068812618994624/4720838379576688732457513\ 7225514757*c_1001_2^21 + 1170203367539792918030099652442881/4720838\ 3795766887324575137225514757*c_1001_2^20 + 2315186270964876738476124785317894/42916712541606261204159215659558\ 87*c_1001_2^19 + 7955336120138549020478648772363894/472083837957668\ 87324575137225514757*c_1001_2^18 - 216636008835389608223717383293859024/472083837957668873245751372255\ 14757*c_1001_2^17 - 263058880916835503268414609736604782/4720838379\ 5766887324575137225514757*c_1001_2^16 + 80183636833392145585820923933340342/4291671254160626120415921565955\ 887*c_1001_2^15 + 170604666634255048564263508571264057/429167125416\ 0626120415921565955887*c_1001_2^14 - 1413348594296839957176174677412355054/47208383795766887324575137225\ 514757*c_1001_2^13 - 6435187982357052025985578591337560616/47208383\ 795766887324575137225514757*c_1001_2^12 - 207329465666111310744065211568201182/429167125416062612041592156595\ 5887*c_1001_2^11 + 8769724480431042099959627418409570127/4720838379\ 5766887324575137225514757*c_1001_2^10 + 7258077648469636532657086134157251735/47208383795766887324575137225\ 514757*c_1001_2^9 - 7579890753094050214170269882077725382/472083837\ 95766887324575137225514757*c_1001_2^8 - 12288740206158110421236951157560464904/4720838379576688732457513722\ 5514757*c_1001_2^7 - 2332116337088472738992897964337811650/47208383\ 795766887324575137225514757*c_1001_2^6 + 4268863505264534373916375464544458267/47208383795766887324575137225\ 514757*c_1001_2^5 + 196957378970566376525683708685909089/4291671254\ 160626120415921565955887*c_1001_2^4 - 1021269076390253004931410287333081905/47208383795766887324575137225\ 514757*c_1001_2^3 - 161906009369814563035468733490738856/4291671254\ 160626120415921565955887*c_1001_2^2 - 985591739965165922255725500487817311/472083837957668873245751372255\ 14757*c_1001_2 - 211058849627942091166387961271456437/4720838379576\ 6887324575137225514757, c_1001_0 - 2129035175595980714619298039022915/4720838379576688732457513\ 7225514757*c_1001_2^21 + 2070591412043371919169094865256669/4720838\ 3795766887324575137225514757*c_1001_2^20 + 3753250455488544263188759857859796/42916712541606261204159215659558\ 87*c_1001_2^19 + 7430660662804379187039209643538200/472083837957668\ 87324575137225514757*c_1001_2^18 - 355881353974581947807404590622746003/472083837957668873245751372255\ 14757*c_1001_2^17 - 375755736108456759953665960141974193/4720838379\ 5766887324575137225514757*c_1001_2^16 + 137357360777451887853119721083008348/429167125416062612041592156595\ 5887*c_1001_2^15 + 256734888898612429671441466510051778/42916712541\ 60626120415921565955887*c_1001_2^14 - 2820571254405009935795077100389624691/47208383795766887324575137225\ 514757*c_1001_2^13 - 10042218372610600092410602379596299273/4720838\ 3795766887324575137225514757*c_1001_2^12 - 172612752004414805250663437309629078/429167125416062612041592156595\ 5887*c_1001_2^11 + 14608824858015671753171058745899903527/472083837\ 95766887324575137225514757*c_1001_2^10 + 9090279709538231764775042803430767058/47208383795766887324575137225\ 514757*c_1001_2^9 - 13763980670988716957217767290931856027/47208383\ 795766887324575137225514757*c_1001_2^8 - 17210310375083576589372136612428452970/4720838379576688732457513722\ 5514757*c_1001_2^7 - 1170418066655734364231266804287722400/47208383\ 795766887324575137225514757*c_1001_2^6 + 6565335551598785009466228676735061158/47208383795766887324575137225\ 514757*c_1001_2^5 + 244172778221826656390135541718485742/4291671254\ 160626120415921565955887*c_1001_2^4 - 1739173710481969964820839575887140958/47208383795766887324575137225\ 514757*c_1001_2^3 - 237637802123488193664199728129100909/4291671254\ 160626120415921565955887*c_1001_2^2 - 1239701557809136965791854051784976245/47208383795766887324575137225\ 514757*c_1001_2 - 251725960918419824974899876018456668/472083837957\ 66887324575137225514757, c_1001_2^22 - 20*c_1001_2^20 - 23*c_1001_2^19 + 158*c_1001_2^18 + 343*c_1001_2^17 - 488*c_1001_2^16 - 2002*c_1001_2^15 - 196*c_1001_2^14 + 5777*c_1001_2^13 + 6037*c_1001_2^12 - 5006*c_1001_2^11 - 11312*c_1001_2^10 + 709*c_1001_2^9 + 14213*c_1001_2^8 + 10160*c_1001_2^7 - 1398*c_1001_2^6 - 4544*c_1001_2^5 - 899*c_1001_2^4 + 1993*c_1001_2^3 + 2036*c_1001_2^2 + 879*c_1001_2 + 159 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 7.280 Total time: 7.490 seconds, Total memory usage: 82.00MB