Magma V2.19-8 Tue Aug 20 2013 16:18:18 on localhost [Seed = 795783687] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2512 geometric_solution 5.83241604 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.447442184077 0.221937898920 2 0 3 0 0132 2310 0132 0132 0 0 0 0 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 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.758921562698 0.667732041988 1 4 5 3 0132 0132 0132 2310 0 0 0 0 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 0 0 0 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.236217677468 1.123951527987 2 5 4 1 3201 1023 3201 0132 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 0 0 1 0 -1 0 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.236217677468 1.123951527987 3 2 6 6 2310 0132 3201 0132 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 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.120949225283 1.480505487230 3 5 5 2 1023 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.282315642031 0.700970618220 4 6 4 6 2310 2310 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.556052110796 0.603330996095 ==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_6']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 35 Groebner basis: [ t - 1470295679129830764883251941783218816323258006445486533306516624470\ 389161455199715223057/912594077984484257484407009946446528438960952\ 2299990227069693901878066259716009213600*c_0101_4^34 - 4192279078815267960243070080903007158886314108138209198350849465195\ 70731171383380646743/5069967099913801430468927833035814046883116401\ 27777234837205216771003681095333845200*c_0101_4^33 + 2004038604753757715040976221301521697978528441032551727003748843626\ 8208665472531637136581/45629703899224212874220350497322326421948047\ 61149995113534846950939033129858004606800*c_0101_4^32 + 1072477775531348248978728805325302948148956477856342249010110260709\ 3864019147855640216451/50699670999138014304689278330358140468831164\ 0127777234837205216771003681095333845200*c_0101_4^31 - 2117044885870277224090900717629067115559622642932181924305738402724\ 35203611876119560387729/9125940779844842574844070099464465284389609\ 522299990227069693901878066259716009213600*c_0101_4^30 - 3617729310239179245237493288214819344941906498125884069459053497543\ 95609133287855191855143/4562970389922421287422035049732232642194804\ 761149995113534846950939033129858004606800*c_0101_4^29 - 3653175856682633638476357573029198404721902872758103252153389767435\ 6300168864976963987557/30419802599482808582813566998214884281298698\ 40766663409023231300626022086572003071200*c_0101_4^28 - 3580937139294668290019908540542481368494449190597842203195348295325\ 612020436685465525527467/912594077984484257484407009946446528438960\ 9522299990227069693901878066259716009213600*c_0101_4^27 + 2226731808156279254513792418339775471039227409748272729183184662318\ 162895822145897810675691/456297038992242128742203504973223264219480\ 4761149995113534846950939033129858004606800*c_0101_4^26 + 8509623112150908351893004717288471604522185455104887069820467827393\ 7801683323876315279643/12674917749784503576172319582589535117207791\ 0031944308709301304192750920273833461300*c_0101_4^25 - 2175110835036946955310015331541872427589969293322287300710911774421\ 02986591621611933031171/6083960519896561716562713399642976856259739\ 68153332681804646260125204417314400614240*c_0101_4^24 + 4695554723250687776105546744664201194117928373029581496299790345932\ 389788928859733925485443/228148519496121064371101752486611632109740\ 2380574997556767423475469516564929002303400*c_0101_4^23 - 2378906152839613110647476335368753079205675693001737869839932428094\ 6057735655768700061767583/91259407798448425748440700994644652843896\ 09522299990227069693901878066259716009213600*c_0101_4^22 - 1934847167166993291625455369696273358288240018997869374716825401372\ 588402233804203525426917/101399341998276028609378556660716280937662\ 3280255554469674410433542007362190667690400*c_0101_4^21 + 7014752478427831760665301696060422617773047212297845374790713124918\ 309953497858146396091979/182518815596896851496881401989289305687792\ 1904459998045413938780375613251943201842720*c_0101_4^20 - 1113338841532235214925080972754902406439928078582324976243929021574\ 2987378751060288903542101/45629703899224212874220350497322326421948\ 04761149995113534846950939033129858004606800*c_0101_4^19 + 6601271715784833267771054042727825177541957877605360823836191602885\ 418612784766609460257143/101399341998276028609378556660716280937662\ 3280255554469674410433542007362190667690400*c_0101_4^18 + 1344013968090377107379769162876034733843628920783054697021007285063\ 212683123653514132214389/285185649370151330463877190608264540137175\ 297571874694595927934433689570616125287925*c_0101_4^17 - 6599255627055990840470894017737446639072806656465323139533205184152\ 7822855116561215647344227/91259407798448425748440700994644652843896\ 09522299990227069693901878066259716009213600*c_0101_4^16 - 1169168726535879004768361795029228636027096384076177713592159876047\ 506185612310388463156083/912594077984484257484407009946446528438960\ 9522299990227069693901878066259716009213600*c_0101_4^15 - 1426115192613436440042771847049701689978608874616851135811345590295\ 4827373444059237305130499/22814851949612106437110175248661163210974\ 02380574997556767423475469516564929002303400*c_0101_4^14 - 2164050768294946304447696883390920412422815368004881776322974072810\ 915707631000993133199841/506996709991380143046892783303581404688311\ 640127777234837205216771003681095333845200*c_0101_4^13 + 5823003908502514232325964194968200672605448234044373030229635832671\ 7859920783254037490916277/91259407798448425748440700994644652843896\ 09522299990227069693901878066259716009213600*c_0101_4^12 + 3131947037377912695049419000947537020968861167770451825080421848602\ 165192667165877361670369/304198025994828085828135669982148842812986\ 9840766663409023231300626022086572003071200*c_0101_4^11 + 2092544214862285550064361457574835441029510047269855175415919455328\ 044392240845030530493949/456297038992242128742203504973223264219480\ 4761149995113534846950939033129858004606800*c_0101_4^10 + 2065572153359541852654228232627385940138850839699441593153622217429\ 083668319459089249890033/456297038992242128742203504973223264219480\ 4761149995113534846950939033129858004606800*c_0101_4^9 - 3845141580668850623324742951243644965858743692264317693140026366962\ 799393957310622155264197/304198025994828085828135669982148842812986\ 9840766663409023231300626022086572003071200*c_0101_4^8 + 1097159360389837764701427268874290263512241600992319017340147592928\ 690654186403754543523147/456297038992242128742203504973223264219480\ 4761149995113534846950939033129858004606800*c_0101_4^7 + 7994201335721911802372149284049535460649755218107860372030160429735\ 5540742057611592602793/20279868399655205721875711332143256187532465\ 6051110893934882086708401472438133538080*c_0101_4^6 - 1914542145100501090783455290469459393447802817942129707155923219308\ 805503900458483882118457/912594077984484257484407009946446528438960\ 9522299990227069693901878066259716009213600*c_0101_4^5 - 8348458362167268180097853881104231405852247365750984042037338420564\ 2064721865594005501799/76049506498707021457033917495537210703246746\ 0191665852255807825156505521643000767800*c_0101_4^4 + 1606032042474234492931222309568685221694193465862461727547689540514\ 9976298170010265806611/45629703899224212874220350497322326421948047\ 6114999511353484695093903312985800460680*c_0101_4^3 + 6878872249640554692715043147339842529900023661169889346035806406346\ 471220225817344760339/506996709991380143046892783303581404688311640\ 127777234837205216771003681095333845200*c_0101_4^2 - 8268090004751753168914875022690284300547283381040533655089334708077\ 568766945196019035603/304198025994828085828135669982148842812986984\ 0766663409023231300626022086572003071200*c_0101_4 - 7280298004656015501356960470629927068597711956635080200717678607973\ 0243563285315860061/36503763119379370299376280397857861137558438089\ 1999609082787756075122650388640368544, c_0011_0 - 1, c_0011_1 - 715061579464776976189354419702562117395539944004438794894026\ 235353721809185067/441346428719373356297621574148928317465342015345\ 18148843282282199869743729735264*c_0101_4^34 - 1513539644330494487052901869804114026355451662247037678310256000110\ 993286945571/220673214359686678148810787074464158732671007672590744\ 21641141099934871864867632*c_0101_4^33 + 1149096973345545661757487864612222617198838376771012039294827868866\ 4892913677201/22067321435968667814881078707446415873267100767259074\ 421641141099934871864867632*c_0101_4^32 + 3861354113290978911277559408780932469268254671025934541061309869144\ 8343197057643/22067321435968667814881078707446415873267100767259074\ 421641141099934871864867632*c_0101_4^31 - 1930115124351991837257048497296216195263285765007903115626846678957\ 20410633718631/4413464287193733562976215741489283174653420153451814\ 8843282282199869743729735264*c_0101_4^30 - 1405035096761715504550129620554319285205111429674026044168369431448\ 84522322151981/2206732143596866781488107870744641587326710076725907\ 4421641141099934871864867632*c_0101_4^29 + 3020276513931018386505562371577739957980732558643351055757862611195\ 66161708400355/4413464287193733562976215741489283174653420153451814\ 8843282282199869743729735264*c_0101_4^28 - 1623241886686359161647849382864362312471657147674549568910785212192\ 251106817361989/441346428719373356297621574148928317465342015345181\ 48843282282199869743729735264*c_0101_4^27 + 1856230350650996209523471766829675987136661173833493515080551776760\ 738929987034045/220673214359686678148810787074464158732671007672590\ 74421641141099934871864867632*c_0101_4^26 + 1888027681895752694386993607878795621160935198867927142529160613038\ 30269524078669/5516830358992166953720269676861603968316775191814768\ 605410285274983717966216908*c_0101_4^25 - 5121885645336493498675274969809124027061829883730576402492258257013\ 439691220881823/441346428719373356297621574148928317465342015345181\ 48843282282199869743729735264*c_0101_4^24 + 1283702523471107540271494817824047070281256752676500723161530534873\ 597696571369235/551683035899216695372026967686160396831677519181476\ 8605410285274983717966216908*c_0101_4^23 - 1932471080812180277407339343379645939313280548924038246761709585042\ 3577634390510697/44134642871937335629762157414892831746534201534518\ 148843282282199869743729735264*c_0101_4^22 - 7646499412324859196557914175717233942936732159891867178156039223190\ 89195886744735/4413464287193733562976215741489283174653420153451814\ 8843282282199869743729735264*c_0101_4^21 + 2940273793036814007502260473201701424153504362122452406367912569988\ 0982569132309217/44134642871937335629762157414892831746534201534518\ 148843282282199869743729735264*c_0101_4^20 - 1333841299666729688809510669730306356915105852004373678129274960106\ 4767223459015135/22067321435968667814881078707446415873267100767259\ 074421641141099934871864867632*c_0101_4^19 + 3505809975160058733335210845322017900646874022537795728513730035647\ 5407242406619981/44134642871937335629762157414892831746534201534518\ 148843282282199869743729735264*c_0101_4^18 - 6745804665395660006249895927321850480017215835736029359659435562559\ 6828953247381/11033660717984333907440539353723207936633550383629537\ 210820570549967435932433816*c_0101_4^17 - 6189164387938863732126041838700481195288904517268643637440238237065\ 0048573477201085/44134642871937335629762157414892831746534201534518\ 148843282282199869743729735264*c_0101_4^16 + 2931289854798568603533596691103137246724196083467915845543676489289\ 4536974738030775/44134642871937335629762157414892831746534201534518\ 148843282282199869743729735264*c_0101_4^15 - 1258956610934244750009830209625972525092946698746977355730930598840\ 785437910381559/275841517949608347686013483843080198415838759590738\ 4302705142637491858983108454*c_0101_4^14 + 1577178226635769038992156923312523811845877753183533682134524033642\ 430520682659755/220673214359686678148810787074464158732671007672590\ 74421641141099934871864867632*c_0101_4^13 + 5625729059130476534729542037200158647181964314754046250927930293390\ 9497629879269251/44134642871937335629762157414892831746534201534518\ 148843282282199869743729735264*c_0101_4^12 - 2177036894036845948050090391944801673194677061170437085865638255176\ 5204239571312559/44134642871937335629762157414892831746534201534518\ 148843282282199869743729735264*c_0101_4^11 - 4201630884742266581668292413797238761570579249307282736476535005335\ 934523035560247/220673214359686678148810787074464158732671007672590\ 74421641141099934871864867632*c_0101_4^10 + 5456879307917917686113998708140656120846504943711032393471214463345\ 30683487489869/2206732143596866781488107870744641587326710076725907\ 4421641141099934871864867632*c_0101_4^9 - 1052317497224974235499200348744005731088253779058855578370958858834\ 9314204189560801/44134642871937335629762157414892831746534201534518\ 148843282282199869743729735264*c_0101_4^8 + 3445073737670564308335159066976301132757670294957215562192114221625\ 169314024600333/220673214359686678148810787074464158732671007672590\ 74421641141099934871864867632*c_0101_4^7 + 1627172499658086479805520198619804358912457853045444868735237089812\ 109641520698647/441346428719373356297621574148928317465342015345181\ 48843282282199869743729735264*c_0101_4^6 - 2728793144835266997285168960872696166979598037101286960024848780718\ 291474750185239/441346428719373356297621574148928317465342015345181\ 48843282282199869743729735264*c_0101_4^5 + 7558692592085741106628320714735739349831283449832332638581982364257\ 4742526180703/11033660717984333907440539353723207936633550383629537\ 210820570549967435932433816*c_0101_4^4 + 1902771102834206162494997873689281357926068372378345357955769808942\ 58804103930387/1103366071798433390744053935372320793663355038362953\ 7210820570549967435932433816*c_0101_4^3 + 1466110283965721857408945110838755840935707598218013011227979963045\ 405913131573/220673214359686678148810787074464158732671007672590744\ 21641141099934871864867632*c_0101_4^2 - 7633984891780534441903086154354684509630798014365567787956247759357\ 9261233646131/44134642871937335629762157414892831746534201534518148\ 843282282199869743729735264*c_0101_4 + 2793093562207794427960015613461002928328653067464020740810955490327\ 7197076305405/44134642871937335629762157414892831746534201534518148\ 843282282199869743729735264, c_0011_3 + 392878136562794701512329304626638292606093099359434244117704\ 015108916946727664014473/304198025994828085828135669982148842812986\ 9840766663409023231300626022086572003071200*c_0101_4^34 + 3477703081655425559709892057505863656705764657153683312488443177836\ 10490879930120529/5069967099913801430468927833035814046883116401277\ 77234837205216771003681095333845200*c_0101_4^33 - 5176357421454217032800505703563775330551579250708902506266569492412\ 046038751770954201/152099012997414042914067834991074421406493492038\ 3331704511615650313011043286001535600*c_0101_4^32 - 1783245444951589627780271390462538282582203636080858381317838653248\ 436290918140525817/101399341998276028609378556660716280937662328025\ 555446967441043354200736219066769040*c_0101_4^31 + 4753312232296303615159058836839863632267601308190070857123714014464\ 8564032219964199569/30419802599482808582813566998214884281298698407\ 66663409023231300626022086572003071200*c_0101_4^30 + 2034623969646609360007294251560078023273464472577021847505862392090\ 6736440436456170819/30419802599482808582813566998214884281298698407\ 6666340902323130062602208657200307120*c_0101_4^29 + 2030142388207279438129009950283241593522629087338314928747407495533\ 2052098283262080781/10139934199827602860937855666071628093766232802\ 55554469674410433542007362190667690400*c_0101_4^28 + 9614074471189272674782416089401627455645044549500889411646045120970\ 38635911808765777227/3041980259948280858281356699821488428129869840\ 766663409023231300626022086572003071200*c_0101_4^27 - 1010403828164238556863666118619972595725659043915110668217813686837\ 55217057446158487367/3041980259948280858281356699821488428129869840\ 76666340902323130062602208657200307120*c_0101_4^26 - 7711388531935360615698318949533086211126556843692934880393000082495\ 8374995459120730443/12674917749784503576172319582589535117207791003\ 1944308709301304192750920273833461300*c_0101_4^25 + 2116977580385960996334102304616247025860023926237382302709887403735\ 84424661248890483207/1013993419982760286093785566607162809376623280\ 255554469674410433542007362190667690400*c_0101_4^24 - 1217851835758341859918167554792730530788437047583562133566094535829\ 922162441991462750737/760495064987070214570339174955372107032467460\ 191665852255807825156505521643000767800*c_0101_4^23 + 5369232136154496121149400925677696880419603061540300471058654357749\ 610695706550624803439/304198025994828085828135669982148842812986984\ 0766663409023231300626022086572003071200*c_0101_4^22 + 1938709371849367243102098627528884113152704003626207002911291602727\ 727919994362226535463/101399341998276028609378556660716280937662328\ 0255554469674410433542007362190667690400*c_0101_4^21 - 8826270760704515415634308970634275266355708336446386052605459607832\ 075261654710976274903/304198025994828085828135669982148842812986984\ 0766663409023231300626022086572003071200*c_0101_4^20 + 2182330419415741120529483170196905280062986746626634853516990470376\ 165104981661369022349/152099012997414042914067834991074421406493492\ 0383331704511615650313011043286001535600*c_0101_4^19 - 1927972280983032941744079463179190563443252589861818795977659714965\ 04294285073070081237/4055973679931041144375142266428651237506493121\ 0222178786976417341680294487626707616*c_0101_4^18 - 3654674093247224592277478751293108711009721054549721736577607386616\ 18878576413570388667/7604950649870702145703391749553721070324674601\ 9166585225580782515650552164300076780*c_0101_4^17 + 1585379400795481760771288040548656567855634872200576112225630326998\ 3880888993639699204371/30419802599482808582813566998214884281298698\ 40766663409023231300626022086572003071200*c_0101_4^16 + 5863229458964373975786590694936267995563868946694315750938835973046\ 66809056223662300751/6083960519896561716562713399642976856259739681\ 53332681804646260125204417314400614240*c_0101_4^15 + 3563680808707351060975743283157782748441340198258620924745118382744\ 621296971038574911129/760495064987070214570339174955372107032467460\ 191665852255807825156505521643000767800*c_0101_4^14 + 2221901297784461433539432039749209059860444411670436399852246496540\ 164159358685193610191/506996709991380143046892783303581404688311640\ 127777234837205216771003681095333845200*c_0101_4^13 - 1378239432965645868539359741393229165715778446871650007396266039065\ 2613943968393163353861/30419802599482808582813566998214884281298698\ 40766663409023231300626022086572003071200*c_0101_4^12 - 1546166945195301948732295921845625853307939294626675211173750506914\ 200606274667724013097/101399341998276028609378556660716280937662328\ 0255554469674410433542007362190667690400*c_0101_4^11 - 5046767582174950687371644515828518761725038210994041969657741625073\ 1795100576771041661/30419802599482808582813566998214884281298698407\ 6666340902323130062602208657200307120*c_0101_4^10 - 6841421460932122646069932103003638204488791338132440532011545165179\ 03055142168717171853/1520990129974140429140678349910744214064934920\ 383331704511615650313011043286001535600*c_0101_4^9 + 1881543900249147834783075620803299519002315258899583443637428327542\ 20353939033030529137/2027986839965520572187571133214325618753246560\ 51110893934882086708401472438133538080*c_0101_4^8 - 8208516956114797744517563841231989645409276086859658328937754511505\ 9012216748015645611/15209901299741404291406783499107442140649349203\ 83331704511615650313011043286001535600*c_0101_4^7 - 4117542984775305491514995427130194076372815038496180651551258264731\ 86850101344506438287/1013993419982760286093785566607162809376623280\ 255554469674410433542007362190667690400*c_0101_4^6 + 4036130887805586180492640372259861415224678508433688400025173267010\ 14566340543348164633/3041980259948280858281356699821488428129869840\ 766663409023231300626022086572003071200*c_0101_4^5 + 6030440185064088610370830227704944411742630827074600330623950863135\ 806332738928011827/506996709991380143046892783303581404688311640127\ 77723483720521677100368109533384520*c_0101_4^4 - 1714947029249779895647895661068122068645165823712325505059606055908\ 6380885849581299047/76049506498707021457033917495537210703246746019\ 1665852255807825156505521643000767800*c_0101_4^3 - 9515701082291045701667494747311628563826171319247360639022275722797\ 547546418642775793/506996709991380143046892783303581404688311640127\ 777234837205216771003681095333845200*c_0101_4^2 + 2302767412615982050109366476975539750766598090282858507408239447855\ 602019346465226411/101399341998276028609378556660716280937662328025\ 5554469674410433542007362190667690400*c_0101_4 + 2621636106406351611311604476221571999315295345636427986124106260184\ 249202914668830581/304198025994828085828135669982148842812986984076\ 6663409023231300626022086572003071200, c_0011_6 - 103029788652669849566374339704623428697932855846939918917026\ 32268879924008809953/1324039286158120068892864722446784952396026046\ 03554446529846846599609231189205792*c_0101_4^34 - 4724849959207310673192166233946893227945588472746960941759238544059\ 982472160985/110336607179843339074405393537232079366335503836295372\ 10820570549967435932433816*c_0101_4^33 + 6538423715070631296404314898259707081518143746920110415600356442276\ 1410897122719/33100982153953001722321618061169623809900651150888611\ 632461711649902307797301448*c_0101_4^32 + 6078365620867887683772794081289778201993629150045404891794054268277\ 3759539011949/55168303589921669537202696768616039683167751918147686\ 05410285274983717966216908*c_0101_4^31 - 9869111333194179568274024431802170417265050240410014329377932113148\ 34180258635399/1324039286158120068892864722446784952396026046035544\ 46529846846599609231189205792*c_0101_4^30 - 2835046668157872441959771734205573149753435163003800799834663127871\ 336014713230151/662019643079060034446432361223392476198013023017772\ 23264923423299804615594602896*c_0101_4^29 - 8916724164960715320064883580339113331088241913678844701549046782130\ 31689719387233/4413464287193733562976215741489283174653420153451814\ 8843282282199869743729735264*c_0101_4^28 - 2517722076381732305637877046865092505257104288076225885052964279876\ 7843599106633593/13240392861581200688928647224467849523960260460355\ 4446529846846599609231189205792*c_0101_4^27 + 1108197429631405241762922326766655457266157314775619972155512763353\ 6341090395749969/66201964307906003444643236122339247619801302301777\ 223264923423299804615594602896*c_0101_4^26 + 1151145674931046450851921103517506838108369049735634924584992618757\ 576545863656523/275841517949608347686013483843080198415838759590738\ 4302705142637491858983108454*c_0101_4^25 - 2159667149136841274061380798792844997049125716529319336870751056382\ 282897841863639/441346428719373356297621574148928317465342015345181\ 48843282282199869743729735264*c_0101_4^24 + 6028042192627675826452295077543782562914033460346905574400187092797\ 8786984108361455/66201964307906003444643236122339247619801302301777\ 223264923423299804615594602896*c_0101_4^23 - 1191685102478275116054557058247048182947163209711976248834812691931\ 23667955648551313/1324039286158120068892864722446784952396026046035\ 54446529846846599609231189205792*c_0101_4^22 - 6227467693557378012732343617015252845600224555140737637356932752504\ 5762333912471431/44134642871937335629762157414892831746534201534518\ 148843282282199869743729735264*c_0101_4^21 + 1981729184533794150805840415116613518034397092907847121566296791838\ 12149416757722217/1324039286158120068892864722446784952396026046035\ 54446529846846599609231189205792*c_0101_4^20 - 2690143238265912015981703451823038450769483579416245212873171210366\ 1710855797032193/66201964307906003444643236122339247619801302301777\ 223264923423299804615594602896*c_0101_4^19 + 1188598904401502796669144174428799782434200070422891607470319328956\ 87853093780519801/4413464287193733562976215741489283174653420153451\ 8148843282282199869743729735264*c_0101_4^18 + 2252959701394893963408548718153601145515260195680986767787015623609\ 56464878200582747/6620196430790600344464323612233924761980130230177\ 7223264923423299804615594602896*c_0101_4^17 - 3543810181200344862646284742910337959929314332661231187359925695742\ 78058610599997425/1324039286158120068892864722446784952396026046035\ 54446529846846599609231189205792*c_0101_4^16 - 2100009491596281172121534092735185946132117835618084748144326839690\ 78642634362802119/1324039286158120068892864722446784952396026046035\ 54446529846846599609231189205792*c_0101_4^15 - 2022745026358166479030658268616575427210913469164378016272867777158\ 47215235386487073/6620196430790600344464323612233924761980130230177\ 7223264923423299804615594602896*c_0101_4^14 - 3383945112903858945902533294262060626706783583293789441029291203072\ 6776104859221117/11033660717984333907440539353723207936633550383629\ 537210820570549967435932433816*c_0101_4^13 + 3168231908517537186287216580380594609183322959826412679756759552024\ 06529723453995435/1324039286158120068892864722446784952396026046035\ 54446529846846599609231189205792*c_0101_4^12 + 8251726253470134910039856979831457311234935882614031148214964847294\ 0383796134556665/44134642871937335629762157414892831746534201534518\ 148843282282199869743729735264*c_0101_4^11 + 1420975906166341365218496971868091357833714994808289263179093316260\ 5559902424104523/33100982153953001722321618061169623809900651150888\ 611632461711649902307797301448*c_0101_4^10 + 6466627117074474119452189528245342556704034999237411614132443953901\ 422243129433657/331009821539530017223216180611696238099006511508886\ 11632461711649902307797301448*c_0101_4^9 - 2422010554662330099948173912711588060875820483743293964611250499327\ 7959624072605343/44134642871937335629762157414892831746534201534518\ 148843282282199869743729735264*c_0101_4^8 - 9884653520203749156202849982320281761660216677790768363844995190691\ 513534332361771/662019643079060034446432361223392476198013023017772\ 23264923423299804615594602896*c_0101_4^7 + 1062784972938932530344078328312065637975390316129165676916063362851\ 9467600480196775/44134642871937335629762157414892831746534201534518\ 148843282282199869743729735264*c_0101_4^6 - 1857992365573602638798293625750719999116952844134164388095661130842\ 956081660089171/132403928615812006889286472244678495239602604603554\ 446529846846599609231189205792*c_0101_4^5 - 2721308994044352285815955427100335366622260227035373016190546044689\ 74878264016283/2758415179496083476860134838430801984158387595907384\ 302705142637491858983108454*c_0101_4^4 - 3602015371553122884062572950124157623692886905230391202056903906262\ 7262283251469/82752455384882504305804045152924059524751627877221529\ 08115427912475576949325362*c_0101_4^3 + 3719532039782636646860143103430141130022483606276403346316382791465\ 66522457374015/2206732143596866781488107870744641587326710076725907\ 4421641141099934871864867632*c_0101_4^2 + 5871818170600617727837596576616810357956710000890578507682564106543\ 5063081783933/44134642871937335629762157414892831746534201534518148\ 843282282199869743729735264*c_0101_4 - 1029299777325210481549761910210638884194030949722396539523325117759\ 04112167009059/1324039286158120068892864722446784952396026046035544\ 46529846846599609231189205792, c_0101_0 + 473268918504455109992977776117338465831219233545089676377027\ 61259658824152545264733/2534983549956900715234463916517907023441558\ 20063888617418602608385501840547666922600*c_0101_4^34 + 5006340464855884179370576164707407011765414433214039159972261690035\ 21041159210490133/5069967099913801430468927833035814046883116401277\ 77234837205216771003681095333845200*c_0101_4^33 - 2510577597967360032140669777879298397185661266029496645383639117217\ 297597182120816259/506996709991380143046892783303581404688311640127\ 777234837205216771003681095333845200*c_0101_4^32 - 2573073851854215826713399371191054365753297846442616766806892841354\ 572746150781894879/101399341998276028609378556660716280937662328025\ 555446967441043354200736219066769040*c_0101_4^31 + 1185463858978603699245953764088498076242378963702311614682813196578\ 1203364654971217823/50699670999138014304689278330358140468831164012\ 7777234837205216771003681095333845200*c_0101_4^30 + 2478033215486211036456462179142795072021836380010811347045073205200\ 910637895333414999/253498354995690071523446391651790702344155820063\ 88861741860260838550184054766692260*c_0101_4^29 + 3368320967502806240150749497336348149005898967170319693359552420749\ 943208583649533389/126749177497845035761723195825895351172077910031\ 944308709301304192750920273833461300*c_0101_4^28 + 2285467464814723938318967296084480987385045911683236810306169194227\ 77167530790822676559/5069967099913801430468927833035814046883116401\ 27777234837205216771003681095333845200*c_0101_4^27 - 2512398238879362486054702204846307932947774064043448681563765000252\ 6002474608257244899/50699670999138014304689278330358140468831164012\ 777723483720521677100368109533384520*c_0101_4^26 - 1138519557348633276956284986937299195021809732413578417654849694200\ 78673186076770947511/1267491774978450357617231958258953511720779100\ 31944308709301304192750920273833461300*c_0101_4^25 + 8362128225115983487995598587012090893196121243142995668069416607190\ 6677281026358122291/25349835499569007152344639165179070234415582006\ 3888617418602608385501840547666922600*c_0101_4^24 - 1150655105632366816797642556042135460803234018500128385856611660063\ 802784401579018156391/506996709991380143046892783303581404688311640\ 127777234837205216771003681095333845200*c_0101_4^23 + 1330553564743365945288180326181682684077988918424668774905684800100\ 752581379866770932613/506996709991380143046892783303581404688311640\ 127777234837205216771003681095333845200*c_0101_4^22 + 7231272473549295804626883234374915747217089524959734143014352003448\ 22296962405150998319/2534983549956900715234463916517907023441558200\ 63888617418602608385501840547666922600*c_0101_4^21 - 2186387208095224505192667580070599261027628107021420738678029104150\ 939241465612557588301/506996709991380143046892783303581404688311640\ 127777234837205216771003681095333845200*c_0101_4^20 + 1262553107913421702767303212229182953120919685067092654979195463647\ 31072344367725924877/6337458874892251788086159791294767558603895501\ 5972154354650652096375460136916730650*c_0101_4^19 - 8650335403463128423269795732364760484751198890086965157050470103974\ 920101331585863091/126749177497845035761723195825895351172077910031\ 9443087093013041927509202738334613*c_0101_4^18 - 6945208761857432782056950336715353314608159600776418483266294007479\ 48799337230219933617/1013993419982760286093785566607162809376623280\ 25555446967441043354200736219066769040*c_0101_4^17 + 4092982397748706962518670660483466506830706575347041707355037004448\ 125233392882151784007/506996709991380143046892783303581404688311640\ 127777234837205216771003681095333845200*c_0101_4^16 + 4614114101874237683159134133635061887485573237327135301657790042142\ 8018828468112005823/25349835499569007152344639165179070234415582006\ 388861741860260838550184054766692260*c_0101_4^15 + 3428057019319868317684338223169835769697983672019110784291823881287\ 368997604962445199197/506996709991380143046892783303581404688311640\ 127777234837205216771003681095333845200*c_0101_4^14 + 3096131449654787387302189658280799414112166636117653286498486536568\ 975548301922245328407/506996709991380143046892783303581404688311640\ 127777234837205216771003681095333845200*c_0101_4^13 - 3647389063619055937991192724237135039342071596273391326950623190704\ 109392332775227915887/506996709991380143046892783303581404688311640\ 127777234837205216771003681095333845200*c_0101_4^12 - 6829427755181880087960846074627121934630645432449338200050867640670\ 86741416941497366461/2534983549956900715234463916517907023441558200\ 63888617418602608385501840547666922600*c_0101_4^11 - 2820068162596995383727565923931226684290956700795304430495444480460\ 3225995098930989319/10139934199827602860937855666071628093766232802\ 5555446967441043354200736219066769040*c_0101_4^10 - 2839050323397582252238408747834817405979540459626398195417355222545\ 63313870810458258227/5069967099913801430468927833035814046883116401\ 27777234837205216771003681095333845200*c_0101_4^9 + 1513353030210031830636350214991968428339916295881906665504291473159\ 75624854488672498227/1013993419982760286093785566607162809376623280\ 25555446967441043354200736219066769040*c_0101_4^8 - 3075041429098659892610791201949560826181685683563199853548702510381\ 845798329711011937/253498354995690071523446391651790702344155820063\ 888617418602608385501840547666922600*c_0101_4^7 - 1509962481661402206163941219804688575745466821190026258005358391361\ 52378957445432058981/2534983549956900715234463916517907023441558200\ 63888617418602608385501840547666922600*c_0101_4^6 + 1000410062174654095992691448282128075702008428397882501016369755239\ 26489026952395934661/5069967099913801430468927833035814046883116401\ 27777234837205216771003681095333845200*c_0101_4^5 + 9300148047795831814209199795169823207481039992466989523063155680514\ 496314368263889109/506996709991380143046892783303581404688311640127\ 77723483720521677100368109533384520*c_0101_4^4 - 7320766570419011976945830971536703632290843655807387885818115127436\ 812334519661051123/253498354995690071523446391651790702344155820063\ 888617418602608385501840547666922600*c_0101_4^3 - 7502179188196551997825594730180687218296312873602070469803675213886\ 341061627509254593/253498354995690071523446391651790702344155820063\ 888617418602608385501840547666922600*c_0101_4^2 + 1541513496942889560274095198536461265977227283511988793207114965103\ 73079464053795593/2534983549956900715234463916517907023441558200638\ 88617418602608385501840547666922600*c_0101_4 + 6585939592315126493154262047265607996218817774169336256963913249178\ 49401546460683627/5069967099913801430468927833035814046883116401277\ 77234837205216771003681095333845200, c_0101_1 + 248241515672838131197716729919921961586564712000771844210371\ 6804781541686702927/44134642871937335629762157414892831746534201534\ 518148843282282199869743729735264*c_0101_4^34 + 2552838508803711816379894344760614750420862038759377326711324036425\ 004820836351/110336607179843339074405393537232079366335503836295372\ 10820570549967435932433816*c_0101_4^33 - 2012334093920785437882981064708966248631558315546857858795499415902\ 3236981118091/11033660717984333907440539353723207936633550383629537\ 210820570549967435932433816*c_0101_4^32 - 8010814872794614700344095777243378375804035072783165525105561869419\ 714834988832/137920758974804173843006741921540099207919379795369215\ 1352571318745929491554227*c_0101_4^31 + 6843779141360365135026633034565345395121954698695298084408103678279\ 80707226465601/4413464287193733562976215741489283174653420153451814\ 8843282282199869743729735264*c_0101_4^30 + 4210112184800504186159531325541632375540991128847333468894727371006\ 54014685948905/2206732143596866781488107870744641587326710076725907\ 4421641141099934871864867632*c_0101_4^29 - 1016323663274754405816032231885274862581307504045228517947887920125\ 014496551182563/441346428719373356297621574148928317465342015345181\ 48843282282199869743729735264*c_0101_4^28 + 5894340520862773913610806999596810933445338264976375502447974693426\ 238713144963839/441346428719373356297621574148928317465342015345181\ 48843282282199869743729735264*c_0101_4^27 - 6869633966379158060385656688351270236700850358301143078433095039077\ 886083423570255/220673214359686678148810787074464158732671007672590\ 74421641141099934871864867632*c_0101_4^26 - 7051779429137351874403358737716440696984479803663141370097901305195\ 0310086885947/13792075897480417384300674192154009920791937979536921\ 51352571318745929491554227*c_0101_4^25 + 1513945942353217638554283692233704891784895870898893102844719075142\ 2007419393084731/44134642871937335629762157414892831746534201534518\ 148843282282199869743729735264*c_0101_4^24 - 1855901344794810140399245763493787854447564789204897224681065364578\ 8279122026605157/22067321435968667814881078707446415873267100767259\ 074421641141099934871864867632*c_0101_4^23 + 7320145221370039770767646535008026631404160694658184101490251019714\ 4105760044158967/44134642871937335629762157414892831746534201534518\ 148843282282199869743729735264*c_0101_4^22 - 1429013678950287066596946396579112999407186361661939085330086733735\ 7048688444075285/44134642871937335629762157414892831746534201534518\ 148843282282199869743729735264*c_0101_4^21 - 8416280341677403240716890530673857948012680463856142100002281578296\ 9407107821848143/44134642871937335629762157414892831746534201534518\ 148843282282199869743729735264*c_0101_4^20 + 4757275794111244497105874536461535540008869781081054787306214076983\ 1145768539358975/22067321435968667814881078707446415873267100767259\ 074421641141099934871864867632*c_0101_4^19 - 1424385135627124993367291359142153622786576160014757768461870964798\ 02666614403379669/4413464287193733562976215741489283174653420153451\ 8148843282282199869743729735264*c_0101_4^18 + 1838413044104155137817908758084317221653216213125318914426583406296\ 8526688221703127/22067321435968667814881078707446415873267100767259\ 074421641141099934871864867632*c_0101_4^17 + 1742144211733750458304444651367561128534229986392319584160325169459\ 06544611330058071/4413464287193733562976215741489283174653420153451\ 8148843282282199869743729735264*c_0101_4^16 - 1066154766241144241180343706223790313156478987239591881036919409777\ 80123169996074311/4413464287193733562976215741489283174653420153451\ 8148843282282199869743729735264*c_0101_4^15 + 5036522697807353469676730710744616667271802977545010476559696491560\ 3821234220198515/22067321435968667814881078707446415873267100767259\ 074421641141099934871864867632*c_0101_4^14 - 1062466083989899735221852004863917248490034725599198437581970165794\ 6542574606006373/11033660717984333907440539353723207936633550383629\ 537210820570549967435932433816*c_0101_4^13 - 1565538996490437343061231676884468903393984585499196779499894968125\ 36347191911405517/4413464287193733562976215741489283174653420153451\ 8148843282282199869743729735264*c_0101_4^12 + 8000916383346674453198935909829784590034158800882481619748359929390\ 6318123961157355/44134642871937335629762157414892831746534201534518\ 148843282282199869743729735264*c_0101_4^11 + 9989631250853489429853729417449458954205673924847171626889745598931\ 16418842708969/1103366071798433390744053935372320793663355038362953\ 7210820570549967435932433816*c_0101_4^10 + 2152751801984209136421991159229832875729398755506226936270278084306\ 659433400800459/110336607179843339074405393537232079366335503836295\ 37210820570549967435932433816*c_0101_4^9 + 2535695003558412278883825921595476093580060942750210648817997547004\ 8438072644850187/44134642871937335629762157414892831746534201534518\ 148843282282199869743729735264*c_0101_4^8 - 1124331483227362510053157557918844004672389386616269299482085844250\ 0959608075603667/22067321435968667814881078707446415873267100767259\ 074421641141099934871864867632*c_0101_4^7 - 1708296825138872033280768251578369258214521204136291894623864898551\ 541795603832955/441346428719373356297621574148928317465342015345181\ 48843282282199869743729735264*c_0101_4^6 + 7790550490034917969473603701066390821142338643741264143981476482556\ 266309707083989/441346428719373356297621574148928317465342015345181\ 48843282282199869743729735264*c_0101_4^5 - 9082158474473792843602556549733946889204199938556353836764983175716\ 5640757994441/27584151794960834768601348384308019841583875959073843\ 02705142637491858983108454*c_0101_4^4 - 1252569283058294774052361953491887929791418244916960039672087594010\ 59718302145991/2758415179496083476860134838430801984158387595907384\ 302705142637491858983108454*c_0101_4^3 + 6199009231345637597684744745923279277449234514757011363168176467101\ 1301738588637/22067321435968667814881078707446415873267100767259074\ 421641141099934871864867632*c_0101_4^2 + 1892912419005816112865872090099235968609364813739248192954419659381\ 93577976857399/4413464287193733562976215741489283174653420153451814\ 8843282282199869743729735264*c_0101_4 - 7300850686525388238543387580028610086138390728346860395055449452628\ 894161137467/441346428719373356297621574148928317465342015345181488\ 43282282199869743729735264, c_0101_4^35 + 5*c_0101_4^34 - 28*c_0101_4^33 - 128*c_0101_4^32 + 163*c_0101_4^31 + 481*c_0101_4^30 + c_0101_4^29 + 2396*c_0101_4^28 - 3357*c_0101_4^27 - 3914*c_0101_4^26 + 2949*c_0101_4^25 - 12817*c_0101_4^24 + 17751*c_0101_4^23 + 10474*c_0101_4^22 - 26380*c_0101_4^21 + 17589*c_0101_4^20 - 41033*c_0101_4^19 - 24785*c_0101_4^18 + 51207*c_0101_4^17 - 3356*c_0101_4^16 + 36137*c_0101_4^15 + 21266*c_0101_4^14 - 45523*c_0101_4^13 - 2786*c_0101_4^12 + 241*c_0101_4^11 - 2012*c_0101_4^10 + 8461*c_0101_4^9 - 2369*c_0101_4^8 - 2695*c_0101_4^7 + 1702*c_0101_4^6 + 647*c_0101_4^5 - 376*c_0101_4^4 - 98*c_0101_4^3 + 39*c_0101_4^2 + 4*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB