Add decoder for Jeremy's encoder