2秒後に自動転送します
https://www.x6turfturf.com.co/post/validating-hares-sort-module-using-symbolic-execution-rd3yp7
by p2 ime