MiniDot model.

Based on rules7 of @TiarkRompf