text: cops = {
      "0x00":"STOP",
      "0x01":"ADD",
      "0x02":"MUL",
      "0x03":"SUB",
      "0x04":"DIV",
      "0x05":"SDIV",
      "0x06":"MOD",
      "0x07":"SMOD",
      "0x08":"ADDMOD",
      "0x09":"MULMOD",
      "0x0a":"EXP",
      "0x0b":"SIGNEXTEND",
      "0x10":"LT",
      "0x11":"GT",
      "0x12":"SLT",
      "0x13":"SGT",
      "0x14":"EQ",
      "0x15":"ISZERO",
      "0x16":"AND",
      "0x17":"OR",
      "0x18":"XOR",
      "0x19":"NOT",
      "0x1a":"BYTE",
      "0x20":"SHA3",
      "0x30":"ADDRESS",
      "0x31":"BALANCE",
      "0x32":"ORIGIN",
      "0x33":"CALLER",
      "0x34":"CALLVALUE",
      "0x35":"CALLDATALOAD",
      "0x36":"CALLDATASIZE",
      "0x37":"CALLDATACOPY",
      "0x38":"CODESIZE",
      "0x39":"CODECOPY",
      "0x3a":"GASPRICE",
      "0x3b":"EXTCODESIZE",
      "0x3c":"EXTCODECOPY",
      "0x3d":"MCOPY",
      "0x40":"BLOCKHASH",
      "0x41":"COINBASE",
      "0x42":"TIMESTAMP",
      "0x43":"NUMBER",
      "0x44":"DIFFICULTY",
      "0x45":"GASLIMIT",
      "0x50":"POP",
      "0x51":"MLOAD",
      "0x52":"MSTORE",
      "0x53":"MSTORE8",
      "0x54":"SLOAD",
      "0x55":"SSTORE",
      "0x56":"JUMP",
      "0x57":"JUMPI",
      "0x58":"PC",
      "0x59":"MSIZE",
      "0x5a":"GAS",
      "0x5b":"JUMPDEST",
      "0x5c":"SLOADEXT",
      "0x5c":"SLOADBYTESEXT",
      "0x5d":"SSTOREEXT",
      "0x5d":"SSTOREBYTESEXT",
      "0x60":"PUSH1",
      "0x61":"PUSH2",
      "0x62":"PUSH3",
      "0x63":"PUSH4",
      "0x64":"PUSH5",
      "0x65":"PUSH6",
      "0x66":"PUSH7",
      "0x67":"PUSH8",
      "0x68":"PUSH9",
      "0x69":"PUSH10",
      "0x6a":"PUSH11",
      "0x6b":"PUSH12",
      "0x6c":"PUSH13",
      "0x6d":"PUSH14",
      "0x6e":"PUSH15",
      "0x6f":"PUSH16",
      "0x70":"PUSH17",
      "0x71":"PUSH18",
      "0x72":"PUSH19",
      "0x73":"PUSH20",
      "0x74":"PUSH21",
      "0x75":"PUSH22",
      "0x76":"PUSH23",
      "0x77":"PUSH24",
      "0x78":"PUSH25",
      "0x79":"PUSH26",
      "0x7a":"PUSH27",
      "0x7b":"PUSH28",
      "0x7c":"PUSH29",
      "0x7d":"PUSH30",
      "0x7e":"PUSH31",
      "0x7f":"PUSH32",
      "0x80":"DUP1",
      "0x81":"DUP2",
      "0x82":"DUP3",
      "0x83":"DUP4",
      "0x84":"DUP5",
      "0x85":"DUP6",
      "0x86":"DUP7",
      "0x87":"DUP8",
      "0x88":"DUP9",
      "0x89":"DUP10",
      "0x8a":"DUP11",
      "0x8b":"DUP12",
      "0x8c":"DUP13",
      "0x8d":"DUP14",
      "0x8e":"DUP15",
      "0x8f":"DUP16",
      "0x90":"SWAP1",
      "0x91":"SWAP2",
      "0x92":"SWAP3",
      "0x93":"SWAP4",
      "0x94":"SWAP5",
      "0x95":"SWAP6",
      "0x96":"SWAP7",
      "0x97":"SWAP8",
      "0x98":"SWAP9",
      "0x99":"SWAP10",
      "0x9a":"SWAP11",
      "0x9b":"SWAP12",
      "0x9c":"SWAP13",
      "0x9d":"SWAP14",
      "0x9e":"SWAP15",
      "0x9f":"SWAP16",
      "0xa0":"LOG0",
      "0xa1":"LOG1",
      "0xa2":"LOG2",
      "0xa3":"LOG3",
      "0xa4":"LOG4",
      "0xf0":"CREATE",
      "0xf1":"CALL",
      "0xf2":"CALLCODE",
      "0xf3":"RETURN",
      "0xf4":"DELEGATECALL",
      "0xf5":"BREAKPOINT",
      "0xf6":"RNGSEED",
      "0xf7":"SSIZEEXT",
      "0xf8":"SLOADBYTES",
      "0xf9":"SSTOREBYTES",
      "0xfa":"SSIZE",
      "0xfb":"STATEROOT",
      "0xfc":"TXEXECGAS",
      "0xfd":"REVERT",
      "0xfe":"INVALID",
      "0xff":"SUICIDE"
  }
  
  allops = {
      "STOP": [0x00, 0, 0],
      "ADD": [0x01, 2, 1],
      "MUL": [0x02, 2, 1],
      "SUB": [0x03, 2, 1],
      "DIV": [0x04, 2, 1],
      "SDIV": [0x05, 2, 1],
      "MOD": [0x06, 2, 1],
      "SMOD": [0x07, 2, 1],
      "ADDMOD": [0x08, 3, 1],
      "MULMOD": [0x09, 3, 1],
      "EXP": [0x0a, 2, 1],
      "SIGNEXTEND": [0x0b, 2, 1],
      "LT": [0x10, 2, 1],
      "GT": [0x11, 2, 1],
      "SLT": [0x12, 2, 1],
      "SGT": [0x13, 2, 1],
      "EQ": [0x14, 2, 1],
      "ISZERO": [0x15, 1, 1],
      "AND": [0x16, 2, 1],
      "OR": [0x17, 2, 1],
      "XOR": [0x18, 2, 1],
      "NOT": [0x19, 1, 1],
      "BYTE": [0x1a, 2, 1],
      "SHA3": [0x20, 2, 1],
      "ADDRESS": [0x30, 0, 1],
      "BALANCE": [0x31, 1, 1],
      "ORIGIN": [0x32, 0, 1],
      "CALLER": [0x33, 0, 1],
      "CALLVALUE": [0x34, 0, 1],
      "CALLDATALOAD": [0x35, 1, 1],
      "CALLDATASIZE": [0x36, 0, 1],
      "CALLDATACOPY": [0x37, 3, 0],
      "CODESIZE": [0x38, 0, 1],
      "CODECOPY": [0x39, 3, 0],
      "GASPRICE": [0x3a, 0, 1],
      "EXTCODESIZE": [0x3b, 1, 1],
      "EXTCODECOPY": [0x3c, 4, 0],
      "MCOPY": [0x3d, 3, 0],
      "BLOCKHASH": [0x40, 1, 1],
      "COINBASE": [0x41, 0, 1],
      "TIMESTAMP": [0x42, 0, 1],
      "NUMBER": [0x43, 0, 1],
      "DIFFICULTY": [0x44, 0, 1],
      "GASLIMIT": [0x45, 0, 1],
      "POP": [0x50, 1, 0],
      "MLOAD": [0x51, 1, 1],
      "MSTORE": [0x52, 2, 0],
      "MSTORE8": [0x53, 2, 0],
      "SLOAD": [0x54, 1, 1],
      "SSTORE": [0x55, 2, 0],
      "JUMP": [0x56, 1, 0],
      "JUMPI": [0x57, 2, 0],
      "PC": [0x58, 0, 1],
      "MSIZE": [0x59, 0, 1],
      "GAS": [0x5a, 0, 1],
      "JUMPDEST": [0x5b, 0, 0],
      "SLOADEXT": [0x5c, 2, 1],
      "SSTOREEXT": [0x5d, 3, 0],
      "SLOADBYTESEXT": [0x5c, 4, 0],
      "SSTOREBYTESEXT": [0x5d, 4, 0],
      "PUSH1": [0x60, 0, 1],
      "PUSH2": [0x61, 0, 1],
      "PUSH3": [0x62, 0, 1],
      "PUSH4": [0x63, 0, 1],
      "PUSH5": [0x64, 0, 1],
      "PUSH6": [0x65, 0, 1],
      "PUSH7": [0x66, 0, 1],
      "PUSH8": [0x67, 0, 1],
      "PUSH9": [0x68, 0, 1],
      "PUSH10": [0x69, 0, 1],
      "PUSH11": [0x6a, 0, 1],
      "PUSH12": [0x6b, 0, 1],
      "PUSH13": [0x6c, 0, 1],
      "PUSH14": [0x6d, 0, 1],
      "PUSH15": [0x6e, 0, 1],
      "PUSH16": [0x6f, 0, 1],
      "PUSH17": [0x70, 0, 1],
      "PUSH18": [0x71, 0, 1],
      "PUSH19": [0x72, 0, 1],
      "PUSH20": [0x73, 0, 1],
      "PUSH21": [0x74, 0, 1],
      "PUSH22": [0x75, 0, 1],
      "PUSH23": [0x76, 0, 1],
      "PUSH24": [0x77, 0, 1],
      "PUSH25": [0x78, 0, 1],
      "PUSH26": [0x79, 0, 1],
      "PUSH27": [0x7a, 0, 1],
      "PUSH28": [0x7b, 0, 1],
      "PUSH29": [0x7c, 0, 1],
      "PUSH30": [0x7d, 0, 1],
      "PUSH31": [0x7e, 0, 1],
      "PUSH32": [0x7f, 0, 1],
      "DUP1":  [0x80, 1, 2],
      "DUP2":  [0x81, 2, 3],
      "DUP3":  [0x82, 3, 4],
      "DUP4":  [0x83, 4, 5],
      "DUP5":  [0x84, 5, 6],
      "DUP6":  [0x85, 6, 7],
      "DUP7":  [0x86, 7, 8],
      "DUP8":  [0x87, 8, 9],
      "DUP9":  [0x88, 9, 10],
      "DUP10": [0x89, 10, 11],
      "DUP11": [0x8a, 11, 12],
      "DUP12": [0x8b, 12, 13],
      "DUP13": [0x8c, 13, 14],
      "DUP14": [0x8d, 14, 15],
      "DUP15": [0x8e, 15, 16],
      "DUP16": [0x8f, 16, 17],
      "SWAP1": [0x90, 2, 2],
      "SWAP2": [0x91, 3, 3],
      "SWAP3": [0x92, 4, 4],
      "SWAP4": [0x93, 5, 5],
      "SWAP5": [0x94, 6, 6],
      "SWAP6": [0x95, 7, 7],
      "SWAP7": [0x96, 8, 8],
      "SWAP8": [0x97, 9, 9],
      "SWAP9": [0x98, 10, 10],
      "SWAP10": [0x99, 11, 11],
      "SWAP11": [0x9a, 12, 12],
      "SWAP12": [0x9b, 13, 13],
      "SWAP13": [0x9c, 14, 14],
      "SWAP14": [0x9d, 15, 15],
      "SWAP15": [0x9e, 16, 16],
      "SWAP16": [0x9f, 17, 17],
      "LOG0": [0xa0, 2, 0],
      "LOG1": [0xa1, 3, 0],
      "LOG2": [0xa2, 4, 0],
      "LOG3": [0xa3, 5, 0],
      "LOG4": [0xa4, 6, 0],
      "CREATE": [0xf0, 3, 1],
      "CALL": [0xf1, 7, 1],
      "CALLCODE": [0xf2, 7, 1],
      "RETURN": [0xf3, 2, 0],
      "DELEGATECALL": [0xf4, 6, 1],
      "BREAKPOINT": [0xf5, 0, 0],
      "RNGSEED": [0xf6, 1, 1],
      "SSIZEEXT": [0xf7, 2, 1],
      "SLOADBYTES": [0xf8, 3, 0],
      "SSTOREBYTES": [0xf9, 3, 0],
      "SSIZE": [0xfa, 1, 1],
      "STATEROOT": [0xfb, 1, 1],
      "TXEXECGAS": [0xfc, 0, 1],
      "REVERT": [0xfd, 0, 0],
  #    "CALLSTATIC": [0xfd, 7, 1],
      "INVALID": [0xfe, 0, 0],  # 
      "SUICIDE": [0xff, 1, 0],
      "STOP": [0x00, 0, 0]
  }
  
  