Updated hol.md and solution file