{
  "EOF1_undefined_opcodes": {
    "vectors": {
      "EOF1_undefined_opcodes_0": {
        "code": "0xef00010100040200010013040000000080001160018080808080808080808080808080808000",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_1": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080800100",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_10": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080800a00",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_100": {
        "code": "0xef0001010004020001001404000000008000126001808080808080808080808080808080808d00",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_101": {
        "code": "0xef0001010004020001001404000000008000126001808080808080808080808080808080808e00",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_102": {
        "code": "0xef0001010004020001001404000000008000126001808080808080808080808080808080808f00",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_103": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080809000",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_104": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080809100",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_105": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080809200",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_106": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080809300",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_107": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080809400",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_108": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080809500",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_109": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080809600",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_11": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080800b00",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_110": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080809700",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_111": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080809800",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_112": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080809900",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_113": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080809a00",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_114": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080809b00",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_115": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080809c00",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_116": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080809d00",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_117": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080809e00",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_118": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080809f00",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_119": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080a000",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_12": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080800c00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_120": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080a100",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_121": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080a200",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_122": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080a300",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_123": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080a400",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_124": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080a500",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_125": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080a600",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_126": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080a700",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_127": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080a800",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_128": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080a900",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_129": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080aa00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_13": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080800d00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_130": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080ab00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_131": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080ac00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_132": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080ad00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_133": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080ae00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_134": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080af00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_135": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080b000",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_136": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080b100",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_137": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080b200",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_138": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080b300",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_139": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080b400",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_14": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080800e00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_140": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080b500",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_141": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080b600",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_142": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080b700",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_143": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080b800",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_144": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080b900",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_145": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080ba00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_146": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080bb00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_147": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080bc00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_148": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080bd00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_149": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080be00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_15": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080800f00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_150": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080bf00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_151": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080c000",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_152": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080c100",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_153": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080c200",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_154": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080c300",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_155": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080c400",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_156": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080c500",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_157": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080c600",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_158": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080c700",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_159": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080c800",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_16": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080801000",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_160": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080c900",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_161": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080ca00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_162": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080cb00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_163": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080cc00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_164": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080cd00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_165": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080ce00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_166": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080cf00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_167": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080d000",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_168": {
        "code": "0xef000101000402000100140400000000800012600180808080808080808080808080808080d200",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_169": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080d300",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_17": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080801100",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_170": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080d400",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_171": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080d500",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_172": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080d600",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_173": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080d700",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_174": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080d800",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_175": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080d900",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_176": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080da00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_177": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080db00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_178": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080dc00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_179": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080dd00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_18": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080801200",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_180": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080de00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_181": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080df00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_182": {
        "code": "0xef000101000802000200040001040000000080000000000000e3000100e4",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_183": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080e900",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_184": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080ea00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_185": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080eb00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_186": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080ed00",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_187": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080ef00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_188": {
        "code": "0xef000101000402000100130400000000800011600180808080808080808080808080808080f3",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_189": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080f600",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_19": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080801300",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_190": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080f700",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_191": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080f800",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_192": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080f900",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_193": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080fb00",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_194": {
        "code": "0xef000101000402000100140400000000800011600180808080808080808080808080808080fc00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_195": {
        "code": "0xef000101000402000100130400000000800011600180808080808080808080808080808080fd",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_196": {
        "code": "0xef000101000402000100130400000000800011600180808080808080808080808080808080fe",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_197": {
        "code": "0xef000101000402000100010400000000800000fe",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_2": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080800200",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_20": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080801400",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_21": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080801500",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_22": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080801600",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_23": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080801700",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_24": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080801800",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_25": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080801900",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_26": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080801a00",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_27": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080801b00",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_28": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080801c00",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_29": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080801d00",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_3": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080800300",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_30": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080801e00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_31": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080801f00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_32": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080802000",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_33": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080802100",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_34": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080802200",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_35": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080802300",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_36": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080802400",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_37": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080802500",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_38": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080802600",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_39": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080802700",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_4": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080800400",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_40": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080802800",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_41": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080802900",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_42": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080802a00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_43": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080802b00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_44": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080802c00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_45": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080802d00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_46": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080802e00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_47": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080802f00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_48": {
        "code": "0xef0001010004020001001404000000008000126001808080808080808080808080808080803000",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_49": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080803100",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_5": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080800500",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_50": {
        "code": "0xef0001010004020001001404000000008000126001808080808080808080808080808080803200",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_51": {
        "code": "0xef0001010004020001001404000000008000126001808080808080808080808080808080803300",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_52": {
        "code": "0xef0001010004020001001404000000008000126001808080808080808080808080808080803400",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_53": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080803500",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_54": {
        "code": "0xef0001010004020001001404000000008000126001808080808080808080808080808080803600",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_55": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080803700",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_56": {
        "code": "0xef0001010004020001001404000000008000126001808080808080808080808080808080803a00",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_57": {
        "code": "0xef0001010004020001001404000000008000126001808080808080808080808080808080803d00",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_58": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080803e00",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_59": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080804000",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_6": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080800600",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_60": {
        "code": "0xef0001010004020001001404000000008000126001808080808080808080808080808080804100",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_61": {
        "code": "0xef0001010004020001001404000000008000126001808080808080808080808080808080804200",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_62": {
        "code": "0xef0001010004020001001404000000008000126001808080808080808080808080808080804300",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_63": {
        "code": "0xef0001010004020001001404000000008000126001808080808080808080808080808080804400",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_64": {
        "code": "0xef0001010004020001001404000000008000126001808080808080808080808080808080804500",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_65": {
        "code": "0xef0001010004020001001404000000008000126001808080808080808080808080808080804600",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_66": {
        "code": "0xef0001010004020001001404000000008000126001808080808080808080808080808080804700",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_67": {
        "code": "0xef0001010004020001001404000000008000126001808080808080808080808080808080804800",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_68": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080804900",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_69": {
        "code": "0xef0001010004020001001404000000008000126001808080808080808080808080808080804a00",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_7": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080800700",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_70": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080804b00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_71": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080804c00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_72": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080804d00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_73": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080804e00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_74": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080804f00",
        "results": {
          "Prague": {
            "exception": "EOF_UndefinedInstruction",
            "result": false
          }
        }
      },
      "EOF1_undefined_opcodes_75": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080805000",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_76": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080805100",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_77": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080805200",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_78": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080805300",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_79": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080805400",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_8": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080800800",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_80": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080805500",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_81": {
        "code": "0xef0001010004020001001404000000008000126001808080808080808080808080808080805900",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_82": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080805b00",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_83": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080805c00",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_84": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080805d00",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_85": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080805e00",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_86": {
        "code": "0xef0001010004020001001404000000008000126001808080808080808080808080808080805f00",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_87": {
        "code": "0xef0001010004020001001404000000008000126001808080808080808080808080808080808000",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_88": {
        "code": "0xef0001010004020001001404000000008000126001808080808080808080808080808080808100",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_89": {
        "code": "0xef0001010004020001001404000000008000126001808080808080808080808080808080808200",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_9": {
        "code": "0xef0001010004020001001404000000008000116001808080808080808080808080808080800900",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_90": {
        "code": "0xef0001010004020001001404000000008000126001808080808080808080808080808080808300",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_91": {
        "code": "0xef0001010004020001001404000000008000126001808080808080808080808080808080808400",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_92": {
        "code": "0xef0001010004020001001404000000008000126001808080808080808080808080808080808500",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_93": {
        "code": "0xef0001010004020001001404000000008000126001808080808080808080808080808080808600",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_94": {
        "code": "0xef0001010004020001001404000000008000126001808080808080808080808080808080808700",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_95": {
        "code": "0xef0001010004020001001404000000008000126001808080808080808080808080808080808800",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_96": {
        "code": "0xef0001010004020001001404000000008000126001808080808080808080808080808080808900",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_97": {
        "code": "0xef0001010004020001001404000000008000126001808080808080808080808080808080808a00",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_98": {
        "code": "0xef0001010004020001001404000000008000126001808080808080808080808080808080808b00",
        "results": {
          "Prague": {
            "result": true
          }
        }
      },
      "EOF1_undefined_opcodes_99": {
        "code": "0xef0001010004020001001404000000008000126001808080808080808080808080808080808c00",
        "results": {
          "Prague": {
            "result": true
          }
        }
      }
    }
  }
}