Magma V2.19-8 Tue Aug 20 2013 23:41:31 on localhost [Seed = 1831537118] Type ? for help. Type -D to quit. Loading file "K12n594__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n594 geometric_solution 10.97018822 oriented_manifold CS_known 0.0000000000000007 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 2 0132 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.098929448292 1.037834724229 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.537679227262 0.638968081278 7 0 8 0 0132 0132 0132 0213 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 7 0 -7 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.098929448292 1.037834724229 9 6 9 0 0132 3201 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 0 -1 1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.360802110144 0.343674971307 7 1 10 11 1023 0132 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 -1 1 7 0 -1 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.471598671182 0.372617019689 9 11 1 6 2103 2103 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.457737726785 1.082428125215 5 9 3 1 3201 0132 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 -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.300029706131 1.387385563948 2 4 11 8 0132 1023 1230 1230 0 0 0 0 0 1 0 -1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -7 0 7 -7 0 0 7 -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.290644120594 1.809875319150 7 10 10 2 3012 1230 1302 0132 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 0 0 0 0 1 0 -1 -7 0 0 7 -7 6 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.730218724379 0.611193213311 3 6 5 3 0132 0132 2103 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 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.732498429065 0.702451498755 8 11 8 4 2031 2031 3012 0132 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 -1 1 0 0 -1 1 0 0 0 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.604431221246 1.369347296208 10 5 4 7 1302 2103 0132 3012 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 1 -1 0 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.245896874701 0.984147917034 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_5'], 'c_1001_10' : negation(d['c_0011_8']), 'c_1001_5' : d['c_0011_11'], 'c_1001_4' : d['c_0011_11'], 'c_1001_7' : d['c_0101_4'], 'c_1001_6' : negation(d['c_1001_0']), 'c_1001_1' : d['c_0011_5'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0101_10'], 'c_1001_9' : d['c_0011_5'], 'c_1001_8' : d['c_0101_4'], 'c_1010_11' : d['c_0101_1'], 'c_1010_10' : d['c_0011_11'], 's_3_11' : negation(d['1']), 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_10']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : negation(d['1']), 's_2_10' : d['1'], 's_2_11' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0101_10'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0101_4']), 'c_1100_7' : d['c_0011_8'], 'c_1100_6' : d['c_0011_3'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : d['c_1001_0'], 'c_1100_3' : d['c_1001_0'], 'c_1100_2' : d['c_0101_10'], 's_0_10' : d['1'], 'c_1100_9' : d['c_0101_3'], 'c_1100_11' : negation(d['c_0101_4']), 'c_1100_10' : negation(d['c_0101_4']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_10']), 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0011_5'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_11'], 'c_1010_0' : d['c_0101_10'], 'c_1010_9' : negation(d['c_1001_0']), 'c_1010_8' : d['c_0101_10'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_3'], '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_0011_8'], 'c_0110_10' : d['c_0101_4'], 'c_0101_7' : negation(d['c_0101_1']), 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_8'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0011_8'], '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_0101_1']), 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : negation(d['c_0011_10']), 'c_0110_7' : d['c_0011_8'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_5, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0101_3, c_0101_4, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 2399723285259280483988582023884047164499816476133448109413402633832\ 034058439/578933534153180942569692789000874674891503881626656525854\ 36776199424*c_1001_0^19 + 12333352227302144066938165665931021711817\ 952400884629220385265407608450853363/289466767076590471284846394500\ 43733744575194081332826292718388099712*c_1001_0^18 - 7616479647926428934151552001403863626724852808791778691737591846781\ 8349833177/57893353415318094256969278900087467489150388162665652585\ 436776199424*c_1001_0^17 + 6808636010555557386136966567020925498214\ 552161730531476256297674774273111003/289466767076590471284846394500\ 43733744575194081332826292718388099712*c_1001_0^16 + 1795619082809542364696892963264776576013309686330067616874478042293\ 2210643007/72366691769147617821211598625109334361437985203332065731\ 79597024928*c_1001_0^15 + 32667719881617507243883321258302121096494\ 2806165748102404367871842608245553835/14473338353829523564242319725\ 021866872287597040666413146359194049856*c_1001_0^14 - 6497185607690549977788536372351406400381185184503144771449919377487\ 461644757999/578933534153180942569692789000874674891503881626656525\ 85436776199424*c_1001_0^13 + 64642569186769327238800043478211230904\ 83901790108284908766671962335912683072935/2894667670765904712848463\ 9450043733744575194081332826292718388099712*c_1001_0^12 - 7224095910432044970986662463375761785807153554038455432985686369463\ 776871621663/289466767076590471284846394500437337445751940813328262\ 92718388099712*c_1001_0^11 + 41360532779352534497901456253135468624\ 4857696939232081089151458430159720094675/25171023224051345329117077\ 78264672499528277746202854460236381573888*c_1001_0^10 - 3385338938945674246714344138110934225364215839998716192109004090481\ 8816019555/62927558060128363322792694456616812488206943655071361505\ 9095393472*c_1001_0^9 - 9899770764415939599352251170279233890057942\ 5561582268294631235292661107588963/28946676707659047128484639450043\ 733744575194081332826292718388099712*c_1001_0^8 + 5452772304037507413229546686456048736440829674377535146059483910725\ 66472825575/5789335341531809425696927890008746748915038816266565258\ 5436776199424*c_1001_0^7 - 7673104097770641528640247873207412200283\ 28909866319769769881233910493608071/4558531764985676713147187314967\ 51712512995182383194114845958867712*c_1001_0^6 - 6478629586456656323173769042634989667123776794162892090233423905310\ 7175746271/57893353415318094256969278900087467489150388162665652585\ 436776199424*c_1001_0^5 + 10523717439701504254848018522753770660931\ 119907809241520857604932795268219457/289466767076590471284846394500\ 43733744575194081332826292718388099712*c_1001_0^4 + 3029518825997618133660895325150659080192789838238111784119359534778\ 208033269/144733383538295235642423197250218668722875970406664131463\ 59194049856*c_1001_0^3 - 146142064096015108898633011885922185117572\ 841324661133163892095637181430575/904583647114345222765144982813866\ 679517974815041650821647449628116*c_1001_0^2 + 3763026601945022168140993231016947116825631985363825298328610778542\ 4770987/90458364711434522276514498281386667951797481504165082164744\ 9628116*c_1001_0 - 366829255536162000847208481198855036665630381478\ 9679760696278702476235973/90458364711434522276514498281386667951797\ 4815041650821647449628116, c_0011_0 - 1, c_0011_10 - 32522855457938182049646400795392239952097137380499664958075\ 995/2637368030104605273108961179513434199829996865978101052512*c_10\ 01_0^19 + 844454037717304590043559556350525115696275847980152770040\ 92457/659342007526151318277240294878358549957499216494525263128*c_1\ 001_0^18 - 10647908409363805126352769036770581701142455156338095078\ 72093113/2637368030104605273108961179513434199829996865978101052512\ *c_1001_0^17 + 3303782289574719184950752372893583563938819665828836\ 3485322555/32967100376307565913862014743917927497874960824726263156\ 4*c_1001_0^16 + 501495066717569194187339284407819104829326113360248\ 539439792909/659342007526151318277240294878358549957499216494525263\ 128*c_1001_0^15 + 4386302133149013549880344005574650535117959675086\ 172859175105999/659342007526151318277240294878358549957499216494525\ 263128*c_1001_0^14 - 9011666179505246894495213784737941611145293548\ 2440364041059928443/26373680301046052731089611795134341998299968659\ 78101052512*c_1001_0^13 + 45687905618535234655610588426110863555249\ 087539154904184837376079/659342007526151318277240294878358549957499\ 216494525263128*c_1001_0^12 - 1036192130110756268320310145946756102\ 99755054039619824636216963509/1318684015052302636554480589756717099\ 914998432989050526256*c_1001_0^11 + 6009618658312353979100586519536996095053393896054031503402691323/11\ 4668175221939359700389616500584095644782472433830480544*c_1001_0^10 - 1001198508713291383272861391415460299116301283955501021966195901/\ 57334087610969679850194808250292047822391236216915240272*c_1001_0^9 - 1256299688362598818151792678670906850465775853741323696158015375/\ 1318684015052302636554480589756717099914998432989050526256*c_1001_0\ ^8 + 79485854429199263117662461084655841485991947529760031742914152\ 87/2637368030104605273108961179513434199829996865978101052512*c_100\ 1_0^7 - 14821206068616174122890922900054340423509285932359586551488\ 08235/2637368030104605273108961179513434199829996865978101052512*c_\ 1001_0^6 - 93348503093205380187039738014109667702429660045451419522\ 8770769/2637368030104605273108961179513434199829996865978101052512*\ c_1001_0^5 + 395637719583750745369986412038115564053839794129071777\ 51841355/329671003763075659138620147439179274978749608247262631564*\ c_1001_0^4 + 214825826820663705830796095041451936469232428037279831\ 65068303/329671003763075659138620147439179274978749608247262631564*\ c_1001_0^3 - 170322532092444830126679380999448927202737181097825264\ 35162187/329671003763075659138620147439179274978749608247262631564*\ c_1001_0^2 + 111074128068369333809293479597126350754936332485926196\ 8896471/82417750940768914784655036859794818744687402061815657891*c_\ 1001_0 - 1097963677590734240397335565175739489376104245797444446321\ 78/82417750940768914784655036859794818744687402061815657891, c_0011_11 + 16858111106154967345158658251617622365442621754314725283319\ 845/1318684015052302636554480589756717099914998432989050526256*c_10\ 01_0^19 - 867375482513759856387216929816047877952617777568817820210\ 44369/659342007526151318277240294878358549957499216494525263128*c_1\ 001_0^18 + 53631286887961662403577717523593210142999802684866312337\ 0979271/1318684015052302636554480589756717099914998432989050526256*\ c_1001_0^17 - 47606433687221342881745071122179472821302207817530616\ 330508517/659342007526151318277240294878358549957499216494525263128\ *c_1001_0^16 - 2557811941110748246267057947923456812052719804672705\ 73076302399/3296710037630756591386201474391792749787496082472626315\ 64*c_1001_0^15 - 22958296778938547604586037014230285444011893289407\ 58969494982751/3296710037630756591386201474391792749787496082472626\ 31564*c_1001_0^14 + 45778482018267729477826499831569729197581336705\ 744415652447966693/131868401505230263655448058975671709991499843298\ 9050526256*c_1001_0^13 - 454564824927048290980228853579064363707671\ 75473954451283124106413/6593420075261513182772402948783585499574992\ 16494525263128*c_1001_0^12 + 50532624004635431274259590264433736497\ 704827965733887889868835963/659342007526151318277240294878358549957\ 499216494525263128*c_1001_0^11 - 2866694506431472442915299326547747\ 658813880594159983902811128241/573340876109696798501948082502920478\ 22391236216915240272*c_1001_0^10 + 230247029191798980858472747081668462692106957703753598505096473/143\ 33521902742419962548702062573011955597809054228810068*c_1001_0^9 + 789171357831887024833743198515428314740776896560686603498138855/659\ 342007526151318277240294878358549957499216494525263128*c_1001_0^8 - 3760887333848046578874370513442799531250967399783156002220692853/13\ 18684015052302636554480589756717099914998432989050526256*c_1001_0^7 + 631877200078637026534099442598729680360997326201858166078891691/1\ 318684015052302636554480589756717099914998432989050526256*c_1001_0^\ 6 + 452556747552158242017532048232488675916400629664797146781997297\ /1318684015052302636554480589756717099914998432989050526256*c_1001_\ 0^5 - 6937963884315989346251777153750110081858913574551724356903079\ 3/659342007526151318277240294878358549957499216494525263128*c_1001_\ 0^4 - 1070741622330855176610960266673102914267284019387829112291942\ 5/164835501881537829569310073719589637489374804123631315782*c_1001_\ 0^3 + 4012473213562041759314412474948330169763900868647318754339417\ /82417750940768914784655036859794818744687402061815657891*c_1001_0^\ 2 - 2050717537501894968416283114869217148520410496537023411279787/1\ 64835501881537829569310073719589637489374804123631315782*c_1001_0 + 99947249728355866565740627548536247194998983093893580715610/8241775\ 0940768914784655036859794818744687402061815657891, c_0011_3 - 109786035164016143673304028757795246315924949635335917892294\ 97/1318684015052302636554480589756717099914998432989050526256*c_100\ 1_0^19 + 5781278168810746359128433768325011838373365521248006858608\ 4211/659342007526151318277240294878358549957499216494525263128*c_10\ 01_0^18 - 375142039619982729031255604047364874616259582815311966708\ 691403/1318684015052302636554480589756717099914998432989050526256*c\ _1001_0^17 + 662849720641199259582840858801252383335201259859984309\ 39189539/659342007526151318277240294878358549957499216494525263128*\ c_1001_0^16 + 17222577524920862117470934659479008819721855273697669\ 4886832313/32967100376307565913862014743917927497874960824726263156\ 4*c_1001_0^15 + 145796893917238393133719969512846251156333002455705\ 1686655673031/32967100376307565913862014743917927497874960824726263\ 1564*c_1001_0^14 - 313364356619106666595331320387725791493432749287\ 82630311195303689/1318684015052302636554480589756717099914998432989\ 050526256*c_1001_0^13 + 3279664403154544268961362565075736069411562\ 1750480274260985514663/65934200752615131827724029487835854995749921\ 6494525263128*c_1001_0^12 - 383580459391728414147280544665347683987\ 44783089708372220978833459/6593420075261513182772402948783585499574\ 99216494525263128*c_1001_0^11 + 23061051164965782641162381477918172\ 79719529426019028480966365245/5733408761096967985019480825029204782\ 2391236216915240272*c_1001_0^10 - 510840989451085708400946909910074\ 97876354196320125757472316490/3583380475685604990637175515643252988\ 899452263557202517*c_1001_0^9 - 17735840392158473491463421930256433\ 4278446067238404166653381427/65934200752615131827724029487835854995\ 7499216494525263128*c_1001_0^8 + 3056780472709560271602409182115943\ 704612492147691746436726560273/131868401505230263655448058975671709\ 9914998432989050526256*c_1001_0^7 - 681415484777384049319111147206605419653755689464013985260795363/131\ 8684015052302636554480589756717099914998432989050526256*c_1001_0^6 - 338762030883095064776113401771668061078739078031234325149006689/131\ 8684015052302636554480589756717099914998432989050526256*c_1001_0^5 + 69208103996098992464628001887425306173038526170496682334341899/6593\ 42007526151318277240294878358549957499216494525263128*c_1001_0^4 + 3715365963765358389324912113607368923832214729553644704856699/82417\ 750940768914784655036859794818744687402061815657891*c_1001_0^3 - 3335719830116603001304422194326767418468754691407464114381365/82417\ 750940768914784655036859794818744687402061815657891*c_1001_0^2 + 1830455041832117875415019822297045206343058252116574907136313/16483\ 5501881537829569310073719589637489374804123631315782*c_1001_0 - 94448498394871976874329243628417073638159324867797090680620/8241775\ 0940768914784655036859794818744687402061815657891, c_0011_5 - 328239990164599852483074152712744871357042331004083522564873\ 77/1318684015052302636554480589756717099914998432989050526256*c_100\ 1_0^19 + 1686761660267141303413096616849094105952300208320120613783\ 47163/659342007526151318277240294878358549957499216494525263128*c_1\ 001_0^18 - 10403498274309663837665685036098951751888538810582169364\ 08859635/1318684015052302636554480589756717099914998432989050526256\ *c_1001_0^17 + 8793954431666126029555928129403193151245337414297712\ 5307786947/65934200752615131827724029487835854995749921649452526312\ 8*c_1001_0^16 + 496243955580847560429206358987001183975155285003193\ 536564075797/329671003763075659138620147439179274978749608247262631\ 564*c_1001_0^15 + 4475020348711004635096283122716758738969330140468\ 689776809825171/329671003763075659138620147439179274978749608247262\ 631564*c_1001_0^14 - 8888741604210072491163901548726964754433236302\ 5287468250549702657/13186840150523026365544805897567170999149984329\ 89050526256*c_1001_0^13 + 88057735472825381635562360226977579344931\ 245365349138304462663407/659342007526151318277240294878358549957499\ 216494525263128*c_1001_0^12 - 9770952150719596698817306947675070558\ 5554865688314413631075866123/65934200752615131827724029487835854995\ 7499216494525263128*c_1001_0^11 + 553351015177785500417082373782153\ 2210100535269278145915964967221/57334087610969679850194808250292047\ 822391236216915240272*c_1001_0^10 - 110844152456961498853471858350350199370298349504296312988381444/358\ 3380475685604990637175515643252988899452263557202517*c_1001_0^9 - 1543424983988034408799245020020683006221967253034870828671543931/65\ 9342007526151318277240294878358549957499216494525263128*c_1001_0^8 + 7253204238690719096196612754283296023380117163846301208935426409/13\ 18684015052302636554480589756717099914998432989050526256*c_1001_0^7 - 1211606419058619402122692316166664038617422027055382064471764123/\ 1318684015052302636554480589756717099914998432989050526256*c_1001_0\ ^6 - 87373676309633815263012138870423807696920858222356277449326413\ 7/1318684015052302636554480589756717099914998432989050526256*c_1001\ _0^5 + 133211022461480183861593256684271484885477655973393429414317\ 467/659342007526151318277240294878358549957499216494525263128*c_100\ 1_0^4 + 10357258784987175066238861217519882795480592447273999366008\ 005/82417750940768914784655036859794818744687402061815657891*c_1001\ _0^3 - 774025520709934547920872040025292274832355824953884680668447\ 7/82417750940768914784655036859794818744687402061815657891*c_1001_0\ ^2 + 3951377602733090848313847184474921458788321780010128771930089/\ 164835501881537829569310073719589637489374804123631315782*c_1001_0 - 192424497546443615323257979413445537845626274736875755138404/824177\ 50940768914784655036859794818744687402061815657891, c_0011_8 - 517117712289460601477163036469714715675076652661266265312283\ 99/2637368030104605273108961179513434199829996865978101052512*c_100\ 1_0^19 + 1634981245496898428669233180673050792205562859110607088264\ 5843/82417750940768914784655036859794818744687402061815657891*c_100\ 1_0^18 - 1558939641134782404222835058307780293754322989412365374923\ 027505/2637368030104605273108961179513434199829996865978101052512*c\ _1001_0^17 + 158405803022706367574287925019200281823021648964885898\ 82174889/659342007526151318277240294878358549957499216494525263128*\ c_1001_0^16 + 19010857799460947946306991578428564282678115437602993\ 0650477431/16483550188153782956931007371958963748937480412363131578\ 2*c_1001_0^15 + 716208745223926398809364444909492364376727899235478\ 3846176388625/65934200752615131827724029487835854995749921649452526\ 3128*c_1001_0^14 - 135248518704310773497707157537035594741819221345\ 779328168918014815/263736803010460527310896117951343419982999686597\ 8101052512*c_1001_0^13 + 322438445930134402151753892674096757069212\ 57799481640387313580585/3296710037630756591386201474391792749787496\ 08247262631564*c_1001_0^12 - 13764915371442643620839821905470370772\ 0418830796272406031378291199/13186840150523026365544805897567170999\ 14998432989050526256*c_1001_0^11 + 7433862924599678567298244774835132665553140875271439786919919775/11\ 4668175221939359700389616500584095644782472433830480544*c_1001_0^10 - 1088276404037546657267444722220049686904335462036440483764855523/\ 57334087610969679850194808250292047822391236216915240272*c_1001_0^9 - 3274107727059678306504579520715848442288866168326320840200321269/\ 1318684015052302636554480589756717099914998432989050526256*c_1001_0\ ^8 + 96277734398444662965482531795657364724809093229930321153578019\ 07/2637368030104605273108961179513434199829996865978101052512*c_100\ 1_0^7 - 11682244918342951232203012627355972158035839826706459035373\ 65107/2637368030104605273108961179513434199829996865978101052512*c_\ 1001_0^6 - 12338870985468980735237256018228032072548028069828929698\ 66404085/2637368030104605273108961179513434199829996865978101052512\ *c_1001_0^5 + 35696817386236116893682515435630356321605193165072348\ 714502739/329671003763075659138620147439179274978749608247262631564\ *c_1001_0^4 + 61778481584564121550926366016172775301778947928050880\ 010751087/659342007526151318277240294878358549957499216494525263128\ *c_1001_0^3 - 50553067525828508714713151011590378793851187279686970\ 51701224/82417750940768914784655036859794818744687402061815657891*c\ _1001_0^2 + 2422603482350626763610130695998904988252591346103551091\ 005137/164835501881537829569310073719589637489374804123631315782*c_\ 1001_0 - 1116334217673633892263283395070627634881052672073320663374\ 20/82417750940768914784655036859794818744687402061815657891, c_0101_0 + 665124838309595906913034353290703956116330277840918014944204\ 9/164835501881537829569310073719589637489374804123631315782*c_1001_\ 0^19 - 338060528867714190071684247087157810573122221253747616783996\ 93/82417750940768914784655036859794818744687402061815657891*c_1001_\ 0^18 + 203573375621074455272103265389875905549662952374640846767644\ 877/164835501881537829569310073719589637489374804123631315782*c_100\ 1_0^17 - 8106762667755918105992954386126207480184535240526059523078\ 375/82417750940768914784655036859794818744687402061815657891*c_1001\ _0^16 - 19744745750976175261875293173974825406983921845484038097471\ 6904/82417750940768914784655036859794818744687402061815657891*c_100\ 1_0^15 - 1833898032101516280371396165096499681352734779566797598280\ 312200/82417750940768914784655036859794818744687402061815657891*c_1\ 001_0^14 + 17580629168163184258474615782967834564677605999094663477\ 887243619/164835501881537829569310073719589637489374804123631315782\ *c_1001_0^13 - 1695919329932125473600374459859532026867776751379983\ 3978172833583/82417750940768914784655036859794818744687402061815657\ 891*c_1001_0^12 + 1831260466706059912678964138959261041195759123085\ 1368288632996957/82417750940768914784655036859794818744687402061815\ 657891*c_1001_0^11 - 1003059061419495270026270239094134539823299148\ 126654596542000765/716676095137120998127435103128650597779890452711\ 4405034*c_1001_0^10 + 150856971266378590151203030340688731882269142\ 291548746387550110/358338047568560499063717551564325298889945226355\ 7202517*c_1001_0^9 + 3970488957772587137322081776234100117524973761\ 27452263301529762/8241775094076891478465503685979481874468740206181\ 5657891*c_1001_0^8 - 1305848888023104451563093740043003894177193832\ 858287949965968733/164835501881537829569310073719589637489374804123\ 631315782*c_1001_0^7 + 17515406770271941696485009581241655250660634\ 8744769391397343305/16483550188153782956931007371958963748937480412\ 3631315782*c_1001_0^6 + 1646987614326899264968376934642453309340894\ 89460271171216334829/1648355018815378295693100737195896374893748041\ 23631315782*c_1001_0^5 - 206857221206573650400135138796950848283544\ 56701832732423414996/8241775094076891478465503685979481874468740206\ 1815657891*c_1001_0^4 - 1623115429004053605316240505175621849981221\ 1688670088230948504/82417750940768914784655036859794818744687402061\ 815657891*c_1001_0^3 + 11003918441146807651558887669076422341618393\ 076214823524694464/824177509407689147846550368597948187446874020618\ 15657891*c_1001_0^2 - 268075427256488044993135458994688040092733111\ 5353365533703584/82417750940768914784655036859794818744687402061815\ 657891*c_1001_0 + 2505273709910792545302604628626770249940696462399\ 82080945940/8241775094076891478465503685979481874468740206181565789\ 1, c_0101_1 + 406976060357630541351206124754001724405235622609478744991068\ 45/1318684015052302636554480589756717099914998432989050526256*c_100\ 1_0^19 - 2065981186778787971116749339973732338693163412001376188900\ 99545/659342007526151318277240294878358549957499216494525263128*c_1\ 001_0^18 + 12408103039588644765086232963826480039405696024909685577\ 50996311/1318684015052302636554480589756717099914998432989050526256\ *c_1001_0^17 - 4351505329422347376249337653186020954252160234564755\ 8247717465/65934200752615131827724029487835854995749921649452526312\ 8*c_1001_0^16 - 602187106373707787717504474079959745930924955693971\ 760757150011/329671003763075659138620147439179274978749608247262631\ 564*c_1001_0^15 - 5617039207869737125791769740185773285795864666873\ 824720702983537/329671003763075659138620147439179274978749608247262\ 631564*c_1001_0^14 + 1072734581688911902131233552472379048257526838\ 55459815261544063365/1318684015052302636554480589756717099914998432\ 989050526256*c_1001_0^13 - 1032011313533633382729162263918454074705\ 31350375608650105314226245/6593420075261513182772402948783585499574\ 99216494525263128*c_1001_0^12 + 11116039129870473997110824756422219\ 9895138307559452571946955219943/65934200752615131827724029487835854\ 9957499216494525263128*c_1001_0^11 - 6072720604305882977162839971360961842474335180132713008409524513/57\ 334087610969679850194808250292047822391236216915240272*c_1001_0^10 + 454717617506252589837360331597033123154409576978885705433535039/143\ 33521902742419962548702062573011955597809054228810068*c_1001_0^9 + 2440651809826787636202481079284104865020228527744278361005099643/65\ 9342007526151318277240294878358549957499216494525263128*c_1001_0^8 - 7892924518670256719670051631156885421653666726718210644710782597/13\ 18684015052302636554480589756717099914998432989050526256*c_1001_0^7 + 1044975168392263053321391572525800038236934831554170672705137179/\ 1318684015052302636554480589756717099914998432989050526256*c_1001_0\ ^6 + 99718593416114874123420537483555152748750369081960354997173697\ 7/1318684015052302636554480589756717099914998432989050526256*c_1001\ _0^5 - 123861447283054752648669999093796247593934721319155899614942\ 481/659342007526151318277240294878358549957499216494525263128*c_100\ 1_0^4 - 12323134017213784774233026002848273889371299403446703284420\ 659/82417750940768914784655036859794818744687402061815657891*c_1001\ _0^3 + 831726716765255130320203333035653115745033244101229836052231\ 2/82417750940768914784655036859794818744687402061815657891*c_1001_0\ ^2 - 2023332459364428834240472213439760794015260115379508662792199/\ 82417750940768914784655036859794818744687402061815657891*c_1001_0 + 188902534569288589753440587687586004244135288969695537232703/824177\ 50940768914784655036859794818744687402061815657891, c_0101_10 - 92738924771595923579348958384559822317350795749946495536009\ 75/659342007526151318277240294878358549957499216494525263128*c_1001\ _0^19 + 11848290895135980601902133804857504745100379545796000868542\ 190/82417750940768914784655036859794818744687402061815657891*c_1001\ _0^18 - 28885081859713521260727466438631302838712038299198147817025\ 5065/659342007526151318277240294878358549957499216494525263128*c_10\ 01_0^17 + 904982436529788838729572646534298092910496563611427685098\ 1629/164835501881537829569310073719589637489374804123631315782*c_10\ 01_0^16 + 693976822307203315342258869509833450868748827593030852450\ 09496/82417750940768914784655036859794818744687402061815657891*c_10\ 01_0^15 + 127136408102379128668311528140610221368419952987425054584\ 0999741/164835501881537829569310073719589637489374804123631315782*c\ _1001_0^14 - 248086466320113333778823034812268090891301731073244139\ 42105832111/6593420075261513182772402948783585499574992164945252631\ 28*c_1001_0^13 + 60656429630944069217097407564924890559379924290990\ 88869287216799/8241775094076891478465503685979481874468740206181565\ 7891*c_1001_0^12 - 265802748975021706721075875700184260377611353232\ 00202630938987983/3296710037630756591386201474391792749787496082472\ 62631564*c_1001_0^11 + 14826269939052921692836631457463867782052519\ 77465199504694263151/2866704380548483992509740412514602391119561810\ 8457620136*c_1001_0^10 - 231084299942024159722711370564650269157812\ 730332602625649780271/143335219027424199625487020625730119555978090\ 54228810068*c_1001_0^9 - 489951248984651535519720091670620281791633\ 051773523585573556025/329671003763075659138620147439179274978749608\ 247262631564*c_1001_0^8 + 19366817844987892864315701542851196953153\ 71004464267379568908235/6593420075261513182772402948783585499574992\ 16494525263128*c_1001_0^7 - 295500680810939909491604867206123370924\ 172765482521806142938019/659342007526151318277240294878358549957499\ 216494525263128*c_1001_0^6 - 23805301298792816299266622860381110648\ 8471284510795789279770149/65934200752615131827724029487835854995749\ 9216494525263128*c_1001_0^5 + 8351738100371594189107961745663638632\ 484305775142842231447719/824177509407689147846550368597948187446874\ 02061815657891*c_1001_0^4 + 114923666301695754546615946159164221982\ 81515100932477571247129/1648355018815378295693100737195896374893748\ 04123631315782*c_1001_0^3 - 411149276233954713934471172864475634997\ 7855579126283121669362/82417750940768914784655036859794818744687402\ 061815657891*c_1001_0^2 + 10290622601600813538183642636136309588053\ 91372147655702060575/8241775094076891478465503685979481874468740206\ 1815657891*c_1001_0 - 986050005476752443158953751202241503854687938\ 84325874812237/8241775094076891478465503685979481874468740206181565\ 7891, c_0101_3 - 409023913410215673027245771746186046154735244723675004544326\ 23/1318684015052302636554480589756717099914998432989050526256*c_100\ 1_0^19 + 2076889010718166095774277602073537159839013458926528637183\ 34323/659342007526151318277240294878358549957499216494525263128*c_1\ 001_0^18 - 12481555242648790885898599380112732023482294233716029319\ 51612565/1318684015052302636554480589756717099914998432989050526256\ *c_1001_0^17 + 4555854416165412035365501009581297193088412949582846\ 4620100175/65934200752615131827724029487835854995749921649452526312\ 8*c_1001_0^16 + 604926190317889327377891857867002025874933952661082\ 620096196653/329671003763075659138620147439179274978749608247262631\ 564*c_1001_0^15 + 5643256211570689599661116634225355437032390802932\ 631550710167949/329671003763075659138620147439179274978749608247262\ 631564*c_1001_0^14 - 1078679954528728938755238119337632115643446146\ 70319066077295813663/1318684015052302636554480589756717099914998432\ 989050526256*c_1001_0^13 + 1038748184789541580260341385954066431423\ 60724493114342517296500255/6593420075261513182772402948783585499574\ 99216494525263128*c_1001_0^12 - 11203080780614180499187745249757045\ 6403895953079276862911710427961/65934200752615131827724029487835854\ 9957499216494525263128*c_1001_0^11 + 6131868808484276419157752187589479295495999252449435659407585075/57\ 334087610969679850194808250292047822391236216915240272*c_1001_0^10 - 461038604275535805507673713720121121015434355950463955789426591/143\ 33521902742419962548702062573011955597809054228810068*c_1001_0^9 - 2417827557204449909786972131489309406411876984642268397381432125/65\ 9342007526151318277240294878358549957499216494525263128*c_1001_0^8 + 7972436703751707994241536978649211317145586134031103676883128399/13\ 18684015052302636554480589756717099914998432989050526256*c_1001_0^7 - 1072951043739976061309980218302503907377258054685545702807693281/\ 1318684015052302636554480589756717099914998432989050526256*c_1001_0\ ^6 - 10042140278594869542598855068531907255919432692833506114254768\ 03/1318684015052302636554480589756717099914998432989050526256*c_100\ 1_0^5 + 12643377821009915074352682764688614292916997898201188709806\ 7947/659342007526151318277240294878358549957499216494525263128*c_10\ 01_0^4 + 2476867520265306851733460919529352029575761766823914213356\ 7507/164835501881537829569310073719589637489374804123631315782*c_10\ 01_0^3 - 8410602885652987182182523646934433916685011114760472810417\ 975/82417750940768914784655036859794818744687402061815657891*c_1001\ _0^2 + 410462498158420250446925139635412595830682712144671155060022\ 1/164835501881537829569310073719589637489374804123631315782*c_1001_\ 0 - 192136978461164507872428115071229583543230295358496278148530/82\ 417750940768914784655036859794818744687402061815657891, c_0101_4 + 366409934083034584094113320539217629249560605732422412201465\ 31/2637368030104605273108961179513434199829996865978101052512*c_100\ 1_0^19 - 1889494451684181471418549201824369939297358848139723763253\ 71613/1318684015052302636554480589756717099914998432989050526256*c_\ 1001_0^18 + 1174107261993681631790861143022009191679592116149155167\ 123121789/263736803010460527310896117951343419982999686597810105251\ 2*c_1001_0^17 - 115332928236840001508676266782041773571463478379714\ 749608209593/131868401505230263655448058975671709991499843298905052\ 6256*c_1001_0^16 - 278634743022776607917481711434443413143809300761\ 556008536003221/329671003763075659138620147439179274978749608247262\ 631564*c_1001_0^15 - 4977029569803708073388029788844115103438786189\ 574426734529591447/659342007526151318277240294878358549957499216494\ 525263128*c_1001_0^14 + 9998538584738431688446805649408711790592638\ 3932777270910366456859/26373680301046052731089611795134341998299968\ 65978101052512*c_1001_0^13 - 99863717776344519850440179582565221302\ 944467316048697585905397681/131868401505230263655448058975671709991\ 4998432989050526256*c_1001_0^12 + 111685956362842441433698896753403\ 488212830696195117868530433051947/131868401505230263655448058975671\ 7099914998432989050526256*c_1001_0^11 - 6381118484006794347043686286822607949524646871510435125939978631/11\ 4668175221939359700389616500584095644782472433830480544*c_1001_0^10 + 259411923086045837445692199297345367277552618095871194267127763/1\ 4333521902742419962548702062573011955597809054228810068*c_1001_0^9 + 1616339829066623585657509009500680552194052868297572135867906939/13\ 18684015052302636554480589756717099914998432989050526256*c_1001_0^8 - 8396071260920066814963113659188291862563764850200377957280732043/\ 2637368030104605273108961179513434199829996865978101052512*c_1001_0\ ^7 + 14628397080668085935402630207223929080692077562232092078279121\ 37/2637368030104605273108961179513434199829996865978101052512*c_100\ 1_0^6 + 10024435187422418514134610525859311510421986247621705396376\ 20527/2637368030104605273108961179513434199829996865978101052512*c_\ 1001_0^5 - 15907314188582990181034590450147929608786626388582367445\ 1008767/1318684015052302636554480589756717099914998432989050526256*\ c_1001_0^4 - 470102092674984042224955996247891538340359937247656301\ 13457897/659342007526151318277240294878358549957499216494525263128*\ c_1001_0^3 + 897201979313894634878004010570651886776229498401567366\ 4590219/164835501881537829569310073719589637489374804123631315782*c\ _1001_0^2 - 1153573650743733547129474173245768009432261029296359183\ 553944/82417750940768914784655036859794818744687402061815657891*c_1\ 001_0 + 11282203428820391397019237093202395373756994632927677907300\ 2/82417750940768914784655036859794818744687402061815657891, c_1001_0^20 - 16758/1567*c_1001_0^19 + 56397/1567*c_1001_0^18 - 29286/1567*c_1001_0^17 - 90756/1567*c_1001_0^16 - 814812/1567*c_1001_0^15 + 4598471/1567*c_1001_0^14 - 10187662/1567*c_1001_0^13 + 12879354/1567*c_1001_0^12 - 10039613/1567*c_1001_0^11 + 4546732/1567*c_1001_0^10 - 695614/1567*c_1001_0^9 - 404439/1567*c_1001_0^8 + 206281/1567*c_1001_0^7 + 16027/1567*c_1001_0^6 - 30454/1567*c_1001_0^5 - 2320/1567*c_1001_0^4 + 9248/1567*c_1001_0^3 - 4048/1567*c_1001_0^2 + 800/1567*c_1001_0 - 64/1567 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 32.490 Total time: 32.700 seconds, Total memory usage: 100.12MB