Magma V2.19-8 Tue Aug 20 2013 16:16:31 on localhost [Seed = 3532869173] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0807 geometric_solution 4.74320992 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 1023 3201 0 0 0 0 0 -1 0 1 -1 0 1 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.111999498828 0.143861897747 0 0 3 3 0132 2310 2310 0132 0 0 0 0 0 -1 1 0 1 0 0 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 1.256931895266 3.129722557194 2 0 0 2 3201 0132 1023 2310 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.839818684608 0.924848990983 4 1 1 5 0132 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 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 1 0 -1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.355893132274 0.238324629778 3 6 5 5 0132 0132 1302 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.292128275234 0.776931904911 4 4 3 6 2031 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -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 0 1 -1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.292128275234 0.776931904911 6 4 5 6 3201 0132 0132 2310 0 0 0 0 0 -1 0 1 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.124895865777 1.039425390902 ==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' : d['c_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : negation(d['c_0011_5']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0101_0']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_3, c_0011_5, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 6699624693549808034005541344557076818295065449560664015192945721542\ 7643702/10056498838812902583201731416296990123337738362492599177634\ 6354947917643*c_0101_6^29 - 153151294946810731522129864619501174011\ 056358785259173372571429633566232987/100564988388129025832017314162\ 969901233377383624925991776346354947917643*c_0101_6^28 + 2702186886520888798202262980653846203917104345911604477801990339678\ 649886613/100564988388129025832017314162969901233377383624925991776\ 346354947917643*c_0101_6^27 + 8341610343688806867239872685526771475\ 309461413704324651009911598812669283163/100564988388129025832017314\ 162969901233377383624925991776346354947917643*c_0101_6^26 - 5640198812338135814440499012240213731545500891315728256732187601470\ 5975232776/10056498838812902583201731416296990123337738362492599177\ 6346354947917643*c_0101_6^25 - 824930310934734829107865724994591198\ 01170058046049453354693020471619418438615/1005649883881290258320173\ 14162969901233377383624925991776346354947917643*c_0101_6^24 + 4708916070221262059480911254654585344876012147021879435712851594730\ 86888985926/1005649883881290258320173141629699012333773836249259917\ 76346354947917643*c_0101_6^23 + 39780119926278099324352206690750534\ 8262681533495864779654712314786024345715405/10056498838812902583201\ 7314162969901233377383624925991776346354947917643*c_0101_6^22 - 2338861141757156690529897548278581642503649605612205912862809649994\ 957313873096/100564988388129025832017314162969901233377383624925991\ 776346354947917643*c_0101_6^21 - 7026761398406278602968551395752052\ 23653641435675578625088514674800196792049124/1005649883881290258320\ 17314162969901233377383624925991776346354947917643*c_0101_6^20 + 7495462387892956979940249456797952809920743147068659751960648006332\ 507959445641/100564988388129025832017314162969901233377383624925991\ 776346354947917643*c_0101_6^19 - 1643085154606799129325719138943128\ 185835948717905809261553530926639922900117024/100564988388129025832\ 017314162969901233377383624925991776346354947917643*c_0101_6^18 - 1380776018015412235240081238559179220291106780538980699339304055495\ 5308973194852/10056498838812902583201731416296990123337738362492599\ 1776346354947917643*c_0101_6^17 + 734195356871472761679441029401622\ 3942993668376834592929011819893915981129603574/10056498838812902583\ 2017314162969901233377383624925991776346354947917643*c_0101_6^16 + 1454825385904850760363883459423879655075512789461322163414824233522\ 7339202666580/10056498838812902583201731416296990123337738362492599\ 1776346354947917643*c_0101_6^15 - 838491143642047021628324535625382\ 0239319874493734358067038098614391456816542978/10056498838812902583\ 2017314162969901233377383624925991776346354947917643*c_0101_6^14 - 1239055609601436106862796746146727144096378598115790970504467436290\ 2070199218180/10056498838812902583201731416296990123337738362492599\ 1776346354947917643*c_0101_6^13 + 418399986539635102372326378219968\ 4421241598284270182677913072039574931857949842/10056498838812902583\ 2017314162969901233377383624925991776346354947917643*c_0101_6^12 + 1139399010638508396228006150585013686689633243151081006993177874321\ 8435660622271/10056498838812902583201731416296990123337738362492599\ 1776346354947917643*c_0101_6^11 - 234587491133866057323431051615469\ 8481038125609943912167276523110992119082885987/10056498838812902583\ 2017314162969901233377383624925991776346354947917643*c_0101_6^10 - 7524706664898352153823716911934707100113630882388622462770039668044\ 636053079516/100564988388129025832017314162969901233377383624925991\ 776346354947917643*c_0101_6^9 + 17320166346182535152047356175615714\ 70112775427991474398754143799848675155370906/1005649883881290258320\ 17314162969901233377383624925991776346354947917643*c_0101_6^8 + 2691303775327718662032246624393820888272157651184796501908455712244\ 131005127164/100564988388129025832017314162969901233377383624925991\ 776346354947917643*c_0101_6^7 - 58785094008037887227802200104340424\ 8533286695768762709749655035091198443702875/10056498838812902583201\ 7314162969901233377383624925991776346354947917643*c_0101_6^6 - 4601698385803001079245301961699317259071888261019242304456594928978\ 30738551698/1005649883881290258320173141629699012333773836249259917\ 76346354947917643*c_0101_6^5 + 436591533560970266943754076057877147\ 76057443636558184613819694309370795304698/1005649883881290258320173\ 14162969901233377383624925991776346354947917643*c_0101_6^4 + 2897802996810165574219847232372839531578511781046751464529596813186\ 8344465054/10056498838812902583201731416296990123337738362492599177\ 6346354947917643*c_0101_6^3 + 4638752285519540740173557273990503601\ 344946212088540960466640049741697626092/100564988388129025832017314\ 162969901233377383624925991776346354947917643*c_0101_6^2 - 1183349572373156424738327632026739977394748221311262394274504235102\ 944133568/100564988388129025832017314162969901233377383624925991776\ 346354947917643*c_0101_6 - 2046339798714196497327377020592037802484\ 64414877601470968324025091135022916/1005649883881290258320173141629\ 69901233377383624925991776346354947917643, c_0011_0 - 1, c_0011_3 - 325239223151812638784427003591773518639355305313840362930583\ 02747050872/9142271671648093257456119469360900112125216693175090161\ 486032267992513*c_0101_6^29 - 7484371893699515448347624414237322857\ 3612907721956529047750128197252185/91422716716480932574561194693609\ 00112125216693175090161486032267992513*c_0101_6^28 + 1310748989282830939624784631792118882818296229485822076957494369650\ 181004/914227167164809325745611946936090011212521669317509016148603\ 2267992513*c_0101_6^27 + 406967187642427287373858337676039189299427\ 0011784665270604421796720633654/91422716716480932574561194693609001\ 12125216693175090161486032267992513*c_0101_6^26 - 2732243017767126482265268589006712253031710417651204509572376694019\ 7946881/91422716716480932574561194693609001121252166931750901614860\ 32267992513*c_0101_6^25 - 40474263958320490681598185022114247589471\ 255709430439149886701320069046868/914227167164809325745611946936090\ 0112125216693175090161486032267992513*c_0101_6^24 + 2280557238333616916728257196545313520942854846176153276987196020703\ 72139968/9142271671648093257456119469360900112125216693175090161486\ 032267992513*c_0101_6^23 + 1967070249780202051569149199327984081864\ 51983027563544519138338434278928310/9142271671648093257456119469360\ 900112125216693175090161486032267992513*c_0101_6^22 - 1133048539246428761585602179091604901108816894298530359673360887240\ 012731761/914227167164809325745611946936090011212521669317509016148\ 6032267992513*c_0101_6^21 - 358980173809241954714260291603892063276\ 749258230935946960634412442691310201/914227167164809325745611946936\ 0900112125216693175090161486032267992513*c_0101_6^20 + 3636422752621006511271379119129274063482065437380534798901911648291\ 518815989/914227167164809325745611946936090011212521669317509016148\ 6032267992513*c_0101_6^19 - 740968437351915559121861749807844196379\ 592900910953869584484151436581015359/914227167164809325745611946936\ 0900112125216693175090161486032267992513*c_0101_6^18 - 6724776356580835907264225505803623307819263189300778533552632721419\ 250542844/914227167164809325745611946936090011212521669317509016148\ 6032267992513*c_0101_6^17 + 346305387622622053674047138720958646416\ 5751787452790232575698913915271096327/91422716716480932574561194693\ 60900112125216693175090161486032267992513*c_0101_6^16 + 7135560509403200616910206114799223691805924405349875860395380252709\ 765236731/914227167164809325745611946936090011212521669317509016148\ 6032267992513*c_0101_6^15 - 397121935135479110964560320287249767330\ 7252176677679963651662739714980729590/91422716716480932574561194693\ 60900112125216693175090161486032267992513*c_0101_6^14 - 6098004347340398112312732676185790141969481454616052207207019750984\ 855195918/914227167164809325745611946936090011212521669317509016148\ 6032267992513*c_0101_6^13 + 195086928118706783947162305409765124823\ 5271483337460312543730166126298432851/91422716716480932574561194693\ 60900112125216693175090161486032267992513*c_0101_6^12 + 5578905144389379114729510264438716398784869235279438702501780248575\ 807435770/914227167164809325745611946936090011212521669317509016148\ 6032267992513*c_0101_6^11 - 106005669578193336142290968920373985817\ 0553810898518822559831040992459003881/91422716716480932574561194693\ 60900112125216693175090161486032267992513*c_0101_6^10 - 3684981373724326657581415724786459582839471976228414923206198624431\ 608087885/914227167164809325745611946936090011212521669317509016148\ 6032267992513*c_0101_6^9 + 7874866358084832913702287865743724194067\ 55795437869836083743838844852589883/9142271671648093257456119469360\ 900112125216693175090161486032267992513*c_0101_6^8 + 1329895361526596714332424179237952988645983886255666825857416860678\ 675279630/914227167164809325745611946936090011212521669317509016148\ 6032267992513*c_0101_6^7 - 2681952801822358444619598268795140521752\ 75754151740776057454081235723995395/9142271671648093257456119469360\ 900112125216693175090161486032267992513*c_0101_6^6 - 2312679542301407345128122634520962401515055189682893724570162791098\ 28195113/9142271671648093257456119469360900112125216693175090161486\ 032267992513*c_0101_6^5 + 18958454961893168509497346895019116917397\ 453085340905941977496521710525144/914227167164809325745611946936090\ 0112125216693175090161486032267992513*c_0101_6^4 + 1476792300683609258716736075945158809177068622839529286430146260244\ 5709554/91422716716480932574561194693609001121252166931750901614860\ 32267992513*c_0101_6^3 + 236818749789594856334092611974610909796268\ 1035677395180043922795749355018/91422716716480932574561194693609001\ 12125216693175090161486032267992513*c_0101_6^2 - 5530331589725568220808637393571436581402080826621670254147272662297\ 71041/9142271671648093257456119469360900112125216693175090161486032\ 267992513*c_0101_6 - 1075355828653678177387858412595311009319462149\ 91983534516647089647198416/9142271671648093257456119469360900112125\ 216693175090161486032267992513, c_0011_5 + 262318584495612132287256937761997361175378264295887675447108\ 99203417497/9142271671648093257456119469360900112125216693175090161\ 486032267992513*c_0101_6^29 + 6068451722439842256561571355979232719\ 7363044778271145417103997123661940/91422716716480932574561194693609\ 00112125216693175090161486032267992513*c_0101_6^28 - 1056606818369899988638546091781890640221324845586140551885452778888\ 903399/914227167164809325745611946936090011212521669317509016148603\ 2267992513*c_0101_6^27 - 329555478102796253113241119442980600515998\ 0430863050633550230232038241210/91422716716480932574561194693609001\ 12125216693175090161486032267992513*c_0101_6^26 + 2200362977262727465150574246083123499515105645327205350950596427023\ 4539826/91422716716480932574561194693609001121252166931750901614860\ 32267992513*c_0101_6^25 + 32930556211478616150160425717383138197894\ 561834135234471910573133739211109/914227167164809325745611946936090\ 0112125216693175090161486032267992513*c_0101_6^24 - 1836899053046769755392410191388716107650890100876320433290864866480\ 83041383/9142271671648093257456119469360900112125216693175090161486\ 032267992513*c_0101_6^23 - 1610236307356499581544972472961560179408\ 83014150343939673980418441647714085/9142271671648093257456119469360\ 900112125216693175090161486032267992513*c_0101_6^22 + 9131576811271677159029720340389927596876079782406173681241296395062\ 96972421/9142271671648093257456119469360900112125216693175090161486\ 032267992513*c_0101_6^21 + 3010081900337956991343216549215076635034\ 97920614833529919403360896760693257/9142271671648093257456119469360\ 900112125216693175090161486032267992513*c_0101_6^20 - 2935332541721699490673668229115057835748990334857872628856620067332\ 653317394/914227167164809325745611946936090011212521669317509016148\ 6032267992513*c_0101_6^19 + 563337593853433871032182454744421050760\ 483232046016329118117065246128731165/914227167164809325745611946936\ 0900112125216693175090161486032267992513*c_0101_6^18 + 5448508539038140190327443955866864463415023230550220475309294316830\ 732415139/914227167164809325745611946936090011212521669317509016148\ 6032267992513*c_0101_6^17 - 274054814098997457174372014308361729759\ 0820298343514301430811154456843593846/91422716716480932574561194693\ 60900112125216693175090161486032267992513*c_0101_6^16 - 5814484256543983840453610614517065557572865881938664773018604890475\ 176034691/914227167164809325745611946936090011212521669317509016148\ 6032267992513*c_0101_6^15 + 316405726793563946539322675263584024216\ 6640050842741258563672923903487750889/91422716716480932574561194693\ 60900112125216693175090161486032267992513*c_0101_6^14 + 4973519929277358376875211367493698662884227518799603311035443445637\ 398404674/914227167164809325745611946936090011212521669317509016148\ 6032267992513*c_0101_6^13 - 154077921311892366555843556667063341538\ 3474937853465258007474441884814594511/91422716716480932574561194693\ 60900112125216693175090161486032267992513*c_0101_6^12 - 4532311236876064450217509225171288940889033520852285055288587179251\ 298689855/914227167164809325745611946936090011212521669317509016148\ 6032267992513*c_0101_6^11 + 815900333064504517155521506676556278336\ 304204252646023230365411754529081968/914227167164809325745611946936\ 0900112125216693175090161486032267992513*c_0101_6^10 + 3000292486750580049320844733222257413656515496951459208441068646338\ 057837160/914227167164809325745611946936090011212521669317509016148\ 6032267992513*c_0101_6^9 - 6137239030496157850347489622982858177586\ 75680347681632963311194159011936309/9142271671648093257456119469360\ 900112125216693175090161486032267992513*c_0101_6^8 - 1088848008254313576685564402001851864543914102454258588447179094025\ 596724180/914227167164809325745611946936090011212521669317509016148\ 6032267992513*c_0101_6^7 + 2114309397656338590791248829563282436610\ 92809292867048455992827224549266755/9142271671648093257456119469360\ 900112125216693175090161486032267992513*c_0101_6^6 + 1903307238170475678756210435203620507611791873298529500229122077300\ 28199116/9142271671648093257456119469360900112125216693175090161486\ 032267992513*c_0101_6^5 - 14663852848096632280124910555436024789971\ 094159712361551354734707002847622/914227167164809325745611946936090\ 0112125216693175090161486032267992513*c_0101_6^4 - 1217324062824895420452812734997991032774484881026302347436904155127\ 8576254/91422716716480932574561194693609001121252166931750901614860\ 32267992513*c_0101_6^3 - 196334723877240051151990411166717379711199\ 8608049450530733569949368197082/91422716716480932574561194693609001\ 12125216693175090161486032267992513*c_0101_6^2 + 4401602955330945757757353971144387432118587371752123757774350726242\ 37244/9142271671648093257456119469360900112125216693175090161486032\ 267992513*c_0101_6 + 8663016817860807283353575065466954874701255143\ 9880943717338781795656768/91422716716480932574561194693609001121252\ 16693175090161486032267992513, c_0101_0 - 135847817965784659171783567744896283089945028211958692135859\ 16293977365/9142271671648093257456119469360900112125216693175090161\ 486032267992513*c_0101_6^29 - 3175990818100741070308038005239066516\ 3981350145667064488209767347226902/91422716716480932574561194693609\ 00112125216693175090161486032267992513*c_0101_6^28 + 5464638354836309076142757258334192674712525840237715424087163172227\ 47849/9142271671648093257456119469360900112125216693175090161486032\ 267992513*c_0101_6^27 + 1720154689840027262488585022198512429366550\ 233287883319523709719428439158/914227167164809325745611946936090011\ 2125216693175090161486032267992513*c_0101_6^26 - 1135517749597450846557523063326895467919685620303508280925531690792\ 5455078/91422716716480932574561194693609001121252166931750901614860\ 32267992513*c_0101_6^25 - 17337099442115322610355971161711282924206\ 413312377114974052262858865455922/914227167164809325745611946936090\ 0112125216693175090161486032267992513*c_0101_6^24 + 9475301793442021149925569440677932914364356794998116874231683696367\ 2864877/91422716716480932574561194693609001121252166931750901614860\ 32267992513*c_0101_6^23 + 85739645852746968337644439035619777402298\ 372330741081026745802554418849964/914227167164809325745611946936090\ 0112125216693175090161486032267992513*c_0101_6^22 - 4712104501258546571584864544282382777110510726683601835768008960465\ 12704826/9142271671648093257456119469360900112125216693175090161486\ 032267992513*c_0101_6^21 - 1674326006754673842243025194265987427907\ 35965981673195242747264222416515633/9142271671648093257456119469360\ 900112125216693175090161486032267992513*c_0101_6^20 + 1517994243991578002937909591113164011217223215777034004233650657073\ 874546949/914227167164809325745611946936090011212521669317509016148\ 6032267992513*c_0101_6^19 - 255509452479497664650744350224584430036\ 742483269048420424556744597693090298/914227167164809325745611946936\ 0900112125216693175090161486032267992513*c_0101_6^18 - 2833539078197609751038457031975749855362956101890576563793878545591\ 649298312/914227167164809325745611946936090011212521669317509016148\ 6032267992513*c_0101_6^17 + 135569639544099132742074331192521109827\ 1306432996216499529097125426941029762/91422716716480932574561194693\ 60900112125216693175090161486032267992513*c_0101_6^16 + 3051898440492281211355907401864136831016462439081962532750591388867\ 622975080/914227167164809325745611946936090011212521669317509016148\ 6032267992513*c_0101_6^15 - 157645787138185010907013402006166616630\ 2239998889543901665145039320533058225/91422716716480932574561194693\ 60900112125216693175090161486032267992513*c_0101_6^14 - 2617444785732196122256944297202906072106080007362840191380383338055\ 009420096/914227167164809325745611946936090011212521669317509016148\ 6032267992513*c_0101_6^13 + 744907308524487839829351795429716490910\ 321627062351900799083138349339191960/914227167164809325745611946936\ 0900112125216693175090161486032267992513*c_0101_6^12 + 2367432491644682218972777776750075054889450053953039715167447891778\ 678510797/914227167164809325745611946936090011212521669317509016148\ 6032267992513*c_0101_6^11 - 371199773992147610610459657711388880974\ 831163128597311691522410817901707368/914227167164809325745611946936\ 0900112125216693175090161486032267992513*c_0101_6^10 - 1567294881668062712161837296616960249638123021709967925086832817053\ 240941953/914227167164809325745611946936090011212521669317509016148\ 6032267992513*c_0101_6^9 + 2859200993753513924651412403276656261870\ 97774158354717295970439387185665251/9142271671648093257456119469360\ 900112125216693175090161486032267992513*c_0101_6^8 + 5726607493613866381005625924725995245026503233967153022821245664203\ 44596091/9142271671648093257456119469360900112125216693175090161486\ 032267992513*c_0101_6^7 - 99332312483122662101829818713593844569189\ 123608555403928801045295757021441/914227167164809325745611946936090\ 0112125216693175090161486032267992513*c_0101_6^6 - 1005656118623830217773976745977195792503203401128174167366305722305\ 11778162/9142271671648093257456119469360900112125216693175090161486\ 032267992513*c_0101_6^5 + 59335397066540126298894305435551550054424\ 82421792078951924128485607955462/9142271671648093257456119469360900\ 112125216693175090161486032267992513*c_0101_6^4 + 6243229271274309563698640704247330185003952056383483461289363096811\ 247995/914227167164809325745611946936090011212521669317509016148603\ 2267992513*c_0101_6^3 + 1139125945726318512373722283504137920938763\ 186379913753700028131165729050/914227167164809325745611946936090011\ 2125216693175090161486032267992513*c_0101_6^2 - 2021899920562251774867751223172692069610547319970374537231644344793\ 46480/9142271671648093257456119469360900112125216693175090161486032\ 267992513*c_0101_6 - 4747501532934462115618376512789504687122396959\ 6906500831079554327137186/91422716716480932574561194693609001121252\ 16693175090161486032267992513, c_0101_1 + 213276653436936180915575077714268655093847120069063775684306\ 05531988626/9142271671648093257456119469360900112125216693175090161\ 486032267992513*c_0101_6^29 + 5018693165468454444202789380079330918\ 0305898266416515198604729675765659/91422716716480932574561194693609\ 00112125216693175090161486032267992513*c_0101_6^28 - 8568170501563434952962317451596259544395850526988078393351283804226\ 89515/9142271671648093257456119469360900112125216693175090161486032\ 267992513*c_0101_6^27 - 2712907917871605172281042490013979572981279\ 763849160126620706935888171112/914227167164809325745611946936090011\ 2125216693175090161486032267992513*c_0101_6^26 + 1777183927779313594487688614259795368873641240972411219662810684699\ 5221498/91422716716480932574561194693609001121252166931750901614860\ 32267992513*c_0101_6^25 + 27448885143893699663686549279909776443153\ 688557889924795172146123452306378/914227167164809325745611946936090\ 0112125216693175090161486032267992513*c_0101_6^24 - 1480443909182040542872071483662415684026297264277231700918504182259\ 21267489/9142271671648093257456119469360900112125216693175090161486\ 032267992513*c_0101_6^23 - 1365037068330331380740200634598277335565\ 85367234426717956021104150961735470/9142271671648093257456119469360\ 900112125216693175090161486032267992513*c_0101_6^22 + 7352844157228282335955250353876767305423652854713185876811864085727\ 57214750/9142271671648093257456119469360900112125216693175090161486\ 032267992513*c_0101_6^21 + 2725733580359201676675670642965318917741\ 74348131971429098790532862083477660/9142271671648093257456119469360\ 900112125216693175090161486032267992513*c_0101_6^20 - 2367395176137370517963674729500647634759047372910484550448494719002\ 872045607/914227167164809325745611946936090011212521669317509016148\ 6032267992513*c_0101_6^19 + 366010390998542540408548334879657993755\ 712370853945019758317692024865840862/914227167164809325745611946936\ 0900112125216693175090161486032267992513*c_0101_6^18 + 4418822959863018354748952685705755353654118808814365596358563272365\ 367416687/914227167164809325745611946936090011212521669317509016148\ 6032267992513*c_0101_6^17 - 204539662394761613690492497596622990735\ 8759998787797871130648345966358698266/91422716716480932574561194693\ 60900112125216693175090161486032267992513*c_0101_6^16 - 4765466111754032651893679111116141634423281753719825811318107692544\ 881055455/914227167164809325745611946936090011212521669317509016148\ 6032267992513*c_0101_6^15 + 235812984066563926608949276554989329752\ 1813313443651543920578881299053302511/91422716716480932574561194693\ 60900112125216693175090161486032267992513*c_0101_6^14 + 4097394054482829737201740097187499824641336488383629810252174523491\ 878214459/914227167164809325745611946936090011212521669317509016148\ 6032267992513*c_0101_6^13 - 106843854500679769008571689069619053464\ 3914295539412437361755818876702635422/91422716716480932574561194693\ 60900112125216693175090161486032267992513*c_0101_6^12 - 3692983676232730528565616284628228646821493094465379999083054383475\ 426839072/914227167164809325745611946936090011212521669317509016148\ 6032267992513*c_0101_6^11 + 509737097271260661355982416660477442685\ 995160728546063945249082471561950134/914227167164809325745611946936\ 0900112125216693175090161486032267992513*c_0101_6^10 + 2426616650927597887402424195639408870617494442425954611693914118122\ 213775015/914227167164809325745611946936090011212521669317509016148\ 6032267992513*c_0101_6^9 - 3972011564676910060678648321678370471662\ 30761313066567698480610152006484070/9142271671648093257456119469360\ 900112125216693175090161486032267992513*c_0101_6^8 - 8831760060165302370149916776245752175613945862940873338266130581214\ 21302459/9142271671648093257456119469360900112125216693175090161486\ 032267992513*c_0101_6^7 + 13378073034601134972221498225048036893100\ 4441949372037184773413335500754576/91422716716480932574561194693609\ 00112125216693175090161486032267992513*c_0101_6^6 + 1553773952191714870544977055778722797544679789543275084274878483533\ 93837182/9142271671648093257456119469360900112125216693175090161486\ 032267992513*c_0101_6^5 - 57662920771933742499832495580254190188213\ 29477888345531177874373687701137/9142271671648093257456119469360900\ 112125216693175090161486032267992513*c_0101_6^4 - 9547687420263216756002670048188583989928730847446808145383726331311\ 434510/914227167164809325745611946936090011212521669317509016148603\ 2267992513*c_0101_6^3 - 1738951837977949185514651063432645708432196\ 962980885116339107964187506175/914227167164809325745611946936090011\ 2125216693175090161486032267992513*c_0101_6^2 + 2878458544123430579117908761223426841186299730698033097583544461850\ 74875/9142271671648093257456119469360900112125216693175090161486032\ 267992513*c_0101_6 + 6732227880142545283403857008531510514913245086\ 2534266827484584908750523/91422716716480932574561194693609001121252\ 16693175090161486032267992513, c_0101_2 - 404076042473989128428961606817152827834573777264211858989331\ 12684807784/9142271671648093257456119469360900112125216693175090161\ 486032267992513*c_0101_6^29 - 9441151586048235569542355877544987997\ 3101730576210918573352819750470854/91422716716480932574561194693609\ 00112125216693175090161486032267992513*c_0101_6^28 + 1625126384794544924303352317776108947710052816123217107260806141943\ 556809/914227167164809325745611946936090011212521669317509016148603\ 2267992513*c_0101_6^27 + 511330766263135320254163698831986965837419\ 1919073209985335333992095205233/91422716716480932574561194693609001\ 12125216693175090161486032267992513*c_0101_6^26 - 3376470982367728457623063239248555821830380299941579684369770222998\ 6724045/91422716716480932574561194693609001121252166931750901614860\ 32267992513*c_0101_6^25 - 51468660072907114989406325785430331989986\ 318848343523167082735754644064787/914227167164809325745611946936090\ 0112125216693175090161486032267992513*c_0101_6^24 + 2815281862626725574899016570680794677387914310693604309641558686671\ 85171396/9142271671648093257456119469360900112125216693175090161486\ 032267992513*c_0101_6^23 + 2541720785456704320244122288401213718623\ 56633328593441571819814068190593860/9142271671648093257456119469360\ 900112125216693175090161486032267992513*c_0101_6^22 - 1398811753419425240700726543473884502285933213262645134805208001493\ 689720216/914227167164809325745611946936090011212521669317509016148\ 6032267992513*c_0101_6^21 - 494172187030780721898993499663505490790\ 842954152794580956738183100181365446/914227167164809325745611946936\ 0900112125216693175090161486032267992513*c_0101_6^20 + 4500742021840904900409916031254176434466850241604211375053174884668\ 430654209/914227167164809325745611946936090011212521669317509016148\ 6032267992513*c_0101_6^19 - 767267611872939703864259590200316965259\ 833160318028682742442752393718708276/914227167164809325745611946936\ 0900112125216693175090161486032267992513*c_0101_6^18 - 8381168751040643786800538023373486440176278213638793233398777241635\ 906654047/914227167164809325745611946936090011212521669317509016148\ 6032267992513*c_0101_6^17 + 402289838577425099078250410550377938547\ 0044247597186189762041239877260102136/91422716716480932574561194693\ 60900112125216693175090161486032267992513*c_0101_6^16 + 8997950250933258028188303568818571693279249801995507190963084961550\ 563333318/914227167164809325745611946936090011212521669317509016148\ 6032267992513*c_0101_6^15 - 464214208824466979399982301131623269487\ 5533830319984389422781541534033563040/91422716716480932574561194693\ 60900112125216693175090161486032267992513*c_0101_6^14 - 7717652062597082250801450263579377054810003553191525038979238225726\ 479387700/914227167164809325745611946936090011212521669317509016148\ 6032267992513*c_0101_6^13 + 217388493823097755830912676474343174644\ 1897745191782309081575168112969788851/91422716716480932574561194693\ 60900112125216693175090161486032267992513*c_0101_6^12 + 6988165316939028706081225178557588228338030982307552330256706462026\ 691490596/914227167164809325745611946936090011212521669317509016148\ 6032267992513*c_0101_6^11 - 109043945740458580924954187386204499082\ 5662725468205977873461344225069353520/91422716716480932574561194693\ 60900112125216693175090161486032267992513*c_0101_6^10 - 4606832628762742870428385500458409339591422764086750110058625184284\ 810492392/914227167164809325745611946936090011212521669317509016148\ 6032267992513*c_0101_6^9 + 8363576429611447624934927947113146826688\ 52346122921140327177349997240031266/9142271671648093257456119469360\ 900112125216693175090161486032267992513*c_0101_6^8 + 1674002138652199222261835583456452784183088306433145432187281546442\ 835605124/914227167164809325745611946936090011212521669317509016148\ 6032267992513*c_0101_6^7 - 2852654762777372191274624498117926634763\ 48020660032956409176721205133019683/9142271671648093257456119469360\ 900112125216693175090161486032267992513*c_0101_6^6 - 2933413576913092653147532880518175406450756452121624853136048534061\ 50201736/9142271671648093257456119469360900112125216693175090161486\ 032267992513*c_0101_6^5 + 16142637134452757322361064648318965739916\ 257527460276286753546121233742995/914227167164809325745611946936090\ 0112125216693175090161486032267992513*c_0101_6^4 + 1833238187477492465601311212574766080369651499471765963583100185018\ 0136369/91422716716480932574561194693609001121252166931750901614860\ 32267992513*c_0101_6^3 + 313769927182218721795893592369145841693964\ 8960325712437018040046818120590/91422716716480932574561194693609001\ 12125216693175090161486032267992513*c_0101_6^2 - 6144291074605579106068770996269784778930325960187711642530628887039\ 97505/9142271671648093257456119469360900112125216693175090161486032\ 267992513*c_0101_6 - 1276703074949139036546176432089672473026215406\ 18452504466622297477508452/9142271671648093257456119469360900112125\ 216693175090161486032267992513, c_0101_6^30 + 2*c_0101_6^29 - 41*c_0101_6^28 - 113*c_0101_6^27 + 878*c_0101_6^26 + 992*c_0101_6^25 - 7392*c_0101_6^24 - 3940*c_0101_6^23 + 36702*c_0101_6^22 + 552*c_0101_6^21 - 115337*c_0101_6^20 + 56527*c_0101_6^19 + 200497*c_0101_6^18 - 169271*c_0101_6^17 - 188160*c_0101_6^16 + 189331*c_0101_6^15 + 151197*c_0101_6^14 - 117444*c_0101_6^13 - 153870*c_0101_6^12 + 84842*c_0101_6^11 + 104068*c_0101_6^10 - 58897*c_0101_6^9 - 33862*c_0101_6^8 + 20865*c_0101_6^7 + 4652*c_0101_6^6 - 2781*c_0101_6^5 - 280*c_0101_6^4 + 66*c_0101_6^3 + 40*c_0101_6^2 - 2*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB