modified protocol to print the decrypted permuted ciphertexts, plus some other minor changes