Min-plus_semiring loading ...