encodings_examples.v 4.76 KB