Donの二進完全到達オートマトンに関する予想について

完全到達オートマトンに関するDonの予想を検証しました。