No decoder exists for this yet. The file in this directory should be the hard symbols.