* replaced JSON files
* bug fix in stubborn set optimisation