OMA(OMS(groebnerd, polyd)[OMS(lexicographic, polyd), OMA(OMS(DMPL, polyd)[OMA(OMS(poly_ring_d, polyd)[OMS(Q, fieldname1), 5], OMA(OMS(SDMP, polyd)[OMA(OMS(term, polyd)[1, 0, 0, 0, 0, 15], OMA(OMS(term, polyd)[122, 0, 0, 0, 0, 10], OMA(OMS(term, polyd)[-122, 0, 0, 0, 0, 5], OMA(OMS(term, polyd)[-1, 0, 0, 0, 0, 0]], OMA(OMS(SDMP, polyd)[OMA(OMS(term, polyd)[55, 0, 0, 0, 2, 5], OMA(OMS(term, polyd)[-55, 0, 0, 0, 2, 0], OMA(OMS(term, polyd)[-2, 0, 0, 0, 1, 11], OMA(OMS(term, polyd)[-231, 0, 0, 0, 1, 6], OMA(OMS(term, polyd)[233, 0, 0, 0, 1, 1], OMA(OMS(term, polyd)[-8, 0, 0, 0, 0, 12], OMA(OMS(term, polyd)[-979, 0, 0, 0, 0, 7], OMA(OMS(term, polyd)[987, 0, 0, 0, 0, 2]], OMA(OMS(SDMP, polyd)[OMA(OMS(term, polyd)[6, 0, 0, 0, 7, 0], OMA(OMS(term, polyd)[57, 0, 0, 0, 6, 6], OMA(OMS(term, polyd)[-39, 0, 0, 0, 6, 1], OMA(OMS(term, polyd)[25, 0, 0, 0, 5, 7], OMA(OMS(term, polyd)[-19, 0, 0, 0, 5, 2], OMA(OMS(term, polyd)[-5, 0, 0, 0, 4, 8], OMA(OMS(term, polyd)[5, 0, 0, 0, 4, 3], OMA(OMS(term, polyd)[-8, 0, 0, 0, 3, 9], OMA(OMS(term, polyd)[8, 0, 0, 0, 3, 4], OMA(OMS(term, polyd)[-2, 0, 0, 0, 2, 10], OMA(OMS(term, polyd)[14, 0, 0, 0, 2, 5], OMA(OMS(term, polyd)[-18, 0, 0, 0, 2, 0], OMA(OMS(term, polyd)[-18, 0, 0, 0, 1, 6], OMA(OMS(term, polyd)[-6, 0, 0, 0, 0, 7]], OMA(OMS(SDMP, polyd)[OMA(OMS(term, polyd)[10564400, 0, 0, 1, 0, 5], OMA(OMS(term, polyd)[-10564400, 0, 0, 1, 0, 0], OMA(OMS(term, polyd)[1323490, 0, 0, 0, 9, 2], OMA(OMS(term, polyd)[-30221992, 0, 0, 0, 8, 3], OMA(OMS(term, polyd)[-153374547, 0, 0, 0, 7, 4], OMA(OMS(term, polyd)[-189699120, 0, 0, 0, 6, 5], OMA(OMS(term, polyd)[-855295, 0, 0, 0, 6, 0], OMA(OMS(term, polyd)[37459263, 0, 0, 0, 5, 6], OMA(OMS(term, polyd)[-89579914, 0, 0, 0, 5, 1], OMA(OMS(term, polyd)[187440435, 0, 0, 0, 4, 7], OMA(OMS(term, polyd)[-188763925, 0, 0, 0, 4, 2], OMA(OMS(term, polyd)[91961138, 0, 0, 0, 3, 8], OMA(OMS(term, polyd)[-61739146, 0, 0, 0, 3, 3], OMA(OMS(term, polyd)[12510703, 0, 0, 0, 2, 9], OMA(OMS(term, polyd)[140863844, 0, 0, 0, 2, 4], OMA(OMS(term, polyd)[190777365, 0, 0, 0, 1, 5], OMA(OMS(term, polyd)[-222950, 0, 0, 0, 1, 0], OMA(OMS(term, polyd)[51897701, 0, 0, 0, 0, 6], OMA(OMS(term, polyd)[222950, 0, 0, 0, 0, 1]], OMA(OMS(SDMP, polyd)[OMA(OMS(term, polyd)[10564400, 0, 0, 1, 1, 0], OMA(OMS(term, polyd)[-10564400, 0, 0, 1, 0, 6], OMA(OMS(term, polyd)[-1323490, 0, 0, 0, 10, 2], OMA(OMS(term, polyd)[30221992, 0, 0, 0, 9, 3], OMA(OMS(term, polyd)[153374547, 0, 0, 0, 8, 4], OMA(OMS(term, polyd)[189276544, 0, 0, 0, 7, 5], OMA(OMS(term, polyd)[855295, 0, 0, 0, 7, 0], OMA(OMS(term, polyd)[-21823951, 0, 0, 0, 6, 6], OMA(OMS(term, polyd)[89579914, 0, 0, 0, 6, 1], OMA(OMS(term, polyd)[-141379651, 0, 0, 0, 5, 7], OMA(OMS(term, polyd)[188763925, 0, 0, 0, 5, 2], OMA(OMS(term, polyd)[-95553034, 0, 0, 0, 4, 8], OMA(OMS(term, polyd)[65331042, 0, 0, 0, 4, 3], OMA(OMS(term, polyd)[-46528071, 0, 0, 0, 3, 9], OMA(OMS(term, polyd)[-117410876, 0, 0, 0, 3, 4], OMA(OMS(term, polyd)[-12043416, 0, 0, 0, 2, 10], OMA(OMS(term, polyd)[-167746973, 0, 0, 0, 2, 5], OMA(OMS(term, polyd)[222950, 0, 0, 0, 2, 0], OMA(OMS(term, polyd)[-67533013, 0, 0, 0, 1, 6], OMA(OMS(term, polyd)[-222950, 0, 0, 0, 1, 1], OMA(OMS(term, polyd)[-46060784, 0, 0, 0, 0, 7]], OMA(OMS(SDMP, polyd)[OMA(OMS(term, polyd)[31693200, 0, 0, 3, 0, 0], OMA(OMS(term, polyd)[-3970470, 0, 0, 2, 9, 2], OMA(OMS(term, polyd)[90665976, 0, 0, 2, 8, 3], OMA(OMS(term, polyd)[460123641, 0, 0, 2, 7, 4], OMA(OMS(term, polyd)[600790560, 0, 0, 2, 6, 5], OMA(OMS(term, polyd)[2565885, 0, 0, 2, 6, 0], OMA(OMS(term, polyd)[-857167989, 0, 0, 2, 5, 6], OMA(OMS(term, polyd)[268739742, 0, 0, 2, 5, 1], OMA(OMS(term, polyd)[140211295, 0, 0, 2, 4, 7], OMA(OMS(term, polyd)[566291775, 0, 0, 2, 4, 2], OMA(OMS(term, polyd)[41048586, 0, 0, 2, 3, 8], OMA(OMS(term, polyd)[153524238, 0, 0, 2, 3, 3], OMA(OMS(term, polyd)[-343899709, 0, 0, 2, 2, 9], OMA(OMS(term, polyd)[-221867932, 0, 0, 2, 2, 4], OMA(OMS(term, polyd)[15846600, 0, 0, 2, 1, 10], OMA(OMS(term, polyd)[-868135295, 0, 0, 2, 1, 5], OMA(OMS(term, polyd)[668850, 0, 0, 2, 1, 0], OMA(OMS(term, polyd)[18619497, 0, 0, 2, 0, 6], OMA(OMS(term, polyd)[-668850, 0, 0, 2, 0, 1], OMA(OMS(term, polyd)[-31693200, 0, 0, 1, 6, 6], OMA(OMS(term, polyd)[-459551400, 0, 0, 1, 5, 7], OMA(OMS(term, polyd)[73950800, 0, 0, 1, 4, 8], OMA(OMS(term, polyd)[195441400, 0, 0, 1, 3, 9], OMA(OMS(term, polyd)[52822000, 0, 0, 1, 3, 4], OMA(OMS(term, polyd)[-63386400, 0, 0, 1, 2, 10], OMA(OMS(term, polyd)[633864000, 0, 0, 1, 2, 5], OMA(OMS(term, polyd)[-639146200, 0, 0, 1, 1, 6], OMA(OMS(term, polyd)[174312600, 0, 0, 1, 0, 7], OMA(OMS(term, polyd)[-31693200, 0, 0, 0, 3, 5]], OMA(OMS(SDMP, polyd)[OMA(OMS(term, polyd)[22, 0, 1, 0, 0, 5], OMA(OMS(term, polyd)[-22, 0, 1, 0, 0, 0], OMA(OMS(term, polyd)[9, 0, 0, 4, 2, 0], OMA(OMS(term, polyd)[-9, 0, 0, 4, 0, 2], OMA(OMS(term, polyd)[-1, 0, 0, 3, 3, 0], OMA(OMS(term, polyd)[-5, 0, 0, 3, 2, 1], OMA(OMS(term, polyd)[-20, 0, 0, 3, 1, 2], OMA(OMS(term, polyd)[-10, 0, 0, 3, 0, 3], OMA(OMS(term, polyd)[3, 0, 0, 2, 3, 1], OMA(OMS(term, polyd)[9, 0, 0, 2, 2, 2], OMA(OMS(term, polyd)[-102, 0, 0, 2, 1, 3], OMA(OMS(term, polyd)[18, 0, 0, 2, 0, 4], OMA(OMS(term, polyd)[-2, 0, 0, 1, 4, 1], OMA(OMS(term, polyd)[71, 0, 0, 1, 3, 2], OMA(OMS(term, polyd)[-20, 0, 0, 1, 2, 3], OMA(OMS(term, polyd)[-18, 0, 0, 1, 1, 4], OMA(OMS(term, polyd)[41, 0, 0, 1, 0, 5], OMA(OMS(term, polyd)[3, 0, 0, 0, 4, 2], OMA(OMS(term, polyd)[32, 0, 0, 0, 3, 3], OMA(OMS(term, polyd)[-24, 0, 0, 0, 2, 4], OMA(OMS(term, polyd)[3, 0, 0, 0, 1, 5], OMA(OMS(term, polyd)[22, 0, 0, 0, 0, 6]], OMA(OMS(SDMP, polyd)[OMA(OMS(term, polyd)[110, 0, 1, 0, 1, 0], OMA(OMS(term, polyd)[-110, 0, 1, 0, 0, 6], OMA(OMS(term, polyd)[-45, 0, 0, 4, 3, 0], OMA(OMS(term, polyd)[8, 0, 0, 4, 2, 1], OMA(OMS(term, polyd)[67, 0, 0, 4, 1, 2], OMA(OMS(term, polyd)[-30, 0, 0, 4, 0, 3], OMA(OMS(term, polyd)[5, 0, 0, 3, 4, 0], OMA(OMS(term, polyd)[29, 0, 0, 3, 3, 1], OMA(OMS(term, polyd)[87, 0, 0, 3, 2, 2], OMA(OMS(term, polyd)[119, 0, 0, 3, 1, 3], OMA(OMS(term, polyd)[-136, 0, 0, 3, 0, 4], OMA(OMS(term, polyd)[-15, 0, 0, 2, 4, 1], OMA(OMS(term, polyd)[31, 0, 0, 2, 3, 2], OMA(OMS(term, polyd)[507, 0, 0, 2, 2, 3], OMA(OMS(term, polyd)[-78, 0, 0, 2, 1, 4], OMA(OMS(term, polyd)[-237, 0, 0, 2, 0, 5], OMA(OMS(term, polyd)[10, 0, 0, 1, 5, 1], OMA(OMS(term, polyd)[-347, 0, 0, 1, 4, 2], OMA(OMS(term, polyd)[190, 0, 0, 1, 3, 3], OMA(OMS(term, polyd)[203, 0, 0, 1, 2, 4], OMA(OMS(term, polyd)[-23, 0, 0, 1, 1, 5], OMA(OMS(term, polyd)[-241, 0, 0, 1, 0, 6], OMA(OMS(term, polyd)[-15, 0, 0, 0, 5, 2], OMA(OMS(term, polyd)[-172, 0, 0, 0, 4, 3], OMA(OMS(term, polyd)[91, 0, 0, 0, 3, 4], OMA(OMS(term, polyd)[81, 0, 0, 0, 2, 5], OMA(OMS(term, polyd)[21, 0, 0, 0, 1, 6], OMA(OMS(term, polyd)[-110, 0, 0, 0, 0, 7]], OMA(OMS(SDMP, polyd)[OMA(OMS(term, polyd)[22, 0, 1, 1, 0, 0], OMA(OMS(term, polyd)[-22, 0, 1, 0, 3, 3], OMA(OMS(term, polyd)[-66, 0, 1, 0, 2, 4], OMA(OMS(term, polyd)[88, 0, 1, 0, 1, 5], OMA(OMS(term, polyd)[-22, 0, 1, 0, 0, 6], OMA(OMS(term, polyd)[-9, 0, 0, 5, 2, 0], OMA(OMS(term, polyd)[9, 0, 0, 5, 0, 2], OMA(OMS(term, polyd)[1, 0, 0, 4, 3, 0], OMA(OMS(term, polyd)[5, 0, 0, 4, 2, 1], OMA(OMS(term, polyd)[20, 0, 0, 4, 1, 2], OMA(OMS(term, polyd)[10, 0, 0, 4, 0, 3], OMA(OMS(term, polyd)[-3, 0, 0, 3, 3, 1], OMA(OMS(term, polyd)[-31, 0, 0, 3, 2, 2], OMA(OMS(term, polyd)[124, 0, 0, 3, 1, 3], OMA(OMS(term, polyd)[-18, 0, 0, 3, 0, 4], OMA(OMS(term, polyd)[2, 0, 0, 2, 4, 1], OMA(OMS(term, polyd)[-49, 0, 0, 2, 3, 2], OMA(OMS(term, polyd)[-46, 0, 0, 2, 2, 3], OMA(OMS(term, polyd)[84, 0, 0, 2, 1, 4], OMA(OMS(term, polyd)[-41, 0, 0, 2, 0, 5], OMA(OMS(term, polyd)[-3, 0, 0, 1, 4, 2], OMA(OMS(term, polyd)[-32, 0, 0, 1, 3, 3], OMA(OMS(term, polyd)[-42, 0, 0, 1, 2, 4], OMA(OMS(term, polyd)[129, 0, 0, 1, 1, 5], OMA(OMS(term, polyd)[-44, 0, 0, 1, 0, 6], OMA(OMS(term, polyd)[-22, 0, 0, 0, 4, 3], OMA(OMS(term, polyd)[-88, 0, 0, 0, 3, 4], OMA(OMS(term, polyd)[-22, 0, 0, 0, 2, 5], OMA(OMS(term, polyd)[88, 0, 0, 0, 1, 6], OMA(OMS(term, polyd)[-22, 0, 0, 0, 0, 7]], OMA(OMS(SDMP, polyd)[OMA(OMS(term, polyd)[1, 0, 2, 0, 0, 0], OMA(OMS(term, polyd)[1, 0, 1, 0, 1, 0], OMA(OMS(term, polyd)[2, 0, 1, 0, 0, 1], OMA(OMS(term, polyd)[-1, 0, 0, 1, 1, 0], OMA(OMS(term, polyd)[1, 0, 0, 1, 0, 1], OMA(OMS(term, polyd)[1, 0, 0, 0, 0, 2]], OMA(OMS(SDMP, polyd)[OMA(OMS(term, polyd)[1, 1, 0, 0, 0, 0], OMA(OMS(term, polyd)[1, 0, 1, 0, 0, 0], OMA(OMS(term, polyd)[1, 0, 0, 1, 0, 0], OMA(OMS(term, polyd)[1, 0, 0, 0, 1, 0], OMA(OMS(term, polyd)[1, 0, 0, 0, 0, 1]]]]