Magma V2.19-8 Tue Aug 20 2013 17:56:14 on localhost [Seed = 2715817583] Type ? for help. Type -D to quit. Loading file "11_222__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_222 geometric_solution 10.14726988 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 11 1 2 2 3 0132 0132 1302 0132 0 0 0 0 0 1 0 -1 -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 0 -1 1 1 0 0 -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.811519817198 1.116946225554 0 4 3 5 0132 0132 1302 0132 0 0 0 0 0 -1 0 1 1 0 0 -1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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 1.322068741995 1.023292203072 0 0 7 6 2031 0132 0132 0132 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 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.574258618847 0.585974881529 1 5 0 8 2031 2310 0132 0132 0 0 0 0 0 -1 1 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 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 0 0 0 0 0 0 0.585327223487 0.776358560148 9 1 10 7 0132 0132 0132 0132 0 0 0 0 0 1 0 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.703927503270 0.437960817620 9 7 1 3 1302 2103 0132 3201 0 0 0 0 0 0 -1 1 -1 0 1 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.412824906795 0.575192479697 10 8 2 9 0321 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.347014338289 1.078695283994 10 5 4 2 1302 2103 0132 0132 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 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.994384428347 0.858320581695 9 6 3 10 3012 0132 0132 3012 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.191612582742 0.542537444426 4 5 6 8 0132 2031 0132 1230 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.790744572590 0.478380098436 6 7 8 4 0321 2031 1230 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.288630481808 0.561808777954 ==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_7'], 'c_1001_4' : d['c_0011_7'], 'c_1001_7' : d['c_0011_5'], 'c_1001_6' : negation(d['c_0101_10']), 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : negation(d['c_0101_10']), 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0110_5']), 'c_1001_8' : negation(d['c_0110_5']), 'c_1010_10' : d['c_0011_7'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0110_8'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0110_8'], 'c_1100_7' : d['c_0110_8'], 'c_1100_6' : d['c_0110_8'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_0110_8'], 'c_1100_10' : d['c_0110_8'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : negation(d['c_0110_5']), 'c_1010_5' : negation(d['c_1001_2']), 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0101_10']), 'c_1010_1' : d['c_0011_7'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_5'], 'c_1010_8' : negation(d['c_0101_10']), 'c_1100_8' : d['c_0101_2'], 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_0']), 'c_0011_8' : negation(d['c_0011_6']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_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_0110_10' : negation(d['c_0011_6']), 'c_0101_7' : negation(d['c_0011_10']), 'c_0101_6' : negation(d['c_0101_10']), 'c_0101_5' : d['c_0011_0'], 'c_0101_4' : negation(d['c_0011_6']), 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : d['c_0011_5'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_6']), 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0011_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : negation(d['c_0101_10']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_10']), 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0011_10'])})} 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_6, c_0011_7, c_0101_10, c_0101_2, c_0110_5, c_0110_8, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 815733046694636954698978860096170705643/555541562299549559504739073\ 1524500722320*c_1001_2^21 - 170442515220983901787973963197367236366\ 7/2777707811497747797523695365762250361160*c_1001_2^20 - 543026479669430994653649453269701458423/111108312459909911900947814\ 6304900144464*c_1001_2^19 - 442350740765460180416524610439115596157\ /555541562299549559504739073152450072232*c_1001_2^18 - 2713669382100868250517702886031647509742/34721347643721847469046192\ 0720281295145*c_1001_2^17 - 183626949475892090086168774807992569107\ 47/2777707811497747797523695365762250361160*c_1001_2^16 + 142246623489602844483444334492797565657551/277770781149774779752369\ 5365762250361160*c_1001_2^15 + 665776315452431359541187739068944578\ 952831/5555415622995495595047390731524500722320*c_1001_2^14 - 32634802638697585662139883835358201487741/2777707811497747797523695\ 365762250361160*c_1001_2^13 - 2417782909997376922410901646031242792\ 6713/73097573986782836776939351730585535820*c_1001_2^12 - 449580972067135678780552871821612542862131/138885390574887389876184\ 7682881125180580*c_1001_2^11 + 143520162213633178458203932067826541\ 6072883/5555415622995495595047390731524500722320*c_1001_2^10 + 1036199718616387456388573022163455973213981/13888539057488738987618\ 47682881125180580*c_1001_2^9 + 157794324807073916075170966240989277\ 532223/292390295947131347107757406922342143280*c_1001_2^8 - 263222775336675774020302894820104495050933/555541562299549559504739\ 0731524500722320*c_1001_2^7 - 1889621245029912964714077842057107005\ 96051/277770781149774779752369536576225036116*c_1001_2^6 - 3718459504947774186102084152400860279813027/27777078114977477975236\ 95365762250361160*c_1001_2^5 - 436516710189131479338747213786476734\ 8835071/2777707811497747797523695365762250361160*c_1001_2^4 - 5910362832661660715563513867845736984958453/55554156229954955950473\ 90731524500722320*c_1001_2^3 - 547335751075331228628670370450637525\ 868283/1388853905748873898761847682881125180580*c_1001_2^2 - 487919541406906494865962371165537159547053/555541562299549559504739\ 0731524500722320*c_1001_2 - 588846892655154313163323876142826884051\ 73/5555415622995495595047390731524500722320, c_0011_0 - 1, c_0011_10 - 622812983623481102912315011591/2411239493006145426810130778\ 9725*c_1001_2^21 - 5982225279450652446424183142219/4822478986012290\ 8536202615579450*c_1001_2^20 - 3425401363573667267502958602076/2411\ 2394930061454268101307789725*c_1001_2^19 - 7468493920685969641364670099387/48224789860122908536202615579450*c_\ 1001_2^18 - 2809370111498700831055092717515/19289915944049163414481\ 04623178*c_1001_2^17 - 18973094667143383335977670117411/96449579720\ 24581707240523115890*c_1001_2^16 + 42729604947442883529548299606364/4822478986012290853620261557945*c_\ 1001_2^15 + 645045448383543296624660603882849/241123949300614542681\ 01307789725*c_1001_2^14 + 337948370440008645827822929701537/4822478\ 9860122908536202615579450*c_1001_2^13 - 3150467317561650029822687214896499/48224789860122908536202615579450\ *c_1001_2^12 - 4206119501586186464944205311844021/48224789860122908\ 536202615579450*c_1001_2^11 + 1447714896741954960171190136355243/48\ 224789860122908536202615579450*c_1001_2^10 + 1608070062102784015651473838366579/9644957972024581707240523115890*\ c_1001_2^9 + 3666556470261467579871203515314728/2411239493006145426\ 8101307789725*c_1001_2^8 + 823668406363145759111856891442233/482247\ 89860122908536202615579450*c_1001_2^7 - 6711554592269913027621398524646803/48224789860122908536202615579450\ *c_1001_2^6 - 7220555911291658886261661989926777/241123949300614542\ 68101307789725*c_1001_2^5 - 368199096466113685276204714398114/96449\ 5797202458170724052311589*c_1001_2^4 - 6998931763423825206988193492287463/24112394930061454268101307789725\ *c_1001_2^3 - 1171636705781971820703222704777013/964495797202458170\ 7240523115890*c_1001_2^2 - 1183254339279866042002113360120741/48224\ 789860122908536202615579450*c_1001_2 - 79450673897432978615442032751539/48224789860122908536202615579450, c_0011_3 - 1451311607495086876015261064899/4822478986012290853620261557\ 9450*c_1001_2^21 - 3300944449861810601250221424674/2411239493006145\ 4268101307789725*c_1001_2^20 - 6878128605927940764909682148299/4822\ 4789860122908536202615579450*c_1001_2^19 - 9030945946484019172952681771519/48224789860122908536202615579450*c_\ 1001_2^18 - 8013887212070175239772318893611/48224789860122908536202\ 61557945*c_1001_2^17 - 18548105538679069731495908546971/96449579720\ 24581707240523115890*c_1001_2^16 + 98349094920469385573340235711043/9644957972024581707240523115890*c_\ 1001_2^15 + 1370811232945844870318247974732231/48224789860122908536\ 202615579450*c_1001_2^14 + 127789055342346954242607866397267/241123\ 94930061454268101307789725*c_1001_2^13 - 3397814682695536188985771725580953/48224789860122908536202615579450\ *c_1001_2^12 - 2153811308189768500406402008107561/24112394930061454\ 268101307789725*c_1001_2^11 + 833173639003647943129022921518553/241\ 12394930061454268101307789725*c_1001_2^10 + 1682216394757103104100212084972767/9644957972024581707240523115890*\ c_1001_2^9 + 7705404743751502430744078242882757/4822478986012290853\ 6202615579450*c_1001_2^8 + 503662574772997417939866746502628/241123\ 94930061454268101307789725*c_1001_2^7 - 7156290979211968880759015155873561/48224789860122908536202615579450\ *c_1001_2^6 - 7794503088020251426046531058087684/241123949300614542\ 68101307789725*c_1001_2^5 - 3956787624569715103153268964838747/9644\ 957972024581707240523115890*c_1001_2^4 - 7605279586112599827447076780476951/24112394930061454268101307789725\ *c_1001_2^3 - 1357618093321767971385173073670283/964495797202458170\ 7240523115890*c_1001_2^2 - 1713863745518298825853948016789757/48224\ 789860122908536202615579450*c_1001_2 - 227129641291738322469396155933033/48224789860122908536202615579450, c_0011_5 + 578309751708928808038429267448/24112394930061454268101307789\ 725*c_1001_2^21 + 5387723147271789073842713580737/48224789860122908\ 536202615579450*c_1001_2^20 + 2991242917647966251698828398688/24112\ 394930061454268101307789725*c_1001_2^19 + 3891014497720492723856420199178/24112394930061454268101307789725*c_\ 1001_2^18 + 13029186622578181041409334098009/9644957972024581707240\ 523115890*c_1001_2^17 + 15991869554625654252816729147001/9644957972\ 024581707240523115890*c_1001_2^16 - 77145927750872147340225830126693/9644957972024581707240523115890*c_\ 1001_2^15 - 1125255368254795241861530962638009/48224789860122908536\ 202615579450*c_1001_2^14 - 154166399862688909169798474971168/241123\ 94930061454268101307789725*c_1001_2^13 + 1325981334451973320598596294824221/24112394930061454268101307789725\ *c_1001_2^12 + 3660801402305213384448794297441113/48224789860122908\ 536202615579450*c_1001_2^11 - 910383359815422713540091248066839/482\ 24789860122908536202615579450*c_1001_2^10 - 133841166457138431361984808802936/964495797202458170724052311589*c_\ 1001_2^9 - 6850580752689902725267012179573523/482247898601229085362\ 02615579450*c_1001_2^8 - 1642924628768197624149277713294899/4822478\ 9860122908536202615579450*c_1001_2^7 + 2750919930982340398231297379898807/24112394930061454268101307789725\ *c_1001_2^6 + 13037829562467444042400407665510017/48224789860122908\ 536202615579450*c_1001_2^5 + 1707940145526705395718484862144937/482\ 2478986012290853620261557945*c_1001_2^4 + 13909239202436685967302569876940793/4822478986012290853620261557945\ 0*c_1001_2^3 + 1388485522099757109798051867211103/96449579720245817\ 07240523115890*c_1001_2^2 + 1021979472085096532558812236290244/2411\ 2394930061454268101307789725*c_1001_2 + 141090530477451637610584366734331/24112394930061454268101307789725, c_0011_6 - 114551111028798844704082158713/48224789860122908536202615579\ 450*c_1001_2^21 - 266421110834891485265368711948/241123949300614542\ 68101307789725*c_1001_2^20 - 229879466195709809239912612609/2411239\ 4930061454268101307789725*c_1001_2^19 - 575040860224451434173674161783/48224789860122908536202615579450*c_1\ 001_2^18 - 138247316554361977996777316565/9644957972024581707240523\ 11589*c_1001_2^17 - 673223323839591111836120931967/4822478986012290\ 853620261557945*c_1001_2^16 + 4280513796407626532117312393896/48224\ 78986012290853620261557945*c_1001_2^15 + 50943526583489332857588101320316/24112394930061454268101307789725*c\ _1001_2^14 - 4646917302402474853776022562967/4822478986012290853620\ 2615579450*c_1001_2^13 - 257992522005916927480998406273091/48224789\ 860122908536202615579450*c_1001_2^12 - 126321432489887170404974393707857/24112394930061454268101307789725*\ c_1001_2^11 + 164614499100815141797819607325837/4822478986012290853\ 6202615579450*c_1001_2^10 + 51074535725073189880910928732073/482247\ 8986012290853620261557945*c_1001_2^9 + 450321146505678555144889365566479/48224789860122908536202615579450*\ c_1001_2^8 + 166515189574781383477565153815947/48224789860122908536\ 202615579450*c_1001_2^7 - 178237653308379030109603069217301/2411239\ 4930061454268101307789725*c_1001_2^6 - 566324515994141977937835415166768/24112394930061454268101307789725*\ c_1001_2^5 - 30424250800269049435575144554974/964495797202458170724\ 052311589*c_1001_2^4 - 609099382174889573462369825393392/2411239493\ 0061454268101307789725*c_1001_2^3 - 75415600303417540486427302156901/4822478986012290853620261557945*c_\ 1001_2^2 - 206221281892818290648089418949022/2411239493006145426810\ 1307789725*c_1001_2 - 148067725079282113359009917443201/48224789860\ 122908536202615579450, c_0011_7 + 82970197421543438285917952888/241123949300614542681013077897\ 25*c_1001_2^21 + 302014281483380474962708672167/4822478986012290853\ 6202615579450*c_1001_2^20 - 639967697714161291860139944007/24112394\ 930061454268101307789725*c_1001_2^19 - 375208048289750444004623058967/24112394930061454268101307789725*c_1\ 001_2^18 + 294512763212189098970462093059/1928991594404916341448104\ 623178*c_1001_2^17 - 2984346706845892891992500071257/96449579720245\ 81707240523115890*c_1001_2^16 - 16623271393047781637812635970209/96\ 44957972024581707240523115890*c_1001_2^15 + 14109768175017392933876962021361/48224789860122908536202615579450*c\ _1001_2^14 + 195027345990524470826067304682417/24112394930061454268\ 101307789725*c_1001_2^13 + 172289691155638884661445587920191/241123\ 94930061454268101307789725*c_1001_2^12 - 680112652081657784229085193425947/48224789860122908536202615579450*\ c_1001_2^11 - 1281192880919690317558361794569549/482247898601229085\ 36202615579450*c_1001_2^10 + 3962020336775728120064824278699/482247\ 8986012290853620261557945*c_1001_2^9 + 1693758257976834745942620946671317/48224789860122908536202615579450\ *c_1001_2^8 + 1550359541321280865230054701826731/482247898601229085\ 36202615579450*c_1001_2^7 + 246350883026282535801473145909052/24112\ 394930061454268101307789725*c_1001_2^6 - 538484917922817347063920147255953/48224789860122908536202615579450*\ c_1001_2^5 - 44160700170096486157282251786355/964495797202458170724\ 052311589*c_1001_2^4 - 3363752840884613440252969926162957/482247898\ 60122908536202615579450*c_1001_2^3 - 487806496203213908721902342546881/9644957972024581707240523115890*c\ _1001_2^2 - 401447509874044279747521692152831/241123949300614542681\ 01307789725*c_1001_2 - 48325655164004166010627562503624/24112394930\ 061454268101307789725, c_0101_10 + 401816724556749609414894502879/4822478986012290853620261557\ 9450*c_1001_2^21 + 956219083903120348889393002484/24112394930061454\ 268101307789725*c_1001_2^20 + 2523449458941184679030397845669/48224\ 789860122908536202615579450*c_1001_2^19 + 3597283038395719194128594535839/48224789860122908536202615579450*c_\ 1001_2^18 + 448403815487273445674401525031/964495797202458170724052\ 311589*c_1001_2^17 + 6259129667433172946641248504327/96449579720245\ 81707240523115890*c_1001_2^16 - 23830614210915852930540709444231/96\ 44957972024581707240523115890*c_1001_2^15 - 412876340778389171360969976046331/48224789860122908536202615579450*\ c_1001_2^14 - 119023847739630570813379922112157/2411239493006145426\ 8101307789725*c_1001_2^13 + 845488455390949457434727549603353/48224\ 789860122908536202615579450*c_1001_2^12 + 794282491806950937869491495640681/24112394930061454268101307789725*\ c_1001_2^11 + 77337751252182385953109757799827/24112394930061454268\ 101307789725*c_1001_2^10 - 503682895969349960156874481806393/964495\ 7972024581707240523115890*c_1001_2^9 - 3248483549401781317212282447638607/48224789860122908536202615579450\ *c_1001_2^8 - 565267662037373220045677144701913/2411239493006145426\ 8101307789725*c_1001_2^7 + 2035134211238956643431939020039191/48224\ 789860122908536202615579450*c_1001_2^6 + 2546969451178805636861217581492694/24112394930061454268101307789725\ *c_1001_2^5 + 284854900058870662530998982842189/1928991594404916341\ 448104623178*c_1001_2^4 + 3186155814203485783871429870143736/241123\ 94930061454268101307789725*c_1001_2^3 + 657949404171975692958945826182291/9644957972024581707240523115890*c\ _1001_2^2 + 839551737270748229416357894695327/482247898601229085362\ 02615579450*c_1001_2 + 80255251763497246075519901413233/48224789860\ 122908536202615579450, c_0101_2 - 161440965225770620146254727419/24112394930061454268101307789\ 725*c_1001_2^21 - 559532179703199327114833241728/241123949300614542\ 68101307789725*c_1001_2^20 - 214600911630029866700553793283/4822478\ 9860122908536202615579450*c_1001_2^19 - 591087027382197579900874968524/24112394930061454268101307789725*c_1\ 001_2^18 - 1567553475181401529760860184419/482247898601229085362026\ 1557945*c_1001_2^17 - 125334018946182736062882768855/19289915944049\ 16341448104623178*c_1001_2^16 + 4752021958392416973422860907979/192\ 8991594404916341448104623178*c_1001_2^15 + 188751200707404686839348390657237/48224789860122908536202615579450*\ c_1001_2^14 - 184319829657332464828423986112667/4822478986012290853\ 6202615579450*c_1001_2^13 - 351517200946738935049313529709528/24112\ 394930061454268101307789725*c_1001_2^12 - 135159100474002409749131624171882/24112394930061454268101307789725*\ c_1001_2^11 + 1014268113677861071612638191267557/482247898601229085\ 36202615579450*c_1001_2^10 + 264877353502238470094047672904417/9644\ 957972024581707240523115890*c_1001_2^9 + 69949173422856281293916889915207/24112394930061454268101307789725*c\ _1001_2^8 - 944414442793342867575334143731503/482247898601229085362\ 02615579450*c_1001_2^7 - 1423976626767035865928639794798437/4822478\ 9860122908536202615579450*c_1001_2^6 - 944231129633412912185530842660298/24112394930061454268101307789725*\ c_1001_2^5 - 309280958251232164680566235874833/96449579720245817072\ 40523115890*c_1001_2^4 - 61228580606187597966100076590407/241123949\ 30061454268101307789725*c_1001_2^3 + 28770158913243786691986899559057/1928991594404916341448104623178*c_\ 1001_2^2 + 333474046310576939911374651093901/4822478986012290853620\ 2615579450*c_1001_2 + 19695148800467164144312361590767/241123949300\ 61454268101307789725, c_0110_5 - 850569623183595148188980311551/48224789860122908536202615579\ 450*c_1001_2^21 - 1780291259368164686976398855951/24112394930061454\ 268101307789725*c_1001_2^20 - 2458480561797312643856323063201/48224\ 789860122908536202615579450*c_1001_2^19 - 3443897875358706526706680145581/48224789860122908536202615579450*c_\ 1001_2^18 - 9106380764384259729807266744063/96449579720245817072405\ 23115890*c_1001_2^17 - 3646758898596741361908447733962/482247898601\ 2290853620261557945*c_1001_2^16 + 31527881106738029462189614516866/\ 4822478986012290853620261557945*c_1001_2^15 + 690483778417851096424328564609319/48224789860122908536202615579450*\ c_1001_2^14 - 200494865734925565172704069429309/4822478986012290853\ 6202615579450*c_1001_2^13 - 2070804050204887670841400246380747/4822\ 4789860122908536202615579450*c_1001_2^12 - 1636970385211884878491120534387953/48224789860122908536202615579450\ *c_1001_2^11 + 2090517963630382070757545337437219/48224789860122908\ 536202615579450*c_1001_2^10 + 440590454756076264518312299119809/482\ 2478986012290853620261557945*c_1001_2^9 + 2287311428812420009723354070639193/48224789860122908536202615579450\ *c_1001_2^8 - 1191309016556416004853060483957031/482247898601229085\ 36202615579450*c_1001_2^7 - 2074280153176339862474963082373707/2411\ 2394930061454268101307789725*c_1001_2^6 - 3635966331744480301156913083783941/24112394930061454268101307789725\ *c_1001_2^5 - 784614103809951037084129378643189/4822478986012290853\ 620261557945*c_1001_2^4 - 4275487980562689087652204936675523/482247\ 89860122908536202615579450*c_1001_2^3 - 140287427383561266734463194506657/9644957972024581707240523115890*c\ _1001_2^2 + 152958971547594362675140760668407/482247898601229085362\ 02615579450*c_1001_2 + 11315158860891276877434648349079/24112394930\ 061454268101307789725, c_0110_8 + 636236434551190987989704092399/48224789860122908536202615579\ 450*c_1001_2^21 + 1530794675439399617109450914439/24112394930061454\ 268101307789725*c_1001_2^20 + 1965015118225230144325006868922/24112\ 394930061454268101307789725*c_1001_2^19 + 2553160135661214747052135723157/24112394930061454268101307789725*c_\ 1001_2^18 + 3582619339408709617830611045003/48224789860122908536202\ 61557945*c_1001_2^17 + 5087813227061149167707118417892/482247898601\ 2290853620261557945*c_1001_2^16 - 39655275983965198034760654921927/\ 9644957972024581707240523115890*c_1001_2^15 - 664399384606686717836740359077771/48224789860122908536202615579450*\ c_1001_2^14 - 159802297240329416071624988570342/2411239493006145426\ 8101307789725*c_1001_2^13 + 716815481811706911611197448576524/24112\ 394930061454268101307789725*c_1001_2^12 + 1202301478193669670014115146886986/24112394930061454268101307789725\ *c_1001_2^11 - 67735101152436552419641232095791/4822478986012290853\ 6202615579450*c_1001_2^10 - 159251743334919567029185275350519/19289\ 91594404916341448104623178*c_1001_2^9 - 2335224204365471256345777834246556/24112394930061454268101307789725\ *c_1001_2^8 - 1479614349827764842908546157170281/482247898601229085\ 36202615579450*c_1001_2^7 + 3118080436504761838543499779729141/4822\ 4789860122908536202615579450*c_1001_2^6 + 7857919658192796664626821671115723/48224789860122908536202615579450\ *c_1001_2^5 + 1085155506085547341519987907225078/482247898601229085\ 3620261557945*c_1001_2^4 + 9428918606166012990947885470434517/48224\ 789860122908536202615579450*c_1001_2^3 + 493798282871500737014006415164406/4822478986012290853620261557945*c\ _1001_2^2 + 1471777211330957100200966946519847/48224789860122908536\ 202615579450*c_1001_2 + 96733424249506607590207434390139/2411239493\ 0061454268101307789725, c_1001_2^22 + 5*c_1001_2^21 + 7*c_1001_2^20 + 9*c_1001_2^19 + 58*c_1001_2^18 + 90*c_1001_2^17 - 300*c_1001_2^16 - 1099*c_1001_2^15 - 673*c_1001_2^14 + 2174*c_1001_2^13 + 4144*c_1001_2^12 + 515*c_1001_2^11 - 6247*c_1001_2^10 - 8363*c_1001_2^9 - 3598*c_1001_2^8 + 4457*c_1001_2^7 + 13174*c_1001_2^6 + 19136*c_1001_2^5 + 17693*c_1001_2^4 + 10329*c_1001_2^3 + 3723*c_1001_2^2 + 796*c_1001_2 + 101 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.170 Total time: 0.380 seconds, Total memory usage: 32.09MB