rolling back to Brian's commit with updated input.txt as well as Extension