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