Magma V2.19-8 Wed Aug 21 2013 01:13:36 on localhost [Seed = 846474393] Type ? for help. Type -D to quit. Loading file "L14n638__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n638 geometric_solution 12.55769925 oriented_manifold CS_known -0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 2 3 0132 0132 1302 0132 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.554669699823 0.698336565758 0 4 5 4 0132 0132 0132 1230 1 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 0 0 0 0 0 0 1 -1 -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.649176124598 1.017993667270 0 0 5 4 2031 0132 0321 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 1 -1 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.302593889762 0.878043614277 6 4 0 7 0132 1302 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 -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.796797510246 0.697384380187 1 1 2 3 3012 0132 0132 2031 1 1 1 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 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.302593889762 0.878043614277 6 7 2 1 3120 3120 0321 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 1 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.289354882819 0.621980864907 3 8 9 5 0132 0132 0132 3120 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 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.823827778217 0.596879658892 10 5 3 11 0132 3120 0132 0132 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 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.823827778217 0.596879658892 10 6 11 12 1023 0132 0213 0132 1 1 1 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 0 0 0 0 0 0 0 -1 0 0 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.689589062391 0.628738199310 12 10 11 6 0321 0213 0132 0132 1 1 1 1 0 -1 1 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 1 -1 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.574813006900 1.008812837037 7 8 9 12 0132 1023 0213 0321 1 1 1 1 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 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.574813006900 1.008812837037 12 8 7 9 3201 0213 0132 0132 1 1 1 1 0 1 0 -1 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 0 -1 1 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.689589062391 0.628738199310 9 10 8 11 0321 0321 0132 2310 1 1 1 1 0 0 -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 0 -1 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.466117196725 0.431336542820 ==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_0011_5']), 'c_1001_10' : d['c_0011_11'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_0101_4'], 'c_1001_7' : negation(d['c_1001_5']), 'c_1001_6' : d['c_1001_12'], 'c_1001_1' : d['c_0011_10'], 'c_1001_0' : d['c_0101_4'], 'c_1001_3' : d['c_0110_4'], 'c_1001_2' : d['c_0110_4'], 'c_1001_9' : d['c_0011_11'], 'c_1001_8' : negation(d['c_0011_5']), 'c_1010_12' : d['c_0101_12'], 'c_1010_11' : d['c_0011_11'], 'c_1010_10' : d['c_0101_12'], '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' : d['c_0011_9'], 'c_0101_10' : d['c_0011_9'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : 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_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0011_11'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0110_4'], 'c_1100_4' : d['c_1001_5'], 'c_1100_7' : d['c_0101_2'], 'c_1100_6' : d['c_0101_2'], 'c_1100_1' : d['c_0110_4'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_1001_5'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_2'], 'c_1100_10' : d['c_1001_12'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0011_5']), 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : d['c_0011_10'], 'c_1010_4' : d['c_0011_10'], 'c_1010_3' : negation(d['c_1001_5']), 'c_1010_2' : d['c_0101_4'], 'c_1010_1' : d['c_0101_4'], 'c_1010_0' : d['c_0110_4'], 'c_1010_9' : d['c_1001_12'], 'c_1010_8' : d['c_1001_12'], 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(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_0011_11'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(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_10'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_12']), 'c_0110_10' : negation(d['c_0011_12']), 'c_0110_12' : negation(d['c_0011_9']), 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_12']), 'c_0101_6' : negation(d['c_0011_12']), 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : negation(d['c_0101_12']), 'c_0101_8' : 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_12']), 'c_0110_8' : d['c_0101_12'], 'c_0110_1' : d['c_0011_0'], 'c_1100_9' : d['c_0101_2'], 'c_0110_3' : negation(d['c_0011_12']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0011_9'], '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_0011_5, c_0011_9, c_0101_1, c_0101_12, c_0101_2, c_0101_4, c_0110_4, c_1001_12, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 168409715713325893708558570759218175695889633/985212093898795733077\ 435781117007456000*c_1001_12^17 + 784661230801144922673979569498372\ 154456665757/1242223944481090272141114680538835488000*c_1001_12^16 + 24032797609021012654618996290297981441742174847/3333300917690925563\ 5786577261125418928000*c_1001_12^15 - 214952492193711814079299840486022204120664821/317457230256278625102\ 729307248813513600*c_1001_12^14 + 537642095026287266449813032527788\ 3347198756331/5714230144613015251849127530478643244800*c_1001_12^13 + 33791236435826216351477045052962457909399566879/19999805506145553\ 3814719463566752513568000*c_1001_12^12 + 12601221791994297589289137503058408723765963879/6666601835381851127\ 157315452225083785600*c_1001_12^11 - 302406406266781472172361263392993281669679239/492606046949397866538\ 717890558503728000*c_1001_12^10 + 316695355385922105846811981208605\ 16159463242701/199998055061455533814719463566752513568000*c_1001_12\ ^9 + 10096216454609509410559469879880724142347895209/28571150723065\ 076259245637652393216224000*c_1001_12^8 + 745019282575869105774799060529344251628129131/370366768632325062619\ 8508584569490992000*c_1001_12^7 - 102187506601529115925442633046915\ 86132188877723/99999027530727766907359731783376256784000*c_1001_12^\ 6 + 1940689856081149241970539772782740543303341763/9999902753072776\ 6907359731783376256784000*c_1001_12^5 + 2102804081180596929210292932140088889977122303/99999027530727766907\ 359731783376256784000*c_1001_12^4 + 1537669101868375671733923856839292638219911/28571150723065076259245\ 6376523932162240*c_1001_12^3 + 301854390532124599248107471008541591\ 84672359/16666504588454627817893288630562709464000*c_1001_12^2 + 8127422542251330271227147990231030206494441/57142301446130152518491\ 27530478643244800*c_1001_12 + 6311573410786260475752147266526564477\ 6074629/199998055061455533814719463566752513568000, c_0011_0 - 1, c_0011_10 + 77259052164653716423522980573273695429/13683501304149940737\ 1866080710695480*c_1001_12^17 + 38504505012828087892512686673446590\ 4291/172531103400151426686265927852616040*c_1001_12^16 + 13354564190675691189478514871033586865071/4629584607904063282748135\ 730711863740*c_1001_12^15 - 231262806395177504422524012750970616697\ /132273845940116093792803878020338964*c_1001_12^14 + 1892473333435228499391767544561983370143/79364307564069656275682326\ 8122033784*c_1001_12^13 + 40954943666797947890175332126766181234177\ /27777507647424379696488814384271182440*c_1001_12^12 + 5724985981400640867716067668682601643479/92591692158081265654962714\ 6142372748*c_1001_12^11 - 28079586246184432076993935551813826997/68\ 417506520749703685933040355347740*c_1001_12^10 - 11493089047192835015470190348960270768887/2777750764742437969648881\ 4384271182440*c_1001_12^9 + 571371579162740810618164288259387612104\ 7/3968215378203482813784116340610168920*c_1001_12^8 + 4004412527525323816260626355301406660207/46295846079040632827481357\ 30711863740*c_1001_12^7 - 2471801960218688835805432247984881825249/\ 13888753823712189848244407192135591220*c_1001_12^6 - 944556974380756685197641600052078651441/138887538237121898482444071\ 92135591220*c_1001_12^5 + 1419818003037565224503844260901209586889/\ 13888753823712189848244407192135591220*c_1001_12^4 + 5686658549001243451607579738186385311/19841076891017414068920581703\ 0508446*c_1001_12^3 + 30222287330479256623186432089810300977/231479\ 2303952031641374067865355931870*c_1001_12^2 + 4069139473472586610598916545339100245/79364307564069656275682326812\ 2033784*c_1001_12 + 49936026025736159862763119627488388587/27777507\ 647424379696488814384271182440, c_0011_11 - 17382796116331778829730862102810199349/16420201564979928884\ 6239296852834576*c_1001_12^17 - 73947894314031408137344464006479279\ 437/207037324080181712023519113423139248*c_1001_12^16 - 268207441830955309104645191477530260743/793643075640696562756823268\ 122033784*c_1001_12^15 + 133540399560477125974163738031608325621/26\ 4547691880232187585607756040677928*c_1001_12^14 - 3669729171808926821981330622701977347983/47618584538441793765409396\ 08732202704*c_1001_12^13 + 826157310581735355895623464757175539847/\ 4761858453844179376540939608732202704*c_1001_12^12 - 988693717758064550247376468704975087959/793643075640696562756823268\ 122033784*c_1001_12^11 + 63843935084282184943666086431343098605/821\ 01007824899644423119648426417288*c_1001_12^10 - 2010425760917851399100999941622342803951/47618584538441793765409396\ 08732202704*c_1001_12^9 - 256894763376654959834078849152894516609/4\ 761858453844179376540939608732202704*c_1001_12^8 - 76680236776242924207718183839195636607/7936430756406965627568232681\ 22033784*c_1001_12^7 + 239203919521020555790536124843335696329/2380\ 929226922089688270469804366101352*c_1001_12^6 - 144267180607502231544728121679160465641/238092922692208968827046980\ 4366101352*c_1001_12^5 + 15432282667505466337479608497159773925/238\ 0929226922089688270469804366101352*c_1001_12^4 - 3002268588458664010412832484410489581/11904646134610448441352349021\ 83050676*c_1001_12^3 + 4895117742776167503807671321362805/661369229\ 70058046896401939010169482*c_1001_12^2 - 10389214196015798172283442255652432257/4761858453844179376540939608\ 732202704*c_1001_12 + 1449941475210708900550218107824397249/4761858\ 453844179376540939608732202704, c_0011_12 + 208044132020356704386733723910144555709/4105050391244982221\ 15598242132086440*c_1001_12^17 + 1012931286459628886592109545214817\ 762411/517593310200454280058797783557848120*c_1001_12^16 + 8421463119292185509539487223253678191604/34721884559280474620611017\ 98033897805*c_1001_12^15 - 230225696400091194289633143371210765771/\ 132273845940116093792803878020338964*c_1001_12^14 + 5592272930457706779077128598868563588249/23809292269220896882704698\ 04366101352*c_1001_12^13 + 8692140004635936637253915684949092258529\ 7/83332522942273139089466443152813547320*c_1001_12^12 + 15433138524948803797987180637030066149415/2777750764742437969648881\ 438427118244*c_1001_12^11 - 186079636288934939493459237997845373067\ /205252519562249111057799121066043220*c_1001_12^10 - 9200602002915328859790425371853120890927/83332522942273139089466443\ 152813547320*c_1001_12^9 + 1423671636919516985406576798427473155959\ 7/11904646134610448441352349021830506760*c_1001_12^8 + 2528403697862584031996365513483970297573/34721884559280474620611017\ 98033897805*c_1001_12^7 - 2445777290474906865430882440348386920561/\ 10416565367784142386183305394101693415*c_1001_12^6 - 284588481973877733808066059547585961479/104165653677841423861833053\ 94101693415*c_1001_12^5 + 1700299489261742886770254182732896394947/\ 20833130735568284772366610788203386830*c_1001_12^4 + 27893773119492753229677917779113366229/1190464613461044844135234902\ 183050676*c_1001_12^3 + 12245261956410041379573914250046836437/1157\ 396151976015820687033932677965935*c_1001_12^2 + 9778771933477542283691963149419221807/23809292269220896882704698043\ 66101352*c_1001_12 + 104694648305118317317127455032590381657/833325\ 22942273139089466443152813547320, c_0011_5 + 208044132020356704386733723910144555709/41050503912449822211\ 5598242132086440*c_1001_12^17 + 10129312864596288865921095452148177\ 62411/517593310200454280058797783557848120*c_1001_12^16 + 8421463119292185509539487223253678191604/34721884559280474620611017\ 98033897805*c_1001_12^15 - 230225696400091194289633143371210765771/\ 132273845940116093792803878020338964*c_1001_12^14 + 5592272930457706779077128598868563588249/23809292269220896882704698\ 04366101352*c_1001_12^13 + 8692140004635936637253915684949092258529\ 7/83332522942273139089466443152813547320*c_1001_12^12 + 15433138524948803797987180637030066149415/2777750764742437969648881\ 438427118244*c_1001_12^11 - 186079636288934939493459237997845373067\ /205252519562249111057799121066043220*c_1001_12^10 - 9200602002915328859790425371853120890927/83332522942273139089466443\ 152813547320*c_1001_12^9 + 1423671636919516985406576798427473155959\ 7/11904646134610448441352349021830506760*c_1001_12^8 + 2528403697862584031996365513483970297573/34721884559280474620611017\ 98033897805*c_1001_12^7 - 2445777290474906865430882440348386920561/\ 10416565367784142386183305394101693415*c_1001_12^6 - 284588481973877733808066059547585961479/104165653677841423861833053\ 94101693415*c_1001_12^5 + 1700299489261742886770254182732896394947/\ 20833130735568284772366610788203386830*c_1001_12^4 + 27893773119492753229677917779113366229/1190464613461044844135234902\ 183050676*c_1001_12^3 + 12245261956410041379573914250046836437/1157\ 396151976015820687033932677965935*c_1001_12^2 + 9778771933477542283691963149419221807/23809292269220896882704698043\ 66101352*c_1001_12 + 104694648305118317317127455032590381657/833325\ 22942273139089466443152813547320, c_0011_9 + c_1001_12, c_0101_1 - 1, c_0101_12 + 94393532756538164557538198598170392717/41050503912449822211\ 5598242132086440*c_1001_12^17 + 45840830172953092324472757519083350\ 3753/517593310200454280058797783557848120*c_1001_12^16 + 15124508696780614568121876808937746497143/1388875382371218984824440\ 7192135591220*c_1001_12^15 - 10725714785501398486500793590963238527\ 3/132273845940116093792803878020338964*c_1001_12^14 + 2521471840239126855428721722850872148535/23809292269220896882704698\ 04366101352*c_1001_12^13 + 3883147912661942407327755175581514529677\ 1/83332522942273139089466443152813547320*c_1001_12^12 + 6940955025497945001084598651590386672107/27777507647424379696488814\ 38427118244*c_1001_12^11 - 87721350496283121692174365703598357691/2\ 05252519562249111057799121066043220*c_1001_12^10 - 7303568617240654104631513811923889705591/83332522942273139089466443\ 152813547320*c_1001_12^9 + 6586019766353667447006558182866075567381\ /11904646134610448441352349021830506760*c_1001_12^8 + 4226981994104136653661911529382542509611/13888753823712189848244407\ 192135591220*c_1001_12^7 - 4088038470679641477301740335510401478147\ /41666261471136569544733221576406773660*c_1001_12^6 - 694327288292385585166208193071163810413/416662614711365695447332215\ 76406773660*c_1001_12^5 + 1561247937731002186968007136146777021007/\ 41666261471136569544733221576406773660*c_1001_12^4 + 6036620158887730045588310114682635563/59523230673052242206761745109\ 1525338*c_1001_12^3 + 10856022123279864786058110846069764507/231479\ 2303952031641374067865355931870*c_1001_12^2 + 470714654770671377281033030310683333/238092922692208968827046980436\ 6101352*c_1001_12 + 48382642362558645776561988057323800681/83332522\ 942273139089466443152813547320, c_0101_2 - 77259052164653716423522980573273695429/136835013041499407371\ 866080710695480*c_1001_12^17 - 385045050128280878925126866734465904\ 291/172531103400151426686265927852616040*c_1001_12^16 - 13354564190675691189478514871033586865071/4629584607904063282748135\ 730711863740*c_1001_12^15 + 231262806395177504422524012750970616697\ /132273845940116093792803878020338964*c_1001_12^14 - 1892473333435228499391767544561983370143/79364307564069656275682326\ 8122033784*c_1001_12^13 - 40954943666797947890175332126766181234177\ /27777507647424379696488814384271182440*c_1001_12^12 - 5724985981400640867716067668682601643479/92591692158081265654962714\ 6142372748*c_1001_12^11 + 28079586246184432076993935551813826997/68\ 417506520749703685933040355347740*c_1001_12^10 + 11493089047192835015470190348960270768887/2777750764742437969648881\ 4384271182440*c_1001_12^9 - 571371579162740810618164288259387612104\ 7/3968215378203482813784116340610168920*c_1001_12^8 - 4004412527525323816260626355301406660207/46295846079040632827481357\ 30711863740*c_1001_12^7 + 2471801960218688835805432247984881825249/\ 13888753823712189848244407192135591220*c_1001_12^6 + 944556974380756685197641600052078651441/138887538237121898482444071\ 92135591220*c_1001_12^5 - 1419818003037565224503844260901209586889/\ 13888753823712189848244407192135591220*c_1001_12^4 - 5686658549001243451607579738186385311/19841076891017414068920581703\ 0508446*c_1001_12^3 - 30222287330479256623186432089810300977/231479\ 2303952031641374067865355931870*c_1001_12^2 - 4069139473472586610598916545339100245/79364307564069656275682326812\ 2033784*c_1001_12 - 49936026025736159862763119627488388587/27777507\ 647424379696488814384271182440, c_0101_4 + 62275179328495620899992601/134361123415083890811792*c_1001_1\ 2^17 + 292122715602535875597182147/169411851262497079719216*c_1001_\ 12^16 + 9058345375806812154920599963/4545884675543671639132296*c_10\ 01_12^15 - 393932566321601113841893611/216470698835412935196776*c_1\ 001_12^14 + 9498153550392676913605274023/3896472579037432833541968*\ c_1001_12^13 + 13684052548929104866430187553/2727530805326202983479\ 3776*c_1001_12^12 + 23540651640096100698725257591/45458846755436716\ 39132296*c_1001_12^11 - 109959141491714092824941189/671805617075419\ 45405896*c_1001_12^10 + 9422075767238375209823170013/27275308053262\ 029834793776*c_1001_12^9 + 3263320215708922754702632343/38964725790\ 37432833541968*c_1001_12^8 + 3020770309368634898618868635/454588467\ 5543671639132296*c_1001_12^7 - 4262880551619458068540592869/1363765\ 4026631014917396888*c_1001_12^6 + 283491031990216105411523807/13637\ 654026631014917396888*c_1001_12^5 + 723344892706570879346477389/13637654026631014917396888*c_1001_12^4 + 27818970666667327792916347/974118144759358208385492*c_1001_12^3 - 1677796503141623147693359/757647445923945273188716*c_1001_12^2 + 12772395147079446845981869/3896472579037432833541968*c_1001_12 + 21580603654910256112432139/27275308053262029834793776, c_0110_4 - 844085143289975206649080652435035568339/82101007824899644423\ 1196484264172880*c_1001_12^17 - 40952784005770916651110008028792298\ 00201/1035186620400908560117595567115696240*c_1001_12^16 - 19354023446447378800854826626603123184303/3968215378203482813784116\ 340610168920*c_1001_12^15 + 943948510843047324602438014078048879077\ /264547691880232187585607756040677928*c_1001_12^14 - 22962483032201910621034491270983073843977/4761858453844179376540939\ 608732202704*c_1001_12^13 - 470493859831423462933064063575891820073\ 01/23809292269220896882704698043661013520*c_1001_12^12 - 9016974469822226089851979618330596453071/79364307564069656275682326\ 8122033784*c_1001_12^11 + 840379932890892543851048084467542155567/4\ 10505039124498222115598242132086440*c_1001_12^10 + 1626455771402599426670124891433603517911/23809292269220896882704698\ 043661013520*c_1001_12^9 - 5422272630877845531707201730813935787667\ 7/23809292269220896882704698043661013520*c_1001_12^8 - 6069258851361826264456658812024332432431/39682153782034828137841163\ 40610168920*c_1001_12^7 + 5839861460191796139677685756410032822897/\ 11904646134610448441352349021830506760*c_1001_12^6 + 562153917153915301127502871498155600613/119046461346104484413523490\ 21830506760*c_1001_12^5 - 1848412540742202792138974428670857015417/\ 11904646134610448441352349021830506760*c_1001_12^4 - 68117367664646429313858860215831559357/1190464613461044844135234902\ 183050676*c_1001_12^3 - 7170349094665498581247726382093782617/66136\ 9229700580468964019390101694820*c_1001_12^2 - 40023913145944131296203680795823680227/4761858453844179376540939608\ 732202704*c_1001_12 - 61640551709815975001394771521677614551/238092\ 92269220896882704698043661013520, c_1001_12^18 + 802/203*c_1001_12^17 + 7391/1421*c_1001_12^16 - 3912/1421*c_1001_12^15 + 935/203*c_1001_12^14 + 3106/1421*c_1001_12^13 + 16481/1421*c_1001_12^12 - 1156/1421*c_1001_12^11 + 633/1421*c_1001_12^10 + 2846/1421*c_1001_12^9 + 2593/1421*c_1001_12^8 - 328/1421*c_1001_12^7 - 20/1421*c_1001_12^6 + 24/203*c_1001_12^5 + 114/1421*c_1001_12^4 + 32/1421*c_1001_12^3 + 17/1421*c_1001_12^2 + 6/1421*c_1001_12 + 1/1421, c_1001_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.150 Total time: 1.350 seconds, Total memory usage: 32.09MB