Magma V2.19-8 Tue Aug 20 2013 23:38:59 on localhost [Seed = 1882592272] Type ? for help. Type -D to quit. Loading file "K12n468__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n468 geometric_solution 9.82376084 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 3 0132 0132 0132 0321 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 -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 0 0 0 0 0 0 0.336205299713 0.886375822605 0 4 2 5 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -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 1.147355585176 1.376665450533 6 0 4 1 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 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.170701242489 0.593454648427 7 0 8 0 0132 0321 0132 0132 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 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.625896564150 0.986290938822 6 1 9 2 1023 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 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 0 -1 1 0 0 0 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.620625299319 1.192188459564 6 8 1 8 3120 2103 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 1 -1 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.724975737046 0.767069195512 2 4 7 5 0132 1023 0213 3120 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.218753908958 0.674611313666 3 6 10 10 0132 0213 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.240345343760 0.430162625799 9 5 5 3 2031 2103 2031 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 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.349205100101 0.688581279069 10 10 8 4 1023 3201 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.403598605935 0.448713277642 7 9 9 7 3201 1023 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.066991993513 1.491361972183 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : negation(d['c_0011_8']), 'c_1001_5' : d['c_0011_8'], 'c_1001_4' : d['c_0011_8'], 'c_1001_7' : d['c_0101_4'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_1001_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_0'], 'c_1001_9' : negation(d['c_0101_10']), 'c_1001_8' : d['c_0011_5'], 'c_1010_10' : d['c_0101_4'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(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_10' : 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_1100_9' : d['c_0101_8'], 'c_1100_8' : d['c_1001_3'], 'c_1100_5' : d['c_0101_8'], 'c_1100_4' : d['c_0101_8'], 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : negation(d['c_0101_0']), 'c_1100_1' : d['c_0101_8'], 'c_1100_0' : d['c_1001_3'], 'c_1100_3' : d['c_1001_3'], 'c_1100_2' : d['c_0101_8'], 'c_1100_10' : d['c_0011_10'], 'c_1010_7' : negation(d['c_0101_0']), 'c_1010_6' : negation(d['c_0011_5']), 'c_1010_5' : negation(d['c_1001_3']), '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_0011_8'], 'c_1010_0' : d['c_1001_0'], 'c_1010_9' : d['c_0011_8'], 'c_1010_8' : d['c_1001_3'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : 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' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0101_0'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_10']), 'c_0101_2' : negation(d['c_0011_5']), 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_8']), 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_4'], 'c_0110_8' : negation(d['c_0101_10']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : negation(d['c_0011_5']), 'c_0110_4' : negation(d['c_0011_5']), 'c_0110_7' : negation(d['c_0101_10']), 'c_0110_6' : negation(d['c_0011_5'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_5, c_0011_8, c_0101_0, c_0101_10, c_0101_4, c_0101_8, c_1001_0, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 725344481783094787613354125552678658373324865847428896/925481358923\ 3000387647154353688326588337224163525*c_1001_3^23 - 4323332462833288579855347997604755528132781365931778832/92548135892\ 33000387647154353688326588337224163525*c_1001_3^22 + 7079641340166743560429961119636333338008618474316153712/92548135892\ 33000387647154353688326588337224163525*c_1001_3^21 + 1437096777165516826851982155415748424117377103187239696/18509627178\ 46600077529430870737665317667444832705*c_1001_3^20 - 52141588324401049717614979465899929772452568986492985616/9254813589\ 233000387647154353688326588337224163525*c_1001_3^19 + 16662588521676049917389299977969612975860684152598136676/1850962717\ 846600077529430870737665317667444832705*c_1001_3^18 + 45222769147859510433586868479593618750269518583825778146/9254813589\ 233000387647154353688326588337224163525*c_1001_3^17 - 251542934174479427996638555787148800417651384912806210879/925481358\ 9233000387647154353688326588337224163525*c_1001_3^16 + 22325214427893662290452953273101480048461807414191510668/1322116227\ 033285769663879193384046655476746309075*c_1001_3^15 + 20125985950765404706532794022945567656252510474939652687/1850962717\ 846600077529430870737665317667444832705*c_1001_3^14 - 7281308316058328558203990008195746331157378900362658153/13221162270\ 33285769663879193384046655476746309075*c_1001_3^13 - 23692070459436207624560735557632191298235223597884578332/1322116227\ 033285769663879193384046655476746309075*c_1001_3^12 + 149011441000076531445909889087139034185439220151253657331/925481358\ 9233000387647154353688326588337224163525*c_1001_3^11 + 2756894712093190677915322425797482756671419013928562731/29854237384\ 6225818956359817860913760914104005275*c_1001_3^10 - 132184652641473408414489841091152051788642051495285694419/925481358\ 9233000387647154353688326588337224163525*c_1001_3^9 + 54016247375886870265812112019280606201727210471800571874/9254813589\ 233000387647154353688326588337224163525*c_1001_3^8 - 5011068987778472778581208917000819507212618397928208073/92548135892\ 33000387647154353688326588337224163525*c_1001_3^7 + 19219192744638828668611418306975921229299020148462341333/9254813589\ 233000387647154353688326588337224163525*c_1001_3^6 - 5956388778069093471575791690107852804100465170259136626/92548135892\ 33000387647154353688326588337224163525*c_1001_3^5 - 5387091792038932297188958702033662394763194585200997436/92548135892\ 33000387647154353688326588337224163525*c_1001_3^4 + 8399168171272367946306253526727065333871995724539680261/92548135892\ 33000387647154353688326588337224163525*c_1001_3^3 - 5322791199943732191600637813426118676034750013629182521/92548135892\ 33000387647154353688326588337224163525*c_1001_3^2 + 715349929328079339370677869702089525180420557782546927/185096271784\ 6600077529430870737665317667444832705*c_1001_3 - 938086148042274553142715306945466215430371578710156104/925481358923\ 3000387647154353688326588337224163525, c_0011_0 - 1, c_0011_10 + 18473612424697381936154560962487537860738277872/42648910549\ 460831279479973980130537273443429325*c_1001_3^23 - 118726048904376838185897950852227434060995260224/426489105494608312\ 79479973980130537273443429325*c_1001_3^22 + 227027034854270940593407366143541387596770739984/426489105494608312\ 79479973980130537273443429325*c_1001_3^21 + 26108393929024033748386356788441738146439161992/8529782109892166255\ 895994796026107454688685865*c_1001_3^20 - 1473985172151121155240725971415666721280092703212/42648910549460831\ 279479973980130537273443429325*c_1001_3^19 + 538625484711382095962891421419506613540724452372/852978210989216625\ 5895994796026107454688685865*c_1001_3^18 + 567768861806435089544595282892863526958960278547/426489105494608312\ 79479973980130537273443429325*c_1001_3^17 - 7616867763334598409021764541118749725387947487503/42648910549460831\ 279479973980130537273443429325*c_1001_3^16 + 6659328658351741770045108399118012103797948839757/42648910549460831\ 279479973980130537273443429325*c_1001_3^15 + 587961183271976893108041763725441787831330113639/852978210989216625\ 5895994796026107454688685865*c_1001_3^14 - 3632252333566031887291334115366336589844135042022/42648910549460831\ 279479973980130537273443429325*c_1001_3^13 - 5333124077525126160026028315575204462486363892568/42648910549460831\ 279479973980130537273443429325*c_1001_3^12 + 5765237691329853687129981081760312269409731238992/42648910549460831\ 279479973980130537273443429325*c_1001_3^11 + 2696343397831252348867187779493127450936188432552/42648910549460831\ 279479973980130537273443429325*c_1001_3^10 - 5081095793356042130673644329146098870391178954358/42648910549460831\ 279479973980130537273443429325*c_1001_3^9 + 1932937591586741645406800946864304948717904997468/42648910549460831\ 279479973980130537273443429325*c_1001_3^8 + 133834532816373127197429045831750786918842591964/426489105494608312\ 79479973980130537273443429325*c_1001_3^7 + 930998683274324905982244349896158333331770380556/426489105494608312\ 79479973980130537273443429325*c_1001_3^6 - 129727459476749541642771285269466835262327492307/426489105494608312\ 79479973980130537273443429325*c_1001_3^5 - 280832063110576376669312707660253736423500883677/426489105494608312\ 79479973980130537273443429325*c_1001_3^4 + 321590839771445269229501075505796068668707587802/426489105494608312\ 79479973980130537273443429325*c_1001_3^3 - 157852962917171989361905582144006699716088824447/426489105494608312\ 79479973980130537273443429325*c_1001_3^2 + 35589790073535473255870762078816344702788739914/8529782109892166255\ 895994796026107454688685865*c_1001_3 - 35061375503220274928754803194937469590166005228/4264891054946083127\ 9479973980130537273443429325, c_0011_3 + 440387649164411060557878204286712005993414672/17059564219784\ 33251179198959205221490937737173*c_1001_3^23 - 1292535640840218825934923236578239740026557776/17059564219784332511\ 79198959205221490937737173*c_1001_3^22 - 2343818901905942591786480154291500769198852768/17059564219784332511\ 79198959205221490937737173*c_1001_3^21 + 10204252588925733859081013687874167861106877944/1705956421978433251\ 179198959205221490937737173*c_1001_3^20 - 9290679083503433965284437254489540913116223388/17059564219784332511\ 79198959205221490937737173*c_1001_3^19 - 26687692634554163751995418294053818655492681976/1705956421978433251\ 179198959205221490937737173*c_1001_3^18 + 93988306504568887759607841321277590985241433373/1705956421978433251\ 179198959205221490937737173*c_1001_3^17 + 35960450098731924687083871698758315410302189018/1705956421978433251\ 179198959205221490937737173*c_1001_3^16 - 221220217955706762064223890176501277356358736393/170595642197843325\ 1179198959205221490937737173*c_1001_3^15 - 53589703346480850215550748833604661410362855520/1705956421978433251\ 179198959205221490937737173*c_1001_3^14 + 213498506312885790453919190817176084339529397377/170595642197843325\ 1179198959205221490937737173*c_1001_3^13 + 83844335200544491635548226457553998938602287852/1705956421978433251\ 179198959205221490937737173*c_1001_3^12 - 165785163143978037657696071692640528290202903862/170595642197843325\ 1179198959205221490937737173*c_1001_3^11 + 8126881219067666727658676182329573205134756868/17059564219784332511\ 79198959205221490937737173*c_1001_3^10 + 174552127122211669979363561543122184551638145209/170595642197843325\ 1179198959205221490937737173*c_1001_3^9 + 25696460474215675026523883188370115569215123750/1705956421978433251\ 179198959205221490937737173*c_1001_3^8 - 37893581117066453571653585236904996547197258205/1705956421978433251\ 179198959205221490937737173*c_1001_3^7 - 3295326593705112976670036659287590497732166471/17059564219784332511\ 79198959205221490937737173*c_1001_3^6 + 29117291921310305049776707551846742426840621160/1705956421978433251\ 179198959205221490937737173*c_1001_3^5 + 7686474632354760742198733939417586061251819002/17059564219784332511\ 79198959205221490937737173*c_1001_3^4 - 4863373344179225322245227242447621005916186837/17059564219784332511\ 79198959205221490937737173*c_1001_3^3 + 799819481153970173518417876867707034962018532/170595642197843325117\ 9198959205221490937737173*c_1001_3^2 - 1480736741700113568222754340628332298229814093/17059564219784332511\ 79198959205221490937737173*c_1001_3 - 762341174211199263270368628321932853147054490/170595642197843325117\ 9198959205221490937737173, c_0011_5 - 1346907303608095706925344933657491408471311104/4264891054946\ 0831279479973980130537273443429325*c_1001_3^23 + 30266801345003566946617385259444170297439155568/4264891054946083127\ 9479973980130537273443429325*c_1001_3^22 - 132683126100382879824765962090559759510246727088/426489105494608312\ 79479973980130537273443429325*c_1001_3^21 + 26058648476101427829165564973913550872356346496/8529782109892166255\ 895994796026107454688685865*c_1001_3^20 + 419666295335521776892200071233304734081259606184/426489105494608312\ 79479973980130537273443429325*c_1001_3^19 - 317551012855626385512453254754250519974781373684/852978210989216625\ 5895994796026107454688685865*c_1001_3^18 + 1590603633347716522318972182340751625005322171896/42648910549460831\ 279479973980130537273443429325*c_1001_3^17 + 3039468149078786168299213049275696076596706979571/42648910549460831\ 279479973980130537273443429325*c_1001_3^16 - 6767130851766876167862576957277681857060658116674/42648910549460831\ 279479973980130537273443429325*c_1001_3^15 + 103859879693087014033329911530499217912603242747/852978210989216625\ 5895994796026107454688685865*c_1001_3^14 + 4409691443334740868023682808504967857501559473004/42648910549460831\ 279479973980130537273443429325*c_1001_3^13 + 1079465146771548598307676957477025757099301278901/42648910549460831\ 279479973980130537273443429325*c_1001_3^12 - 5068071378172850964734035563605420393515579429344/42648910549460831\ 279479973980130537273443429325*c_1001_3^11 + 1229844611863392114226468123363013306140787906611/42648910549460831\ 279479973980130537273443429325*c_1001_3^10 + 4261185588731142870288382045477034956371707232206/42648910549460831\ 279479973980130537273443429325*c_1001_3^9 - 2129508447949238065851713292448116163650220753126/42648910549460831\ 279479973980130537273443429325*c_1001_3^8 + 240632494196887773168227014215468402896564455727/426489105494608312\ 79479973980130537273443429325*c_1001_3^7 + 60405580582197528284453138797992989825407116558/4264891054946083127\ 9479973980130537273443429325*c_1001_3^6 + 477737709843235862275809918025285423740963537724/426489105494608312\ 79479973980130537273443429325*c_1001_3^5 + 170323675568705522227579413481123180662718718189/426489105494608312\ 79479973980130537273443429325*c_1001_3^4 - 225703082722095932173154178199587662483591710814/426489105494608312\ 79479973980130537273443429325*c_1001_3^3 + 191985102741152398941591224386648039657354477829/426489105494608312\ 79479973980130537273443429325*c_1001_3^2 - 20956102834696346275323921732162670439390952298/8529782109892166255\ 895994796026107454688685865*c_1001_3 + 27580462212767528802661369270841172388916684396/4264891054946083127\ 9479973980130537273443429325, c_0011_8 - 68616763474868371397095229342520149511255741152/426489105494\ 60831279479973980130537273443429325*c_1001_3^23 + 386695814004529433198133863423027522403427699184/426489105494608312\ 79479973980130537273443429325*c_1001_3^22 - 547133055570515740852682840581103259372860452544/426489105494608312\ 79479973980130537273443429325*c_1001_3^21 - 166933410284998695246748026079949627611797316112/852978210989216625\ 5895994796026107454688685865*c_1001_3^20 + 4607096481521478859467611656466122937307900731392/42648910549460831\ 279479973980130537273443429325*c_1001_3^19 - 1277669411356139791580816788339367690463370539172/85297821098921662\ 55895994796026107454688685865*c_1001_3^18 - 6065365978762493848834484338346665427710850598802/42648910549460831\ 279479973980130537273443429325*c_1001_3^17 + 21192761886855203314849261222595285333745574806773/4264891054946083\ 1279479973980130537273443429325*c_1001_3^16 - 7779344840092503480247331963970485181639511826387/42648910549460831\ 279479973980130537273443429325*c_1001_3^15 - 2086554658107810821689391967840046637777809500784/85297821098921662\ 55895994796026107454688685865*c_1001_3^14 - 399335143238887730103199619817052135668095555948/426489105494608312\ 79479973980130537273443429325*c_1001_3^13 + 15087076786598488415661759641968898912277819686413/4264891054946083\ 1279479973980130537273443429325*c_1001_3^12 - 8378004006629850681528554647598898865382177046497/42648910549460831\ 279479973980130537273443429325*c_1001_3^11 - 9711549125923149191096871973200405061801933047332/42648910549460831\ 279479973980130537273443429325*c_1001_3^10 + 8024970106889710559490634814884481148427153830703/42648910549460831\ 279479973980130537273443429325*c_1001_3^9 - 2612362964824268977455054330133188966000871409563/42648910549460831\ 279479973980130537273443429325*c_1001_3^8 + 720119981593391865635817421179515055123885715651/426489105494608312\ 79479973980130537273443429325*c_1001_3^7 - 2006125496762453469438873461898874773315469710021/42648910549460831\ 279479973980130537273443429325*c_1001_3^6 + 37945661658817866304300308217788912693184250037/4264891054946083127\ 9479973980130537273443429325*c_1001_3^5 + 426557973020642709195538279250354523862305108332/426489105494608312\ 79479973980130537273443429325*c_1001_3^4 - 600165798768122156820198347499034819357243739232/426489105494608312\ 79479973980130537273443429325*c_1001_3^3 + 357560595246684125688637820190133995511395287402/426489105494608312\ 79479973980130537273443429325*c_1001_3^2 - 53589189542730336224892446258303896455424761639/8529782109892166255\ 895994796026107454688685865*c_1001_3 + 41564551970719255965527376401958547263957018748/4264891054946083127\ 9479973980130537273443429325, c_0101_0 - 50361711321877901305237009193440310734691410512/426489105494\ 60831279479973980130537273443429325*c_1001_3^23 + 267891114505679255655029485693978773609632833504/426489105494608312\ 79479973980130537273443429325*c_1001_3^22 - 313245429366718865467611576220263022327078476864/426489105494608312\ 79479973980130537273443429325*c_1001_3^21 - 145908634720613248292250821977001214571721347832/852978210989216625\ 5895994796026107454688685865*c_1001_3^20 + 3169651123552326124789724893211309264485656264452/42648910549460831\ 279479973980130537273443429325*c_1001_3^19 - 728986197891005511593696019050157401038219350972/852978210989216625\ 5895994796026107454688685865*c_1001_3^18 - 5788455383315185614293046829755759288753291012437/42648910549460831\ 279479973980130537273443429325*c_1001_3^17 + 13948482105054412470589050013038049591704801088563/4264891054946083\ 1279479973980130537273443429325*c_1001_3^16 - 1010103156912526200927755588477141043877340168822/42648910549460831\ 279479973980130537273443429325*c_1001_3^15 - 1709606410915037538789738470287473840052764112014/85297821098921662\ 55895994796026107454688685865*c_1001_3^14 - 2933700510631270106923616329189976187520957667613/42648910549460831\ 279479973980130537273443429325*c_1001_3^13 + 9823518088696794604852632978378151615374110247703/42648910549460831\ 279479973980130537273443429325*c_1001_3^12 - 2435137169198942808253196778277725482543742123682/42648910549460831\ 279479973980130537273443429325*c_1001_3^11 - 8017843989190548429680747783977591152783197897442/42648910549460831\ 279479973980130537273443429325*c_1001_3^10 + 3460680774327644536386240566947683033321406742443/42648910549460831\ 279479973980130537273443429325*c_1001_3^9 - 957008306761966028292319413634318632794295421328/426489105494608312\ 79479973980130537273443429325*c_1001_3^8 + 555777873400548717396609576402725563562033836531/426489105494608312\ 79479973980130537273443429325*c_1001_3^7 - 934681585954844227227560748310638343414855047001/426489105494608312\ 79479973980130537273443429325*c_1001_3^6 - 457702695241243138621159191452838178521074353778/426489105494608312\ 79479973980130537273443429325*c_1001_3^5 + 338128337052374902248298315889014401488768679192/426489105494608312\ 79479973980130537273443429325*c_1001_3^4 - 268355654361956565318406673388620315670400595392/426489105494608312\ 79479973980130537273443429325*c_1001_3^3 + 223106238423034471719047971643407094180086179037/426489105494608312\ 79479973980130537273443429325*c_1001_3^2 - 22786679841798895649781361236865066027669725544/8529782109892166255\ 895994796026107454688685865*c_1001_3 + 28971457204517010175572637036273267765736404288/4264891054946083127\ 9479973980130537273443429325, c_0101_10 - 7286494796901696015875913165684008831421975728/426489105494\ 60831279479973980130537273443429325*c_1001_3^23 + 49060103236572663605085121756694741492574359776/4264891054946083127\ 9479973980130537273443429325*c_1001_3^22 - 92851339253039604564868353924161135692798596416/4264891054946083127\ 9479973980130537273443429325*c_1001_3^21 - 15610459649565936742576067993750732803877898568/8529782109892166255\ 895994796026107454688685865*c_1001_3^20 + 641783698279933361554064673740019940313858766588/426489105494608312\ 79479973980130537273443429325*c_1001_3^19 - 211181778390095199495180662265955741139034283508/852978210989216625\ 5895994796026107454688685865*c_1001_3^18 - 523465748377974900069161676531187007870043510203/426489105494608312\ 79479973980130537273443429325*c_1001_3^17 + 3598379981295585325681630171680927318280489648297/42648910549460831\ 279479973980130537273443429325*c_1001_3^16 - 1994450189782580121044221005141563159426858969318/42648910549460831\ 279479973980130537273443429325*c_1001_3^15 - 570745047583977558978033570252813014385086610886/852978210989216625\ 5895994796026107454688685865*c_1001_3^14 + 916324638094032707654101995000781180086644190303/426489105494608312\ 79479973980130537273443429325*c_1001_3^13 + 3406089254143004478387191785887404131026207622107/42648910549460831\ 279479973980130537273443429325*c_1001_3^12 - 1735654202742457495337634028749586090655848739383/42648910549460831\ 279479973980130537273443429325*c_1001_3^11 - 1964563344131116568266601617392912584158767378873/42648910549460831\ 279479973980130537273443429325*c_1001_3^10 + 2144038132716074723161210621007476248659971268967/42648910549460831\ 279479973980130537273443429325*c_1001_3^9 + 484025408972480860495985520615727200034669502568/426489105494608312\ 79479973980130537273443429325*c_1001_3^8 - 32482694197992515360979434193647031831256554186/4264891054946083127\ 9479973980130537273443429325*c_1001_3^7 - 181170080478226665380927638097080194690403301919/426489105494608312\ 79479973980130537273443429325*c_1001_3^6 + 146852463319472002567244496360525690718277208718/426489105494608312\ 79479973980130537273443429325*c_1001_3^5 + 150888658960397017905685394444956327505818920748/426489105494608312\ 79479973980130537273443429325*c_1001_3^4 - 26274398659416291898841782839387613225471599098/4264891054946083127\ 9479973980130537273443429325*c_1001_3^3 + 124171887188125169000244471218869847262781694353/426489105494608312\ 79479973980130537273443429325*c_1001_3^2 - 3947548053185739911025670310051944907464949301/85297821098921662558\ 95994796026107454688685865*c_1001_3 + 882560943424083004304346172683278524313097972/426489105494608312794\ 79973980130537273443429325, c_0101_4 + 7595509892654801267287623997213241892727984/1705956421978433\ 251179198959205221490937737173*c_1001_3^23 + 295169516110380286206815661621413213898894016/170595642197843325117\ 9198959205221490937737173*c_1001_3^22 - 2398076105120101598623569141415007698984945440/17059564219784332511\ 79198959205221490937737173*c_1001_3^21 + 5551665988327943231999627667052675661242144584/17059564219784332511\ 79198959205221490937737173*c_1001_3^20 + 1201473565928869202591605984517924415868144820/17059564219784332511\ 79198959205221490937737173*c_1001_3^19 - 31530150484083443520351605775569547075064432564/1705956421978433251\ 179198959205221490937737173*c_1001_3^18 + 64785342939319749624091072479839952823148166155/1705956421978433251\ 179198959205221490937737173*c_1001_3^17 - 97245783174451308990274567050302793177874191/1705956421978433251179\ 198959205221490937737173*c_1001_3^16 - 184754753520163777078267652533587490938080967474/170595642197843325\ 1179198959205221490937737173*c_1001_3^15 + 177067757996115331834126040673067455001453427274/170595642197843325\ 1179198959205221490937737173*c_1001_3^14 + 98427540026367504262743095047008333369974601847/1705956421978433251\ 179198959205221490937737173*c_1001_3^13 - 114489422109067337486628932490739951579669312069/170595642197843325\ 1179198959205221490937737173*c_1001_3^12 - 133782504259746329620891333416335841030063831221/170595642197843325\ 1179198959205221490937737173*c_1001_3^11 + 144738557914601688740593728778571441112248298209/170595642197843325\ 1179198959205221490937737173*c_1001_3^10 + 58556644213150119573871180585160728356832156551/1705956421978433251\ 179198959205221490937737173*c_1001_3^9 - 146814571204532157942565210421057935439845762276/170595642197843325\ 1179198959205221490937737173*c_1001_3^8 + 29195246556156935484698638591249345539536558296/1705956421978433251\ 179198959205221490937737173*c_1001_3^7 + 6917612022897066136158155953835802981891360075/17059564219784332511\ 79198959205221490937737173*c_1001_3^6 + 9405938422541153754838025550034147511394016360/17059564219784332511\ 79198959205221490937737173*c_1001_3^5 - 1918618426156889510783214197743888752823096108/17059564219784332511\ 79198959205221490937737173*c_1001_3^4 - 8700770119470105827475694401405306690986671114/17059564219784332511\ 79198959205221490937737173*c_1001_3^3 + 7875743883580458620270753450835853456953817483/17059564219784332511\ 79198959205221490937737173*c_1001_3^2 - 3968237069348356801747427469670952309657267883/17059564219784332511\ 79198959205221490937737173*c_1001_3 + 2794814950022355552483489568077312194696184404/17059564219784332511\ 79198959205221490937737173, c_0101_8 - 26353442734554455616523044473852025481525936752/426489105494\ 60831279479973980130537273443429325*c_1001_3^23 + 156152649064611862981591173959383498727297079984/426489105494608312\ 79479973980130537273443429325*c_1001_3^22 - 259631091415226955759143690925364417687093770144/426489105494608312\ 79479973980130537273443429325*c_1001_3^21 - 45545521663506476475871026962239714299168674472/8529782109892166255\ 895994796026107454688685865*c_1001_3^20 + 1832899979081301046911104147714733845579140424292/42648910549460831\ 279479973980130537273443429325*c_1001_3^19 - 612736317102808373018877759286747206828652974712/852978210989216625\ 5895994796026107454688685865*c_1001_3^18 - 1260832781786684035366674379883410957675970152427/42648910549460831\ 279479973980130537273443429325*c_1001_3^17 + 8473084224868524454065083715064045016637838721298/42648910549460831\ 279479973980130537273443429325*c_1001_3^16 - 6138539109182732174987313107412961532694701793937/42648910549460831\ 279479973980130537273443429325*c_1001_3^15 - 358090773341912651430721166984620221433199491184/852978210989216625\ 5895994796026107454688685865*c_1001_3^14 + 1357942822174169923431849621483846733663891768127/42648910549460831\ 279479973980130537273443429325*c_1001_3^13 + 5195575411061863549659622760071940537481711316538/42648910549460831\ 279479973980130537273443429325*c_1001_3^12 - 5775722189346567937477617762436682541537695211372/42648910549460831\ 279479973980130537273443429325*c_1001_3^11 - 1795808337121561536915269567226224404020857467632/42648910549460831\ 279479973980130537273443429325*c_1001_3^10 + 4076551941506733473620706221265157993895329129053/42648910549460831\ 279479973980130537273443429325*c_1001_3^9 - 2715025644338633802536229252776824396421564851688/42648910549460831\ 279479973980130537273443429325*c_1001_3^8 + 509688432331724568709237112664958091304363458751/426489105494608312\ 79479973980130537273443429325*c_1001_3^7 - 939448632634220518776435536561194811285933282821/426489105494608312\ 79479973980130537273443429325*c_1001_3^6 + 260539119648751172909092321709318263783977287187/426489105494608312\ 79479973980130537273443429325*c_1001_3^5 - 45540613915656997276830867117758976526464941443/4264891054946083127\ 9479973980130537273443429325*c_1001_3^4 - 295780003896428260837741363469741657081585601357/426489105494608312\ 79479973980130537273443429325*c_1001_3^3 + 162538460344232472074830259970386691529162014402/426489105494608312\ 79479973980130537273443429325*c_1001_3^2 - 40066946970746560815138097847397560388533042149/8529782109892166255\ 895994796026107454688685865*c_1001_3 + 40864578284692590556425554795264914064134920848/4264891054946083127\ 9479973980130537273443429325, c_1001_0 + 89990082112924086103919511909078993481704931456/426489105494\ 60831279479973980130537273443429325*c_1001_3^23 - 525593239429457687016664530000294824969480292752/426489105494608312\ 79479973980130537273443429325*c_1001_3^22 + 803357676822735049150808167155365390447777384432/426489105494608312\ 79479973980130537273443429325*c_1001_3^21 + 208787776714680460057634698313598852386237921056/852978210989216625\ 5895994796026107454688685865*c_1001_3^20 - 6377811253316603299996474631273763267602573073976/42648910549460831\ 279479973980130537273443429325*c_1001_3^19 + 1870044972943424527436557575765977978689303164796/85297821098921662\ 55895994796026107454688685865*c_1001_3^18 + 7376563875703691137836042257550642712399861922456/42648910549460831\ 279479973980130537273443429325*c_1001_3^17 - 30712366574734163904108219256160771110238384713269/4264891054946083\ 1279479973980130537273443429325*c_1001_3^16 + 13773432864783154928469404347764510658282606723136/4264891054946083\ 1279479973980130537273443429325*c_1001_3^15 + 3317588850357968443780984293560435825572661585047/85297821098921662\ 55895994796026107454688685865*c_1001_3^14 - 2466551491181535264904724669378851803239614305706/42648910549460831\ 279479973980130537273443429325*c_1001_3^13 - 23052790257091874319459987687521458914290909127389/4264891054946083\ 1279479973980130537273443429325*c_1001_3^12 + 13723537903241224556697768711052115717768719783916/4264891054946083\ 1279479973980130537273443429325*c_1001_3^11 + 14136537435246148369021706551161190321355474903096/4264891054946083\ 1279479973980130537273443429325*c_1001_3^10 - 13730621708670488974365520127791182250668122592909/4264891054946083\ 1279479973980130537273443429325*c_1001_3^9 + 2598653204539487337539265110956877951620723497739/42648910549460831\ 279479973980130537273443429325*c_1001_3^8 - 591003390774906671120361342724310416990043851003/426489105494608312\ 79479973980130537273443429325*c_1001_3^7 + 2647995132935581447795627763757751544738245984913/42648910549460831\ 279479973980130537273443429325*c_1001_3^6 - 412102909230790313935774383566675054133542762811/426489105494608312\ 79479973980130537273443429325*c_1001_3^5 - 953919548885418980934823406854169859238360775146/426489105494608312\ 79479973980130537273443429325*c_1001_3^4 + 753000289725669355201085040489250950664100093746/426489105494608312\ 79479973980130537273443429325*c_1001_3^3 - 491615397941507250163502491388173468302804701031/426489105494608312\ 79479973980130537273443429325*c_1001_3^2 + 64327653234074998939771348342855249676356616132/8529782109892166255\ 895994796026107454688685865*c_1001_3 - 45393898659472112831519070775406529631390010119/4264891054946083127\ 9479973980130537273443429325, c_1001_3^24 - 6*c_1001_3^23 + 10*c_1001_3^22 + 19/2*c_1001_3^21 - 289/4*c_1001_3^20 + 471/4*c_1001_3^19 + 921/16*c_1001_3^18 - 5583/16*c_1001_3^17 + 459/2*c_1001_3^16 + 1033/8*c_1001_3^15 - 603/8*c_1001_3^14 - 3605/16*c_1001_3^13 + 429/2*c_1001_3^12 + 871/8*c_1001_3^11 - 2983/16*c_1001_3^10 + 1315/16*c_1001_3^9 - 41/4*c_1001_3^8 + 215/8*c_1001_3^7 - 37/4*c_1001_3^6 - 7*c_1001_3^5 + 95/8*c_1001_3^4 - 125/16*c_1001_3^3 + 21/4*c_1001_3^2 - 3/2*c_1001_3 + 1/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.280 Total time: 0.480 seconds, Total memory usage: 32.09MB