The actual content in the repository is just a few for loops to find the counterexample. With a ton of commented out code, and some default code generated by cargo I am guessing. I am not sure how ready the author was for people to view this.
https://github.com/CarlKCarlK/shortestpaper/blob/main/src/li...