Magma V2.19-8 Tue Aug 20 2013 23:38:26 on localhost [Seed = 778586647] Type ? for help. Type -D to quit. Loading file "K11n106__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11n106 geometric_solution 9.99628740 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 11 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 0 -1 1 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 1.018142335389 1.296153042598 0 3 6 5 0132 3120 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 6 0 -6 0 0 0 0 1 6 0 -7 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.399790783568 0.440806090122 7 0 6 7 0132 0132 1023 2031 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 -7 0 0 7 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.443063466980 1.038250065960 8 1 9 0 0132 3120 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 -1 0 1 0 0 0 0 6 -6 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.435900983573 0.526187292453 10 6 0 9 0132 1023 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.327852790064 0.369252512437 8 7 1 10 2103 1230 0132 0321 0 0 0 0 0 0 1 -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 6 -6 0 0 0 0 0 -1 0 1 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.304006667337 0.465120981171 4 9 2 1 1023 2103 1023 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.529654975272 1.132766978302 2 2 5 10 0132 1302 3012 0132 0 0 0 0 0 -1 1 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -7 7 0 7 0 0 -7 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.652299739421 0.814781279398 3 10 5 9 0132 2310 2103 3012 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 -6 7 0 -1 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.214683590191 1.038424941951 4 6 8 3 3012 2103 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.476538431858 1.001193698335 4 5 7 8 0132 0321 0132 3201 0 0 0 0 0 1 0 -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 6 0 -6 0 0 7 -7 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.381522782278 0.530761802936 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_0101_6'], 'c_1001_7' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0011_9'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : negation(d['c_1001_1']), 'c_1001_2' : d['c_0101_6'], 'c_1001_9' : negation(d['c_0011_10']), 'c_1001_8' : d['c_0011_5'], 'c_1010_10' : negation(d['c_0011_5']), '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_0011_9'], '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_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0101_3'], 'c_1100_8' : d['c_0011_10'], 'c_1100_5' : d['c_1001_10'], 'c_1100_4' : d['c_0101_3'], 'c_1100_7' : d['c_0011_3'], 'c_1100_6' : d['c_1001_10'], 'c_1100_1' : d['c_1001_10'], 'c_1100_0' : d['c_0101_3'], 'c_1100_3' : d['c_0101_3'], 'c_1100_2' : negation(d['c_1001_10']), 'c_1100_10' : d['c_0011_3'], 'c_1010_7' : d['c_1001_10'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : negation(d['c_0011_5']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0011_0'], 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : d['c_0101_6'], 'c_1010_9' : negation(d['c_1001_1']), 'c_1010_8' : negation(d['c_0101_1']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(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' : negation(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' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_10']), '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_1'], 'c_0101_7' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_9'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_1'], 'c_0101_8' : d['c_0101_0'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], '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' : negation(d['c_0011_5']), 'c_0110_5' : negation(d['c_0011_10']), 'c_0110_4' : d['c_0011_9'], 'c_0110_7' : d['c_0011_9'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_5, c_0011_9, c_0101_0, c_0101_1, c_0101_3, c_0101_6, c_1001_1, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 344373305446764037059293477582748464543/721006621589805663550257095\ 924112479855*c_1001_10^16 + 800256245530191725601187370382495256326\ /3605033107949028317751285479620562399275*c_1001_10^15 - 13005858085799984549546163212473965956012/3605033107949028317751285\ 479620562399275*c_1001_10^14 - 156433184819533613423349602293932691\ 30701/7210066215898056635502570959241124798550*c_1001_10^13 + 1755019327902798908604056927793905744828/15674056991082731816309936\ 8679154886925*c_1001_10^12 + 15790795166604271172699825662806568980\ 64/144201324317961132710051419184822495971*c_1001_10^11 - 436769623930449431849361919411772234278061/721006621589805663550257\ 0959241124798550*c_1001_10^10 + 16422121549349832467431790462921550\ 8364213/3605033107949028317751285479620562399275*c_1001_10^9 + 754805120516063591053153161308129024178027/721006621589805663550257\ 0959241124798550*c_1001_10^8 - 924223712653367121382090466160710245\ 13116/3605033107949028317751285479620562399275*c_1001_10^7 - 53417884011696107778730432755681671680076/1442013243179611327100514\ 19184822495971*c_1001_10^6 + 46025674921982433423103069076024190999\ 784/144201324317961132710051419184822495971*c_1001_10^5 + 148865088805326230596580611511281632925609/360503310794902831775128\ 5479620562399275*c_1001_10^4 - 237351969532029806712348954680599955\ 169876/3605033107949028317751285479620562399275*c_1001_10^3 - 286272710759211091004140351109036137801567/721006621589805663550257\ 0959241124798550*c_1001_10^2 + 401347506468305427022439802194371506\ 010803/7210066215898056635502570959241124798550*c_1001_10 - 1790582893541192572343774795760798687001/13603898520562371010382209\ 3570587260350, c_0011_0 - 1, c_0011_10 + 8370336705374403548880483125/288108530737450692980568081599\ *c_1001_10^16 + 43158585822077605376933298380/288108530737450692980\ 568081599*c_1001_10^15 + 10474224080513945240870590902/288108530737\ 450692980568081599*c_1001_10^14 - 228983745438953165955458157546/28\ 8108530737450692980568081599*c_1001_10^13 - 248568766889659864768583433837/288108530737450692980568081599*c_100\ 1_10^12 + 476847218070991526782082494787/28810853073745069298056808\ 1599*c_1001_10^11 + 219499644737161413975259432351/2881085307374506\ 92980568081599*c_1001_10^10 - 2368966102717170158360633603802/28810\ 8530737450692980568081599*c_1001_10^9 + 1165958097069433122417864825201/288108530737450692980568081599*c_10\ 01_10^8 + 7120030433188447814695266020722/2881085307374506929805680\ 81599*c_1001_10^7 + 2053820008987947867502188965008/288108530737450\ 692980568081599*c_1001_10^6 - 12524433623358576501157302877306/2881\ 08530737450692980568081599*c_1001_10^5 + 1822555214604899723272072362111/288108530737450692980568081599*c_10\ 01_10^4 + 3284660910137784419560273563515/2881085307374506929805680\ 81599*c_1001_10^3 - 90809388523830034218373195977/28810853073745069\ 2980568081599*c_1001_10^2 - 2015908438959043170875698985503/2881085\ 30737450692980568081599*c_1001_10 + 372922084401573887458133614072/288108530737450692980568081599, c_0011_3 + 69710462800340795270918456430/288108530737450692980568081599\ *c_1001_10^16 + 76909298746152991230143505202/288108530737450692980\ 568081599*c_1001_10^15 - 438920023766060941322852342574/28810853073\ 7450692980568081599*c_1001_10^14 - 530565780804472119518493762045/288108530737450692980568081599*c_100\ 1_10^13 + 1101119189215449128683441807302/2881085307374506929805680\ 81599*c_1001_10^12 + 1895470575613954569434063869772/28810853073745\ 0692980568081599*c_1001_10^11 - 7315756807679805812596728532206/288\ 108530737450692980568081599*c_1001_10^10 + 3173807329796267405971515671513/288108530737450692980568081599*c_10\ 01_10^9 + 14100447527916926998094721001912/288108530737450692980568\ 081599*c_1001_10^8 + 5183112652643815912382933476250/28810853073745\ 0692980568081599*c_1001_10^7 - 43726073954356493755231326695328/288\ 108530737450692980568081599*c_1001_10^6 + 26339285503438151305909933109625/288108530737450692980568081599*c_1\ 001_10^5 + 4585317910334890037820456081137/288108530737450692980568\ 081599*c_1001_10^4 - 3070508628348238713079942006568/28810853073745\ 0692980568081599*c_1001_10^3 - 6642570352355770396866585277691/2881\ 08530737450692980568081599*c_1001_10^2 + 6093503233529331407680862968473/288108530737450692980568081599*c_10\ 01_10 - 1494027791751223724247753148978/288108530737450692980568081\ 599, c_0011_5 - 6319815779254608560790496480/288108530737450692980568081599*\ c_1001_10^16 + 21396958877203681841728665568/2881085307374506929805\ 68081599*c_1001_10^15 + 99290164347933267340647458190/2881085307374\ 50692980568081599*c_1001_10^14 - 75695112962163388802298657922/2881\ 08530737450692980568081599*c_1001_10^13 - 447980443050872370170346069682/288108530737450692980568081599*c_100\ 1_10^12 - 51229753614536521822675484657/288108530737450692980568081\ 599*c_1001_10^11 + 1609528341753429439695728824482/2881085307374506\ 92980568081599*c_1001_10^10 - 2338205692064538615818581878716/28810\ 8530737450692980568081599*c_1001_10^9 - 2173847722608334232900710075137/288108530737450692980568081599*c_10\ 01_10^8 + 4673870568287995961788800852553/2881085307374506929805680\ 81599*c_1001_10^7 + 11335540382794528780757137857311/28810853073745\ 0692980568081599*c_1001_10^6 - 13594190338120252913476936193035/288\ 108530737450692980568081599*c_1001_10^5 - 2090075971936387578453553944934/288108530737450692980568081599*c_10\ 01_10^4 + 2113599848247510663134089047977/2881085307374506929805680\ 81599*c_1001_10^3 + 1594645470057975154567004291079/288108530737450\ 692980568081599*c_1001_10^2 - 2186990602033088022352699265989/28810\ 8530737450692980568081599*c_1001_10 + 455060433809685865219419876014/288108530737450692980568081599, c_0011_9 - 62361378786700432116858650535/288108530737450692980568081599\ *c_1001_10^16 - 16574214809305769297862977089/288108530737450692980\ 568081599*c_1001_10^15 + 492160513086320716618315582232/28810853073\ 7450692980568081599*c_1001_10^14 + 222502911955295414438190002721/288108530737450692980568081599*c_100\ 1_10^13 - 1588461802989022586102976739209/2881085307374506929805680\ 81599*c_1001_10^12 - 1333656757778247383601923953146/28810853073745\ 0692980568081599*c_1001_10^11 + 8284491842165885627812785541769/288\ 108530737450692980568081599*c_1001_10^10 - 6977003467248068452310228839388/288108530737450692980568081599*c_10\ 01_10^9 - 13668847938867288457935421080744/288108530737450692980568\ 081599*c_1001_10^8 + 5394059578807722419940881331474/28810853073745\ 0692980568081599*c_1001_10^7 + 50997496547510871852117012537148/288\ 108530737450692980568081599*c_1001_10^6 - 47523476126438895665400438210317/288108530737450692980568081599*c_1\ 001_10^5 - 3955980178065937128300924293797/288108530737450692980568\ 081599*c_1001_10^4 + 8370499987208445095542230668286/28810853073745\ 0692980568081599*c_1001_10^3 + 7899402940353616396207813703105/2881\ 08530737450692980568081599*c_1001_10^2 - 9920208873626446841078314809431/288108530737450692980568081599*c_10\ 01_10 + 2361860351867327163727778282054/288108530737450692980568081\ 599, c_0101_0 - 186062269448729287493205942500/28810853073745069298056808159\ 9*c_1001_10^16 - 203911623391743987727501389040/2881085307374506929\ 80568081599*c_1001_10^15 + 1170807854054719520520502624804/28810853\ 0737450692980568081599*c_1001_10^14 + 1394925233773258129118572453566/288108530737450692980568081599*c_10\ 01_10^13 - 2959419526691185542455327178416/288108530737450692980568\ 081599*c_1001_10^12 - 4983270258947694123378831104675/2881085307374\ 50692980568081599*c_1001_10^11 + 19665231092236335880921773131842/2\ 88108530737450692980568081599*c_1001_10^10 - 8666931073644898664850434935075/288108530737450692980568081599*c_10\ 01_10^9 - 37669618186248349240224930394302/288108530737450692980568\ 081599*c_1001_10^8 - 13037483579910382548435917308748/2881085307374\ 50692980568081599*c_1001_10^7 + 116838585955861472628000952756794/2\ 88108530737450692980568081599*c_1001_10^6 - 72919418910164382783621685415686/288108530737450692980568081599*c_1\ 001_10^5 - 13547134938711385600060214143298/28810853073745069298056\ 8081599*c_1001_10^4 + 10188152811451780013126264657285/288108530737\ 450692980568081599*c_1001_10^3 + 18897400899110073794843642864696/2\ 88108530737450692980568081599*c_1001_10^2 - 16144002373865690088157098390925/288108530737450692980568081599*c_1\ 001_10 + 3653248553576142161444740590023/28810853073745069298056808\ 1599, c_0101_1 + 42905447797801364502900318790/288108530737450692980568081599\ *c_1001_10^16 + 5387557665573947339805980281/2881085307374506929805\ 68081599*c_1001_10^15 - 360847945371229375754153200507/288108530737\ 450692980568081599*c_1001_10^14 - 149231973816949634085711364419/28\ 8108530737450692980568081599*c_1001_10^13 + 1203759722152964362251194217818/288108530737450692980568081599*c_10\ 01_10^12 + 1020110286160806719595427144905/288108530737450692980568\ 081599*c_1001_10^11 - 5912409698188396279174804226439/2881085307374\ 50692980568081599*c_1001_10^10 + 4901647761010897810863352596525/28\ 8108530737450692980568081599*c_1001_10^9 + 10209452403121274448780601295261/288108530737450692980568081599*c_1\ 001_10^8 - 4330389187837199879214058055212/288108530737450692980568\ 081599*c_1001_10^7 - 38279763488445613929840869140976/2881085307374\ 50692980568081599*c_1001_10^6 + 32104395952289958013129219651298/28\ 8108530737450692980568081599*c_1001_10^5 + 6345604404641653052865021306981/288108530737450692980568081599*c_10\ 01_10^4 - 4604857012467398084901962312868/2881085307374506929805680\ 81599*c_1001_10^3 - 6035491555202347646574899635875/288108530737450\ 692980568081599*c_1001_10^2 + 6054327474711689641144460707945/28810\ 8530737450692980568081599*c_1001_10 - 1161727048165772745512918244312/288108530737450692980568081599, c_0101_3 - 16771233447203081861791777440/288108530737450692980568081599\ *c_1001_10^16 + 50601850595351750716279026174/288108530737450692980\ 568081599*c_1001_10^15 + 230331717191501302500869532918/28810853073\ 7450692980568081599*c_1001_10^14 - 221681124450723924411427991223/288108530737450692980568081599*c_100\ 1_10^13 - 1037368393903296027187183586069/2881085307374506929805680\ 81599*c_1001_10^12 + 105846541625815657127350488752/288108530737450\ 692980568081599*c_1001_10^11 + 4044495338901847891450006896622/2881\ 08530737450692980568081599*c_1001_10^10 - 6449388897367165709020478846349/288108530737450692980568081599*c_10\ 01_10^9 - 4291639187658939520453268977520/2881085307374506929805680\ 81599*c_1001_10^8 + 12294122583393615777935437730794/28810853073745\ 0692980568081599*c_1001_10^7 + 25064921592693670755812273038153/288\ 108530737450692980568081599*c_1001_10^6 - 39839225576508784028475966279917/288108530737450692980568081599*c_1\ 001_10^5 + 1419570317549522290649688594601/288108530737450692980568\ 081599*c_1001_10^4 + 8315428907964981251254233459338/28810853073745\ 0692980568081599*c_1001_10^3 + 3468150410789102796683570654032/2881\ 08530737450692980568081599*c_1001_10^2 - 6932784943707240264483028736044/288108530737450692980568081599*c_10\ 01_10 + 2152347118848913496077857125077/288108530737450692980568081\ 599, c_0101_6 + 13987753938612263074982833310/288108530737450692980568081599\ *c_1001_10^16 + 98038817880020109507388003044/288108530737450692980\ 568081599*c_1001_10^15 + 76503594396258738690469561166/288108530737\ 450692980568081599*c_1001_10^14 - 482821299888318183514196187814/28\ 8108530737450692980568081599*c_1001_10^13 - 745402202850908857259837221730/288108530737450692980568081599*c_100\ 1_10^12 + 842219905564515433112702180912/28810853073745069298056808\ 1599*c_1001_10^11 + 1211355587150531718512563798244/288108530737450\ 692980568081599*c_1001_10^10 - 5688294061975174024715842291917/2881\ 08530737450692980568081599*c_1001_10^9 + 884786471189391652317985168635/288108530737450692980568081599*c_100\ 1_10^8 + 16273492072698533130868728639657/2881085307374506929805680\ 81599*c_1001_10^7 + 10835611796481460447911068005488/28810853073745\ 0692980568081599*c_1001_10^6 - 29644520244905529033078551694291/288\ 108530737450692980568081599*c_1001_10^5 + 754487848680303585504436535033/288108530737450692980568081599*c_100\ 1_10^4 + 6310303327168169085054235410461/28810853073745069298056808\ 1599*c_1001_10^3 + 713130081068606476608892216510/28810853073745069\ 2980568081599*c_1001_10^2 - 5331376475638702094311103902076/2881085\ 30737450692980568081599*c_1001_10 + 1378707949211376390400529158519/288108530737450692980568081599, c_1001_1 + 37109606202219976515595231895/288108530737450692980568081599\ *c_1001_10^16 + 14660902403788201296689892998/288108530737450692980\ 568081599*c_1001_10^15 - 284649241364944690728869989713/28810853073\ 7450692980568081599*c_1001_10^14 - 158558240837716095865821170632/288108530737450692980568081599*c_100\ 1_10^13 + 888960693730957661832776400770/28810853073745069298056808\ 1599*c_1001_10^12 + 838059758300991722315561070613/2881085307374506\ 92980568081599*c_1001_10^11 - 4749750157792326586989043835195/28810\ 8530737450692980568081599*c_1001_10^10 + 3758592775411301962236264215279/288108530737450692980568081599*c_10\ 01_10^9 + 8045763603953479016313611455445/2881085307374506929805680\ 81599*c_1001_10^8 - 2258704007609297445711910098394/288108530737450\ 692980568081599*c_1001_10^7 - 29179329714553849645264226914540/2881\ 08530737450692980568081599*c_1001_10^6 + 25658503461635733921723649239309/288108530737450692980568081599*c_1\ 001_10^5 + 2123604550412914540925830890377/288108530737450692980568\ 081599*c_1001_10^4 - 4425362430907302839226294337014/28810853073745\ 0692980568081599*c_1001_10^3 - 3555922173269618532734212022437/2881\ 08530737450692980568081599*c_1001_10^2 + 5068926654049623539689190342902/288108530737450692980568081599*c_10\ 01_10 - 1142160229461555164084432106168/288108530737450692980568081\ 599, c_1001_10^17 + 2/5*c_1001_10^16 - 36/5*c_1001_10^15 - 17/5*c_1001_10^14 + 109/5*c_1001_10^13 + 87/5*c_1001_10^12 - 626/5*c_1001_10^11 + 577/5*c_1001_10^10 + 906/5*c_1001_10^9 - 339/5*c_1001_10^8 - 3518/5*c_1001_10^7 + 795*c_1001_10^6 - 687/5*c_1001_10^5 - 105*c_1001_10^4 - 74*c_1001_10^3 + 153*c_1001_10^2 - 351/5*c_1001_10 + 53/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.150 Total time: 0.360 seconds, Total memory usage: 32.09MB