base-case.txt