Add decoder for Sean's encoder