Magma V2.19-8 Tue Aug 20 2013 16:16:12 on localhost [Seed = 3086363508] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0459 geometric_solution 4.49721829 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 1023 3201 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 -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 0 0 0 1.076551675702 0.170950663907 0 0 3 3 0132 2310 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 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.644927831304 0.406298389435 4 0 0 5 0132 0132 1023 0132 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 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.898379739093 0.313033731328 3 1 1 3 3012 3201 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.410501395861 0.077717992609 2 5 6 5 0132 0321 0132 2031 0 0 0 0 0 -1 0 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 0 0 0 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.637666248198 0.581574470502 6 4 2 4 1023 1302 0132 0321 0 0 0 0 0 0 -1 1 0 0 0 0 0 -1 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.637666248198 0.581574470502 6 5 6 4 2031 1023 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 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.403686086096 0.613440626159 ==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' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_5']), 'c_1100_5' : negation(d['c_0011_0']), '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' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], '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' : d['c_0011_0'], 'c_0011_6' : 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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : d['c_0101_4'], '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' : d['c_0011_3'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0011_0']), 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0011_0']), 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : d['c_0011_5'], '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_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 478744587737480292179597846079793838/783591324620374066228072342707\ 843823*c_0101_4^31 + 7552727445331606686276313116761353103/78359132\ 4620374066228072342707843823*c_0101_4^30 + 53596714448203476018434657808788843709/7835913246203740662280723427\ 07843823*c_0101_4^29 + 225899701011125417422392198568002923687/7835\ 91324620374066228072342707843823*c_0101_4^28 + 623048132680634708043428884630257931173/783591324620374066228072342\ 707843823*c_0101_4^27 + 1137538264758475398212068217312216844702/78\ 3591324620374066228072342707843823*c_0101_4^26 + 1195178238400599836890978835614309237173/78359132462037406622807234\ 2707843823*c_0101_4^25 - 79812762027440113301241553534922583892/783\ 591324620374066228072342707843823*c_0101_4^24 - 2983425701802255221914166226637622275796/78359132462037406622807234\ 2707843823*c_0101_4^23 - 6274894175514737108871049612046436338595/7\ 83591324620374066228072342707843823*c_0101_4^22 - 7440668970652374117458908931827266642305/78359132462037406622807234\ 2707843823*c_0101_4^21 - 4543648589546195810333475139039129567654/7\ 83591324620374066228072342707843823*c_0101_4^20 + 1856230396242876460481180676305864257930/78359132462037406622807234\ 2707843823*c_0101_4^19 + 8668905936418524657590970149405697381740/7\ 83591324620374066228072342707843823*c_0101_4^18 + 299334498271005131117733122906825169283/191119835273261967372700571\ 39215703*c_0101_4^17 + 10805604498471799810572365902715514661327/78\ 3591324620374066228072342707843823*c_0101_4^16 + 5135156244236374794216663376555608764521/78359132462037406622807234\ 2707843823*c_0101_4^15 - 1788532917965064280543146382209726895016/7\ 83591324620374066228072342707843823*c_0101_4^14 - 6668087870885013774986191968350090885911/78359132462037406622807234\ 2707843823*c_0101_4^13 - 7746714131635152619749408061328319527335/7\ 83591324620374066228072342707843823*c_0101_4^12 - 5590845904118774995209133262423500438697/78359132462037406622807234\ 2707843823*c_0101_4^11 - 2192187890932704917310730228561499074843/7\ 83591324620374066228072342707843823*c_0101_4^10 + 588186057353641580729517175919753779169/783591324620374066228072342\ 707843823*c_0101_4^9 + 1890943709747516127082732203090087453512/783\ 591324620374066228072342707843823*c_0101_4^8 + 1783002848715068994158495048438509318289/78359132462037406622807234\ 2707843823*c_0101_4^7 + 985904977561700455683213910849145493769/783\ 591324620374066228072342707843823*c_0101_4^6 + 289147982474774285220145821945171652213/783591324620374066228072342\ 707843823*c_0101_4^5 - 89723584876928300330667325094689304440/78359\ 1324620374066228072342707843823*c_0101_4^4 - 161855466822809029790774151331249586600/783591324620374066228072342\ 707843823*c_0101_4^3 - 93541456211093402904420538625232874443/78359\ 1324620374066228072342707843823*c_0101_4^2 - 27715150423493115676828743057216147611/7835913246203740662280723427\ 07843823*c_0101_4 - 2086947206921343340371290461773301867/783591324\ 620374066228072342707843823, c_0011_0 - 1, c_0011_3 + 46303155772335469462464928565351810/210231818800588164109970\ 628531372733*c_0101_4^31 + 735212353003152207633447569241861926/210\ 231818800588164109970628531372733*c_0101_4^30 + 5278391860345429972185838855152874128/21023181880058816410997062853\ 1372733*c_0101_4^29 + 22691491135850329314951173526249826119/210231\ 818800588164109970628531372733*c_0101_4^28 + 64695727872729118688881333315834393241/2102318188005881641099706285\ 31372733*c_0101_4^27 + 125369264968776350289511229103106805803/2102\ 31818800588164109970628531372733*c_0101_4^26 + 13811020464978323647655058504384613889/1911198352732619673727005713\ 9215703*c_0101_4^25 + 49515284029930515623342764445081975089/210231\ 818800588164109970628531372733*c_0101_4^24 - 21940606558322165907487237238925787149/1911198352732619673727005713\ 9215703*c_0101_4^23 - 636100624815973297071413329736641607724/21023\ 1818800588164109970628531372733*c_0101_4^22 - 889023713639404278938672791371432827685/210231818800588164109970628\ 531372733*c_0101_4^21 - 742159741015270241039505743643134781337/210\ 231818800588164109970628531372733*c_0101_4^20 - 142937513492801801668155218515576196213/210231818800588164109970628\ 531372733*c_0101_4^19 + 668185833255444877906880450664068213972/210\ 231818800588164109970628531372733*c_0101_4^18 + 1290961891247752304875830426421659201014/21023181880058816410997062\ 8531372733*c_0101_4^17 + 1412697270764655965189140419578969038889/2\ 10231818800588164109970628531372733*c_0101_4^16 + 988559651250291185995972857218081358367/210231818800588164109970628\ 531372733*c_0101_4^15 + 252538878598553087719661085500522190989/210\ 231818800588164109970628531372733*c_0101_4^14 - 430881564639155689951227253351928786286/210231818800588164109970628\ 531372733*c_0101_4^13 - 780190747006323824803262660887807228150/210\ 231818800588164109970628531372733*c_0101_4^12 - 737010920273571433279353509189465090594/210231818800588164109970628\ 531372733*c_0101_4^11 - 444382659237124394365336501989407974677/210\ 231818800588164109970628531372733*c_0101_4^10 - 112661920145173601839152499488408518512/210231818800588164109970628\ 531372733*c_0101_4^9 + 108242945125604942126727979397248100852/2102\ 31818800588164109970628531372733*c_0101_4^8 + 172784003354139579191099271490815991388/210231818800588164109970628\ 531372733*c_0101_4^7 + 130128662841288612636997853179536911814/2102\ 31818800588164109970628531372733*c_0101_4^6 + 60196171202995310285947282224495226942/2102318188005881641099706285\ 31372733*c_0101_4^5 + 6114070416373217490437520337692785611/2102318\ 18800588164109970628531372733*c_0101_4^4 - 12736996174292566415154901517880678197/2102318188005881641099706285\ 31372733*c_0101_4^3 - 11689332603678976199142731822098505778/210231\ 818800588164109970628531372733*c_0101_4^2 - 5175462654374686243468082556797598870/21023181880058816410997062853\ 1372733*c_0101_4 - 941662561938668785821305805498523127/21023181880\ 0588164109970628531372733, c_0011_5 - 289123063752977304974073567023889/21023181880058816410997062\ 8531372733*c_0101_4^31 - 5055196874636003919163902185139227/2102318\ 18800588164109970628531372733*c_0101_4^30 - 40892477952167792448143006031549366/2102318188005881641099706285313\ 72733*c_0101_4^29 - 202472800823047271673729033506225454/2102318188\ 00588164109970628531372733*c_0101_4^28 - 680372261865776183925642371755676054/210231818800588164109970628531\ 372733*c_0101_4^27 - 1610655024566110029259506552462226628/21023181\ 8800588164109970628531372733*c_0101_4^26 - 239535581823382484320759449462764556/191119835273261967372700571392\ 15703*c_0101_4^25 - 2514831962977075811257808218240106590/210231818\ 800588164109970628531372733*c_0101_4^24 + 36896283757607111266002370181081239/1911198352732619673727005713921\ 5703*c_0101_4^23 + 6591655655965922273259117265153748935/2102318188\ 00588164109970628531372733*c_0101_4^22 + 13713238630055592182854395874272340554/2102318188005881641099706285\ 31372733*c_0101_4^21 + 17056857147176232213600757651306336139/21023\ 1818800588164109970628531372733*c_0101_4^20 + 12532581134522972265189835357043398668/2102318188005881641099706285\ 31372733*c_0101_4^19 + 147065437204307501041281528786801861/2102318\ 18800588164109970628531372733*c_0101_4^18 - 15095687870586696242247611318782812153/2102318188005881641099706285\ 31372733*c_0101_4^17 - 25867576969501160311128519441167813603/21023\ 1818800588164109970628531372733*c_0101_4^16 - 26875820570571733168241842809858786478/2102318188005881641099706285\ 31372733*c_0101_4^15 - 17923661563120376818812496252402917539/21023\ 1818800588164109970628531372733*c_0101_4^14 - 3804616810913503972039985041852284646/21023181880058816410997062853\ 1372733*c_0101_4^13 + 8742725110767740035052006274871329087/2102318\ 18800588164109970628531372733*c_0101_4^12 + 14890077378609275574233164367243694401/2102318188005881641099706285\ 31372733*c_0101_4^11 + 13870401383631336692597991380101959125/21023\ 1818800588164109970628531372733*c_0101_4^10 + 8364070911575573023553606072777178619/21023181880058816410997062853\ 1372733*c_0101_4^9 + 2203294645433598735383756980284061644/21023181\ 8800588164109970628531372733*c_0101_4^8 - 1860996863886234368987496050114330246/21023181880058816410997062853\ 1372733*c_0101_4^7 - 3121824808263358553547811461961080519/21023181\ 8800588164109970628531372733*c_0101_4^6 - 2442394537069489565457136684180276361/21023181880058816410997062853\ 1372733*c_0101_4^5 - 1161574954248719562453981752222088398/21023181\ 8800588164109970628531372733*c_0101_4^4 - 193468049883796505513996126176598904/210231818800588164109970628531\ 372733*c_0101_4^3 + 203765833326302260171271620137609978/2102318188\ 00588164109970628531372733*c_0101_4^2 + 4186796669499887404140768369099611/21023181880058816410997062853137\ 2733*c_0101_4 + 210379866349219876194752185950486032/21023181880058\ 8164109970628531372733, c_0101_0 + 859426433462609564745314827691482/21023181880058816410997062\ 8531372733*c_0101_4^31 + 15384958591740016857947431488267801/210231\ 818800588164109970628531372733*c_0101_4^30 + 126132290765486719642611135790256784/210231818800588164109970628531\ 372733*c_0101_4^29 + 628170164070665142424513246024486837/210231818\ 800588164109970628531372733*c_0101_4^28 + 2116939114657731128409662482126513020/21023181880058816410997062853\ 1372733*c_0101_4^27 + 5041218167865479860073316539911285456/2102318\ 18800588164109970628531372733*c_0101_4^26 + 762662688903625484401369630418245887/191119835273261967372700571392\ 15703*c_0101_4^25 + 8459219840432154626172120820905924912/210231818\ 800588164109970628531372733*c_0101_4^24 + 1280818528891329448430762615704726/19111983527326196737270057139215\ 703*c_0101_4^23 - 19034564824309082173012124596912924542/2102318188\ 00588164109970628531372733*c_0101_4^22 - 42438940321793848603505902246240980264/2102318188005881641099706285\ 31372733*c_0101_4^21 - 55889934563523407966300946907915238403/21023\ 1818800588164109970628531372733*c_0101_4^20 - 45381046023573446304402642128877255707/2102318188005881641099706285\ 31372733*c_0101_4^19 - 8391898048068722064718834219343258881/210231\ 818800588164109970628531372733*c_0101_4^18 + 41472495066159152871043558770711726280/2102318188005881641099706285\ 31372733*c_0101_4^17 + 81053536606122193395470571109901597109/21023\ 1818800588164109970628531372733*c_0101_4^16 + 91133388959472770757912896567633965913/2102318188005881641099706285\ 31372733*c_0101_4^15 + 67602677846849301222135129691705789130/21023\ 1818800588164109970628531372733*c_0101_4^14 + 23216489847553977689787184597361632153/2102318188005881641099706285\ 31372733*c_0101_4^13 - 20626942948727800640978370988263091260/21023\ 1818800588164109970628531372733*c_0101_4^12 - 46252993051289313165422671950362160850/2102318188005881641099706285\ 31372733*c_0101_4^11 - 48114172756658556972935307898602185695/21023\ 1818800588164109970628531372733*c_0101_4^10 - 32775604636467704450096539285400476849/2102318188005881641099706285\ 31372733*c_0101_4^9 - 12338462204891824669266913943250447075/210231\ 818800588164109970628531372733*c_0101_4^8 + 3105022747518561526986661434050371486/21023181880058816410997062853\ 1372733*c_0101_4^7 + 9580788422531366304234233580254735526/21023181\ 8800588164109970628531372733*c_0101_4^6 + 8833366058219477282517488525629882069/21023181880058816410997062853\ 1372733*c_0101_4^5 + 4985701588443912646874484062741330928/21023181\ 8800588164109970628531372733*c_0101_4^4 + 1253777314668316990228950519867323311/21023181880058816410997062853\ 1372733*c_0101_4^3 - 556332393817782440898489049266855343/210231818\ 800588164109970628531372733*c_0101_4^2 - 602631441451453844435495062389131067/210231818800588164109970628531\ 372733*c_0101_4 - 419771837199340163690879671872308919/210231818800\ 588164109970628531372733, c_0101_1 + 5415250930980431319786618330952675/2102318188005881641099706\ 28531372733*c_0101_4^31 + 92352027188186214578769667802016186/21023\ 1818800588164109970628531372733*c_0101_4^30 + 721622430344343431974315177721617218/210231818800588164109970628531\ 372733*c_0101_4^29 + 3428832360834337411098418991178094607/21023181\ 8800588164109970628531372733*c_0101_4^28 + 11025597019868366340587977690245969108/2102318188005881641099706285\ 31372733*c_0101_4^27 + 24944909294248794007539363212158865967/21023\ 1818800588164109970628531372733*c_0101_4^26 + 3519858692621234267029096665640051011/19111983527326196737270057139\ 215703*c_0101_4^25 + 33263801904425127454839288690404446561/2102318\ 18800588164109970628531372733*c_0101_4^24 - 1338309495779638328468949415125143701/19111983527326196737270057139\ 215703*c_0101_4^23 - 108240060509998633260201270587819636014/210231\ 818800588164109970628531372733*c_0101_4^22 - 208168786244545040566863402663882664395/210231818800588164109970628\ 531372733*c_0101_4^21 - 243503338237647983200866976727065095492/210\ 231818800588164109970628531372733*c_0101_4^20 - 159255109386890396355989029723106584520/210231818800588164109970628\ 531372733*c_0101_4^19 + 33351956367926756987343235468469969870/2102\ 31818800588164109970628531372733*c_0101_4^18 + 250733200050664912203787048736528989761/210231818800588164109970628\ 531372733*c_0101_4^17 + 384874967059226999321181549253526247632/210\ 231818800588164109970628531372733*c_0101_4^16 + 369530314944398420354719245720182853781/210231818800588164109970628\ 531372733*c_0101_4^15 + 218025456297811926103869278827791516965/210\ 231818800588164109970628531372733*c_0101_4^14 + 11062047512830311431316096072459014417/2102318188005881641099706285\ 31372733*c_0101_4^13 - 153739229084576883139881945579368796151/2102\ 31818800588164109970628531372733*c_0101_4^12 - 216753751876703432521280092808839738154/210231818800588164109970628\ 531372733*c_0101_4^11 - 180745454496032010817004862743008304833/210\ 231818800588164109970628531372733*c_0101_4^10 - 93767924245231871573137629421745515111/2102318188005881641099706285\ 31372733*c_0101_4^9 - 10803761694466342350410509021489558684/210231\ 818800588164109970628531372733*c_0101_4^8 + 35399787889677115975926215696315913044/2102318188005881641099706285\ 31372733*c_0101_4^7 + 42293328843479562011305262184097293589/210231\ 818800588164109970628531372733*c_0101_4^6 + 27385907074827779193177328780443939262/2102318188005881641099706285\ 31372733*c_0101_4^5 + 9772938786150837892290242620396166346/2102318\ 18800588164109970628531372733*c_0101_4^4 - 561881305234406378939376248899523417/210231818800588164109970628531\ 372733*c_0101_4^3 - 3398939544222420609164170234986045412/210231818\ 800588164109970628531372733*c_0101_4^2 - 2046993640855286343061292595563777349/21023181880058816410997062853\ 1372733*c_0101_4 - 635324734279496555177723071851884038/21023181880\ 0588164109970628531372733, c_0101_2 + 718350918341344344552798679780892/21023181880058816410997062\ 8531372733*c_0101_4^31 + 12409399431458428990314374441917469/210231\ 818800588164109970628531372733*c_0101_4^30 + 97358131579961525109964888190710875/2102318188005881641099706285313\ 72733*c_0101_4^29 + 459568897354464681117327703138928012/2102318188\ 00588164109970628531372733*c_0101_4^28 + 1450835663165734164930491138446481248/21023181880058816410997062853\ 1372733*c_0101_4^27 + 3180417057757348965263373475636629668/2102318\ 18800588164109970628531372733*c_0101_4^26 + 426286392952344571996587542732860139/191119835273261967372700571392\ 15703*c_0101_4^25 + 3545336222368188838442979627222893513/210231818\ 800588164109970628531372733*c_0101_4^24 - 257307641766176236417620092330030037/191119835273261967372700571392\ 15703*c_0101_4^23 - 14170859365438347953783568341447260465/21023181\ 8800588164109970628531372733*c_0101_4^22 - 25275022827542737738117911310722642359/2102318188005881641099706285\ 31372733*c_0101_4^21 - 27933630495585903453204073690003922504/21023\ 1818800588164109970628531372733*c_0101_4^20 - 16639476052888056935156028459789384273/2102318188005881641099706285\ 31372733*c_0101_4^19 + 6315407749718486414680493078662684752/210231\ 818800588164109970628531372733*c_0101_4^18 + 30944572434919686981414533515438824128/2102318188005881641099706285\ 31372733*c_0101_4^17 + 45220415421220424003944968037065008301/21023\ 1818800588164109970628531372733*c_0101_4^16 + 42242188634797025724558658361935405812/2102318188005881641099706285\ 31372733*c_0101_4^15 + 24112676280804684624973666001501214768/21023\ 1818800588164109970628531372733*c_0101_4^14 + 267263339954367335741199267679053115/210231818800588164109970628531\ 372733*c_0101_4^13 - 18354282714438908952373509528959882015/2102318\ 18800588164109970628531372733*c_0101_4^12 - 25323094657281465087994395108998637205/2102318188005881641099706285\ 31372733*c_0101_4^11 - 21113831300100369682072088307094543980/21023\ 1818800588164109970628531372733*c_0101_4^10 - 11114964639757310774558258389004486029/2102318188005881641099706285\ 31372733*c_0101_4^9 - 1490694590774190221753281138388618506/2102318\ 18800588164109970628531372733*c_0101_4^8 + 4035365392231086294135268432938126512/21023181880058816410997062853\ 1372733*c_0101_4^7 + 5083118567247893883528089730613605584/21023181\ 8800588164109970628531372733*c_0101_4^6 + 3515497833809798072589051924893054725/21023181880058816410997062853\ 1372733*c_0101_4^5 + 1427034647007007416906522196587635663/21023181\ 8800588164109970628531372733*c_0101_4^4 + 72102289727092777260335472640797291/2102318188005881641099706285313\ 72733*c_0101_4^3 - 167764524134138302184016162690389018/21023181880\ 0588164109970628531372733*c_0101_4^2 - 205025601914871512534748526607797306/210231818800588164109970628531\ 372733*c_0101_4 - 210090743285466898889778112383462143/210231818800\ 588164109970628531372733, c_0101_4^32 + 16*c_0101_4^31 + 116*c_0101_4^30 + 505*c_0101_4^29 + 1464*c_0101_4^28 + 2906*c_0101_4^27 + 3684*c_0101_4^26 + 1593*c_0101_4^25 - 4968*c_0101_4^24 - 14413*c_0101_4^23 - 21216*c_0101_4^22 - 19006*c_0101_4^21 - 5727*c_0101_4^20 + 13696*c_0101_4^19 + 29860*c_0101_4^18 + 34652*c_0101_4^17 + 26020*c_0101_4^16 + 8845*c_0101_4^15 - 8247*c_0101_4^14 - 18004*c_0101_4^13 - 18257*c_0101_4^12 - 11889*c_0101_4^11 - 3876*c_0101_4^10 + 1894*c_0101_4^9 + 3972*c_0101_4^8 + 3277*c_0101_4^7 + 1664*c_0101_4^6 + 306*c_0101_4^5 - 249*c_0101_4^4 - 285*c_0101_4^3 - 139*c_0101_4^2 - 33*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB