Magma V2.19-8 Wed Aug 21 2013 00:49:07 on localhost [Seed = 2530247277] Type ? for help. Type -D to quit. Loading file "K14n9154__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n9154 geometric_solution 11.30572106 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 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 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.576337658521 1.284044288143 0 4 6 5 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.829765371290 0.674839552808 0 0 8 7 3201 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 0 1 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.231729871143 0.702331522774 9 8 4 0 0132 0132 3201 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 0 0 0 0 13 -14 0 1 0 -13 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.404287989840 0.882174406358 3 1 7 10 2310 0132 2103 0132 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 -13 0 0 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.403937820051 0.518986231987 11 7 1 12 0132 2103 0132 0132 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 -14 0 0 14 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.491037840214 0.517516706961 12 9 12 1 1230 2103 2031 0132 0 0 0 0 0 0 0 0 1 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 13 0 -13 0 -1 1 0 0 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.130150101420 0.553038304008 4 5 2 11 2103 2103 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.188043677329 0.537243182920 12 3 11 2 0321 0132 3012 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 0 0 0 0 0 0 -13 13 0 0 -14 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.314171121356 0.839645295821 3 6 11 10 0132 2103 0132 1023 0 0 0 0 0 0 0 0 0 0 1 -1 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 -1 0 1 0 0 14 -14 0 0 0 0 -13 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.222203256692 1.490017056079 10 10 4 9 1302 2031 0132 1023 0 0 0 0 0 -1 0 1 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 -14 0 14 14 0 -13 -1 14 -14 0 0 14 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.305501068304 1.042163315931 5 8 7 9 0132 1230 1230 0132 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 14 0 0 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.004430994132 0.405697235304 8 6 5 6 0321 3012 0132 1302 0 0 0 0 0 -1 0 1 1 0 -1 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 -13 0 13 14 0 -14 0 13 -13 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.354964670044 0.891995835259 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0110_10']), 'c_1001_12' : negation(d['c_0011_6']), 'c_1001_5' : d['c_0011_7'], 'c_1001_4' : d['c_0011_7'], 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : negation(d['c_0110_10']), 'c_1001_0' : negation(d['c_0011_11']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_1001_9' : d['c_0011_6'], 'c_1001_8' : negation(d['c_0011_11']), 'c_1010_12' : negation(d['c_0101_6']), 'c_1010_11' : d['c_0011_6'], 'c_1010_10' : d['c_0011_10'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_6']), 'c_0101_10' : negation(d['c_0011_10']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(d['c_1001_11']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_6'], 'c_1100_4' : negation(d['c_0110_7']), 'c_1100_7' : negation(d['c_1001_11']), 'c_1100_6' : d['c_0101_6'], 'c_1100_1' : d['c_0101_6'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_1001_11']), 's_3_11' : d['1'], 'c_1100_9' : d['c_0110_7'], 'c_1100_11' : d['c_0110_7'], 'c_1100_10' : negation(d['c_0110_7']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0110_10']), 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : negation(d['c_0110_10']), 'c_1010_3' : negation(d['c_0011_11']), 'c_1010_2' : negation(d['c_0011_11']), 'c_1010_1' : d['c_0011_7'], 'c_1010_0' : negation(d['c_0101_4']), 'c_1010_9' : d['c_0110_10'], 'c_1010_8' : negation(d['c_0101_4']), 's_3_1' : d['1'], 's_3_0' : 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' : negation(d['1']), 'c_1100_12' : d['c_0101_6'], '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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_0'], 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : d['c_0011_3'], 'c_0101_12' : negation(d['c_0011_6']), 'c_0101_7' : d['c_0101_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_10'], 'c_0101_2' : negation(d['c_0011_12']), 'c_0101_1' : d['c_0011_12'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0011_6'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : negation(d['c_0011_12']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_12'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0011_6']), 'c_0110_4' : negation(d['c_0011_10']), 'c_0110_7' : d['c_0110_7'], 'c_0110_6' : d['c_0011_12']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0011_6, c_0011_7, c_0101_0, c_0101_4, c_0101_6, c_0110_10, c_0110_7, c_1001_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 6594237561151339293256420475419972988950397668743849268311090566087\ /27431485726421660313032090998885627732416329140372295101282711808*\ c_1001_11^23 - 5009329169559936319400557886697719405285585602717091\ 9003604122503195/27431485726421660313032090998885627732416329140372\ 295101282711808*c_1001_11^22 - 250151751024343918235816200658922263\ 877564603623729546633241582747873/274314857264216603130320909988856\ 27732416329140372295101282711808*c_1001_11^21 - 4869627630389789010031585685020897814603430248178302754847605898271\ 09/1371574286321083015651604549944281386620816457018614755064135590\ 4*c_1001_11^20 - 44911564217459569068909942034326784295340719320393\ 18976647249427555/4057912089707346200152676183267104694144427387629\ 0377368761408*c_1001_11^19 - 84816493049022933154759649726122205644\ 46680750461437073114558213718973/2743148572642166031303209099888562\ 7732416329140372295101282711808*c_1001_11^18 - 2180706607806625065116321932291158255515402092104235114965438874912\ 5049/27431485726421660313032090998885627732416329140372295101282711\ 808*c_1001_11^17 - 317989035844029173196087088551916823086575845493\ 2455018052028791299751/17144678579013537695645056874303517332760205\ 71273268443830169488*c_1001_11^16 - 5280853239429352236516608231690368756543517761270240202956149153217\ 8891/13715742863210830156516045499442813866208164570186147550641355\ 904*c_1001_11^15 - 187927719735389620265840363231321067531825700985\ 091638711620069341640403/274314857264216603130320909988856277324163\ 29140372295101282711808*c_1001_11^14 - 1503831479373031639075563622770939739056890477746319968084984174835\ 00779/1371574286321083015651604549944281386620816457018614755064135\ 5904*c_1001_11^13 - 20325645046962654242788634344755519074636801290\ 5990072256978465584770873/13715742863210830156516045499442813866208\ 164570186147550641355904*c_1001_11^12 - 4734613225150040383423056010954045048979152615974245235427998165738\ 52503/2743148572642166031303209099888562773241632914037229510128271\ 1808*c_1001_11^11 - 47137319924973383743890706867393910807820213285\ 6322575420967125643532451/27431485726421660313032090998885627732416\ 329140372295101282711808*c_1001_11^10 - 2341150389781473626760787602240202041754730348208655035196144556222\ 941/165249914014588315138747536137865227303712826146821054827004288\ *c_1001_11^9 - 1476509346813027547019715047200782284444634173374016\ 3392603999128199223/17144678579013537695645056874303517332760205712\ 73268443830169488*c_1001_11^8 - 88634112045905472919405859239995327\ 249288783853973855382265263665503123/274314857264216603130320909988\ 85627732416329140372295101282711808*c_1001_11^7 + 3203644155911824940616984251780801610936370843490210078995958085285\ 139/685787143160541507825802274972140693310408228509307377532067795\ 2*c_1001_11^6 + 357035999733568104223059156606695399484255569154229\ 95161038544480830305/1371574286321083015651604549944281386620816457\ 0186147550641355904*c_1001_11^5 + 833024419922486806611125278350601\ 93858466023216771610979141327720442695/2743148572642166031303209099\ 8885627732416329140372295101282711808*c_1001_11^4 + 8134183780222580622329999194885469589588553173091195462465669250100\ 43/428616964475338442391126421857587933319005142818317110957542372*\ c_1001_11^3 + 17691782264640704934897915347961622214154618115345425\ 674165055444463179/274314857264216603130320909988856277324163291403\ 72295101282711808*c_1001_11^2 + 37283811054440539464995289524898556\ 4147856409577253822326878628818967/34289357158027075391290113748607\ 03466552041142546536887660338976*c_1001_11 + 6631210040654101121006546235861768535431967646233191040809734200527\ /857233928950676884782252843715175866638010285636634221915084744, c_0011_0 - 1, c_0011_10 - 281640987667319206702170114176457184684571896663/1755785278\ 432821649924933745428019079472782936292*c_1001_11^23 - 2041581082840833784866318666319594933661130648963/17557852784328216\ 49924933745428019079472782936292*c_1001_11^22 - 4992420673618509024783205503465221641957267055975/87789263921641082\ 4962466872714009539736391468146*c_1001_11^21 - 38210081722706744146106380086531219545525576303243/1755785278432821\ 649924933745428019079472782936292*c_1001_11^20 - 116813433923471142395621660901623698884921802307383/175578527843282\ 1649924933745428019079472782936292*c_1001_11^19 - 323328124992116202399214035139489708253656564438191/175578527843282\ 1649924933745428019079472782936292*c_1001_11^18 - 824291515013482545158372485544589065950186952449285/175578527843282\ 1649924933745428019079472782936292*c_1001_11^17 - 1901312652354984888864580206207520507536744116511023/17557852784328\ 21649924933745428019079472782936292*c_1001_11^16 - 3888290260956480825157968972394070220432616156199545/17557852784328\ 21649924933745428019079472782936292*c_1001_11^15 - 6764579291070924836098834419687051206568555993297563/17557852784328\ 21649924933745428019079472782936292*c_1001_11^14 - 2670433491898290930470948137374793944534792020009109/43894631960820\ 5412481233436357004769868195734073*c_1001_11^13 - 13985122215798826551490518964939602150815378371529587/1755785278432\ 821649924933745428019079472782936292*c_1001_11^12 - 15896602748436553860785652302812676838061682975657317/1755785278432\ 821649924933745428019079472782936292*c_1001_11^11 - 15340356743434931502712940016332528102894656867734013/1755785278432\ 821649924933745428019079472782936292*c_1001_11^10 - 12111534310806515147938816232732194217205868226069947/1755785278432\ 821649924933745428019079472782936292*c_1001_11^9 - 6725781822194749270013627559984365730646540235699293/17557852784328\ 21649924933745428019079472782936292*c_1001_11^8 - 2135445505485104085223783288962550655060215279427849/17557852784328\ 21649924933745428019079472782936292*c_1001_11^7 + 219389798997938828292422606065117459451634016723111/438946319608205\ 412481233436357004769868195734073*c_1001_11^6 + 2608237436899787604309513124243819635471588909377449/17557852784328\ 21649924933745428019079472782936292*c_1001_11^5 + 2684894798758860407203136200177947906658558133822339/17557852784328\ 21649924933745428019079472782936292*c_1001_11^4 + 712980261796595207924433950117621024979798188083549/877892639216410\ 824962466872714009539736391468146*c_1001_11^3 + 103038967481093001309473838975881968682360081800821/438946319608205\ 412481233436357004769868195734073*c_1001_11^2 + 18405580078117691611073754127065673289811441248627/4389463196082054\ 12481233436357004769868195734073*c_1001_11 + 8444088443411214056916714880360534629861350628605/17557852784328216\ 49924933745428019079472782936292, c_0011_11 - 276036154404238573197693964189435647604976974131/1755785278\ 432821649924933745428019079472782936292*c_1001_11^23 - 2127230326454204539346502364585724429038078129619/17557852784328216\ 49924933745428019079472782936292*c_1001_11^22 - 5338746840673816457202948938128544733093893499689/87789263921641082\ 4962466872714009539736391468146*c_1001_11^21 - 41746398874602192746141026394145415234530055795423/1755785278432821\ 649924933745428019079472782936292*c_1001_11^20 - 130731303090966246899840949507551812547512201896147/175578527843282\ 1649924933745428019079472782936292*c_1001_11^19 - 365833300481872722795691836526993176492635252647027/175578527843282\ 1649924933745428019079472782936292*c_1001_11^18 - 942250683641400424030790665461824478352627674158361/175578527843282\ 1649924933745428019079472782936292*c_1001_11^17 - 2203628439583758400963410470695334488032159792534207/17557852784328\ 21649924933745428019079472782936292*c_1001_11^16 - 4588068955099484781021248131377533787016737305594373/17557852784328\ 21649924933745428019079472782936292*c_1001_11^15 - 8198726935092122465854804284170532211853572864425311/17557852784328\ 21649924933745428019079472782936292*c_1001_11^14 - 3285716294950443536801538568574790565271898790182385/43894631960820\ 5412481233436357004769868195734073*c_1001_11^13 - 17865327320352613018001023174845625773435621545112395/1755785278432\ 821649924933745428019079472782936292*c_1001_11^12 - 20853278330159905760215061164903087861169867382217217/1755785278432\ 821649924933745428019079472782936292*c_1001_11^11 - 20838411978275573506435363458811737597084336846508341/1755785278432\ 821649924933745428019079472782936292*c_1001_11^10 - 17245372668047598563401789229342710625714648184252483/1755785278432\ 821649924933745428019079472782936292*c_1001_11^9 - 10558101477478491718373168095597958372812617286441013/1755785278432\ 821649924933745428019079472782936292*c_1001_11^8 - 3953937166386496708414386811919420586028653959639085/17557852784328\ 21649924933745428019079472782936292*c_1001_11^7 + 137182115895536352143419963997467687616583072560249/438946319608205\ 412481233436357004769868195734073*c_1001_11^6 + 3139292253115806160702023620181189291869298166566681/17557852784328\ 21649924933745428019079472782936292*c_1001_11^5 + 3708917307495816473302968122401132033453298625186951/17557852784328\ 21649924933745428019079472782936292*c_1001_11^4 + 1172974111661662878178301954443503895983406935526195/87789263921641\ 0824962466872714009539736391468146*c_1001_11^3 + 195589443725584758225050475477466104164294571629935/438946319608205\ 412481233436357004769868195734073*c_1001_11^2 + 29750332068754435504212338617715956312321894720678/4389463196082054\ 12481233436357004769868195734073*c_1001_11 + 6441613019401105610207541822125295661951482963641/17557852784328216\ 49924933745428019079472782936292, c_0011_12 - 83432856123612356738980404524072200629348204823/43894631960\ 8205412481233436357004769868195734073*c_1001_11^23 - 1308593450199235479928334430857506844194052161147/87789263921641082\ 4962466872714009539736391468146*c_1001_11^22 - 3316903147557641071830455271622143825627088945769/43894631960820541\ 2481233436357004769868195734073*c_1001_11^21 - 13070954766981711879522298612828183041676755201149/4389463196082054\ 12481233436357004769868195734073*c_1001_11^20 - 82591537504295820382201158157590064923287646342893/8778926392164108\ 24962466872714009539736391468146*c_1001_11^19 - 116189617610423285989831768684226799060768659052264/438946319608205\ 412481233436357004769868195734073*c_1001_11^18 - 601071575439661058695544996069977337764492768126299/877892639216410\ 824962466872714009539736391468146*c_1001_11^17 - 706677335114172724866585122171215151063753737640665/438946319608205\ 412481233436357004769868195734073*c_1001_11^16 - 2964090939539247202722289427051093177082735403356557/87789263921641\ 0824962466872714009539736391468146*c_1001_11^15 - 2677173454103171842639109133297510843232216179604347/43894631960820\ 5412481233436357004769868195734073*c_1001_11^14 - 8659895336000565086561947132656099546944751597965477/87789263921641\ 0824962466872714009539736391468146*c_1001_11^13 - 11945966131411070907678730346200279752011051673854115/8778926392164\ 10824962466872714009539736391468146*c_1001_11^12 - 7087032721633736548535887108999769217986337356879387/43894631960820\ 5412481233436357004769868195734073*c_1001_11^11 - 14424175327467295394154251294924453447285178562574477/8778926392164\ 10824962466872714009539736391468146*c_1001_11^10 - 6126885237977200526155877829534191511045296707643358/43894631960820\ 5412481233436357004769868195734073*c_1001_11^9 - 7892174064731769943329700566732386240197459815304461/87789263921641\ 0824962466872714009539736391468146*c_1001_11^8 - 1655253905142657028652088866474733977623982924475908/43894631960820\ 5412481233436357004769868195734073*c_1001_11^7 + 4416229492811916260380807029710201200298263902211/87789263921641082\ 4962466872714009539736391468146*c_1001_11^6 + 1958629607148063229871463190557896378916068781150109/87789263921641\ 0824962466872714009539736391468146*c_1001_11^5 + 1262770111300762954808644602587320078857625658381025/43894631960820\ 5412481233436357004769868195734073*c_1001_11^4 + 1750522834137436551203122902745676694153115059902063/87789263921641\ 0824962466872714009539736391468146*c_1001_11^3 + 679906786250617482460458748042950804829333015817831/877892639216410\ 824962466872714009539736391468146*c_1001_11^2 + 133673372311321354348964851425675005604634209869503/877892639216410\ 824962466872714009539736391468146*c_1001_11 + 10327625735819160907267309395282522221906344164771/8778926392164108\ 24962466872714009539736391468146, c_0011_3 - 55185252681062618505765641202102450588256063295/175578527843\ 2821649924933745428019079472782936292*c_1001_11^23 - 329277568478517929486366877734904572462416822131/175578527843282164\ 9924933745428019079472782936292*c_1001_11^22 - 719248430811309511811202599893985525355292842163/877892639216410824\ 962466872714009539736391468146*c_1001_11^21 - 4941954323979988789608802915285705112948246455187/17557852784328216\ 49924933745428019079472782936292*c_1001_11^20 - 13114603377436901393611796928068301308060903282647/1755785278432821\ 649924933745428019079472782936292*c_1001_11^19 - 33348344560563686035913864940184296735546983713899/1755785278432821\ 649924933745428019079472782936292*c_1001_11^18 - 78311805515745768215941953632419390833360650745753/1755785278432821\ 649924933745428019079472782936292*c_1001_11^17 - 160100986830237721449423091122752639086218516907723/175578527843282\ 1649924933745428019079472782936292*c_1001_11^16 - 270685237618011451704970162783290113302319144802589/175578527843282\ 1649924933745428019079472782936292*c_1001_11^15 - 317898665865058925233971630278187252009184787825347/175578527843282\ 1649924933745428019079472782936292*c_1001_11^14 - 83037648983505190040560133422815103336658689469779/4389463196082054\ 12481233436357004769868195734073*c_1001_11^13 + 46170041195727835976836588568363004001934084583629/1755785278432821\ 649924933745428019079472782936292*c_1001_11^12 + 554664775956025880093298408811017729066255929595023/175578527843282\ 1649924933745428019079472782936292*c_1001_11^11 + 1181695779099626418958935852075644726102012933884795/17557852784328\ 21649924933745428019079472782936292*c_1001_11^10 + 1679085093463002412538985049554641062887916006513153/17557852784328\ 21649924933745428019079472782936292*c_1001_11^9 + 1902082047517897650041443601508527628693178578556763/17557852784328\ 21649924933745428019079472782936292*c_1001_11^8 + 1382091264869345477380118331483884497706990037932223/17557852784328\ 21649924933745428019079472782936292*c_1001_11^7 + 185325230741361875089796157479262518036729973203820/438946319608205\ 412481233436357004769868195734073*c_1001_11^6 + 269801623757958107416223994824531941127819095889669/175578527843282\ 1649924933745428019079472782936292*c_1001_11^5 - 162702237859008515586064802426617192237586655921833/175578527843282\ 1649924933745428019079472782936292*c_1001_11^4 - 221928243474430833274494662883447903641607527332801/877892639216410\ 824962466872714009539736391468146*c_1001_11^3 - 77452216149256717317249893090790530781172719431831/4389463196082054\ 12481233436357004769868195734073*c_1001_11^2 - 23650424808064280219733518172431520139315421473784/4389463196082054\ 12481233436357004769868195734073*c_1001_11 - 10376281904998060631319452209757709739143423296115/1755785278432821\ 649924933745428019079472782936292, c_0011_6 + 112204452969983018559758251881915032243631684229/17557852784\ 32821649924933745428019079472782936292*c_1001_11^23 + 824098498300948335113986089498229423407912910769/175578527843282164\ 9924933745428019079472782936292*c_1001_11^22 + 2026620931516609013415498300328497166468745930949/87789263921641082\ 4962466872714009539736391468146*c_1001_11^21 + 15581728016715660229386336497024972997832249630753/1755785278432821\ 649924933745428019079472782936292*c_1001_11^20 + 47884347385960488404573158909310510530365941456341/1755785278432821\ 649924933745428019079472782936292*c_1001_11^19 + 132826971241999810187117389606824585117307047420917/175578527843282\ 1649924933745428019079472782936292*c_1001_11^18 + 339325549933378976027755961756274538737498855912027/175578527843282\ 1649924933745428019079472782936292*c_1001_11^17 + 785008646170716440310326553412929766451019346030761/175578527843282\ 1649924933745428019079472782936292*c_1001_11^16 + 1611488138370252342964606717429718625457423697094443/17557852784328\ 21649924933745428019079472782936292*c_1001_11^15 + 2819534369934146445320541001002012642199257272961629/17557852784328\ 21649924933745428019079472782936292*c_1001_11^14 + 1115978768518208408804723365930067620235899179884566/43894631960820\ 5412481233436357004769868195734073*c_1001_11^13 + 5889864634655797711993709068947878447037675616829033/17557852784328\ 21649924933745428019079472782936292*c_1001_11^12 + 6725606263439177074048152167238856912198217052500495/17557852784328\ 21649924933745428019079472782936292*c_1001_11^11 + 6523577685322765440686127628122406790228562778928023/17557852784328\ 21649924933745428019079472782936292*c_1001_11^10 + 5191895700846764589644156536130663118061475535824893/17557852784328\ 21649924933745428019079472782936292*c_1001_11^9 + 2921980555681716784165002783587351278921687228115903/17557852784328\ 21649924933745428019079472782936292*c_1001_11^8 + 933621528558950725851777889506377112446992273398355/175578527843282\ 1649924933745428019079472782936292*c_1001_11^7 - 92738586280464989013555216293269903163105513757144/4389463196082054\ 12481233436357004769868195734073*c_1001_11^6 - 1100961903942435155421092234144763057139116244063423/17557852784328\ 21649924933745428019079472782936292*c_1001_11^5 - 1160878475033908268794402301905812947776426085057537/17557852784328\ 21649924933745428019079472782936292*c_1001_11^4 - 316873148917432219948921943109751754038876984634487/877892639216410\ 824962466872714009539736391468146*c_1001_11^3 - 44841561837592325725947524394038861165205749779064/4389463196082054\ 12481233436357004769868195734073*c_1001_11^2 - 5999224127464836314995999703409438923772814960208/43894631960820541\ 2481233436357004769868195734073*c_1001_11 - 2473193563286635690499887081055350937120111759127/17557852784328216\ 49924933745428019079472782936292, c_0011_7 - 28419443628038292253315312727781326840516909327/438946319608\ 205412481233436357004769868195734073*c_1001_11^23 - 208879808541285159804970667414267847417177470276/438946319608205412\ 481233436357004769868195734073*c_1001_11^22 - 1025509451987095151283400244982003709130773828098/43894631960820541\ 2481233436357004769868195734073*c_1001_11^21 - 3936667706862401353157542610776937130578649786472/43894631960820541\ 2481233436357004769868195734073*c_1001_11^20 - 12075253722862274890519497294164288196035550197649/4389463196082054\ 12481233436357004769868195734073*c_1001_11^19 - 33428169254577507467209757225420071850708568863001/4389463196082054\ 12481233436357004769868195734073*c_1001_11^18 - 85284678315447406352169544160411437401344810849326/4389463196082054\ 12481233436357004769868195734073*c_1001_11^17 - 196976800151052878702713181085115883355414801374841/438946319608205\ 412481233436357004769868195734073*c_1001_11^16 - 403375640903692354571509869914300176768907501428150/438946319608205\ 412481233436357004769868195734073*c_1001_11^15 - 702960877088714910891130090918437812061121483238698/438946319608205\ 412481233436357004769868195734073*c_1001_11^14 - 1107475376995628667681933822238055828438459816947618/43894631960820\ 5412481233436357004769868195734073*c_1001_11^13 - 1451821421584573994904692771609661624450457587087416/43894631960820\ 5412481233436357004769868195734073*c_1001_11^12 - 1639453618487855857058408684166640132414274218581467/43894631960820\ 5412481233436357004769868195734073*c_1001_11^11 - 1570169557177525243694152386786349776044717225480665/43894631960820\ 5412481233436357004769868195734073*c_1001_11^10 - 1221856982335484891169438488089192079176235708779827/43894631960820\ 5412481233436357004769868195734073*c_1001_11^9 - 652490940823174990857065972852952542189056111766587/438946319608205\ 412481233436357004769868195734073*c_1001_11^8 - 169087912797282441065806631601307075094372375566513/438946319608205\ 412481233436357004769868195734073*c_1001_11^7 + 126892544077931285026983314549862266532170153444358/438946319608205\ 412481233436357004769868195734073*c_1001_11^6 + 286841805312586259538441108957225604882582723090988/438946319608205\ 412481233436357004769868195734073*c_1001_11^5 + 284755488742129922783392137853527715630805947017042/438946319608205\ 412481233436357004769868195734073*c_1001_11^4 + 143358659829920072413617286289025354265624516240009/438946319608205\ 412481233436357004769868195734073*c_1001_11^3 + 28834758105165094168167438096428249437133177135375/4389463196082054\ 12481233436357004769868195734073*c_1001_11^2 - 747771718515675315918437340683180079963923698376/438946319608205412\ 481233436357004769868195734073*c_1001_11 - 985435494220205962451921942178045256482627755546/438946319608205412\ 481233436357004769868195734073, c_0101_0 + c_1001_11, c_0101_4 - 1, c_0101_6 + 192124997124513193579336480147422748336330762591/87789263921\ 6410824962466872714009539736391468146*c_1001_11^23 + 737249292502151916904263417605794216387438318426/438946319608205412\ 481233436357004769868195734073*c_1001_11^22 + 3700602911479255225865194950343969448373771711565/43894631960820541\ 2481233436357004769868195734073*c_1001_11^21 + 28936253638068643544489766753176350731806911971921/8778926392164108\ 24962466872714009539736391468146*c_1001_11^20 + 45313460092463026327375861921871996993257148587089/4389463196082054\ 12481233436357004769868195734073*c_1001_11^19 + 253844474078293564504315917848792523786079597849889/877892639216410\ 824962466872714009539736391468146*c_1001_11^18 + 327039922151942829858108465414488478940613365732736/438946319608205\ 412481233436357004769868195734073*c_1001_11^17 + 1530342620110122698712817126306835528294497722371069/87789263921641\ 0824962466872714009539736391468146*c_1001_11^16 + 1594354130805787342711808006830249162697290647760555/43894631960820\ 5412481233436357004769868195734073*c_1001_11^15 + 5705585823472269597397696628293178350400017339577167/87789263921641\ 0824962466872714009539736391468146*c_1001_11^14 + 9169186640819745131189739555910371294221401864699917/87789263921641\ 0824962466872714009539736391468146*c_1001_11^13 + 6244596551349233051313147345268799672053243628255921/43894631960820\ 5412481233436357004769868195734073*c_1001_11^12 + 14655778997255340433867108636451547519912929281016467/8778926392164\ 10824962466872714009539736391468146*c_1001_11^11 + 7360988129197135221965416425283157226036549949353390/43894631960820\ 5412481233436357004769868195734073*c_1001_11^10 + 12289066774363617573264000914215398451430185871864187/8778926392164\ 10824962466872714009539736391468146*c_1001_11^9 + 3829076600174255523107148464484068108244253823053628/43894631960820\ 5412481233436357004769868195734073*c_1001_11^8 + 3027248514580212861537362248215631670824116450913835/87789263921641\ 0824962466872714009539736391468146*c_1001_11^7 - 232129567379491735301310724577805760105396477069313/877892639216410\ 824962466872714009539736391468146*c_1001_11^6 - 1066830605083080995952793702030726295823905304072829/43894631960820\ 5412481233436357004769868195734073*c_1001_11^5 - 2587307002993470405644097915346191993607138202303129/87789263921641\ 0824962466872714009539736391468146*c_1001_11^4 - 1689726100721896907566930318845330493321678258342013/87789263921641\ 0824962466872714009539736391468146*c_1001_11^3 - 613552947942814371237771042016862480973021494133141/877892639216410\ 824962466872714009539736391468146*c_1001_11^2 - 112328326008757656545888218340512402357811855863243/877892639216410\ 824962466872714009539736391468146*c_1001_11 - 3888664288957221041892549965231980696332912014711/43894631960820541\ 2481233436357004769868195734073, c_0110_10 - 48414949487246884010449344271910983310935285619/87789263921\ 6410824962466872714009539736391468146*c_1001_11^23 - 328353379066442772591949492220144635684989366851/877892639216410824\ 962466872714009539736391468146*c_1001_11^22 - 777752492850615746358836385876195419754120341233/438946319608205412\ 481233436357004769868195734073*c_1001_11^21 - 5791836205664654447869064286047320294966013548251/87789263921641082\ 4962466872714009539736391468146*c_1001_11^20 - 17140112966896802058112559176260839528403392983463/8778926392164108\ 24962466872714009539736391468146*c_1001_11^19 - 46706723401360838660968411892815296737852063598359/8778926392164108\ 24962466872714009539736391468146*c_1001_11^18 - 117340777315986422759827241371877687783785692256721/877892639216410\ 824962466872714009539736391468146*c_1001_11^17 - 265136135009145076532252874433670739208127871227935/877892639216410\ 824962466872714009539736391468146*c_1001_11^16 - 527332044539551766666725704269108641120625119146457/877892639216410\ 824962466872714009539736391468146*c_1001_11^15 - 877880883703472489945652673483079071916153503101227/877892639216410\ 824962466872714009539736391468146*c_1001_11^14 - 675021371834128547775869027852972969392447620147193/438946319608205\ 412481233436357004769868195734073*c_1001_11^13 - 1648939194258522000230855351614949425343053871619211/87789263921641\ 0824962466872714009539736391468146*c_1001_11^12 - 1772565984291609284391829676927305472546852235529583/87789263921641\ 0824962466872714009539736391468146*c_1001_11^11 - 1585125356578684498570322359205382409702257534642597/87789263921641\ 0824962466872714009539736391468146*c_1001_11^10 - 1106249003036826091431427258394335577999913965641749/87789263921641\ 0824962466872714009539736391468146*c_1001_11^9 - 440104685222376424306176467681127975645598203177947/877892639216410\ 824962466872714009539736391468146*c_1001_11^8 - 34928742759893880597079315389125605606696602962279/8778926392164108\ 24962466872714009539736391468146*c_1001_11^7 + 99403219549248956169452949992458297092096446770210/4389463196082054\ 12481233436357004769868195734073*c_1001_11^6 + 339457492933432482372731059527739582598479754203205/877892639216410\ 824962466872714009539736391468146*c_1001_11^5 + 262136933133600133981507466029153894457384670301277/877892639216410\ 824962466872714009539736391468146*c_1001_11^4 + 35536052588187520236439093212216693638137853081991/4389463196082054\ 12481233436357004769868195734073*c_1001_11^3 + 2661333817162059764871855691678876295550942808533/43894631960820541\ 2481233436357004769868195734073*c_1001_11^2 + 4040390056001720045398458249415319358893622746456/43894631960820541\ 2481233436357004769868195734073*c_1001_11 + 2524538044122741250890818012809970029035237335867/87789263921641082\ 4962466872714009539736391468146, c_0110_7 + 478514858244342126142760142589481901242289886145/17557852784\ 32821649924933745428019079472782936292*c_1001_11^23 + 3677663303471015485376967379365122746738877525589/17557852784328216\ 49924933745428019079472782936292*c_1001_11^22 + 9229153780119783844766831248382931293054879841671/87789263921641082\ 4962466872714009539736391468146*c_1001_11^21 + 72166441729594732515724130380312219016428642184049/1755785278432821\ 649924933745428019079472782936292*c_1001_11^20 + 226010676448753273294123727137724164097018014105905/175578527843282\ 1649924933745428019079472782936292*c_1001_11^19 + 632858197661845202049423809747175914534168496685001/175578527843282\ 1649924933745428019079472782936292*c_1001_11^18 + 1630536598338402803741816457129760562067009337308231/17557852784328\ 21649924933745428019079472782936292*c_1001_11^17 + 3814480232089346017619927924665190810435451278113765/17557852784328\ 21649924933745428019079472782936292*c_1001_11^16 + 7946286172013061971201242076294141864815685606942719/17557852784328\ 21649924933745428019079472782936292*c_1001_11^15 + 14213147066862736999070819226568542591168371967259601/1755785278432\ 821649924933745428019079472782936292*c_1001_11^14 + 5706270028170885514812077965013344121183223524967890/43894631960820\ 5412481233436357004769868195734073*c_1001_11^13 + 31077274625550623626335005019728084541956675353125853/1755785278432\ 821649924933745428019079472782936292*c_1001_11^12 + 36413837334099189356917798997562081080962079530005543/1755785278432\ 821649924933745428019079472782936292*c_1001_11^11 + 36544641105713704355067401842091726233267065243048047/1755785278432\ 821649924933745428019079472782936292*c_1001_11^10 + 30446385801554953476179071322574464057543272938868233/1755785278432\ 821649924933745428019079472782936292*c_1001_11^9 + 18908982010529946928444212376323500573628854317441431/1755785278432\ 821649924933745428019079472782936292*c_1001_11^8 + 7401729257020847648944195939285576982947174881692879/17557852784328\ 21649924933745428019079472782936292*c_1001_11^7 - 157700315981171892636559072569439882570872047945837/438946319608205\ 412481233436357004769868195734073*c_1001_11^6 - 5327109465650171509458395370840447773178067517566547/17557852784328\ 21649924933745428019079472782936292*c_1001_11^5 - 6434076426257930751670176604861817538307802997186225/17557852784328\ 21649924933745428019079472782936292*c_1001_11^4 - 2085796226286926267842712381291085097513584681765745/87789263921641\ 0824962466872714009539736391468146*c_1001_11^3 - 373137300081134940556637968839882222716445511463274/438946319608205\ 412481233436357004769868195734073*c_1001_11^2 - 68192176405887879330294229764012910223714974540212/4389463196082054\ 12481233436357004769868195734073*c_1001_11 - 20671170464216832976327363287793275115418719098623/1755785278432821\ 649924933745428019079472782936292, c_1001_11^24 + 8*c_1001_11^23 + 41*c_1001_11^22 + 163*c_1001_11^21 + 520*c_1001_11^20 + 1472*c_1001_11^19 + 3826*c_1001_11^18 + 9050*c_1001_11^17 + 19130*c_1001_11^16 + 34962*c_1001_11^15 + 57111*c_1001_11^14 + 80053*c_1001_11^13 + 96678*c_1001_11^12 + 100460*c_1001_11^11 + 87786*c_1001_11^10 + 59614*c_1001_11^9 + 27904*c_1001_11^8 + 3485*c_1001_11^7 - 11611*c_1001_11^6 - 17002*c_1001_11^5 - 12993*c_1001_11^4 - 5870*c_1001_11^3 - 1536*c_1001_11^2 - 215*c_1001_11 - 13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 12.120 Total time: 12.320 seconds, Total memory usage: 84.25MB