Magma V2.19-8 Tue Aug 20 2013 16:16:50 on localhost [Seed = 2665415240] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1109 geometric_solution 4.97329565 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 1 0132 0132 0132 1023 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 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.046008847846 0.759149747236 0 1 1 0 0132 3201 2310 1023 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.764465410556 0.518971289375 3 0 4 3 2310 0132 0132 2031 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 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.242846177304 0.672391925690 4 2 2 0 1023 1302 3201 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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.242846177304 0.672391925690 5 3 5 2 0132 1023 2310 0132 0 0 0 0 0 0 -1 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 -1 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 1.417439738036 0.435687328540 4 4 6 6 0132 3201 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.332246572612 0.421741867228 6 5 5 6 3012 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.809471376594 0.558657183162 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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_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_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_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : d['c_0011_6'], '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_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : d['c_0011_3'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0101_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 5718022306706708363864249422936020467285828228177092293096747999848\ 52435000770776703677739087009/4449805909120227388820387781142386058\ 457022935766903169820187097018095918186606848006101141858*c_0101_4^\ 29 - 10565807883151832946502728865921458711108780154386818404944647\ 956853019503089698078396118978966337/133494177273606821664611633434\ 27158175371068807300709509460561291054287754559820544018303425574*c\ _0101_4^28 + 157395230731342712188674036767939780870389135819293603\ 94271312187807977137805940069663575696145567/2224902954560113694410\ 1938905711930292285114678834515849100935485090479590933034240030505\ 70929*c_0101_4^27 + 13436678058911802891975643203487471350562188341\ 9428324169054830650102806677718607136879531094709049/44498059091202\ 2738882038778114238605845702293576690316982018709701809591818660684\ 8006101141858*c_0101_4^26 + 691505920926119337289445002540548235579\ 97598805279893100754554815459309557572764213482105380506970/6674708\ 8636803410832305816717135790876855344036503547547302806455271438772\ 79910272009151712787*c_0101_4^25 - 5765053529867489605925467557659763769532034750202202627250350935502\ 49304390723726895818395453433015/2224902954560113694410193890571193\ 029228511467883451584910093548509047959093303424003050570929*c_0101\ _4^24 - 14287408528636050498181549640389427687598992088137841175714\ 09585870652178542402736642791876183684373/4449805909120227388820387\ 7811423860584570229357669031698201870970180959181866068480061011418\ 58*c_0101_4^23 + 13447191171603523635496922881382642321164339202703\ 150537214537691663060074535974141218375436013947574/667470886368034\ 1083230581671713579087685534403650354754730280645527143877279910272\ 009151712787*c_0101_4^22 - 3422313567362862701152402522138843471783\ 4791453625904469593367999989987054160659487653258465382521451/13349\ 4177273606821664611633434271581753710688073007095094605612910542877\ 54559820544018303425574*c_0101_4^21 - 4559034616283676328861944265539099083518890877833818025244380714936\ 1962024341249315847284204874824807/44498059091202273888203877811423\ 86058457022935766903169820187097018095918186606848006101141858*c_01\ 01_4^20 + 368839515313915622956581543723653970393806317858274539292\ 80272248544021748221426609694526030288341779/2224902954560113694410\ 1938905711930292285114678834515849100935485090479590933034240030505\ 70929*c_0101_4^19 + 84409461566863194335050549168613973503513755024\ 278865597968715889881373703550056815540816026733130069/444980590912\ 0227388820387781142386058457022935766903169820187097018095918186606\ 848006101141858*c_0101_4^18 - 5953782840726515926772207614397645478\ 7762608935816637200169480384719754723872690108990023216652719381/66\ 7470886368034108323058167171357908768553440365035475473028064552714\ 3877279910272009151712787*c_0101_4^17 + 2923896510762902449818791403131968817402482829519178349223549892656\ 95671361856236137043215209430601243/1334941772736068216646116334342\ 7158175371068807300709509460561291054287754559820544018303425574*c_\ 0101_4^16 - 1362208222769280485823733855764561350746162242497151783\ 84963955194205159105809739871576592385912768809/4449805909120227388\ 8203877811423860584570229357669031698201870970180959181866068480061\ 01141858*c_0101_4^15 - 88309855068277751986535704809462913415969203\ 5929742355414747817457593548012768972900223277332904090391/13349417\ 7273606821664611633434271581753710688073007095094605612910542877545\ 59820544018303425574*c_0101_4^14 + 7835171145941760805478813137712515346842984492651871021643789988412\ 7671401252089272743008661324365644/66747088636803410832305816717135\ 79087685534403650354754730280645527143877279910272009151712787*c_01\ 01_4^13 + 342801786625324669061898678622883187130778987104315515196\ 34894039287193786058281203956639255771972392/2224902954560113694410\ 1938905711930292285114678834515849100935485090479590933034240030505\ 70929*c_0101_4^12 + 46335287428319203801008399715116308467029563236\ 794593668078540796931802217997475961607672755593936906/222490295456\ 0113694410193890571193029228511467883451584910093548509047959093303\ 424003050570929*c_0101_4^11 + 1419420222800671763544515167588899217\ 6571690325381633402378420741485579628112217116896349246172667610/22\ 2490295456011369441019389057119302922851146788345158491009354850904\ 7959093303424003050570929*c_0101_4^10 + 1798893772555101317086119841337075548531353424401540996004913619183\ 0739055369783426190800906887626616/22249029545601136944101938905711\ 93029228511467883451584910093548509047959093303424003050570929*c_01\ 01_4^9 - 5455122338354050801402001166310219459566212235246399861902\ 3935456233694125648562854801188734180591225/66747088636803410832305\ 8167171357908768553440365035475473028064552714387727991027200915171\ 2787*c_0101_4^8 - 5488199798593050591214106884849236921473893354478\ 8883477363060310763756062158402892939159470683290979/44498059091202\ 2738882038778114238605845702293576690316982018709701809591818660684\ 8006101141858*c_0101_4^7 + 8336311371471667620091214963836289690212\ 6148927894991782395950840758306146278012159540668134236138719/13349\ 4177273606821664611633434271581753710688073007095094605612910542877\ 54559820544018303425574*c_0101_4^6 + 1350202272594955280780201537458660222463444201216692449361529216447\ 241258966502944575686358879347151/667470886368034108323058167171357\ 9087685534403650354754730280645527143877279910272009151712787*c_010\ 1_4^5 + 35206379732007973105847486987240380665402722688916643122875\ 35244493707515482703094994975610140543193/1334941772736068216646116\ 3343427158175371068807300709509460561291054287754559820544018303425\ 574*c_0101_4^4 - 47451412985187461308227098991890450770981302683731\ 03477265632858300194656053113120690815416264541983/1334941772736068\ 2166461163343427158175371068807300709509460561291054287754559820544\ 018303425574*c_0101_4^3 + 54798968815970803459042246530807079702089\ 1446332082561377653552887897545398405720744844056009253930/66747088\ 6368034108323058167171357908768553440365035475473028064552714387727\ 9910272009151712787*c_0101_4^2 - 1028443468395957436395653764951574\ 23615632922192183410342061675450170455676229885141120332446183747/1\ 3349417727360682166461163343427158175371068807300709509460561291054\ 287754559820544018303425574*c_0101_4 + 9968167216095964084819161148076431086890792578230530649865129625558\ 38723376243019517882810541633/6674708863680341083230581671713579087\ 685534403650354754730280645527143877279910272009151712787, c_0011_0 - 1, c_0011_3 - 267779997945520750902580938592668943093477844658413670483568\ 8816120213162759307764693101308889/44498059091202273888203877811423\ 86058457022935766903169820187097018095918186606848006101141858*c_01\ 01_4^29 - 825838199202030446057883217306400261581361271225080105582\ 9493459595459422379969484697963939873/22249029545601136944101938905\ 71193029228511467883451584910093548509047959093303424003050570929*c\ _0101_4^28 + 147180178457100763686975180896236782343131978512682977\ 432620272354538414356422422745055672472899/444980590912022738882038\ 7781142386058457022935766903169820187097018095918186606848006101141\ 858*c_0101_4^27 + 6299022700663154866951425155812364415780262738006\ 37248162436138886285740763246717506894156675531/4449805909120227388\ 8203877811423860584570229357669031698201870970180959181866068480061\ 01141858*c_0101_4^26 + 22638589463305224968061760165939735313188282\ 9862864329135367137640956039604360196655764826477073/44498059091202\ 2738882038778114238605845702293576690316982018709701809591818660684\ 8006101141858*c_0101_4^25 - 268663514011648435473793136613635624552\ 3327245168070321983098881863062057994038214273571865536858/22249029\ 5456011369441019389057119302922851146788345158491009354850904795909\ 3303424003050570929*c_0101_4^24 - 672056250235157493521347963711159\ 4134057090800305908073770845161975113988622171058982464869214923/44\ 4980590912022738882038778114238605845702293576690316982018709701809\ 5918186606848006101141858*c_0101_4^23 + 4173777315654646165996498571008390816880770534072947809579601394323\ 0922212948972606455488509915205/44498059091202273888203877811423860\ 58457022935766903169820187097018095918186606848006101141858*c_0101_\ 4^22 - 533720651168932245226059673302738955744576301145757580288083\ 17791061212569660610750467318335177677/4449805909120227388820387781\ 142386058457022935766903169820187097018095918186606848006101141858*\ c_0101_4^21 - 10629118285740154357808567064961299378725568869708654\ 2293590089238617944429523941285063852122850160/22249029545601136944\ 1019389057119302922851146788345158491009354850904795909330342400305\ 0570929*c_0101_4^20 + 342243208698163722360401609022266747616957028\ 120324601504885856107369387836934412223507788874368451/444980590912\ 0227388820387781142386058457022935766903169820187097018095918186606\ 848006101141858*c_0101_4^19 + 3900899416109319933148758961015445532\ 87183665688695447657888672582387383854015652557289534231878585/4449\ 8059091202273888203877811423860584570229357669031698201870970180959\ 18186606848006101141858*c_0101_4^18 - 1732587679906704942039601707220964230941467221154118636297041497858\ 17164851575376824877961691554985/4449805909120227388820387781142386\ 058457022935766903169820187097018095918186606848006101141858*c_0101\ _4^17 + 47271617230810598027300414365081011929549608209675214775711\ 1483598675345010973084606401730502040831/44498059091202273888203877\ 8114238605845702293576690316982018709701809591818660684800610114185\ 8*c_0101_4^16 - 316905644527855443075133328817511589426659407990706\ 715843757034134269811250574515525173924440556711/222490295456011369\ 4410193890571193029228511467883451584910093548509047959093303424003\ 050570929*c_0101_4^15 - 6840120697083573269613863656063188909572018\ 16144266269842971619831712243881935624250556882217141912/2224902954\ 5601136944101938905711930292285114678834515849100935485090479590933\ 03424003050570929*c_0101_4^14 + 21605409278390058718877553866307957\ 0599007272473529684340826995849654528234656390432029930863993733/44\ 4980590912022738882038778114238605845702293576690316982018709701809\ 5918186606848006101141858*c_0101_4^13 + 1335207499911411304913070866149600688765921388394028024778307546675\ 69452763574703841052932374056316/2224902954560113694410193890571193\ 029228511467883451584910093548509047959093303424003050570929*c_0101\ _4^12 + 21195541686229625086547910743049970829776237033260377725693\ 2937545173626775436564383781017263734028/22249029545601136944101938\ 9057119302922851146788345158491009354850904795909330342400305057092\ 9*c_0101_4^11 + 721405395980171744283701259725301335954090827236666\ 66036602715281885106463060424299429151188815693/2224902954560113694\ 4101938905711930292285114678834515849100935485090479590933034240030\ 50570929*c_0101_4^10 + 94225684252495700567361344557408118020462939\ 298815944045352926593582911947102829388550203215171087/222490295456\ 0113694410193890571193029228511467883451584910093548509047959093303\ 424003050570929*c_0101_4^9 - 78429650512106528357118151748136042430\ 247848585594971067484801126920285487490935172761224529300413/222490\ 2954560113694410193890571193029228511467883451584910093548509047959\ 093303424003050570929*c_0101_4^8 - 2481395749815503197986480485178444412303432764594984294602304837944\ 91138080798920992717745642451759/4449805909120227388820387781142386\ 058457022935766903169820187097018095918186606848006101141858*c_0101\ _4^7 + 628002858336064812080123934154729422631583422523270254080781\ 74184702077786136384174572435210300841/2224902954560113694410193890\ 571193029228511467883451584910093548509047959093303424003050570929*\ c_0101_4^6 - 495763172026874307718269079222753937425755005119830490\ 0063517185767977062197388102781423658442079/44498059091202273888203\ 8778114238605845702293576690316982018709701809591818660684800610114\ 1858*c_0101_4^5 + 6201047682784372435754649755266147289706142626350\ 672250425017614955100691182696969709101754429085/444980590912022738\ 8820387781142386058457022935766903169820187097018095918186606848006\ 101141858*c_0101_4^4 - 33744674804675577521683344219062982307203455\ 33773887482542377614399623789343167152030231319463452/2224902954560\ 1136944101938905711930292285114678834515849100935485090479590933034\ 24003050570929*c_0101_4^3 + 207889043653078083838536715713615795961\ 7422504794326697047469478254964605401256297602442439350149/44498059\ 0912022738882038778114238605845702293576690316982018709701809591818\ 6606848006101141858*c_0101_4^2 - 2573139571026367340720270727342524\ 67713952021562242232772389800706755890829187778187273677476615/4449\ 8059091202273888203877811423860584570229357669031698201870970180959\ 18186606848006101141858*c_0101_4 + 1076792832336960750077172410899463417699219249319439511674130985267\ 6438687098212790292152121715/44498059091202273888203877811423860584\ 57022935766903169820187097018095918186606848006101141858, c_0011_6 - 304862503510601345193995515921207313518449097761596182079417\ 9324450531990399411358382790230003/44498059091202273888203877811423\ 86058457022935766903169820187097018095918186606848006101141858*c_01\ 01_4^29 - 564094345924494641085687887120734737712696464123944738374\ 70053875014812727586914174774327591221/1334941772736068216646116334\ 3427158175371068807300709509460561291054287754559820544018303425574\ *c_0101_4^28 + 8379949943043952188032584932325435388770676425665270\ 7672141153954904776529111653989853986325918/22249029545601136944101\ 9389057119302922851146788345158491009354850904795909330342400305057\ 0929*c_0101_4^27 + 717293088487214425387568234715181087045856458956\ 175839501076208504512353170187079662833042836187/444980590912022738\ 8820387781142386058457022935766903169820187097018095918186606848006\ 101141858*c_0101_4^26 + 3838184812535825481175754924141404169975969\ 22591862949350290426990741240894937490208300529692530/6674708863680\ 3410832305816717135790876855344036503547547302806455271438772799102\ 72009151712787*c_0101_4^25 - 30628200746414105358614000616117394757\ 59438393790639340212237835659101061179065068846520745010992/2224902\ 9545601136944101938905711930292285114678834515849100935485090479590\ 93303424003050570929*c_0101_4^24 - 7655730586695544971825330424203227446544952255568600366276537704026\ 954580963746439006405685019435/444980590912022738882038778114238605\ 8457022935766903169820187097018095918186606848006101141858*c_0101_4\ ^23 + 7137152230419331491714045217338599980513853815331125960410048\ 9703638764534417235235139437542913120/66747088636803410832305816717\ 13579087685534403650354754730280645527143877279910272009151712787*c\ _0101_4^22 - 182009479904586228903606521375731127420377859951391652\ 602594832515482232831699750722664728389371359/133494177273606821664\ 6116334342715817537106880730070950946056129105428775455982054401830\ 3425574*c_0101_4^21 - 242452299032134569862553950733021626527356429\ 064112069008829209263959183554067359763382751006747217/444980590912\ 0227388820387781142386058457022935766903169820187097018095918186606\ 848006101141858*c_0101_4^20 + 1950674691942473368806485949067611601\ 17931068758490536189130909265426429434707538288783432890423823/2224\ 9029545601136944101938905711930292285114678834515849100935485090479\ 59093303424003050570929*c_0101_4^19 + 4467221870703907625228215375192177103056160355956137909441202790141\ 41775295555278770834169984523871/4449805909120227388820387781142386\ 058457022935766903169820187097018095918186606848006101141858*c_0101\ _4^18 - 30035135185570156419874247286562035218495649229734721554832\ 0974630233903515446996502466451695677388/66747088636803410832305816\ 7171357908768553440365035475473028064552714387727991027200915171278\ 7*c_0101_4^17 + 159671241130025047672567677540604398780567656818224\ 4745537373432667031236538318403814633683886959407/13349417727360682\ 1664611633434271581753710688073007095094605612910542877545598205440\ 18303425574*c_0101_4^16 - 72224063682226226588809151383325316395160\ 0109643452514357418288283953424373803347753859452845310257/44498059\ 0912022738882038778114238605845702293576690316982018709701809591818\ 6606848006101141858*c_0101_4^15 - 468848941695826161316638764405730\ 1552474442559111418114387959225734781637315097932237552059990048095\ /133494177273606821664611633434271581753710688073007095094605612910\ 54287754559820544018303425574*c_0101_4^14 + 3771820654767131281451876148839477528873036415604430446510384121690\ 72547422452850038126321092263818/6674708863680341083230581671713579\ 087685534403650354754730280645527143877279910272009151712787*c_0101\ _4^13 + 16128580633850990320622127996440587939539296298369645002943\ 4475642415815569272977492959919865197735/22249029545601136944101938\ 9057119302922851146788345158491009354850904795909330342400305057092\ 9*c_0101_4^12 + 244015611669823655117860485735183916713007166027695\ 916052489362390967805653949468356133914784244257/222490295456011369\ 4410193890571193029228511467883451584910093548509047959093303424003\ 050570929*c_0101_4^11 + 8131732643312538217044738005806701094361298\ 3760070745775602319229642979012943768772081828900035368/22249029545\ 6011369441019389057119302922851146788345158491009354850904795909330\ 3424003050570929*c_0101_4^10 + 104310230301415611535681674682483416\ 166487737934789409692856259319698845854983251031240195198224626/222\ 4902954560113694410193890571193029228511467883451584910093548509047\ 959093303424003050570929*c_0101_4^9 - 2742230336894383913623017278925009154790259102178214171737472312501\ 59828150765805723631684341718953/6674708863680341083230581671713579\ 087685534403650354754730280645527143877279910272009151712787*c_0101\ _4^8 - 286221166313637006864675916084103355596633180922062828337478\ 163120257150518501145399819421475988903/444980590912022738882038778\ 1142386058457022935766903169820187097018095918186606848006101141858\ *c_0101_4^7 + 43037068871248865146541985771578678896567043724876779\ 3349514124318642005015711203709421153105415259/13349417727360682166\ 4611633434271581753710688073007095094605612910542877545598205440183\ 03425574*c_0101_4^6 - 366254380897502560442533227446114542739760087\ 1153626697515749743802015501750025335697799422481865/66747088636803\ 4108323058167171357908768553440365035475473028064552714387727991027\ 2009151712787*c_0101_4^5 + 2093520705081187441555733403091368734721\ 3199062947976261411733858299229053811999402005327112143967/13349417\ 7273606821664611633434271581753710688073007095094605612910542877545\ 59820544018303425574*c_0101_4^4 - 234698679821864523041238830562551\ 56487499689639791430439980180386689589649121346081971246388346063/1\ 3349417727360682166461163343427158175371068807300709509460561291054\ 287754559820544018303425574*c_0101_4^3 + 3339014490972207071974113286726399346539624930781954793325679444742\ 140100146191874648578757118058/667470886368034108323058167171357908\ 7685534403650354754730280645527143877279910272009151712787*c_0101_4\ ^2 - 78440598981112111951642279003673885631974569650463960326477066\ 4801732041829829936291212056453019/13349417727360682166461163343427\ 158175371068807300709509460561291054287754559820544018303425574*c_0\ 101_4 + 14591965911385722182721756868009522218654146024952900916103\ 782896179714940409864646068892815492/667470886368034108323058167171\ 3579087685534403650354754730280645527143877279910272009151712787, c_0101_0 - 113719498910007685867115466775305376824716137141624578188950\ 8839442505314922450280010887263583/13349417727360682166461163343427\ 158175371068807300709509460561291054287754559820544018303425574*c_0\ 101_4^29 - 87930758223298621364897226695983760745192902687351849910\ 01012214768483304372562476850760554189/1334941772736068216646116334\ 3427158175371068807300709509460561291054287754559820544018303425574\ *c_0101_4^28 + 8501902169829374888169079428411707590968614614715636\ 235273235681103631238325580441946135186131/222490295456011369441019\ 3890571193029228511467883451584910093548509047959093303424003050570\ 929*c_0101_4^27 + 3619466876814407051199923478224904717319198483543\ 79193469837453759252904263304107830977375005085/1334941772736068216\ 6461163343427158175371068807300709509460561291054287754559820544018\ 303425574*c_0101_4^26 + 2712250364954691743194729296473408812515380\ 75293666663596855735173235316394931654484290136392971/6674708863680\ 3410832305816717135790876855344036503547547302806455271438772799102\ 72009151712787*c_0101_4^25 - 33380516363362583452052830032721420761\ 1376104074097901410751887477648936385514877589095082983541/22249029\ 5456011369441019389057119302922851146788345158491009354850904795909\ 3303424003050570929*c_0101_4^24 - 635111057156411839319368288743223\ 5916825066616283027641122471687630655332453923431567852874661901/13\ 3494177273606821664611633434271581753710688073007095094605612910542\ 87754559820544018303425574*c_0101_4^23 + 6115450909913879238509346395394025225440109221643354811849232820774\ 476299628596103958092538974410/667470886368034108323058167171357908\ 7685534403650354754730280645527143877279910272009151712787*c_0101_4\ ^22 + 3524117213988199154664665311308488690012418905634348287059865\ 471789631423760562504299496816482015/133494177273606821664611633434\ 27158175371068807300709509460561291054287754559820544018303425574*c\ _0101_4^21 - 393164302901107651185108725751516388595614091799189632\ 70878357998602152002655708809341830421344065/4449805909120227388820\ 3877811423860584570229357669031698201870970180959181866068480061011\ 41858*c_0101_4^20 - 75042545006790407228294182993143666008844645339\ 5517182120522154446410795006223661679972255635617/22249029545601136\ 9441019389057119302922851146788345158491009354850904795909330342400\ 3050570929*c_0101_4^19 + 349677535425670537706719831097181442725812\ 846500915065853582091653207631031413033998965006980029681/133494177\ 2736068216646116334342715817537106880730070950946056129105428775455\ 9820544018303425574*c_0101_4^18 + 404243158211134033190421425376660\ 65041391827192730172944221468030029602688173782277839803991748727/2\ 2249029545601136944101938905711930292285114678834515849100935485090\ 47959093303424003050570929*c_0101_4^17 + 1746166386429400009889347384643845763098478372168912631724879303853\ 32272784877287926100754887981421/1334941772736068216646116334342715\ 8175371068807300709509460561291054287754559820544018303425574*c_010\ 1_4^16 + 3025321665848589491294854442224421182632331366782557941000\ 9899967224327419004585936248139767759549/13349417727360682166461163\ 3434271581753710688073007095094605612910542877545598205440183034255\ 74*c_0101_4^15 - 91430595091236616694445472840304432626928934705293\ 1840827085057974681016029588359690468394415563473/13349417727360682\ 1664611633434271581753710688073007095094605612910542877545598205440\ 18303425574*c_0101_4^14 - 46014756075608473186511335244082281485189\ 5455215473662357635700998993532222604732999641290663828268/66747088\ 6368034108323058167171357908768553440365035475473028064552714387727\ 9910272009151712787*c_0101_4^13 - 543451389958887010173521017406336\ 8699662561409849429806761849702305765723294605586999475935320602/22\ 2490295456011369441019389057119302922851146788345158491009354850904\ 7959093303424003050570929*c_0101_4^12 + 5607475923679466861160154436509393322320308061591720312575633455991\ 2239524129489422515635189730734/22249029545601136944101938905711930\ 29228511467883451584910093548509047959093303424003050570929*c_0101_\ 4^11 + 655524318199605412644313581608092816481554816141312491247470\ 86831027035471854268189365405507257366/2224902954560113694410193890\ 571193029228511467883451584910093548509047959093303424003050570929*\ c_0101_4^10 + 13453884964031218250549251595382625760347336768426887\ 6264973051247298567196732595388009459699461285/66747088636803410832\ 3058167171357908768553440365035475473028064552714387727991027200915\ 1712787*c_0101_4^9 + 5293889342825090026691095605466471589711489501\ 3624785275118150535390415911183267848187478735984268/66747088636803\ 4108323058167171357908768553440365035475473028064552714387727991027\ 2009151712787*c_0101_4^8 - 1639137715748798796109255083975311389440\ 30473935406116250484896549248535553780781444446519297349033/1334941\ 7727360682166461163343427158175371068807300709509460561291054287754\ 559820544018303425574*c_0101_4^7 - 1324055357174720692052350867194700831962511416853513405755797785469\ 39380598999902768087319864940391/1334941772736068216646116334342715\ 8175371068807300709509460561291054287754559820544018303425574*c_010\ 1_4^6 + 14052279743916370467735349335315980997195633332481103650245\ 815674890843879758582783938209069483270/667470886368034108323058167\ 1713579087685534403650354754730280645527143877279910272009151712787\ *c_0101_4^5 + 41324634728804009645013940726558422460268452225723397\ 82694214647661323632667367856422457324674953/4449805909120227388820\ 3877811423860584570229357669031698201870970180959181866068480061011\ 41858*c_0101_4^4 + 395638112739744887331189979839260707024979885595\ 1601738540676820304516821088641874006379917207945/13349417727360682\ 1664611633434271581753710688073007095094605612910542877545598205440\ 18303425574*c_0101_4^3 - 323639081444071832992243194265695769104792\ 445491532757230290524816034498023145775092809579351277/222490295456\ 0113694410193890571193029228511467883451584910093548509047959093303\ 424003050570929*c_0101_4^2 + 78441105497422198689188587981294500412\ 427789183073774709528334712030233378831498765726934825635/444980590\ 9120227388820387781142386058457022935766903169820187097018095918186\ 606848006101141858*c_0101_4 - 5984559478119711055190424003526044393\ 675727289398891485041864692747559342498152172039656506758/667470886\ 3680341083230581671713579087685534403650354754730280645527143877279\ 910272009151712787, c_0101_1 + 771421327758716223692078552277682252839911394534553705537161\ 1446249344346848304695433393988469/44498059091202273888203877811423\ 86058457022935766903169820187097018095918186606848006101141858*c_01\ 01_4^29 + 686090156279081757812946034842456619557471294290924882650\ 68312336905532952014782891430235317949/6674708863680341083230581671\ 713579087685534403650354754730280645527143877279910272009151712787*\ c_0101_4^28 - 43565713599726484631781558689845025552449257316881603\ 3558053027153018044717948324749035039459033/44498059091202273888203\ 8778114238605845702293576690316982018709701809591818660684800610114\ 1858*c_0101_4^27 - 171524752379192927914786787929969303276800090312\ 8621716031101123687426404280075148838584581980805/44498059091202273\ 8882038778114238605845702293576690316982018709701809591818660684800\ 6101141858*c_0101_4^26 - 608238927437674962679779687972455531052422\ 342067856607406857375173481919547791041244885199478303/133494177273\ 6068216646116334342715817537106880730070950946056129105428775455982\ 0544018303425574*c_0101_4^25 + 785366090754248573604536252666175632\ 7358394432222581161965487020668946528766027123195221451799133/22249\ 0295456011369441019389057119302922851146788345158491009354850904795\ 9093303424003050570929*c_0101_4^24 + 1569913792193324110082104830653067083110725618402660795411166661233\ 7276805484010180607108428358067/44498059091202273888203877811423860\ 58457022935766903169820187097018095918186606848006101141858*c_0101_\ 4^23 - 376364280670475132256785742373932540585221023162709461006441\ 480265399150644252072577296056087575959/133494177273606821664611633\ 4342715817537106880730070950946056129105428775455982054401830342557\ 4*c_0101_4^22 + 544910691972223113927354244891083402031498008102087\ 296039252405614607625005147749518129753645306169/133494177273606821\ 6646116334342715817537106880730070950946056129105428775455982054401\ 8303425574*c_0101_4^21 + 290108771221720141775546665408043121205207\ 961831756248013029285512448200139061694819740708786235336/222490295\ 4560113694410193890571193029228511467883451584910093548509047959093\ 303424003050570929*c_0101_4^20 - 1137453185744693430354336910492233\ 172251936284352997743364163184365332908997284533504905573137827517/\ 4449805909120227388820387781142386058457022935766903169820187097018\ 095918186606848006101141858*c_0101_4^19 - 9127398373864499489540102526640765975503778709476802100272504448663\ 00364825012258222270577832376371/4449805909120227388820387781142386\ 058457022935766903169820187097018095918186606848006101141858*c_0101\ _4^18 + 24063282655815155925752036557497717376388825008123364335023\ 85104214006985333233427136765838123364249/1334941772736068216646116\ 3343427158175371068807300709509460561291054287754559820544018303425\ 574*c_0101_4^17 - 4297135886547759741233115337578736457241825907804\ 608432705954124519919646651370292717848077192818179/133494177273606\ 8216646116334342715817537106880730070950946056129105428775455982054\ 4018303425574*c_0101_4^16 + 106917080843396693917136421266984206141\ 2430643660978953886484448941331709744509961809710576036323813/22249\ 0295456011369441019389057119302922851146788345158491009354850904795\ 9093303424003050570929*c_0101_4^15 + 5332062178655962727220079768561688747977505339260501180946531746201\ 797522327631501107641790626232653/667470886368034108323058167171357\ 9087685534403650354754730280645527143877279910272009151712787*c_010\ 1_4^14 - 4881513665052836497517070928019377051564230219880007550696\ 800947737888183250759104946810598995032961/133494177273606821664611\ 6334342715817537106880730070950946056129105428775455982054401830342\ 5574*c_0101_4^13 - 391224466364421408811010916061225783600798924945\ 537412821978369828915446422913730640942196167938439/222490295456011\ 3694410193890571193029228511467883451584910093548509047959093303424\ 003050570929*c_0101_4^12 - 5178733226311148095623928399715411397480\ 94452070773454635602028277816180123275945035104282304036257/2224902\ 9545601136944101938905711930292285114678834515849100935485090479590\ 93303424003050570929*c_0101_4^11 - 4562051550065493334742357924844580311379992069960214599152779731062\ 0272196169291775883717337299830/22249029545601136944101938905711930\ 29228511467883451584910093548509047959093303424003050570929*c_0101_\ 4^10 - 195314671123589553472195600836821363033844137265985451732401\ 022306436057770477026308532878316162750/222490295456011369441019389\ 0571193029228511467883451584910093548509047959093303424003050570929\ *c_0101_4^9 + 90760754813956742849533329273482073911386615346083869\ 7369454628081530180359983054724605081208698652/66747088636803410832\ 3058167171357908768553440365035475473028064552714387727991027200915\ 1712787*c_0101_4^8 + 6304578444219999900044714235370528944764335826\ 47312446329358818451221636933511498850806497399659651/4449805909120\ 2273888203877811423860584570229357669031698201870970180959181866068\ 48006101141858*c_0101_4^7 - 820930111164799065032244960787138479569\ 368542886180975710610426934510194503289358928278280249750154/667470\ 8863680341083230581671713579087685534403650354754730280645527143877\ 279910272009151712787*c_0101_4^6 + 2113780446962186829269705968360197799394562026873583974335294961658\ 91342673791669968848064463687901/1334941772736068216646116334342715\ 8175371068807300709509460561291054287754559820544018303425574*c_010\ 1_4^5 - 34928822685936829896032259032466002306286975615257279540696\ 413518658935228258466728779489781019745/133494177273606821664611633\ 4342715817537106880730070950946056129105428775455982054401830342557\ 4*c_0101_4^4 + 3744964437621788706645483374453522422002250196373586\ 0143505682324168521639527522537287995948976960/66747088636803410832\ 3058167171357908768553440365035475473028064552714387727991027200915\ 1712787*c_0101_4^3 - 2919957391933378461496167364184859595670398013\ 2971862958915952930060427062825107683826998884838747/13349417727360\ 6821664611633434271581753710688073007095094605612910542877545598205\ 44018303425574*c_0101_4^2 + 451313188942823392698341539506708398578\ 7557243080683769648110942235053231553473212764588919173215/13349417\ 7273606821664611633434271581753710688073007095094605612910542877545\ 59820544018303425574*c_0101_4 - 26748160148211795585685690158496326\ 2796653555450197302250893088140384259912712853154772647381627/13349\ 4177273606821664611633434271581753710688073007095094605612910542877\ 54559820544018303425574, c_0101_2 - 152420132202169303027022219743423775492760506605359069558019\ 9902431654895243432381773310468757/66747088636803410832305816717135\ 79087685534403650354754730280645527143877279910272009151712787*c_01\ 01_4^29 - 308031838335338885771078308354130618905948519785925149529\ 4624007753024371012512592241160699270/22249029545601136944101938905\ 71193029228511467883451584910093548509047959093303424003050570929*c\ _0101_4^28 + 282777434374977985259409421168132883354777939652262141\ 78832367489380083396253859326613005612407/2224902954560113694410193\ 8905711930292285114678834515849100935485090479590933034240030505709\ 29*c_0101_4^27 + 35017289310416989649441011941002350938238364716150\ 7153815058163473210676224109824658345505580845/66747088636803410832\ 3058167171357908768553440365035475473028064552714387727991027200915\ 1712787*c_0101_4^26 + 291545713345826749868186340712881110775884570\ 51052967904377641428002324678823160499489799086139/2224902954560113\ 6944101938905711930292285114678834515849100935485090479590933034240\ 03050570929*c_0101_4^25 - 10297967087075357559259512165947233578654\ 56354703104751822913941291054059817526224148687019860661/2224902954\ 5601136944101938905711930292285114678834515849100935485090479590933\ 03424003050570929*c_0101_4^24 - 35146154023596180023344849208257778\ 13124179659832123150872574602560042475470682370250944786668755/6674\ 7088636803410832305816717135790876855344036503547547302806455271438\ 77279910272009151712787*c_0101_4^23 + 2429491802216795431387438553784207689158072705269440029590965741072\ 7804941521066679235499025670376/66747088636803410832305816717135790\ 87685534403650354754730280645527143877279910272009151712787*c_0101_\ 4^22 - 108884197194143581910388182815550813037168720796635244276833\ 18933409378205027416195423333697309917/2224902954560113694410193890\ 571193029228511467883451584910093548509047959093303424003050570929*\ c_0101_4^21 - 39606297081084357799385602637971556274065806380504668\ 797158554543980436367107915818274923283456931/222490295456011369441\ 0193890571193029228511467883451584910093548509047959093303424003050\ 570929*c_0101_4^20 + 6953924371653948594342351909935317035954955021\ 2352990220065012406479687408708048077901816767581701/22249029545601\ 1369441019389057119302922851146788345158491009354850904795909330342\ 4003050570929*c_0101_4^19 + 207348974947807994122568916196009381374\ 791610590815706106995916085978606310401510293461634387712697/667470\ 8863680341083230581671713579087685534403650354754730280645527143877\ 279910272009151712787*c_0101_4^18 - 1290892511307890224792827560389841466604826285793910497124316016239\ 74833361778465184660622613151055/6674708863680341083230581671713579\ 087685534403650354754730280645527143877279910272009151712787*c_0101\ _4^17 + 89109458850654463251331376173427791890817659437642661499546\ 547607629341653880633850907096142633164/222490295456011369441019389\ 0571193029228511467883451584910093548509047959093303424003050570929\ *c_0101_4^16 - 3882480751145961180820216380898732243520951928843894\ 98753649064867040465040353933621052345144181436/6674708863680341083\ 2305816717135790876855344036503547547302806455271438772799102720091\ 51712787*c_0101_4^15 - 75288164565372177836799050263226235171957990\ 8474165501106817516563643540340910185129931978749085385/66747088636\ 8034108323058167171357908768553440365035475473028064552714387727991\ 0272009151712787*c_0101_4^14 + 725083445539997125467118172807368258\ 10827414214140428783907611404283438057590101752826619553310767/2224\ 9029545601136944101938905711930292285114678834515849100935485090479\ 59093303424003050570929*c_0101_4^13 + 5929801322718600013019990859176601382802834043715477361704801619628\ 6781803809648063966539987916612/22249029545601136944101938905711930\ 29228511467883451584910093548509047959093303424003050570929*c_0101_\ 4^12 + 770941450590302019020926256413990506125494383230915883972323\ 85907246821121277690985479282619903778/2224902954560113694410193890\ 571193029228511467883451584910093548509047959093303424003050570929*\ c_0101_4^11 + 17382264613144330485129785894732717650567043622669069\ 551112996860519015509244754361984462907725785/222490295456011369441\ 0193890571193029228511467883451584910093548509047959093303424003050\ 570929*c_0101_4^10 + 8680088557341731763868719951266196928699082244\ 9775947681100251423478564766616186489382433976907202/66747088636803\ 4108323058167171357908768553440365035475473028064552714387727991027\ 2009151712787*c_0101_4^9 - 3582450390937442089755125397901412763955\ 4208831930293390791741854340075400441841860824571696441593/22249029\ 5456011369441019389057119302922851146788345158491009354850904795909\ 3303424003050570929*c_0101_4^8 - 1387274948099804323182633141718841\ 10877118176616276715787468199292396448369094497397425903143922892/6\ 6747088636803410832305816717135790876855344036503547547302806455271\ 43877279910272009151712787*c_0101_4^7 + 8826213765469873671542942095803095354258552622061904678600819409287\ 5863868196562821238284922091370/66747088636803410832305816717135790\ 87685534403650354754730280645527143877279910272009151712787*c_0101_\ 4^6 - 3569417645542894053596311725363496728188565586025162749974857\ 402037935289545811738950849056711259/667470886368034108323058167171\ 3579087685534403650354754730280645527143877279910272009151712787*c_\ 0101_4^5 + 24971298863327021632173477143570139117230701233790969910\ 64331568502970376654535381314850531107815/6674708863680341083230581\ 6717135790876855344036503547547302806455271438772799102720091517127\ 87*c_0101_4^4 - 446923896282695281742713577394449550915225095696598\ 0165180218100137258483809680067001530338133180/66747088636803410832\ 3058167171357908768553440365035475473028064552714387727991027200915\ 1712787*c_0101_4^3 + 1356959071184261612566376018433109172498493177\ 760346794597406246268695928677542891280833306804358/667470886368034\ 1083230581671713579087685534403650354754730280645527143877279910272\ 009151712787*c_0101_4^2 - 14795115916496857546238404291686878190786\ 5699898748058579760444304018144466702825825726993613658/66747088636\ 8034108323058167171357908768553440365035475473028064552714387727991\ 0272009151712787*c_0101_4 + 651711531220871875564506201839930558266\ 727992436893131378711772701142712343798162877630739631/222490295456\ 0113694410193890571193029228511467883451584910093548509047959093303\ 424003050570929, c_0101_4^30 + 6*c_0101_4^29 - 56*c_0101_4^28 - 226*c_0101_4^27 - 45*c_0101_4^26 + 2021*c_0101_4^25 + 2173*c_0101_4^24 - 16009*c_0101_4^23 + 22546*c_0101_4^22 + 76040*c_0101_4^21 - 141132*c_0101_4^20 - 124262*c_0101_4^19 + 89101*c_0101_4^18 - 187160*c_0101_4^17 + 266616*c_0101_4^16 + 471139*c_0101_4^15 - 166378*c_0101_4^14 - 86723*c_0101_4^13 - 142446*c_0101_4^12 - 27312*c_0101_4^11 - 61046*c_0101_4^10 + 70746*c_0101_4^9 + 83013*c_0101_4^8 - 62366*c_0101_4^7 + 9622*c_0101_4^6 - 2784*c_0101_4^5 + 2946*c_0101_4^4 - 1182*c_0101_4^3 + 230*c_0101_4^2 - 23*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB