{
"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
}
}
}
}
}
}