{
  "abi": [
    {
      "constant": true,
      "inputs": [
        {
          "name": "",
          "type": "bytes"
        }
      ],
      "name": "computeOutcome",
      "outputs": [
        {
          "name": "",
          "type": "bytes"
        }
      ],
      "payable": false,
      "stateMutability": "pure",
      "type": "function"
    }
  ],
  "evm": {
    "bytecode": {
      "linkReferences": {},
      "object": "608060405234801561001057600080fd5b50610274806100206000396000f3fe608060405234801561001057600080fd5b506004361061002b5760003560e01c806367c40cc414610030575b600080fd5b61004a600480360361004591908101906100d5565b610060565b6040516100579190610162565b60405180910390f35b606060026040516020016100749190610184565b604051602081830303815290604052905092915050565b60008083601f84011261009d57600080fd5b8235905067ffffffffffffffff8111156100b657600080fd5b6020830191508360018202830111156100ce57600080fd5b9250929050565b600080602083850312156100e857600080fd5b600083013567ffffffffffffffff81111561010257600080fd5b61010e8582860161008b565b92509250509250929050565b60006101258261019f565b61012f81856101aa565b935061013f8185602086016101e0565b61014881610213565b840191505092915050565b61015c816101ce565b82525050565b6000602082019050818103600083015261017c818461011a565b905092915050565b60006020820190506101996000830184610153565b92915050565b600081519050919050565b600082825260208201905092915050565b60008190506101c982610224565b919050565b60006101d9826101bb565b9050919050565b60005b838110156101fe5780820151818401526020810190506101e3565b8381111561020d576000848401525b50505050565b6000601f19601f8301169050919050565b6003811061022e57fe5b5056fea365627a7a72305820fed52e85504c3d0b90b2ce67410587aa94221a5fd40467f74e791e25fe2847806c6578706572696d656e74616cf564736f6c634300050a0040",
      "opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH2 0x274 DUP1 PUSH2 0x20 PUSH1 0x0 CODECOPY PUSH1 0x0 RETURN INVALID PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x4 CALLDATASIZE LT PUSH2 0x2B JUMPI PUSH1 0x0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0x67C40CC4 EQ PUSH2 0x30 JUMPI JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0x4A PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH2 0x45 SWAP2 SWAP1 DUP2 ADD SWAP1 PUSH2 0xD5 JUMP JUMPDEST PUSH2 0x60 JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0x57 SWAP2 SWAP1 PUSH2 0x162 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH1 0x60 PUSH1 0x2 PUSH1 0x40 MLOAD PUSH1 0x20 ADD PUSH2 0x74 SWAP2 SWAP1 PUSH2 0x184 JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH1 0x20 DUP2 DUP4 SUB SUB DUP2 MSTORE SWAP1 PUSH1 0x40 MSTORE SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 DUP1 DUP4 PUSH1 0x1F DUP5 ADD SLT PUSH2 0x9D JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST DUP3 CALLDATALOAD SWAP1 POP PUSH8 0xFFFFFFFFFFFFFFFF DUP2 GT ISZERO PUSH2 0xB6 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH1 0x20 DUP4 ADD SWAP2 POP DUP4 PUSH1 0x1 DUP3 MUL DUP4 ADD GT ISZERO PUSH2 0xCE JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST SWAP3 POP SWAP3 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 DUP1 PUSH1 0x20 DUP4 DUP6 SUB SLT ISZERO PUSH2 0xE8 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH1 0x0 DUP4 ADD CALLDATALOAD PUSH8 0xFFFFFFFFFFFFFFFF DUP2 GT ISZERO PUSH2 0x102 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0x10E DUP6 DUP3 DUP7 ADD PUSH2 0x8B JUMP JUMPDEST SWAP3 POP SWAP3 POP POP SWAP3 POP SWAP3 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 PUSH2 0x125 DUP3 PUSH2 0x19F JUMP JUMPDEST PUSH2 0x12F DUP2 DUP6 PUSH2 0x1AA JUMP JUMPDEST SWAP4 POP PUSH2 0x13F DUP2 DUP6 PUSH1 0x20 DUP7 ADD PUSH2 0x1E0 JUMP JUMPDEST PUSH2 0x148 DUP2 PUSH2 0x213 JUMP JUMPDEST DUP5 ADD SWAP2 POP POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH2 0x15C DUP2 PUSH2 0x1CE JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 ADD SWAP1 POP DUP2 DUP2 SUB PUSH1 0x0 DUP4 ADD MSTORE PUSH2 0x17C DUP2 DUP5 PUSH2 0x11A JUMP JUMPDEST SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 ADD SWAP1 POP PUSH2 0x199 PUSH1 0x0 DUP4 ADD DUP5 PUSH2 0x153 JUMP JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 DUP2 MLOAD SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 DUP3 DUP3 MSTORE PUSH1 0x20 DUP3 ADD SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 DUP2 SWAP1 POP PUSH2 0x1C9 DUP3 PUSH2 0x224 JUMP JUMPDEST SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 PUSH2 0x1D9 DUP3 PUSH2 0x1BB JUMP JUMPDEST SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 JUMPDEST DUP4 DUP2 LT ISZERO PUSH2 0x1FE JUMPI DUP1 DUP3 ADD MLOAD DUP2 DUP5 ADD MSTORE PUSH1 0x20 DUP2 ADD SWAP1 POP PUSH2 0x1E3 JUMP JUMPDEST DUP4 DUP2 GT ISZERO PUSH2 0x20D JUMPI PUSH1 0x0 DUP5 DUP5 ADD MSTORE JUMPDEST POP POP POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x1F NOT PUSH1 0x1F DUP4 ADD AND SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x3 DUP2 LT PUSH2 0x22E JUMPI INVALID JUMPDEST POP JUMP INVALID LOG3 PUSH6 0x627A7A723058 KECCAK256 INVALID 0xd5 0x2e DUP6 POP 0x4c RETURNDATASIZE SIGNEXTEND SWAP1 0xb2 0xce PUSH8 0x410587AA94221A5F 0xd4 DIV PUSH8 0xF74E791E25FE2847 DUP1 PUSH13 0x6578706572696D656E74616CF5 PUSH5 0x736F6C6343 STOP SDIV EXP STOP BLOCKHASH ",
      "sourceMap": "136:234:32:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;136:234:32;;;;;;;"
    },
    "deployedBytecode": {
      "linkReferences": {},
      "object": "608060405234801561001057600080fd5b506004361061002b5760003560e01c806367c40cc414610030575b600080fd5b61004a600480360361004591908101906100d5565b610060565b6040516100579190610162565b60405180910390f35b606060026040516020016100749190610184565b604051602081830303815290604052905092915050565b60008083601f84011261009d57600080fd5b8235905067ffffffffffffffff8111156100b657600080fd5b6020830191508360018202830111156100ce57600080fd5b9250929050565b600080602083850312156100e857600080fd5b600083013567ffffffffffffffff81111561010257600080fd5b61010e8582860161008b565b92509250509250929050565b60006101258261019f565b61012f81856101aa565b935061013f8185602086016101e0565b61014881610213565b840191505092915050565b61015c816101ce565b82525050565b6000602082019050818103600083015261017c818461011a565b905092915050565b60006020820190506101996000830184610153565b92915050565b600081519050919050565b600082825260208201905092915050565b60008190506101c982610224565b919050565b60006101d9826101bb565b9050919050565b60005b838110156101fe5780820151818401526020810190506101e3565b8381111561020d576000848401525b50505050565b6000601f19601f8301169050919050565b6003811061022e57fe5b5056fea365627a7a72305820fed52e85504c3d0b90b2ce67410587aa94221a5fd40467f74e791e25fe2847806c6578706572696d656e74616cf564736f6c634300050a0040",
      "opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x4 CALLDATASIZE LT PUSH2 0x2B JUMPI PUSH1 0x0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0x67C40CC4 EQ PUSH2 0x30 JUMPI JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0x4A PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH2 0x45 SWAP2 SWAP1 DUP2 ADD SWAP1 PUSH2 0xD5 JUMP JUMPDEST PUSH2 0x60 JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0x57 SWAP2 SWAP1 PUSH2 0x162 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH1 0x60 PUSH1 0x2 PUSH1 0x40 MLOAD PUSH1 0x20 ADD PUSH2 0x74 SWAP2 SWAP1 PUSH2 0x184 JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH1 0x20 DUP2 DUP4 SUB SUB DUP2 MSTORE SWAP1 PUSH1 0x40 MSTORE SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 DUP1 DUP4 PUSH1 0x1F DUP5 ADD SLT PUSH2 0x9D JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST DUP3 CALLDATALOAD SWAP1 POP PUSH8 0xFFFFFFFFFFFFFFFF DUP2 GT ISZERO PUSH2 0xB6 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH1 0x20 DUP4 ADD SWAP2 POP DUP4 PUSH1 0x1 DUP3 MUL DUP4 ADD GT ISZERO PUSH2 0xCE JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST SWAP3 POP SWAP3 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 DUP1 PUSH1 0x20 DUP4 DUP6 SUB SLT ISZERO PUSH2 0xE8 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH1 0x0 DUP4 ADD CALLDATALOAD PUSH8 0xFFFFFFFFFFFFFFFF DUP2 GT ISZERO PUSH2 0x102 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0x10E DUP6 DUP3 DUP7 ADD PUSH2 0x8B JUMP JUMPDEST SWAP3 POP SWAP3 POP POP SWAP3 POP SWAP3 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 PUSH2 0x125 DUP3 PUSH2 0x19F JUMP JUMPDEST PUSH2 0x12F DUP2 DUP6 PUSH2 0x1AA JUMP JUMPDEST SWAP4 POP PUSH2 0x13F DUP2 DUP6 PUSH1 0x20 DUP7 ADD PUSH2 0x1E0 JUMP JUMPDEST PUSH2 0x148 DUP2 PUSH2 0x213 JUMP JUMPDEST DUP5 ADD SWAP2 POP POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH2 0x15C DUP2 PUSH2 0x1CE JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 ADD SWAP1 POP DUP2 DUP2 SUB PUSH1 0x0 DUP4 ADD MSTORE PUSH2 0x17C DUP2 DUP5 PUSH2 0x11A JUMP JUMPDEST SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 ADD SWAP1 POP PUSH2 0x199 PUSH1 0x0 DUP4 ADD DUP5 PUSH2 0x153 JUMP JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 DUP2 MLOAD SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 DUP3 DUP3 MSTORE PUSH1 0x20 DUP3 ADD SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 DUP2 SWAP1 POP PUSH2 0x1C9 DUP3 PUSH2 0x224 JUMP JUMPDEST SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 PUSH2 0x1D9 DUP3 PUSH2 0x1BB JUMP JUMPDEST SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 JUMPDEST DUP4 DUP2 LT ISZERO PUSH2 0x1FE JUMPI DUP1 DUP3 ADD MLOAD DUP2 DUP5 ADD MSTORE PUSH1 0x20 DUP2 ADD SWAP1 POP PUSH2 0x1E3 JUMP JUMPDEST DUP4 DUP2 GT ISZERO PUSH2 0x20D JUMPI PUSH1 0x0 DUP5 DUP5 ADD MSTORE JUMPDEST POP POP POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x1F NOT PUSH1 0x1F DUP4 ADD AND SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x3 DUP2 LT PUSH2 0x22E JUMPI INVALID JUMPDEST POP JUMP INVALID LOG3 PUSH6 0x627A7A723058 KECCAK256 INVALID 0xd5 0x2e DUP6 POP 0x4c RETURNDATASIZE SIGNEXTEND SWAP1 0xb2 0xce PUSH8 0x410587AA94221A5F 0xd4 DIV PUSH8 0xF74E791E25FE2847 DUP1 PUSH13 0x6578706572696D656E74616CF5 PUSH5 0x736F6C6343 STOP SDIV EXP STOP BLOCKHASH ",
      "sourceMap": "136:234:32:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;136:234:32;;;;;;;;;;;;;;;;;;;174:193;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;249:12;296:60;278:84;;;;;;;;;;;;49:4:-1;39:7;30;26:21;22:32;13:7;6:49;278:84:32;;;271:91;;174:193;;;;:::o;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:365;;;485:2;473:9;464:7;460:23;456:32;453:2;;;501:1;498;491:12;453:2;564:1;553:9;549:17;536:31;587:18;579:6;576:30;573:2;;;619:1;616;609:12;573:2;647:64;703:7;694:6;683:9;679:22;647:64;;;637:74;;;;515:202;447:280;;;;;;734:343;;844:38;876:5;844:38;;;894:70;957:6;952:3;894:70;;;887:77;;969:52;1014:6;1009:3;1002:4;995:5;991:16;969:52;;;1042:29;1064:6;1042:29;;;1037:3;1033:39;1026:46;;824:253;;;;;;1084:172;1190:60;1244:5;1190:60;;;1185:3;1178:73;1172:84;;;1263:297;;1399:2;1388:9;1384:18;1376:26;;1449:9;1443:4;1439:20;1435:1;1424:9;1420:17;1413:47;1474:76;1545:4;1536:6;1474:76;;;1466:84;;1370:190;;;;;1567:259;;1708:2;1697:9;1693:18;1685:26;;1722:94;1813:1;1802:9;1798:17;1789:6;1722:94;;;1679:147;;;;;1833:121;;1926:5;1920:12;1910:22;;1891:63;;;;1962:162;;2076:6;2071:3;2064:19;2113:4;2108:3;2104:14;2089:29;;2057:67;;;;;2132:156;;2219:5;2208:16;;2225:58;2277:5;2225:58;;;2202:86;;;;2295:156;;2397:49;2440:5;2397:49;;;2384:62;;2378:73;;;;2459:268;2524:1;2531:101;2545:6;2542:1;2539:13;2531:101;;;2621:1;2616:3;2612:11;2606:18;2602:1;2597:3;2593:11;2586:39;2567:2;2564:1;2560:10;2555:15;;2531:101;;;2647:6;2644:1;2641:13;2638:2;;;2712:1;2703:6;2698:3;2694:16;2687:27;2638:2;2508:219;;;;;2735:97;;2823:2;2819:7;2814:2;2807:5;2803:14;2799:28;2789:38;;2783:49;;;;2840:116;2934:1;2927:5;2924:12;2914:2;;2940:9;2914:2;2908:48;"
    }
  },
  "interface": [
    {
      "constant": true,
      "inputs": [
        {
          "name": "",
          "type": "bytes"
        }
      ],
      "name": "computeOutcome",
      "outputs": [
        {
          "name": "",
          "type": "bytes"
        }
      ],
      "payable": false,
      "stateMutability": "pure",
      "type": "function"
    }
  ],
  "bytecode": "608060405234801561001057600080fd5b50610274806100206000396000f3fe608060405234801561001057600080fd5b506004361061002b5760003560e01c806367c40cc414610030575b600080fd5b61004a600480360361004591908101906100d5565b610060565b6040516100579190610162565b60405180910390f35b606060026040516020016100749190610184565b604051602081830303815290604052905092915050565b60008083601f84011261009d57600080fd5b8235905067ffffffffffffffff8111156100b657600080fd5b6020830191508360018202830111156100ce57600080fd5b9250929050565b600080602083850312156100e857600080fd5b600083013567ffffffffffffffff81111561010257600080fd5b61010e8582860161008b565b92509250509250929050565b60006101258261019f565b61012f81856101aa565b935061013f8185602086016101e0565b61014881610213565b840191505092915050565b61015c816101ce565b82525050565b6000602082019050818103600083015261017c818461011a565b905092915050565b60006020820190506101996000830184610153565b92915050565b600081519050919050565b600082825260208201905092915050565b60008190506101c982610224565b919050565b60006101d9826101bb565b9050919050565b60005b838110156101fe5780820151818401526020810190506101e3565b8381111561020d576000848401525b50505050565b6000601f19601f8301169050919050565b6003811061022e57fe5b5056fea365627a7a72305820fed52e85504c3d0b90b2ce67410587aa94221a5fd40467f74e791e25fe2847806c6578706572696d656e74616cf564736f6c634300050a0040"
}