These are the files I used to demonstrate the bug to myself.