devil38

Results 1 issues of devil38

Paper repository fix

![patch-compilation-success](https://github.com/user-attachments/assets/9a435482-b820-429b-8a73-8afb51a39b97) ![patch-pass](https://github.com/user-attachments/assets/2980a755-57cc-44a2-8a7b-a98e686367f0)