Magma V2.19-8 Tue Aug 20 2013 16:18:40 on localhost [Seed = 2648440977] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2835 geometric_solution 6.05537120 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 3 0132 0132 0132 3201 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 0 1 -1 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.692390996576 2.099149449029 0 4 6 5 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.565207128127 1.210533125579 4 0 5 6 2310 0132 3201 0132 0 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 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.565207128127 1.210533125579 3 0 3 0 2031 2310 1302 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 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.605430324500 0.645147261214 4 1 2 4 3201 0132 3201 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.094721821648 0.494468628835 2 5 1 5 2310 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.573941216645 0.662402413043 6 6 2 1 1302 2031 0132 0132 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 0 0 0 0 0 0 0.152344006241 0.553856280114 ==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' : negation(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' : negation(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_5']), 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_5']), 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : negation(d['c_0011_3']), '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' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0011_6'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_6']), 'c_0110_5' : negation(d['c_0101_2']), 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_3, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 182168691269419239904830077914917791329264200351724906395198579118/\ 75288582175054532789670452582080371346225062598552693576055729813*c\ _0101_2^20 + 252407074905526159535434855130624429689732140581304310\ 69784635633873/7528858217505453278967045258208037134622506259855269\ 3576055729813*c_0101_2^19 - 365477141520739681948183539958458914599\ 600580273449203767858456068866/752885821750545327896704525820803713\ 46225062598552693576055729813*c_0101_2^18 + 1543255747615180415100532634287054395808227158550311076594129868533\ 414/752885821750545327896704525820803713462250625985526935760557298\ 13*c_0101_2^17 - 11685585476495722231867468320632028676463533769558\ 60344730914605561656/7528858217505453278967045258208037134622506259\ 8552693576055729813*c_0101_2^16 - 396952279628828185967942509800878\ 2049150279624919049345793173642865068/75288582175054532789670452582\ 080371346225062598552693576055729813*c_0101_2^15 - 2053161588873843028784492518148761604057171204354768142441258356555\ 09/7528858217505453278967045258208037134622506259855269357605572981\ 3*c_0101_2^14 + 905953005277229079779986360608033730714809641813005\ 1972859221551841190/75288582175054532789670452582080371346225062598\ 552693576055729813*c_0101_2^13 + 1430766761124916192310640779032790\ 1562756526849766132005527415039209950/75288582175054532789670452582\ 080371346225062598552693576055729813*c_0101_2^12 - 7628563024562999181937408418201514985692520628234311656742209457050\ 808/752885821750545327896704525820803713462250625985526935760557298\ 13*c_0101_2^11 - 15672966588754517253493066959502509440773120800742\ 336722591496981974081/752885821750545327896704525820803713462250625\ 98552693576055729813*c_0101_2^10 + 1321154235215936233886475088060503176733695224944056225379414841316\ 6006/75288582175054532789670452582080371346225062598552693576055729\ 813*c_0101_2^9 + 22521324494445925521340087978433798873589579371410\ 558206859203836071628/752885821750545327896704525820803713462250625\ 98552693576055729813*c_0101_2^8 - 198657657273858552211365180688034\ 9550945519867290468283159515545010095/75288582175054532789670452582\ 080371346225062598552693576055729813*c_0101_2^7 - 1682588633084496530485333465787202501909538242535830333396246791681\ 4042/75288582175054532789670452582080371346225062598552693576055729\ 813*c_0101_2^6 - 33294197437925482214063067867767254995094760738839\ 26195039375329883454/7528858217505453278967045258208037134622506259\ 8552693576055729813*c_0101_2^5 + 6132577068019330996522810607282219\ 060620397403996829619471281601513926/752885821750545327896704525820\ 80371346225062598552693576055729813*c_0101_2^4 - 2168377819564071898212902884246589444405503677249662965310193655170\ 2/75288582175054532789670452582080371346225062598552693576055729813\ *c_0101_2^3 - 22302879800117692741518091099727609274651558466421661\ 34332766583389293/7528858217505453278967045258208037134622506259855\ 2693576055729813*c_0101_2^2 - 1895106552650752269730864509556042200\ 89281751946992348338122671163968/7528858217505453278967045258208037\ 1346225062598552693576055729813*c_0101_2 + 1402417853727812368535653284946029583403458201699454988755186428638\ 54/7528858217505453278967045258208037134622506259855269357605572981\ 3, c_0011_0 - 1, c_0011_3 - 576288925394163733075505697949109889329888640593308130069636\ 7/730957108495675075627868471670683216953641384451967898796657571*c\ _0101_2^20 - 800106695988554678520180690420822972237717052101434387\ 380743527/730957108495675075627868471670683216953641384451967898796\ 657571*c_0101_2^19 + 1133965970187188395601619060231594790083920118\ 6137307688698395477/73095710849567507562786847167068321695364138445\ 1967898796657571*c_0101_2^18 - 452710875405889699994032583047937984\ 82330276510935358949869594220/7309571084956750756278684716706832169\ 53641384451967898796657571*c_0101_2^17 + 18475768363664964220529845341289561010952946819618729694393973543/7\ 30957108495675075627868471670683216953641384451967898796657571*c_01\ 01_2^16 + 160458942981046969147973361275366940054199025780647815301\ 378873611/730957108495675075627868471670683216953641384451967898796\ 657571*c_0101_2^15 - 2269838582068728536218040254165232900215740168\ 643226673415006700/730957108495675075627868471670683216953641384451\ 967898796657571*c_0101_2^14 - 2809442670948944541476798394108943307\ 96717938393244024334886530887/7309571084956750756278684716706832169\ 53641384451967898796657571*c_0101_2^13 - 532971164329318490242611606488979748643706859561024609303873284452/\ 730957108495675075627868471670683216953641384451967898796657571*c_0\ 101_2^12 + 21875006966386103960997246265307378865186537400144492390\ 3201034482/73095710849567507562786847167068321695364138445196789879\ 6657571*c_0101_2^11 + 607183336250651507328954666720933157572154753\ 972402550931120064076/730957108495675075627868471670683216953641384\ 451967898796657571*c_0101_2^10 - 4397240457351516770665667701416980\ 16006190402506296211986370999303/7309571084956750756278684716706832\ 16953641384451967898796657571*c_0101_2^9 - 815426763722451671623573142876622619524877459439490581906069232671/\ 730957108495675075627868471670683216953641384451967898796657571*c_0\ 101_2^8 + 228784903276750847059648001624269059643198714311190400051\ 44928686/7309571084956750756278684716706832169536413844519678987966\ 57571*c_0101_2^7 + 608734540627730543505923722037034122216694197012\ 423815766267895806/730957108495675075627868471670683216953641384451\ 967898796657571*c_0101_2^6 + 14233957112103362009225655434803030901\ 4774472304422423530014368283/73095710849567507562786847167068321695\ 3641384451967898796657571*c_0101_2^5 - 226216915149489514513385820582153114940504948227825091265212554573/\ 730957108495675075627868471670683216953641384451967898796657571*c_0\ 101_2^4 - 865861291264536692671692537494525422059942945445875358907\ 218870/730957108495675075627868471670683216953641384451967898796657\ 571*c_0101_2^3 + 79422881370337339711431636131526863525393385036156\ 426467872387965/730957108495675075627868471670683216953641384451967\ 898796657571*c_0101_2^2 + 74625861478215818558264947243522070345715\ 59445461651103819025138/7309571084956750756278684716706832169536413\ 84451967898796657571*c_0101_2 - 43904300015313006569961582402035493\ 98597825721329166864756662232/7309571084956750756278684716706832169\ 53641384451967898796657571, c_0011_5 - 617820319309472864894680190175907981795124735487115615594270\ 2/730957108495675075627868471670683216953641384451967898796657571*c\ _0101_2^20 - 850569352593745355654365234280430159192652463343536638\ 069007890/730957108495675075627868471670683216953641384451967898796\ 657571*c_0101_2^19 + 1314566111005410865808817261559915092166441872\ 8185505659332185519/73095710849567507562786847167068321695364138445\ 1967898796657571*c_0101_2^18 - 641616650448246667756356444763889772\ 82055437150223224972976718304/7309571084956750756278684716706832169\ 53641384451967898796657571*c_0101_2^17 + 99452968214475420808481646321913165633445381832496990708938799383/7\ 30957108495675075627868471670683216953641384451967898796657571*c_01\ 01_2^16 + 315801523286720605644800233948745077073246931800455308021\ 39292749/7309571084956750756278684716706832169536413844519678987966\ 57571*c_0101_2^15 + 20955447669577903232308461917025838942038762063\ 84131551586546261/7309571084956750756278684716706832169536413844519\ 67898796657571*c_0101_2^14 - 29817189824768046709558720901637029649\ 9983007862865332429871741918/73095710849567507562786847167068321695\ 3641384451967898796657571*c_0101_2^13 - 230426201060114566146740949875442189985873221304812551605040183909/\ 730957108495675075627868471670683216953641384451967898796657571*c_0\ 101_2^12 + 39734504751729222914405000822200248082850904364441074725\ 2804966935/73095710849567507562786847167068321695364138445196789879\ 6657571*c_0101_2^11 + 125716771626738593214641403568400752391244562\ 381566467125591820221/730957108495675075627868471670683216953641384\ 451967898796657571*c_0101_2^10 - 4458074457705240644172547386478715\ 45602546653033449372721184204944/7309571084956750756278684716706832\ 16953641384451967898796657571*c_0101_2^9 - 344155907776871432702982299762381356043982991725030233437315816205/\ 730957108495675075627868471670683216953641384451967898796657571*c_0\ 101_2^8 + 242248730995555255728929137382497863866890273710106590365\ 195055267/730957108495675075627868471670683216953641384451967898796\ 657571*c_0101_2^7 + 29270208261294814024708178810665115710892269151\ 7968419370023718091/73095710849567507562786847167068321695364138445\ 1967898796657571*c_0101_2^6 - 6811204496859977503368457255047731772\ 5906272536454725227162175824/73095710849567507562786847167068321695\ 3641384451967898796657571*c_0101_2^5 - 78585940413122566516978798396233432284905149074262269716178290136/7\ 30957108495675075627868471670683216953641384451967898796657571*c_01\ 01_2^4 + 3468038159428670732505521338158916289128831338817315131001\ 5661992/73095710849567507562786847167068321695364138445196789879665\ 7571*c_0101_2^3 + 2584553244183600851296499960524888774625824780741\ 6052295615824478/73095710849567507562786847167068321695364138445196\ 7898796657571*c_0101_2^2 - 2730831230846486259237696001958757224443\ 95963227158559888767051/7309571084956750756278684716706832169536413\ 84451967898796657571*c_0101_2 - 15443575646725975109375007059912201\ 37781972180379650226825998171/7309571084956750756278684716706832169\ 53641384451967898796657571, c_0011_6 - 536266763490902669064874648408053106841/16243418682637353387\ 332940314935887163733*c_0101_2^20 - 73970212529427717706410332988670885768680/1624341868263735338733294\ 0314935887163733*c_0101_2^19 + 112169762874328705713367632398200647\ 2466943/16243418682637353387332940314935887163733*c_0101_2^18 - 5260438130351021295501026474100482622135569/16243418682637353387332\ 940314935887163733*c_0101_2^17 + 7027499425761225820210246864076573\ 623350411/16243418682637353387332940314935887163733*c_0101_2^16 + 5741862931501859914779661020949819553804225/16243418682637353387332\ 940314935887163733*c_0101_2^15 - 4488742577821511348693486168913722\ 11524679/16243418682637353387332940314935887163733*c_0101_2^14 - 25632655331447799773477912773679804969108263/1624341868263735338733\ 2940314935887163733*c_0101_2^13 - 267729014893383444395042501434659\ 66120543760/16243418682637353387332940314935887163733*c_0101_2^12 + 32306799477903882940170690628253526715898791/1624341868263735338733\ 2940314935887163733*c_0101_2^11 + 210204469059328144126708954166836\ 69605544794/16243418682637353387332940314935887163733*c_0101_2^10 - 40795902896435037127230879350171077860715983/1624341868263735338733\ 2940314935887163733*c_0101_2^9 - 3926889012393773190497554517577663\ 6127838368/16243418682637353387332940314935887163733*c_0101_2^8 + 17915964693349597268291945421674660219683664/1624341868263735338733\ 2940314935887163733*c_0101_2^7 + 3233845480392675719939311316294349\ 1390498358/16243418682637353387332940314935887163733*c_0101_2^6 - 2852336586440203455696918841522917677825669/16243418682637353387332\ 940314935887163733*c_0101_2^5 - 10030044300748032256868619507307452\ 648489828/16243418682637353387332940314935887163733*c_0101_2^4 + 2954920885026635216607286493500874444112538/16243418682637353387332\ 940314935887163733*c_0101_2^3 + 32524088958245537599786198161616621\ 49016814/16243418682637353387332940314935887163733*c_0101_2^2 + 32622934610441731838413770898597978502377/1624341868263735338733294\ 0314935887163733*c_0101_2 - 166645777529148226453030165960890964571\ 906/16243418682637353387332940314935887163733, c_0101_0 + 123636393384346236141829428145680946220504867056818564450192\ 26/730957108495675075627868471670683216953641384451967898796657571*\ c_0101_2^20 + 17029158957289269233889536828925907660749996367710801\ 51741395666/7309571084956750756278684716706832169536413844519678987\ 96657571*c_0101_2^19 - 26199940137320568695842925903321502891436372\ 998649702498996056089/730957108495675075627868471670683216953641384\ 451967898796657571*c_0101_2^18 + 1266251443405789164090911371204520\ 52031712313636627760268186735978/7309571084956750756278684716706832\ 16953641384451967898796657571*c_0101_2^17 - 189130286882495068911173752470515032836395704437135283353284834814/\ 730957108495675075627868471670683216953641384451967898796657571*c_0\ 101_2^16 - 85089945756408672703695769529356454023457280438336502057\ 379332548/730957108495675075627868471670683216953641384451967898796\ 657571*c_0101_2^15 + 9401520451923869445950092014364032073833224256\ 441246145248477097/730957108495675075627868471670683216953641384451\ 967898796657571*c_0101_2^14 + 5933424909062885691251632932534452077\ 82949759397443997113504688784/7309571084956750756278684716706832169\ 53641384451967898796657571*c_0101_2^13 + 496260883303935237084467339230413040066285666092486031557459865577/\ 730957108495675075627868471670683216953641384451967898796657571*c_0\ 101_2^12 - 80166487400742873660597891751748557121811421017019184883\ 2219769920/73095710849567507562786847167068321695364138445196789879\ 6657571*c_0101_2^11 - 314598233445338586228688523885084853861929192\ 117082845753060814555/730957108495675075627868471670683216953641384\ 451967898796657571*c_0101_2^10 + 9454352949990354504452998673614444\ 44668817968667452410636299009921/7309571084956750756278684716706832\ 16953641384451967898796657571*c_0101_2^9 + 725553915011317928961435049521370254266290189486348111043082809064/\ 730957108495675075627868471670683216953641384451967898796657571*c_0\ 101_2^8 - 499458304846056438539477016138072140598650190090568961397\ 040176918/730957108495675075627868471670683216953641384451967898796\ 657571*c_0101_2^7 - 62580615013982519119970713423503555853499787411\ 6109843853368433272/73095710849567507562786847167068321695364138445\ 1967898796657571*c_0101_2^6 + 1468854255973695954771490169918624244\ 13205480731732388980198989793/7309571084956750756278684716706832169\ 53641384451967898796657571*c_0101_2^5 + 183183561778385445150080342987305311784728543838451236434113701948/\ 730957108495675075627868471670683216953641384451967898796657571*c_0\ 101_2^4 - 842764348854070339977098965378376763005120640597430945597\ 24341430/7309571084956750756278684716706832169536413844519678987966\ 57571*c_0101_2^3 - 542234377715240551935193658348788843968907083612\ 94149720653891490/7309571084956750756278684716706832169536413844519\ 67898796657571*c_0101_2^2 + 308031285714174605293179807618551786477\ 8126201419716597151953801/73095710849567507562786847167068321695364\ 1384451967898796657571*c_0101_2 + 233549711361263379771858769407357\ 8599159625957930080830432587925/73095710849567507562786847167068321\ 6953641384451967898796657571, c_0101_1 + 150103961756070285595351840691098069769448391339937144953007\ 50/730957108495675075627868471670683216953641384451967898796657571*\ c_0101_2^20 + 20751165584368333530977213295682028567156784816849757\ 00027144057/7309571084956750756278684716706832169536413844519678987\ 96657571*c_0101_2^19 - 30758080032562597562357682463940212426828899\ 519593088419505328158/730957108495675075627868471670683216953641384\ 451967898796657571*c_0101_2^18 + 1371570304754097406872270010697623\ 35829086847510013018991017022453/7309571084956750756278684716706832\ 16953641384451967898796657571*c_0101_2^17 - 145388144024623233074872523961701852688994796734143346793787099184/\ 730957108495675075627868471670683216953641384451967898796657571*c_0\ 101_2^16 - 25104038220931925393913942276103522171301507073886686717\ 6441632877/73095710849567507562786847167068321695364138445196789879\ 6657571*c_0101_2^15 + 164239231052505077089156070617013733872003795\ 82542481631327328206/7309571084956750756278684716706832169536413844\ 51967898796657571*c_0101_2^14 + 71382034449300436003466258845600805\ 8319576627156058813151425765575/73095710849567507562786847167068321\ 6953641384451967898796657571*c_0101_2^13 + 974773977661942799923812483796418888093401027602225079107899754481/\ 730957108495675075627868471670683216953641384451967898796657571*c_0\ 101_2^12 - 79989502389538608119884779285485943761934054196294568177\ 2950331144/73095710849567507562786847167068321695364138445196789879\ 6657571*c_0101_2^11 - 914299590637608607463424331391703887555027498\ 087890429980932051999/730957108495675075627868471670683216953641384\ 451967898796657571*c_0101_2^10 + 1147466803147150206697944923395068\ 210195453584019689345656986628752/730957108495675075627868471670683\ 216953641384451967898796657571*c_0101_2^9 + 1433956880963197019311173986955523232809304472937533059164717548677\ /730957108495675075627868471670683216953641384451967898796657571*c_\ 0101_2^8 - 34595827258965716371009162171027288930021668283928540189\ 5707263001/73095710849567507562786847167068321695364138445196789879\ 6657571*c_0101_2^7 - 1131340355648333930588326288600965890872853692\ 959654232284136048999/730957108495675075627868471670683216953641384\ 451967898796657571*c_0101_2^6 - 65776051585761754498384974814282098\ 571736419655702134805574902427/730957108495675075627868471670683216\ 953641384451967898796657571*c_0101_2^5 + 377398207611478525670698885245826678475197892751345097611754721061/\ 730957108495675075627868471670683216953641384451967898796657571*c_0\ 101_2^4 - 544563849561642656576382751284764958320172605494307782049\ 14910069/7309571084956750756278684716706832169536413844519678987966\ 57571*c_0101_2^3 - 127828682927054630018974592900188249383278708606\ 039897958223418694/730957108495675075627868471670683216953641384451\ 967898796657571*c_0101_2^2 - 84614068769024625882493186565923369452\ 93828741383961244106084422/7309571084956750756278684716706832169536\ 41384451967898796657571*c_0101_2 + 7436923222224356714828874660482264006687485883862919749267384151/73\ 0957108495675075627868471670683216953641384451967898796657571, c_0101_2^21 + 138*c_0101_2^20 - 2083*c_0101_2^19 + 9644*c_0101_2^18 - 11991*c_0101_2^17 - 14001*c_0101_2^16 + 4459*c_0101_2^15 + 47726*c_0101_2^14 + 52927*c_0101_2^13 - 67566*c_0101_2^12 - 48085*c_0101_2^11 + 89695*c_0101_2^10 + 77534*c_0101_2^9 - 45022*c_0101_2^8 - 69284*c_0101_2^7 + 12622*c_0101_2^6 + 25971*c_0101_2^5 - 9294*c_0101_2^4 - 7618*c_0101_2^3 + 1385*c_0101_2^2 + 574*c_0101_2 - 103 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB