Magma V2.19-8 Tue Aug 20 2013 23:38:12 on localhost [Seed = 2463430320] Type ? for help. Type -D to quit. Loading file "K10a68__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K10a68 geometric_solution 8.97344933 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 10 1 2 3 2 0132 0132 0132 1230 0 0 0 0 0 0 -1 1 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 -7 7 1 0 -8 7 1 -1 0 0 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.170715234974 0.738278927373 0 4 3 5 0132 0132 2103 0132 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 0 -7 7 -1 0 0 1 0 8 0 -8 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.767828248534 0.500428962525 0 0 7 6 3012 0132 0132 0132 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 0 0 0 -7 0 -1 8 -7 7 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.672700860944 0.598878565006 1 8 6 0 2103 0132 1302 0132 0 0 0 0 0 -1 0 1 0 0 -1 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -7 0 7 0 0 -8 8 7 0 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.623697552476 0.589641346944 6 1 8 8 1023 0132 1023 3120 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 -1 0 1 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.924342771701 0.592803133784 7 8 1 7 0213 0321 0132 3201 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 7 -7 0 1 0 -1 0 1 -1 0 0 -8 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.616782834891 0.689997113170 3 4 2 9 2031 1023 0132 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 0 0 0 0 0 -8 8 0 0 0 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.826858333904 0.461419112170 5 5 9 2 0213 2310 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 -1 0 0 1 8 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.279894297333 0.805584766484 4 3 4 5 3120 0132 1023 0321 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 7 0 -7 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.598010480193 0.990190650763 7 9 6 9 2310 1302 0132 2031 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 8 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.343779688176 1.430130024845 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_5' : d['c_0101_8'], 'c_1001_4' : d['c_0101_8'], 'c_1001_7' : negation(d['c_0101_9']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : d['c_0101_4'], 'c_1001_3' : d['c_0101_9'], 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : negation(d['c_0011_5']), 'c_1001_8' : d['c_0101_4'], 's_2_8' : d['1'], 's_2_9' : d['1'], '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' : negation(d['1']), 's_2_7' : 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' : negation(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_1100_9' : negation(d['c_0011_9']), 'c_1100_8' : d['c_0101_8'], 'c_1100_5' : negation(d['c_0011_7']), 'c_1100_4' : negation(d['c_0101_8']), 'c_1100_7' : negation(d['c_0011_9']), 'c_1100_6' : negation(d['c_0011_9']), 'c_1100_1' : negation(d['c_0011_7']), 'c_1100_0' : d['c_0101_6'], 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : negation(d['c_0011_9']), 'c_1010_7' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : d['c_0101_9'], 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_0101_4'], 'c_1010_2' : d['c_0101_4'], 'c_1010_1' : d['c_0101_8'], 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : d['c_0011_9'], 'c_1010_8' : d['c_0101_9'], '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' : d['1'], 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0011_5'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_7'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0011_7'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_8'], 'c_0110_9' : negation(d['c_0011_5']), 'c_0110_8' : negation(d['c_0011_5']), 'c_0110_1' : d['c_0011_7'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0110_3' : d['c_0011_7'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : negation(d['c_0101_2']), 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_9']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 11 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_5, c_0011_7, c_0011_9, c_0101_2, c_0101_4, c_0101_6, c_0101_8, c_0101_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 1487206053021148153503218621876758257841290743127857160092/27471077\ 6876815243994351454511372105378869634480953054210797943*c_0101_9^20 - 9475971503650761606357272344954775882119786326081193739507/274710\ 776876815243994351454511372105378869634480953054210797943*c_0101_9^\ 19 - 124826643489812718511134129691847878028432246752933762724308/2\ 74710776876815243994351454511372105378869634480953054210797943*c_01\ 01_9^18 - 477457684618802795323341847799592848148305422498084756414\ 906/274710776876815243994351454511372105378869634480953054210797943\ *c_0101_9^17 - 2714655749809293765209623079024264768246954112607754\ 61090388/9157025895893841466478381817045736845962321149365101807026\ 5981*c_0101_9^16 - 305270426689295168045717176263093149201711034698\ 602152596108/915702589589384146647838181704573684596232114936510180\ 70265981*c_0101_9^15 + 17751465901128565515777057999662245603110865\ 8897885904467658/91570258958938414664783818170457368459623211493651\ 018070265981*c_0101_9^14 + 8596772356874789141861619554424853772761\ 842201701449235192863/274710776876815243994351454511372105378869634\ 480953054210797943*c_0101_9^13 + 9415651763461086952734289934729624\ 755249590880249936303920082/915702589589384146647838181704573684596\ 23211493651018070265981*c_0101_9^12 + 39311709032525001376614401509074453329730138575150787237102817/2747\ 10776876815243994351454511372105378869634480953054210797943*c_0101_\ 9^11 - 375707837845983126084113775251996142197347864635515400809020\ 01/274710776876815243994351454511372105378869634480953054210797943*\ c_0101_9^10 - 30691761074003831611508591266479538447119339783061975\ 279045730/305234196529794715549279393901524561532077371645503393567\ 55327*c_0101_9^9 - 547694171668722443126967116852918686182174298606\ 615885184160401/274710776876815243994351454511372105378869634480953\ 054210797943*c_0101_9^8 - 48534769655348911084297658781184468097237\ 4171247412906957805464/27471077687681524399435145451137210537886963\ 4480953054210797943*c_0101_9^7 - 9372698919722792262407334445272874\ 2824556788708970380908514645/27471077687681524399435145451137210537\ 8869634480953054210797943*c_0101_9^6 - 8603109701728462315759139047989246868667159034802243210065898/11943\ 946820731097564971802370059656755603027586128393661339041*c_0101_9^\ 5 - 936400789020325141513850322848982677106744476466735531058705249\ /274710776876815243994351454511372105378869634480953054210797943*c_\ 0101_9^4 - 18815750277007530501450073095155689244790116108140926041\ 5360337/27471077687681524399435145451137210537886963448095305421079\ 7943*c_0101_9^3 + 3664771588021961363221346786322265105301788562197\ 377348144608567/274710776876815243994351454511372105378869634480953\ 054210797943*c_0101_9^2 + 66146652449787342899837298136939834710178\ 92079074939357646599050/2747107768768152439943514545113721053788696\ 34480953054210797943*c_0101_9 + 48648040745852018472913495208310893\ 12551021351155900840631334486/2747107768768152439943514545113721053\ 78869634480953054210797943, c_0011_0 - 1, c_0011_3 + 24488654627630542427411448571874296554688988401/365692858674\ 5863246978343861839471870489364700687439*c_0101_9^20 - 39138285633448158096946388340749564238740987203/3656928586745863246\ 978343861839471870489364700687439*c_0101_9^19 - 193153329303365107705345809434378818883446622583/365692858674586324\ 6978343861839471870489364700687439*c_0101_9^18 - 97807714558428546457525962436528350535184038450/3656928586745863246\ 978343861839471870489364700687439*c_0101_9^17 - 653190157719508572124271401438335818767154520760/365692858674586324\ 6978343861839471870489364700687439*c_0101_9^16 - 1072021697319248261758320455697125482915279493846/36569285867458632\ 46978343861839471870489364700687439*c_0101_9^15 + 1646555702809382475027815989548630050349751062737/36569285867458632\ 46978343861839471870489364700687439*c_0101_9^14 + 11281837078029344210793563122098981291517300295651/3656928586745863\ 246978343861839471870489364700687439*c_0101_9^13 + 19920990834880828477050870356308475862641435233428/3656928586745863\ 246978343861839471870489364700687439*c_0101_9^12 - 10743332680856819007073660343413092035811123937802/3656928586745863\ 246978343861839471870489364700687439*c_0101_9^11 - 93510084113306200778858078065583141835633765153101/3656928586745863\ 246978343861839471870489364700687439*c_0101_9^10 - 130993851884880189340100147767785677722737035956553/365692858674586\ 3246978343861839471870489364700687439*c_0101_9^9 - 11606232574305694645698609629519934480752684730690/3656928586745863\ 246978343861839471870489364700687439*c_0101_9^8 - 30618500025752628210847363613384260214059369628953/3656928586745863\ 246978343861839471870489364700687439*c_0101_9^7 - 572614640594982487132815954476125720428878717153072/365692858674586\ 3246978343861839471870489364700687439*c_0101_9^6 - 945519350996548936159465206128161859024358778990783/365692858674586\ 3246978343861839471870489364700687439*c_0101_9^5 - 343204343263577674039101291884609499960713648460337/365692858674586\ 3246978343861839471870489364700687439*c_0101_9^4 + 457329061746466554531497797464871801087451322924069/365692858674586\ 3246978343861839471870489364700687439*c_0101_9^3 - 2192015974891151710197063913811674161844362001671582/36569285867458\ 63246978343861839471870489364700687439*c_0101_9^2 - 582654691928545827416260184525219644792321392804565/365692858674586\ 3246978343861839471870489364700687439*c_0101_9 - 4161037399176623738888664763102804438244116325369109/36569285867458\ 63246978343861839471870489364700687439, c_0011_5 + 10424298059428520186476083469008454311330448652/365692858674\ 5863246978343861839471870489364700687439*c_0101_9^20 - 19934257561409356105575636538650073549328022678/3656928586745863246\ 978343861839471870489364700687439*c_0101_9^19 - 44262533334107065945007937433367661021047961549/3656928586745863246\ 978343861839471870489364700687439*c_0101_9^18 + 3464133261466326594398580148639855622561954863/36569285867458632469\ 78343861839471870489364700687439*c_0101_9^17 - 448411154281982807151598556639454347059684869593/365692858674586324\ 6978343861839471870489364700687439*c_0101_9^16 - 738832419417979838198899990628787158851018615557/365692858674586324\ 6978343861839471870489364700687439*c_0101_9^15 - 184029531776921603115674625279921495375585330017/365692858674586324\ 6978343861839471870489364700687439*c_0101_9^14 + 1998630908173155028128554540505309551595045533529/36569285867458632\ 46978343861839471870489364700687439*c_0101_9^13 + 4734802909027364028309042956648466424652718912104/36569285867458632\ 46978343861839471870489364700687439*c_0101_9^12 + 4773251432234845850758011465679712443212912405451/36569285867458632\ 46978343861839471870489364700687439*c_0101_9^11 + 4257618827662138936900116175264364810471765949575/36569285867458632\ 46978343861839471870489364700687439*c_0101_9^10 + 5369739085015305821604949591726362480368209507047/36569285867458632\ 46978343861839471870489364700687439*c_0101_9^9 - 40659539159530854857217946146026748434046627460391/3656928586745863\ 246978343861839471870489364700687439*c_0101_9^8 - 272945697856183432301919582056588439528552060695869/365692858674586\ 3246978343861839471870489364700687439*c_0101_9^7 - 569275725489314164677577398875088770852958634090622/365692858674586\ 3246978343861839471870489364700687439*c_0101_9^6 - 554250504218053795530087414251393690703312197589384/365692858674586\ 3246978343861839471870489364700687439*c_0101_9^5 - 790139420779810572707618532265093824361849384623678/365692858674586\ 3246978343861839471870489364700687439*c_0101_9^4 - 1248873620146110025861389084465719471750590282702627/36569285867458\ 63246978343861839471870489364700687439*c_0101_9^3 - 1849364918708979224472862079639154223437938129645965/36569285867458\ 63246978343861839471870489364700687439*c_0101_9^2 + 1084299985229576454785023872615125350295121916330034/36569285867458\ 63246978343861839471870489364700687439*c_0101_9 - 978272186397735809659050769523956272030027812402350/365692858674586\ 3246978343861839471870489364700687439, c_0011_7 - 93706827643703876664947907277998913499015991615/365692858674\ 5863246978343861839471870489364700687439*c_0101_9^20 - 240733452663169176206826507569423490397107374165/365692858674586324\ 6978343861839471870489364700687439*c_0101_9^19 - 276777770698531483970680684777820295142756199267/365692858674586324\ 6978343861839471870489364700687439*c_0101_9^18 - 928060497669446260528763450039731081305288297105/365692858674586324\ 6978343861839471870489364700687439*c_0101_9^17 - 337393602819905168442378481091502424897783767468/365692858674586324\ 6978343861839471870489364700687439*c_0101_9^16 + 4049468437038823735368906266895212783395222935711/36569285867458632\ 46978343861839471870489364700687439*c_0101_9^15 + 10359655945434904200745604517069840753680832690196/3656928586745863\ 246978343861839471870489364700687439*c_0101_9^14 + 13518972706139751247981657318630741809507140400751/3656928586745863\ 246978343861839471870489364700687439*c_0101_9^13 - 22310068378854810451260496715140395527532509918473/3656928586745863\ 246978343861839471870489364700687439*c_0101_9^12 - 100532828398719100462985043475329463009484287497392/365692858674586\ 3246978343861839471870489364700687439*c_0101_9^11 - 128182901988089167705213718471418523231287938238224/365692858674586\ 3246978343861839471870489364700687439*c_0101_9^10 - 170807317540142142117407771079628149466561725811187/365692858674586\ 3246978343861839471870489364700687439*c_0101_9^9 - 469084934745976810617510624875694173430302400751325/365692858674586\ 3246978343861839471870489364700687439*c_0101_9^8 - 1131263489717048400919970691449273849637455884749457/36569285867458\ 63246978343861839471870489364700687439*c_0101_9^7 - 1701951546101571185213073311327623152250685169587286/36569285867458\ 63246978343861839471870489364700687439*c_0101_9^6 - 1475730385722291104545947048381547894727450576938360/36569285867458\ 63246978343861839471870489364700687439*c_0101_9^5 - 1081847898181893243444527969251851279836056265578970/36569285867458\ 63246978343861839471870489364700687439*c_0101_9^4 - 2152987318338590366337277522803559574784655591216275/36569285867458\ 63246978343861839471870489364700687439*c_0101_9^3 - 2762857895598403826619398234846086653451415034756263/36569285867458\ 63246978343861839471870489364700687439*c_0101_9^2 - 2903410140478689338431475791876632260961136846393837/36569285867458\ 63246978343861839471870489364700687439*c_0101_9 + 492642176016118337693332467708216391218946953469372/365692858674586\ 3246978343861839471870489364700687439, c_0011_9 - 9559227700860821316770693734548686449956905964/3656928586745\ 863246978343861839471870489364700687439*c_0101_9^20 + 15852345032385489184394728546270580038522454855/3656928586745863246\ 978343861839471870489364700687439*c_0101_9^19 + 18780831441623786230001004873166355899667889703/3656928586745863246\ 978343861839471870489364700687439*c_0101_9^18 - 64837074496681489480603710440756371349441120200/3656928586745863246\ 978343861839471870489364700687439*c_0101_9^17 + 417354697204732536096209327463465413003523981912/365692858674586324\ 6978343861839471870489364700687439*c_0101_9^16 + 511541073648155255811257571682992429888796905316/365692858674586324\ 6978343861839471870489364700687439*c_0101_9^15 + 14811137776810580640638183278922916480935458508/3656928586745863246\ 978343861839471870489364700687439*c_0101_9^14 - 561059058688392892435736731044440965926778334370/365692858674586324\ 6978343861839471870489364700687439*c_0101_9^13 - 2259810301964725280863435853586092895946011868684/36569285867458632\ 46978343861839471870489364700687439*c_0101_9^12 - 5325339384614722580382356113142132878661434683862/36569285867458632\ 46978343861839471870489364700687439*c_0101_9^11 - 15596139150827035710266400468807525719340778109590/3656928586745863\ 246978343861839471870489364700687439*c_0101_9^10 - 10796595081336162787761327023000870688246254769524/3656928586745863\ 246978343861839471870489364700687439*c_0101_9^9 + 29325878439316663593401076567911384759445396928275/3656928586745863\ 246978343861839471870489364700687439*c_0101_9^8 + 213723402337738503351355561640507072792835633644858/365692858674586\ 3246978343861839471870489364700687439*c_0101_9^7 + 362132117899964965478847236397496918334400973067414/365692858674586\ 3246978343861839471870489364700687439*c_0101_9^6 + 397520848562235882336279347467320092988977282243590/365692858674586\ 3246978343861839471870489364700687439*c_0101_9^5 + 552022810193635540093044967399032957389601394292717/365692858674586\ 3246978343861839471870489364700687439*c_0101_9^4 + 1050836065137349035370694181775338801345971446258704/36569285867458\ 63246978343861839471870489364700687439*c_0101_9^3 + 1247448927964622870629355981130612424642003398652271/36569285867458\ 63246978343861839471870489364700687439*c_0101_9^2 - 103484941037660545664130211739507879370217606580659/365692858674586\ 3246978343861839471870489364700687439*c_0101_9 + 550611805495266202098782518673837521060507153175503/365692858674586\ 3246978343861839471870489364700687439, c_0101_2 + 21887452192920950146807857486532789137153313344/365692858674\ 5863246978343861839471870489364700687439*c_0101_9^20 + 140703553256170245107354053370416429084662505981/365692858674586324\ 6978343861839471870489364700687439*c_0101_9^19 + 410187794366444184049911557922271611466053836850/365692858674586324\ 6978343861839471870489364700687439*c_0101_9^18 + 868929155208084809068643018520324576836852496952/365692858674586324\ 6978343861839471870489364700687439*c_0101_9^17 + 1544724036893111702971813716795192959871469387130/36569285867458632\ 46978343861839471870489364700687439*c_0101_9^16 + 1007725732870810552307766656520178759600631756957/36569285867458632\ 46978343861839471870489364700687439*c_0101_9^15 - 5077140315627309018419126260153520436016961390722/36569285867458632\ 46978343861839471870489364700687439*c_0101_9^14 - 19150051700576909858867139820855014882938232448825/3656928586745863\ 246978343861839471870489364700687439*c_0101_9^13 - 27246794252803544151433080538138925242847083662166/3656928586745863\ 246978343861839471870489364700687439*c_0101_9^12 + 9716348418262049366720209928902480723485441017418/36569285867458632\ 46978343861839471870489364700687439*c_0101_9^11 + 126790685134607069205670197852274355650722240075863/365692858674586\ 3246978343861839471870489364700687439*c_0101_9^10 + 326360236669234862955626800896172480704742466638245/365692858674586\ 3246978343861839471870489364700687439*c_0101_9^9 + 634737374654427507265390134677610005198932163916594/365692858674586\ 3246978343861839471870489364700687439*c_0101_9^8 + 1243280238008818363790852340777590019346390153150785/36569285867458\ 63246978343861839471870489364700687439*c_0101_9^7 + 2221939952673548045526558918748276740375578641667628/36569285867458\ 63246978343861839471870489364700687439*c_0101_9^6 + 3016905157735693015291070883868542206234591073589168/36569285867458\ 63246978343861839471870489364700687439*c_0101_9^5 + 3268260529580734246444669722399993748257915653463567/36569285867458\ 63246978343861839471870489364700687439*c_0101_9^4 + 4226759976906319331079639211970821292945935851148093/36569285867458\ 63246978343861839471870489364700687439*c_0101_9^3 + 4482158757444236133470965154302481976173503671027344/36569285867458\ 63246978343861839471870489364700687439*c_0101_9^2 + 4008234157466417899104783129431727669913390006763438/36569285867458\ 63246978343861839471870489364700687439*c_0101_9 + 1153306090918802878052604802222453222006998426650761/36569285867458\ 63246978343861839471870489364700687439, c_0101_4 - 24976809785742563151130677100203010654830912987/365692858674\ 5863246978343861839471870489364700687439*c_0101_9^20 - 147140969362762116641219643025368921258456008123/365692858674586324\ 6978343861839471870489364700687439*c_0101_9^19 - 282541249509860721100728101373831094734410811466/365692858674586324\ 6978343861839471870489364700687439*c_0101_9^18 - 270057324293464158136392259482390893748288220040/365692858674586324\ 6978343861839471870489364700687439*c_0101_9^17 - 433841263729507903011948769596191050868997182864/365692858674586324\ 6978343861839471870489364700687439*c_0101_9^16 + 888636728303040910881374520219243445306250850336/365692858674586324\ 6978343861839471870489364700687439*c_0101_9^15 + 7419043158322275395911395233057155609915729942253/36569285867458632\ 46978343861839471870489364700687439*c_0101_9^14 + 11113563683869279597597862487885052596460927679514/3656928586745863\ 246978343861839471870489364700687439*c_0101_9^13 - 7511083169573412849063749947740248434136130527372/36569285867458632\ 46978343861839471870489364700687439*c_0101_9^12 - 68344584434626400687680375085450262971207621590986/3656928586745863\ 246978343861839471870489364700687439*c_0101_9^11 - 129915054495538194944517560162495471666313972409562/365692858674586\ 3246978343861839471870489364700687439*c_0101_9^10 - 37529554045054129917063518913093551331992916891838/3656928586745863\ 246978343861839471870489364700687439*c_0101_9^9 - 13253805263879740883455984759096490531739115713573/3656928586745863\ 246978343861839471870489364700687439*c_0101_9^8 - 525380519107864651698674043824852640632518023342822/365692858674586\ 3246978343861839471870489364700687439*c_0101_9^7 - 1527679962218634337723507417989180177165600004608581/36569285867458\ 63246978343861839471870489364700687439*c_0101_9^6 - 1816787655407535281088387666032720207366933706169843/36569285867458\ 63246978343861839471870489364700687439*c_0101_9^5 - 713350073621769521311818154876395234440982565989350/365692858674586\ 3246978343861839471870489364700687439*c_0101_9^4 - 931722880485891467720620628926840382679062449670380/365692858674586\ 3246978343861839471870489364700687439*c_0101_9^3 - 3350283009358331060617660972423652408358017599671863/36569285867458\ 63246978343861839471870489364700687439*c_0101_9^2 - 4664570913152963015799949143346713581464134911486939/36569285867458\ 63246978343861839471870489364700687439*c_0101_9 - 1392766139759505715475162136603920345381538117466206/36569285867458\ 63246978343861839471870489364700687439, c_0101_6 + 41713761597517535625628694681557367203383481691/365692858674\ 5863246978343861839471870489364700687439*c_0101_9^20 + 315645760824732212200128314076806540011955209742/365692858674586324\ 6978343861839471870489364700687439*c_0101_9^19 + 641147053437478956259183033222469119325281392082/365692858674586324\ 6978343861839471870489364700687439*c_0101_9^18 + 553017283018938701627563679954150593250023827433/365692858674586324\ 6978343861839471870489364700687439*c_0101_9^17 + 1202494981808972508930411068863485770287778285394/36569285867458632\ 46978343861839471870489364700687439*c_0101_9^16 - 1968218132434213300959131227351495142830567802617/36569285867458632\ 46978343861839471870489364700687439*c_0101_9^15 - 17077956296136248065022299961346545978233521914002/3656928586745863\ 246978343861839471870489364700687439*c_0101_9^14 - 27541058831035825436761366709081673882984234829855/3656928586745863\ 246978343861839471870489364700687439*c_0101_9^13 + 5163195608543045887549691238442824668101882544279/36569285867458632\ 46978343861839471870489364700687439*c_0101_9^12 + 144337803583272229746875894333282864789861104874130/365692858674586\ 3246978343861839471870489364700687439*c_0101_9^11 + 312477962196828471465482257222684725417870617888026/365692858674586\ 3246978343861839471870489364700687439*c_0101_9^10 + 203033782370452919150765176784097391989406397789921/365692858674586\ 3246978343861839471870489364700687439*c_0101_9^9 + 96686370857064959245695009424511197118692826819004/3656928586745863\ 246978343861839471870489364700687439*c_0101_9^8 + 888120161035551708526506325424363579370059900306451/365692858674586\ 3246978343861839471870489364700687439*c_0101_9^7 + 2650337496779974498738366734266039129936834689673931/36569285867458\ 63246978343861839471870489364700687439*c_0101_9^6 + 2945606199775150707962457026825539836638125413113876/36569285867458\ 63246978343861839471870489364700687439*c_0101_9^5 + 984688656685547474398590238912620931076067903814464/365692858674586\ 3246978343861839471870489364700687439*c_0101_9^4 + 743723456455343921685007983689557897840486358592515/365692858674586\ 3246978343861839471870489364700687439*c_0101_9^3 + 4846985261150118133862956798024270956831382915209042/36569285867458\ 63246978343861839471870489364700687439*c_0101_9^2 + 5974255457634191598214842678259605450497495347922926/36569285867458\ 63246978343861839471870489364700687439*c_0101_9 + 2821379028968244140303109172835075905863395127714583/36569285867458\ 63246978343861839471870489364700687439, c_0101_8 + 29555535032268583081424351147722244939114016860/365692858674\ 5863246978343861839471870489364700687439*c_0101_9^20 + 166860123698242597354955804888453332220799267019/365692858674586324\ 6978343861839471870489364700687439*c_0101_9^19 + 203960695191159136464433068531906298827553878060/365692858674586324\ 6978343861839471870489364700687439*c_0101_9^18 + 399995303572202394141298457433786039392727102175/365692858674586324\ 6978343861839471870489364700687439*c_0101_9^17 + 1115961341206459751462440106296815180777758294157/36569285867458632\ 46978343861839471870489364700687439*c_0101_9^16 - 2022681735929088417751829657176209344265735821213/36569285867458632\ 46978343861839471870489364700687439*c_0101_9^15 - 7380411539025898510174871536162768971428004521651/36569285867458632\ 46978343861839471870489364700687439*c_0101_9^14 - 8484492647099189940978138455932743204066765028588/36569285867458632\ 46978343861839471870489364700687439*c_0101_9^13 - 3444952628978666494035790572478467342000022144868/36569285867458632\ 46978343861839471870489364700687439*c_0101_9^12 + 50995748904518691796177638497293419651289032536937/3656928586745863\ 246978343861839471870489364700687439*c_0101_9^11 + 111771353710613484597508900242879781463270279303804/365692858674586\ 3246978343861839471870489364700687439*c_0101_9^10 + 135621063385585276838843422949954994147839100121496/365692858674586\ 3246978343861839471870489364700687439*c_0101_9^9 + 366205814937489740743665339804276703863686186369952/365692858674586\ 3246978343861839471870489364700687439*c_0101_9^8 + 670590650442481461538000213545244698437361556986864/365692858674586\ 3246978343861839471870489364700687439*c_0101_9^7 + 822101557215270900629904741592170401387114550171545/365692858674586\ 3246978343861839471870489364700687439*c_0101_9^6 + 783210345604640982683793424671652904234429638821870/365692858674586\ 3246978343861839471870489364700687439*c_0101_9^5 + 1239795594964440085168099309685462400236932380724239/36569285867458\ 63246978343861839471870489364700687439*c_0101_9^4 + 1794633361937479495483610679443624723579625575139024/36569285867458\ 63246978343861839471870489364700687439*c_0101_9^3 + 1419054597266136196593775758881349670227560750930582/36569285867458\ 63246978343861839471870489364700687439*c_0101_9^2 - 6541413971686182226115430860170510920391037396708/36569285867458632\ 46978343861839471870489364700687439*c_0101_9 + 1803422241897690617645696201435496980895382863768643/36569285867458\ 63246978343861839471870489364700687439, c_0101_9^21 + 4*c_0101_9^20 + 8*c_0101_9^19 + 17*c_0101_9^18 + 21*c_0101_9^17 - 24*c_0101_9^16 - 177*c_0101_9^15 - 362*c_0101_9^14 - 84*c_0101_9^13 + 1228*c_0101_9^12 + 3280*c_0101_9^11 + 5232*c_0101_9^10 + 9382*c_0101_9^9 + 21211*c_0101_9^8 + 39340*c_0101_9^7 + 52138*c_0101_9^6 + 54608*c_0101_9^5 + 68644*c_0101_9^4 + 86246*c_0101_9^3 + 100631*c_0101_9^2 + 65786*c_0101_9 + 53313 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.290 seconds, Total memory usage: 32.09MB