ran with debug parameter, see output2.txt