Magma V2.19-8 Tue Aug 20 2013 16:18:04 on localhost [Seed = 2682127191] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2291 geometric_solution 5.69940458 oriented_manifold CS_known -0.0000000000000001 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 2 -2 0 0 0 0 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.513977229725 0.233581691844 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 -2 0 0 0 0 2 -2 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.158304201967 0.351880394869 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 -1 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 -1 0 1 0 0 -1 1 -1 1 0 0 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.657607108557 0.462049919694 2 5 4 6 0132 0132 3201 0132 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 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.258961445213 0.914730635127 3 6 2 5 2310 0132 0132 1023 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 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.258961445213 0.914730635127 5 3 5 4 2310 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.568100268906 0.663530512281 6 4 3 6 3012 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.175304612998 0.893128834202 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : 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_0011_1'], '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' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], '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' : negation(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_0101_5']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), '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' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0011_4']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0101_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_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t + 2550167748990166521946922152763037998508832641355773595729385198987\ 411/307641679631453986707816189415387265105512377275188545477138158\ 5*c_0101_5^35 - 364079088498370847204216987219897192860752034629029\ 2411267130832143811/30764167963145398670781618941538726510551237727\ 51885454771381585*c_0101_5^34 - 60737045906677921420121814014497336\ 285747825670801047720054021400847739/307641679631453986707816189415\ 3872651055123772751885454771381585*c_0101_5^33 + 8128658765479044570293611557335962013739197846316782047811960445209\ 02/34566480857466740079529908923077220798372177221931297244622265*c\ _0101_5^32 + 577515806199315311326560864381823599812288879420402401\ 55647993452774300/6152833592629079734156323788307745302110247545503\ 77090954276317*c_0101_5^31 - 12577270516926950883925347963025834399\ 43467707465218904793967483085523543/3076416796314539867078161894153\ 872651055123772751885454771381585*c_0101_5^30 + 1973211639259676921519476395668752132001083288172610744446591944359\ 517183/307641679631453986707816189415387265105512377275188545477138\ 1585*c_0101_5^29 + 132143611580369163705690884128466828953544981692\ 683491766682141112073068/345664808574667400795299089230772207983721\ 77221931297244622265*c_0101_5^28 - 2606646127996115374096576962399729315454125573151229815267406691285\ 3617099/30764167963145398670781618941538726510551237727518854547713\ 81585*c_0101_5^27 - 46588856624781358580419674308423632559988798147\ 746196320108020094247892239/307641679631453986707816189415387265105\ 5123772751885454771381585*c_0101_5^26 + 1380023905087247139018023453221140242057857444925956977928773304825\ 67533348/3076416796314539867078161894153872651055123772751885454771\ 381585*c_0101_5^25 + 1473127708098388236988085401662019822723188265\ 0068675957403327989496909616/61528335926290797341563237883077453021\ 1024754550377090954276317*c_0101_5^24 - 8398861413288481420163540833869142296064316356089097471646930249128\ 5704796/61528335926290797341563237883077453021102475455037709095427\ 6317*c_0101_5^23 + 449642738479373502447531384265727289002341535628\ 98888599801920297637876013/3076416796314539867078161894153872651055\ 123772751885454771381585*c_0101_5^22 + 8004335254111670564548905238621276160599498573375705196058563205956\ 74055871/3076416796314539867078161894153872651055123772751885454771\ 381585*c_0101_5^21 - 3828308155243368542402558906726891767642416921\ 96271202272158528108487745606/3076416796314539867078161894153872651\ 055123772751885454771381585*c_0101_5^20 - 1048891540877230415765265488487508367063445617713787952345088728722\ 421255718/307641679631453986707816189415387265105512377275188545477\ 1381585*c_0101_5^19 + 745085082973621468768389016351947859363539990\ 869724707097046184342719998402/307641679631453986707816189415387265\ 1055123772751885454771381585*c_0101_5^18 + 1058971624552397336863632851475507725138717803967303224996462849254\ 110982637/307641679631453986707816189415387265105512377275188545477\ 1381585*c_0101_5^17 - 917995457506824452584537534528877081502742213\ 023948896986214729592024977628/307641679631453986707816189415387265\ 1055123772751885454771381585*c_0101_5^16 - 8578326086846832631204733710304849174347258820949778909928465427304\ 84221888/3076416796314539867078161894153872651055123772751885454771\ 381585*c_0101_5^15 + 8603744888236306711965566392864250797378775120\ 51698214471815720931220578303/3076416796314539867078161894153872651\ 055123772751885454771381585*c_0101_5^14 + 5102664935620155566461133678298157579848383171166171918847839383616\ 59590876/3076416796314539867078161894153872651055123772751885454771\ 381585*c_0101_5^13 - 6045228369416133313460089828286173746132197933\ 79511666871969812324870706508/3076416796314539867078161894153872651\ 055123772751885454771381585*c_0101_5^12 - 1988926275610985701520488834971386088604531804781680837906919385456\ 57066878/3076416796314539867078161894153872651055123772751885454771\ 381585*c_0101_5^11 + 3025671184324131106553908911721812985501349665\ 88843016723532653356454944542/3076416796314539867078161894153872651\ 055123772751885454771381585*c_0101_5^10 + 4186958588346170136070452930105110668842407497037850453360912098666\ 3226741/30764167963145398670781618941538726510551237727518854547713\ 81585*c_0101_5^9 - 104353895948888915031043669798176581410666103997\ 158230149743307711350823817/307641679631453986707816189415387265105\ 5123772751885454771381585*c_0101_5^8 + 1367924196488798091693289372571572643858552058852977165084043569677\ 811454/307641679631453986707816189415387265105512377275188545477138\ 1585*c_0101_5^7 + 2191808781314272748336527274264774616484526591242\ 8903853892464679106834398/30764167963145398670781618941538726510551\ 23772751885454771381585*c_0101_5^6 - 2256537776616969144211650559265286690455387943310837883065167119954\ 294112/307641679631453986707816189415387265105512377275188545477138\ 1585*c_0101_5^5 - 2595849983462093601427152072707160703057935585231\ 722534719850984872093324/307641679631453986707816189415387265105512\ 3772751885454771381585*c_0101_5^4 + 3467976309608733612246640958934947546365635446395603716486955112035\ 70694/3076416796314539867078161894153872651055123772751885454771381\ 585*c_0101_5^3 + 32511527840648466500408742909801410277237902787687\ 575512102466248073398/615283359262907973415632378830774530211024754\ 550377090954276317*c_0101_5^2 - 16728913146229417039214433469373000\ 654551070348697892169771078875784663/307641679631453986707816189415\ 3872651055123772751885454771381585*c_0101_5 - 4461469891450137293631966223521343519300864918609404004108902862968\ 636/307641679631453986707816189415387265105512377275188545477138158\ 5, c_0011_0 - 1, c_0011_1 + 864152004554223636016687957638313279946060628252991725808755\ 1/1487050155193234677544844436355225674268538490941333501597*c_0101\ _5^35 - 12339259596831180270676817865982691318501816659888353186211\ 275/1487050155193234677544844436355225674268538490941333501597*c_01\ 01_5^34 - 205799046533100980238019125176009900718431193036864871642\ 439468/1487050155193234677544844436355225674268538490941333501597*c\ _0101_5^33 + 245192399710469588400381489958277271461553791578680424\ 574167890/148705015519323467754484443635522567426853849094133350159\ 7*c_0101_5^32 + 978134624742977629849406585181442220236209467561919\ 494655273490/148705015519323467754484443635522567426853849094133350\ 1597*c_0101_5^31 - 426212307018025677032198426047942491492736648659\ 0191120450019532/14870501551932346775448444363552256742685384909413\ 33501597*c_0101_5^30 + 66889051840921147053224842769605584341085746\ 48388415805134243261/1487050155193234677544844436355225674268538490\ 941333501597*c_0101_5^29 + 3984658883817881032385266337057805764848\ 6517370803634678262254259/14870501551932346775448444363552256742685\ 38490941333501597*c_0101_5^28 - 88333698147060633753161532956119077\ 974255579342027604613317815432/148705015519323467754484443635522567\ 4268538490941333501597*c_0101_5^27 - 157789678823760397212050905204644358541044939194481903222681382368/\ 1487050155193234677544844436355225674268538490941333501597*c_0101_5\ ^26 + 4676094743208653896577062887757222116357782648495229902581438\ 53864/1487050155193234677544844436355225674268538490941333501597*c_\ 0101_5^25 + 2491909057817743489010310590330589975440239014768772619\ 49738058926/1487050155193234677544844436355225674268538490941333501\ 597*c_0101_5^24 - 1422712498824751205746709893156748601473969471912\ 373766839825189753/148705015519323467754484443635522567426853849094\ 1333501597*c_0101_5^23 + 153455176726388797405991843299035515668308\ 235462135632699642477995/148705015519323467754484443635522567426853\ 8490941333501597*c_0101_5^22 + 271105686815946588930340992740347786\ 9241096824329503485370843337244/14870501551932346775448444363552256\ 74268538490941333501597*c_0101_5^21 - 1299061981113227323957177344509298741637900767966903650121312223160\ /1487050155193234677544844436355225674268538490941333501597*c_0101_\ 5^20 - 355125199104006385757302754576796418025091388951002544693608\ 3307462/1487050155193234677544844436355225674268538490941333501597*\ c_0101_5^19 + 25267853366779510476266074105078789388821761734021433\ 91369700598942/1487050155193234677544844436355225674268538490941333\ 501597*c_0101_5^18 + 3583791489624826946608477073088972632377467020\ 520475671555829350150/148705015519323467754484443635522567426853849\ 0941333501597*c_0101_5^17 - 311247456641805561774938984654920405446\ 1262465016101320423758934655/14870501551932346775448444363552256742\ 68538490941333501597*c_0101_5^16 - 2901601936132211690045974650882270501620686939054383089630144675429\ /1487050155193234677544844436355225674268538490941333501597*c_0101_\ 5^15 + 291681815522046460138929299715810194210884069254080970986058\ 4573718/1487050155193234677544844436355225674268538490941333501597*\ c_0101_5^14 + 17244903677145983479325984581668103576000106909948097\ 56019402586271/1487050155193234677544844436355225674268538490941333\ 501597*c_0101_5^13 - 2049252533194263219090535207732318443688743840\ 952840271068570604418/148705015519323467754484443635522567426853849\ 0941333501597*c_0101_5^12 - 670947873935939221031809363402644857658\ 830253530041821006186576162/148705015519323467754484443635522567426\ 8538490941333501597*c_0101_5^11 + 102554686673238023766825975611988\ 9561431437609447939147707448785133/14870501551932346775448444363552\ 25674268538490941333501597*c_0101_5^10 + 140465543507173436373845480699309386091674410836257285741927646390/\ 1487050155193234677544844436355225674268538490941333501597*c_0101_5\ ^9 - 35365842952943884999307730554472882349650150639263640617212849\ 8180/1487050155193234677544844436355225674268538490941333501597*c_0\ 101_5^8 + 508511163823508151683936147701507453278965376537215527074\ 3136531/1487050155193234677544844436355225674268538490941333501597*\ c_0101_5^7 + 742640113180051379059935520995132776214600944264567462\ 89946676887/1487050155193234677544844436355225674268538490941333501\ 597*c_0101_5^6 - 77314483402441786645421695002621370244631040489479\ 28250683135748/1487050155193234677544844436355225674268538490941333\ 501597*c_0101_5^5 - 87942598293934992329729377536767643436451419456\ 96586200325774324/1487050155193234677544844436355225674268538490941\ 333501597*c_0101_5^4 + 11837337142467993001936662485450671416484833\ 20503942037124173031/1487050155193234677544844436355225674268538490\ 941333501597*c_0101_5^3 + 55101197577633236560574249856694029763669\ 9321760857474067668273/14870501551932346775448444363552256742685384\ 90941333501597*c_0101_5^2 - 570601316449932268174127207598773005543\ 60394733038892807035511/1487050155193234677544844436355225674268538\ 490941333501597*c_0101_5 - 1515609735208776785101024910216746135203\ 7395479126405555359144/14870501551932346775448444363552256742685384\ 90941333501597, c_0011_4 + 836458559359396874061496314534491755788495837847232657710405\ 5149645/61528335926290797341563237883077453021102475455037709095427\ 6317*c_0101_5^35 - 119129536961296982007336595673653664548515713641\ 54644969425714518777/6152833592629079734156323788307745302110247545\ 50377090954276317*c_0101_5^34 - 19924445322606014221814729444645733\ 3370822276271015286600998960815702/61528335926290797341563237883077\ 4530211024754550377090954276317*c_0101_5^33 + 2658314000214039112749368113141674566966433667026052127736814935861\ /6913296171493348015905981784615444159674435444386259448924453*c_01\ 01_5^32 + 947582060692844264854188792913138449014135977539242539339\ 324552154105/615283359262907973415632378830774530211024754550377090\ 954276317*c_0101_5^31 - 4121827623270681180285374572751406020315935\ 446147004333349569371028398/615283359262907973415632378830774530211\ 024754550377090954276317*c_0101_5^30 + 6459748015258027708433187717941428337137106250523154735921427590578\ 940/615283359262907973415632378830774530211024754550377090954276317\ *c_0101_5^29 + 4336095205890517225137894264650547630625434360291850\ 54818568512475865/6913296171493348015905981784615444159674435444386\ 259448924453*c_0101_5^28 - 8535640465473786034858000252447241252715\ 5308777199179524962845080944008/61528335926290797341563237883077453\ 0211024754550377090954276317*c_0101_5^27 - 1530336279353547100452200725240444412549096697310459352995188047432\ 54678/6152833592629079734156323788307745302110247545503770909542763\ 17*c_0101_5^26 + 45200059450707701573400689783469956251313493503103\ 4339985501379161014910/61528335926290797341563237883077453021102475\ 4550377090954276317*c_0101_5^25 + 242825457693787465422987946729585\ 851050063369760080945258829497891958188/615283359262907973415632378\ 830774530211024754550377090954276317*c_0101_5^24 - 1375916286405495597986640770297227792181850243320019570158272107073\ 734030/615283359262907973415632378830774530211024754550377090954276\ 317*c_0101_5^23 + 1434683950274734956508434244274039342651668673094\ 95814170387733615316698/6152833592629079734156323788307745302110247\ 54550377090954276317*c_0101_5^22 + 2623789142847452032595846289726059652542874501961085192450944328487\ 156858/615283359262907973415632378830774530211024754550377090954276\ 317*c_0101_5^21 - 1247341367704800805215770856833593861966465047151\ 753774796501854180742328/615283359262907973415632378830774530211024\ 754550377090954276317*c_0101_5^20 - 3440297923964615991538630943074207553502274019870288437204913268275\ 298897/615283359262907973415632378830774530211024754550377090954276\ 317*c_0101_5^19 + 2431766606402548711555741713521102223430167798744\ 165024032088150543420521/615283359262907973415632378830774530211024\ 754550377090954276317*c_0101_5^18 + 3475554897636290005937956314824813580099353361044941928649125470473\ 735397/615283359262907973415632378830774530211024754550377090954276\ 317*c_0101_5^17 - 2997546929580270689614804313480806967685247545829\ 153817097818906822036715/615283359262907973415632378830774530211024\ 754550377090954276317*c_0101_5^16 - 2817136091967083629697518845713802772035214969172015924297514993674\ 513267/615283359262907973415632378830774530211024754550377090954276\ 317*c_0101_5^15 + 2810117433249647885946045762713201123004732930444\ 683293801147518525631522/615283359262907973415632378830774530211024\ 754550377090954276317*c_0101_5^14 + 1677321685014223622448579020565295563324924142392429349323841873132\ 598371/615283359262907973415632378830774530211024754550377090954276\ 317*c_0101_5^13 - 1974818265092526044117199538313843029433412127705\ 814752664489394562069731/615283359262907973415632378830774530211024\ 754550377090954276317*c_0101_5^12 - 6551535008340786884369776223127670403929972303046039682868111932502\ 07652/6152833592629079734156323788307745302110247545503770909542763\ 17*c_0101_5^11 + 98850686046560525071280941320064161695967788163437\ 6074170265581480295841/61528335926290797341563237883077453021102475\ 4550377090954276317*c_0101_5^10 + 138807187403201166719839322715161\ 689942757315764554747109908645677849505/615283359262907973415632378\ 830774530211024754550377090954276317*c_0101_5^9 - 3409491130785079647808912553510629011513177894716170591951255021756\ 77685/6152833592629079734156323788307745302110247545503770909542763\ 17*c_0101_5^8 + 395542132160255367630033420697341897110108145232343\ 5280218975445067385/61528335926290797341563237883077453021102475455\ 0377090954276317*c_0101_5^7 + 7160586012582939556463375981639865325\ 6697876233725532533991867931536211/61528335926290797341563237883077\ 4530211024754550377090954276317*c_0101_5^6 - 7287885427246577108447283176337387998068323134705653919778407758198\ 023/615283359262907973415632378830774530211024754550377090954276317\ *c_0101_5^5 - 84778166572641854659779896172603193694791563717195442\ 02956946305939370/6152833592629079734156323788307745302110247545503\ 77090954276317*c_0101_5^4 + 112490360005409016955251134157126088009\ 4653301050640474105257982242415/61528335926290797341563237883077453\ 0211024754550377090954276317*c_0101_5^3 + 5304541029412773731266485576962973524475945129601266040758004841721\ 78/615283359262907973415632378830774530211024754550377090954276317*\ c_0101_5^2 - 543104166651773587562648962611110381064296052377215370\ 50976595334126/6152833592629079734156323788307745302110247545503770\ 90954276317*c_0101_5 - 14532244084641066627254684883656441667450960\ 883239852472743207301851/615283359262907973415632378830774530211024\ 754550377090954276317, c_0101_0 - 116472818111494796716790411649335169172512215954111196783718\ 2038807/61528335926290797341563237883077453021102475455037709095427\ 6317*c_0101_5^35 + 183203182437170150151712794662732256681221017061\ 7052558654693790755/61528335926290797341563237883077453021102475455\ 0377090954276317*c_0101_5^34 + 275931117268806563376738787673121999\ 57881075404425821891248273393608/6152833592629079734156323788307745\ 30211024754550377090954276317*c_0101_5^33 - 417444760634317227883240722972383279209816233533689222032706588076/\ 6913296171493348015905981784615444159674435444386259448924453*c_010\ 1_5^32 - 1293799463830409370554868250150117882111759898456040676229\ 19921094327/6152833592629079734156323788307745302110247545503770909\ 54276317*c_0101_5^31 + 59496944475269934571989043315045337034821485\ 6317423553878009161974946/61528335926290797341563237883077453021102\ 4754550377090954276317*c_0101_5^30 - 9731720836089143481886157101364152573164725072064879166254618178053\ 51/615283359262907973415632378830774530211024754550377090954276317*\ c_0101_5^29 - 59332749309558321270428369930626006151535603557589384\ 180490016289213/691329617149334801590598178461544415967443544438625\ 9448924453*c_0101_5^28 + 127357608661770853471220377565505286304202\ 57112279980220777721663362803/6152833592629079734156323788307745302\ 11024754550377090954276317*c_0101_5^27 + 2001339028102428927232777417873140242596268097223813769276535670555\ 1656/61528335926290797341563237883077453021102475455037709095427631\ 7*c_0101_5^26 - 668221024458030289748567815750524103810591234486708\ 70681873503486518820/6152833592629079734156323788307745302110247545\ 50377090954276317*c_0101_5^25 - 26611730794682672490174438811114045\ 794724624084901428977465705225806100/615283359262907973415632378830\ 774530211024754550377090954276317*c_0101_5^24 + 2005926641446773621430035021226915459861359927471742554223160523738\ 15922/6152833592629079734156323788307745302110247545503770909542763\ 17*c_0101_5^23 - 43440204521217859073629168844825773161291712970684\ 115001957881164010623/615283359262907973415632378830774530211024754\ 550377090954276317*c_0101_5^22 - 3753538939299057594312455102746381\ 74085303455608314299288369938978727831/6152833592629079734156323788\ 30774530211024754550377090954276317*c_0101_5^21 + 2223523780240586301059650051502917262985545876863656913955506207084\ 88770/6152833592629079734156323788307745302110247545503770909542763\ 17*c_0101_5^20 + 48018482780946686617155511540140117702648594278793\ 8609861901339609740384/61528335926290797341563237883077453021102475\ 4550377090954276317*c_0101_5^19 - 408986853951785716485102602786265\ 309718339887532108865531775942639968857/615283359262907973415632378\ 830774530211024754550377090954276317*c_0101_5^18 - 4726861711566307851071946589433040901447004502765470164082725719360\ 09533/6152833592629079734156323788307745302110247545503770909542763\ 17*c_0101_5^17 + 49530365333633798848760192568887523172014757466410\ 3028542523553746293870/61528335926290797341563237883077453021102475\ 4550377090954276317*c_0101_5^16 + 373556256350811546894717431053225\ 594643054961242449952186479468802900278/615283359262907973415632378\ 830774530211024754550377090954276317*c_0101_5^15 - 4596962508960794111719123498725212235500190008403917477388351712467\ 21161/6152833592629079734156323788307745302110247545503770909542763\ 17*c_0101_5^14 - 21349551488248894059183631224295615940032615328443\ 4962423119915991486789/61528335926290797341563237883077453021102475\ 4550377090954276317*c_0101_5^13 + 320588435620621357400103742253612\ 884538262671193809848120153170138797904/615283359262907973415632378\ 830774530211024754550377090954276317*c_0101_5^12 + 7581196321130794200103011319740365587827142426668106052086290683446\ 2300/61528335926290797341563237883077453021102475455037709095427631\ 7*c_0101_5^11 - 159609333228277729686270254565425599021426886271175\ 533168947890016828067/615283359262907973415632378830774530211024754\ 550377090954276317*c_0101_5^10 - 1117214895094751490080683315752763\ 4561965809160913212410433939305659829/61528335926290797341563237883\ 0774530211024754550377090954276317*c_0101_5^9 + 5481474778942777560036482420143392924392561044903162773719969029637\ 2901/61528335926290797341563237883077453021102475455037709095427631\ 7*c_0101_5^8 - 3476555929399817355594727438976218377292096565693507\ 827640949428107977/615283359262907973415632378830774530211024754550\ 377090954276317*c_0101_5^7 - 11498818886749784575210229564161088635\ 268601400271484703567735479535229/615283359262907973415632378830774\ 530211024754550377090954276317*c_0101_5^6 + 1629479078965822635604335627837090082116226690683796387764449998922\ 163/615283359262907973415632378830774530211024754550377090954276317\ *c_0101_5^5 + 13703733652282428081740636984822947324069613333769469\ 77491707378671355/6152833592629079734156323788307745302110247545503\ 77090954276317*c_0101_5^4 - 223301214043367839761049583656360617217\ 184031492133886579510529226426/615283359262907973415632378830774530\ 211024754550377090954276317*c_0101_5^3 - 8787706060740473917039931197281125555964517465889047623371557383347\ 1/615283359262907973415632378830774530211024754550377090954276317*c\ _0101_5^2 + 1048622099176799361918178638740214021036686065233435548\ 0956160064880/61528335926290797341563237883077453021102475455037709\ 0954276317*c_0101_5 + 255019574218432777631537569706784345820498640\ 4354243499330801702102/61528335926290797341563237883077453021102475\ 4550377090954276317, c_0101_2 - 426428940989489858219203079162985682214457182149322640146775\ 3923207/61528335926290797341563237883077453021102475455037709095427\ 6317*c_0101_5^35 + 611355870733348443339104204536835711361176068267\ 6398167762306774090/61528335926290797341563237883077453021102475455\ 0377090954276317*c_0101_5^34 + 101543646252730394151704550022996909\ 864215798470048344475774615466708/615283359262907973415632378830774\ 530211024754550377090954276317*c_0101_5^33 - 1366225964316065391653397732927486526198561270050785401029757596539\ /6913296171493348015905981784615444159674435444386259448924453*c_01\ 01_5^32 - 482564702989682020887397776093748581541273252539334661885\ 567632345705/615283359262907973415632378830774530211024754550377090\ 954276317*c_0101_5^31 + 2106206198778125033033848497461135656344097\ 043178769719628469514017521/615283359262907973415632378830774530211\ 024754550377090954276317*c_0101_5^30 - 3309929502868200758843914088894853574925000325396451043162022439740\ 499/615283359262907973415632378830774530211024754550377090954276317\ *c_0101_5^29 - 2208250119272070661188011629478476509094760841858490\ 21334516552673976/6913296171493348015905981784615444159674435444386\ 259448924453*c_0101_5^28 + 4371373928004478990923282015921471909265\ 9405050257715843483708031947053/61528335926290797341563237883077453\ 0211024754550377090954276317*c_0101_5^27 + 7773265343989241851794147169867111825230015942117495632575419764884\ 6612/61528335926290797341563237883077453021102475455037709095427631\ 7*c_0101_5^26 - 231348330226302055813367075655958986689986104825724\ 659519410225802820795/615283359262907973415632378830774530211024754\ 550377090954276317*c_0101_5^25 - 1222038770610920068249690861437260\ 57516152237892724540977571031429013139/6152833592629079734156323788\ 30774530211024754550377090954276317*c_0101_5^24 + 7036245815562868830673815727589378340348112063703468158404856576203\ 15439/6152833592629079734156323788307745302110247545503770909542763\ 17*c_0101_5^23 - 78359474058714201576804095249633959943694432656031\ 819000931091768587872/615283359262907973415632378830774530211024754\ 550377090954276317*c_0101_5^22 - 1340250282671150203340057363035131\ 511419549336318260006573870657577000524/615283359262907973415632378\ 830774530211024754550377090954276317*c_0101_5^21 + 6467960051194607967916061986699946474128802076592303975418234739385\ 13972/6152833592629079734156323788307745302110247545503770909542763\ 17*c_0101_5^20 + 17548472065185999862331600305113594566832574505028\ 04285535184905253671370/6152833592629079734156323788307745302110247\ 54550377090954276317*c_0101_5^19 - 1255563423744555500028861101277113677840725615069192522515535060236\ 771943/615283359262907973415632378830774530211024754550377090954276\ 317*c_0101_5^18 - 1770343546735386520135754592457314182507438681332\ 619882187436793938001121/615283359262907973415632378830774530211024\ 754550377090954276317*c_0101_5^17 + 1545730425393988143905092882076404151773254362931615908238911286711\ 758023/615283359262907973415632378830774530211024754550377090954276\ 317*c_0101_5^16 + 1433131959387428340417687936783843452967596427034\ 899187710710081646097311/615283359262907973415632378830774530211024\ 754550377090954276317*c_0101_5^15 - 1448006930486862532791530594723011163510847591682462489275273025204\ 075183/615283359262907973415632378830774530211024754550377090954276\ 317*c_0101_5^14 - 8516011241142963115369006803157420093720144511262\ 27968740627378586689042/6152833592629079734156323788307745302110247\ 54550377090954276317*c_0101_5^13 + 1016996739197124819139733317883058005517408059669252253494833116879\ 341673/615283359262907973415632378830774530211024754550377090954276\ 317*c_0101_5^12 + 3312023798792271493278970944180993104838340017396\ 49885749862584386925127/6152833592629079734156323788307745302110247\ 54550377090954276317*c_0101_5^11 - 5088417281771815662044452858664840901242539145926101004223926796381\ 36984/6152833592629079734156323788307745302110247545503770909542763\ 17*c_0101_5^10 - 69256655837377055462933356164289027570791728318367\ 657739960995239266055/615283359262907973415632378830774530211024754\ 550377090954276317*c_0101_5^9 + 17543837686205022577315982002036897\ 8293885048282683625457919159452467533/61528335926290797341563237883\ 0774530211024754550377090954276317*c_0101_5^8 - 2562827615963798891854828251923206510250013162158128374244728464361\ 589/615283359262907973415632378830774530211024754550377090954276317\ *c_0101_5^7 - 36836881722346858363863086659892207272874176225828762\ 266301029664072197/615283359262907973415632378830774530211024754550\ 377090954276317*c_0101_5^6 + 38288440775873785671765857180171741721\ 29098632621755833314067550305035/6152833592629079734156323788307745\ 30211024754550377090954276317*c_0101_5^5 + 4361903296587871984683268343868650919538568649216871289062088149697\ 062/615283359262907973415632378830774530211024754550377090954276317\ *c_0101_5^4 - 58531807104348808990148027623001150687741511754473260\ 4495590529131628/61528335926290797341563237883077453021102475455037\ 7090954276317*c_0101_5^3 - 2731796384074445662729960603498208112110\ 98102848283174894328011649242/6152833592629079734156323788307745302\ 11024754550377090954276317*c_0101_5^2 + 2817219312729411376202334729324980464221977668176709754233941587615\ 0/615283359262907973415632378830774530211024754550377090954276317*c\ _0101_5 + 750053862092625809299660038480547149842781462097763389139\ 6752408924/61528335926290797341563237883077453021102475455037709095\ 4276317, c_0101_3 - 177601446326995622362503066079268780133575551915522213236495\ 16/1487050155193234677544844436355225674268538490941333501597*c_010\ 1_5^35 + 2539745330413215772356458606890008544068719159869953643805\ 0641/1487050155193234677544844436355225674268538490941333501597*c_0\ 101_5^34 + 42294917583170687047329951693997556993197266811495267520\ 3911989/1487050155193234677544844436355225674268538490941333501597*\ c_0101_5^33 - 50484470361769053710102264700031945260315595428767711\ 1914194740/14870501551932346775448444363552256742685384909413335015\ 97*c_0101_5^32 - 20102397401476170341174432278010838944168809919499\ 07608341011142/1487050155193234677544844436355225674268538490941333\ 501597*c_0101_5^31 + 8764171572962906540126759907273858553017640234\ 504409425891339551/148705015519323467754484443635522567426853849094\ 1333501597*c_0101_5^30 - 137605574728047068320091317513875772176148\ 94383167553947466997744/1487050155193234677544844436355225674268538\ 490941333501597*c_0101_5^29 - 8188066839165341238939958251131794593\ 2873247446478529260275849391/14870501551932346775448444363552256742\ 68538490941333501597*c_0101_5^28 + 181737021180518066312728401061166434392882817945363684646239550232/\ 1487050155193234677544844436355225674268538490941333501597*c_0101_5\ ^27 + 3241181498041322775531297102415366932976696575326897622624929\ 05589/1487050155193234677544844436355225674268538490941333501597*c_\ 0101_5^26 - 9619825749568031019733170606467724726546967009206962950\ 73631890076/1487050155193234677544844436355225674268538490941333501\ 597*c_0101_5^25 - 5110996070539838205250910652635246864621826890206\ 54179859148247936/1487050155193234677544844436355225674268538490941\ 333501597*c_0101_5^24 + 2926531966871276982921695870535784333049410\ 915450725930332716820611/148705015519323467754484443635522567426853\ 8490941333501597*c_0101_5^23 - 319099281979580563193680468854525506\ 198696608608836574587778857589/148705015519323467754484443635522567\ 4268538490941333501597*c_0101_5^22 - 5576061926826637089066225901317562233015601313930947428433960094819\ /1487050155193234677544844436355225674268538490941333501597*c_0101_\ 5^21 + 267819747006895109857751095921372010526732201190663001631657\ 9251922/1487050155193234677544844436355225674268538490941333501597*\ c_0101_5^20 + 73033989525824525769707162145759807889351027494398407\ 98842794137076/1487050155193234677544844436355225674268538490941333\ 501597*c_0101_5^19 - 5205958609252824438857869068648157415856712957\ 446213204430655995276/148705015519323467754484443635522567426853849\ 0941333501597*c_0101_5^18 - 736987128383729692777796754007384743156\ 7111504437620119408040638239/14870501551932346775448444363552256742\ 68538490941333501597*c_0101_5^17 + 6411554797098319267071197603629055260949516124760920314163823826870\ /1487050155193234677544844436355225674268538490941333501597*c_0101_\ 5^16 + 596701910834939871093640266339994876633907538405080720170065\ 5287655/1487050155193234677544844436355225674268538490941333501597*\ c_0101_5^15 - 60077519600176223010800594957371331825267168945656016\ 77167259069701/1487050155193234677544844436355225674268538490941333\ 501597*c_0101_5^14 - 3546456205006115528913054186306310502725731236\ 549200525305988344354/148705015519323467754484443635522567426853849\ 0941333501597*c_0101_5^13 + 422042662581021928733035426558014457035\ 8841959660977196614078153730/14870501551932346775448444363552256742\ 68538490941333501597*c_0101_5^12 + 1379863897524428993549216885920997625855031732695722072746957777300\ /1487050155193234677544844436355225674268538490941333501597*c_0101_\ 5^11 - 211200258694379674497214075700443909486030873464983108101558\ 7255525/1487050155193234677544844436355225674268538490941333501597*\ c_0101_5^10 - 28887755385126638069593026814009883895001644178412247\ 8276725620062/14870501551932346775448444363552256742685384909413335\ 01597*c_0101_5^9 + 728301386111678938987230404519535125145425051400\ 370549408617962841/148705015519323467754484443635522567426853849094\ 1333501597*c_0101_5^8 - 1047716743188616487817904310520627499426038\ 1371302014140418260822/14870501551932346775448444363552256742685384\ 90941333501597*c_0101_5^7 - 152944574931449690457782196447164189426\ 180839710962232502919857534/148705015519323467754484443635522567426\ 8538490941333501597*c_0101_5^6 + 1591164070284698936681022761049173\ 0780415389884625389911952209352/14870501551932346775448444363552256\ 74268538490941333501597*c_0101_5^5 + 18113685859916482876436930043135897471509550304843841420946187761/1\ 487050155193234677544844436355225674268538490941333501597*c_0101_5^\ 4 - 243660308208782128831358098858848192582566579101399038799479340\ 3/1487050155193234677544844436355225674268538490941333501597*c_0101\ _5^3 - 113501487440239770682750299226834853644926751725407606744438\ 4569/1487050155193234677544844436355225674268538490941333501597*c_0\ 101_5^2 + 117485839323921035589919195846984662263528286718195975397\ 659597/1487050155193234677544844436355225674268538490941333501597*c\ _0101_5 + 312199227691405812775826677580600643424574653101918425696\ 61773/1487050155193234677544844436355225674268538490941333501597, c_0101_5^36 - 2*c_0101_5^35 - 23*c_0101_5^34 + 42*c_0101_5^33 + 97*c_0101_5^32 - 558*c_0101_5^31 + 1056*c_0101_5^30 + 4169*c_0101_5^29 - 12861*c_0101_5^28 - 12420*c_0101_5^27 + 64572*c_0101_5^26 - 2083*c_0101_5^25 - 181210*c_0101_5^24 + 111863*c_0101_5^23 + 303808*c_0101_5^22 - 329732*c_0101_5^21 - 325442*c_0101_5^20 + 527540*c_0101_5^19 + 248130*c_0101_5^18 - 597610*c_0101_5^17 - 130470*c_0101_5^16 + 529881*c_0101_5^15 + 7103*c_0101_5^14 - 351559*c_0101_5^13 + 57605*c_0101_5^12 + 163280*c_0101_5^11 - 51446*c_0101_5^10 - 50318*c_0101_5^9 + 23941*c_0101_5^8 + 8289*c_0101_5^7 - 5800*c_0101_5^6 - 512*c_0101_5^5 + 718*c_0101_5^4 - 14*c_0101_5^3 - 43*c_0101_5^2 + 2*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB