Magma V2.19-8 Wed Aug 21 2013 00:23:48 on localhost [Seed = 1814724238] Type ? for help. Type -D to quit. Loading file "K14n12408__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n12408 geometric_solution 11.55483281 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 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.206396154871 0.752353165312 0 5 2 3 0132 0132 1023 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 -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.391176791520 0.723954502369 6 0 1 5 0132 0132 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 -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.822266938143 0.859746846159 7 1 8 0 0132 0321 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 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.223181410297 1.216520670003 7 7 0 9 1023 0213 0132 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 0 0 0 0 0 0 0 0 0 0 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.118290156383 1.173286029118 10 1 2 9 0132 0132 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 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.764307205825 0.436494329500 2 11 12 7 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.818206739362 1.096911715045 3 4 4 6 0132 1023 0213 1023 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 -1 0 0 1 1 1 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.085064562162 0.843730919036 11 11 9 3 2031 1302 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 0 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.212098922513 0.785804150648 5 12 4 8 3012 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.014292996443 0.563027433925 5 11 12 12 0132 1023 2310 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.967741941947 0.508218993697 10 6 8 8 1023 0132 1302 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 -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.804088316756 0.585261146325 10 10 9 6 3120 3201 3012 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 0.299988405518 0.405207212933 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_3'], 'c_1001_10' : negation(d['c_0011_8']), 'c_1001_12' : negation(d['c_0011_9']), 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_0101_1'], 'c_1001_7' : d['c_0101_1'], 'c_1001_6' : d['c_0011_8'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_8']), 'c_1001_2' : d['c_0101_1'], 'c_1001_9' : d['c_1001_9'], 'c_1001_8' : negation(d['c_0011_12']), 'c_1010_12' : d['c_0011_8'], 'c_1010_11' : d['c_0011_8'], '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'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_8']), '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_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' : negation(d['c_0011_0']), 'c_0011_10' : negation(d['c_0011_0']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_8'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_1001_9'], 'c_1100_6' : negation(d['c_1001_9']), 'c_1100_1' : negation(d['c_0101_8']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_0101_8'], 's_3_11' : d['1'], 'c_1100_9' : d['c_1100_0'], 'c_1100_11' : d['c_0101_8'], 'c_1100_10' : d['c_0011_12'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_2'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_1001_9'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : negation(d['c_0011_12']), 'c_1010_8' : negation(d['c_0101_8']), 'c_1100_8' : d['c_1100_0'], '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_1001_9']), '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' : d['c_0011_9'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_3']), '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_11' : negation(d['c_0011_12']), 'c_0110_10' : d['c_0101_5'], 'c_0110_12' : d['c_0101_5'], 'c_0101_12' : negation(d['c_0011_12']), 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], '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' : negation(d['c_0011_3']), 'c_0101_9' : d['c_0101_2'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_8'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_3']), 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0011_9'], 'c_0110_4' : d['c_0101_2'], 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : d['c_0101_2']})} 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_12, c_0011_3, c_0011_8, c_0011_9, c_0101_1, c_0101_2, c_0101_3, c_0101_5, c_0101_8, c_1001_0, c_1001_9, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 379621784501413413880132741740367714159528003862773779831997/133294\ 189350794935684168617548493448404692997797550383775552*c_1100_0^19 + 578146804606736297457231464226235268284805981726639808373757/190420\ 27050113562240595516792641921200670428256792911967936*c_1100_0^18 - 19339272001419776547999123335831085719230391566254443463171097/1332\ 94189350794935684168617548493448404692997797550383775552*c_1100_0^1\ 7 + 4117254844259677313071740950798772226776567034292583956602627/1\ 1107849112566244640347384795707787367057749816462531981296*c_1100_0\ ^16 - 1097647017569785537225955016149508293130435791836808902321221\ 5/22215698225132489280694769591415574734115499632925063962592*c_110\ 0_0^15 + 1504562851539574488661888186350279653110441247137230511589\ 9753/66647094675397467842084308774246724202346498898775191887776*c_\ 1100_0^14 + 1539535085110639885132299695549509105858353968657779363\ 4469/113345399107818822860687599956201911908752549147576856952*c_11\ 00_0^13 - 133547711876940657028186204584097108475402721823306498878\ 74459/33323547337698733921042154387123362101173249449387595943888*c\ _1100_0^12 + 195245698744733068071858397506808953012610480123966235\ 707775039/133294189350794935684168617548493448404692997797550383775\ 552*c_1100_0^11 - 3554513348970945296203981007004071097078785377883\ 65699179413635/1332941893507949356841686175484934484046929977975503\ 83775552*c_1100_0^10 + 10510846447106863995767356162224818452898504\ 8850521450959198517/13329418935079493568416861754849344840469299779\ 7550383775552*c_1100_0^9 + 2330332210847418482062348278581190060339\ 18952586994841973193949/1332941893507949356841686175484934484046929\ 97797550383775552*c_1100_0^8 - 131346715724203384303252658881149302\ 337640613561877245705731505/333235473376987339210421543871233621011\ 73249449387595943888*c_1100_0^7 + 244873734675748597519385859976025\ 046627210928375059758638851871/444313964502649785613895391828311494\ 68230999265850127925184*c_1100_0^6 - 34955427228120668411293153805233228562498070785532692349222295/6347\ 342350037854080198505597547307066890142752264303989312*c_1100_0^5 + 473238519589383393373343598368751401516739905143293534065077669/133\ 294189350794935684168617548493448404692997797550383775552*c_1100_0^\ 4 - 242733615758246183551332421464041090772026124134368238894084891\ /133294189350794935684168617548493448404692997797550383775552*c_110\ 0_0^3 + 46979087923616802714902193913831851417256396812681362140866\ 197/66647094675397467842084308774246724202346498898775191887776*c_1\ 100_0^2 + 148294512968269895581877921811678379521439023987241037801\ 2789/66647094675397467842084308774246724202346498898775191887776*c_\ 1100_0 + 2427449778399897780530563252981013717234628113477956397928\ 25/133294189350794935684168617548493448404692997797550383775552, c_0011_0 - 1, c_0011_12 + 35791957668836407204373956218326779245828571/47379084046357\ 886746119786732291363389270856*c_1100_0^19 - 46302203957952391230124518576637778601178153/5922385505794735843264\ 973341536420423658857*c_1100_0^18 + 1719502588367356823286343590421826810885347501/47379084046357886746\ 119786732291363389270856*c_1100_0^17 - 1412615683997038638160860673861386544097935683/15793028015452628915\ 373262244097121129756952*c_1100_0^16 + 1800502886009225353959457881440173580893877719/15793028015452628915\ 373262244097121129756952*c_1100_0^15 - 2328572878915437049001103439119909806747740705/47379084046357886746\ 119786732291363389270856*c_1100_0^14 - 385211904271298943427718116017281904240416503/157930280154526289153\ 73262244097121129756952*c_1100_0^13 + 4495440313250462839917370326058529988791331227/47379084046357886746\ 119786732291363389270856*c_1100_0^12 - 8788860308069259253459019356908559345929388279/23689542023178943373\ 059893366145681694635428*c_1100_0^11 + 29293149572653443371280078554797719950629999477/4737908404635788674\ 6119786732291363389270856*c_1100_0^10 - 1478351071499383527411448874860702771531969681/11844771011589471686\ 529946683072840847317714*c_1100_0^9 - 16329108510198463739627629836595932841075809601/4737908404635788674\ 6119786732291363389270856*c_1100_0^8 + 45705022366014847375535711760006526288828446257/4737908404635788674\ 6119786732291363389270856*c_1100_0^7 - 10113801729434997147101794486496489707182140101/7896514007726314457\ 686631122048560564878476*c_1100_0^6 + 20974376072225666625201802713671816206543834295/1579302801545262891\ 5373262244097121129756952*c_1100_0^5 - 4923425762974649509327707127440289750384611854/59223855057947358432\ 64973341536420423658857*c_1100_0^4 + 24360649228143461173263707842999167169566905783/4737908404635788674\ 6119786732291363389270856*c_1100_0^3 - 7578674472656400318826862859179174049302724085/47379084046357886746\ 119786732291363389270856*c_1100_0^2 + 1439270834747125532237160984705628092636512785/47379084046357886746\ 119786732291363389270856*c_1100_0 + 27300968627108643524578719051909523744625197/2368954202317894337305\ 9893366145681694635428, c_0011_3 + 24958148200357612399963742946517413209019637/126344224123621\ 031322986097952776969038055616*c_1100_0^19 - 787291382892611596915848334837368346485414353/379032672370863093968\ 958293858330907114166848*c_1100_0^18 + 3730841607449933842047115244751898965421713827/37903267237086309396\ 8958293858330907114166848*c_1100_0^17 - 792863468418858347387811470952515692498980703/315860560309052578307\ 46524488194242259513904*c_1100_0^16 + 2166816462880431005300001219986988866646755105/63172112061810515661\ 493048976388484519027808*c_1100_0^15 - 1210578530919598068666624747569308111095886309/63172112061810515661\ 493048976388484519027808*c_1100_0^14 - 66995082867167575005655111768392095039386147/2368954202317894337305\ 9893366145681694635428*c_1100_0^13 + 2443013469493275871071317713657456133308218119/94758168092715773492\ 239573464582726778541712*c_1100_0^12 - 38604545171891161042775344015051661008796995133/3790326723708630939\ 68958293858330907114166848*c_1100_0^11 + 67981494213863419508281658748231642209852961473/3790326723708630939\ 68958293858330907114166848*c_1100_0^10 - 8287133309427268680844579537183936515938144773/12634422412362103132\ 2986097952776969038055616*c_1100_0^9 - 28969511774995831779765448465976041274779682671/3790326723708630939\ 68958293858330907114166848*c_1100_0^8 + 25538863854936040527760618764116130981066975037/9475816809271577349\ 2239573464582726778541712*c_1100_0^7 - 48372105967523280507327338040599485127288320413/1263442241236210313\ 22986097952776969038055616*c_1100_0^6 + 52884450995541082496259072976330901538414120555/1263442241236210313\ 22986097952776969038055616*c_1100_0^5 - 36761741603496604389035162191836554014886550261/1263442241236210313\ 22986097952776969038055616*c_1100_0^4 + 70094679817028681043415985614003129194223434329/3790326723708630939\ 68958293858330907114166848*c_1100_0^3 - 13293153403599614081836736151416559910055536579/1895163361854315469\ 84479146929165453557083424*c_1100_0^2 + 1230875723430164390545199781279013617313145367/63172112061810515661\ 493048976388484519027808*c_1100_0 - 344753288304891839620456462793066427226486571/379032672370863093968\ 958293858330907114166848, c_0011_8 + 89297269308012724404950587646761571860152589/947581680927157\ 73492239573464582726778541712*c_1100_0^19 - 308986735542689449457024742477529758255904615/315860560309052578307\ 46524488194242259513904*c_1100_0^18 + 4316683434744738037696099338905414296435709957/94758168092715773492\ 239573464582726778541712*c_1100_0^17 - 1780567786325492959485699525788374879239265259/15793028015452628915\ 373262244097121129756952*c_1100_0^16 + 1141251358309445084826669753361574105127321929/78965140077263144576\ 86631122048560564878476*c_1100_0^15 - 1488985329091241948855412507427810740086176297/23689542023178943373\ 059893366145681694635428*c_1100_0^14 - 1517810653974333990641299364500338429468788551/47379084046357886746\ 119786732291363389270856*c_1100_0^13 + 1898620136674510391964835386437137659879771657/15793028015452628915\ 373262244097121129756952*c_1100_0^12 - 14679159414131128704349780435518911301865357655/3158605603090525783\ 0746524488194242259513904*c_1100_0^11 + 74153581195202245743117840892871018679654193403/9475816809271577349\ 2239573464582726778541712*c_1100_0^10 - 15956626585306021275880128473063263815953371147/9475816809271577349\ 2239573464582726778541712*c_1100_0^9 - 14056217082252564873871591092546626895996677707/3158605603090525783\ 0746524488194242259513904*c_1100_0^8 + 57728531483122684508560618809549377615434782005/4737908404635788674\ 6119786732291363389270856*c_1100_0^7 - 51097574515968090033986473943581655758234175333/3158605603090525783\ 0746524488194242259513904*c_1100_0^6 + 52903818315371095483033977280329970409838984161/3158605603090525783\ 0746524488194242259513904*c_1100_0^5 - 99699499032320761223420740580092686274335611083/9475816809271577349\ 2239573464582726778541712*c_1100_0^4 + 20143029209530973841300784742110682295574309141/3158605603090525783\ 0746524488194242259513904*c_1100_0^3 - 4778989643468662439915099307317397514290224789/23689542023178943373\ 059893366145681694635428*c_1100_0^2 + 424683129361480645069422594822951600556998491/118447710115894716865\ 29946683072840847317714*c_1100_0 + 181157163238146623266688858399310757549252765/947581680927157734922\ 39573464582726778541712, c_0011_9 - 26945719555742092979666870918220048527112023/236895420231789\ 43373059893366145681694635428*c_1100_0^19 + 1118322149278594082389914367153603364373088601/94758168092715773492\ 239573464582726778541712*c_1100_0^18 - 216904452854140655899783313958344227008910829/394825700386315722884\ 3315561024280282439238*c_1100_0^17 + 4293231812978517165769381296893622178967459423/31586056030905257830\ 746524488194242259513904*c_1100_0^16 - 5506102071409340462000501233940546955546879535/31586056030905257830\ 746524488194242259513904*c_1100_0^15 + 7246498802570521220645694560393983383105752699/94758168092715773492\ 239573464582726778541712*c_1100_0^14 + 3506067769210723521396705834605547389538940031/94758168092715773492\ 239573464582726778541712*c_1100_0^13 - 13652797494997714119231927299049739714480161011/9475816809271577349\ 2239573464582726778541712*c_1100_0^12 + 53190810053837023722787342404059532144739809983/9475816809271577349\ 2239573464582726778541712*c_1100_0^11 - 14902497412241854180902079211919302312025324203/1579302801545262891\ 5373262244097121129756952*c_1100_0^10 + 19287716182121811439426928146871762690191465373/9475816809271577349\ 2239573464582726778541712*c_1100_0^9 + 24984111458778777488784018965628402144485751917/4737908404635788674\ 6119786732291363389270856*c_1100_0^8 - 46223818972838669985890334431072849218683934393/3158605603090525783\ 0746524488194242259513904*c_1100_0^7 + 61780001162768580800412358791219714075667931469/3158605603090525783\ 0746524488194242259513904*c_1100_0^6 - 4006803538736314731841685232825346169210692067/19741285019315786144\ 21657780512140141219619*c_1100_0^5 + 121214784673287360677779464409126375134747783539/947581680927157734\ 92239573464582726778541712*c_1100_0^4 - 18536010122828525945822261152513039761922022309/2368954202317894337\ 3059893366145681694635428*c_1100_0^3 + 7930658261059416183531449173719319166318891737/31586056030905257830\ 746524488194242259513904*c_1100_0^2 - 4419272487870885902319454851689191266124721873/94758168092715773492\ 239573464582726778541712*c_1100_0 - 81387280897001440874668196204199916475093035/3158605603090525783074\ 6524488194242259513904, c_0101_1 + 7259553969848827130688597657590479977645679/1263442241236210\ 31322986097952776969038055616*c_1100_0^19 - 222276330272400013455226352890032603128553703/379032672370863093968\ 958293858330907114166848*c_1100_0^18 + 1013340058001298405101818048653952416207343225/37903267237086309396\ 8958293858330907114166848*c_1100_0^17 - 50470418455091915924248707665138897072323399/7896514007726314457686\ 631122048560564878476*c_1100_0^16 + 482089374225674831676288032866202761391852841/631721120618105156614\ 93048976388484519027808*c_1100_0^15 - 149956100381323115531795929949119188722684193/631721120618105156614\ 93048976388484519027808*c_1100_0^14 - 233441442658261615729364059243957565323911287/947581680927157734922\ 39573464582726778541712*c_1100_0^13 + 40717774209343400979631306533419704215929026/5922385505794735843264\ 973341536420423658857*c_1100_0^12 - 10284873821616312280015812780649279900101725155/3790326723708630939\ 68958293858330907114166848*c_1100_0^11 + 16237952406037979341965799552261816710797896315/3790326723708630939\ 68958293858330907114166848*c_1100_0^10 - 261286609597813326103271405681393485128113611/126344224123621031322\ 986097952776969038055616*c_1100_0^9 - 10648724081746883457081366409971712203539543861/3790326723708630939\ 68958293858330907114166848*c_1100_0^8 + 3254611990756175772939369640890277937877366799/47379084046357886746\ 119786732291363389270856*c_1100_0^7 - 10943146536288768896317243222623094863232531979/1263442241236210313\ 22986097952776969038055616*c_1100_0^6 + 10796613757881170258195900456080857158669355809/1263442241236210313\ 22986097952776969038055616*c_1100_0^5 - 6037755902323011160458241308285201586037780435/12634422412362103132\ 2986097952776969038055616*c_1100_0^4 + 11053892975904677078879285960515168658820284491/3790326723708630939\ 68958293858330907114166848*c_1100_0^3 - 1166966298301064315708341166944835045205433007/18951633618543154698\ 4479146929165453557083424*c_1100_0^2 + 32818925012050946128194433873904738976041075/6317211206181051566149\ 3048976388484519027808*c_1100_0 - 703110839722046791795183782273711\ 77263922845/379032672370863093968958293858330907114166848, c_0101_2 - 120549459463428361605612398022328859191569301/18951633618543\ 1546984479146929165453557083424*c_1100_0^19 + 1260797155106609534508551141337230362226541473/18951633618543154698\ 4479146929165453557083424*c_1100_0^18 - 5925345363731929378578337928350057535735727985/18951633618543154698\ 4479146929165453557083424*c_1100_0^17 + 2479738362783268126414596181233233991696286335/31586056030905257830\ 746524488194242259513904*c_1100_0^16 - 817247565294261311323070571591489941835257253/789651400772631445768\ 6631122048560564878476*c_1100_0^15 + 2365979290341607719363619278997639358500298923/47379084046357886746\ 119786732291363389270856*c_1100_0^14 + 591607011197026886633156633728143947939294051/315860560309052578307\ 46524488194242259513904*c_1100_0^13 - 7916456120288313255169598884287111721570027075/94758168092715773492\ 239573464582726778541712*c_1100_0^12 + 60722179868141534820877666464021371474610533561/1895163361854315469\ 84479146929165453557083424*c_1100_0^11 - 104695035705485466341302971635932740091879586887/189516336185431546\ 984479146929165453557083424*c_1100_0^10 + 29281526133756378332692888875609563841534227515/1895163361854315469\ 84479146929165453557083424*c_1100_0^9 + 55508702279935144085867388561096197284812912313/1895163361854315469\ 84479146929165453557083424*c_1100_0^8 - 80517803446986477530318632042705128132147771115/9475816809271577349\ 2239573464582726778541712*c_1100_0^7 + 73169401791276351693082481058275721753015076645/6317211206181051566\ 1493048976388484519027808*c_1100_0^6 - 76639894804404961977599858211776624209838360065/6317211206181051566\ 1493048976388484519027808*c_1100_0^5 + 150350849833399204649484884710841536851957199015/189516336185431546\ 984479146929165453557083424*c_1100_0^4 - 90690156162163658948119122549026395421077519547/1895163361854315469\ 84479146929165453557083424*c_1100_0^3 + 7724440746311599365383217729141248355589136893/47379084046357886746\ 119786732291363389270856*c_1100_0^2 - 1510406219760662179500736759713181095179569507/47379084046357886746\ 119786732291363389270856*c_1100_0 - 59695895449772213553951488707889490949787285/1895163361854315469844\ 79146929165453557083424, c_0101_3 + 144859729267476261174539219987202280366153519/12634422412362\ 1031322986097952776969038055616*c_1100_0^19 - 4479007703736140977819621530826665308811068003/37903267237086309396\ 8958293858330907114166848*c_1100_0^18 + 20686608146310041183638413674228913892473226457/3790326723708630939\ 68958293858330907114166848*c_1100_0^17 - 4214195391627531812659313917171575516480270453/31586056030905257830\ 746524488194242259513904*c_1100_0^16 + 10569328832398430628159571510057386791691927363/6317211206181051566\ 1493048976388484519027808*c_1100_0^15 - 4257485049686730557809075697677385018252640463/63172112061810515661\ 493048976388484519027808*c_1100_0^14 - 945464244018480276922945517600883406233971935/236895420231789433730\ 59893366145681694635428*c_1100_0^13 + 13465253785226724692366532848865757894941515357/9475816809271577349\ 2239573464582726778541712*c_1100_0^12 - 210976744547937296489131401807504114583951944935/379032672370863093\ 968958293858330907114166848*c_1100_0^11 + 346580404271676922858446200636156263133963461523/379032672370863093\ 968958293858330907114166848*c_1100_0^10 - 19003852296603647738132590705336140622773827263/1263442241236210313\ 22986097952776969038055616*c_1100_0^9 - 200749203122480906836305837913207010183692859197/379032672370863093\ 968958293858330907114166848*c_1100_0^8 + 136520613765741994497972673779786045663605882911/947581680927157734\ 92239573464582726778541712*c_1100_0^7 - 237518457644181638914116332713561737664804523847/126344224123621031\ 322986097952776969038055616*c_1100_0^6 + 244292635540560308601596287257801986596422726769/126344224123621031\ 322986097952776969038055616*c_1100_0^5 - 149180630733826736019994531617502348487790155535/126344224123621031\ 322986097952776969038055616*c_1100_0^4 + 276874732888385561757031681522666865578183937819/379032672370863093\ 968958293858330907114166848*c_1100_0^3 - 40901673703286593992874229418766773401795812201/1895163361854315469\ 84479146929165453557083424*c_1100_0^2 + 2580129485140650898875498313032345424100147493/63172112061810515661\ 493048976388484519027808*c_1100_0 + 699781472828871830448803785692671044575553135/379032672370863093968\ 958293858330907114166848, c_0101_5 - 13988063005431861722767353364860240908678399/157930280154526\ 28915373262244097121129756952*c_1100_0^19 + 289809028317920566320740809932715639389222317/315860560309052578307\ 46524488194242259513904*c_1100_0^18 - 673179951378969182446284905969882349877644077/157930280154526289153\ 73262244097121129756952*c_1100_0^17 + 3320298440408695160031218170284339730143665835/31586056030905257830\ 746524488194242259513904*c_1100_0^16 - 4230030911228119492058243869484997900180355047/31586056030905257830\ 746524488194242259513904*c_1100_0^15 + 1804128586585277948031396793477757686217822185/31586056030905257830\ 746524488194242259513904*c_1100_0^14 + 947664100903809748210881149952160463528627697/315860560309052578307\ 46524488194242259513904*c_1100_0^13 - 3524083208952715727162872305195510000669509573/31586056030905257830\ 746524488194242259513904*c_1100_0^12 + 13729258514540699772630038650792409028428849039/3158605603090525783\ 0746524488194242259513904*c_1100_0^11 - 5742385657316696869684152757704351511988295653/78965140077263144576\ 86631122048560564878476*c_1100_0^10 + 4614693400518416916844037868048441110269059325/31586056030905257830\ 746524488194242259513904*c_1100_0^9 + 818368974033752223283659167547375388705771697/197412850193157861442\ 1657780512140141219619*c_1100_0^8 - 35781289960736091308300462684173542725616642509/3158605603090525783\ 0746524488194242259513904*c_1100_0^7 + 47378556324817731803881120843250025317014870995/3158605603090525783\ 0746524488194242259513904*c_1100_0^6 - 24512556840509152283292577635558659427478356555/1579302801545262891\ 5373262244097121129756952*c_1100_0^5 + 30651107055386036371121011790921366006717477191/3158605603090525783\ 0746524488194242259513904*c_1100_0^4 - 9367568381855247551496210699938909361294996785/15793028015452628915\ 373262244097121129756952*c_1100_0^3 + 5917400370938174003394364473312304259257656201/31586056030905257830\ 746524488194242259513904*c_1100_0^2 - 1159075995482540724501915672781561142828908427/31586056030905257830\ 746524488194242259513904*c_1100_0 - 26644117051267350175692871420705929451132829/3158605603090525783074\ 6524488194242259513904, c_0101_8 - 30165649859756600028734712665068006472633199/315860560309052\ 57830746524488194242259513904*c_1100_0^19 + 934161970806712441487260057385262173843578673/947581680927157734922\ 39573464582726778541712*c_1100_0^18 - 4322739137418790496221079622725703256627474757/94758168092715773492\ 239573464582726778541712*c_1100_0^17 + 1766699894006734746975517966282298146881880773/15793028015452628915\ 373262244097121129756952*c_1100_0^16 - 557430147876880157621931555303017023779823135/394825700386315722884\ 3315561024280282439238*c_1100_0^15 + 231164162136848107549489041098158884407934059/394825700386315722884\ 3315561024280282439238*c_1100_0^14 + 1514362130737108218466944892880074367900152769/47379084046357886746\ 119786732291363389270856*c_1100_0^13 - 5619716977176570570012503686012738252830688237/47379084046357886746\ 119786732291363389270856*c_1100_0^12 + 44143969821486963340906795282198625148180726953/9475816809271577349\ 2239573464582726778541712*c_1100_0^11 - 72926067064159995103965263835789533555390656979/9475816809271577349\ 2239573464582726778541712*c_1100_0^10 + 4350212247452861859255440451922505272711710317/31586056030905257830\ 746524488194242259513904*c_1100_0^9 + 41481284534690868722939368627044801213111744985/9475816809271577349\ 2239573464582726778541712*c_1100_0^8 - 57082595780657508692038899039140714800124335031/4737908404635788674\ 6119786732291363389270856*c_1100_0^7 + 50131014979091495338848593542801037992226599777/3158605603090525783\ 0746524488194242259513904*c_1100_0^6 - 51790856866695087889278139772360183886960048833/3158605603090525783\ 0746524488194242259513904*c_1100_0^5 + 31979647486717229052175190316558757664295785941/3158605603090525783\ 0746524488194242259513904*c_1100_0^4 - 59359601836605613504019190813719954117006748719/9475816809271577349\ 2239573464582726778541712*c_1100_0^3 + 2253645687362174651342242768835840193630083071/11844771011589471686\ 529946683072840847317714*c_1100_0^2 - 282622400110250687110339688027505715728567695/789651400772631445768\ 6631122048560564878476*c_1100_0 - 138146858504206915351913325032008\ 619310510313/94758168092715773492239573464582726778541712, c_1001_0 - 26121118147450843619407611654610840162353043/189516336185431\ 546984479146929165453557083424*c_1100_0^19 + 92035255665441005083715334535493571227197107/6317211206181051566149\ 3048976388484519027808*c_1100_0^18 - 1317081046073753659579670252494946393996942927/18951633618543154698\ 4479146929165453557083424*c_1100_0^17 + 141441407818531860676644685975168785226350901/789651400772631445768\ 6631122048560564878476*c_1100_0^16 - 789101129729552560442957672724115856370083327/315860560309052578307\ 46524488194242259513904*c_1100_0^15 + 1410392795779376349733706973644005708300165289/94758168092715773492\ 239573464582726778541712*c_1100_0^14 + 49852856912859851607643915621356717210026357/4737908404635788674611\ 9786732291363389270856*c_1100_0^13 - 143635060813140749117612394742029390837894611/789651400772631445768\ 6631122048560564878476*c_1100_0^12 + 4570521090322517754758891531886732257350736543/63172112061810515661\ 493048976388484519027808*c_1100_0^11 - 24503692912451706435619138505442741631151768285/1895163361854315469\ 84479146929165453557083424*c_1100_0^10 + 10129505076573972290713372496491651230832253095/1895163361854315469\ 84479146929165453557083424*c_1100_0^9 + 3124721473865999544883032521646991832403761449/63172112061810515661\ 493048976388484519027808*c_1100_0^8 - 4538061656615071917374381213055919445084580797/23689542023178943373\ 059893366145681694635428*c_1100_0^7 + 17679005545950457186297425252734451665366058333/6317211206181051566\ 1493048976388484519027808*c_1100_0^6 - 19482030520147383692313975302817983950004058575/6317211206181051566\ 1493048976388484519027808*c_1100_0^5 + 41977833859041468800859235728963450963965093431/1895163361854315469\ 84479146929165453557083424*c_1100_0^4 - 8920037251996310996544035932863497015316411807/63172112061810515661\ 493048976388484519027808*c_1100_0^3 + 5275502638446506577970944469944364730800566901/94758168092715773492\ 239573464582726778541712*c_1100_0^2 - 1402614737136448163826348419759873708131760519/94758168092715773492\ 239573464582726778541712*c_1100_0 + 159737923260793713976480336853555495512735691/189516336185431546984\ 479146929165453557083424, c_1001_9 - 185237113505847778963043107272863075757220693/37903267237086\ 3093968958293858330907114166848*c_1100_0^19 + 644057502759282549023624991072894256732706009/126344224123621031322\ 986097952776969038055616*c_1100_0^18 - 9053689657909190765535505322836403046834344801/37903267237086309396\ 8958293858330907114166848*c_1100_0^17 + 1886464183127773232363553430647040191142868489/31586056030905257830\ 746524488194242259513904*c_1100_0^16 - 4939302562323936842634680909257045821341661667/63172112061810515661\ 493048976388484519027808*c_1100_0^15 + 7013247442465232254756539495125901731977159565/18951633618543154698\ 4479146929165453557083424*c_1100_0^14 + 85369058758450953059728330321924442700043412/5922385505794735843264\ 973341536420423658857*c_1100_0^13 - 2002540893947227338748591881522693681800969275/31586056030905257830\ 746524488194242259513904*c_1100_0^12 + 30907557563835854901576937418644653496663017541/1263442241236210313\ 22986097952776969038055616*c_1100_0^11 - 158633507402568567213699779059062914103157063115/379032672370863093\ 968958293858330907114166848*c_1100_0^10 + 41951260682313216107762728468621001553657085141/3790326723708630939\ 68958293858330907114166848*c_1100_0^9 + 28118240972684027233222257667614364913872862135/1263442241236210313\ 22986097952776969038055616*c_1100_0^8 - 61240665320555540650552494974071555253072244475/9475816809271577349\ 2239573464582726778541712*c_1100_0^7 + 110548194314741149702621192587868111594866640303/126344224123621031\ 322986097952776969038055616*c_1100_0^6 - 115767183789867274297665124875550730520676151193/126344224123621031\ 322986097952776969038055616*c_1100_0^5 + 226126361399880619344900649481745726377658390085/379032672370863093\ 968958293858330907114166848*c_1100_0^4 - 45796261427216740775946205395378625589430730193/1263442241236210313\ 22986097952776969038055616*c_1100_0^3 + 22969525037672417025976166664268222214067514921/1895163361854315469\ 84479146929165453557083424*c_1100_0^2 - 4751950819272672903626162047420387154542611647/18951633618543154698\ 4479146929165453557083424*c_1100_0 - 85084383411645656349359883468483786754013719/3790326723708630939689\ 58293858330907114166848, c_1100_0^20 - 114/11*c_1100_0^19 + 530/11*c_1100_0^18 - 119*c_1100_0^17 + 1674/11*c_1100_0^16 - 728/11*c_1100_0^15 - 358/11*c_1100_0^14 + 1388/11*c_1100_0^13 - 5413/11*c_1100_0^12 + 9068/11*c_1100_0^11 - 1902/11*c_1100_0^10 - 5070/11*c_1100_0^9 + 1283*c_1100_0^8 - 18767/11*c_1100_0^7 + 19482/11*c_1100_0^6 - 1114*c_1100_0^5 + 7530/11*c_1100_0^4 - 2393/11*c_1100_0^3 + 468/11*c_1100_0^2 + c_1100_0 + 1/11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 46.040 Total time: 46.250 seconds, Total memory usage: 183.59MB