Magma V2.19-8 Wed Aug 21 2013 00:25:04 on localhost [Seed = 2277610641] Type ? for help. Type -D to quit. Loading file "K14n13924__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n13924 geometric_solution 12.29876613 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 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 -1 1 0 -1 0 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.705335647006 1.093637302631 0 5 7 6 0132 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 -2 2 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.848368357809 0.845111394142 7 0 6 8 2103 0132 2103 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 1 -1 0 0 0 0 0 -2 -1 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.582514884385 0.599079476603 7 9 10 0 0132 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 1 -1 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.514302583368 0.678815464636 10 8 0 11 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.309671070550 0.656769223364 10 1 12 11 2103 0132 0132 2103 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 2 1 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.904757855332 0.613836864233 2 8 1 12 2103 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 1 -1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.050289181448 0.628038388425 3 9 2 1 0132 1302 2103 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 2 -2 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.726001447068 0.694142190235 12 4 2 6 1023 0132 0132 2031 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 0 0 0 0 0 0 0 0 0 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.580818676352 0.480814906713 10 3 11 7 1302 0132 0213 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.695878991967 1.220307129113 4 9 5 3 0132 2031 2103 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 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.454705461426 0.761352209328 12 9 4 5 0132 0213 0132 2103 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 1 0 -1 0 -3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.180761400220 2.165294477851 11 8 6 5 0132 1023 1230 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 0 1 -1 -1 0 1 0 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.539812477988 0.900915728999 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_0'], 'c_1001_10' : d['c_0011_0'], 'c_1001_12' : d['c_0101_8'], 'c_1001_5' : d['c_0110_8'], 'c_1001_4' : d['c_0011_6'], 'c_1001_7' : negation(d['c_0011_0']), 'c_1001_6' : d['c_0110_8'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_0011_6'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_0110_8'], 'c_1010_11' : negation(d['c_1001_1']), 'c_1010_10' : negation(d['c_0011_3']), 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_10'], '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' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : negation(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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_1001_1']), 'c_1100_8' : d['c_0101_12'], 'c_0011_12' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_12']), 'c_1100_4' : negation(d['c_0110_5']), 'c_1100_7' : negation(d['c_0101_8']), 'c_1100_6' : negation(d['c_0101_8']), 'c_1100_1' : negation(d['c_0101_8']), 'c_1100_0' : negation(d['c_0110_5']), 'c_1100_3' : negation(d['c_0110_5']), 'c_1100_2' : d['c_0101_12'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0110_5']), 'c_1100_10' : negation(d['c_0110_5']), 's_3_10' : negation(d['1']), 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_0101_12']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0110_8'], 'c_1010_0' : d['c_0011_6'], 'c_1010_9' : negation(d['c_0011_3']), 'c_1010_8' : d['c_0011_6'], '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' : negation(d['c_0101_12']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(d['1']), 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_12'], 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : d['c_0101_10'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_10'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : negation(d['c_0011_0']), 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : negation(d['c_0011_10']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_12'])})} 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_6, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_8, c_0110_5, c_0110_8, c_1001_0, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 67744417795759715170749389052876414677894920493831901687605140194/1\ 738769765462545084300784306465811297100617535245631491039231875*c_1\ 001_1^18 - 10171136883210358020632269225505009492705317646055423925\ 89741555041/1738769765462545084300784306465811297100617535245631491\ 039231875*c_1001_1^17 + 6522124464284690949982006475214127608059858\ 500900785950143031025004/173876976546254508430078430646581129710061\ 7535245631491039231875*c_1001_1^16 - 2352513954137569079149900750025530202969826450088150969275113008494\ 1/1738769765462545084300784306465811297100617535245631491039231875*\ c_1001_1^15 + 50222072012885142963849769754560186951368731378056151\ 890245716868784/173876976546254508430078430646581129710061753524563\ 1491039231875*c_1001_1^14 - 533820463283221954455256737715479245055\ 51223075282130877510879333467/1738769765462545084300784306465811297\ 100617535245631491039231875*c_1001_1^13 - 256503184765358419770833923779529257956040864470439816408873878714/\ 36995101392820108176612432052464070151076968835013435979558125*c_10\ 01_1^12 + 108460924623581257518909200502468282800628561116468991948\ 581295300447/173876976546254508430078430646581129710061753524563149\ 1039231875*c_1001_1^11 - 889727595568518529875969341373295264812068\ 64186859286802891174749987/1738769765462545084300784306465811297100\ 617535245631491039231875*c_1001_1^10 - 1051276091290138642512962105800087455209180278651891879877574001175\ 73/1738769765462545084300784306465811297100617535245631491039231875\ *c_1001_1^9 + 54056737907396564432111522319947395758894687456258247\ 964454668266119/347753953092509016860156861293162259420123507049126\ 298207846375*c_1001_1^8 - 72751581917327032418689563339928872457427\ 9165372520484321306074733/63227991471365275792755792962393138076386\ 09219075023603779025*c_1001_1^7 + 643882642626968440964839994347635\ 330330864279500117174151130979603/915141981822392149631991740245163\ 84057927238697138499528380625*c_1001_1^6 + 6500189415043639960388365397226126238359359621029217132953334062097\ 4/1738769765462545084300784306465811297100617535245631491039231875*\ c_1001_1^5 - 288972498149876159468543141446579469926216387747890657\ 84470678283163/1738769765462545084300784306465811297100617535245631\ 491039231875*c_1001_1^4 - 66082676015966269276486380820822074676741\ 5558843578444541411900208/34775395309250901686015686129316225942012\ 3507049126298207846375*c_1001_1^3 + 231826144968992195733155939098012619294845268876499530138852602028/\ 91514198182239214963199174024516384057927238697138499528380625*c_10\ 01_1^2 - 2668524550945384151693210574865483396342610810882324711704\ 98079887/3477539530925090168601568612931622594201235070491262982078\ 46375*c_1001_1 + 31177062673652835726540442433479429103757627101163\ 0336377096002444/17387697654625450843007843064658112971006175352456\ 31491039231875, c_0011_0 - 1, c_0011_10 - 4145523757009984163735387012409336186717905709005/463917905\ 9007474103713514200330177290677363510627*c_1001_1^18 + 62900209776482005752799614516138466987140091243585/4639179059007474\ 103713514200330177290677363510627*c_1001_1^17 - 408547836186399842707817498873340661487330995693362/463917905900747\ 4103713514200330177290677363510627*c_1001_1^16 + 1496597267237239408491542980619009289474846177814982/46391790590074\ 74103713514200330177290677363510627*c_1001_1^15 - 3264675418180305570059021360246198072802694526589466/46391790590074\ 74103713514200330177290677363510627*c_1001_1^14 + 3637235472491619751356362999469482114644933476235254/46391790590074\ 74103713514200330177290677363510627*c_1001_1^13 + 418660976145487050521129341324889424349970859351358/463917905900747\ 4103713514200330177290677363510627*c_1001_1^12 - 6845573703344854035476847253804826632630799155184895/46391790590074\ 74103713514200330177290677363510627*c_1001_1^11 + 6193329497093796015847680255266681234152526403851566/46391790590074\ 74103713514200330177290677363510627*c_1001_1^10 + 6121489365839275861525803027060016552059379217473008/46391790590074\ 74103713514200330177290677363510627*c_1001_1^9 - 17578381339845233498153079266675060690626169876589422/4639179059007\ 474103713514200330177290677363510627*c_1001_1^8 + 13923763849494179262160921269479124908195895047861938/4639179059007\ 474103713514200330177290677363510627*c_1001_1^7 - 1668608152069793985707800953630246725605326240089761/46391790590074\ 74103713514200330177290677363510627*c_1001_1^6 - 3940952845365764916168944802218483474567085513631515/46391790590074\ 74103713514200330177290677363510627*c_1001_1^5 + 1838853092842746391708416021709251762342912660021353/46391790590074\ 74103713514200330177290677363510627*c_1001_1^4 + 301544477502157945206572560315938253083504015883037/463917905900747\ 4103713514200330177290677363510627*c_1001_1^3 - 346530746176995236223545160863167618952599529417057/463917905900747\ 4103713514200330177290677363510627*c_1001_1^2 + 96941060932080416674516809729074569961706561533054/4639179059007474\ 103713514200330177290677363510627*c_1001_1 - 23782985765165046501147452112755016197864150814979/4639179059007474\ 103713514200330177290677363510627, c_0011_3 + 3308612067392220484315832266127980633950296883015/4639179059\ 007474103713514200330177290677363510627*c_1001_1^18 - 50101458445461071117771327016977622422252001046077/4639179059007474\ 103713514200330177290677363510627*c_1001_1^17 + 324600189434577356780071877526631175583514191700032/463917905900747\ 4103713514200330177290677363510627*c_1001_1^16 - 1185307726513270215817844743371222863244223014330511/46391790590074\ 74103713514200330177290677363510627*c_1001_1^15 + 2573606640698948708841938377933372417748263507460514/46391790590074\ 74103713514200330177290677363510627*c_1001_1^14 - 2837148135791641358481972115616481332379009990291225/46391790590074\ 74103713514200330177290677363510627*c_1001_1^13 - 399966919991849991249025828573578447103332753651588/463917905900747\ 4103713514200330177290677363510627*c_1001_1^12 + 5443711024888941091149966669493087858339678366424548/46391790590074\ 74103713514200330177290677363510627*c_1001_1^11 - 4811524329080490918955266620394183854353378438357364/46391790590074\ 74103713514200330177290677363510627*c_1001_1^10 - 4975261376104494870552341644415576711995706503677527/46391790590074\ 74103713514200330177290677363510627*c_1001_1^9 + 13881502824492394835729092334607458650906674147973186/4639179059007\ 474103713514200330177290677363510627*c_1001_1^8 - 10791939786404466201219465397975551899257393695952481/4639179059007\ 474103713514200330177290677363510627*c_1001_1^7 + 1104914166467519747367243757723547971294578042275135/46391790590074\ 74103713514200330177290677363510627*c_1001_1^6 + 3177806420789187887224490032328066155318313772560500/46391790590074\ 74103713514200330177290677363510627*c_1001_1^5 - 1430829450197623901351929247929172396806455946204891/46391790590074\ 74103713514200330177290677363510627*c_1001_1^4 - 247490035704074966644501313840063425222509488937239/463917905900747\ 4103713514200330177290677363510627*c_1001_1^3 + 265493895240810643015281321056947453223292221493661/463917905900747\ 4103713514200330177290677363510627*c_1001_1^2 - 69745899747934718374749459330354851652453201278511/4639179059007474\ 103713514200330177290677363510627*c_1001_1 + 15687279882785306063198803518353626916088960637248/4639179059007474\ 103713514200330177290677363510627, c_0011_6 - 3586311788575637016700592519554572301273587812296/4639179059\ 007474103713514200330177290677363510627*c_1001_1^18 + 54767305860365015588678252000333222502603449556279/4639179059007474\ 103713514200330177290677363510627*c_1001_1^17 - 358606187054155998974397846453907272404226063413921/463917905900747\ 4103713514200330177290677363510627*c_1001_1^16 + 1326884314501985634085329450406224853061794305066076/46391790590074\ 74103713514200330177290677363510627*c_1001_1^15 - 2935713473902235805253015871356557991223831278931651/46391790590074\ 74103713514200330177290677363510627*c_1001_1^14 + 3369903968914848697858792289085283507091937114155454/46391790590074\ 74103713514200330177290677363510627*c_1001_1^13 + 159557217900055978070496342554270867697410857584781/463917905900747\ 4103713514200330177290677363510627*c_1001_1^12 - 6047131632423713404396839331160730367348495746118844/46391790590074\ 74103713514200330177290677363510627*c_1001_1^11 + 5859220982284294057576854685932806213351220062708349/46391790590074\ 74103713514200330177290677363510627*c_1001_1^10 + 5031569407455002471887320737420135638738427534365747/46391790590074\ 74103713514200330177290677363510627*c_1001_1^9 - 15843640887439925334632343042028979420731429981918127/4639179059007\ 474103713514200330177290677363510627*c_1001_1^8 + 13182922521432549823323879298219469268255666049971140/4639179059007\ 474103713514200330177290677363510627*c_1001_1^7 - 2051273167062151887850994976626288155097576653301589/46391790590074\ 74103713514200330177290677363510627*c_1001_1^6 - 3501217522494308256588362850630778799773128064294115/46391790590074\ 74103713514200330177290677363510627*c_1001_1^5 + 1782337001402334723184250525660055186428231300051730/46391790590074\ 74103713514200330177290677363510627*c_1001_1^4 + 233222254402891266431990187891630614369305713946800/463917905900747\ 4103713514200330177290677363510627*c_1001_1^3 - 321846884088608304932146914403596190041666935140563/463917905900747\ 4103713514200330177290677363510627*c_1001_1^2 + 90320386813043243945903624785184560504494337758562/4639179059007474\ 103713514200330177290677363510627*c_1001_1 - 24875855442757484267547270264640595163098531018664/4639179059007474\ 103713514200330177290677363510627, c_0101_0 - 1431474439176932326291031488426171478308245684473/4639179059\ 007474103713514200330177290677363510627*c_1001_1^18 + 21082218032458715524306777827341813221594934121395/4639179059007474\ 103713514200330177290677363510627*c_1001_1^17 - 131999492097851967519009438939175540055156737887543/463917905900747\ 4103713514200330177290677363510627*c_1001_1^16 + 462498226981146460114227278633828498364476378436370/463917905900747\ 4103713514200330177290677363510627*c_1001_1^15 - 948429466696085899638880788741989640872029847643659/463917905900747\ 4103713514200330177290677363510627*c_1001_1^14 + 923805847972853973231639554798485389071870549663622/463917905900747\ 4103713514200330177290677363510627*c_1001_1^13 + 384496356537841165573856980558635929418578334663438/463917905900747\ 4103713514200330177290677363510627*c_1001_1^12 - 2055851102069660439150205456668052929072656564548574/46391790590074\ 74103713514200330177290677363510627*c_1001_1^11 + 1350086169469367186189429229928276469783882211385969/46391790590074\ 74103713514200330177290677363510627*c_1001_1^10 + 2331814763732400062621738404019294072610320373662990/46391790590074\ 74103713514200330177290677363510627*c_1001_1^9 - 4883028579878227853333545271569716256380648139148192/46391790590074\ 74103713514200330177290677363510627*c_1001_1^8 + 3159988028376153361918695709339066458768605151780030/46391790590074\ 74103713514200330177290677363510627*c_1001_1^7 + 3655111743531411788163822288396822914226440984868/46391790590074741\ 03713514200330177290677363510627*c_1001_1^6 - 949641709820655036870552234878103565953146664325322/463917905900747\ 4103713514200330177290677363510627*c_1001_1^5 + 290995590413702160322587112164847089908681374755304/463917905900747\ 4103713514200330177290677363510627*c_1001_1^4 + 72275278643495485154582470455094032285367788514126/4639179059007474\ 103713514200330177290677363510627*c_1001_1^3 - 42530629053172609659817009600904584676940147849432/4639179059007474\ 103713514200330177290677363510627*c_1001_1^2 + 22844609631967516994228682111209788274954400579183/4639179059007474\ 103713514200330177290677363510627*c_1001_1 - 6662050051468052236411955890332433484377006390943/46391790590074741\ 03713514200330177290677363510627, c_0101_1 + 3680975965858812800405183081960406404631042551131/4639179059\ 007474103713514200330177290677363510627*c_1001_1^18 - 55382247408035255298354021506968850993633090397800/4639179059007474\ 103713514200330177290677363510627*c_1001_1^17 + 356321926495259737129870136718900196942001857684588/463917905900747\ 4103713514200330177290677363510627*c_1001_1^16 - 1292191545419150195775400238566195112367090159360319/46391790590074\ 74103713514200330177290677363510627*c_1001_1^15 + 2785969584679156580867787819474027115904758508712240/46391790590074\ 74103713514200330177290677363510627*c_1001_1^14 - 3044221069577409440532441167455373913332867337760185/46391790590074\ 74103713514200330177290677363510627*c_1001_1^13 - 446671114254214427754136341069631005708831795729551/463917905900747\ 4103713514200330177290677363510627*c_1001_1^12 + 5795798373081377649502018011801404497384200053767097/46391790590074\ 74103713514200330177290677363510627*c_1001_1^11 - 5040762776454499544053492925802712644280598628505869/46391790590074\ 74103713514200330177290677363510627*c_1001_1^10 - 5363557589922813644970937550122280137535568612601044/46391790590074\ 74103713514200330177290677363510627*c_1001_1^9 + 14735338110546240533029132580128521212478259617447966/4639179059007\ 474103713514200330177290677363510627*c_1001_1^8 - 11559415093139143490942490595436655276694626038328686/4639179059007\ 474103713514200330177290677363510627*c_1001_1^7 + 1495570397913195355441361406062463354244979292193043/46391790590074\ 74103713514200330177290677363510627*c_1001_1^6 + 3108899547005866978546426582981395479979309418202827/46391790590074\ 74103713514200330177290677363510627*c_1001_1^5 - 1504037164978081054718377048253761365021118534874338/46391790590074\ 74103713514200330177290677363510627*c_1001_1^4 - 189268371665672396175591966988834656115579165816555/463917905900747\ 4103713514200330177290677363510627*c_1001_1^3 + 277491202969410916959936884899149165855359370875274/463917905900747\ 4103713514200330177290677363510627*c_1001_1^2 - 96260469502537285357075992679956467045118823382809/4639179059007474\ 103713514200330177290677363510627*c_1001_1 + 23616661563903792451947844492487653162095773915083/4639179059007474\ 103713514200330177290677363510627, c_0101_10 - 2938762027767195414869279511621442895147228646044/463917905\ 9007474103713514200330177290677363510627*c_1001_1^18 + 45197675767501293148958733612580946012410369885862/4639179059007474\ 103713514200330177290677363510627*c_1001_1^17 - 298777581870765715130889097544743419408342890427008/463917905900747\ 4103713514200330177290677363510627*c_1001_1^16 + 1119713235883866844092651764605919771592066836668792/46391790590074\ 74103713514200330177290677363510627*c_1001_1^15 - 2525383714337785077841016652648172523039786082479387/46391790590074\ 74103713514200330177290677363510627*c_1001_1^14 + 3022709354692816862545434798842614646799800195160076/46391790590074\ 74103713514200330177290677363510627*c_1001_1^13 - 153508195472684328741896980839405109869108269502848/463917905900747\ 4103713514200330177290677363510627*c_1001_1^12 - 5017944078012743498010690091597801093093715916835904/46391790590074\ 74103713514200330177290677363510627*c_1001_1^11 + 5393059887317262038792811191110994323000966594635057/46391790590074\ 74103713514200330177290677363510627*c_1001_1^10 + 3628997674465080206621002234625315398301420353362009/46391790590074\ 74103713514200330177290677363510627*c_1001_1^9 - 13559711164814133899552863567925744307822271849436525/4639179059007\ 474103713514200330177290677363510627*c_1001_1^8 + 12283015892438667409773412420402914306233465628135462/4639179059007\ 474103713514200330177290677363510627*c_1001_1^7 - 2708292224242623558992771905641239815814866057783389/46391790590074\ 74103713514200330177290677363510627*c_1001_1^6 - 2909749563480120064813260740067275802147775524421088/46391790590074\ 74103713514200330177290677363510627*c_1001_1^5 + 1854598505005049460401398094882548976905230160307511/46391790590074\ 74103713514200330177290677363510627*c_1001_1^4 + 74470231698336762640109847796939618470564917721904/4639179059007474\ 103713514200330177290677363510627*c_1001_1^3 - 316828673735664291025323688851669490211910917133721/463917905900747\ 4103713514200330177290677363510627*c_1001_1^2 + 102308877207298703337488349986974356382824533298046/463917905900747\ 4103713514200330177290677363510627*c_1001_1 - 24163697479833011905969444171626555455199491499673/4639179059007474\ 103713514200330177290677363510627, c_0101_12 + 1761714525128218316254130885455503341155561304035/463917905\ 9007474103713514200330177290677363510627*c_1001_1^18 - 26826034545573898584783539372140769587829943058562/4639179059007474\ 103713514200330177290677363510627*c_1001_1^17 + 175165178092465348525821443268721017630539394663149/463917905900747\ 4103713514200330177290677363510627*c_1001_1^16 - 646632148546915864349428434807215771121321291894419/463917905900747\ 4103713514200330177290677363510627*c_1001_1^15 + 1427906869701454715605191583280826378504781354392550/46391790590074\ 74103713514200330177290677363510627*c_1001_1^14 - 1635788024078105554906226868966958976990160861843198/46391790590074\ 74103713514200330177290677363510627*c_1001_1^13 - 80780797033133105556905168316961753059886722167962/4639179059007474\ 103713514200330177290677363510627*c_1001_1^12 + 2941801741258720103891189310213972601264164105636779/46391790590074\ 74103713514200330177290677363510627*c_1001_1^11 - 2858520065131540333957509274566818210611772888125873/46391790590074\ 74103713514200330177290677363510627*c_1001_1^10 - 2427902629181113087879777847776653486121498986073466/46391790590074\ 74103713514200330177290677363510627*c_1001_1^9 + 7711638140178762757804427752957683651821553636505341/46391790590074\ 74103713514200330177290677363510627*c_1001_1^8 - 6465822281502638367062091378441001525955847468326618/46391790590074\ 74103713514200330177290677363510627*c_1001_1^7 + 1015297192206629444096507514419917698028288977287820/46391790590074\ 74103713514200330177290677363510627*c_1001_1^6 + 1772256737455078654948023656238868285511150297691981/46391790590074\ 74103713514200330177290677363510627*c_1001_1^5 - 937336562862603173492040553192461537211929805314921/463917905900747\ 4103713514200330177290677363510627*c_1001_1^4 - 107137219562086381002098087686571702344767806933435/463917905900747\ 4103713514200330177290677363510627*c_1001_1^3 + 173762510088872000888606325413332089229707998105261/463917905900747\ 4103713514200330177290677363510627*c_1001_1^2 - 46476071714037387728471168651512357268217983911929/4639179059007474\ 103713514200330177290677363510627*c_1001_1 + 10542810120660003530767271469140851541751664200604/4639179059007474\ 103713514200330177290677363510627, c_0101_8 + 1513939485243018941783604362761618822974715582139/4639179059\ 007474103713514200330177290677363510627*c_1001_1^18 - 22559772150591536080984563902316712297093213999585/4639179059007474\ 103713514200330177290677363510627*c_1001_1^17 + 143388962194440213915538613768508261993442625639242/463917905900747\ 4103713514200330177290677363510627*c_1001_1^16 - 512076154953466823821294818612923785952667601916537/463917905900747\ 4103713514200330177290677363510627*c_1001_1^15 + 1079718435263853327372131958414841658607719930052559/46391790590074\ 74103713514200330177290677363510627*c_1001_1^14 - 1122062701793859243175330788450691376183555870243878/46391790590074\ 74103713514200330177290677363510627*c_1001_1^13 - 296414054588883352235457745501004373043084273531621/463917905900747\ 4103713514200330177290677363510627*c_1001_1^12 + 2300881702797663829940312323600954971403223105457935/46391790590074\ 74103713514200330177290677363510627*c_1001_1^11 - 1775605627250934410912234711048977048974623954717516/46391790590074\ 74103713514200330177290677363510627*c_1001_1^10 - 2352259865479415867209726339207184152533656532554929/46391790590074\ 74103713514200330177290677363510627*c_1001_1^9 + 5673265624933878571329887510553461834894576139029502/46391790590074\ 74103713514200330177290677363510627*c_1001_1^8 - 4081525393505697398313812733895617001501528467093512/46391790590074\ 74103713514200330177290677363510627*c_1001_1^7 + 268855628658796189036900998699445097763993966006021/463917905900747\ 4103713514200330177290677363510627*c_1001_1^6 + 1188145914975759238650377821843219466502541448809340/46391790590074\ 74103713514200330177290677363510627*c_1001_1^5 - 469568464148537894056914997966665890499385133989204/463917905900747\ 4103713514200330177290677363510627*c_1001_1^4 - 91710027493723721446211881920578959285337132526448/4639179059007474\ 103713514200330177290677363510627*c_1001_1^3 + 83550139033268242764184821233125484777643660753702/4639179059007474\ 103713514200330177290677363510627*c_1001_1^2 - 31320831703623702749924725373934129578338452941224/4639179059007474\ 103713514200330177290677363510627*c_1001_1 + 10054276858614374778637928094518025447198735358801/4639179059007474\ 103713514200330177290677363510627, c_0110_5 - 3615220087040093638365404057515434648398784581781/4639179059\ 007474103713514200330177290677363510627*c_1001_1^18 + 54689225164710176566541570381826169481379640800172/4639179059007474\ 103713514200330177290677363510627*c_1001_1^17 - 354230462074069143839480329675216351192467895652939/463917905900747\ 4103713514200330177290677363510627*c_1001_1^16 + 1295124056130740080473830455527623593812966617774139/46391790590074\ 74103713514200330177290677363510627*c_1001_1^15 - 2823962518189935064602182754867194574977921043781527/46391790590074\ 74103713514200330177290677363510627*c_1001_1^14 + 3159395144319094934390674392904018284853184908172425/46391790590074\ 74103713514200330177290677363510627*c_1001_1^13 + 298258470101071924343993739028675669523501439711769/463917905900747\ 4103713514200330177290677363510627*c_1001_1^12 - 5810927920918781980890376622316102619568914690567265/46391790590074\ 74103713514200330177290677363510627*c_1001_1^11 + 5334399245085717048093673961373595871316985116302683/46391790590074\ 74103713514200330177290677363510627*c_1001_1^10 + 5102630087079405742902788210646157594667096501853647/46391790590074\ 74103713514200330177290677363510627*c_1001_1^9 - 14985406334054040342605614396141059705669671839042653/4639179059007\ 474103713514200330177290677363510627*c_1001_1^8 + 12190173123453446960823850065147347302522457975962820/4639179059007\ 474103713514200330177290677363510627*c_1001_1^7 - 1888109277269765351030909441079827941195899899857183/46391790590074\ 74103713514200330177290677363510627*c_1001_1^6 - 3138352988014847583775237441930211271761353160026592/46391790590074\ 74103713514200330177290677363510627*c_1001_1^5 + 1643753326031383172371998556289538106293908533714241/46391790590074\ 74103713514200330177290677363510627*c_1001_1^4 + 142005047070103745336141419571042554366681593411608/463917905900747\ 4103713514200330177290677363510627*c_1001_1^3 - 281748648603692920036555933803827786470326363668697/463917905900747\ 4103713514200330177290677363510627*c_1001_1^2 + 99050016866846155801705619249653209556294545853567/4639179059007474\ 103713514200330177290677363510627*c_1001_1 - 24423986219740959785939198031913827115050690326716/4639179059007474\ 103713514200330177290677363510627, c_0110_8 + 1491507138044684053693650055842368963317871395421/4639179059\ 007474103713514200330177290677363510627*c_1001_1^18 - 22994505142750195313255867901758512781707100553843/4639179059007474\ 103713514200330177290677363510627*c_1001_1^17 + 152284046632285410674792770727784735093871931018985/463917905900747\ 4103713514200330177290677363510627*c_1001_1^16 - 571159384108639512136242549349126194425589991569005/463917905900747\ 4103713514200330177290677363510627*c_1001_1^15 + 1287537025588558882744486403860563132007182446949547/46391790590074\ 74103713514200330177290677363510627*c_1001_1^14 - 1536013177447941779498561389552101209118984918040156/46391790590074\ 74103713514200330177290677363510627*c_1001_1^13 + 61602771391862960357037877828350193246919106769992/4639179059007474\ 103713514200330177290677363510627*c_1001_1^12 + 2574008599722550166268347882635986240734407133718257/46391790590074\ 74103713514200330177290677363510627*c_1001_1^11 - 2732755243498154083389751897432672865023314124294092/46391790590074\ 74103713514200330177290677363510627*c_1001_1^10 - 1894433654643006596428113546372948780955152949372429/46391790590074\ 74103713514200330177290677363510627*c_1001_1^9 + 6918317528058644663350933831975403955197129299878423/46391790590074\ 74103713514200330177290677363510627*c_1001_1^8 - 6197406475515458824821928933985026202994124371430797/46391790590074\ 74103713514200330177290677363510627*c_1001_1^7 + 1333906493548601024078262980844878129486173189882497/46391790590074\ 74103713514200330177290677363510627*c_1001_1^6 + 1484766446904895118619892001856045088259188600572800/46391790590074\ 74103713514200330177290677363510627*c_1001_1^5 - 946598063222234847639594007402110624303755139049104/463917905900747\ 4103713514200330177290677363510627*c_1001_1^4 - 36525793104745743057587770589110354954929278583669/4639179059007474\ 103713514200330177290677363510627*c_1001_1^3 + 171705824212830503806860615841854611094359674706859/463917905900747\ 4103713514200330177290677363510627*c_1001_1^2 - 57386528944042363011469498315893833212000173721037/4639179059007474\ 103713514200330177290677363510627*c_1001_1 + 10939586247528503078652349331412101961037055148460/4639179059007474\ 103713514200330177290677363510627, c_1001_0 + 2749400098957873337281037773273216748505978986306/4639179059\ 007474103713514200330177290677363510627*c_1001_1^18 - 41968554529344080953649964501172377937715359358771/4639179059007474\ 103713514200330177290677363510627*c_1001_1^17 + 274658540302333513046652225107197786500409259420591/463917905900747\ 4103713514200330177290677363510627*c_1001_1^16 - 1015594773778016441411631213158438426831171141581605/46391790590074\ 74103713514200330177290677363510627*c_1001_1^15 + 2244644696420878944035932889043732336169400259802699/46391790590074\ 74103713514200330177290677363510627*c_1001_1^14 - 2569816632214870304984401405232282724826013628211425/46391790590074\ 74103713514200330177290677363510627*c_1001_1^13 - 140863161746418918798392829802959890450772751885011/463917905900747\ 4103713514200330177290677363510627*c_1001_1^12 + 4645268953967800460069958746848991593057374957358497/46391790590074\ 74103713514200330177290677363510627*c_1001_1^11 - 4477415814270988960684441051060308833552072097214147/46391790590074\ 74103713514200330177290677363510627*c_1001_1^10 - 3885341417720221480913859354775695798674754820570266/46391790590074\ 74103713514200330177290677363510627*c_1001_1^9 + 12146762372087086672208356109961377381011934253301891/4639179059007\ 474103713514200330177290677363510627*c_1001_1^8 - 10051098458342836762382423426715896259317164698061683/4639179059007\ 474103713514200330177290677363510627*c_1001_1^7 + 1487579181459877649510437780719589400786828455486963/46391790590074\ 74103713514200330177290677363510627*c_1001_1^6 + 2738071097917731227643908080740361480524356323223100/46391790590074\ 74103713514200330177290677363510627*c_1001_1^5 - 1374313358757212232827763751879975820891774586235268/46391790590074\ 74103713514200330177290677363510627*c_1001_1^4 - 179167812604808287869918941415755786508311187001002/463917905900747\ 4103713514200330177290677363510627*c_1001_1^3 + 240810033152423711723883074597376024312359627217167/463917905900747\ 4103713514200330177290677363510627*c_1001_1^2 - 67764404687905019749849788586795019485918341014646/4639179059007474\ 103713514200330177290677363510627*c_1001_1 + 21419328619385217933312135870569383172000704351560/4639179059007474\ 103713514200330177290677363510627, c_1001_1^19 - 490/31*c_1001_1^18 + 3355/31*c_1001_1^17 - 13155/31*c_1001_1^16 + 31675/31*c_1001_1^15 - 43249/31*c_1001_1^14 + 15241/31*c_1001_1^13 + 52195/31*c_1001_1^12 - 79466/31*c_1001_1^11 - 13889/31*c_1001_1^10 + 159232/31*c_1001_1^9 - 190705/31*c_1001_1^8 + 84143/31*c_1001_1^7 + 18483/31*c_1001_1^6 - 32888/31*c_1001_1^5 + 7652/31*c_1001_1^4 + 3728/31*c_1001_1^3 - 2508/31*c_1001_1^2 + 721/31*c_1001_1 - 131/31 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 3.860 Total time: 4.070 seconds, Total memory usage: 83.69MB