{"F07H0080": ["=\u20e5", "\u2260"]}