Revert "remove holl3.txt"

This reverts commit 3941139130ba5b8e7f166be947cce8168ea0e583.