Magma V2.19-8 Tue Aug 20 2013 16:17:40 on localhost [Seed = 3650635064] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1905 geometric_solution 5.51313742 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 0 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.599462254378 0.178359228069 0 2 2 0 3201 0132 1023 0132 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 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 1.350516879598 0.429460185549 3 1 1 4 0132 0132 1023 0132 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 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.345333098015 0.630555517652 2 5 4 6 0132 0132 1302 0132 0 0 0 0 0 0 -1 1 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 1 -1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.347676409642 0.572334134663 3 6 2 5 2031 1023 0132 2310 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 -1 0 1 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.347676409642 0.572334134663 4 3 5 5 3201 0132 2031 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 -1 0 0 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.270072358569 1.307231433544 4 6 3 6 1023 2310 0132 3201 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 1 -1 -1 0 0 1 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.848038900958 0.780443180871 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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_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_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_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0110_5']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : negation(d['c_0110_5']), 'c_1010_6' : d['c_0110_5'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_2, c_0101_5, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 9903241753081804748887601973525128372023727183843842511583643444019\ 794874384416969611185898153436/105964007905064617583683623034201226\ 5400620506469700251203089881673888771904182191659866331581275*c_011\ 0_5^31 + 2765077728846774822042875326154210472075626151978972813629\ 9579338298852551955188944759664988444496/21192801581012923516736724\ 6068402453080124101293940050240617976334777754380836438331973266316\ 255*c_0110_5^30 - 3013079412599483991208459151173731546567172717294\ 22481125533200426972871999002829779536864126511746/1059640079050646\ 1758368362303420122654006205064697002512030898816738887719041821916\ 59866331581275*c_0110_5^29 - 43071066057729710802528666373165971767\ 0739820055092958853817068684109980461439760190800478576208878/21192\ 8015810129235167367246068402453080124101293940050240617976334777754\ 380836438331973266316255*c_0110_5^28 + 1103431754205402945022970222957643393588011546173179792823863957097\ 6806870804890045233631994640199318/10596400790506461758368362303420\ 12265400620506469700251203089881673888771904182191659866331581275*c\ _0110_5^27 - 217572771171170325268338881873287736382816964713508896\ 97354542153558535094734335996823447119000998116/1059640079050646175\ 8368362303420122654006205064697002512030898816738887719041821916598\ 66331581275*c_0110_5^26 - 77529750958882879884547959762868762048443\ 46986272877107214135407011158619248081354320716835383309918/1059640\ 0790506461758368362303420122654006205064697002512030898816738887719\ 04182191659866331581275*c_0110_5^25 + 1034149205630255283822867655471035495490280772200602667524537167612\ 75639004694016583568888638301449822/1059640079050646175836836230342\ 012265400620506469700251203089881673888771904182191659866331581275*\ c_0110_5^24 - 93553547782749248894550961224914729891108261462241542\ 84824436457753467648956762919043073827643560727/4238560316202584703\ 3473449213680490616024820258788010048123595266955550876167287666394\ 653263251*c_0110_5^23 + 3287269086782278773781788714352780906501148\ 1894323629920844743777912072929157230901472339475102480507/96330916\ 2773314705306214754856374786727836824063363864730081710612626156276\ 52926514533302871025*c_0110_5^22 - 4309027929789475741773453490624633030672659601063886131408824069796\ 1809967202003097214041086762336721/10596400790506461758368362303420\ 12265400620506469700251203089881673888771904182191659866331581275*c\ _0110_5^21 - 850777085729790652093967894746974557713529083480981831\ 175777550944294737324946853902064805188565841618/105964007905064617\ 5836836230342012265400620506469700251203089881673888771904182191659\ 866331581275*c_0110_5^20 + 1302706666462560056716271608358076983011\ 14934795330063915864498580727675722533158607995732598512021191/9633\ 0916277331470530621475485637478672783682406336386473008171061262615\ 627652926514533302871025*c_0110_5^19 - 4068360527444302618348043460033034870724121486527892493565409789812\ 3299647091274694932328199952786889/34181938033891812123768910656193\ 944045181306660312911329131931666899637803360715859995688115525*c_0\ 110_5^18 + 80184363458444526492073559651240972640058761066151265119\ 3541566018770157073289559648371204432677791631/10596400790506461758\ 3683623034201226540062050646970025120308988167388877190418219165986\ 6331581275*c_0110_5^17 + 113991149905133643118677864638581598651966\ 527600320678322027779492788866429636762868069807700821857418/105964\ 0079050646175836836230342012265400620506469700251203089881673888771\ 904182191659866331581275*c_0110_5^16 - 9370014797591385052499439219277512876568992658247500066605430952500\ 1592310561772933902922032790114959/21192801581012923516736724606840\ 2453080124101293940050240617976334777754380836438331973266316255*c_\ 0110_5^15 - 7457707659813601823262705726074261562170637592599352928\ 44434813663102161696797789681880897528454706518/1059640079050646175\ 8368362303420122654006205064697002512030898816738887719041821916598\ 66331581275*c_0110_5^14 - 71325844727409677591940449700589390377117\ 461508621103538169524190871780673637546874747751879692992778/105964\ 0079050646175836836230342012265400620506469700251203089881673888771\ 904182191659866331581275*c_0110_5^13 + 9733327408953210872632547817691230411244420760849191352361253209158\ 15432847448263685051031329073970879/1059640079050646175836836230342\ 012265400620506469700251203089881673888771904182191659866331581275*\ c_0110_5^12 + 62282909229204123992429768917489115780009075527383741\ 8731547103229213524957236665422637246909451467021/10596400790506461\ 7583683623034201226540062050646970025120308988167388877190418219165\ 9866331581275*c_0110_5^11 - 283165940525704466608730487279982009263\ 39546175080522006837883259811364896620116530557203538453844192/2119\ 2801581012923516736724606840245308012410129394005024061797633477775\ 4380836438331973266316255*c_0110_5^10 - 5171593472653166842621220026757733193139985026301468458837727886775\ 31479818685173607896424021439537988/1059640079050646175836836230342\ 012265400620506469700251203089881673888771904182191659866331581275*\ c_0110_5^9 - 380189469657919612940438540108727322380262323074116570\ 92986754329429974227130615542784826730096830473/2119280158101292351\ 6736724606840245308012410129394005024061797633477775438083643833197\ 3266316255*c_0110_5^8 + 5627950257189777755493396937126994159590697\ 7543209805706596291681066286880177398409819962880020511543/10596400\ 7905064617583683623034201226540062050646970025120308988167388877190\ 4182191659866331581275*c_0110_5^7 + 9286719305789738428131288687419618847888625885179846626850978483500\ 5479319964423082701243885753468213/10596400790506461758368362303420\ 12265400620506469700251203089881673888771904182191659866331581275*c\ _0110_5^6 + 2227530407506334511914713327218226117650380003981743955\ 6801665607780353152871629893566199743512044109/10596400790506461758\ 3683623034201226540062050646970025120308988167388877190418219165986\ 6331581275*c_0110_5^5 - 1237510338566955264651690401378288764008825\ 3336986884056926860765068281885870780554693102429824944817/10596400\ 7905064617583683623034201226540062050646970025120308988167388877190\ 4182191659866331581275*c_0110_5^4 - 4213447270949100977126745014313018968941252321399823217410251262876\ 338461492362325648865482924391927/105964007905064617583683623034201\ 2265400620506469700251203089881673888771904182191659866331581275*c_\ 0110_5^3 + 29736498391809782392805827615745812017372159484757668722\ 389530135497296195634267299275867212253778/963309162773314705306214\ 7548563747867278368240633638647300817106126261562765292651453330287\ 1025*c_0110_5^2 + 3461089172085941809072284404511642488419080923844\ 1029195367730062892120539690179122523877846426638/21192801581012923\ 5167367246068402453080124101293940050240617976334777754380836438331\ 973266316255*c_0110_5 - 5337780252192219945356743501360074930801681\ 5227806570998977701861598977908978855429720038643463829/10596400790\ 5064617583683623034201226540062050646970025120308988167388877190418\ 2191659866331581275, c_0011_0 - 1, c_0011_1 - 975293166046548107240238671135059088076204895928572071475162\ 4121182975854416642112621226473/12429795648687931681370512965888706\ 9255204751492046950287752478788725955648584421309075229511*c_0110_5\ ^31 + 1397261405512184428377936350466519767850830943273407289728235\ 15367031240591975013922016720553/1242979564868793168137051296588870\ 69255204751492046950287752478788725955648584421309075229511*c_0110_\ 5^30 - 348241368432911402882627101878252087821647626874507858645401\ 475542722070359396374014604269490/124297956486879316813705129658887\ 069255204751492046950287752478788725955648584421309075229511*c_0110\ _5^29 - 19894712639270018618229301266503651370946042190049382137262\ 72703919847595130195441842933948526/1242979564868793168137051296588\ 87069255204751492046950287752478788725955648584421309075229511*c_01\ 10_5^28 + 115984408036859710347256884366408640460563409518291806493\ 05251213360194221030832260697931054067/1242979564868793168137051296\ 58887069255204751492046950287752478788725955648584421309075229511*c\ _0110_5^27 - 257791085675558069242675056319584938302246657534213873\ 62555689653447360444728135177898189298726/1242979564868793168137051\ 2965888706925520475149204695028775247878872595564858442130907522951\ 1*c_0110_5^26 + 197528867697676149918683210236043178355023555751758\ 0352795011970829621991612805207820260868543/12429795648687931681370\ 5129658887069255204751492046950287752478788725955648584421309075229\ 511*c_0110_5^25 + 1014423633273045778599786675336389580391359861278\ 53595818229432231544523091902548750732768346551/1242979564868793168\ 1370512965888706925520475149204695028775247878872595564858442130907\ 5229511*c_0110_5^24 - 269886408966014592938180414714481075279368846\ 091786128951884043242180984557059097430185888736550/124297956486879\ 3168137051296588870692552047514920469502877524787887259556485844213\ 09075229511*c_0110_5^23 + 45777885628254802077558062455396555444591\ 0948941883025066181061008275572355147182482136538860539/12429795648\ 6879316813705129658887069255204751492046950287752478788725955648584\ 421309075229511*c_0110_5^22 - 2082752626718820988950424084366209230\ 71353577504356670629104774638159016691398498133053473032759/1242979\ 5648687931681370512965888706925520475149204695028775247878872595564\ 8584421309075229511*c_0110_5^21 - 771733530099466623144070491556058\ 676226811200007154521903268869424047693075636749415138156467267/124\ 2979564868793168137051296588870692552047514920469502877524787887259\ 55648584421309075229511*c_0110_5^20 + 1728433103987302512063958122369040321667287608329257876935677101258\ 087545736635866201143036073980/124297956486879316813705129658887069\ 255204751492046950287752478788725955648584421309075229511*c_0110_5^\ 19 - 19095424915385184512543847520767350125368746552135851068377419\ 97676739363161673419309946121320245/1242979564868793168137051296588\ 87069255204751492046950287752478788725955648584421309075229511*c_01\ 10_5^18 + 145857916292936740732521731129770288205203085470529274959\ 8807128796725601158077042608686232647031/12429795648687931681370512\ 9658887069255204751492046950287752478788725955648584421309075229511\ *c_0110_5^17 - 3285990384095233212729389177588212779633382342235351\ 09994966275150449135750935316434342745187119/1242979564868793168137\ 0512965888706925520475149204695028775247878872595564858442130907522\ 9511*c_0110_5^16 - 441916905161282809940189236622877227893894066801\ 010341149567541740048367343660195986945911177066/124297956486879316\ 8137051296588870692552047514920469502877524787887259556485844213090\ 75229511*c_0110_5^15 - 47844948221753468296870427765504281778866944\ 7031472840396943900605743821891780492683530715049233/12429795648687\ 9316813705129658887069255204751492046950287752478788725955648584421\ 309075229511*c_0110_5^14 + 9139417333103240529753549844223779819158\ 2205376933998970076536291633557516509517768237014233839/12429795648\ 6879316813705129658887069255204751492046950287752478788725955648584\ 421309075229511*c_0110_5^13 + 8626051574900957893835337395716594322\ 54888836059393258799654478381017732103997147487001285826926/1242979\ 5648687931681370512965888706925520475149204695028775247878872595564\ 8584421309075229511*c_0110_5^12 + 219885779260544783825818841967030\ 361147926067193759074784721082722573455070636668461188578018305/124\ 2979564868793168137051296588870692552047514920469502877524787887259\ 55648584421309075229511*c_0110_5^11 - 2065714559427572365177368992744302702797228790365373882814592540725\ 72760714950908071324826989032/1242979564868793168137051296588870692\ 55204751492046950287752478788725955648584421309075229511*c_0110_5^1\ 0 - 331319304187677805075045678068161241898462969451254916224174949\ 537692263751318958096549570375026/124297956486879316813705129658887\ 069255204751492046950287752478788725955648584421309075229511*c_0110\ _5^9 - 670389569337078682547305395829095460658947296044951130176753\ 5095613481099860920302434561477749/12429795648687931681370512965888\ 7069255204751492046950287752478788725955648584421309075229511*c_011\ 0_5^8 + 46463976798872834132565890175271981057848210409185796094986\ 212333648952905831523069880668436405/124297956486879316813705129658\ 887069255204751492046950287752478788725955648584421309075229511*c_0\ 110_5^7 + 326510670453788679855079467734432782669394615571980196543\ 38135910580293860428176508999852364360/1242979564868793168137051296\ 58887069255204751492046950287752478788725955648584421309075229511*c\ _0110_5^6 - 7175310717933759789125289539907745704624353944997107025\ 193621366972148585398004662656181970389/124297956486879316813705129\ 658887069255204751492046950287752478788725955648584421309075229511*\ c_0110_5^5 - 999908744264554639363129995429084720621481988776477633\ 6692941879525316718322631697882519015199/12429795648687931681370512\ 9658887069255204751492046950287752478788725955648584421309075229511\ *c_0110_5^4 + 33796369397477340529325125023895890430756087899276502\ 97430141002770779073852803531196302343017/1242979564868793168137051\ 2965888706925520475149204695028775247878872595564858442130907522951\ 1*c_0110_5^3 - 9125509245237933421778367169003231846250407369134477\ 0979040313964889609668393191942629969990/12429795648687931681370512\ 9658887069255204751492046950287752478788725955648584421309075229511\ *c_0110_5^2 - 13906897165984306467366948743688684431311005580134885\ 2634124757400937556842763896789597139861/12429795648687931681370512\ 9658887069255204751492046950287752478788725955648584421309075229511\ *c_0110_5 + 9615088068470305575963729652411358885611112804876635869\ 2430028054745152717696853979361496834/12429795648687931681370512965\ 8887069255204751492046950287752478788725955648584421309075229511, c_0011_4 - 572766390216616310058624137074557612880044945966691951937150\ 1020451045409815869762263753926/12429795648687931681370512965888706\ 9255204751492046950287752478788725955648584421309075229511*c_0110_5\ ^31 + 8374886246963733406188442134915509641174683883597498450336571\ 9287980220651271129153333310720/12429795648687931681370512965888706\ 9255204751492046950287752478788725955648584421309075229511*c_0110_5\ ^30 - 2283533603997502893947897686441475013727254248451052757408950\ 92166928322596288931651189489169/1242979564868793168137051296588870\ 69255204751492046950287752478788725955648584421309075229511*c_0110_\ 5^29 - 111352426073912951982342644384243897406597766737697146483253\ 0081653363583286873524604672444372/12429795648687931681370512965888\ 7069255204751492046950287752478788725955648584421309075229511*c_011\ 0_5^28 + 7170012615260064316071541127081625417314725693882767857416\ 103170170165789325139056405592279724/124297956486879316813705129658\ 887069255204751492046950287752478788725955648584421309075229511*c_0\ 110_5^27 - 17070003064389705922631993015716877539596597539606549050\ 740808113630043137662026577497820686067/124297956486879316813705129\ 658887069255204751492046950287752478788725955648584421309075229511*\ c_0110_5^26 + 51702136688800426943508491842305085072145172410579513\ 94368150693066700534242252891995694156298/1242979564868793168137051\ 2965888706925520475149204695028775247878872595564858442130907522951\ 1*c_0110_5^25 + 602220265845489613057137055645098785805403126436488\ 35366838396330004527889016009945766556264752/1242979564868793168137\ 0512965888706925520475149204695028775247878872595564858442130907522\ 9511*c_0110_5^24 - 176058484386762903634342061558070147627771047247\ 049555723926737567647725328100852824525196073491/124297956486879316\ 8137051296588870692552047514920469502877524787887259556485844213090\ 75229511*c_0110_5^23 + 31150463638355834795200750239580876012164383\ 2186918915442779844354922859293663637564912018832683/12429795648687\ 9316813705129658887069255204751492046950287752478788725955648584421\ 309075229511*c_0110_5^22 - 1913080186908977322404313880302074474421\ 32661903067879951066743862364773132709776267688515595585/1242979564\ 8687931681370512965888706925520475149204695028775247878872595564858\ 4421309075229511*c_0110_5^21 - 434161453170235215673277489046351778\ 066645230340805280184812107745468218794068540553279037579054/124297\ 9564868793168137051296588870692552047514920469502877524787887259556\ 48584421309075229511*c_0110_5^20 + 1155370068940085291798594418350343719045217494203430801746889144026\ 102277812843130459374313775832/124297956486879316813705129658887069\ 255204751492046950287752478788725955648584421309075229511*c_0110_5^\ 19 - 13888804899245921890233801757926411518941083002004752605536685\ 95849019572277993785423849934557094/1242979564868793168137051296588\ 87069255204751492046950287752478788725955648584421309075229511*c_01\ 10_5^18 + 112216599262796983924545910665593832390861150367903299247\ 3476283458536821298449952653602757048491/12429795648687931681370512\ 9658887069255204751492046950287752478788725955648584421309075229511\ *c_0110_5^17 - 3794396830506398916674664532237879650047507404632857\ 69769825289571991345892679860572567072038486/1242979564868793168137\ 0512965888706925520475149204695028775247878872595564858442130907522\ 9511*c_0110_5^16 - 252049484511936845316398208316238175799975987934\ 849241267631379633335926894027323701844780373785/124297956486879316\ 8137051296588870692552047514920469502877524787887259556485844213090\ 75229511*c_0110_5^15 - 19352467397037751000107096652113085605845772\ 2378707606481460655327719491176644674302554108577194/12429795648687\ 9316813705129658887069255204751492046950287752478788725955648584421\ 309075229511*c_0110_5^14 + 1519229005018701168206802702871673732768\ 81073985893065551145892599343813233636132351152341096391/1242979564\ 8687931681370512965888706925520475149204695028775247878872595564858\ 4421309075229511*c_0110_5^13 + 516916567320144359021365300912077024\ 718231775579095697239917160444490419164158216453771272979378/124297\ 9564868793168137051296588870692552047514920469502877524787887259556\ 48584421309075229511*c_0110_5^12 - 2632259558175615973327391641941008563937976730183457026564131750264\ 5207230075137165506628651000/12429795648687931681370512965888706925\ 5204751492046950287752478788725955648584421309075229511*c_0110_5^11 - 20253724638112730984450836822414740896831640717196288063078036945\ 0913075672847807405620461253400/12429795648687931681370512965888706\ 9255204751492046950287752478788725955648584421309075229511*c_0110_5\ ^10 - 1743983914869340280885447637757446620256428604423267084298793\ 97533875883981403066077754908841474/1242979564868793168137051296588\ 87069255204751492046950287752478788725955648584421309075229511*c_01\ 10_5^9 + 6904686850133568717265895001020260427613948827438765862591\ 8985428055577898977403486827439854721/12429795648687931681370512965\ 8887069255204751492046950287752478788725955648584421309075229511*c_\ 0110_5^8 + 51584585769479379746715799770508778760287024233962597531\ 407598309692852073873990358080720311643/124297956486879316813705129\ 658887069255204751492046950287752478788725955648584421309075229511*\ c_0110_5^7 + 129979836602048975540259713872247207272179487721930720\ 94841668755613775115166953718060119977058/1242979564868793168137051\ 2965888706925520475149204695028775247878872595564858442130907522951\ 1*c_0110_5^6 - 1527181841110459644437090897634761456630273707005721\ 9984471296868554047452728120103457290481056/12429795648687931681370\ 5129658887069255204751492046950287752478788725955648584421309075229\ 511*c_0110_5^5 - 85091111921117823141632285164523475993685904110679\ 39407521165878105802212469553384495855392338/1242979564868793168137\ 0512965888706925520475149204695028775247878872595564858442130907522\ 9511*c_0110_5^4 + 3995806895282088818666111977297941187508544363199\ 430613157063641981915777093885371904549100675/124297956486879316813\ 7051296588870692552047514920469502877524787887259556485844213090752\ 29511*c_0110_5^3 + 439383949634943789370634567847129147921938463983\ 17117998064790707317223118757081033421893747/1242979564868793168137\ 0512965888706925520475149204695028775247878872595564858442130907522\ 9511*c_0110_5^2 - 2314762979159273487464508466330265066044027822640\ 34468013248318315127314310734517928632239464/1242979564868793168137\ 0512965888706925520475149204695028775247878872595564858442130907522\ 9511*c_0110_5 + 295754015655183815849581625120043667142109255449808\ 75670498385625307443058581292940818039701/1242979564868793168137051\ 2965888706925520475149204695028775247878872595564858442130907522951\ 1, c_0101_0 + 892332985404516759023462512376414383312515889731820174054336\ 7009675874808052300136250148850/12429795648687931681370512965888706\ 9255204751492046950287752478788725955648584421309075229511*c_0110_5\ ^31 - 1289499847228384209899172533319388836408029340389630627766766\ 44004134210736832023107172011879/1242979564868793168137051296588870\ 69255204751492046950287752478788725955648584421309075229511*c_0110_\ 5^30 + 332681596889214946134297027405527586182125073886526125408926\ 174435703944498483178936551167087/124297956486879316813705129658887\ 069255204751492046950287752478788725955648584421309075229511*c_0110\ _5^29 + 18070399892925159932391087341001489103719821962792463891573\ 64160387649273719996998480229829615/1242979564868793168137051296588\ 87069255204751492046950287752478788725955648584421309075229511*c_01\ 10_5^28 - 109060459522764528001806828593632485907937560079980433825\ 94572539430603695826278156246520541413/1242979564868793168137051296\ 58887069255204751492046950287752478788725955648584421309075229511*c\ _0110_5^27 + 245359322066552005714337452631309260499106506657165415\ 70230932898233672342296177570037447391341/1242979564868793168137051\ 2965888706925520475149204695028775247878872595564858442130907522951\ 1*c_0110_5^26 - 251649842816615399991529071442752396018736974255276\ 0484777056109806263005402714612885416107254/12429795648687931681370\ 5129658887069255204751492046950287752478788725955648584421309075229\ 511*c_0110_5^25 - 9760144383978049468190486292643506917392228906241\ 4502457740016245937602616114133900220923918223/12429795648687931681\ 3705129658887069255204751492046950287752478788725955648584421309075\ 229511*c_0110_5^24 + 2590967121606976604917225048154337310556308067\ 88441064909273931183053034540758334113369965583998/1242979564868793\ 1681370512965888706925520475149204695028775247878872595564858442130\ 9075229511*c_0110_5^23 - 430089499737846215251596969886880041956914\ 141017593906647282554996024939351705005383944796104983/124297956486\ 8793168137051296588870692552047514920469502877524787887259556485844\ 21309075229511*c_0110_5^22 + 19038207726183743139652501585382963729\ 3616799748677535880427313515555893792722072728794246558154/12429795\ 6486879316813705129658887069255204751492046950287752478788725955648\ 584421309075229511*c_0110_5^21 + 7710715680313282966987313680551161\ 92933366480918389236745458324229029623889129055339876493328015/1242\ 9795648687931681370512965888706925520475149204695028775247878872595\ 5648584421309075229511*c_0110_5^20 - 1712486458712889707610115850435607889990789408390001519791323269372\ 488465169627441329430750557784/124297956486879316813705129658887069\ 255204751492046950287752478788725955648584421309075229511*c_0110_5^\ 19 + 17962769413084975312847699830302183345136788739197865980135257\ 93670929055035419146307094475106778/1242979564868793168137051296588\ 87069255204751492046950287752478788725955648584421309075229511*c_01\ 10_5^18 - 121505825908233511262623708943549572810052827502841403744\ 9969483418458271181313083520598553348035/12429795648687931681370512\ 9658887069255204751492046950287752478788725955648584421309075229511\ *c_0110_5^17 + 9718929084972595203855987141311471447456147477741167\ 5928413700225907383563865387440901023779344/12429795648687931681370\ 5129658887069255204751492046950287752478788725955648584421309075229\ 511*c_0110_5^16 + 6495414195090175184526179251216758804648721366616\ 92319021295785058433430660175592335330521169571/1242979564868793168\ 1370512965888706925520475149204695028775247878872595564858442130907\ 5229511*c_0110_5^15 + 312890606504647947038795060092925995364790558\ 377679529907095434300211364974429701496930627291710/124297956486879\ 3168137051296588870692552047514920469502877524787887259556485844213\ 09075229511*c_0110_5^14 - 21689397768061004062333418434263310596305\ 4278658193662983079110827734543870813342576160266012527/12429795648\ 6879316813705129658887069255204751492046950287752478788725955648584\ 421309075229511*c_0110_5^13 - 8775081721008539828725044422660204299\ 64416449422291807579661119331824882165094564450845737481001/1242979\ 5648687931681370512965888706925520475149204695028775247878872595564\ 8584421309075229511*c_0110_5^12 - 604905790213720795306397398986857\ 69996172849810462381402492770912266070381397726040690737755247/1242\ 9795648687931681370512965888706925520475149204695028775247878872595\ 5648584421309075229511*c_0110_5^11 + 3974955077887843645569527189527825146137398712080035108791968303337\ 85509174116327065628478315174/1242979564868793168137051296588870692\ 55204751492046950287752478788725955648584421309075229511*c_0110_5^1\ 0 + 311200011674027171470534598581004713983765312591722969333730536\ 885627575802654367479954432368471/124297956486879316813705129658887\ 069255204751492046950287752478788725955648584421309075229511*c_0110\ _5^9 - 983956115531545854310626532660611033774721743977213209319508\ 58039683307433756519127071697210223/1242979564868793168137051296588\ 87069255204751492046950287752478788725955648584421309075229511*c_01\ 10_5^8 - 1250202800445727278772602529763700559548235541953589033022\ 45233390753108074762590527967404626876/1242979564868793168137051296\ 58887069255204751492046950287752478788725955648584421309075229511*c\ _0110_5^7 - 1988304629624223469376652427050688663146868793781359671\ 5041505181261253869316311732795468228618/12429795648687931681370512\ 9658887069255204751492046950287752478788725955648584421309075229511\ *c_0110_5^6 + 30295310067925969770008571318453140477617035533342654\ 786738540716154789984020845742015281116047/124297956486879316813705\ 1296588870692552047514920469502877524787887259556485844213090752295\ 11*c_0110_5^5 + 205446011039441339744702204353735549798218830623324\ 91027886798635805757697891850853517533521222/1242979564868793168137\ 0512965888706925520475149204695028775247878872595564858442130907522\ 9511*c_0110_5^4 - 6260388771504245307536354940879122875602471996064\ 195479400720567850936818084190304395382262070/124297956486879316813\ 7051296588870692552047514920469502877524787887259556485844213090752\ 29511*c_0110_5^3 - 231134033852930977652738636560094148751230177449\ 5421511613655735299265992162149194563276775496/12429795648687931681\ 3705129658887069255204751492046950287752478788725955648584421309075\ 229511*c_0110_5^2 + 48847256931710856227325956949675854569994801133\ 6332288262637813064503877748707155314514889898/12429795648687931681\ 3705129658887069255204751492046950287752478788725955648584421309075\ 229511*c_0110_5 - 4833474396955057725191030849862963699954263866973\ 7907880669352734215102231588477163506278271/12429795648687931681370\ 5129658887069255204751492046950287752478788725955648584421309075229\ 511, c_0101_2 - 282365432645344708838872078433208254464185384270833657775494\ 9937637144963051922284672224570/12429795648687931681370512965888706\ 9255204751492046950287752478788725955648584421309075229511*c_0110_5\ ^31 + 4065126095679497743594894615202874990904214664959864887396285\ 6849639914305123560262099405276/12429795648687931681370512965888706\ 9255204751492046950287752478788725955648584421309075229511*c_0110_5\ ^30 - 1036352190294135451917304186067462550131747624980034117691938\ 47126974992233901763060511773787/1242979564868793168137051296588870\ 69255204751492046950287752478788725955648584421309075229511*c_0110_\ 5^29 - 568637107787265067155814188216920235888101284820914487484264\ 310774054287762424306736576845867/124297956486879316813705129658887\ 069255204751492046950287752478788725955648584421309075229511*c_0110\ _5^28 + 33906605773292367397757134156064940782523635826430902716917\ 41461523421937921275853336001017645/1242979564868793168137051296588\ 87069255204751492046950287752478788725955648584421309075229511*c_01\ 10_5^27 - 767639357942201008464179077718138494141872839857458830043\ 6806510188978664237260757736316129445/12429795648687931681370512965\ 8887069255204751492046950287752478788725955648584421309075229511*c_\ 0110_5^26 + 1201373495152061782554440380599021352662978500871545210\ 992943402612567962355410319258366352456/124297956486879316813705129\ 658887069255204751492046950287752478788725955648584421309075229511*\ c_0110_5^25 + 28726144135223561987140630685815720815979874756749449\ 417938399130567644638256191386306005198449/124297956486879316813705\ 1296588870692552047514920469502877524787887259556485844213090752295\ 11*c_0110_5^24 - 78898047023122066905261901461909040461654995471134\ 465277237375379254322499760507900164749118409/124297956486879316813\ 7051296588870692552047514920469502877524787887259556485844213090752\ 29511*c_0110_5^23 + 13824534744498786818877486750621863879241862417\ 7591606244627034417923976136859094662818583005924/12429795648687931\ 6813705129658887069255204751492046950287752478788725955648584421309\ 075229511*c_0110_5^22 - 7497745682001177884540102039328299889226609\ 0652648540611855035960002737531291975468902708932522/12429795648687\ 9316813705129658887069255204751492046950287752478788725955648584421\ 309075229511*c_0110_5^21 - 2064156700975378648886388514200372089943\ 93885709038387208931159303907421442198872848214853140177/1242979564\ 8687931681370512965888706925520475149204695028775247878872595564858\ 4421309075229511*c_0110_5^20 + 494292229112815865252004882870687586\ 615302019475872465419731240296366081211891275596397239469018/124297\ 9564868793168137051296588870692552047514920469502877524787887259556\ 48584421309075229511*c_0110_5^19 - 5825049512622469615001584655123491391801351766745254502688578730125\ 94448971969240187625523109496/1242979564868793168137051296588870692\ 55204751492046950287752478788725955648584421309075229511*c_0110_5^1\ 8 + 504357944650921204675600637469230427042984380513759452530875780\ 797526777524419529698764840601369/124297956486879316813705129658887\ 069255204751492046950287752478788725955648584421309075229511*c_0110\ _5^17 - 20213267210188432835118090958286396725305663615247302435768\ 7916696640365105716332289424234765356/12429795648687931681370512965\ 8887069255204751492046950287752478788725955648584421309075229511*c_\ 0110_5^16 - 4431687826892359777446708235510944814249666831401873204\ 5106246733325170180938097938858409810846/12429795648687931681370512\ 9658887069255204751492046950287752478788725955648584421309075229511\ *c_0110_5^15 - 1911237200999346129374351385488322293238403147556954\ 67319307966173388008128575681812309569987250/1242979564868793168137\ 0512965888706925520475149204695028775247878872595564858442130907522\ 9511*c_0110_5^14 + 450816595275379961106917434304281039269393812675\ 52504523975418523003772697915809372842999261302/1242979564868793168\ 1370512965888706925520475149204695028775247878872595564858442130907\ 5229511*c_0110_5^13 + 263191622763613162909503706783613715835614489\ 295352602376180313880763562549890179035023330238510/124297956486879\ 3168137051296588870692552047514920469502877524787887259556485844213\ 09075229511*c_0110_5^12 + 93708107689282019485200379280052215487074\ 699595141093013057284613289941287007672027773147868989/124297956486\ 8793168137051296588870692552047514920469502877524787887259556485844\ 21309075229511*c_0110_5^11 - 48685925275199467296130011416628046313\ 503392461880003507252128060455666449733308187968901766004/124297956\ 4868793168137051296588870692552047514920469502877524787887259556485\ 84421309075229511*c_0110_5^10 - 14180126534408181979060580528304786\ 2943161046627969842123275375936211552007121306860077398594623/12429\ 7956486879316813705129658887069255204751492046950287752478788725955\ 648584421309075229511*c_0110_5^9 - 3696152594553473349867073078424388094406440062710330283988195088441\ 7474677272932827463533356713/12429795648687931681370512965888706925\ 5204751492046950287752478788725955648584421309075229511*c_0110_5^8 + 7847307938749624791960642409081661359737723632530664677810546719166\ 464385708330498911250420464/124297956486879316813705129658887069255\ 204751492046950287752478788725955648584421309075229511*c_0110_5^7 + 3100770064085745776488380558558744057883237267582124402197678189284\ 2019459433064877878489600015/12429795648687931681370512965888706925\ 5204751492046950287752478788725955648584421309075229511*c_0110_5^6 + 1036056987571825256800489275138098678319900858200215855563602755995\ 8334253440767339548692876740/12429795648687931681370512965888706925\ 5204751492046950287752478788725955648584421309075229511*c_0110_5^5 - 5726853050070050637644324314125244135428759383080613796774174086566\ 97259632063757400003104067/1242979564868793168137051296588870692552\ 04751492046950287752478788725955648584421309075229511*c_0110_5^4 - 1286696431115233983180118557749160910027725963423303511078960442301\ 466269445410679848890819445/124297956486879316813705129658887069255\ 204751492046950287752478788725955648584421309075229511*c_0110_5^3 - 9677794734956507985654878490604725157895899833926335967995834094331\ 91652834417927974670442684/1242979564868793168137051296588870692552\ 04751492046950287752478788725955648584421309075229511*c_0110_5^2 + 2009496098252667882117633950705246721176491007406537384260113581818\ 49819939637769264977685237/1242979564868793168137051296588870692552\ 04751492046950287752478788725955648584421309075229511*c_0110_5 + 1656665431539891643622874305867773033111877773417943703563559395524\ 3115869938159230806045113/12429795648687931681370512965888706925520\ 4751492046950287752478788725955648584421309075229511, c_0101_5 - 929090541479529894704787899169560772029774937836996623809852\ 0870081921608342791042610045096/12429795648687931681370512965888706\ 9255204751492046950287752478788725955648584421309075229511*c_0110_5\ ^31 + 1305621999984144115096095589549216781767448759510842087932323\ 50117699511418045594386539929609/1242979564868793168137051296588870\ 69255204751492046950287752478788725955648584421309075229511*c_0110_\ 5^30 - 295252707279067136844289010700889402160920680211719069924431\ 713686595722346013568433798098770/124297956486879316813705129658887\ 069255204751492046950287752478788725955648584421309075229511*c_0110\ _5^29 - 19864614209719469850881945907084161474529106465464922068916\ 24663924549710490587662812581242542/1242979564868793168137051296588\ 87069255204751492046950287752478788725955648584421309075229511*c_01\ 10_5^28 + 105295746638504752236903223270603620189512876287026660240\ 35952791087522404263043471047725221774/1242979564868793168137051296\ 58887069255204751492046950287752478788725955648584421309075229511*c\ _0110_5^27 - 215226839281763420096613575523014252654068547645634265\ 96415508643590512724686568315819619183423/1242979564868793168137051\ 2965888706925520475149204695028775247878872595564858442130907522951\ 1*c_0110_5^26 - 485542670440663727900158433687203053288132371705025\ 2551516267020527859374198674876105353806470/12429795648687931681370\ 5129658887069255204751492046950287752478788725955648584421309075229\ 511*c_0110_5^25 + 9713643886469838542049024776775505057768537415821\ 5234597532044508156638532000364507718238349826/12429795648687931681\ 3705129658887069255204751492046950287752478788725955648584421309075\ 229511*c_0110_5^24 - 2305140257996472674877194262593059711669697080\ 37291010520530277938451233911084002282406687751470/1242979564868793\ 1681370512965888706925520475149204695028775247878872595564858442130\ 9075229511*c_0110_5^23 + 365692261731700270552046124059801357388649\ 163003469757908736022898150592801220226043636382882334/124297956486\ 8793168137051296588870692552047514920469502877524787887259556485844\ 21309075229511*c_0110_5^22 - 79197652338527186349081753872329563441\ 325506418720943825526717057050549657172924018357800721795/124297956\ 4868793168137051296588870692552047514920469502877524787887259556485\ 84421309075229511*c_0110_5^21 - 78952156901040379336666521600878188\ 8785443924407187683273558032638129078257140718207218763555498/12429\ 7956486879316813705129658887069255204751492046950287752478788725955\ 648584421309075229511*c_0110_5^20 + 1444473928384405374295228290977834132696090762905323436534320383726\ 046454056523057364981059913897/124297956486879316813705129658887069\ 255204751492046950287752478788725955648584421309075229511*c_0110_5^\ 19 - 13697566718192264064987179806435059998315129867218486715202138\ 84137842750938064571673068432451317/1242979564868793168137051296588\ 87069255204751492046950287752478788725955648584421309075229511*c_01\ 10_5^18 + 896723676787332123290232523580491931820438900326794433549\ 141190544572812656892574263509213484956/124297956486879316813705129\ 658887069255204751492046950287752478788725955648584421309075229511*\ c_0110_5^17 + 66199327971643208070588286464042955018041824304892146\ 409847131341730563345431313671980162378125/124297956486879316813705\ 1296588870692552047514920469502877524787887259556485844213090752295\ 11*c_0110_5^16 - 51382286832804134661026814003180874875561681433951\ 5794302305856872130811117505214281933712002454/12429795648687931681\ 3705129658887069255204751492046950287752478788725955648584421309075\ 229511*c_0110_5^15 - 5615038642171062129235908161116280412248343818\ 76695924131583201772726530285810455258983963561442/1242979564868793\ 1681370512965888706925520475149204695028775247878872595564858442130\ 9075229511*c_0110_5^14 - 528303382288346790088249754427466486271236\ 03055011889630260861851904251967561614897904828936519/1242979564868\ 7931681370512965888706925520475149204695028775247878872595564858442\ 1309075229511*c_0110_5^13 + 857018411515232779929068768386215914364\ 358406867623927891721548493038679602076737986390970607110/124297956\ 4868793168137051296588870692552047514920469502877524787887259556485\ 84421309075229511*c_0110_5^12 + 44378862756753733414153825540444962\ 7411843850783284951452984793589611943701547571621205684800943/12429\ 7956486879316813705129658887069255204751492046950287752478788725955\ 648584421309075229511*c_0110_5^11 - 1297766124771239735148037955766676806970352088220139505536155017783\ 40732229389487578538404153871/1242979564868793168137051296588870692\ 55204751492046950287752478788725955648584421309075229511*c_0110_5^1\ 0 - 379971186322283918042285314298530085189992777821869364311397488\ 339314047838593250983209662632090/124297956486879316813705129658887\ 069255204751492046950287752478788725955648584421309075229511*c_0110\ _5^9 - 108345505367127019543895150681517135937253173099295360564076\ 077593612601821841805573519309837604/124297956486879316813705129658\ 887069255204751492046950287752478788725955648584421309075229511*c_0\ 110_5^8 + 376816091300271951874262662943491562632719682665197661024\ 45179061647735287565147660306645413735/1242979564868793168137051296\ 58887069255204751492046950287752478788725955648584421309075229511*c\ _0110_5^7 + 4719770230676539206560457605604231076611487304602288053\ 0121083126103828571855640912499413070961/12429795648687931681370512\ 9658887069255204751492046950287752478788725955648584421309075229511\ *c_0110_5^6 + 76667651030087147042138342262455146100158912210868739\ 92144294123203937911551727330681412697688/1242979564868793168137051\ 2965888706925520475149204695028775247878872595564858442130907522951\ 1*c_0110_5^5 - 9872140992103015351979058644405994795432926698126550\ 794341042812739715611064051985545123722623/124297956486879316813705\ 1296588870692552047514920469502877524787887259556485844213090752295\ 11*c_0110_5^4 + 471241699774856464887577872924749752696716857643216\ 862642420482781662693334752937199946328025/124297956486879316813705\ 1296588870692552047514920469502877524787887259556485844213090752295\ 11*c_0110_5^3 + 283134464361398778474435984678833029234564651691427\ 830241677824178615999189057865027324240206/124297956486879316813705\ 1296588870692552047514920469502877524787887259556485844213090752295\ 11*c_0110_5^2 - 199575592137233895408563426098252407184788834432288\ 638102552398025112044455942041215014693289/124297956486879316813705\ 1296588870692552047514920469502877524787887259556485844213090752295\ 11*c_0110_5 + 60671467553043182258722742069345151052454105803852527\ 504695325180563107878019215886326881151/124297956486879316813705129\ 658887069255204751492046950287752478788725955648584421309075229511, c_0110_5^32 - 14*c_0110_5^31 + 31*c_0110_5^30 + 216*c_0110_5^29 - 1123*c_0110_5^28 + 2248*c_0110_5^27 + 684*c_0110_5^26 - 10494*c_0110_5^25 + 24193*c_0110_5^24 - 37657*c_0110_5^23 + 5699*c_0110_5^22 + 86439*c_0110_5^21 - 150508*c_0110_5^20 + 135713*c_0110_5^19 - 84342*c_0110_5^18 - 14774*c_0110_5^17 + 55462*c_0110_5^16 + 65933*c_0110_5^15 + 6381*c_0110_5^14 - 94896*c_0110_5^13 - 54285*c_0110_5^12 + 15234*c_0110_5^11 + 45018*c_0110_5^10 + 14068*c_0110_5^9 - 5273*c_0110_5^8 - 6391*c_0110_5^7 - 1047*c_0110_5^6 + 1243*c_0110_5^5 + 59*c_0110_5^4 - 91*c_0110_5^3 + 12*c_0110_5^2 - c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB