I am sorry that I have not been able to complete this writeup in English. I tried to use the standard Chinese in the text to facilitate translation of the software.
[https://lorexxar.cn/2018/11/12/hctf2019_contract_wp/#ez2win](https://lorexxar.cn/2018/11/12/hctf2019_contract_wp/#ez2win)