Magma V2.19-8 Wed Aug 21 2013 00:22:28 on localhost [Seed = 3465075835] Type ? for help. Type -D to quit. Loading file "K14n12065__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n12065 geometric_solution 12.31103260 oriented_manifold CS_known -0.0000000000000003 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 -1 0 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.080757395922 1.224858449901 0 5 2 6 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.559838834032 0.615054464842 7 0 1 8 0132 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.661918485547 1.381122296227 8 5 7 0 0132 2310 2031 0132 0 0 0 0 0 0 0 0 -1 0 1 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 1 0 -1 0 0 -1 1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.280870654732 0.763169061911 9 9 0 8 0132 1302 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.522840107067 0.769176370555 10 1 11 3 0132 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.462051267590 0.553496982013 7 12 1 9 2103 0132 0132 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 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.402200025990 0.447936687244 2 10 6 3 0132 0132 2103 1302 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.529686442135 0.445103328178 3 10 2 4 0132 3201 0132 0213 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.121632018266 1.061509148465 4 11 6 4 0132 3012 0132 2031 0 0 0 0 0 -1 0 1 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 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.582389631897 0.938805523989 5 7 8 11 0132 0132 2310 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.562881448650 1.151910150215 9 12 10 5 1230 0321 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.057325842564 1.243723745179 12 6 12 11 2310 0132 3201 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.755115838340 1.047656704616 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_12']), 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : negation(d['c_0011_11']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_0101_1'], 'c_1001_7' : negation(d['c_0011_12']), 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_10']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_1'], 'c_1001_9' : negation(d['c_0011_11']), 'c_1001_8' : negation(d['c_0101_10']), 'c_1010_12' : d['c_1001_5'], 'c_1010_11' : d['c_1001_5'], 'c_1010_10' : negation(d['c_0011_12']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0011_11'], 'c_0101_11' : negation(d['c_0011_4']), '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' : 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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_1010_4'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_1001_10']), 'c_1100_7' : d['c_0101_3'], 'c_1100_6' : negation(d['c_1010_4']), 'c_1100_1' : negation(d['c_1010_4']), 'c_1100_0' : negation(d['c_1001_10']), 'c_1100_3' : negation(d['c_1001_10']), 'c_1100_2' : d['c_1010_4'], 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_1010_4']), 'c_1100_11' : negation(d['c_0011_3']), 'c_1100_10' : negation(d['c_0011_3']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_10'], 'c_1010_6' : negation(d['c_0011_11']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_1010_4'], 'c_1010_3' : negation(d['c_0101_10']), 'c_1010_2' : negation(d['c_0101_10']), 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : d['c_0011_4'], 'c_1010_8' : negation(d['c_1001_10']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_12']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_4']), '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' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_12']), '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' : negation(d['c_0011_4']), 'c_0110_10' : negation(d['c_0011_4']), 'c_0110_12' : negation(d['c_0011_11']), 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_3']), 'c_0101_8' : d['c_0101_0'], 'c_0011_10' : negation(d['c_0011_0']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_3']), 's_2_9' : d['1']})} 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_11, c_0011_12, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_3, c_1001_10, c_1001_5, c_1010_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 115944657767948279324421772395738811/139633249421428602316815606602\ 75*c_1010_4^18 - 14307259851891125794980040269102943/10741019186263\ 73863975504666175*c_1010_4^17 + 1083345433177191307346603760438959/\ 9340016683707598817178301445*c_1010_4^16 - 4804543733666735210309996903315463328/13963324942142860231681560660\ 275*c_1010_4^15 + 9162947070669649922777999463696933473/13963324942\ 142860231681560660275*c_1010_4^14 - 26634992625923936457651247193451627716/1396332494214286023168156066\ 0275*c_1010_4^13 + 7901274721939350281191632597241974912/2792664988\ 428572046336312132055*c_1010_4^12 - 47504948008946042276845490451855642424/1396332494214286023168156066\ 0275*c_1010_4^11 + 62758580241774825673531750866432836966/139633249\ 42142860231681560660275*c_1010_4^10 - 123211510346350279912425090805596453834/139633249421428602316815606\ 60275*c_1010_4^9 + 119260947596356777186844687409614664544/13963324\ 942142860231681560660275*c_1010_4^8 - 71507625611609945313761794838330525198/1396332494214286023168156066\ 0275*c_1010_4^7 + 16424513460933099586620175397616626584/1396332494\ 2142860231681560660275*c_1010_4^6 - 778169090166617163803037910270099777/558532997685714409267262426411\ *c_1010_4^5 - 382876195881061107574371525985164914/6071010844409939\ 23116589593925*c_1010_4^4 + 347592473398289388581701059490168688/60\ 7101084440993923116589593925*c_1010_4^3 - 5415880343938154966070645483494046462/13963324942142860231681560660\ 275*c_1010_4^2 - 2983153739930293534814393215749065753/139633249421\ 42860231681560660275*c_1010_4 - 36475769851399506098760334401611671\ 38/13963324942142860231681560660275, c_0011_0 - 1, c_0011_11 - 2454618304011003033530251/129363111962709124891666225*c_101\ 0_4^18 + 3007093376067383338643734/129363111962709124891666225*c_10\ 10_4^17 - 6947389791396024080156102/25872622392541824978333245*c_10\ 10_4^16 + 88854304797648445953445688/129363111962709124891666225*c_\ 1010_4^15 - 179274128261849109521264233/129363111962709124891666225\ *c_1010_4^14 + 531789770472758224946641996/129363111962709124891666\ 225*c_1010_4^13 - 134471446286830865264298589/258726223925418249783\ 33245*c_1010_4^12 + 963840414138180814002229564/1293631119627091248\ 91666225*c_1010_4^11 - 1030843646164809056126882631/129363111962709\ 124891666225*c_1010_4^10 + 2209633980666338253583747384/12936311196\ 2709124891666225*c_1010_4^9 - 1870014715268125505335647334/12936311\ 1962709124891666225*c_1010_4^8 + 1438097174513137778688023143/12936\ 3111962709124891666225*c_1010_4^7 + 605521347375028462538356161/129363111962709124891666225*c_1010_4^6 - 16962884055598891931121686/25872622392541824978333245*c_1010_4^5 + 573668508393696105321779467/129363111962709124891666225*c_1010_4^4 + 130907452853817070646619766/129363111962709124891666225*c_1010_4^3 + 381246019381164709634580627/129363111962709124891666225*c_1010_4^2 + 329330101351160533107665013/129363111962709124891666225*c_1010_4 + 89244099387984824587698793/129363111962709124891666225, c_0011_12 - 4903164517330792604357734/129363111962709124891666225*c_101\ 0_4^18 + 7276475704489482759427186/129363111962709124891666225*c_10\ 10_4^17 - 2635871064596063906247993/5174524478508364995666649*c_101\ 0_4^16 + 193320025663185882248149147/129363111962709124891666225*c_\ 1010_4^15 - 340823673487033316635728802/129363111962709124891666225\ *c_1010_4^14 + 1024539368650676161404800544/12936311196270912489166\ 6225*c_1010_4^13 - 57439281457466899854186219/517452447850836499566\ 6649*c_1010_4^12 + 1478306424549611683176194886/1293631119627091248\ 91666225*c_1010_4^11 - 2031231411166797450183199704/129363111962709\ 124891666225*c_1010_4^10 + 4397913816011115781399587436/12936311196\ 2709124891666225*c_1010_4^9 - 3723250039034538624063055841/12936311\ 1962709124891666225*c_1010_4^8 + 1005342350381030433925605362/12936\ 3111962709124891666225*c_1010_4^7 + 583694389008556751337289384/129363111962709124891666225*c_1010_4^6 + 3511259647731513040487199/25872622392541824978333245*c_1010_4^5 + 593258267613190664314818233/129363111962709124891666225*c_1010_4^4 - 476761949439900465677557381/129363111962709124891666225*c_1010_4^3 - 245381983975442030296035887/129363111962709124891666225*c_1010_4^2 + 55063275579973056196919522/129363111962709124891666225*c_1010_4 + 79290280569469247945305157/129363111962709124891666225, c_0011_3 - 453483921672425346604854/25872622392541824978333245*c_1010_4\ ^18 + 518641838332334951146299/25872622392541824978333245*c_1010_4^\ 17 - 6376247742700792661142216/25872622392541824978333245*c_1010_4^\ 16 + 3272515449732064067515174/5174524478508364995666649*c_1010_4^1\ 5 - 6426519072805457480810271/5174524478508364995666649*c_1010_4^14 + 101693443164608470915449352/25872622392541824978333245*c_1010_4^1\ 3 - 129826366706126535639512537/25872622392541824978333245*c_1010_4\ ^12 + 189767428833993307463393482/25872622392541824978333245*c_1010\ _4^11 - 257865692373780467643644244/25872622392541824978333245*c_10\ 10_4^10 + 463440003054962487538686529/25872622392541824978333245*c_\ 1010_4^9 - 397284205208244466004078022/25872622392541824978333245*c\ _1010_4^8 + 378231085968922980137906567/25872622392541824978333245*\ c_1010_4^7 - 32773051157529715528659911/5174524478508364995666649*c\ _1010_4^6 + 96495511430457062346440179/25872622392541824978333245*c\ _1010_4^5 + 72514137114353563798481021/25872622392541824978333245*c\ _1010_4^4 - 15289792597154190448231771/25872622392541824978333245*c\ _1010_4^3 + 13264473836944249560699656/5174524478508364995666649*c_\ 1010_4^2 - 921953858056781187342280/5174524478508364995666649*c_101\ 0_4 - 7053400039059018890843876/25872622392541824978333245, c_0011_4 + 5440642378481598797029558/129363111962709124891666225*c_1010\ _4^18 - 6490299558436417076570577/129363111962709124891666225*c_101\ 0_4^17 + 14573586185683052448770848/25872622392541824978333245*c_10\ 10_4^16 - 195122448635793896960436434/129363111962709124891666225*c\ _1010_4^15 + 344213535579818078907141294/12936311196270912489166622\ 5*c_1010_4^14 - 1094789293140675221972375473/1293631119627091248916\ 66225*c_1010_4^13 + 277440599901611978214221871/2587262239254182497\ 8333245*c_1010_4^12 - 1594175599518512796664025972/1293631119627091\ 24891666225*c_1010_4^11 + 2238145844795688674896892473/129363111962\ 709124891666225*c_1010_4^10 - 4868561635681525820848374852/12936311\ 1962709124891666225*c_1010_4^9 + 3575598608311450270527786557/12936\ 3111962709124891666225*c_1010_4^8 - 1685688677809890471412268044/129363111962709124891666225*c_1010_4^7 + 159884193100639018630722377/129363111962709124891666225*c_1010_4^\ 6 - 47458507598599992065691226/5174524478508364995666649*c_1010_4^5 - 498291509049385715092353066/129363111962709124891666225*c_1010_4^\ 4 + 69298710470857174514620247/129363111962709124891666225*c_1010_4\ ^3 - 92839687993137971022519361/129363111962709124891666225*c_1010_\ 4^2 - 128235313080427444707263359/129363111962709124891666225*c_101\ 0_4 - 194898150501126175651023664/129363111962709124891666225, c_0101_0 - 21432478182258704995226342/129363111962709124891666225*c_101\ 0_4^18 + 34158557903252444140373368/129363111962709124891666225*c_1\ 010_4^17 - 11972887340876750951436482/5174524478508364995666649*c_1\ 010_4^16 + 885947607621003564756411986/129363111962709124891666225*\ c_1010_4^15 - 1688493436169644898631601651/129363111962709124891666\ 225*c_1010_4^14 + 4923211664495577661338577497/12936311196270912489\ 1666225*c_1010_4^13 - 291280906372252994949706149/51745244785083649\ 95666649*c_1010_4^12 + 8773146292680434216393017743/129363111962709\ 124891666225*c_1010_4^11 - 11656061477969805631926596227/1293631119\ 62709124891666225*c_1010_4^10 + 22741056360564382172856701293/12936\ 3111962709124891666225*c_1010_4^9 - 21884526516346460668221004008/129363111962709124891666225*c_1010_4^\ 8 + 13301304398905952735074236506/129363111962709124891666225*c_101\ 0_4^7 - 3234476610148856283998611558/129363111962709124891666225*c_\ 1010_4^6 + 676239144804741288314687727/25872622392541824978333245*c\ _1010_4^5 + 2011264193310862289523522604/12936311196270912489166622\ 5*c_1010_4^4 - 1615762773982003529546788278/12936311196270912489166\ 6225*c_1010_4^3 + 1161020329037475517612318519/12936311196270912489\ 1666225*c_1010_4^2 + 444646882005516165627331136/129363111962709124\ 891666225*c_1010_4 + 680016952249434272837135516/129363111962709124\ 891666225, c_0101_1 + 9613815040032611846782461/129363111962709124891666225*c_1010\ _4^18 - 15566636737318222730681214/129363111962709124891666225*c_10\ 10_4^17 + 26879130246613582930013833/25872622392541824978333245*c_1\ 010_4^16 - 398733923081878925258482058/129363111962709124891666225*\ c_1010_4^15 + 762884884966758665841947203/1293631119627091248916662\ 25*c_1010_4^14 - 2195130391029992913663132621/129363111962709124891\ 666225*c_1010_4^13 + 650944649158408137705199261/258726223925418249\ 78333245*c_1010_4^12 - 3881484858911591955168273659/129363111962709\ 124891666225*c_1010_4^11 + 4943365031841298194700440841/12936311196\ 2709124891666225*c_1010_4^10 - 9971248125749868875649711164/1293631\ 11962709124891666225*c_1010_4^9 + 9588530244342808102181747454/1293\ 63111962709124891666225*c_1010_4^8 - 5392246026198225043276312273/129363111962709124891666225*c_1010_4^7 + 205396831324936451113160049/129363111962709124891666225*c_1010_4^\ 6 - 189828326373035426686896443/25872622392541824978333245*c_1010_4\ ^5 - 1219386771905257459696180902/129363111962709124891666225*c_101\ 0_4^4 + 758539949299721138973755249/129363111962709124891666225*c_1\ 010_4^3 - 590467500740793501948841257/129363111962709124891666225*c\ _1010_4^2 - 469605508816915054798289783/129363111962709124891666225\ *c_1010_4 - 335973990014050732792490583/129363111962709124891666225\ , c_0101_10 - 1, c_0101_2 + 18166722099475337942176584/129363111962709124891666225*c_101\ 0_4^18 - 27190266710992025924540181/129363111962709124891666225*c_1\ 010_4^17 + 50308751706976312431559388/25872622392541824978333245*c_\ 1010_4^16 - 726262062963468725849815617/129363111962709124891666225\ *c_1010_4^15 + 1366714170904311431114524547/12936311196270912489166\ 6225*c_1010_4^14 - 4047451359630741686679308114/1293631119627091248\ 91666225*c_1010_4^13 + 1157624748601543657687590666/258726223925418\ 24978333245*c_1010_4^12 - 6949088491904259159994077651/129363111962\ 709124891666225*c_1010_4^11 + 9204898263217663971267006054/12936311\ 1962709124891666225*c_1010_4^10 - 18458719095493867655916784506/129\ 363111962709124891666225*c_1010_4^9 + 16962632919946437825582928431/129363111962709124891666225*c_1010_4^\ 8 - 9849635269878248904312938262/129363111962709124891666225*c_1010\ _4^7 + 1762184227996872945600374626/129363111962709124891666225*c_1\ 010_4^6 - 593749426982785659254764116/25872622392541824978333245*c_\ 1010_4^5 - 1621107284839439029748935478/129363111962709124891666225\ *c_1010_4^4 + 1123156648597039167150807056/129363111962709124891666\ 225*c_1010_4^3 - 805546627829591875137410693/1293631119627091248916\ 66225*c_1010_4^2 - 584907947359861431537432142/12936311196270912489\ 1666225*c_1010_4 - 602115235964041570560324162/12936311196270912489\ 1666225, c_0101_3 + 9393836463503208096082923/129363111962709124891666225*c_1010\ _4^18 - 11431710813662970305324507/129363111962709124891666225*c_10\ 10_4^17 + 25251063125702751519379106/25872622392541824978333245*c_1\ 010_4^16 - 339915631295655271151686474/129363111962709124891666225*\ c_1010_4^15 + 603446504511336621215705909/1293631119627091248916662\ 25*c_1010_4^14 - 1907492397939036658253253433/129363111962709124891\ 666225*c_1010_4^13 + 486208827129773257845015807/258726223925418249\ 78333245*c_1010_4^12 - 2804857327969795278775540822/129363111962709\ 124891666225*c_1010_4^11 + 3894963415586207622378673338/12936311196\ 2709124891666225*c_1010_4^10 - 8327059033641345484416965282/1293631\ 11962709124891666225*c_1010_4^9 + 6273805469628673224781082732/1293\ 63111962709124891666225*c_1010_4^8 - 2986244138596952760107883164/129363111962709124891666225*c_1010_4^7 - 45904017614711285056716478/129363111962709124891666225*c_1010_4^6 - 283285319814704459584608037/25872622392541824978333245*c_1010_4^5 - 1053113824879417676801255491/129363111962709124891666225*c_1010_4\ ^4 + 149881841422883454360343682/129363111962709124891666225*c_1010\ _4^3 - 251363755925364243563155821/129363111962709124891666225*c_10\ 10_4^2 - 149003275735769206936432999/129363111962709124891666225*c_\ 1010_4 - 295444393721153320532941539/129363111962709124891666225, c_1001_10 + 8552907059442726095394123/129363111962709124891666225*c_101\ 0_4^18 - 11623629973673803193858967/129363111962709124891666225*c_1\ 010_4^17 + 4685924292072545900309111/5174524478508364995666649*c_10\ 10_4^16 - 327528139881589800591333559/129363111962709124891666225*c\ _1010_4^15 + 603829285937552765272577344/12936311196270912489166622\ 5*c_1010_4^14 - 1852320968600748773016175493/1293631119627091248916\ 66225*c_1010_4^13 + 101336019888627103996478281/5174524478508364995\ 666649*c_1010_4^12 - 3067603632992667204825803992/12936311196270912\ 4891666225*c_1010_4^11 + 4261533231376365776566565213/1293631119627\ 09124891666225*c_1010_4^10 - 8487470969743998780267073342/129363111\ 962709124891666225*c_1010_4^9 + 7374102675603629723401180977/129363\ 111962709124891666225*c_1010_4^8 - 4457389243680023861036625989/129363111962709124891666225*c_1010_4^7 + 1556787396671936494487214577/129363111962709124891666225*c_1010_4\ ^6 - 403921100609750232567867673/25872622392541824978333245*c_1010_\ 4^5 - 401720512934181570052754576/129363111962709124891666225*c_101\ 0_4^4 + 364616699297318028177051807/129363111962709124891666225*c_1\ 010_4^3 - 215079127088798373188569436/129363111962709124891666225*c\ _1010_4^2 + 14060673419762748152523866/129363111962709124891666225*\ c_1010_4 - 266141245949990837767833579/129363111962709124891666225, c_1001_5 + 1949242040838509385914032/129363111962709124891666225*c_1010\ _4^18 - 3936029951088438102592883/129363111962709124891666225*c_101\ 0_4^17 + 5577712425399022609174497/25872622392541824978333245*c_101\ 0_4^16 - 91252331630895737505767761/129363111962709124891666225*c_1\ 010_4^15 + 179426565508345782642105501/129363111962709124891666225*\ c_1010_4^14 - 487917288358890044413582817/1293631119627091248916662\ 25*c_1010_4^13 + 162747939714218342243291664/2587262239254182497833\ 3245*c_1010_4^12 - 950630339257747410529867713/12936311196270912489\ 1666225*c_1010_4^11 + 1227385300139661726334056167/1293631119627091\ 24891666225*c_1010_4^10 - 2382831879564392827111489958/129363111962\ 709124891666225*c_1010_4^9 + 2605003010568941128757412653/129363111\ 962709124891666225*c_1010_4^8 - 1543571415347808183425957551/129363\ 111962709124891666225*c_1010_4^7 + 420238919850532149691735683/129363111962709124891666225*c_1010_4^6 - 18733854725333651562100936/5174524478508364995666649*c_1010_4^5 - 64391827341553585227973664/129363111962709124891666225*c_1010_4^4 + 172730878561792652746127213/129363111962709124891666225*c_1010_4^3 - 31243042555430038324921819/129363111962709124891666225*c_1010_4^2 - 93230693597849771446431161/129363111962709124891666225*c_1010_4 - 185715288996144588516472731/129363111962709124891666225, c_1010_4^19 - c_1010_4^18 + 13*c_1010_4^17 - 33*c_1010_4^16 + 54*c_1010_4^15 - 182*c_1010_4^14 + 202*c_1010_4^13 - 204*c_1010_4^12 + 294*c_1010_4^11 - 736*c_1010_4^10 + 387*c_1010_4^9 + 4*c_1010_4^8 - 230*c_1010_4^7 - 83*c_1010_4^6 - 177*c_1010_4^5 + 23*c_1010_4^4 - 5*c_1010_4^3 - 54*c_1010_4^2 - 47*c_1010_4 - 19 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 9.610 Total time: 9.820 seconds, Total memory usage: 120.28MB