encoded less than