IUTでは除かれてた素数2を組み込むことに成功したらしい