EXIficient encodings from 23th of December, 2010