pravda encoding