the *.txt files contain command lines that you can use to debug LKCP in the case that you 
experience a bug.
