Magma V2.19-8 Tue Aug 20 2013 16:17:55 on localhost [Seed = 728414187] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2143 geometric_solution 5.62668272 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 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.217691533497 0.239717724514 2 0 3 0 0132 2310 0132 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 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.706172729810 2.046482967750 1 3 4 5 0132 3201 0132 0132 0 0 0 0 0 -1 1 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.068497947701 0.808844147987 5 4 2 1 1023 3201 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.068497947701 0.808844147987 4 4 3 2 1230 3012 2310 0132 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 1 -1 -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.402796412199 0.806547561547 6 3 2 6 0132 1023 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.831039225338 0.701823958188 5 6 6 5 0132 1230 3012 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 0 0 0 0 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.693278495355 0.427797774460 ==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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], '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_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_4'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_3']), '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' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0011_4'], '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_6'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0011_4'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_4'])})} 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_4, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 10434947494967323840401657977556183418195165278631555690824521903/6\ 6019366109533656479652707077529558075303066669095003858220736*c_010\ 1_6^23 + 7114680090672811791817241638573521922395004175057433685749\ 178285/366774256164075869331403928208497544862794814828305576990115\ 2*c_0101_6^22 + 274659670239924762054162909042533747061459532148894\ 449504516170509/660193661095336564796527070775295580753030666690950\ 03858220736*c_0101_6^21 + 75118244645455606411613608629428421368918\ 37757236142106960621899/1222580853880252897771346427361658482875982\ 716094351923300384*c_0101_6^20 + 6333609094988060050894953719487774\ 677249126903890140516923272987391/660193661095336564796527070775295\ 58075303066669095003858220736*c_0101_6^19 - 1756759227925215836278600953303323578705621114020206494418974299217\ /16504841527383414119913176769382389518825766667273750964555184*c_0\ 101_6^18 + 19521988036517784102336729876828253188296898059968051753\ 304823348839/220064553698445521598842356925098526917676888896983346\ 19406912*c_0101_6^17 - 39128576234315256167874819648653002303618582\ 3788988333259878950214841/66019366109533656479652707077529558075303\ 066669095003858220736*c_0101_6^16 + 5322280839602894148170513514876679647667618371556962718990413332464\ 3/22006455369844552159884235692509852691767688889698334619406912*c_\ 0101_6^15 - 9403104921833078980354799666371275238551890737106176072\ 4904017789723/33009683054766828239826353538764779037651533334547501\ 929110368*c_0101_6^14 - 7326290043210392954569516484315560753554821\ 80766606352947188864769365/6601936610953365647965270707752955807530\ 3066669095003858220736*c_0101_6^13 + 7200991439815879318364099267467559889964001963416831078628460680571\ 85/33009683054766828239826353538764779037651533334547501929110368*c\ _0101_6^12 + 289951319147434371798972708948204597525487458285685772\ 778677590762537/330096830547668282398263535387647790376515333345475\ 01929110368*c_0101_6^11 - 15477802417579133831286140140478319696325\ 18967655216523070137817434997/6601936610953365647965270707752955807\ 5303066669095003858220736*c_0101_6^10 - 9979817306289193874405377739203865003387839216654147056080176111875\ 1/66019366109533656479652707077529558075303066669095003858220736*c_\ 0101_6^9 + 40598368986270348232217956087893030492076701051252539076\ 6008612159249/33009683054766828239826353538764779037651533334547501\ 929110368*c_0101_6^8 + 21031627047333330513782626374008213196578827\ 262985758527616034123469/220064553698445521598842356925098526917676\ 88889698334619406912*c_0101_6^7 - 511282215667037635959788542993755\ 46170614731022845952984064365781835/1650484152738341411991317676938\ 2389518825766667273750964555184*c_0101_6^6 - 7303561149840326428815161343882909944137157347923869604043615633217\ /7335485123281517386628078564169950897255896296566111539802304*c_01\ 01_6^5 + 7662769492868114414182248647366780200219486869596184876286\ 993108583/660193661095336564796527070775295580753030666690950038582\ 20736*c_0101_6^4 + 428545020017336947838887014978836466448537670789\ 1988969119448835161/22006455369844552159884235692509852691767688889\ 698334619406912*c_0101_6^3 + 88500736622032271382302547797352130302\ 5702210498396756356856163223/16504841527383414119913176769382389518\ 825766667273750964555184*c_0101_6^2 - 27075905830139673884781572967843375088506853755399404311809671399/7\ 335485123281517386628078564169950897255896296566111539802304*c_0101\ _6 - 13855029730643455144430884325424985395538852462824967860972025\ 8899/66019366109533656479652707077529558075303066669095003858220736\ , c_0011_0 - 1, c_0011_1 - 179122681356193205019575617256339344405854386361358730916208\ /1031552595461463382494573548086399344926610416704609435284699*c_01\ 01_6^23 - 237324771505048712202211376303091119805899471115443992092\ 3238/1031552595461463382494573548086399344926610416704609435284699*\ c_0101_6^22 - 74439404961515285767668292963237104031219584912252655\ 6291034/11461695505127370916606372756515548276962337963384549280941\ 1*c_0101_6^21 - 971493915851410924237884473354347009639677888110910\ 8757167756/10315525954614633824945735480863993449266104167046094352\ 84699*c_0101_6^20 - 11282715487693108871160577306228020826430116047\ 6801832777384076/10315525954614633824945735480863993449266104167046\ 09435284699*c_0101_6^19 + 18402962543854847737646831261139618083181\ 057846278459007878792/103155259546146338249457354808639934492661041\ 6704609435284699*c_0101_6^18 - 792546488271413914726266802793874019\ 052863130909440346482001314/103155259546146338249457354808639934492\ 6610416704609435284699*c_0101_6^17 + 5545034388679987596964770570004710415817519987594416636250998442/10\ 31552595461463382494573548086399344926610416704609435284699*c_0101_\ 6^16 + 162894690832944631284309619031986908515028869201427291322617\ 1469/343850865153821127498191182695466448308870138901536478428233*c\ _0101_6^15 - 642808728922396796043740439482960394585908203723142484\ 1829232106/10315525954614633824945735480863993449266104167046094352\ 84699*c_0101_6^14 + 24087766004663032161828988637838797689611800135\ 658895990878235333/103155259546146338249457354808639934492661041670\ 4609435284699*c_0101_6^13 - 222251647921045612688175689748449822156\ 73495970603782444592511509/1031552595461463382494573548086399344926\ 610416704609435284699*c_0101_6^12 - 37421348926229190097287131923830708984408871217260698235884712511/1\ 031552595461463382494573548086399344926610416704609435284699*c_0101\ _6^11 + 42335875864512842261479130201583928804057884303952927904281\ 368940/103155259546146338249457354808639934492661041670460943528469\ 9*c_0101_6^10 + 507441186354867156780571443094812030658030532237578\ 6444668895915/34385086515382112749819118269546644830887013890153647\ 8428233*c_0101_6^9 - 2652454057505466999490342397046901885345320685\ 8903510111673275040/10315525954614633824945735480863993449266104167\ 04609435284699*c_0101_6^8 - 434444279445830845471363094482212348486\ 474861870497389002860809/114616955051273709166063727565155482769623\ 379633845492809411*c_0101_6^7 + 63342353004631469260537891560291193\ 92552637481502067239881759291/1031552595461463382494573548086399344\ 926610416704609435284699*c_0101_6^6 + 2024902989860301428607227105186373250383149520691025601959880407/10\ 31552595461463382494573548086399344926610416704609435284699*c_0101_\ 6^5 - 5547786768470034936629463047472951703389587533833079792875755\ 2/343850865153821127498191182695466448308870138901536478428233*c_01\ 01_6^4 - 3821082199357123182469708376379967276710608078674588901526\ 86117/1031552595461463382494573548086399344926610416704609435284699\ *c_0101_6^3 - 40629093445984347781859213713255103370757932782868564\ 15815758/3820565168375790305535457585505182758987445987794849760313\ 7*c_0101_6^2 + 1415142950774464660824487378426759456214492182968524\ 9798315015/10315525954614633824945735480863993449266104167046094352\ 84699*c_0101_6 + 36773666018376262078487346269716341698380729737196\ 59961375874/1031552595461463382494573548086399344926610416704609435\ 284699, c_0011_3 + 76548929719906981988770535448945725575271546625174127560722/\ 343850865153821127498191182695466448308870138901536478428233*c_0101\ _6^23 + 93996508437847975454871054756728546234194406767871246243124\ 7/343850865153821127498191182695466448308870138901536478428233*c_01\ 01_6^22 + 201511182102968467841778687034604310512622074178644837439\ 0691/343850865153821127498191182695466448308870138901536478428233*c\ _0101_6^21 + 291946418445033198563336446212013983105954761819743097\ 9787932/34385086515382112749819118269546644830887013890153647842823\ 3*c_0101_6^20 + 515204625510981538807279455886370122125267611209892\ 5121038438/38205651683757903055354575855051827589874459877948497603\ 137*c_0101_6^19 - 5140659321600380391590519426213179792961537744318\ 5587752510455/34385086515382112749819118269546644830887013890153647\ 8428233*c_0101_6^18 + 425750595800668137935261761791787657349427861\ 681287092694037526/343850865153821127498191182695466448308870138901\ 536478428233*c_0101_6^17 - 9537606427555089291023890387705239580290\ 03796990554202860476699/1146169550512737091660637275651554827696233\ 79633845492809411*c_0101_6^16 + 12381732561706001668942016042656736\ 7967100304827462257107015044/38205651683757903055354575855051827589\ 874459877948497603137*c_0101_6^15 - 1122853082647413960402861139382908364282208022922272208662995970/34\ 3850865153821127498191182695466448308870138901536478428233*c_0101_6\ ^14 - 2087781483982800142508360508005061862158132729168427747546072\ 65/12735217227919301018451525285017275863291486625982832534379*c_01\ 01_6^13 + 108189903359923709418694673570340122468764214107847886473\ 21126828/3438508651538211274981911826954664483088701389015364784282\ 33*c_0101_6^12 + 50478422132765621195374581992091871704836314884941\ 8843134130126/38205651683757903055354575855051827589874459877948497\ 603137*c_0101_6^11 - 1226931829369568177507987655530106761772631005\ 6679508085882283715/34385086515382112749819118269546644830887013890\ 1536478428233*c_0101_6^10 - 518672470068820273620249783143117229517\ 859454089859687015615983/343850865153821127498191182695466448308870\ 138901536478428233*c_0101_6^9 + 21949651254334452689273072315184646\ 92811625285210848316795379941/1146169550512737091660637275651554827\ 69623379633845492809411*c_0101_6^8 + 53173017140794886906545294440147526696323566140960457174843006/1146\ 16955051273709166063727565155482769623379633845492809411*c_0101_6^7 - 1696888536421842357987827601047530525276432186502168603725051159/\ 343850865153821127498191182695466448308870138901536478428233*c_0101\ _6^6 - 407614514509922145769166824876183606019687706505477542294249\ 902/343850865153821127498191182695466448308870138901536478428233*c_\ 0101_6^5 + 97272757838062258532097955302700935706534695552253494046\ 740982/343850865153821127498191182695466448308870138901536478428233\ *c_0101_6^4 + 10134088161675263572229752970822373606154185170100275\ 2777167503/34385086515382112749819118269546644830887013890153647842\ 8233*c_0101_6^3 + 2267922391711627530586138832468532641310877414922\ 4830617427513/34385086515382112749819118269546644830887013890153647\ 8428233*c_0101_6^2 - 4268590951578565240708978615197962427663102840\ 946828026554231/343850865153821127498191182695466448308870138901536\ 478428233*c_0101_6 - 1073253143345673677955905408596836540874567347\ 72883178254915/3820565168375790305535457585505182758987445987794849\ 7603137, c_0011_4 - 55249403293839948815792948069749924346899403157163918899614/\ 1031552595461463382494573548086399344926610416704609435284699*c_010\ 1_6^23 - 8241258585936521592502853173240899100384359752409039014006\ 21/1031552595461463382494573548086399344926610416704609435284699*c_\ 0101_6^22 - 1031404714238355707649318961887390988831863725135144322\ 668497/343850865153821127498191182695466448308870138901536478428233\ *c_0101_6^21 - 4244753007379476484698179021757582837682900245645237\ 621478825/103155259546146338249457354808639934492661041670460943528\ 4699*c_0101_6^20 - 366376604921343925821664998955653715803514232826\ 69216751717966/1031552595461463382494573548086399344926610416704609\ 435284699*c_0101_6^19 - 4764883658711846416649145632647659530600804\ 4546307136393152154/10315525954614633824945735480863993449266104167\ 04609435284699*c_0101_6^18 - 12217589030457129749403926779414139350\ 7419482615533113981681253/10315525954614633824945735480863993449266\ 10416704609435284699*c_0101_6^17 + 1075158336192680567812600675987849654200472303087651471848468901/10\ 31552595461463382494573548086399344926610416704609435284699*c_0101_\ 6^16 + 187817744815143054169319069736071614288178041388388970878942\ 1240/343850865153821127498191182695466448308870138901536478428233*c\ _0101_6^15 - 779068445601921142654025740556933852030645727544231421\ 6350752158/10315525954614633824945735480863993449266104167046094352\ 84699*c_0101_6^14 + 14252494953429586052204449537785479369382633544\ 612894657970902106/103155259546146338249457354808639934492661041670\ 4609435284699*c_0101_6^13 - 647742066227422945961413108603661988070\ 4202602821973029290793991/10315525954614633824945735480863993449266\ 10416704609435284699*c_0101_6^12 - 26545539695715155618406501333401987204385130738832582758866494038/1\ 031552595461463382494573548086399344926610416704609435284699*c_0101\ _6^11 + 24017118682577522861870244397771467856292975681483344261382\ 762345/103155259546146338249457354808639934492661041670460943528469\ 9*c_0101_6^10 + 360075457929474218112388058683067350446740914649695\ 4422311783040/34385086515382112749819118269546644830887013890153647\ 8428233*c_0101_6^9 - 1628279537562207567633699243974145516669529623\ 1148038258881344312/10315525954614633824945735480863993449266104167\ 04609435284699*c_0101_6^8 - 194115678077490072877533192888328126834\ 629075005642561908578592/114616955051273709166063727565155482769623\ 379633845492809411*c_0101_6^7 + 37881727370679685674932625243634389\ 29686453983231680910489020830/1031552595461463382494573548086399344\ 926610416704609435284699*c_0101_6^6 + 948370580617174846399528132098426883511712229530335635324362895/103\ 1552595461463382494573548086399344926610416704609435284699*c_0101_6\ ^5 - 16439806037856659961047470326639572736153289304713850424607759\ /114616955051273709166063727565155482769623379633845492809411*c_010\ 1_6^4 - 22842425376935761233612326212455629867690389716524146523855\ 8195/1031552595461463382494573548086399344926610416704609435284699*\ c_0101_6^3 - 195749262218343013611334468308516890695276648553254778\ 30641430/3438508651538211274981911826954664483088701389015364784282\ 33*c_0101_6^2 + 114971934530667070983898896402936137958628658085771\ 70253749528/1031552595461463382494573548086399344926610416704609435\ 284699*c_0101_6 + 2428073240278669143931264300952464865204084042706\ 014994018847/103155259546146338249457354808639934492661041670460943\ 5284699, c_0101_1 - 42608919786338984859813785581749458436686426309947713756499/\ 114616955051273709166063727565155482769623379633845492809411*c_0101\ _6^23 - 15407796097587215013783597808334843585910538467290012663573\ 20/343850865153821127498191182695466448308870138901536478428233*c_0\ 101_6^22 - 30383587208666730069520264597979001610759198656969157644\ 12095/343850865153821127498191182695466448308870138901536478428233*\ c_0101_6^21 - 44300873712970865752519194634965745997324419385990646\ 21354725/3438508651538211274981911826954664483088701389015364784282\ 33*c_0101_6^20 - 76782750415000036578420151034079018005784023156555\ 795534677285/343850865153821127498191182695466448308870138901536478\ 428233*c_0101_6^19 + 3421790560101313641885358299968438536651056582\ 2730005513632325/11461695505127370916606372756515548276962337963384\ 5492809411*c_0101_6^18 - 746414839288795258092604765964929966431956\ 943144209786047994917/343850865153821127498191182695466448308870138\ 901536478428233*c_0101_6^17 + 4970734649001951979395388009929889915\ 638393106107167426624098474/343850865153821127498191182695466448308\ 870138901536478428233*c_0101_6^16 - 1039911719139196977648553182164967594352554747961396685678206970/11\ 4616955051273709166063727565155482769623379633845492809411*c_0101_6\ ^15 + 1159780377855806289609824867592192077051254071608263714070568\ 533/114616955051273709166063727565155482769623379633845492809411*c_\ 0101_6^14 + 7568539637792246494530159348847741274898969848539196504\ 877675164/343850865153821127498191182695466448308870138901536478428\ 233*c_0101_6^13 - 6187547927474158661522257880108263380009983192008\ 382084727642517/114616955051273709166063727565155482769623379633845\ 492809411*c_0101_6^12 - 2884629739286924589142171255092010159243751\ 735668786795201752586/343850865153821127498191182695466448308870138\ 901536478428233*c_0101_6^11 + 5920716019052488269573700283986713316\ 620572431893196103251647322/114616955051273709166063727565155482769\ 623379633845492809411*c_0101_6^10 - 1560431427610698956038794249525897186667221463232286520577949878/34\ 3850865153821127498191182695466448308870138901536478428233*c_0101_6\ ^9 - 86788317000292576846862874581833325036732114169679685334614503\ 37/343850865153821127498191182695466448308870138901536478428233*c_0\ 101_6^8 + 754098386016247033346557740190201184305694848688422485327\ 38471/114616955051273709166063727565155482769623379633845492809411*\ c_0101_6^7 + 751742511712529271851597600815176598659126728141022302\ 610045406/114616955051273709166063727565155482769623379633845492809\ 411*c_0101_6^6 + 53566084633034342126870701215999479824202737919477\ 3350770274154/34385086515382112749819118269546644830887013890153647\ 8428233*c_0101_6^5 - 1389442159583162326472471235690453130840106045\ 08860441910550183/3438508651538211274981911826954664483088701389015\ 36478428233*c_0101_6^4 - 138003093803894165065799914468007683608497\ 209813002142563734180/343850865153821127498191182695466448308870138\ 901536478428233*c_0101_6^3 - 28367025121240612191850106247381089304\ 938393176924699820201611/343850865153821127498191182695466448308870\ 138901536478428233*c_0101_6^2 + 51868673414695506924257234206949238\ 27857295979258816862511521/3438508651538211274981911826954664483088\ 70138901536478428233*c_0101_6 + 11950722841344706846501876042815882\ 88076524693431489742397251/3438508651538211274981911826954664483088\ 70138901536478428233, c_0101_3 - 42554727725468706473016719957385519217838100119192249576990/\ 343850865153821127498191182695466448308870138901536478428233*c_0101\ _6^23 - 54072261487233807016141536721546179117714070943884530268962\ 1/343850865153821127498191182695466448308870138901536478428233*c_01\ 01_6^22 - 132844804929781831027016629938532184274217739914180849122\ 7903/343850865153821127498191182695466448308870138901536478428233*c\ _0101_6^21 - 193237411142057701905894055048194051600435261320354541\ 1330730/34385086515382112749819118269546644830887013890153647842823\ 3*c_0101_6^20 - 875023428229076228923386707826384275159868041715790\ 0483009814/11461695505127370916606372756515548276962337963384549280\ 9411*c_0101_6^19 + 178849436311060368733481105313272401655067415174\ 26315419346502/3438508651538211274981911826954664483088701389015364\ 78428233*c_0101_6^18 - 21573553368410122349210568407653557669444212\ 3375986227320671369/34385086515382112749819118269546644830887013890\ 1536478428233*c_0101_6^17 + 490119333581362835361804382617621488763\ 812566003935936798137065/114616955051273709166063727565155482769623\ 379633845492809411*c_0101_6^16 + 1800457784894161132692749423265186\ 3205278805582008101295061039/38205651683757903055354575855051827589\ 874459877948497603137*c_0101_6^15 - 304929231138689691423715843098179480227679353012539826302938612/343\ 850865153821127498191182695466448308870138901536478428233*c_0101_6^\ 14 + 14290003971437988460164092540611563443319911716791757196577864\ 76/114616955051273709166063727565155482769623379633845492809411*c_0\ 101_6^13 - 57084855380230071577711966195778784265673852962661408717\ 37562172/3438508651538211274981911826954664483088701389015364784282\ 33*c_0101_6^12 - 17486617803360147370587539186140538578558640385951\ 47497092177485/1146169550512737091660637275651554827696233796338454\ 92809411*c_0101_6^11 + 81614793944890447432183180266200970356391478\ 95745314298405721270/3438508651538211274981911826954664483088701389\ 01536478428233*c_0101_6^10 + 16634201264874374280080852964213669742\ 99346721748888663289589848/3438508651538211274981911826954664483088\ 70138901536478428233*c_0101_6^9 - 521987630172731341770331799109270\ 576758823767761545687802588882/382056516837579030553545758550518275\ 89874459877948497603137*c_0101_6^8 - 147200521779227293082355553058027822979152369905990150330537901/114\ 616955051273709166063727565155482769623379633845492809411*c_0101_6^\ 7 + 113151621424967255807223449581313374889644773571564980429234919\ 3/343850865153821127498191182695466448308870138901536478428233*c_01\ 01_6^6 + 3324142296810598822436474885942132892567665809535505168063\ 45602/343850865153821127498191182695466448308870138901536478428233*\ c_0101_6^5 - 375943298234925341275479865414965873904786866240610227\ 70242100/3438508651538211274981911826954664483088701389015364784282\ 33*c_0101_6^4 - 659938446875807335513476062686099567865440257422543\ 66069035913/3438508651538211274981911826954664483088701389015364784\ 28233*c_0101_6^3 - 190036153180363844823347362689012434111131743462\ 87078889490420/3438508651538211274981911826954664483088701389015364\ 78428233*c_0101_6^2 + 238020555208154572443601981559925586093371630\ 0146598432758006/34385086515382112749819118269546644830887013890153\ 6478428233*c_0101_6 + 216932629034603804548864438057384278691621364\ 208388898606840/114616955051273709166063727565155482769623379633845\ 492809411, c_0101_6^24 + 12*c_0101_6^23 + 23*c_0101_6^22 + 32*c_0101_6^21 + 597*c_0101_6^20 - 838*c_0101_6^19 + 5811*c_0101_6^18 - 39045*c_0101_6^17 + 25661*c_0101_6^16 - 23120*c_0101_6^15 - 64919*c_0101_6^14 + 156908*c_0101_6^13 + 15922*c_0101_6^12 - 159639*c_0101_6^11 + 32125*c_0101_6^10 + 75976*c_0101_6^9 - 14707*c_0101_6^8 - 19070*c_0101_6^7 - 1263*c_0101_6^6 + 1967*c_0101_6^5 + 971*c_0101_6^4 + 34*c_0101_6^3 - 89*c_0101_6^2 - 3*c_0101_6 + 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB