PVS ファイルが倍精度で保存されたかどうかを識別するには、テキストエディタでそのファイルを開き、最初の行で PV-PVS バージョンを確認します。