>>1554814
ほんまにそうか？
ACL2に全振りすれば良いのに、と何回も思ったけどな

結果的に優勝したからバイアスかかってるんちゃう？