Magma V2.19-8 Tue Aug 20 2013 23:39:44 on localhost [Seed = 1225731569] Type ? for help. Type -D to quit. Loading file "K14n15961__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n15961 geometric_solution 9.32854498 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 14 -14 0 -15 0 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.640501704784 0.264821866822 0 3 5 5 0132 2031 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.658666613025 0.550601600360 6 0 8 7 0132 0132 0132 0132 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 1 -1 0 0 0 0 0 0 0 0 0 -15 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.086090896269 0.737781449245 1 9 8 0 1302 0132 0213 0132 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 14 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.526151414162 0.281169660558 8 10 0 10 2103 0132 0132 0213 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 -1 1 1 0 14 -15 1 0 0 -1 0 15 -15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.219848295888 0.929414961969 1 7 1 6 2310 2031 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.079752734597 0.735184761986 2 8 5 10 0132 1023 2031 1302 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 -1 0 1 0 0 0 0 15 -14 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.233712378579 1.416621173074 5 9 2 9 1302 0213 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.614126934882 0.252092807787 6 3 4 2 1023 0213 2103 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 -1 1 1 0 -1 0 14 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.195081683127 0.846100359628 7 3 7 10 3012 0132 0213 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.027090177983 0.981565692354 9 4 6 4 3120 0132 2031 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 1 0 -15 0 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.219848295888 0.929414961969 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0101_2']), 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_10']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : negation(d['c_0011_10']), 'c_1010_10' : d['c_1001_2'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : negation(d['c_0011_7']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_0_8' : negation(d['1']), 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0011_7'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : d['c_1001_2'], 'c_1100_7' : d['c_0110_10'], 'c_1100_6' : negation(d['c_0011_7']), 'c_1100_1' : negation(d['c_0011_5']), 'c_1100_0' : d['c_1001_2'], 'c_1100_3' : d['c_1001_2'], 'c_1100_2' : d['c_0110_10'], 'c_1100_10' : negation(d['c_0101_2']), 'c_1010_7' : d['c_0011_7'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0011_7'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : d['c_0110_10'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : negation(d['1']), 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_10']), '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_0110_10' : d['c_0110_10'], 'c_0101_7' : negation(d['c_0011_5']), 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_7'], 'c_0101_8' : d['c_0101_1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_10'], 'c_0110_8' : d['c_0101_2'], '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_0011_5']), 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : negation(d['c_0110_10']), 'c_0110_7' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_5, c_0011_7, c_0101_0, c_0101_1, c_0101_2, c_0110_10, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 1054555702448745828879320233056716644933177293275174609875501533968\ 0418558873/15337678062483742515740273778160256619545404131703017153\ 52622707278453760*c_1001_2^25 - 36154692892188493201172546118715168\ 15098121062560180227182419022674876108363/1533767806248374251574027\ 377816025661954540413170301715352622707278453760*c_1001_2^24 - 3914770752210099961985993255832367479920376271968895853021373301340\ 7109048407/84357229343660583836571505779881411407499722724366594344\ 3942489003149568*c_1001_2^23 + 120750152962967928105541760750308965\ 919516932899007804757335611809069821227149/210893073359151459591428\ 7644497035285187493068109164858609856222507873920*c_1001_2^22 + 9576720605367406665183006553456533284253150628672227541608421665995\ 843872459/799594590935171410773189628245321435142177466581673880041\ 65164834421760*c_1001_2^21 - 10222731026248155503364080118776630333\ 0655675971768780766453519707668118760659/38344195156209356289350684\ 4454006415488635103292575428838155676819613440*c_1001_2^20 - 1340466555463584283514207681238946393755179142916142600188802464112\ 57438560801/8435722934366058383657150577988141140749972272436659434\ 439424890031495680*c_1001_2^19 + 1382695253775044225460152563101397\ 403570596783930642906220101940336041019020061/337428917374642335346\ 2860231195256456299988908974663773775769956012598272*c_1001_2^18 - 7745504329555448618626761579514056787350025995558029747772590787262\ 766561187/239651219726308476808441777783754009680396939557859643023\ 84729801225840*c_1001_2^17 - 52662008607577932345512303389985185908\ 395715959590968487787618487958831538529/421786146718302919182857528\ 8994070570374986136218329717219712445015747840*c_1001_2^16 + 4885948868992402005337877174371311097813273837346751823483754816669\ 611182401431/168714458687321167673143011559762822814999445448733188\ 68878849780062991360*c_1001_2^15 - 1893048310556798856740895304250376331548764051036925723930241137849\ 465795020527/337428917374642335346286023119525645629998890897466377\ 3775769956012598272*c_1001_2^14 + 386220538609198443766653867563406\ 886591565413932567454832621762886308256631549/153376780624837425157\ 4027377816025661954540413170301715352622707278453760*c_1001_2^13 + 2211151122636183220824194539446337271469438747370829676071170934675\ 266364460919/337428917374642335346286023119525645629998890897466377\ 3775769956012598272*c_1001_2^12 - 910690639302951968255087553972790\ 939889900299450306261231702086764909206820153/168714458687321167673\ 1430115597628228149994454487331886887884978006299136*c_1001_2^11 - 1442697235528374693292140334054066558553771377768731171621129846198\ 26706035101/4114986797251735796905927111213727385731693791432516797\ 28752433660072960*c_1001_2^10 + 62081945390596523610222164730713484\ 967221370562266765889540299992127374965941/163800445327496279294313\ 603456080410499999461600711833678435434757893120*c_1001_2^9 + 4440466712865090006341556870790224956844602341719017299791965745265\ 93632905283/3374289173746423353462860231195256456299988908974663773\ 775769956012598272*c_1001_2^8 - 71536065074983396380708734322070611\ 5114608685778961170293917306183425107868189/42178614671830291918285\ 75288994070570374986136218329717219712445015747840*c_1001_2^7 - 2285686150780240962484464312721889520254918702612054750222552090575\ 98604980381/8435722934366058383657150577988141140749972272436659434\ 439424890031495680*c_1001_2^6 + 40347993085437232826075590565266925\ 8935816971423120807271671435711431113522391/84357229343660583836571\ 50577988141140749972272436659434439424890031495680*c_1001_2^5 + 1108739199058442345038126884335767971195502869592686508078014112060\ 42036250347/1687144586873211676731430115597628228149994454487331886\ 8878849780062991360*c_1001_2^4 - 1363269055116441188746258700947287\ 90554096297099178994831189099797065506383393/1687144586873211676731\ 4301155976282281499944544873318868878849780062991360*c_1001_2^3 - 5890217474944906930031694589140962348809043225444547052214128373555\ 471724441/210893073359151459591428764449703528518749306810916485860\ 9856222507873920*c_1001_2^2 + 2277332981896205361528266339673453604\ 9015519461379452110251761168109470937/64890176418200449105055004446\ 062624159615171326435841803380191461780736*c_1001_2 + 1200791416895537831943626500927449259014239285057296321023064537190\ 1443006431/16871445868732116767314301155976282281499944544873318868\ 878849780062991360, c_0011_0 - 1, c_0011_10 - 1982789031601138123102591525900961680648029405337591123/511\ 974144574607926954285509336144471241176535616118988*c_1001_2^25 + 1150194266191569072040531438792926648831449641714414221/25598707228\ 7303963477142754668072235620588267808059494*c_1001_2^24 + 3012861494581940247404271851999701903911149192293199581/12799353614\ 3651981738571377334036117810294133904029747*c_1001_2^23 - 14289501924441569438324838844560451481240171948476688949/2559870722\ 87303963477142754668072235620588267808059494*c_1001_2^22 - 15697060824211445679206547928348297848195727897345093311/5119741445\ 74607926954285509336144471241176535616118988*c_1001_2^21 + 107454092418980022294376966511763805788192929880003558167/511974144\ 574607926954285509336144471241176535616118988*c_1001_2^20 - 80870052775858683566132669662750681581871295353068310213/5119741445\ 74607926954285509336144471241176535616118988*c_1001_2^19 - 57237140107105057125626221933126590241827418749083259279/2559870722\ 87303963477142754668072235620588267808059494*c_1001_2^18 + 58645527899523686222450449288154606306323256441880564342/1279935361\ 43651981738571377334036117810294133904029747*c_1001_2^17 - 28440078082444186164806205041372398254307748830445578498/1279935361\ 43651981738571377334036117810294133904029747*c_1001_2^16 - 109495999451432074218400055677842942050417363173470367985/511974144\ 574607926954285509336144471241176535616118988*c_1001_2^15 + 69754525398082772795826111612685507124899996393750827664/1279935361\ 43651981738571377334036117810294133904029747*c_1001_2^14 - 250572903487838978799130049807236816487352374406432271067/511974144\ 574607926954285509336144471241176535616118988*c_1001_2^13 - 24871374341589138059383304601939644519098482323795215648/1279935361\ 43651981738571377334036117810294133904029747*c_1001_2^12 + 187480445613438024018636549133595818148993188494206195805/255987072\ 287303963477142754668072235620588267808059494*c_1001_2^11 - 141106778990642885908776393581318421901880826983989679807/511974144\ 574607926954285509336144471241176535616118988*c_1001_2^10 - 113307835227196840286426146092609577495060077332988287635/255987072\ 287303963477142754668072235620588267808059494*c_1001_2^9 + 145051610516133615829269415634942365876629384095979735431/511974144\ 574607926954285509336144471241176535616118988*c_1001_2^8 + 83302191455051844788156056669750853824220433593618466195/5119741445\ 74607926954285509336144471241176535616118988*c_1001_2^7 - 75135042265150366288709945124111196122927279173679010139/5119741445\ 74607926954285509336144471241176535616118988*c_1001_2^6 - 22405676186142523022061577656598856818428036000619749779/5119741445\ 74607926954285509336144471241176535616118988*c_1001_2^5 + 6021795647928083327841089263350943682344764576242527949/12799353614\ 3651981738571377334036117810294133904029747*c_1001_2^4 + 2564456585441372503936868593730643848091166062808735785/51197414457\ 4607926954285509336144471241176535616118988*c_1001_2^3 - 3894666035452723627458932058065184408276320863490036685/51197414457\ 4607926954285509336144471241176535616118988*c_1001_2^2 - 720260801394307260189851095767631035135825282602342701/511974144574\ 607926954285509336144471241176535616118988*c_1001_2 + 49615025100369463990463187906784633529457885246861501/1279935361436\ 51981738571377334036117810294133904029747, c_0011_3 - 2887728207503791214899450342648052872349761465598139455/5119\ 74144574607926954285509336144471241176535616118988*c_1001_2^25 + 1471030447167777563012991523852510136044810486687012552/12799353614\ 3651981738571377334036117810294133904029747*c_1001_2^24 + 8737018393551171150348962508320743173455361011068462147/25598707228\ 7303963477142754668072235620588267808059494*c_1001_2^23 - 28439850666340620562956609045562389452795762175228158593/2559870722\ 87303963477142754668072235620588267808059494*c_1001_2^22 - 7050554691944291836435828799837969698690100202865794523/51197414457\ 4607926954285509336144471241176535616118988*c_1001_2^21 + 193763366146447398087743230047538442284023786720629600175/511974144\ 574607926954285509336144471241176535616118988*c_1001_2^20 - 189797182237058647914550514507226453021254286177656001771/511974144\ 574607926954285509336144471241176535616118988*c_1001_2^19 - 83495200136194521206617182548729801622379328371704490739/2559870722\ 87303963477142754668072235620588267808059494*c_1001_2^18 + 107131044635892187986189729432126513814774464184535311588/127993536\ 143651981738571377334036117810294133904029747*c_1001_2^17 - 126485223164994117321118178868103522532107316804755925321/255987072\ 287303963477142754668072235620588267808059494*c_1001_2^16 - 109598582846149140553694213465782491693065013973302647933/511974144\ 574607926954285509336144471241176535616118988*c_1001_2^15 + 112005163072893284432305823061854139737178223950326627607/127993536\ 143651981738571377334036117810294133904029747*c_1001_2^14 - 526971139313945923334520200454484161601374598173496406761/511974144\ 574607926954285509336144471241176535616118988*c_1001_2^13 - 15540813368452917108280065737466273965311234519881733788/1279935361\ 43651981738571377334036117810294133904029747*c_1001_2^12 + 338009125275163394897753214390103612226667806223799290645/255987072\ 287303963477142754668072235620588267808059494*c_1001_2^11 - 278593656036758864424302107728231686000478772963325516027/511974144\ 574607926954285509336144471241176535616118988*c_1001_2^10 - 183135069729428399548862333618968273401134000135309780909/255987072\ 287303963477142754668072235620588267808059494*c_1001_2^9 + 238426101521843339151469062431851161553747473020013353817/511974144\ 574607926954285509336144471241176535616118988*c_1001_2^8 + 135632468354599971147945164327431319589545493046940949059/511974144\ 574607926954285509336144471241176535616118988*c_1001_2^7 - 122600480700420338864390948550367197194869797790926179623/511974144\ 574607926954285509336144471241176535616118988*c_1001_2^6 - 26115851651180819147532952910918117087304019438466680867/5119741445\ 74607926954285509336144471241176535616118988*c_1001_2^5 + 10057512159643285868368029544471179597953732019906260853/1279935361\ 43651981738571377334036117810294133904029747*c_1001_2^4 + 1522984179168696702014137416732971042850339331592013163/51197414457\ 4607926954285509336144471241176535616118988*c_1001_2^3 - 7667772187789967948588253677768746201316675739493810833/51197414457\ 4607926954285509336144471241176535616118988*c_1001_2^2 - 222139654424222787988087099642708166555127472307610907/511974144574\ 607926954285509336144471241176535616118988*c_1001_2 + 241449854069082208597987343816025770435537672486160836/127993536143\ 651981738571377334036117810294133904029747, c_0011_5 - 5873995087015448228533449879814483382771884311800262493/5119\ 74144574607926954285509336144471241176535616118988*c_1001_2^25 + 1500677665429084284467845867536566073439271501140582557/25598707228\ 7303963477142754668072235620588267808059494*c_1001_2^24 + 10560064794899849156280573065123467298988390560308823933/1279935361\ 43651981738571377334036117810294133904029747*c_1001_2^23 - 27980142795205778560662513936207174009240559649551208125/2559870722\ 87303963477142754668072235620588267808059494*c_1001_2^22 - 113160829818505554754622770090633463005016615025610976421/511974144\ 574607926954285509336144471241176535616118988*c_1001_2^21 + 265008057836596001746825452791641289448043622220393703509/511974144\ 574607926954285509336144471241176535616118988*c_1001_2^20 + 25393386024898120360496745784126338777638600541578993529/5119741445\ 74607926954285509336144471241176535616118988*c_1001_2^19 - 224246885608825734495547622820112779935935620075363852245/255987072\ 287303963477142754668072235620588267808059494*c_1001_2^18 + 80017728426268968742621160298063167341886290102815613924/1279935361\ 43651981738571377334036117810294133904029747*c_1001_2^17 + 26425956834458630969374665750632685571312674959754679092/1279935361\ 43651981738571377334036117810294133904029747*c_1001_2^16 - 353733294334214975472598792928077871016698733278262374699/511974144\ 574607926954285509336144471241176535616118988*c_1001_2^15 + 133252523018936934862599421985587465676929784092754854531/127993536\ 143651981738571377334036117810294133904029747*c_1001_2^14 - 210086943582098616377454713181624635422758142227075266669/511974144\ 574607926954285509336144471241176535616118988*c_1001_2^13 - 182766804091653959315060815037086141604031306226535851914/127993536\ 143651981738571377334036117810294133904029747*c_1001_2^12 + 320861591146250693450597907568687333095902539530385147861/255987072\ 287303963477142754668072235620588267808059494*c_1001_2^11 + 451856397845541681788090103038727823149826201778685755619/511974144\ 574607926954285509336144471241176535616118988*c_1001_2^10 - 256355930127017700880514797264311572833840980499962284077/255987072\ 287303963477142754668072235620588267808059494*c_1001_2^9 - 180568632747666486979027646101882688533521152520912160599/511974144\ 574607926954285509336144471241176535616118988*c_1001_2^8 + 241729554427799374534466814698469936929826131125790198857/511974144\ 574607926954285509336144471241176535616118988*c_1001_2^7 + 54866331506539870865024654626362083433901814634268658431/5119741445\ 74607926954285509336144471241176535616118988*c_1001_2^6 - 78836492234681463206335003215983179675928221925261679113/5119741445\ 74607926954285509336144471241176535616118988*c_1001_2^5 - 3421107421220369774649453158555500169715146701028456133/12799353614\ 3651981738571377334036117810294133904029747*c_1001_2^4 + 16840382043010593902342676766242185418015168790878888015/5119741445\ 74607926954285509336144471241176535616118988*c_1001_2^3 + 6008217426053760103938938224451645510096100637730859725/51197414457\ 4607926954285509336144471241176535616118988*c_1001_2^2 - 1781819474731736617189786886149232426464923571151720891/51197414457\ 4607926954285509336144471241176535616118988*c_1001_2 - 420584066253533343738138169488884013974040423428696009/127993536143\ 651981738571377334036117810294133904029747, c_0011_7 + 1101069721514523812126358153563546341016325335244132207/1279\ 93536143651981738571377334036117810294133904029747*c_1001_2^25 + 168297402157449957306785554072037919435578748982737497/127993536143\ 651981738571377334036117810294133904029747*c_1001_2^24 - 14237255583314472204915332277256780542444410658176909689/2559870722\ 87303963477142754668072235620588267808059494*c_1001_2^23 + 10790327866417157473014407838386354391714418860034945519/2559870722\ 87303963477142754668072235620588267808059494*c_1001_2^22 + 20466345539390822242579566626291954722872395413979567763/1279935361\ 43651981738571377334036117810294133904029747*c_1001_2^21 - 29573381326968426894526072345188634388115005893950689104/1279935361\ 43651981738571377334036117810294133904029747*c_1001_2^20 - 30655308144426968526958932749514113912340495107261008295/2559870722\ 87303963477142754668072235620588267808059494*c_1001_2^19 + 94566309564446439433138985912181054741110238707416724421/2559870722\ 87303963477142754668072235620588267808059494*c_1001_2^18 - 41092980661932864275316003080533110904587480034199793285/2559870722\ 87303963477142754668072235620588267808059494*c_1001_2^17 - 2995568058099495240729637641760506843908683726821915592/12799353614\ 3651981738571377334036117810294133904029747*c_1001_2^16 + 48985014402416556333284805906624823165908559546110646713/2559870722\ 87303963477142754668072235620588267808059494*c_1001_2^15 - 62536988026227093746845518838630121359540546584602841875/1279935361\ 43651981738571377334036117810294133904029747*c_1001_2^14 + 24318519670330577430591476369583512340676092795441163551/2559870722\ 87303963477142754668072235620588267808059494*c_1001_2^13 + 84871312474216235788529072043327063547574579028392172707/1279935361\ 43651981738571377334036117810294133904029747*c_1001_2^12 - 31244611475414493888420755227131343159456119256078123205/2559870722\ 87303963477142754668072235620588267808059494*c_1001_2^11 - 118834878531670677950859408976625682375939538298691024667/255987072\ 287303963477142754668072235620588267808059494*c_1001_2^10 + 3029387668899133930701179032259449058591669881948029470/12799353614\ 3651981738571377334036117810294133904029747*c_1001_2^9 + 36039057843828617458020485293378715217498844106974278620/1279935361\ 43651981738571377334036117810294133904029747*c_1001_2^8 - 3762634207889985917453497449020262666567824116312498023/25598707228\ 7303963477142754668072235620588267808059494*c_1001_2^7 - 28657192649983481617130662782266694638091243025270586903/2559870722\ 87303963477142754668072235620588267808059494*c_1001_2^6 + 2683670699955913489631065416983158113172558125110105721/25598707228\ 7303963477142754668072235620588267808059494*c_1001_2^5 + 4868589295337456476334146570440894663310822130443627568/12799353614\ 3651981738571377334036117810294133904029747*c_1001_2^4 - 665611832263928453404671722857522384333305508883405527/255987072287\ 303963477142754668072235620588267808059494*c_1001_2^3 - 1172933207972871069405563623305671491795463455621288092/12799353614\ 3651981738571377334036117810294133904029747*c_1001_2^2 + 78661403634275755269148846644893696027862828234197233/2559870722873\ 03963477142754668072235620588267808059494*c_1001_2 + 83031499181264751767910072000931447841126237152092063/1279935361436\ 51981738571377334036117810294133904029747, c_0101_0 + 1522025033840974483807212013257755983002884205911983116/1279\ 93536143651981738571377334036117810294133904029747*c_1001_2^25 - 1064652870177607248036323207209442544887997014712369843/12799353614\ 3651981738571377334036117810294133904029747*c_1001_2^24 - 10793395052276149576623508792243715387570084446697711068/1279935361\ 43651981738571377334036117810294133904029747*c_1001_2^23 + 16536249892096418833661620512147970938758216446411439739/1279935361\ 43651981738571377334036117810294133904029747*c_1001_2^22 + 53265602581349268658014397789938026745073347656369524361/2559870722\ 87303963477142754668072235620588267808059494*c_1001_2^21 - 148012941891009068548532807850989454539113708961394626369/255987072\ 287303963477142754668072235620588267808059494*c_1001_2^20 + 11618303178299684691967745202374607242627155402054450107/2559870722\ 87303963477142754668072235620588267808059494*c_1001_2^19 + 234780188083929864943574615307439166312892495713495413555/255987072\ 287303963477142754668072235620588267808059494*c_1001_2^18 - 102947731933310692736327513046167922606049009224939526003/127993536\ 143651981738571377334036117810294133904029747*c_1001_2^17 - 13788285680791383362155098506459534680698170608521362668/1279935361\ 43651981738571377334036117810294133904029747*c_1001_2^16 + 191501495716704795549258332158225505967558671169438773003/255987072\ 287303963477142754668072235620588267808059494*c_1001_2^15 - 151717406611356482895702152737177862673589924957596101766/127993536\ 143651981738571377334036117810294133904029747*c_1001_2^14 + 77082414473648691007374264245755588755144690454896331826/1279935361\ 43651981738571377334036117810294133904029747*c_1001_2^13 + 180458640248078559484280033453563962947897147676054832462/127993536\ 143651981738571377334036117810294133904029747*c_1001_2^12 - 397490979677551440905633938210788492882299655477366672693/255987072\ 287303963477142754668072235620588267808059494*c_1001_2^11 - 92416776447571544482543694086830600277111750442520009533/1279935361\ 43651981738571377334036117810294133904029747*c_1001_2^10 + 156953395394147301395372376474594860309955005787673589244/127993536\ 143651981738571377334036117810294133904029747*c_1001_2^9 + 52573210094193420342348088055322873086966916118876906131/2559870722\ 87303963477142754668072235620588267808059494*c_1001_2^8 - 74008198455799920376356371021112930434098897525442001112/1279935361\ 43651981738571377334036117810294133904029747*c_1001_2^7 - 4640194374371227638416104658778654160358658162098094929/25598707228\ 7303963477142754668072235620588267808059494*c_1001_2^6 + 45078439608161462728601392289201893243474550679037437695/2559870722\ 87303963477142754668072235620588267808059494*c_1001_2^5 - 993771989280953367841094440257507213674971418879137077/127993536143\ 651981738571377334036117810294133904029747*c_1001_2^4 - 4129369076756441545678503747686065791369001986299363672/12799353614\ 3651981738571377334036117810294133904029747*c_1001_2^3 - 437932190645654871038821646918552909667490424401781601/127993536143\ 651981738571377334036117810294133904029747*c_1001_2^2 + 739365474494530963215781285083516434586948754199088463/255987072287\ 303963477142754668072235620588267808059494*c_1001_2 + 330324731269459474746934296230878325630747996691591889/127993536143\ 651981738571377334036117810294133904029747, c_0101_1 - 441879814171437539710682455500566260645307891171042733/51197\ 4144574607926954285509336144471241176535616118988*c_1001_2^25 - 20587253170068663096807118628961158403524901010241867/1279935361436\ 51981738571377334036117810294133904029747*c_1001_2^24 + 1352551591177363018650468631160903822993649510361123817/25598707228\ 7303963477142754668072235620588267808059494*c_1001_2^23 - 847688315117756337564824957706819919393578845413041557/255987072287\ 303963477142754668072235620588267808059494*c_1001_2^22 - 6795254676745940969851135689062494106293394263153098189/51197414457\ 4607926954285509336144471241176535616118988*c_1001_2^21 + 8284522296625844999417930796638733913634075973826775181/51197414457\ 4607926954285509336144471241176535616118988*c_1001_2^20 + 3010829066331104732464907040284046229594328025963650843/51197414457\ 4607926954285509336144471241176535616118988*c_1001_2^19 - 2262091900216491272188823673395812986225213241754152669/25598707228\ 7303963477142754668072235620588267808059494*c_1001_2^18 + 1321738525635806885590555895911421164501793352241341316/12799353614\ 3651981738571377334036117810294133904029747*c_1001_2^17 - 11474014357231227010746983217668396101808468027153798113/2559870722\ 87303963477142754668072235620588267808059494*c_1001_2^16 + 11429629340823567311227882895721934919239416985969443081/5119741445\ 74607926954285509336144471241176535616118988*c_1001_2^15 + 7633915306215269581120139339023383369475112689924642182/12799353614\ 3651981738571377334036117810294133904029747*c_1001_2^14 - 24610000332447138152234324557591991730299024535267407371/5119741445\ 74607926954285509336144471241176535616118988*c_1001_2^13 - 768736359504654578322620344900353970292640828099976640/127993536143\ 651981738571377334036117810294133904029747*c_1001_2^12 - 7748494996606537463171248218172156303682764233989569121/25598707228\ 7303963477142754668072235620588267808059494*c_1001_2^11 - 12346283221736246480340445247578172972604542020970072861/5119741445\ 74607926954285509336144471241176535616118988*c_1001_2^10 + 25704467747646015492167494006604839908262290958065250801/2559870722\ 87303963477142754668072235620588267808059494*c_1001_2^9 + 4077365030239219441212404934394809713985820145814532691/51197414457\ 4607926954285509336144471241176535616118988*c_1001_2^8 - 32251713366208313063221985145558907888707329465397924439/5119741445\ 74607926954285509336144471241176535616118988*c_1001_2^7 + 3654120792078924449708318549927844154672597123946760079/51197414457\ 4607926954285509336144471241176535616118988*c_1001_2^6 + 11391403043670179918537748755050962460397611292831199123/5119741445\ 74607926954285509336144471241176535616118988*c_1001_2^5 - 276062932310756489023261772688461320794902672035982316/127993536143\ 651981738571377334036117810294133904029747*c_1001_2^4 - 3014642517584426220119378062083725444628232534827131807/51197414457\ 4607926954285509336144471241176535616118988*c_1001_2^3 + 400288165672120453970323621456615224380739813822158645/511974144574\ 607926954285509336144471241176535616118988*c_1001_2^2 + 426564096344340334667105424585124758297706649481726231/511974144574\ 607926954285509336144471241176535616118988*c_1001_2 + 110836575355308700636495172753137525167504220649603774/127993536143\ 651981738571377334036117810294133904029747, c_0101_2 + 60556218010882374322899130774913663832376675518183122/127993\ 536143651981738571377334036117810294133904029747*c_1001_2^25 + 215084341731803644857868926286497891647787536203887863/255987072287\ 303963477142754668072235620588267808059494*c_1001_2^24 - 676544165469700515746101279352598266103090701080664603/255987072287\ 303963477142754668072235620588267808059494*c_1001_2^23 - 650672983230895064556330346561608161906571231194895069/255987072287\ 303963477142754668072235620588267808059494*c_1001_2^22 + 1424771550091201475554369624124289768833172070060467063/12799353614\ 3651981738571377334036117810294133904029747*c_1001_2^21 + 321871062629634787687686401557223856975154852990805991/127993536143\ 651981738571377334036117810294133904029747*c_1001_2^20 - 6309011188010141681581810532979216028805515116932919383/25598707228\ 7303963477142754668072235620588267808059494*c_1001_2^19 + 1677052412399204033264483049481381268730881220256958207/25598707228\ 7303963477142754668072235620588267808059494*c_1001_2^18 + 3429396004275190371384485947403433652476414739645330801/12799353614\ 3651981738571377334036117810294133904029747*c_1001_2^17 - 2742955570564350445317289224365651330396718667585170647/12799353614\ 3651981738571377334036117810294133904029747*c_1001_2^16 + 1069611235037482457823512825399393779311465166437506677/25598707228\ 7303963477142754668072235620588267808059494*c_1001_2^15 + 1840137102846766189745724239235174204527689427357580212/12799353614\ 3651981738571377334036117810294133904029747*c_1001_2^14 - 13502234247205623919794841451942745786674927603585288921/2559870722\ 87303963477142754668072235620588267808059494*c_1001_2^13 + 8051889409325788597699108156960011166094924159243193485/25598707228\ 7303963477142754668072235620588267808059494*c_1001_2^12 + 17642815288032805522931151643761186601703231453213662617/2559870722\ 87303963477142754668072235620588267808059494*c_1001_2^11 - 6544545567709861366005988002124194409271163691851593948/12799353614\ 3651981738571377334036117810294133904029747*c_1001_2^10 - 5630837068502338025799249628890199995470050001226527609/25598707228\ 7303963477142754668072235620588267808059494*c_1001_2^9 + 5445291900330233246593907749571401180064861925976894767/12799353614\ 3651981738571377334036117810294133904029747*c_1001_2^8 - 2302766051946145780939817935968077232073106204024246515/25598707228\ 7303963477142754668072235620588267808059494*c_1001_2^7 - 2454067688889091603375565795883264498205355760275870419/12799353614\ 3651981738571377334036117810294133904029747*c_1001_2^6 + 2717858791596045148512752888721657486652632609966915819/25598707228\ 7303963477142754668072235620588267808059494*c_1001_2^5 + 869702084278218839135963825516728958745336427593938830/127993536143\ 651981738571377334036117810294133904029747*c_1001_2^4 - 1023812945828716197442306359495980511454140971033125527/25598707228\ 7303963477142754668072235620588267808059494*c_1001_2^3 + 233743453740567416023629871754332610266065033616003463/255987072287\ 303963477142754668072235620588267808059494*c_1001_2^2 + 74935897141296611426278343706402169544351894491757032/1279935361436\ 51981738571377334036117810294133904029747*c_1001_2 - 71533304061409827461825540325345625091530198332525643/1279935361436\ 51981738571377334036117810294133904029747, c_0110_10 - 2658728623264088275694271462469521189912011866440235221/511\ 974144574607926954285509336144471241176535616118988*c_1001_2^25 - 797804631431977209068123325294800098859390096454482186/127993536143\ 651981738571377334036117810294133904029747*c_1001_2^24 + 4824192593228194087670053179670549150731819083499797504/12799353614\ 3651981738571377334036117810294133904029747*c_1001_2^23 + 2783323699543019287253203030160822709127864841047135287/25598707228\ 7303963477142754668072235620588267808059494*c_1001_2^22 - 80124654316982205926292621279178264458784007568756064979/5119741445\ 74607926954285509336144471241176535616118988*c_1001_2^21 + 31277489461694952859915196677700098115498517039347345673/5119741445\ 74607926954285509336144471241176535616118988*c_1001_2^20 + 164383227417893842924744299825840293659661527236611182067/511974144\ 574607926954285509336144471241176535616118988*c_1001_2^19 - 73705827351071216882099421530264320794108641884943431553/2559870722\ 87303963477142754668072235620588267808059494*c_1001_2^18 - 59598454594595314909040741302650284982340826170831256367/2559870722\ 87303963477142754668072235620588267808059494*c_1001_2^17 + 48912895400995812796533279200521748660886685546857981294/1279935361\ 43651981738571377334036117810294133904029747*c_1001_2^16 - 103440400863455159215190281386623690045670984061724832065/511974144\ 574607926954285509336144471241176535616118988*c_1001_2^15 + 22389828005429703600434997695405851976782917413801987563/2559870722\ 87303963477142754668072235620588267808059494*c_1001_2^14 + 235318239207017905656291824904454139854560324128619972641/511974144\ 574607926954285509336144471241176535616118988*c_1001_2^13 - 100497279076545632111802181516700240059310807462622781387/127993536\ 143651981738571377334036117810294133904029747*c_1001_2^12 - 89693147872692646043476840327607796082823119474089364933/2559870722\ 87303963477142754668072235620588267808059494*c_1001_2^11 + 451402876566463442408361290625108428096790792487651630501/511974144\ 574607926954285509336144471241176535616118988*c_1001_2^10 + 15838656584638213338615111911388208599102912981053208406/1279935361\ 43651981738571377334036117810294133904029747*c_1001_2^9 - 271431328910869122399318718924865303741548433796617316297/511974144\ 574607926954285509336144471241176535616118988*c_1001_2^8 - 18532589897443993949230843267411465233031143009534521533/5119741445\ 74607926954285509336144471241176535616118988*c_1001_2^7 + 113454030672175845785761531460202110024186871217200495781/511974144\ 574607926954285509336144471241176535616118988*c_1001_2^6 + 3527090565014620469170079065225884433327002328278397205/51197414457\ 4607926954285509336144471241176535616118988*c_1001_2^5 - 16999061812333645403329737278993395354456181515127265027/2559870722\ 87303963477142754668072235620588267808059494*c_1001_2^4 - 1665338324554327379580192200431409127374560990262723315/51197414457\ 4607926954285509336144471241176535616118988*c_1001_2^3 + 6502656931430907169798631503493434154476699875005579489/51197414457\ 4607926954285509336144471241176535616118988*c_1001_2^2 + 1071896440027064856892702010806849685088480280078115039/51197414457\ 4607926954285509336144471241176535616118988*c_1001_2 - 154009651566268402308548019895463140032221392733990513/127993536143\ 651981738571377334036117810294133904029747, c_1001_0 + 4344200920298657255805274738732890976641017377319309725/2559\ 87072287303963477142754668072235620588267808059494*c_1001_2^25 - 14852612424553521934105035829258935876885875769661719/2559870722873\ 03963477142754668072235620588267808059494*c_1001_2^24 - 14685532941396939501457705458826749650679319569816155871/1279935361\ 43651981738571377334036117810294133904029747*c_1001_2^23 + 13451179414016551349936380990147437914676027119982820328/1279935361\ 43651981738571377334036117810294133904029747*c_1001_2^22 + 84591563701771111938008168464591889201939957883901772459/2559870722\ 87303963477142754668072235620588267808059494*c_1001_2^21 - 144540507923129436203283812251517552233328355360588437889/255987072\ 287303963477142754668072235620588267808059494*c_1001_2^20 - 52431913332308195576157016355830615062468518940387053571/2559870722\ 87303963477142754668072235620588267808059494*c_1001_2^19 + 125942377404498538855415550196424851146110424615368856447/127993536\ 143651981738571377334036117810294133904029747*c_1001_2^18 - 148723282806844726166206607419867207277342582719486523311/255987072\ 287303963477142754668072235620588267808059494*c_1001_2^17 - 25473615449285599172801310325902778602174797220032753581/1279935361\ 43651981738571377334036117810294133904029747*c_1001_2^16 + 204462932694856040988815615272940645392186788819107289227/255987072\ 287303963477142754668072235620588267808059494*c_1001_2^15 - 165673092315989732395550341759469085423475581903166757179/127993536\ 143651981738571377334036117810294133904029747*c_1001_2^14 + 62719112598610962240700431253170202639493535661148440615/2559870722\ 87303963477142754668072235620588267808059494*c_1001_2^13 + 459867926943443598954424070286874147110811000881814480811/255987072\ 287303963477142754668072235620588267808059494*c_1001_2^12 - 126083913334612831746148587081897390747995839338072248745/127993536\ 143651981738571377334036117810294133904029747*c_1001_2^11 - 129417634297541129871749873356512349961816392717473935270/127993536\ 143651981738571377334036117810294133904029747*c_1001_2^10 + 199643529963791981261941502410105379058759775928299253611/255987072\ 287303963477142754668072235620588267808059494*c_1001_2^9 + 82128544241213259703934568038467014982244260046012622725/2559870722\ 87303963477142754668072235620588267808059494*c_1001_2^8 - 87802735234058394968009309557821566785769806688258801495/2559870722\ 87303963477142754668072235620588267808059494*c_1001_2^7 - 5877809965815224024942217187946328302796968987026280629/12799353614\ 3651981738571377334036117810294133904029747*c_1001_2^6 + 24837479959097363024967706152398191092744558218956221323/2559870722\ 87303963477142754668072235620588267808059494*c_1001_2^5 + 66552479176135681341896851108028669185860390423976549/1279935361436\ 51981738571377334036117810294133904029747*c_1001_2^4 - 2808288216011211410856195240609727879346481824512474023/25598707228\ 7303963477142754668072235620588267808059494*c_1001_2^3 - 212312930458614799244087993142679227205185511788773922/127993536143\ 651981738571377334036117810294133904029747*c_1001_2^2 - 252516567135379400354603649681658622813741294753765308/127993536143\ 651981738571377334036117810294133904029747*c_1001_2 + 79271673443576441195312698047351417877061921263114961/1279935361436\ 51981738571377334036117810294133904029747, c_1001_2^26 + 3/11*c_1001_2^25 - 844/121*c_1001_2^24 + 504/121*c_1001_2^23 + 249/11*c_1001_2^22 - 3400/121*c_1001_2^21 - 3202/121*c_1001_2^20 + 7079/121*c_1001_2^19 - 1216/121*c_1001_2^18 - 3796/121*c_1001_2^17 + 4989/121*c_1001_2^16 - 6717/121*c_1001_2^15 - 1707/121*c_1001_2^14 + 14357/121*c_1001_2^13 - 2390/121*c_1001_2^12 - 12167/121*c_1001_2^11 + 263/11*c_1001_2^10 + 6509/121*c_1001_2^9 - 1592/121*c_1001_2^8 - 2362/121*c_1001_2^7 + 558/121*c_1001_2^6 + 645/121*c_1001_2^5 - 75/121*c_1001_2^4 - 140/121*c_1001_2^3 - 24/121*c_1001_2^2 + 17/121*c_1001_2 + 8/121 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.510 Total time: 0.710 seconds, Total memory usage: 32.09MB