広島のACL2の感じ見てると、レベルは流石に低めだと思うのでGL突破くらいは普通にやればヌルいとは思う。