History for many-penalization-examples-dat.md