Magma V2.19-8 Wed Aug 21 2013 00:22:42 on localhost [Seed = 947792541] Type ? for help. Type -D to quit. Loading file "K14n12079__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n12079 geometric_solution 11.63293014 oriented_manifold CS_known 0.0000000000000009 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 1 0 -1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 -1 -8 0 0 1 -1 0 -9 0 9 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.833267919144 0.664015485516 0 5 7 6 0132 0132 0132 0132 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 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.620637202657 0.901752210677 5 0 5 6 2031 0132 0132 2031 0 0 0 0 0 -1 1 0 -1 0 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 -9 9 0 -9 0 9 0 -1 1 0 0 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.759060945502 0.617169601371 4 8 9 0 0213 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 1 0 0 -1 1 0 0 -1 -9 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.548702185895 0.803179685163 3 7 0 10 0213 0132 0132 0132 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -8 8 0 -1 0 1 0 -1 1 0 0 9 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.618829571185 0.604743561869 11 1 2 2 0132 0132 1302 0132 0 0 0 0 0 0 1 -1 0 0 1 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 -9 0 0 9 -9 8 -8 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.460898814805 0.215634754878 10 2 1 11 0321 1302 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.379037175233 0.507668156701 8 4 9 1 0321 0132 3120 0132 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 8 -8 0 0 0 0 0 -8 0 0 8 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.275745977429 1.028431914433 7 3 10 12 0321 0132 2031 0132 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 0 0 0 0 0 0 0 8 0 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.420081800666 0.848873084043 11 12 7 3 1023 0132 3120 0132 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 9 0 -9 -8 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.380423296708 0.735561979541 6 12 4 8 0321 0321 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.114091739239 0.914825827577 5 9 6 12 0132 1023 1230 1230 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 1 0 0 -1 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.382997388123 0.872876969842 11 9 8 10 3012 0132 0132 0321 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 1 -9 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.534347081347 0.268678123220 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0011_10']), 'c_1001_11' : d['c_0101_9'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_0110_2'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_1001_10'], 'c_1001_6' : d['c_0110_2'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_6'], 'c_1001_3' : d['c_1001_12'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : negation(d['c_1001_10']), 'c_1001_8' : d['c_0011_6'], 'c_1010_12' : negation(d['c_1001_10']), 'c_1010_11' : d['c_0011_4'], 'c_1010_10' : negation(d['c_1001_10']), 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : negation(d['c_0101_0']), '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_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : negation(d['c_0011_0']), 'c_1100_8' : d['c_1001_10'], 'c_0011_12' : d['c_0011_0'], 'c_1100_5' : d['c_0101_11'], 'c_1100_4' : negation(d['c_0101_7']), 'c_1100_7' : negation(d['c_0101_9']), 'c_1100_6' : negation(d['c_0101_9']), 'c_1100_1' : negation(d['c_0101_9']), 'c_1100_0' : negation(d['c_0101_7']), 'c_1100_3' : negation(d['c_0101_7']), 'c_1100_2' : d['c_0101_11'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : negation(d['c_0101_7']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_0101_11']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : d['c_0011_6'], 'c_1010_2' : d['c_0011_6'], 'c_1010_1' : d['c_0110_2'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_1001_12'], 'c_1010_8' : d['c_1001_12'], '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' : d['1'], 'c_1100_12' : d['c_1001_10'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_0']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), '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_11' : d['c_0011_0'], 'c_0110_10' : negation(d['c_0011_6']), 'c_0110_12' : negation(d['c_0011_10']), 'c_0101_12' : d['c_0011_4'], 'c_0110_0' : d['c_0011_3'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_0'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_11'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0101_7']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_4'], 'c_0110_8' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_7']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_7' : d['c_0011_3'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_4, c_0011_6, c_0101_0, c_0101_11, c_0101_7, c_0101_9, c_0110_2, c_1001_1, c_1001_10, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 17966068638199649587756716836493807668974526990034859/3162737825663\ 40511546828970164756831465074565338*c_1001_12^25 + 50027094786326226390496188345850933992898139358810746/4744106738495\ 10767320243455247135247197611848007*c_1001_12^24 - 85899940149314781996485089788237400518248902248175759/3162737825663\ 40511546828970164756831465074565338*c_1001_12^23 + 459561314983070712821699417147929996051373007667756640/474410673849\ 510767320243455247135247197611848007*c_1001_12^22 - 1879229038710516041863169435486198135433186828790391659/94882134769\ 9021534640486910494270494395223696014*c_1001_12^21 + 6272142361110536311710444660949881054141625199136461185/94882134769\ 9021534640486910494270494395223696014*c_1001_12^20 - 4918101893414033912813524290266139938476904381259529070/47441067384\ 9510767320243455247135247197611848007*c_1001_12^19 + 2948670358681553103160019886524201887409268419672411155/13554590681\ 4145933520069558642038642056460528002*c_1001_12^18 - 6647608062858963067713358088835762640759755355315168678/15813689128\ 3170255773414485082378415732537282669*c_1001_12^17 + 28746823813075109416966983487651598865926320908806888710/4744106738\ 49510767320243455247135247197611848007*c_1001_12^16 - 6960590140098534407351683344427708493115775444100029582/52712297094\ 390085257804828360792805244179094223*c_1001_12^15 + 5482231943161020994032020588399431405627516363228562301/35141531396\ 260056838536552240528536829452729482*c_1001_12^14 - 12461514695480638276144467431508163071108438125699011768/4312824307\ 7228251574567586840648658836146531637*c_1001_12^13 + 287443999749737144922752798937618649873549847772047332891/948821347\ 699021534640486910494270494395223696014*c_1001_12^12 - 18091988611713672395921611419767510413226173385736535133/4518196893\ 8048644506689852880679547352153509334*c_1001_12^11 + 185166118733971603521827763550094030164547822449036494889/474410673\ 849510767320243455247135247197611848007*c_1001_12^10 - 4367575742364779629325095251247478398787068610916626315/12322355164\ 922357592733596240185331096041866182*c_1001_12^9 + 144731306674703875126648440677273052365668404399191002331/474410673\ 849510767320243455247135247197611848007*c_1001_12^8 - 1204053019601824971241053964893779153106197352154919609/58933002962\ 67214500872589506175593132889588174*c_1001_12^7 + 9225515903724894239464201449188115118104860057300638108/67772953407\ 072966760034779321019321028230264001*c_1001_12^6 - 67475215720014697210972566355288873738131503967391597279/9488213476\ 99021534640486910494270494395223696014*c_1001_12^5 + 15659424634362375628867939595754233405618572042336143320/4744106738\ 49510767320243455247135247197611848007*c_1001_12^4 - 5576792234905584516132074393881717141044948733799930924/47441067384\ 9510767320243455247135247197611848007*c_1001_12^3 + 3378110997565865320140628086313602944031812158760528411/94882134769\ 9021534640486910494270494395223696014*c_1001_12^2 - 599433500765984376196068219646936615764854832557024303/948821347699\ 021534640486910494270494395223696014*c_1001_12 + 37747393311006329884630841010275598768510701427802247/9488213476990\ 21534640486910494270494395223696014, c_0011_0 - 1, c_0011_10 - 8423202391929014450115957979654901702382/391067440683753478\ 8744486984000823590583*c_1001_12^25 + 19048807858004046946231149814177827887381/3910674406837534788744486\ 984000823590583*c_1001_12^24 - 469566540644665426174148735493584665\ 69032/3910674406837534788744486984000823590583*c_1001_12^23 + 160545572654041001263656483048159911478641/391067440683753478874448\ 6984000823590583*c_1001_12^22 - 35315983591222527876079294841108994\ 1012856/3910674406837534788744486984000823590583*c_1001_12^21 + 1104287054490138440189546899788878038805008/39106744068375347887444\ 86984000823590583*c_1001_12^20 - 1944114077959572319434882302529120\ 574920724/3910674406837534788744486984000823590583*c_1001_12^19 + 3882283299531860489160431246396110189937137/39106744068375347887444\ 86984000823590583*c_1001_12^18 - 7586956352498653130749482365837369\ 426971877/3910674406837534788744486984000823590583*c_1001_12^17 + 11600715081707898940869296766236338791671700/3910674406837534788744\ 486984000823590583*c_1001_12^16 - 234032846235016758778817576339210\ 56557857755/3910674406837534788744486984000823590583*c_1001_12^15 + 31289083704257893418297035769579484517444096/3910674406837534788744\ 486984000823590583*c_1001_12^14 - 479654054822688908808199442284284\ 5901077409/355515855167048617158589725818256690053*c_1001_12^13 + 62807576581845638371290246786485178300695854/3910674406837534788744\ 486984000823590583*c_1001_12^12 - 785666968507794221836230047375162\ 12050264239/3910674406837534788744486984000823590583*c_1001_12^11 + 82739344037557877980680980401772253292908752/3910674406837534788744\ 486984000823590583*c_1001_12^10 - 188774728036875100579813003070617\ 104664769/9608536626136449112394316914006937569*c_1001_12^9 + 67128330208358949332959207263584683539362014/3910674406837534788744\ 486984000823590583*c_1001_12^8 - 4869762285037299425235202612456215\ 9646323072/3910674406837534788744486984000823590583*c_1001_12^7 + 32395632245197880132736794443894639043501205/3910674406837534788744\ 486984000823590583*c_1001_12^6 - 1837109043851195763778863524283683\ 3575944855/3910674406837534788744486984000823590583*c_1001_12^5 + 8803241837009481482836647863369118582096351/39106744068375347887444\ 86984000823590583*c_1001_12^4 - 34708888026308233239560897072070086\ 54768545/3910674406837534788744486984000823590583*c_1001_12^3 + 1065860579490366031203916496796892906573331/39106744068375347887444\ 86984000823590583*c_1001_12^2 - 24066449886039819214755064978690206\ 8028008/3910674406837534788744486984000823590583*c_1001_12 + 22862985174470548454093023460418670810814/3910674406837534788744486\ 984000823590583, c_0011_3 - c_1001_12, c_0011_4 + 2219738056474884785289222426562597585332/3910674406837534788\ 744486984000823590583*c_1001_12^25 - 4290760210141457569177779523524514570325/39106744068375347887444869\ 84000823590583*c_1001_12^24 + 1094526584041444270958559889428634186\ 9568/3910674406837534788744486984000823590583*c_1001_12^23 - 38928136016474731812759911770237838803867/3910674406837534788744486\ 984000823590583*c_1001_12^22 + 807418755725139019521910902474315324\ 37826/3910674406837534788744486984000823590583*c_1001_12^21 - 265378284316245285788387951352233468391887/391067440683753478874448\ 6984000823590583*c_1001_12^20 + 42885003272205982182193155111789709\ 5269408/3910674406837534788744486984000823590583*c_1001_12^19 - 889471176078964350440602653936396845692190/391067440683753478874448\ 6984000823590583*c_1001_12^18 + 17334269765624906706831570709135411\ 24598647/3910674406837534788744486984000823590583*c_1001_12^17 - 2530625898025908211520017726727068828751742/39106744068375347887444\ 86984000823590583*c_1001_12^16 + 5416464406243669451823279652463561\ 196687834/3910674406837534788744486984000823590583*c_1001_12^15 - 6634444532374890411854853568631654810713200/39106744068375347887444\ 86984000823590583*c_1001_12^14 + 1086838989149027259371695157762166\ 147102497/355515855167048617158589725818256690053*c_1001_12^13 - 13135764205076545634707749646772506912694327/3910674406837534788744\ 486984000823590583*c_1001_12^12 + 170135505199474980275194007165013\ 97166175948/3910674406837534788744486984000823590583*c_1001_12^11 - 17291394471636258529451675115721369533345693/3910674406837534788744\ 486984000823590583*c_1001_12^10 + 387316013054744087264212204111517\ 74979789/9608536626136449112394316914006937569*c_1001_12^9 - 13893372108709316346090138431965119681415304/3910674406837534788744\ 486984000823590583*c_1001_12^8 + 9649623503803834771902953898476167\ 086044697/3910674406837534788744486984000823590583*c_1001_12^7 - 6462828044408882014536086453984231653088512/39106744068375347887444\ 86984000823590583*c_1001_12^6 + 35782793269060590582233518744400267\ 22277717/3910674406837534788744486984000823590583*c_1001_12^5 - 1657167151080447544213923881033108739570053/39106744068375347887444\ 86984000823590583*c_1001_12^4 + 62753666499905354408257119970792138\ 9196144/3910674406837534788744486984000823590583*c_1001_12^3 - 186252967659267967025013421570746481713594/391067440683753478874448\ 6984000823590583*c_1001_12^2 + 309779730000431619823510251902310057\ 03051/3910674406837534788744486984000823590583*c_1001_12 + 1718352073219260288915059611847087155039/39106744068375347887444869\ 84000823590583, c_0011_6 + 9001079383882275911668793762948668135617/3910674406837534788\ 744486984000823590583*c_1001_12^25 - 18374061494693082079637030687615163144646/3910674406837534788744486\ 984000823590583*c_1001_12^24 + 453707228569819867536460047435960734\ 22272/3910674406837534788744486984000823590583*c_1001_12^23 - 160302107698047596363624622902461912195230/391067440683753478874448\ 6984000823590583*c_1001_12^22 + 33921913368677233242115249758309084\ 3600645/3910674406837534788744486984000823590583*c_1001_12^21 - 1094127018215933336303031707617922424435053/39106744068375347887444\ 86984000823590583*c_1001_12^20 + 1814972547664029375111843438774498\ 940052870/3910674406837534788744486984000823590583*c_1001_12^19 - 3673979548781739519627009471807646748617085/39106744068375347887444\ 86984000823590583*c_1001_12^18 + 7194921370482548696889423800234956\ 407501146/3910674406837534788744486984000823590583*c_1001_12^17 - 10605950303279488218425792624336355403204650/3910674406837534788744\ 486984000823590583*c_1001_12^16 + 222628441220208706401883904352541\ 76160760787/3910674406837534788744486984000823590583*c_1001_12^15 - 28017065560922124887876535488673145427450099/3910674406837534788744\ 486984000823590583*c_1001_12^14 + 404647619720346207247446282381847\ 223625618/32319623197004419741689975074386971823*c_1001_12^13 - 55116662648309477231178359613285709583371042/3910674406837534788744\ 486984000823590583*c_1001_12^12 + 694549737425594836853039176312121\ 88659961368/3910674406837534788744486984000823590583*c_1001_12^11 - 71177177597379600733670763835489423452179634/3910674406837534788744\ 486984000823590583*c_1001_12^10 + 157678058867299843007832326885847\ 064043623/9608536626136449112394316914006937569*c_1001_12^9 - 55896314365093565262888867313674479210437846/3910674406837534788744\ 486984000823590583*c_1001_12^8 + 3895937067868581806958552116996946\ 4446701873/3910674406837534788744486984000823590583*c_1001_12^7 - 25625289294735748303202690746133753054377585/3910674406837534788744\ 486984000823590583*c_1001_12^6 + 1428907954049794826581809180199224\ 6850318005/3910674406837534788744486984000823590583*c_1001_12^5 - 6651145862693519294395915734088620146685030/39106744068375347887444\ 86984000823590583*c_1001_12^4 + 25905391880696716141492801270488720\ 34661042/3910674406837534788744486984000823590583*c_1001_12^3 - 804707863264570742927646876746089960770602/391067440683753478874448\ 6984000823590583*c_1001_12^2 + 178808626662103772226509453960766689\ 995024/3910674406837534788744486984000823590583*c_1001_12 - 15243857941977785101201950999469883606105/3910674406837534788744486\ 984000823590583, c_0101_0 - 1666336204647490362024394383568895426706/3555158551670486171\ 58589725818256690053*c_1001_12^25 + 3617432597578548852919019530089924136734/35551585516704861715858972\ 5818256690053*c_1001_12^24 - 80606637549572945856848833682371839893\ 3/32319623197004419741689975074386971823*c_1001_12^23 + 30795395246960360851002652742575678958760/3555158551670486171585897\ 25818256690053*c_1001_12^22 - 6670917570449576317787172369315403664\ 4612/355515855167048617158589725818256690053*c_1001_12^21 + 210996162600300189935194159277727184538815/355515855167048617158589\ 725818256690053*c_1001_12^20 - 362724584338181175079081910431937939\ 142632/355515855167048617158589725818256690053*c_1001_12^19 + 725678071054670023441250496719427985509801/355515855167048617158589\ 725818256690053*c_1001_12^18 - 142180018563628423228968088835115114\ 5123320/355515855167048617158589725818256690053*c_1001_12^17 + 2139651284800427785908271498703258161771892/35551585516704861715858\ 9725818256690053*c_1001_12^16 - 43832303966054969239255392880091119\ 81187401/355515855167048617158589725818256690053*c_1001_12^15 + 5725355038024153695760145047133277600868194/35551585516704861715858\ 9725818256690053*c_1001_12^14 - 97589172556100299847602878804240886\ 15789887/355515855167048617158589725818256690053*c_1001_12^13 + 11379569850815963834543090472663576839134865/3555158551670486171585\ 89725818256690053*c_1001_12^12 - 1420522325002029792135504932969956\ 9490309928/355515855167048617158589725818256690053*c_1001_12^11 + 14817810278004229697044190876822122320241904/3555158551670486171585\ 89725818256690053*c_1001_12^10 - 3662870202580002472268706651459322\ 55617531/9608536626136449112394316914006937569*c_1001_12^9 + 11809990550385348712462199607091148959940459/3555158551670486171585\ 89725818256690053*c_1001_12^8 - 84369833260125162973326710340526504\ 51369456/355515855167048617158589725818256690053*c_1001_12^7 + 5565773248629798612014203894824506223243459/35551585516704861715858\ 9725818256690053*c_1001_12^6 - 285613011538883629163500278017345641\ 081065/32319623197004419741689975074386971823*c_1001_12^5 + 135251061204043515368120463107364008080982/323196231970044197416899\ 75074386971823*c_1001_12^4 - 58282438980682512915921619343154850503\ 7025/355515855167048617158589725818256690053*c_1001_12^3 + 180238989607586121776004844997712862076118/355515855167048617158589\ 725818256690053*c_1001_12^2 - 4058699675387430757875092870995440257\ 1325/355515855167048617158589725818256690053*c_1001_12 + 3677401104426101800771721089332897347922/35551585516704861715858972\ 5818256690053, c_0101_11 - 19307972256666652536738449852963111563149/39106744068375347\ 88744486984000823590583*c_1001_12^25 + 41208479438161208544017635884809240802692/3910674406837534788744486\ 984000823590583*c_1001_12^24 - 101283258590826800030418061916044217\ 213617/3910674406837534788744486984000823590583*c_1001_12^23 + 353155326253288962242705036190779281059479/391067440683753478874448\ 6984000823590583*c_1001_12^22 - 76021768290829415448243606400748887\ 9584732/3910674406837534788744486984000823590583*c_1001_12^21 + 2417679082350904084845978712258374062939257/39106744068375347887444\ 86984000823590583*c_1001_12^20 - 4115473511039526591224494626584775\ 278769189/3910674406837534788744486984000823590583*c_1001_12^19 + 8262666497278368916795949951975917771554245/39106744068375347887444\ 86984000823590583*c_1001_12^18 - 1617612353536302997547167787540740\ 8401017082/3910674406837534788744486984000823590583*c_1001_12^17 + 24215360668146304402036615605676014016216353/3910674406837534788744\ 486984000823590583*c_1001_12^16 - 499274703219864600324477989410901\ 78106688667/3910674406837534788744486984000823590583*c_1001_12^15 + 64546461023864343606672878452975253252810131/3910674406837534788744\ 486984000823590583*c_1001_12^14 - 100737480514841476282126285117737\ 46897151952/355515855167048617158589725818256690053*c_1001_12^13 + 127860316411711069787648865483713424126931037/391067440683753478874\ 4486984000823590583*c_1001_12^12 - 160153789229619354371349181121002679144684141/391067440683753478874\ 4486984000823590583*c_1001_12^11 + 165950387965305087204420265221713128663027359/391067440683753478874\ 4486984000823590583*c_1001_12^10 - 371813659905627035620375091366881647579272/960853662613644911239431\ 6914006937569*c_1001_12^9 + 131529806935641792656354346897062246492\ 097868/3910674406837534788744486984000823590583*c_1001_12^8 - 93311857167926894035144759662011173184467497/3910674406837534788744\ 486984000823590583*c_1001_12^7 + 6136676546453803069688071585599269\ 5222785872/3910674406837534788744486984000823590583*c_1001_12^6 - 34373470417130836842281829329057981094846536/3910674406837534788744\ 486984000823590583*c_1001_12^5 + 1620058684969887750161140665123260\ 8147210964/3910674406837534788744486984000823590583*c_1001_12^4 - 6247302012387738953246591390438359805430560/39106744068375347887444\ 86984000823590583*c_1001_12^3 + 19307468370583192012684504942578563\ 75873329/3910674406837534788744486984000823590583*c_1001_12^2 - 429560180817338208319983634117634567456801/391067440683753478874448\ 6984000823590583*c_1001_12 + 35357861174925179890491068654848473011\ 960/3910674406837534788744486984000823590583, c_0101_7 + 21315452103026251263910326206738558157471/391067440683753478\ 8744486984000823590583*c_1001_12^25 - 46546718267257754990792569670822105720301/3910674406837534788744486\ 984000823590583*c_1001_12^24 + 114091337513531650100891338374555003\ 527094/3910674406837534788744486984000823590583*c_1001_12^23 - 395553722878270010556814692097003510079985/391067440683753478874448\ 6984000823590583*c_1001_12^22 + 85860991117148021470319554799975065\ 1811536/3910674406837534788744486984000823590583*c_1001_12^21 - 2710919645636126890412166812192260285798172/39106744068375347887444\ 86984000823590583*c_1001_12^20 + 4676649425334748419146305588963831\ 948191297/3910674406837534788744486984000823590583*c_1001_12^19 - 9348678988096973140949826119689836355635060/39106744068375347887444\ 86984000823590583*c_1001_12^18 + 1831572489316242490706346953384968\ 4884650991/3910674406837534788744486984000823590583*c_1001_12^17 - 27613894095752227289144514713039492292101083/3910674406837534788744\ 486984000823590583*c_1001_12^16 + 564449538528396109374100312445860\ 02934359674/3910674406837534788744486984000823590583*c_1001_12^15 - 73982661914559872754045790513088739622995525/3910674406837534788744\ 486984000823590583*c_1001_12^14 + 114391014172886444899494809354958\ 19605768465/355515855167048617158589725818256690053*c_1001_12^13 - 147212644144310724654633751128256458576289693/391067440683753478874\ 4486984000823590583*c_1001_12^12 + 183600720892518799694422743601910223249524456/391067440683753478874\ 4486984000823590583*c_1001_12^11 - 191821350966170730261080845989307075868925826/391067440683753478874\ 4486984000823590583*c_1001_12^10 + 431354023970016065107305042045455055068423/960853662613644911239431\ 6914006937569*c_1001_12^9 - 152936631493519694488144308907719361338\ 091420/3910674406837534788744486984000823590583*c_1001_12^8 + 109378409098250237237770032202450004353292164/391067440683753478874\ 4486984000823590583*c_1001_12^7 - 720565033420567323258651880953645\ 35210879489/3910674406837534788744486984000823590583*c_1001_12^6 + 40661649851239062949355486331811048327123379/3910674406837534788744\ 486984000823590583*c_1001_12^5 - 1922781173534977720070499418755787\ 2224694480/3910674406837534788744486984000823590583*c_1001_12^4 + 7509641828825952775565454385091086140674774/39106744068375347887444\ 86984000823590583*c_1001_12^3 - 23175272750224871801284629898970560\ 04639739/3910674406837534788744486984000823590583*c_1001_12^2 + 520137281817181900711732316840858301126352/391067440683753478874448\ 6984000823590583*c_1001_12 - 46314722907324547285761314176347259730\ 999/3910674406837534788744486984000823590583, c_0101_9 + 26013134667841296881933104560711068413953/391067440683753478\ 8744486984000823590583*c_1001_12^25 - 57106229316562182005495837182494841750675/3910674406837534788744486\ 984000823590583*c_1001_12^24 + 139877977267409092122362016002177137\ 718374/3910674406837534788744486984000823590583*c_1001_12^23 - 484060290576463409331350400663027390646146/391067440683753478874448\ 6984000823590583*c_1001_12^22 + 10527225486147473821331447394678340\ 68076784/3910674406837534788744486984000823590583*c_1001_12^21 - 3318939068764445183874620807694291962723147/39106744068375347887444\ 86984000823590583*c_1001_12^20 + 5740556102593870737082332128683226\ 996403415/3910674406837534788744486984000823590583*c_1001_12^19 - 11462872471595877738838085565279993926753162/3910674406837534788744\ 486984000823590583*c_1001_12^18 + 224503803259114495047433656221823\ 97397820804/3910674406837534788744486984000823590583*c_1001_12^17 - 33896632751581404214695392767155387844904192/3910674406837534788744\ 486984000823590583*c_1001_12^16 + 691636961089722877905434780529432\ 09728031984/3910674406837534788744486984000823590583*c_1001_12^15 - 90868853137720597418723036763065236049252038/3910674406837534788744\ 486984000823590583*c_1001_12^14 + 140244781528813812481452259610252\ 31506774371/355515855167048617158589725818256690053*c_1001_12^13 - 180805835332184278202678363503110934926010885/391067440683753478874\ 4486984000823590583*c_1001_12^12 + 225263678077512187649907863578437220579654807/391067440683753478874\ 4486984000823590583*c_1001_12^11 - 235387992563914104118471368008311363007395690/391067440683753478874\ 4486984000823590583*c_1001_12^10 + 529246679513470557293650264214239028150893/960853662613644911239431\ 6914006937569*c_1001_12^9 - 187451634472332420631568321230973671537\ 620536/3910674406837534788744486984000823590583*c_1001_12^8 + 133989690366159970816421901540989311477430919/391067440683753478874\ 4486984000823590583*c_1001_12^7 - 881421146301193526703037055929393\ 76395445295/3910674406837534788744486984000823590583*c_1001_12^6 + 49660117321434289040804483669977700706052103/3910674406837534788744\ 486984000823590583*c_1001_12^5 - 2342170660300000636694529384414105\ 7212012475/3910674406837534788744486984000823590583*c_1001_12^4 + 9121982694511856179793170500871366096273251/39106744068375347887444\ 86984000823590583*c_1001_12^3 - 28051294457200045753896732211965685\ 50772620/3910674406837534788744486984000823590583*c_1001_12^2 + 626953332833761931259643964687990381399978/391067440683753478874448\ 6984000823590583*c_1001_12 - 54722261305379725699523801915395798238\ 463/3910674406837534788744486984000823590583, c_0110_2 - 16221535810283259329618669454196947386775/391067440683753478\ 8744486984000823590583*c_1001_12^25 + 35781024726878121198677605131752096151120/3910674406837534788744486\ 984000823590583*c_1001_12^24 - 869979188606516192656130193085563451\ 74242/3910674406837534788744486984000823590583*c_1001_12^23 + 301548479635275309613128988334731187046402/391067440683753478874448\ 6984000823590583*c_1001_12^22 - 65684675196415228417967271218814674\ 3296050/3910674406837534788744486984000823590583*c_1001_12^21 + 2066368165164815683358251708794361023777835/39106744068375347887444\ 86984000823590583*c_1001_12^20 - 3579990445419049718852118811404125\ 877351451/3910674406837534788744486984000823590583*c_1001_12^19 + 7116742915216939725842071700531397498695037/39106744068375347887444\ 86984000823590583*c_1001_12^18 - 1396295143183528055451688281586124\ 0610041104/3910674406837534788744486984000823590583*c_1001_12^17 + 21067100301288492048108746567938657586914713/3910674406837534788744\ 486984000823590583*c_1001_12^16 - 429184936056189689512418772925425\ 05599880104/3910674406837534788744486984000823590583*c_1001_12^15 + 56497373756453336614153188405065995617698751/3910674406837534788744\ 486984000823590583*c_1001_12^14 - 868033646463256389455183007331112\ 6812251855/355515855167048617158589725818256690053*c_1001_12^13 + 112146464551700806365817872207723590343803520/391067440683753478874\ 4486984000823590583*c_1001_12^12 - 138903975088798887157908342148272176158116432/391067440683753478874\ 4486984000823590583*c_1001_12^11 + 145254478961124878256524964801295614319819887/391067440683753478874\ 4486984000823590583*c_1001_12^10 - 29549611281603961079146916660328731781075/8735033296487681011267560\ 83091539779*c_1001_12^9 + 11476932123922601354105379527392775089488\ 0496/3910674406837534788744486984000823590583*c_1001_12^8 - 81846490708172821802838664997958925740658947/3910674406837534788744\ 486984000823590583*c_1001_12^7 + 5346200803896708867349196368875161\ 3772544636/3910674406837534788744486984000823590583*c_1001_12^6 - 30025065023067833114213102617757612602737565/3910674406837534788744\ 486984000823590583*c_1001_12^5 + 1406262736583825512839171859754226\ 2559764022/3910674406837534788744486984000823590583*c_1001_12^4 - 5423311698256218276393552413466420890858691/39106744068375347887444\ 86984000823590583*c_1001_12^3 + 16521998557082322051056810731731227\ 21243497/3910674406837534788744486984000823590583*c_1001_12^2 - 367716425601165777405066306642691000290167/391067440683753478874448\ 6984000823590583*c_1001_12 + 29275782206435395798611180456271729254\ 621/3910674406837534788744486984000823590583, c_1001_1 + 5505961186695486340833612010584348710715/3910674406837534788\ 744486984000823590583*c_1001_12^25 - 10940105643413474077162167642712050567758/3910674406837534788744486\ 984000823590583*c_1001_12^24 + 275659566219639254487447237617378322\ 52898/3910674406837534788744486984000823590583*c_1001_12^23 - 97423079350864611183129788097450643018682/3910674406837534788744486\ 984000823590583*c_1001_12^22 + 204140722938585184065957540653267534\ 548929/3910674406837534788744486984000823590583*c_1001_12^21 - 665139269979536327996795753814368225942402/391067440683753478874448\ 6984000823590583*c_1001_12^20 + 10890180211736567813841128833928763\ 48722652/3910674406837534788744486984000823590583*c_1001_12^19 - 2235515371103505126033272099207985795557416/39106744068375347887444\ 86984000823590583*c_1001_12^18 + 4357895685414241939532455628276565\ 342752382/3910674406837534788744486984000823590583*c_1001_12^17 - 6400208902396075321806105722247857094451887/39106744068375347887444\ 86984000823590583*c_1001_12^16 + 1356671366989826591103899935328457\ 5475519384/3910674406837534788744486984000823590583*c_1001_12^15 - 16829200739528977901714118683356398860603538/3910674406837534788744\ 486984000823590583*c_1001_12^14 + 272055564854072441110258085367343\ 3969390796/355515855167048617158589725818256690053*c_1001_12^13 - 33199808543721484969093441056787812813976091/3910674406837534788744\ 486984000823590583*c_1001_12^12 + 425403670225522384562450637330621\ 17791697511/3910674406837534788744486984000823590583*c_1001_12^11 - 43262616146621982396956430470097959003117788/3910674406837534788744\ 486984000823590583*c_1001_12^10 + 964786693847228002344635601808982\ 13645255/9608536626136449112394316914006937569*c_1001_12^9 - 34335534413280248259882315259162694385880991/3910674406837534788744\ 486984000823590583*c_1001_12^8 + 2379148589238160714361921049763997\ 0931877562/3910674406837534788744486984000823590583*c_1001_12^7 - 15778385873576322467157037589498550770711046/3910674406837534788744\ 486984000823590583*c_1001_12^6 + 8687726834222543739154306652173116\ 808800930/3910674406837534788744486984000823590583*c_1001_12^5 - 4016112798588197882276371304198223282609072/39106744068375347887444\ 86984000823590583*c_1001_12^4 + 15213852497417148045168365592823104\ 64626289/3910674406837534788744486984000823590583*c_1001_12^3 - 451731929189282945235274967360909320042957/391067440683753478874448\ 6984000823590583*c_1001_12^2 + 887396516538512011501725797924139462\ 43852/3910674406837534788744486984000823590583*c_1001_12 - 1938081653840069514714867808115955777887/39106744068375347887444869\ 84000823590583, c_1001_10 - 1666336204647490362024394383568895426706/355515855167048617\ 158589725818256690053*c_1001_12^25 + 3617432597578548852919019530089924136734/35551585516704861715858972\ 5818256690053*c_1001_12^24 - 80606637549572945856848833682371839893\ 3/32319623197004419741689975074386971823*c_1001_12^23 + 30795395246960360851002652742575678958760/3555158551670486171585897\ 25818256690053*c_1001_12^22 - 6670917570449576317787172369315403664\ 4612/355515855167048617158589725818256690053*c_1001_12^21 + 210996162600300189935194159277727184538815/355515855167048617158589\ 725818256690053*c_1001_12^20 - 362724584338181175079081910431937939\ 142632/355515855167048617158589725818256690053*c_1001_12^19 + 725678071054670023441250496719427985509801/355515855167048617158589\ 725818256690053*c_1001_12^18 - 142180018563628423228968088835115114\ 5123320/355515855167048617158589725818256690053*c_1001_12^17 + 2139651284800427785908271498703258161771892/35551585516704861715858\ 9725818256690053*c_1001_12^16 - 43832303966054969239255392880091119\ 81187401/355515855167048617158589725818256690053*c_1001_12^15 + 5725355038024153695760145047133277600868194/35551585516704861715858\ 9725818256690053*c_1001_12^14 - 97589172556100299847602878804240886\ 15789887/355515855167048617158589725818256690053*c_1001_12^13 + 11379569850815963834543090472663576839134865/3555158551670486171585\ 89725818256690053*c_1001_12^12 - 1420522325002029792135504932969956\ 9490309928/355515855167048617158589725818256690053*c_1001_12^11 + 14817810278004229697044190876822122320241904/3555158551670486171585\ 89725818256690053*c_1001_12^10 - 3662870202580002472268706651459322\ 55617531/9608536626136449112394316914006937569*c_1001_12^9 + 11809990550385348712462199607091148959940459/3555158551670486171585\ 89725818256690053*c_1001_12^8 - 84369833260125162973326710340526504\ 51369456/355515855167048617158589725818256690053*c_1001_12^7 + 5565773248629798612014203894824506223243459/35551585516704861715858\ 9725818256690053*c_1001_12^6 - 285613011538883629163500278017345641\ 081065/32319623197004419741689975074386971823*c_1001_12^5 + 135251061204043515368120463107364008080982/323196231970044197416899\ 75074386971823*c_1001_12^4 - 58282438980682512915921619343154850503\ 7025/355515855167048617158589725818256690053*c_1001_12^3 + 180238989607586121776004844997712862076118/355515855167048617158589\ 725818256690053*c_1001_12^2 - 4058699675387430757875092870995440257\ 1325/355515855167048617158589725818256690053*c_1001_12 + 3677401104426101800771721089332897347922/35551585516704861715858972\ 5818256690053, c_1001_12^26 - 7/3*c_1001_12^25 + 17/3*c_1001_12^24 - 58/3*c_1001_12^23 + 43*c_1001_12^22 - 133*c_1001_12^21 + 238*c_1001_12^20 - 470*c_1001_12^19 + 2768/3*c_1001_12^18 - 4259/3*c_1001_12^17 + 8500/3*c_1001_12^16 - 3855*c_1001_12^15 + 19189/3*c_1001_12^14 - 7759*c_1001_12^13 + 28778/3*c_1001_12^12 - 30698/3*c_1001_12^11 + 28550/3*c_1001_12^10 - 8346*c_1001_12^9 + 6158*c_1001_12^8 - 12334/3*c_1001_12^7 + 7184/3*c_1001_12^6 - 1178*c_1001_12^5 + 484*c_1001_12^4 - 484/3*c_1001_12^3 + 41*c_1001_12^2 - 6*c_1001_12 + 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 3.690 Total time: 3.899 seconds, Total memory usage: 88.75MB