Magma V2.19-8 Tue Aug 20 2013 16:17:24 on localhost [Seed = 3035965567] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1639 geometric_solution 5.38131162 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 1023 1023 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 1 -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.477235872163 0.305280592161 0 3 0 3 0132 0132 1023 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 -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.477235872163 0.305280592161 4 0 5 0 0132 0132 0132 1023 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 -1 0 0 1 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.180674968249 1.877521348095 4 1 5 1 3201 0132 2310 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 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 1.180674968249 1.877521348095 2 4 4 3 0132 3201 2310 2310 0 0 0 0 0 1 -1 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 0 0 0 1 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 0.006150558888 0.795840785154 6 3 6 2 0132 3201 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.374464804234 1.262078077663 5 5 6 6 0132 3201 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.309381496774 0.194572958645 ==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' : negation(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' : 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_0101_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' : d['c_0011_5'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : negation(d['c_0011_5']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_2']), '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' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_4']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_4']), 'c_1010_0' : d['c_0101_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_5, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 504776632272528844401378571943185104680133955815444832/816709399811\ 6600726972038503673368439036631828664811*c_0101_5^23 - 3076425390754224346682283625842542729567259977723607248/81670939981\ 16600726972038503673368439036631828664811*c_0101_5^22 + 3067017336683553899163796409508401295710348809094199552/81670939981\ 16600726972038503673368439036631828664811*c_0101_5^21 - 9877074737900995893725037674836842274082040399357503968/81670939981\ 16600726972038503673368439036631828664811*c_0101_5^20 + 17072589564857913100020465089332784976872050484607761424/8167093998\ 116600726972038503673368439036631828664811*c_0101_5^19 + 8008795787460539842728782727426463991362065848264480756/81670939981\ 16600726972038503673368439036631828664811*c_0101_5^18 + 70413268234837213243047255237131457586972356745320925152/8167093998\ 116600726972038503673368439036631828664811*c_0101_5^17 - 66311633262568629918122114827230722735370710573868856990/8167093998\ 116600726972038503673368439036631828664811*c_0101_5^16 + 4761386148211153416961565093901793534547610034198121492/81670939981\ 16600726972038503673368439036631828664811*c_0101_5^15 + 320348017711382532732869447200150259426712199603324157861/816709399\ 8116600726972038503673368439036631828664811*c_0101_5^14 + 902339376810512983856431929680570056370055732518496159810/816709399\ 8116600726972038503673368439036631828664811*c_0101_5^13 + 1014938375259677002841265600195835865867516888705070040545/81670939\ 98116600726972038503673368439036631828664811*c_0101_5^12 + 339293500548958074229804710868489986871468334787110471393/816709399\ 8116600726972038503673368439036631828664811*c_0101_5^11 - 459875070507888881608986988977675160316874045496222011001/816709399\ 8116600726972038503673368439036631828664811*c_0101_5^10 - 693280192815749080648164339412355772559531842057068559207/816709399\ 8116600726972038503673368439036631828664811*c_0101_5^9 - 548617057475896728150367098779583629119163488688712590054/816709399\ 8116600726972038503673368439036631828664811*c_0101_5^8 - 346607929245150365826531590578858871003727628705625827501/816709399\ 8116600726972038503673368439036631828664811*c_0101_5^7 - 197630779752565447223814598379817970036231186100028272227/816709399\ 8116600726972038503673368439036631828664811*c_0101_5^6 - 88748078164347504404607789518425205908823343868511087380/8167093998\ 116600726972038503673368439036631828664811*c_0101_5^5 - 33528717694027593029836590965940378935695474697143759175/8167093998\ 116600726972038503673368439036631828664811*c_0101_5^4 - 12893380952897298453611842569656727441499904973294555358/8167093998\ 116600726972038503673368439036631828664811*c_0101_5^3 - 3600310359048137998154459966993155712810915995420305541/81670939981\ 16600726972038503673368439036631828664811*c_0101_5^2 - 1144836980276432372525606056206642340833727464730761620/81670939981\ 16600726972038503673368439036631828664811*c_0101_5 - 518285991264800589600417318093251855198316893923996445/816709399811\ 6600726972038503673368439036631828664811, c_0011_0 - 1, c_0011_5 - 24493491632892684641500520898890316717618462365896/263454645\ 100535507321678661408818336743117155763381*c_0101_5^23 + 73598265890476742791506295777609960596771056655152/2634546451005355\ 07321678661408818336743117155763381*c_0101_5^22 + 317428802797244173733521331324066583127192748096484/263454645100535\ 507321678661408818336743117155763381*c_0101_5^21 + 2632727196212722163321149258145773768331526851936/26345464510053550\ 7321678661408818336743117155763381*c_0101_5^20 + 602556428584968842309692321142800876609736672214680/263454645100535\ 507321678661408818336743117155763381*c_0101_5^19 - 2988953177980955511737070265175755296538633668171764/26345464510053\ 5507321678661408818336743117155763381*c_0101_5^18 - 4657958569532058765584692462726611722847500220027241/26345464510053\ 5507321678661408818336743117155763381*c_0101_5^17 - 6905153843838494671977002301456905533825442748578865/26345464510053\ 5507321678661408818336743117155763381*c_0101_5^16 + 10857836210674765044417908308952499577802487103689100/2634546451005\ 35507321678661408818336743117155763381*c_0101_5^15 - 15169632830932886563185089164404189672849304401709581/2634546451005\ 35507321678661408818336743117155763381*c_0101_5^14 - 93196211015371583829220120836251772139555409628169737/2634546451005\ 35507321678661408818336743117155763381*c_0101_5^13 - 182403903872378615111293917253817072954744651187503606/263454645100\ 535507321678661408818336743117155763381*c_0101_5^12 - 150005138835191449141929327198325131534248498915008980/263454645100\ 535507321678661408818336743117155763381*c_0101_5^11 + 8026698135865810157858076036132118317972047621381135/26345464510053\ 5507321678661408818336743117155763381*c_0101_5^10 + 135176182141843257472071395790820078733207447624505237/263454645100\ 535507321678661408818336743117155763381*c_0101_5^9 + 132258788592531991721156018398648715138381347992597698/263454645100\ 535507321678661408818336743117155763381*c_0101_5^8 + 72747140531558725257475999836556647730654840211523389/2634546451005\ 35507321678661408818336743117155763381*c_0101_5^7 + 34307606912077863128521739088885110331792630550454899/2634546451005\ 35507321678661408818336743117155763381*c_0101_5^6 + 17932659860498040031013998269074643049331279240032720/2634546451005\ 35507321678661408818336743117155763381*c_0101_5^5 + 6601513267262598140557222817561664843923192960971608/26345464510053\ 5507321678661408818336743117155763381*c_0101_5^4 + 1224271231018143423419535706366250494371124918485109/26345464510053\ 5507321678661408818336743117155763381*c_0101_5^3 + 502859443745995743725015047582373433587899335693538/263454645100535\ 507321678661408818336743117155763381*c_0101_5^2 - 159773052703226393358490274364068849720604702154496/263454645100535\ 507321678661408818336743117155763381*c_0101_5 + 85911681876705602001624665611318943579369858445810/2634546451005355\ 07321678661408818336743117155763381, c_0101_0 + 765002217687021321180225683096897495275650173391608/26345464\ 5100535507321678661408818336743117155763381*c_0101_5^23 - 4723320373408092218617938011525044992709928964543760/26345464510053\ 5507321678661408818336743117155763381*c_0101_5^22 + 5012518808734856055131593044439429241792949609234212/26345464510053\ 5507321678661408818336743117155763381*c_0101_5^21 - 15308050706515020877011820861223100581885713008489432/2634546451005\ 35507321678661408818336743117155763381*c_0101_5^20 + 27096466976582081580084486102190498586178446970820288/2634546451005\ 35507321678661408818336743117155763381*c_0101_5^19 + 10108159367422880578048732602422847123840718098330312/2634546451005\ 35507321678661408818336743117155763381*c_0101_5^18 + 105779542468636359479408839325019014284394754113951883/263454645100\ 535507321678661408818336743117155763381*c_0101_5^17 - 109585918648659846712090088343485323241779436909555625/263454645100\ 535507321678661408818336743117155763381*c_0101_5^16 + 14288912961168213463509972261856414007243608609061364/2634546451005\ 35507321678661408818336743117155763381*c_0101_5^15 + 484374243260766346583340904651469433496623562145542072/263454645100\ 535507321678661408818336743117155763381*c_0101_5^14 + 1330753391897661493480271780443666555595068964202704597/26345464510\ 0535507321678661408818336743117155763381*c_0101_5^13 + 1423843164387071992316181984829791049004253994977632491/26345464510\ 0535507321678661408818336743117155763381*c_0101_5^12 + 372498211323856586276092156878662230834026991886954683/263454645100\ 535507321678661408818336743117155763381*c_0101_5^11 - 766806218747721724446189618219910727917440126707408489/263454645100\ 535507321678661408818336743117155763381*c_0101_5^10 - 1015143251025629512487169833425372121365659565291827337/26345464510\ 0535507321678661408818336743117155763381*c_0101_5^9 - 743818151200196538453389777264937807708601308253553025/263454645100\ 535507321678661408818336743117155763381*c_0101_5^8 - 443754316074185754855901874977365451553634308674688289/263454645100\ 535507321678661408818336743117155763381*c_0101_5^7 - 240081729243857365438110573059114274366443594066513540/263454645100\ 535507321678661408818336743117155763381*c_0101_5^6 - 95533021476963331532240380490952802889495052182339503/2634546451005\ 35507321678661408818336743117155763381*c_0101_5^5 - 30286495007935341276154773679274550759493612118070994/2634546451005\ 35507321678661408818336743117155763381*c_0101_5^4 - 11746628146701325765692894135139322047479396334027386/2634546451005\ 35507321678661408818336743117155763381*c_0101_5^3 - 3239035192104753142580243678407867005443010397013996/26345464510053\ 5507321678661408818336743117155763381*c_0101_5^2 - 1155097191118678313495211981837424434594402211414426/26345464510053\ 5507321678661408818336743117155763381*c_0101_5 - 438299804790428363887372994159473849039422228281425/263454645100535\ 507321678661408818336743117155763381, c_0101_1 - 765002217687021321180225683096897495275650173391608/26345464\ 5100535507321678661408818336743117155763381*c_0101_5^23 + 4723320373408092218617938011525044992709928964543760/26345464510053\ 5507321678661408818336743117155763381*c_0101_5^22 - 5012518808734856055131593044439429241792949609234212/26345464510053\ 5507321678661408818336743117155763381*c_0101_5^21 + 15308050706515020877011820861223100581885713008489432/2634546451005\ 35507321678661408818336743117155763381*c_0101_5^20 - 27096466976582081580084486102190498586178446970820288/2634546451005\ 35507321678661408818336743117155763381*c_0101_5^19 - 10108159367422880578048732602422847123840718098330312/2634546451005\ 35507321678661408818336743117155763381*c_0101_5^18 - 105779542468636359479408839325019014284394754113951883/263454645100\ 535507321678661408818336743117155763381*c_0101_5^17 + 109585918648659846712090088343485323241779436909555625/263454645100\ 535507321678661408818336743117155763381*c_0101_5^16 - 14288912961168213463509972261856414007243608609061364/2634546451005\ 35507321678661408818336743117155763381*c_0101_5^15 - 484374243260766346583340904651469433496623562145542072/263454645100\ 535507321678661408818336743117155763381*c_0101_5^14 - 1330753391897661493480271780443666555595068964202704597/26345464510\ 0535507321678661408818336743117155763381*c_0101_5^13 - 1423843164387071992316181984829791049004253994977632491/26345464510\ 0535507321678661408818336743117155763381*c_0101_5^12 - 372498211323856586276092156878662230834026991886954683/263454645100\ 535507321678661408818336743117155763381*c_0101_5^11 + 766806218747721724446189618219910727917440126707408489/263454645100\ 535507321678661408818336743117155763381*c_0101_5^10 + 1015143251025629512487169833425372121365659565291827337/26345464510\ 0535507321678661408818336743117155763381*c_0101_5^9 + 743818151200196538453389777264937807708601308253553025/263454645100\ 535507321678661408818336743117155763381*c_0101_5^8 + 443754316074185754855901874977365451553634308674688289/263454645100\ 535507321678661408818336743117155763381*c_0101_5^7 + 240081729243857365438110573059114274366443594066513540/263454645100\ 535507321678661408818336743117155763381*c_0101_5^6 + 95533021476963331532240380490952802889495052182339503/2634546451005\ 35507321678661408818336743117155763381*c_0101_5^5 + 30286495007935341276154773679274550759493612118070994/2634546451005\ 35507321678661408818336743117155763381*c_0101_5^4 + 11746628146701325765692894135139322047479396334027386/2634546451005\ 35507321678661408818336743117155763381*c_0101_5^3 + 3239035192104753142580243678407867005443010397013996/26345464510053\ 5507321678661408818336743117155763381*c_0101_5^2 + 1155097191118678313495211981837424434594402211414426/26345464510053\ 5507321678661408818336743117155763381*c_0101_5 + 438299804790428363887372994159473849039422228281425/263454645100535\ 507321678661408818336743117155763381, c_0101_2 + 80161728292790138858923012149704928276328630989176/263454645\ 100535507321678661408818336743117155763381*c_0101_5^23 - 571285424351741961125422241500892118151144323894728/263454645100535\ 507321678661408818336743117155763381*c_0101_5^22 + 1051014741960135945840325966085632616399987845809740/26345464510053\ 5507321678661408818336743117155763381*c_0101_5^21 - 2440695863990856841151796977907889196812892687098092/26345464510053\ 5507321678661408818336743117155763381*c_0101_5^20 + 4716581222371234530250997556145290387362813623973132/26345464510053\ 5507321678661408818336743117155763381*c_0101_5^19 - 2664926214064209487929896771587714845022801502557256/26345464510053\ 5507321678661408818336743117155763381*c_0101_5^18 + 11886178117901454139944090751095054220678134597370003/2634546451005\ 35507321678661408818336743117155763381*c_0101_5^17 - 21027201176537530152142375415655093223358244318323928/2634546451005\ 35507321678661408818336743117155763381*c_0101_5^16 + 19335899748254643971133930385957520029809388117278892/2634546451005\ 35507321678661408818336743117155763381*c_0101_5^15 + 41810976295158325639292618476645918941614748894347271/2634546451005\ 35507321678661408818336743117155763381*c_0101_5^14 + 90511881191711660015700852542144928872148325549030833/2634546451005\ 35507321678661408818336743117155763381*c_0101_5^13 + 53529450400215467942679940653554523042186338101434739/2634546451005\ 35507321678661408818336743117155763381*c_0101_5^12 - 11278700508099123703230677010643743632086748681816260/2634546451005\ 35507321678661408818336743117155763381*c_0101_5^11 - 21928243446151102368733625005263518937555065455290401/2634546451005\ 35507321678661408818336743117155763381*c_0101_5^10 - 18039246502088044898754801022362296492275320530723689/2634546451005\ 35507321678661408818336743117155763381*c_0101_5^9 - 40750920566859478860715076373337829878915052092358379/2634546451005\ 35507321678661408818336743117155763381*c_0101_5^8 - 44461606186891428125774208108962048471025887304783965/2634546451005\ 35507321678661408818336743117155763381*c_0101_5^7 - 26254024581867074413797808825212145318771233627524254/2634546451005\ 35507321678661408818336743117155763381*c_0101_5^6 - 9566277716609134869581387000151485847744348768306532/26345464510053\ 5507321678661408818336743117155763381*c_0101_5^5 - 3364758492445671962945095453254104700893099624674121/26345464510053\ 5507321678661408818336743117155763381*c_0101_5^4 - 1217723141895166729817469628218721245385767041187694/26345464510053\ 5507321678661408818336743117155763381*c_0101_5^3 + 238171652696873189085507645264124023774394005524848/263454645100535\ 507321678661408818336743117155763381*c_0101_5^2 - 93156315187337540590745723336266444419068617730002/2634546451005355\ 07321678661408818336743117155763381*c_0101_5 + 53122449855207591465045245954749540768044536717876/2634546451005355\ 07321678661408818336743117155763381, c_0101_4 + 283600436974012581357847101995445522613177788407208/26345464\ 5100535507321678661408818336743117155763381*c_0101_5^23 - 1690855008302503946431629154451456355413812661816576/26345464510053\ 5507321678661408818336743117155763381*c_0101_5^22 + 1455552599607849625005802688963850891845852014067924/26345464510053\ 5507321678661408818336743117155763381*c_0101_5^21 - 5084460253000282557027529275047168697487334954430536/26345464510053\ 5507321678661408818336743117155763381*c_0101_5^20 + 8609011743360668693725090114620385237384035538727860/26345464510053\ 5507321678661408818336743117155763381*c_0101_5^19 + 6563430784833381759825117126942586845566063509547932/26345464510053\ 5507321678661408818336743117155763381*c_0101_5^18 + 38761805962767550343399505915184522133033195688170213/2634546451005\ 35507321678661408818336743117155763381*c_0101_5^17 - 32442896063426451696923146136277897430418564394380629/2634546451005\ 35507321678661408818336743117155763381*c_0101_5^16 - 7869576208261463826532015257748185045538945340923601/26345464510053\ 5507321678661408818336743117155763381*c_0101_5^15 + 185787310719248702533316811681742068911228565012563930/263454645100\ 535507321678661408818336743117155763381*c_0101_5^14 + 529736865295080746403641602314551852118631131132874045/263454645100\ 535507321678661408818336743117155763381*c_0101_5^13 + 614105596057847129161481717270061260383615950011494864/263454645100\ 535507321678661408818336743117155763381*c_0101_5^12 + 197246993848517502837141076392502430140893659888995317/263454645100\ 535507321678661408818336743117155763381*c_0101_5^11 - 309887355014663154224412279421758245117203190508632698/263454645100\ 535507321678661408818336743117155763381*c_0101_5^10 - 449347840668949298072742992103615525050484589341294226/263454645100\ 535507321678661408818336743117155763381*c_0101_5^9 - 324292318363724353409594057907073365699538039038512941/263454645100\ 535507321678661408818336743117155763381*c_0101_5^8 - 180496163424741904251095013021609395404817666193400769/263454645100\ 535507321678661408818336743117155763381*c_0101_5^7 - 94897558119206524978691146699031467966354665908380560/2634546451005\ 35507321678661408818336743117155763381*c_0101_5^6 - 38558664730709168933598267915871821129024166802511478/2634546451005\ 35507321678661408818336743117155763381*c_0101_5^5 - 10652494186554942458750882270943361662171564699395981/2634546451005\ 35507321678661408818336743117155763381*c_0101_5^4 - 4148890529171557937171102967304186295011723319769933/26345464510053\ 5507321678661408818336743117155763381*c_0101_5^3 - 1659494616028257973435445566762561719612393240591572/26345464510053\ 5507321678661408818336743117155763381*c_0101_5^2 - 319021903075189671134289943919803645401756130526359/263454645100535\ 507321678661408818336743117155763381*c_0101_5 - 250801146233095129027470642389533575278052558977172/263454645100535\ 507321678661408818336743117155763381, c_0101_5^24 - 6*c_0101_5^23 + 11/2*c_0101_5^22 - 19*c_0101_5^21 + 32*c_0101_5^20 + 19*c_0101_5^19 + 1129/8*c_0101_5^18 - 947/8*c_0101_5^17 - 11/4*c_0101_5^16 + 635*c_0101_5^15 + 7395/4*c_0101_5^14 + 17435/8*c_0101_5^13 + 6895/8*c_0101_5^12 - 6789/8*c_0101_5^11 - 1458*c_0101_5^10 - 4851/4*c_0101_5^9 - 3151/4*c_0101_5^8 - 3667/8*c_0101_5^7 - 1719/8*c_0101_5^6 - 673/8*c_0101_5^5 - 65/2*c_0101_5^4 - 81/8*c_0101_5^3 - 25/8*c_0101_5^2 - 5/4*c_0101_5 - 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB