{
  "abi": [
    {
      "constant": false,
      "inputs": [
        {
          "name": "encodedOutcome",
          "type": "bytes"
        },
        {
          "name": "encodedParams",
          "type": "bytes"
        }
      ],
      "name": "interpretOutcomeAndExecuteEffect",
      "outputs": [],
      "payable": false,
      "stateMutability": "nonpayable",
      "type": "function"
    },
    {
      "payable": true,
      "stateMutability": "payable",
      "type": "fallback"
    }
  ],
  "evm": {
    "bytecode": {
      "linkReferences": {},
      "object": "608060405234801561001057600080fd5b506101f7806100206000396000f3fe60806040526004361061001e5760003560e01c80638dd8fc9714610020575b005b34801561002c57600080fd5b50610047600480360361004291908101906100ce565b610049565b005b6040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161007b90610183565b60405180910390fd5b60008083601f84011261009657600080fd5b8235905067ffffffffffffffff8111156100af57600080fd5b6020830191508360018202830111156100c757600080fd5b9250929050565b600080600080604085870312156100e457600080fd5b600085013567ffffffffffffffff8111156100fe57600080fd5b61010a87828801610084565b9450945050602085013567ffffffffffffffff81111561012957600080fd5b61013587828801610084565b925092505092959194509250565b60006101506013836101a3565b91507f556e696d706c656d656e7465644572726f722e000000000000000000000000006000830152602082019050919050565b6000602082019050818103600083015261019c81610143565b9050919050565b60008282526020820190509291505056fea365627a7a7230582020bf5e42c8ce15145ab6f8625f80f5c7853e82bd83be69925697916fab884f596c6578706572696d656e74616cf564736f6c634300050a0040",
      "opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH2 0x1F7 DUP1 PUSH2 0x20 PUSH1 0x0 CODECOPY PUSH1 0x0 RETURN INVALID PUSH1 0x80 PUSH1 0x40 MSTORE PUSH1 0x4 CALLDATASIZE LT PUSH2 0x1E JUMPI PUSH1 0x0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0x8DD8FC97 EQ PUSH2 0x20 JUMPI JUMPDEST STOP JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x2C JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH2 0x47 PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH2 0x42 SWAP2 SWAP1 DUP2 ADD SWAP1 PUSH2 0xCE JUMP JUMPDEST PUSH2 0x49 JUMP JUMPDEST STOP JUMPDEST PUSH1 0x40 MLOAD PUSH32 0x8C379A000000000000000000000000000000000000000000000000000000000 DUP2 MSTORE PUSH1 0x4 ADD PUSH2 0x7B SWAP1 PUSH2 0x183 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 REVERT JUMPDEST PUSH1 0x0 DUP1 DUP4 PUSH1 0x1F DUP5 ADD SLT PUSH2 0x96 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST DUP3 CALLDATALOAD SWAP1 POP PUSH8 0xFFFFFFFFFFFFFFFF DUP2 GT ISZERO PUSH2 0xAF JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH1 0x20 DUP4 ADD SWAP2 POP DUP4 PUSH1 0x1 DUP3 MUL DUP4 ADD GT ISZERO PUSH2 0xC7 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST SWAP3 POP SWAP3 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 DUP1 PUSH1 0x0 DUP1 PUSH1 0x40 DUP6 DUP8 SUB SLT ISZERO PUSH2 0xE4 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH1 0x0 DUP6 ADD CALLDATALOAD PUSH8 0xFFFFFFFFFFFFFFFF DUP2 GT ISZERO PUSH2 0xFE JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0x10A DUP8 DUP3 DUP9 ADD PUSH2 0x84 JUMP JUMPDEST SWAP5 POP SWAP5 POP POP PUSH1 0x20 DUP6 ADD CALLDATALOAD PUSH8 0xFFFFFFFFFFFFFFFF DUP2 GT ISZERO PUSH2 0x129 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0x135 DUP8 DUP3 DUP9 ADD PUSH2 0x84 JUMP JUMPDEST SWAP3 POP SWAP3 POP POP SWAP3 SWAP6 SWAP2 SWAP5 POP SWAP3 POP JUMP JUMPDEST PUSH1 0x0 PUSH2 0x150 PUSH1 0x13 DUP4 PUSH2 0x1A3 JUMP JUMPDEST SWAP2 POP PUSH32 0x556E696D706C656D656E7465644572726F722E00000000000000000000000000 PUSH1 0x0 DUP4 ADD MSTORE PUSH1 0x20 DUP3 ADD SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 ADD SWAP1 POP DUP2 DUP2 SUB PUSH1 0x0 DUP4 ADD MSTORE PUSH2 0x19C DUP2 PUSH2 0x143 JUMP JUMPDEST SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 DUP3 DUP3 MSTORE PUSH1 0x20 DUP3 ADD SWAP1 POP SWAP3 SWAP2 POP POP JUMP INVALID LOG3 PUSH6 0x627A7A723058 KECCAK256 KECCAK256 0xbf 0x5e TIMESTAMP 0xc8 0xce ISZERO EQ GAS 0xb6 0xf8 PUSH3 0x5F80F5 0xc7 DUP6 RETURNDATACOPY DUP3 0xbd DUP4 0xbe PUSH10 0x925697916FAB884F596C PUSH6 0x78706572696D PUSH6 0x6E74616CF564 PUSH20 0x6F6C634300050A00400000000000000000000000 ",
      "sourceMap": "201:1215:9:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;201:1215:9;;;;;;;"
    },
    "deployedBytecode": {
      "linkReferences": {},
      "object": "60806040526004361061001e5760003560e01c80638dd8fc9714610020575b005b34801561002c57600080fd5b50610047600480360361004291908101906100ce565b610049565b005b6040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161007b90610183565b60405180910390fd5b60008083601f84011261009657600080fd5b8235905067ffffffffffffffff8111156100af57600080fd5b6020830191508360018202830111156100c757600080fd5b9250929050565b600080600080604085870312156100e457600080fd5b600085013567ffffffffffffffff8111156100fe57600080fd5b61010a87828801610084565b9450945050602085013567ffffffffffffffff81111561012957600080fd5b61013587828801610084565b925092505092959194509250565b60006101506013836101a3565b91507f556e696d706c656d656e7465644572726f722e000000000000000000000000006000830152602082019050919050565b6000602082019050818103600083015261019c81610143565b9050919050565b60008282526020820190509291505056fea365627a7a7230582020bf5e42c8ce15145ab6f8625f80f5c7853e82bd83be69925697916fab884f596c6578706572696d656e74616cf564736f6c634300050a0040",
      "opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE PUSH1 0x4 CALLDATASIZE LT PUSH2 0x1E JUMPI PUSH1 0x0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0x8DD8FC97 EQ PUSH2 0x20 JUMPI JUMPDEST STOP JUMPDEST CALLVALUE DUP1 ISZERO PUSH2 0x2C JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH2 0x47 PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH2 0x42 SWAP2 SWAP1 DUP2 ADD SWAP1 PUSH2 0xCE JUMP JUMPDEST PUSH2 0x49 JUMP JUMPDEST STOP JUMPDEST PUSH1 0x40 MLOAD PUSH32 0x8C379A000000000000000000000000000000000000000000000000000000000 DUP2 MSTORE PUSH1 0x4 ADD PUSH2 0x7B SWAP1 PUSH2 0x183 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 REVERT JUMPDEST PUSH1 0x0 DUP1 DUP4 PUSH1 0x1F DUP5 ADD SLT PUSH2 0x96 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST DUP3 CALLDATALOAD SWAP1 POP PUSH8 0xFFFFFFFFFFFFFFFF DUP2 GT ISZERO PUSH2 0xAF JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH1 0x20 DUP4 ADD SWAP2 POP DUP4 PUSH1 0x1 DUP3 MUL DUP4 ADD GT ISZERO PUSH2 0xC7 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST SWAP3 POP SWAP3 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 DUP1 PUSH1 0x0 DUP1 PUSH1 0x40 DUP6 DUP8 SUB SLT ISZERO PUSH2 0xE4 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH1 0x0 DUP6 ADD CALLDATALOAD PUSH8 0xFFFFFFFFFFFFFFFF DUP2 GT ISZERO PUSH2 0xFE JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0x10A DUP8 DUP3 DUP9 ADD PUSH2 0x84 JUMP JUMPDEST SWAP5 POP SWAP5 POP POP PUSH1 0x20 DUP6 ADD CALLDATALOAD PUSH8 0xFFFFFFFFFFFFFFFF DUP2 GT ISZERO PUSH2 0x129 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0x135 DUP8 DUP3 DUP9 ADD PUSH2 0x84 JUMP JUMPDEST SWAP3 POP SWAP3 POP POP SWAP3 SWAP6 SWAP2 SWAP5 POP SWAP3 POP JUMP JUMPDEST PUSH1 0x0 PUSH2 0x150 PUSH1 0x13 DUP4 PUSH2 0x1A3 JUMP JUMPDEST SWAP2 POP PUSH32 0x556E696D706C656D656E7465644572726F722E00000000000000000000000000 PUSH1 0x0 DUP4 ADD MSTORE PUSH1 0x20 DUP3 ADD SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 ADD SWAP1 POP DUP2 DUP2 SUB PUSH1 0x0 DUP4 ADD MSTORE PUSH2 0x19C DUP2 PUSH2 0x143 JUMP JUMPDEST SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 DUP3 DUP3 MSTORE PUSH1 0x20 DUP3 ADD SWAP1 POP SWAP3 SWAP2 POP POP JUMP INVALID LOG3 PUSH6 0x627A7A723058 KECCAK256 KECCAK256 0xbf 0x5e TIMESTAMP 0xc8 0xce ISZERO EQ GAS 0xb6 0xf8 PUSH3 0x5F80F5 0xc7 DUP6 RETURNDATACOPY DUP3 0xbd DUP4 0xbe PUSH10 0x925697916FAB884F596C PUSH6 0x78706572696D PUSH6 0x6E74616CF564 PUSH20 0x6F6C634300050A00400000000000000000000000 ",
      "sourceMap": "201:1215:9:-;;;;;;;;;;;;;;;;;;;848:566;;8:9:-1;5:2;;;30:1;27;20:12;5:2;848:566:9;;;;;;;;;;;;;;;;:::i;:::-;;;1380:29;;;;;;;;;;;;;;;;;;;19:335:-1;;;133:3;126:4;118:6;114:17;110:27;100:2;;151:1;148;141:12;100:2;184:6;171:20;161:30;;211:18;203:6;200:30;197:2;;;243:1;240;233:12;197:2;277:4;269:6;265:17;253:29;;327:3;320;312:6;308:16;298:8;294:31;291:40;288:2;;;344:1;341;334:12;288:2;93:261;;;;;;362:614;;;;;521:2;509:9;500:7;496:23;492:32;489:2;;;537:1;534;527:12;489:2;600:1;589:9;585:17;572:31;623:18;615:6;612:30;609:2;;;655:1;652;645:12;609:2;683:64;739:7;730:6;719:9;715:22;683:64;;;673:74;;;;551:202;812:2;801:9;797:18;784:32;836:18;828:6;825:30;822:2;;;868:1;865;858:12;822:2;896:64;952:7;943:6;932:9;928:22;896:64;;;886:74;;;;763:203;483:493;;;;;;;;984:364;;1144:67;1208:2;1203:3;1144:67;;;1137:74;;1244:66;1240:1;1235:3;1231:11;1224:87;1339:2;1334:3;1330:12;1323:19;;1130:218;;;;1356:407;;1547:2;1536:9;1532:18;1524:26;;1597:9;1591:4;1587:20;1583:1;1572:9;1568:17;1561:47;1622:131;1748:4;1622:131;;;1614:139;;1518:245;;;;1771:163;;1886:6;1881:3;1874:19;1923:4;1918:3;1914:14;1899:29;;1867:67;;;;"
    }
  },
  "interface": [
    {
      "constant": false,
      "inputs": [
        {
          "name": "encodedOutcome",
          "type": "bytes"
        },
        {
          "name": "encodedParams",
          "type": "bytes"
        }
      ],
      "name": "interpretOutcomeAndExecuteEffect",
      "outputs": [],
      "payable": false,
      "stateMutability": "nonpayable",
      "type": "function"
    },
    {
      "payable": true,
      "stateMutability": "payable",
      "type": "fallback"
    }
  ],
  "bytecode": "608060405234801561001057600080fd5b506101f7806100206000396000f3fe60806040526004361061001e5760003560e01c80638dd8fc9714610020575b005b34801561002c57600080fd5b50610047600480360361004291908101906100ce565b610049565b005b6040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161007b90610183565b60405180910390fd5b60008083601f84011261009657600080fd5b8235905067ffffffffffffffff8111156100af57600080fd5b6020830191508360018202830111156100c757600080fd5b9250929050565b600080600080604085870312156100e457600080fd5b600085013567ffffffffffffffff8111156100fe57600080fd5b61010a87828801610084565b9450945050602085013567ffffffffffffffff81111561012957600080fd5b61013587828801610084565b925092505092959194509250565b60006101506013836101a3565b91507f556e696d706c656d656e7465644572726f722e000000000000000000000000006000830152602082019050919050565b6000602082019050818103600083015261019c81610143565b9050919050565b60008282526020820190509291505056fea365627a7a7230582020bf5e42c8ce15145ab6f8625f80f5c7853e82bd83be69925697916fab884f596c6578706572696d656e74616cf564736f6c634300050a0040"
}