miniforum_deg_1