This solution can be ignored. You said that deleting old solutions adds several minutes to verification, so I won't delete this one.