{
    "validInvalid" : {
        "_info" : {
            "comment" : "Test valid and invalid EOF code\n  Implements\n    EOFV3670_0001 (Valid) Code containing the STOP opcode - Data Section 0\n    EOFV3670_0002 (Valid) Code containing the ADD opcode - Data Section 1\n    EOFV3670_0003 (Valid) Code containing the MUL opcode - Data Section 2\n    EOFV3670_0004 (Valid) Code containing the SUB opcode - Data Section 3\n    EOFV3670_0005 (Valid) Code containing the DIV opcode - Data Section 4\n    EOFV3670_0006 (Valid) Code containing the SDIV opcode - Data Section 5\n    EOFV3670_0007 (Valid) Code containing the MOD opcode - Data Section 6\n    EOFV3670_0008 (Valid) Code containing the SMOD opcode - Data Section 7\n    EOFV3670_0009 (Valid) Code containing the ADDMOD opcode - Data Section 8\n    EOFV3670_0010 (Valid) Code containing the MULMOD opcode - Data Section 9\n    EOFV3670_0011 (Valid) Code containing the EXP opcode - Data Section 10\n    EOFV3670_0012 (Valid) Code containing the SIGNEXTEND opcode - Data Section 11\n    EOFV3670_0013 (Valid) Code containing the LT opcode - Data Section 12\n    EOFV3670_0014 (Valid) Code containing the GT opcode - Data Section 13\n    EOFV3670_0015 (Valid) Code containing the SLT opcode - Data Section 14\n    EOFV3670_0016 (Valid) Code containing the SGT opcode - Data Section 15\n    EOFV3670_0017 (Valid) Code containing the EQ opcode - Data Section 16\n    EOFV3670_0018 (Valid) Code containing the ISZERO opcode - Data Section 17\n    EOFV3670_0019 (Valid) Code containing the AND opcode - Data Section 18\n    EOFV3670_0020 (Valid) Code containing the OR opcode - Data Section 19\n    EOFV3670_0021 (Valid) Code containing the XOR opcode - Data Section 20\n    EOFV3670_0022 (Valid) Code containing the NOT opcode - Data Section 21\n    EOFV3670_0023 (Valid) Code containing the BYTE opcode - Data Section 22\n    EOFV3670_0024 (Valid) Code containing the SHL opcode - Data Section 23\n    EOFV3670_0025 (Valid) Code containing the SHR opcode - Data Section 24\n    EOFV3670_0026 (Valid) Code containing the SAR opcode - Data Section 25\n    EOFV3670_0027 (Valid) Code containing the SHA3 opcode - Data Section 26\n    EOFV3670_0028 (Valid) Code containing the ADDRESS opcode - Data Section 27\n    EOFV3670_0029 (Valid) Code containing the BALANCE opcode - Data Section 28\n    EOFV3670_0030 (Valid) Code containing the ORIGIN opcode - Data Section 29\n    EOFV3670_0031 (Valid) Code containing the CALLER opcode - Data Section 30\n    EOFV3670_0032 (Valid) Code containing the CALLVALUE opcode - Data Section 31\n    EOFV3670_0033 (Valid) Code containing the CALLDATALOAD opcode - Data Section 32\n    EOFV3670_0034 (Valid) Code containing the CALLDATASIZE opcode - Data Section 33\n    EOFV3670_0035 (Valid) Code containing the CALLDATACOPY opcode - Data Section 34\n    EOFV3670_0036 (Valid) Code containing the CODESIZE opcode - Data Section 35\n    EOFV3670_0037 (Valid) Code containing the CODECOPY opcode - Data Section 36\n    EOFV3670_0038 (Valid) Code containing the GASPRICE opcode - Data Section 37\n    EOFV3670_0039 (Valid) Code containing the EXTCODESIZE opcode - Data Section 38\n    EOFV3670_0040 (Valid) Code containing the EXTCODECOPY opcode - Data Section 39\n    EOFV3670_0041 (Valid) Code containing the RETURNDATASIZE opcode - Data Section 40\n    EOFV3670_0042 (Valid) Code containing the RETURNDATACOPY opcode - Data Section 41\n    EOFV3670_0043 (Valid) Code containing the EXTCODEHASH opcode - Data Section 42\n    EOFV3670_0044 (Valid) Code containing the BLOCKHASH opcode - Data Section 43\n    EOFV3670_0045 (Valid) Code containing the COINBASE opcode - Data Section 44\n    EOFV3670_0046 (Valid) Code containing the TIMESTAMP opcode - Data Section 45\n    EOFV3670_0047 (Valid) Code containing the NUMBER opcode - Data Section 46\n    EOFV3670_0048 (Valid) Code containing the DIFFICULTY opcode - Data Section 47\n    EOFV3670_0049 (Valid) Code containing the GASLIMIT opcode - Data Section 48\n    EOFV3670_0050 (Valid) Code containing the CHAINID opcode - Data Section 49\n    EOFV3670_0051 (Valid) Code containing the SELFBALANCE opcode - Data Section 50\n    EOFV3670_0052 (Valid) Code containing the BASEFEE opcode - Data Section 51\n    EOFV3670_0053 (Valid) Code containing the BLOBHASH opcode - Data Section 52\n    EOFV3670_0054 (Valid) Code containing the BLOBBASEFEE opcode - Data Section 53\n    EOFV3670_0055 (Valid) Code containing the POP opcode - Data Section 54\n    EOFV3670_0056 (Valid) Code containing the MLOAD opcode - Data Section 55\n    EOFV3670_0057 (Valid) Code containing the MSTORE8 opcode - Data Section 56\n    EOFV3670_0058 (Valid) Code containing the SLOAD opcode - Data Section 57\n    EOFV3670_0059 (Valid) Code containing the SSTORE opcode - Data Section 58\n    EOFV3670_0060 (Valid) Code containing the MSIZE opcode - Data Section 59\n    EOFV3670_0061 (Valid) Code containing the GAS opcode - Data Section 60\n    EOFV3670_0062 (Valid) Code containing the NOP opcode - Data Section 61\n    EOFV3670_0063 (Valid) Code containing the MCOPY opcode - Data Section 62\n    EOFV3670_0064 (Valid) Code containing the PUSH0 opcode - Data Section 63\n    EOFV3670_0065 (Valid) Code containing the PUSH1 opcode - Data Section 64\n    EOFV3670_0066 (Valid) Code containing the PUSH2 opcode - Data Section 65\n    EOFV3670_0067 (Valid) Code containing the PUSH3 opcode - Data Section 66\n    EOFV3670_0068 (Valid) Code containing the PUSH4 opcode - Data Section 67\n    EOFV3670_0069 (Valid) Code containing the PUSH5 opcode - Data Section 68\n    EOFV3670_0070 (Valid) Code containing the PUSH6 opcode - Data Section 69\n    EOFV3670_0071 (Valid) Code containing the PUSH7 opcode - Data Section 70\n    EOFV3670_0072 (Valid) Code containing the PUSH8 opcode - Data Section 71\n    EOFV3670_0073 (Valid) Code containing the PUSH9 opcode - Data Section 72\n    EOFV3670_0074 (Valid) Code containing the PUSH10 opcode - Data Section 73\n    EOFV3670_0075 (Valid) Code containing the PUSH11 opcode - Data Section 74\n    EOFV3670_0076 (Valid) Code containing the PUSH12 opcode - Data Section 75\n    EOFV3670_0077 (Valid) Code containing the PUSH13 opcode - Data Section 76\n    EOFV3670_0078 (Valid) Code containing the PUSH14 opcode - Data Section 77\n    EOFV3670_0079 (Valid) Code containing the PUSH15 opcode - Data Section 78\n    EOFV3670_0080 (Valid) Code containing the PUSH16 opcode - Data Section 79\n    EOFV3670_0081 (Valid) Code containing the PUSH17 opcode - Data Section 80\n    EOFV3670_0082 (Valid) Code containing the PUSH18 opcode - Data Section 81\n    EOFV3670_0083 (Valid) Code containing the PUSH19 opcode - Data Section 82\n    EOFV3670_0084 (Valid) Code containing the PUSH20 opcode - Data Section 83\n    EOFV3670_0085 (Valid) Code containing the PUSH21 opcode - Data Section 84\n    EOFV3670_0086 (Valid) Code containing the PUSH22 opcode - Data Section 85\n    EOFV3670_0087 (Valid) Code containing the PUSH23 opcode - Data Section 86\n    EOFV3670_0088 (Valid) Code containing the PUSH24 opcode - Data Section 87\n    EOFV3670_0089 (Valid) Code containing the PUSH25 opcode - Data Section 88\n    EOFV3670_0090 (Valid) Code containing the PUSH26 opcode - Data Section 89\n    EOFV3670_0091 (Valid) Code containing the PUSH27 opcode - Data Section 90\n    EOFV3670_0092 (Valid) Code containing the PUSH28 opcode - Data Section 91\n    EOFV3670_0093 (Valid) Code containing the PUSH29 opcode - Data Section 92\n    EOFV3670_0094 (Valid) Code containing the PUSH30 opcode - Data Section 93\n    EOFV3670_0095 (Valid) Code containing the PUSH31 opcode - Data Section 94\n    EOFV3670_0096 (Valid) Code containing the PUSH32 opcode - Data Section 95\n    EOFV3670_0097 (Valid) Code containing the DUP1 opcode - Data Section 96\n    EOFV3670_0098 (Valid) Code containing the DUP2 opcode - Data Section 97\n    EOFV3670_0099 (Valid) Code containing the DUP3 opcode - Data Section 98\n    EOFV3670_0100 (Valid) Code containing the DUP4 opcode - Data Section 99\n    EOFV3670_0101 (Valid) Code containing the DUP5 opcode - Data Section 100\n    EOFV3670_0102 (Valid) Code containing the DUP6 opcode - Data Section 101\n    EOFV3670_0103 (Valid) Code containing the DUP7 opcode - Data Section 102\n    EOFV3670_0104 (Valid) Code containing the DUP8 opcode - Data Section 103\n    EOFV3670_0105 (Valid) Code containing the DUP9 opcode - Data Section 104\n    EOFV3670_0106 (Valid) Code containing the DUP10 opcode - Data Section 105\n    EOFV3670_0107 (Valid) Code containing the DUP11 opcode - Data Section 106\n    EOFV3670_0108 (Valid) Code containing the DUP12 opcode - Data Section 107\n    EOFV3670_0109 (Valid) Code containing the DUP13 opcode - Data Section 108\n    EOFV3670_0110 (Valid) Code containing the DUP14 opcode - Data Section 109\n    EOFV3670_0111 (Valid) Code containing the DUP15 opcode - Data Section 110\n    EOFV3670_0112 (Valid) Code containing the DUP16 opcode - Data Section 111\n    EOFV3670_0113 (Valid) Code containing the SWAP1 opcode - Data Section 112\n    EOFV3670_0114 (Valid) Code containing the SWAP2 opcode - Data Section 113\n    EOFV3670_0115 (Valid) Code containing the SWAP3 opcode - Data Section 114\n    EOFV3670_0116 (Valid) Code containing the SWAP4 opcode - Data Section 115\n    EOFV3670_0117 (Valid) Code containing the SWAP5 opcode - Data Section 116\n    EOFV3670_0118 (Valid) Code containing the SWAP6 opcode - Data Section 117\n    EOFV3670_0119 (Valid) Code containing the SWAP7 opcode - Data Section 118\n    EOFV3670_0120 (Valid) Code containing the SWAP8 opcode - Data Section 119\n    EOFV3670_0121 (Valid) Code containing the SWAP9 opcode - Data Section 120\n    EOFV3670_0122 (Valid) Code containing the SWAP10 opcode - Data Section 121\n    EOFV3670_0123 (Valid) Code containing the SWAP11 opcode - Data Section 122\n    EOFV3670_0124 (Valid) Code containing the SWAP12 opcode - Data Section 123\n    EOFV3670_0125 (Valid) Code containing the SWAP13 opcode - Data Section 124\n    EOFV3670_0126 (Valid) Code containing the SWAP14 opcode - Data Section 125\n    EOFV3670_0127 (Valid) Code containing the SWAP15 opcode - Data Section 126\n    EOFV3670_0128 (Valid) Code containing the SWAP16 opcode - Data Section 127\n    EOFV3670_0129 (Valid) Code containing the LOG0 opcode - Data Section 128\n    EOFV3670_0130 (Valid) Code containing the LOG1 opcode - Data Section 129\n    EOFV3670_0131 (Valid) Code containing the LOG2 opcode - Data Section 130\n    EOFV3670_0132 (Valid) Code containing the LOG3 opcode - Data Section 131\n    EOFV3670_0133 (Valid) Code containing the LOG4 opcode - Data Section 132\n    EOFV3670_0134 (Valid) Code containing the CALL opcode - Data Section 133\n    EOFV3670_0135 (Valid) Code containing the RETURN opcode - Data Section 134\n    EOFV3670_0136 (Valid) Code containing the DELEGATECALL opcode - Data Section 135\n    EOFV3670_0137 (Valid) Code containing the STATICCALL opcode - Data Section 136\n    EOFV3670_0138 (Valid) Code containing the REVERT opcode - Data Section 137\n    EOFV3670_0139 (Valid) Code containing the INVALID opcode - Data Section 138\n    EOFI3670_0140 (Invalid) Code containing undefined instruction 0x0c - Data Section 139\n    EOFI3670_0141 (Invalid) Code containing undefined instruction 0x0d - Data Section 140\n    EOFI3670_0142 (Invalid) Code containing undefined instruction 0x0e - Data Section 141\n    EOFI3670_0143 (Invalid) Code containing undefined instruction 0x0f - Data Section 142\n    EOFI3670_0144 (Invalid) Code containing undefined instruction 0x1e - Data Section 143\n    EOFI3670_0145 (Invalid) Code containing undefined instruction 0x1f - Data Section 144\n    EOFI3670_0146 (Invalid) Code containing undefined instruction 0x21 - Data Section 145\n    EOFI3670_0147 (Invalid) Code containing undefined instruction 0x22 - Data Section 146\n    EOFI3670_0148 (Invalid) Code containing undefined instruction 0x23 - Data Section 147\n    EOFI3670_0149 (Invalid) Code containing undefined instruction 0x24 - Data Section 148\n    EOFI3670_0150 (Invalid) Code containing undefined instruction 0x25 - Data Section 149\n    EOFI3670_0151 (Invalid) Code containing undefined instruction 0x26 - Data Section 150\n    EOFI3670_0152 (Invalid) Code containing undefined instruction 0x27 - Data Section 151\n    EOFI3670_0153 (Invalid) Code containing undefined instruction 0x28 - Data Section 152\n    EOFI3670_0154 (Invalid) Code containing undefined instruction 0x29 - Data Section 153\n    EOFI3670_0155 (Invalid) Code containing undefined instruction 0x2a - Data Section 154\n    EOFI3670_0156 (Invalid) Code containing undefined instruction 0x2b - Data Section 155\n    EOFI3670_0157 (Invalid) Code containing undefined instruction 0x2c - Data Section 156\n    EOFI3670_0158 (Invalid) Code containing undefined instruction 0x2d - Data Section 157\n    EOFI3670_0159 (Invalid) Code containing undefined instruction 0x2e - Data Section 158\n    EOFI3670_0160 (Invalid) Code containing undefined instruction 0x2f - Data Section 159\n    EOFI3670_0161 (Invalid) Code containing undefined instruction 0x4b - Data Section 160\n    EOFI3670_0162 (Invalid) Code containing undefined instruction 0x4c - Data Section 161\n    EOFI3670_0163 (Invalid) Code containing undefined instruction 0x4d - Data Section 162\n    EOFI3670_0164 (Invalid) Code containing undefined instruction 0x4e - Data Section 163\n    EOFI3670_0165 (Invalid) Code containing undefined instruction 0x4f - Data Section 164\n    EOFI3670_0166 (Invalid) Code containing undefined instruction 0x56 - Data Section 165\n    EOFI3670_0167 (Invalid) Code containing undefined instruction 0x57 - Data Section 166\n    EOFI3670_0168 (Invalid) Code containing undefined instruction 0x58 - Data Section 167\n    EOFI3670_0169 (Invalid) Code containing undefined instruction 0xa5 - Data Section 168\n    EOFI3670_0170 (Invalid) Code containing undefined instruction 0xa6 - Data Section 169\n    EOFI3670_0171 (Invalid) Code containing undefined instruction 0xa7 - Data Section 170\n    EOFI3670_0172 (Invalid) Code containing undefined instruction 0xa8 - Data Section 171\n    EOFI3670_0173 (Invalid) Code containing undefined instruction 0xa9 - Data Section 172\n    EOFI3670_0174 (Invalid) Code containing undefined instruction 0xaa - Data Section 173\n    EOFI3670_0175 (Invalid) Code containing undefined instruction 0xab - Data Section 174\n    EOFI3670_0176 (Invalid) Code containing undefined instruction 0xac - Data Section 175\n    EOFI3670_0177 (Invalid) Code containing undefined instruction 0xad - Data Section 176\n    EOFI3670_0178 (Invalid) Code containing undefined instruction 0xae - Data Section 177\n    EOFI3670_0179 (Invalid) Code containing undefined instruction 0xaf - Data Section 178\n    EOFI3670_0180 (Invalid) Code containing undefined instruction 0xb2 - Data Section 179\n    EOFI3670_0181 (Invalid) Code containing undefined instruction 0xb3 - Data Section 180\n    EOFI3670_0182 (Invalid) Code containing undefined instruction 0xb4 - Data Section 181\n    EOFI3670_0183 (Invalid) Code containing undefined instruction 0xb5 - Data Section 182\n    EOFI3670_0184 (Invalid) Code containing undefined instruction 0xb6 - Data Section 183\n    EOFI3670_0185 (Invalid) Code containing undefined instruction 0xb7 - Data Section 184\n    EOFI3670_0186 (Invalid) Code containing undefined instruction 0xb8 - Data Section 185\n    EOFI3670_0187 (Invalid) Code containing undefined instruction 0xb9 - Data Section 186\n    EOFI3670_0188 (Invalid) Code containing undefined instruction 0xba - Data Section 187\n    EOFI3670_0189 (Invalid) Code containing undefined instruction 0xbb - Data Section 188\n    EOFI3670_0190 (Invalid) Code containing undefined instruction 0xbc - Data Section 189\n    EOFI3670_0191 (Invalid) Code containing undefined instruction 0xbd - Data Section 190\n    EOFI3670_0192 (Invalid) Code containing undefined instruction 0xbe - Data Section 191\n    EOFI3670_0193 (Invalid) Code containing undefined instruction 0xbf - Data Section 192\n    EOFI3670_0194 (Invalid) Code containing undefined instruction 0xc0 - Data Section 193\n    EOFI3670_0195 (Invalid) Code containing undefined instruction 0xc1 - Data Section 194\n    EOFI3670_0196 (Invalid) Code containing undefined instruction 0xc2 - Data Section 195\n    EOFI3670_0197 (Invalid) Code containing undefined instruction 0xc3 - Data Section 196\n    EOFI3670_0198 (Invalid) Code containing undefined instruction 0xc4 - Data Section 197\n    EOFI3670_0199 (Invalid) Code containing undefined instruction 0xc5 - Data Section 198\n    EOFI3670_0200 (Invalid) Code containing undefined instruction 0xc6 - Data Section 199\n    EOFI3670_0201 (Invalid) Code containing undefined instruction 0xc7 - Data Section 200\n    EOFI3670_0202 (Invalid) Code containing undefined instruction 0xc8 - Data Section 201\n    EOFI3670_0203 (Invalid) Code containing undefined instruction 0xc9 - Data Section 202\n    EOFI3670_0204 (Invalid) Code containing undefined instruction 0xca - Data Section 203\n    EOFI3670_0205 (Invalid) Code containing undefined instruction 0xcb - Data Section 204\n    EOFI3670_0206 (Invalid) Code containing undefined instruction 0xcc - Data Section 205\n    EOFI3670_0207 (Invalid) Code containing undefined instruction 0xcd - Data Section 206\n    EOFI3670_0208 (Invalid) Code containing undefined instruction 0xce - Data Section 207\n    EOFI3670_0209 (Invalid) Code containing undefined instruction 0xcf - Data Section 208\n    EOFI3670_0210 (Invalid) Code containing undefined instruction 0xd4 - Data Section 209\n    EOFI3670_0211 (Invalid) Code containing undefined instruction 0xd5 - Data Section 210\n    EOFI3670_0212 (Invalid) Code containing undefined instruction 0xd6 - Data Section 211\n    EOFI3670_0213 (Invalid) Code containing undefined instruction 0xd7 - Data Section 212\n    EOFI3670_0214 (Invalid) Code containing undefined instruction 0xd8 - Data Section 213\n    EOFI3670_0215 (Invalid) Code containing undefined instruction 0xd9 - Data Section 214\n    EOFI3670_0216 (Invalid) Code containing undefined instruction 0xda - Data Section 215\n    EOFI3670_0217 (Invalid) Code containing undefined instruction 0xdb - Data Section 216\n    EOFI3670_0218 (Invalid) Code containing undefined instruction 0xdc - Data Section 217\n    EOFI3670_0219 (Invalid) Code containing undefined instruction 0xdd - Data Section 218\n    EOFI3670_0220 (Invalid) Code containing undefined instruction 0xde - Data Section 219\n    EOFI3670_0221 (Invalid) Code containing undefined instruction 0xdf - Data Section 220\n    EOFI3670_0222 (Invalid) Code containing undefined instruction 0xe8 - Data Section 221\n    EOFI3670_0223 (Invalid) Code containing undefined instruction 0xe9 - Data Section 222\n    EOFI3670_0224 (Invalid) Code containing undefined instruction 0xea - Data Section 223\n    EOFI3670_0225 (Invalid) Code containing undefined instruction 0xeb - Data Section 224\n    EOFI3670_0226 (Invalid) Code containing undefined instruction 0xef - Data Section 225\n    EOFI3670_0227 (Invalid) Code containing undefined instruction 0xf0 - Data Section 226\n    EOFI3670_0228 (Invalid) Code containing undefined instruction 0xf2 - Data Section 227\n    EOFI3670_0229 (Invalid) Code containing undefined instruction 0xf5 - Data Section 228\n    EOFI3670_0230 (Invalid) Code containing undefined instruction 0xf6 - Data Section 229\n    EOFI3670_0231 (Invalid) Code containing undefined instruction 0xf8 - Data Section 230\n    EOFI3670_0232 (Invalid) Code containing undefined instruction 0xf9 - Data Section 231\n    EOFI3670_0233 (Invalid) Code containing undefined instruction 0xfb - Data Section 232\n    EOFI3670_0234 (Invalid) Code containing undefined instruction 0xfc - Data Section 233\n    EOFI3670_0235 (Invalid) Code containing undefined instruction 0xff - Data Section 234\n    EOFI3670_0236 (Invalid) Truncated PUSH1 (no immediates) - Data Section 235\n    EOFI3670_0237 (Invalid) Truncated PUSH2 (no immediates) - Data Section 236\n    EOFI3670_0238 (Invalid) Truncated PUSH2 (truncated immediates) - Data Section 237\n    EOFI3670_0239 (Invalid) Truncated PUSH3 (no immediates) - Data Section 238\n    EOFI3670_0240 (Invalid) Truncated PUSH3 (truncated immediates) - Data Section 239\n    EOFI3670_0241 (Invalid) Truncated PUSH4 (no immediates) - Data Section 240\n    EOFI3670_0242 (Invalid) Truncated PUSH4 (truncated immediates) - Data Section 241\n    EOFI3670_0243 (Invalid) Truncated PUSH5 (no immediates) - Data Section 242\n    EOFI3670_0244 (Invalid) Truncated PUSH5 (truncated immediates) - Data Section 243\n    EOFI3670_0245 (Invalid) Truncated PUSH6 (no immediates) - Data Section 244\n    EOFI3670_0246 (Invalid) Truncated PUSH6 (truncated immediates) - Data Section 245\n    EOFI3670_0247 (Invalid) Truncated PUSH7 (no immediates) - Data Section 246\n    EOFI3670_0248 (Invalid) Truncated PUSH7 (truncated immediates) - Data Section 247\n    EOFI3670_0249 (Invalid) Truncated PUSH8 (no immediates) - Data Section 248\n    EOFI3670_0250 (Invalid) Truncated PUSH8 (truncated immediates) - Data Section 249\n    EOFI3670_0251 (Invalid) Truncated PUSH9 (no immediates) - Data Section 250\n    EOFI3670_0252 (Invalid) Truncated PUSH9 (truncated immediates) - Data Section 251\n    EOFI3670_0253 (Invalid) Truncated PUSH10 (no immediates) - Data Section 252\n    EOFI3670_0254 (Invalid) Truncated PUSH10 (truncated immediates) - Data Section 253\n    EOFI3670_0255 (Invalid) Truncated PUSH11 (no immediates) - Data Section 254\n    EOFI3670_0256 (Invalid) Truncated PUSH11 (truncated immediates) - Data Section 255\n    EOFI3670_0257 (Invalid) Truncated PUSH12 (no immediates) - Data Section 256\n    EOFI3670_0258 (Invalid) Truncated PUSH12 (truncated immediates) - Data Section 257\n    EOFI3670_0259 (Invalid) Truncated PUSH13 (no immediates) - Data Section 258\n    EOFI3670_0260 (Invalid) Truncated PUSH13 (truncated immediates) - Data Section 259\n    EOFI3670_0261 (Invalid) Truncated PUSH14 (no immediates) - Data Section 260\n    EOFI3670_0262 (Invalid) Truncated PUSH14 (truncated immediates) - Data Section 261\n    EOFI3670_0263 (Invalid) Truncated PUSH15 (no immediates) - Data Section 262\n    EOFI3670_0264 (Invalid) Truncated PUSH15 (truncated immediates) - Data Section 263\n    EOFI3670_0265 (Invalid) Truncated PUSH16 (no immediates) - Data Section 264\n    EOFI3670_0266 (Invalid) Truncated PUSH16 (truncated immediates) - Data Section 265\n    EOFI3670_0267 (Invalid) Truncated PUSH17 (no immediates) - Data Section 266\n    EOFI3670_0268 (Invalid) Truncated PUSH17 (truncated immediates) - Data Section 267\n    EOFI3670_0269 (Invalid) Truncated PUSH18 (no immediates) - Data Section 268\n    EOFI3670_0270 (Invalid) Truncated PUSH18 (truncated immediates) - Data Section 269\n    EOFI3670_0271 (Invalid) Truncated PUSH19 (no immediates) - Data Section 270\n    EOFI3670_0272 (Invalid) Truncated PUSH19 (truncated immediates) - Data Section 271\n    EOFI3670_0273 (Invalid) Truncated PUSH20 (no immediates) - Data Section 272\n    EOFI3670_0274 (Invalid) Truncated PUSH20 (truncated immediates) - Data Section 273\n    EOFI3670_0275 (Invalid) Truncated PUSH21 (no immediates) - Data Section 274\n    EOFI3670_0276 (Invalid) Truncated PUSH21 (truncated immediates) - Data Section 275\n    EOFI3670_0277 (Invalid) Truncated PUSH22 (no immediates) - Data Section 276\n    EOFI3670_0278 (Invalid) Truncated PUSH22 (truncated immediates) - Data Section 277\n    EOFI3670_0279 (Invalid) Truncated PUSH23 (no immediates) - Data Section 278\n    EOFI3670_0280 (Invalid) Truncated PUSH23 (truncated immediates) - Data Section 279\n    EOFI3670_0281 (Invalid) Truncated PUSH24 (no immediates) - Data Section 280\n    EOFI3670_0282 (Invalid) Truncated PUSH24 (truncated immediates) - Data Section 281\n    EOFI3670_0283 (Invalid) Truncated PUSH25 (no immediates) - Data Section 282\n    EOFI3670_0284 (Invalid) Truncated PUSH25 (truncated immediates) - Data Section 283\n    EOFI3670_0285 (Invalid) Truncated PUSH26 (no immediates) - Data Section 284\n    EOFI3670_0286 (Invalid) Truncated PUSH26 (truncated immediates) - Data Section 285\n    EOFI3670_0287 (Invalid) Truncated PUSH27 (no immediates) - Data Section 286\n    EOFI3670_0288 (Invalid) Truncated PUSH27 (truncated immediates) - Data Section 287\n    EOFI3670_0289 (Invalid) Truncated PUSH28 (no immediates) - Data Section 288\n    EOFI3670_0290 (Invalid) Truncated PUSH28 (truncated immediates) - Data Section 289\n    EOFI3670_0291 (Invalid) Truncated PUSH29 (no immediates) - Data Section 290\n    EOFI3670_0292 (Invalid) Truncated PUSH29 (truncated immediates) - Data Section 291\n    EOFI3670_0293 (Invalid) Truncated PUSH30 (no immediates) - Data Section 292\n    EOFI3670_0294 (Invalid) Truncated PUSH30 (truncated immediates) - Data Section 293\n    EOFI3670_0295 (Invalid) Truncated PUSH31 (no immediates) - Data Section 294\n    EOFI3670_0296 (Invalid) Truncated PUSH31 (truncated immediates) - Data Section 295\n    EOFI3670_0297 (Invalid) Truncated PUSH32 (no immediates) - Data Section 296\n    EOFI3670_0298 (Invalid) Truncated PUSH32 (truncated immediates) - Data Section 297\n    EOFI3670_0299 (Invalid) Containing undefined instruction (0xfb) after STOP - Data Section 298\n",
            "filling-rpc-server" : "evmone-t8n 0.12.0-dev+commit.14ba7529",
            "filling-tool-version" : "retesteth-0.3.2-cancun+commit.9d793abd.Linux.g++",
            "generatedTestHash" : "b2305be6aaf4c98bf09b5892455f61697aff8cd555895837c8df7324ed7bf9e6",
            "lllcversion" : "Version: 0.5.14-develop.2022.4.6+commit.401d5358.Linux.g++",
            "solidity" : "Version: 0.8.18-develop.2023.1.16+commit.469d6d4d.Linux.g++",
            "source" : "src/EOFTestsFiller/EIP3670/validInvalidFiller.yml",
            "sourceHash" : "513e8e83276305366c781c549bb70abeacd865e219b9adfa7aacdc619765ea67"
        },
        "vectors" : {
            "validInvalid_0" : {
                "code" : "0xef00010100040200010001040000000080000000",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_1" : {
                "code" : "0xef0001010004020001000504000000008000026001800100",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_10" : {
                "code" : "0xef0001010004020001000504000000008000026001800a00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_100" : {
                "code" : "0xef0001010004020001000804000000008000066001808080808400",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_101" : {
                "code" : "0xef000101000402000100090400000000800007600180808080808500",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_102" : {
                "code" : "0xef0001010004020001000a040000000080000860018080808080808600",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_103" : {
                "code" : "0xef0001010004020001000b04000000008000096001808080808080808700",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_104" : {
                "code" : "0xef0001010004020001000c040000000080000a600180808080808080808800",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_105" : {
                "code" : "0xef0001010004020001000d040000000080000b60018080808080808080808900",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_106" : {
                "code" : "0xef0001010004020001000e040000000080000c6001808080808080808080808a00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_107" : {
                "code" : "0xef0001010004020001000f040000000080000d600180808080808080808080808b00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_108" : {
                "code" : "0xef00010100040200010010040000000080000e60018080808080808080808080808c00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_109" : {
                "code" : "0xef00010100040200010011040000000080000f6001808080808080808080808080808d00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_11" : {
                "code" : "0xef0001010004020001000504000000008000026001800b00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_110" : {
                "code" : "0xef000101000402000100120400000000800010600180808080808080808080808080808e00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_111" : {
                "code" : "0xef00010100040200010013040000000080001160018080808080808080808080808080808f00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_112" : {
                "code" : "0xef0001010004020001000504000000008000026001809000",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_113" : {
                "code" : "0xef000101000402000100060400000000800003600180809100",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_114" : {
                "code" : "0xef00010100040200010007040000000080000460018080809200",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_115" : {
                "code" : "0xef0001010004020001000804000000008000056001808080809300",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_116" : {
                "code" : "0xef000101000402000100090400000000800006600180808080809400",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_117" : {
                "code" : "0xef0001010004020001000a040000000080000760018080808080809500",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_118" : {
                "code" : "0xef0001010004020001000b04000000008000086001808080808080809600",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_119" : {
                "code" : "0xef0001010004020001000c0400000000800009600180808080808080809700",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_12" : {
                "code" : "0xef0001010004020001000504000000008000026001801000",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_120" : {
                "code" : "0xef0001010004020001000d040000000080000a60018080808080808080809800",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_121" : {
                "code" : "0xef0001010004020001000e040000000080000b6001808080808080808080809900",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_122" : {
                "code" : "0xef0001010004020001000f040000000080000c600180808080808080808080809a00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_123" : {
                "code" : "0xef00010100040200010010040000000080000d60018080808080808080808080809b00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_124" : {
                "code" : "0xef00010100040200010011040000000080000e6001808080808080808080808080809c00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_125" : {
                "code" : "0xef00010100040200010012040000000080000f600180808080808080808080808080809d00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_126" : {
                "code" : "0xef00010100040200010013040000000080001060018080808080808080808080808080809e00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_127" : {
                "code" : "0xef0001010004020001001404000000008000116001808080808080808080808080808080809f00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_128" : {
                "code" : "0xef000101000402000100050400000000800002600180a000",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_129" : {
                "code" : "0xef00010100040200010006040000000080000360018080a100",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_13" : {
                "code" : "0xef0001010004020001000504000000008000026001801100",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_130" : {
                "code" : "0xef0001010004020001000704000000008000046001808080a200",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_131" : {
                "code" : "0xef000101000402000100080400000000800005600180808080a300",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_132" : {
                "code" : "0xef00010100040200010009040000000080000660018080808080a400",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_133" : {
                "code" : "0xef0001010004020001000a04000000008000076001808080808080f100",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_134" : {
                "code" : "0xef000101000402000100040400000000800002600180f3",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_135" : {
                "code" : "0xef00010100040200010009040000000080000660018080808080f400",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_136" : {
                "code" : "0xef00010100040200010009040000000080000660018080808080fa00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_137" : {
                "code" : "0xef000101000402000100040400000000800002600180fd",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_138" : {
                "code" : "0xef000101000402000100010400000000800000fe",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_139" : {
                "code" : "0xef0001010004020001000204000000008000000c00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_14" : {
                "code" : "0xef0001010004020001000504000000008000026001801200",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_140" : {
                "code" : "0xef0001010004020001000204000000008000000d00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_141" : {
                "code" : "0xef0001010004020001000204000000008000000e00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_142" : {
                "code" : "0xef0001010004020001000204000000008000000f00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_143" : {
                "code" : "0xef0001010004020001000204000000008000001e00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_144" : {
                "code" : "0xef0001010004020001000204000000008000001f00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_145" : {
                "code" : "0xef0001010004020001000204000000008000002100",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_146" : {
                "code" : "0xef0001010004020001000204000000008000002200",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_147" : {
                "code" : "0xef0001010004020001000204000000008000002300",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_148" : {
                "code" : "0xef0001010004020001000204000000008000002400",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_149" : {
                "code" : "0xef0001010004020001000204000000008000002500",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_15" : {
                "code" : "0xef0001010004020001000504000000008000026001801300",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_150" : {
                "code" : "0xef0001010004020001000204000000008000002600",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_151" : {
                "code" : "0xef0001010004020001000204000000008000002700",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_152" : {
                "code" : "0xef0001010004020001000204000000008000002800",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_153" : {
                "code" : "0xef0001010004020001000204000000008000002900",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_154" : {
                "code" : "0xef0001010004020001000204000000008000002a00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_155" : {
                "code" : "0xef0001010004020001000204000000008000002b00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_156" : {
                "code" : "0xef0001010004020001000204000000008000002c00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_157" : {
                "code" : "0xef0001010004020001000204000000008000002d00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_158" : {
                "code" : "0xef0001010004020001000204000000008000002e00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_159" : {
                "code" : "0xef0001010004020001000204000000008000002f00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_16" : {
                "code" : "0xef0001010004020001000504000000008000026001801400",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_160" : {
                "code" : "0xef0001010004020001000204000000008000004b00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_161" : {
                "code" : "0xef0001010004020001000204000000008000004c00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_162" : {
                "code" : "0xef0001010004020001000204000000008000004d00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_163" : {
                "code" : "0xef0001010004020001000204000000008000004e00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_164" : {
                "code" : "0xef0001010004020001000204000000008000004f00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_165" : {
                "code" : "0xef0001010004020001000204000000008000005600",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_166" : {
                "code" : "0xef0001010004020001000204000000008000005700",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_167" : {
                "code" : "0xef0001010004020001000204000000008000015800",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_168" : {
                "code" : "0xef000101000402000100020400000000800000a500",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_169" : {
                "code" : "0xef000101000402000100020400000000800000a600",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_17" : {
                "code" : "0xef00010100040200010004040000000080000160011500",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_170" : {
                "code" : "0xef000101000402000100020400000000800000a700",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_171" : {
                "code" : "0xef000101000402000100020400000000800000a800",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_172" : {
                "code" : "0xef000101000402000100020400000000800000a900",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_173" : {
                "code" : "0xef000101000402000100020400000000800000aa00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_174" : {
                "code" : "0xef000101000402000100020400000000800000ab00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_175" : {
                "code" : "0xef000101000402000100020400000000800000ac00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_176" : {
                "code" : "0xef000101000402000100020400000000800000ad00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_177" : {
                "code" : "0xef000101000402000100020400000000800000ae00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_178" : {
                "code" : "0xef000101000402000100020400000000800000af00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_179" : {
                "code" : "0xef000101000402000100020400000000800000b200",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_18" : {
                "code" : "0xef0001010004020001000504000000008000026001801600",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_180" : {
                "code" : "0xef000101000402000100020400000000800000b300",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_181" : {
                "code" : "0xef000101000402000100020400000000800000b400",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_182" : {
                "code" : "0xef000101000402000100020400000000800000b500",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_183" : {
                "code" : "0xef000101000402000100020400000000800000b600",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_184" : {
                "code" : "0xef000101000402000100020400000000800000b700",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_185" : {
                "code" : "0xef000101000402000100020400000000800000b800",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_186" : {
                "code" : "0xef000101000402000100020400000000800000b900",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_187" : {
                "code" : "0xef000101000402000100020400000000800000ba00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_188" : {
                "code" : "0xef000101000402000100020400000000800000bb00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_189" : {
                "code" : "0xef000101000402000100020400000000800000bc00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_19" : {
                "code" : "0xef0001010004020001000504000000008000026001801700",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_190" : {
                "code" : "0xef000101000402000100020400000000800000bd00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_191" : {
                "code" : "0xef000101000402000100020400000000800000be00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_192" : {
                "code" : "0xef000101000402000100020400000000800000bf00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_193" : {
                "code" : "0xef000101000402000100020400000000800000c000",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_194" : {
                "code" : "0xef000101000402000100020400000000800000c100",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_195" : {
                "code" : "0xef000101000402000100020400000000800000c200",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_196" : {
                "code" : "0xef000101000402000100020400000000800000c300",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_197" : {
                "code" : "0xef000101000402000100020400000000800000c400",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_198" : {
                "code" : "0xef000101000402000100020400000000800000c500",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_199" : {
                "code" : "0xef000101000402000100020400000000800000c600",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_2" : {
                "code" : "0xef0001010004020001000504000000008000026001800200",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_20" : {
                "code" : "0xef0001010004020001000504000000008000026001801800",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_200" : {
                "code" : "0xef000101000402000100020400000000800000c700",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_201" : {
                "code" : "0xef000101000402000100020400000000800000c800",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_202" : {
                "code" : "0xef000101000402000100020400000000800000c900",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_203" : {
                "code" : "0xef000101000402000100020400000000800000ca00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_204" : {
                "code" : "0xef000101000402000100020400000000800000cb00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_205" : {
                "code" : "0xef000101000402000100020400000000800000cc00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_206" : {
                "code" : "0xef000101000402000100020400000000800000cd00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_207" : {
                "code" : "0xef000101000402000100020400000000800000ce00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_208" : {
                "code" : "0xef000101000402000100020400000000800000cf00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_209" : {
                "code" : "0xef000101000402000100020400000000800000d400",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_21" : {
                "code" : "0xef00010100040200010004040000000080000160011900",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_210" : {
                "code" : "0xef000101000402000100020400000000800000d500",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_211" : {
                "code" : "0xef000101000402000100020400000000800000d600",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_212" : {
                "code" : "0xef000101000402000100020400000000800000d700",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_213" : {
                "code" : "0xef000101000402000100020400000000800000d800",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_214" : {
                "code" : "0xef000101000402000100020400000000800000d900",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_215" : {
                "code" : "0xef000101000402000100020400000000800000da00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_216" : {
                "code" : "0xef000101000402000100020400000000800000db00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_217" : {
                "code" : "0xef000101000402000100020400000000800000dc00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_218" : {
                "code" : "0xef000101000402000100020400000000800000dd00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_219" : {
                "code" : "0xef000101000402000100020400000000800000de00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_22" : {
                "code" : "0xef0001010004020001000504000000008000026001801a00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_220" : {
                "code" : "0xef000101000402000100020400000000800000df00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_221" : {
                "code" : "0xef000101000402000100020400000000800000e800",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_222" : {
                "code" : "0xef000101000402000100020400000000800000e900",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_223" : {
                "code" : "0xef000101000402000100020400000000800000ea00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_224" : {
                "code" : "0xef000101000402000100020400000000800000eb00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_225" : {
                "code" : "0xef000101000402000100020400000000800000ef00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_226" : {
                "code" : "0xef000101000402000100020400000000800000f000",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_227" : {
                "code" : "0xef000101000402000100020400000000800000f200",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_228" : {
                "code" : "0xef000101000402000100020400000000800000f500",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_229" : {
                "code" : "0xef000101000402000100020400000000800000f600",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_23" : {
                "code" : "0xef0001010004020001000504000000008000026001801b00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_230" : {
                "code" : "0xef000101000402000100020400000000800000f800",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_231" : {
                "code" : "0xef000101000402000100020400000000800000f900",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_232" : {
                "code" : "0xef000101000402000100020400000000800000fb00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_233" : {
                "code" : "0xef000101000402000100020400000000800000fc00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_234" : {
                "code" : "0xef000101000402000100020400000000800000ff00",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_235" : {
                "code" : "0xef0001010004020001000b04000000008000026001600155600260025560",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_236" : {
                "code" : "0xef0001010004020001000b04000000008000026001600155600260025561",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_237" : {
                "code" : "0xef0001010004020001000b04000000008000026001600155600260025561",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_238" : {
                "code" : "0xef0001010004020001000b04000000008000026001600155600260025562",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_239" : {
                "code" : "0xef0001010004020001000b04000000008000026001600155600260025562",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_24" : {
                "code" : "0xef0001010004020001000504000000008000026001801c00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_240" : {
                "code" : "0xef0001010004020001000b04000000008000026001600155600260025563",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_241" : {
                "code" : "0xef0001010004020001000b04000000008000026001600155600260025563",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_242" : {
                "code" : "0xef0001010004020001000b04000000008000026001600155600260025564",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_243" : {
                "code" : "0xef0001010004020001000b04000000008000026001600155600260025564",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_244" : {
                "code" : "0xef0001010004020001000b04000000008000026001600155600260025565",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_245" : {
                "code" : "0xef0001010004020001000b04000000008000026001600155600260025565",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_246" : {
                "code" : "0xef0001010004020001000b04000000008000026001600155600260025566",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_247" : {
                "code" : "0xef0001010004020001000b04000000008000026001600155600260025566",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_248" : {
                "code" : "0xef0001010004020001000b04000000008000026001600155600260025567",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_249" : {
                "code" : "0xef0001010004020001000b04000000008000026001600155600260025567",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_25" : {
                "code" : "0xef0001010004020001000504000000008000026001801d00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_250" : {
                "code" : "0xef0001010004020001000b04000000008000026001600155600260025568",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_251" : {
                "code" : "0xef0001010004020001000b04000000008000026001600155600260025568",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_252" : {
                "code" : "0xef0001010004020001000b04000000008000026001600155600260025569",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_253" : {
                "code" : "0xef0001010004020001000b04000000008000026001600155600260025569",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_254" : {
                "code" : "0xef0001010004020001000b0400000000800002600160015560026002556a",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_255" : {
                "code" : "0xef0001010004020001000b0400000000800002600160015560026002556a",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_256" : {
                "code" : "0xef0001010004020001000b0400000000800002600160015560026002556b",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_257" : {
                "code" : "0xef0001010004020001000b0400000000800002600160015560026002556b",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_258" : {
                "code" : "0xef0001010004020001000b0400000000800002600160015560026002556c",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_259" : {
                "code" : "0xef0001010004020001000b0400000000800002600160015560026002556c",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_26" : {
                "code" : "0xef0001010004020001000504000000008000026001802000",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_260" : {
                "code" : "0xef0001010004020001000b0400000000800002600160015560026002556d",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_261" : {
                "code" : "0xef0001010004020001000b0400000000800002600160015560026002556d",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_262" : {
                "code" : "0xef0001010004020001000b0400000000800002600160015560026002556e",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_263" : {
                "code" : "0xef0001010004020001000b0400000000800002600160015560026002556e",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_264" : {
                "code" : "0xef0001010004020001000b0400000000800002600160015560026002556f",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_265" : {
                "code" : "0xef0001010004020001000b0400000000800002600160015560026002556f",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_266" : {
                "code" : "0xef0001010004020001000b04000000008000026001600155600260025570",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_267" : {
                "code" : "0xef0001010004020001000b04000000008000026001600155600260025570",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_268" : {
                "code" : "0xef0001010004020001000b04000000008000026001600155600260025571",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_269" : {
                "code" : "0xef0001010004020001000b04000000008000026001600155600260025571",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_27" : {
                "code" : "0xef0001010004020001000204000000008000013000",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_270" : {
                "code" : "0xef0001010004020001000b04000000008000026001600155600260025572",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_271" : {
                "code" : "0xef0001010004020001000b04000000008000026001600155600260025572",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_272" : {
                "code" : "0xef0001010004020001000b04000000008000026001600155600260025573",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_273" : {
                "code" : "0xef0001010004020001000b04000000008000026001600155600260025573",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_274" : {
                "code" : "0xef0001010004020001000b04000000008000026001600155600260025574",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_275" : {
                "code" : "0xef0001010004020001000b04000000008000026001600155600260025574",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_276" : {
                "code" : "0xef0001010004020001000b04000000008000026001600155600260025575",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_277" : {
                "code" : "0xef0001010004020001000b04000000008000026001600155600260025575",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_278" : {
                "code" : "0xef0001010004020001000b04000000008000026001600155600260025576",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_279" : {
                "code" : "0xef0001010004020001000b04000000008000026001600155600260025576",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_28" : {
                "code" : "0xef00010100040200010004040000000080000160013100",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_280" : {
                "code" : "0xef0001010004020001000b04000000008000026001600155600260025577",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_281" : {
                "code" : "0xef0001010004020001000b04000000008000026001600155600260025577",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_282" : {
                "code" : "0xef0001010004020001000b04000000008000026001600155600260025578",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_283" : {
                "code" : "0xef0001010004020001000b04000000008000026001600155600260025578",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_284" : {
                "code" : "0xef0001010004020001000b04000000008000026001600155600260025579",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_285" : {
                "code" : "0xef0001010004020001000b04000000008000026001600155600260025579",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_286" : {
                "code" : "0xef0001010004020001000b0400000000800002600160015560026002557a",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_287" : {
                "code" : "0xef0001010004020001000b0400000000800002600160015560026002557a",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_288" : {
                "code" : "0xef0001010004020001000b0400000000800002600160015560026002557b",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_289" : {
                "code" : "0xef0001010004020001000b0400000000800002600160015560026002557b",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_29" : {
                "code" : "0xef0001010004020001000204000000008000013200",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_290" : {
                "code" : "0xef0001010004020001000b0400000000800002600160015560026002557c",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_291" : {
                "code" : "0xef0001010004020001000b0400000000800002600160015560026002557c",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_292" : {
                "code" : "0xef0001010004020001000b0400000000800002600160015560026002557d",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_293" : {
                "code" : "0xef0001010004020001000b0400000000800002600160015560026002557d",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_294" : {
                "code" : "0xef0001010004020001000b0400000000800002600160015560026002557e",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_295" : {
                "code" : "0xef0001010004020001000b0400000000800002600160015560026002557e",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_296" : {
                "code" : "0xef0001010004020001000b0400000000800002600160015560026002557f",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_297" : {
                "code" : "0xef0001010004020001000b0400000000800002600160015560026002557f",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_TruncatedImmediate",
                        "result" : false
                    }
                }
            },
            "validInvalid_298" : {
                "code" : "0xef0001010004020001000c04000000008000026001600155600260025500fb",
                "results" : {
                    "Prague" : {
                        "exception" : "EOF_UndefinedInstruction",
                        "result" : false
                    }
                }
            },
            "validInvalid_3" : {
                "code" : "0xef0001010004020001000504000000008000026001800300",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_30" : {
                "code" : "0xef0001010004020001000204000000008000013300",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_31" : {
                "code" : "0xef0001010004020001000204000000008000013400",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_32" : {
                "code" : "0xef00010100040200010004040000000080000160013500",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_33" : {
                "code" : "0xef0001010004020001000204000000008000013600",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_34" : {
                "code" : "0xef000101000402000100060400000000800003600180803700",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_35" : {
                "code" : "0xef0001010004020001000204000000008000013800",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_36" : {
                "code" : "0xef000101000402000100060400000000800003600180803900",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_37" : {
                "code" : "0xef0001010004020001000204000000008000013a00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_38" : {
                "code" : "0xef00010100040200010004040000000080000160013b00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_39" : {
                "code" : "0xef00010100040200010007040000000080000460018080803c00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_4" : {
                "code" : "0xef0001010004020001000504000000008000026001800400",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_40" : {
                "code" : "0xef0001010004020001000204000000008000013d00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_41" : {
                "code" : "0xef000101000402000100060400000000800003600180803e00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_42" : {
                "code" : "0xef00010100040200010004040000000080000160013f00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_43" : {
                "code" : "0xef00010100040200010004040000000080000160014000",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_44" : {
                "code" : "0xef0001010004020001000204000000008000014100",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_45" : {
                "code" : "0xef0001010004020001000204000000008000014200",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_46" : {
                "code" : "0xef0001010004020001000204000000008000014300",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_47" : {
                "code" : "0xef0001010004020001000204000000008000014400",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_48" : {
                "code" : "0xef0001010004020001000204000000008000014500",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_49" : {
                "code" : "0xef0001010004020001000204000000008000014600",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_5" : {
                "code" : "0xef0001010004020001000504000000008000026001800500",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_50" : {
                "code" : "0xef0001010004020001000204000000008000014700",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_51" : {
                "code" : "0xef0001010004020001000204000000008000014800",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_52" : {
                "code" : "0xef00010100040200010004040000000080000160014900",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_53" : {
                "code" : "0xef0001010004020001000204000000008000014a00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_54" : {
                "code" : "0xef00010100040200010004040000000080000160015000",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_55" : {
                "code" : "0xef00010100040200010004040000000080000160015100",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_56" : {
                "code" : "0xef0001010004020001000504000000008000026001805300",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_57" : {
                "code" : "0xef00010100040200010004040000000080000160015400",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_58" : {
                "code" : "0xef0001010004020001000504000000008000026001805500",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_59" : {
                "code" : "0xef0001010004020001000204000000008000015900",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_6" : {
                "code" : "0xef0001010004020001000504000000008000026001800600",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_60" : {
                "code" : "0xef0001010004020001000204000000008000015a00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_61" : {
                "code" : "0xef0001010004020001000204000000008000005b00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_62" : {
                "code" : "0xef000101000402000100060400000000800003600180805e00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_63" : {
                "code" : "0xef0001010004020001000204000000008000015f00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_64" : {
                "code" : "0xef000101000402000100030400000000800001600100",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_65" : {
                "code" : "0xef00010100040200010004040000000080000161ffff00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_66" : {
                "code" : "0xef00010100040200010005040000000080000162ffffff00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_67" : {
                "code" : "0xef00010100040200010006040000000080000163ffffffff00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_68" : {
                "code" : "0xef00010100040200010007040000000080000164ffffffffff00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_69" : {
                "code" : "0xef00010100040200010008040000000080000165ffffffffffff00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_7" : {
                "code" : "0xef0001010004020001000504000000008000026001800700",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_70" : {
                "code" : "0xef00010100040200010009040000000080000166ffffffffffffff00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_71" : {
                "code" : "0xef0001010004020001000a040000000080000167ffffffffffffffff00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_72" : {
                "code" : "0xef0001010004020001000b040000000080000168ffffffffffffffffff00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_73" : {
                "code" : "0xef0001010004020001000c040000000080000169ffffffffffffffffffff00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_74" : {
                "code" : "0xef0001010004020001000d04000000008000016affffffffffffffffffffff00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_75" : {
                "code" : "0xef0001010004020001000e04000000008000016bffffffffffffffffffffffff00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_76" : {
                "code" : "0xef0001010004020001000f04000000008000016cffffffffffffffffffffffffff00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_77" : {
                "code" : "0xef0001010004020001001004000000008000016dffffffffffffffffffffffffffff00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_78" : {
                "code" : "0xef0001010004020001001104000000008000016effffffffffffffffffffffffffffff00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_79" : {
                "code" : "0xef0001010004020001001204000000008000016fffffffffffffffffffffffffffffffff00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_8" : {
                "code" : "0xef000101000402000100060400000000800003600180800800",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_80" : {
                "code" : "0xef00010100040200010013040000000080000170ffffffffffffffffffffffffffffffffff00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_81" : {
                "code" : "0xef00010100040200010014040000000080000171ffffffffffffffffffffffffffffffffffff00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_82" : {
                "code" : "0xef00010100040200010015040000000080000172ffffffffffffffffffffffffffffffffffffff00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_83" : {
                "code" : "0xef00010100040200010016040000000080000173ffffffffffffffffffffffffffffffffffffffff00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_84" : {
                "code" : "0xef00010100040200010017040000000080000174ffffffffffffffffffffffffffffffffffffffffff00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_85" : {
                "code" : "0xef00010100040200010018040000000080000175ffffffffffffffffffffffffffffffffffffffffffff00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_86" : {
                "code" : "0xef00010100040200010019040000000080000176ffffffffffffffffffffffffffffffffffffffffffffff00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_87" : {
                "code" : "0xef0001010004020001001a040000000080000177ffffffffffffffffffffffffffffffffffffffffffffffff00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_88" : {
                "code" : "0xef0001010004020001001b040000000080000178ffffffffffffffffffffffffffffffffffffffffffffffffff00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_89" : {
                "code" : "0xef0001010004020001001c040000000080000179ffffffffffffffffffffffffffffffffffffffffffffffffffff00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_9" : {
                "code" : "0xef000101000402000100060400000000800003600180800900",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_90" : {
                "code" : "0xef0001010004020001001d04000000008000017affffffffffffffffffffffffffffffffffffffffffffffffffffff00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_91" : {
                "code" : "0xef0001010004020001001e04000000008000017bffffffffffffffffffffffffffffffffffffffffffffffffffffffff00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_92" : {
                "code" : "0xef0001010004020001001f04000000008000017cffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_93" : {
                "code" : "0xef0001010004020001002004000000008000017dffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_94" : {
                "code" : "0xef0001010004020001002104000000008000017effffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_95" : {
                "code" : "0xef0001010004020001002204000000008000017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_96" : {
                "code" : "0xef00010100040200010004040000000080000260018000",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_97" : {
                "code" : "0xef0001010004020001000504000000008000036001808100",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_98" : {
                "code" : "0xef000101000402000100060400000000800004600180808200",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            },
            "validInvalid_99" : {
                "code" : "0xef00010100040200010007040000000080000560018080808300",
                "results" : {
                    "Prague" : {
                        "result" : true
                    }
                }
            }
        }
    }
}