min_deg.h 341 Bytes