{
  "abi": [
    {
      "constant": true,
      "inputs": [
        {
          "name": "",
          "type": "bytes32"
        }
      ],
      "name": "appOutcomes",
      "outputs": [
        {
          "name": "",
          "type": "bytes"
        }
      ],
      "payable": false,
      "stateMutability": "view",
      "type": "function"
    },
    {
      "constant": true,
      "inputs": [
        {
          "name": "",
          "type": "bytes32"
        }
      ],
      "name": "appChallenges",
      "outputs": [
        {
          "name": "status",
          "type": "uint8"
        },
        {
          "name": "latestSubmitter",
          "type": "address"
        },
        {
          "name": "appStateHash",
          "type": "bytes32"
        },
        {
          "name": "challengeCounter",
          "type": "uint256"
        },
        {
          "name": "finalizesAt",
          "type": "uint256"
        },
        {
          "name": "versionNumber",
          "type": "uint256"
        }
      ],
      "payable": false,
      "stateMutability": "view",
      "type": "function"
    }
  ],
  "evm": {
    "bytecode": {
      "linkReferences": {},
      "object": "608060405234801561001057600080fd5b50610421806100206000396000f3fe608060405234801561001057600080fd5b50600436106100365760003560e01c80630300c8791461003b5780637be058071461006b575b600080fd5b610055600480360361005091908101906101ce565b6100a0565b604051610062919061026c565b60405180910390f35b610085600480360361008091908101906101ce565b610150565b6040516100979695949392919061028e565b60405180910390f35b60016020528060005260406000206000915090508054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156101485780601f1061011d57610100808354040283529160200191610148565b820191906000526020600020905b81548152906001019060200180831161012b57829003601f168201915b505050505081565b60006020528060005260406000206000915090508060000160009054906101000a900460ff16908060000160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16908060010154908060020154908060030154908060040154905086565b6000813590506101c8816103c7565b92915050565b6000602082840312156101e057600080fd5b60006101ee848285016101b9565b91505092915050565b6102008161030b565b82525050565b61020f8161031d565b82525050565b6000610220826102ef565b61022a81856102fa565b935061023a818560208601610376565b610243816103a9565b840191505092915050565b61025781610364565b82525050565b6102668161035a565b82525050565b600060208201905081810360008301526102868184610215565b905092915050565b600060c0820190506102a3600083018961024e565b6102b060208301886101f7565b6102bd6040830187610206565b6102ca606083018661025d565b6102d7608083018561025d565b6102e460a083018461025d565b979650505050505050565b600081519050919050565b600082825260208201905092915050565b60006103168261033a565b9050919050565b6000819050919050565b6000819050610335826103ba565b919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600061036f82610327565b9050919050565b60005b83811015610394578082015181840152602081019050610379565b838111156103a3576000848401525b50505050565b6000601f19601f8301169050919050565b600381106103c457fe5b50565b6103d08161031d565b81146103db57600080fd5b5056fea365627a7a72305820bfe40f4fc974f969efc5357b149c9c90f1a209a2b5312df71d40ed243debac256c6578706572696d656e74616cf564736f6c634300050a0040",
      "opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH2 0x421 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 0x36 JUMPI PUSH1 0x0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0x300C879 EQ PUSH2 0x3B JUMPI DUP1 PUSH4 0x7BE05807 EQ PUSH2 0x6B JUMPI JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0x55 PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH2 0x50 SWAP2 SWAP1 DUP2 ADD SWAP1 PUSH2 0x1CE JUMP JUMPDEST PUSH2 0xA0 JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0x62 SWAP2 SWAP1 PUSH2 0x26C JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH2 0x85 PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH2 0x80 SWAP2 SWAP1 DUP2 ADD SWAP1 PUSH2 0x1CE JUMP JUMPDEST PUSH2 0x150 JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0x97 SWAP7 SWAP6 SWAP5 SWAP4 SWAP3 SWAP2 SWAP1 PUSH2 0x28E JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH1 0x1 PUSH1 0x20 MSTORE DUP1 PUSH1 0x0 MSTORE PUSH1 0x40 PUSH1 0x0 KECCAK256 PUSH1 0x0 SWAP2 POP SWAP1 POP DUP1 SLOAD PUSH1 0x1 DUP2 PUSH1 0x1 AND ISZERO PUSH2 0x100 MUL SUB AND PUSH1 0x2 SWAP1 DIV DUP1 PUSH1 0x1F ADD PUSH1 0x20 DUP1 SWAP2 DIV MUL PUSH1 0x20 ADD PUSH1 0x40 MLOAD SWAP1 DUP2 ADD PUSH1 0x40 MSTORE DUP1 SWAP3 SWAP2 SWAP1 DUP2 DUP2 MSTORE PUSH1 0x20 ADD DUP3 DUP1 SLOAD PUSH1 0x1 DUP2 PUSH1 0x1 AND ISZERO PUSH2 0x100 MUL SUB AND PUSH1 0x2 SWAP1 DIV DUP1 ISZERO PUSH2 0x148 JUMPI DUP1 PUSH1 0x1F LT PUSH2 0x11D JUMPI PUSH2 0x100 DUP1 DUP4 SLOAD DIV MUL DUP4 MSTORE SWAP2 PUSH1 0x20 ADD SWAP2 PUSH2 0x148 JUMP JUMPDEST DUP3 ADD SWAP2 SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 KECCAK256 SWAP1 JUMPDEST DUP2 SLOAD DUP2 MSTORE SWAP1 PUSH1 0x1 ADD SWAP1 PUSH1 0x20 ADD DUP1 DUP4 GT PUSH2 0x12B JUMPI DUP3 SWAP1 SUB PUSH1 0x1F AND DUP3 ADD SWAP2 JUMPDEST POP POP POP POP POP DUP2 JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 MSTORE DUP1 PUSH1 0x0 MSTORE PUSH1 0x40 PUSH1 0x0 KECCAK256 PUSH1 0x0 SWAP2 POP SWAP1 POP DUP1 PUSH1 0x0 ADD PUSH1 0x0 SWAP1 SLOAD SWAP1 PUSH2 0x100 EXP SWAP1 DIV PUSH1 0xFF AND SWAP1 DUP1 PUSH1 0x0 ADD PUSH1 0x1 SWAP1 SLOAD SWAP1 PUSH2 0x100 EXP SWAP1 DIV PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND SWAP1 DUP1 PUSH1 0x1 ADD SLOAD SWAP1 DUP1 PUSH1 0x2 ADD SLOAD SWAP1 DUP1 PUSH1 0x3 ADD SLOAD SWAP1 DUP1 PUSH1 0x4 ADD SLOAD SWAP1 POP DUP7 JUMP JUMPDEST PUSH1 0x0 DUP2 CALLDATALOAD SWAP1 POP PUSH2 0x1C8 DUP2 PUSH2 0x3C7 JUMP JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 DUP5 SUB SLT ISZERO PUSH2 0x1E0 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH1 0x0 PUSH2 0x1EE DUP5 DUP3 DUP6 ADD PUSH2 0x1B9 JUMP JUMPDEST SWAP2 POP POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH2 0x200 DUP2 PUSH2 0x30B JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH2 0x20F DUP2 PUSH2 0x31D JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH1 0x0 PUSH2 0x220 DUP3 PUSH2 0x2EF JUMP JUMPDEST PUSH2 0x22A DUP2 DUP6 PUSH2 0x2FA JUMP JUMPDEST SWAP4 POP PUSH2 0x23A DUP2 DUP6 PUSH1 0x20 DUP7 ADD PUSH2 0x376 JUMP JUMPDEST PUSH2 0x243 DUP2 PUSH2 0x3A9 JUMP JUMPDEST DUP5 ADD SWAP2 POP POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH2 0x257 DUP2 PUSH2 0x364 JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH2 0x266 DUP2 PUSH2 0x35A 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 0x286 DUP2 DUP5 PUSH2 0x215 JUMP JUMPDEST SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0xC0 DUP3 ADD SWAP1 POP PUSH2 0x2A3 PUSH1 0x0 DUP4 ADD DUP10 PUSH2 0x24E JUMP JUMPDEST PUSH2 0x2B0 PUSH1 0x20 DUP4 ADD DUP9 PUSH2 0x1F7 JUMP JUMPDEST PUSH2 0x2BD PUSH1 0x40 DUP4 ADD DUP8 PUSH2 0x206 JUMP JUMPDEST PUSH2 0x2CA PUSH1 0x60 DUP4 ADD DUP7 PUSH2 0x25D JUMP JUMPDEST PUSH2 0x2D7 PUSH1 0x80 DUP4 ADD DUP6 PUSH2 0x25D JUMP JUMPDEST PUSH2 0x2E4 PUSH1 0xA0 DUP4 ADD DUP5 PUSH2 0x25D JUMP JUMPDEST SWAP8 SWAP7 POP POP POP POP POP 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 PUSH2 0x316 DUP3 PUSH2 0x33A JUMP JUMPDEST SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 DUP2 SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 DUP2 SWAP1 POP PUSH2 0x335 DUP3 PUSH2 0x3BA JUMP JUMPDEST SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF DUP3 AND SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 DUP2 SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 PUSH2 0x36F DUP3 PUSH2 0x327 JUMP JUMPDEST SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 JUMPDEST DUP4 DUP2 LT ISZERO PUSH2 0x394 JUMPI DUP1 DUP3 ADD MLOAD DUP2 DUP5 ADD MSTORE PUSH1 0x20 DUP2 ADD SWAP1 POP PUSH2 0x379 JUMP JUMPDEST DUP4 DUP2 GT ISZERO PUSH2 0x3A3 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 0x3C4 JUMPI INVALID JUMPDEST POP JUMP JUMPDEST PUSH2 0x3D0 DUP2 PUSH2 0x31D JUMP JUMPDEST DUP2 EQ PUSH2 0x3DB JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP JUMP INVALID LOG3 PUSH6 0x627A7A723058 KECCAK256 0xbf 0xe4 0xf 0x4f 0xc9 PUSH21 0xF969EFC5357B149C9C90F1A209A2B5312DF71D40ED 0x24 RETURNDATASIZE 0xeb 0xac 0x25 PUSH13 0x6578706572696D656E74616CF5 PUSH5 0x736F6C6343 STOP SDIV EXP STOP BLOCKHASH ",
      "sourceMap": "104:2373:18:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;104:2373:18;;;;;;;"
    },
    "deployedBytecode": {
      "linkReferences": {},
      "object": "608060405234801561001057600080fd5b50600436106100365760003560e01c80630300c8791461003b5780637be058071461006b575b600080fd5b610055600480360361005091908101906101ce565b6100a0565b604051610062919061026c565b60405180910390f35b610085600480360361008091908101906101ce565b610150565b6040516100979695949392919061028e565b60405180910390f35b60016020528060005260406000206000915090508054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156101485780601f1061011d57610100808354040283529160200191610148565b820191906000526020600020905b81548152906001019060200180831161012b57829003601f168201915b505050505081565b60006020528060005260406000206000915090508060000160009054906101000a900460ff16908060000160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16908060010154908060020154908060030154908060040154905086565b6000813590506101c8816103c7565b92915050565b6000602082840312156101e057600080fd5b60006101ee848285016101b9565b91505092915050565b6102008161030b565b82525050565b61020f8161031d565b82525050565b6000610220826102ef565b61022a81856102fa565b935061023a818560208601610376565b610243816103a9565b840191505092915050565b61025781610364565b82525050565b6102668161035a565b82525050565b600060208201905081810360008301526102868184610215565b905092915050565b600060c0820190506102a3600083018961024e565b6102b060208301886101f7565b6102bd6040830187610206565b6102ca606083018661025d565b6102d7608083018561025d565b6102e460a083018461025d565b979650505050505050565b600081519050919050565b600082825260208201905092915050565b60006103168261033a565b9050919050565b6000819050919050565b6000819050610335826103ba565b919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600061036f82610327565b9050919050565b60005b83811015610394578082015181840152602081019050610379565b838111156103a3576000848401525b50505050565b6000601f19601f8301169050919050565b600381106103c457fe5b50565b6103d08161031d565b81146103db57600080fd5b5056fea365627a7a72305820bfe40f4fc974f969efc5357b149c9c90f1a209a2b5312df71d40ed243debac256c6578706572696d656e74616cf564736f6c634300050a0040",
      "opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x4 CALLDATASIZE LT PUSH2 0x36 JUMPI PUSH1 0x0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0x300C879 EQ PUSH2 0x3B JUMPI DUP1 PUSH4 0x7BE05807 EQ PUSH2 0x6B JUMPI JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0x55 PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH2 0x50 SWAP2 SWAP1 DUP2 ADD SWAP1 PUSH2 0x1CE JUMP JUMPDEST PUSH2 0xA0 JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0x62 SWAP2 SWAP1 PUSH2 0x26C JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH2 0x85 PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH2 0x80 SWAP2 SWAP1 DUP2 ADD SWAP1 PUSH2 0x1CE JUMP JUMPDEST PUSH2 0x150 JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0x97 SWAP7 SWAP6 SWAP5 SWAP4 SWAP3 SWAP2 SWAP1 PUSH2 0x28E JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH1 0x1 PUSH1 0x20 MSTORE DUP1 PUSH1 0x0 MSTORE PUSH1 0x40 PUSH1 0x0 KECCAK256 PUSH1 0x0 SWAP2 POP SWAP1 POP DUP1 SLOAD PUSH1 0x1 DUP2 PUSH1 0x1 AND ISZERO PUSH2 0x100 MUL SUB AND PUSH1 0x2 SWAP1 DIV DUP1 PUSH1 0x1F ADD PUSH1 0x20 DUP1 SWAP2 DIV MUL PUSH1 0x20 ADD PUSH1 0x40 MLOAD SWAP1 DUP2 ADD PUSH1 0x40 MSTORE DUP1 SWAP3 SWAP2 SWAP1 DUP2 DUP2 MSTORE PUSH1 0x20 ADD DUP3 DUP1 SLOAD PUSH1 0x1 DUP2 PUSH1 0x1 AND ISZERO PUSH2 0x100 MUL SUB AND PUSH1 0x2 SWAP1 DIV DUP1 ISZERO PUSH2 0x148 JUMPI DUP1 PUSH1 0x1F LT PUSH2 0x11D JUMPI PUSH2 0x100 DUP1 DUP4 SLOAD DIV MUL DUP4 MSTORE SWAP2 PUSH1 0x20 ADD SWAP2 PUSH2 0x148 JUMP JUMPDEST DUP3 ADD SWAP2 SWAP1 PUSH1 0x0 MSTORE PUSH1 0x20 PUSH1 0x0 KECCAK256 SWAP1 JUMPDEST DUP2 SLOAD DUP2 MSTORE SWAP1 PUSH1 0x1 ADD SWAP1 PUSH1 0x20 ADD DUP1 DUP4 GT PUSH2 0x12B JUMPI DUP3 SWAP1 SUB PUSH1 0x1F AND DUP3 ADD SWAP2 JUMPDEST POP POP POP POP POP DUP2 JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 MSTORE DUP1 PUSH1 0x0 MSTORE PUSH1 0x40 PUSH1 0x0 KECCAK256 PUSH1 0x0 SWAP2 POP SWAP1 POP DUP1 PUSH1 0x0 ADD PUSH1 0x0 SWAP1 SLOAD SWAP1 PUSH2 0x100 EXP SWAP1 DIV PUSH1 0xFF AND SWAP1 DUP1 PUSH1 0x0 ADD PUSH1 0x1 SWAP1 SLOAD SWAP1 PUSH2 0x100 EXP SWAP1 DIV PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND SWAP1 DUP1 PUSH1 0x1 ADD SLOAD SWAP1 DUP1 PUSH1 0x2 ADD SLOAD SWAP1 DUP1 PUSH1 0x3 ADD SLOAD SWAP1 DUP1 PUSH1 0x4 ADD SLOAD SWAP1 POP DUP7 JUMP JUMPDEST PUSH1 0x0 DUP2 CALLDATALOAD SWAP1 POP PUSH2 0x1C8 DUP2 PUSH2 0x3C7 JUMP JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 DUP5 SUB SLT ISZERO PUSH2 0x1E0 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH1 0x0 PUSH2 0x1EE DUP5 DUP3 DUP6 ADD PUSH2 0x1B9 JUMP JUMPDEST SWAP2 POP POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH2 0x200 DUP2 PUSH2 0x30B JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH2 0x20F DUP2 PUSH2 0x31D JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH1 0x0 PUSH2 0x220 DUP3 PUSH2 0x2EF JUMP JUMPDEST PUSH2 0x22A DUP2 DUP6 PUSH2 0x2FA JUMP JUMPDEST SWAP4 POP PUSH2 0x23A DUP2 DUP6 PUSH1 0x20 DUP7 ADD PUSH2 0x376 JUMP JUMPDEST PUSH2 0x243 DUP2 PUSH2 0x3A9 JUMP JUMPDEST DUP5 ADD SWAP2 POP POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH2 0x257 DUP2 PUSH2 0x364 JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH2 0x266 DUP2 PUSH2 0x35A 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 0x286 DUP2 DUP5 PUSH2 0x215 JUMP JUMPDEST SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0xC0 DUP3 ADD SWAP1 POP PUSH2 0x2A3 PUSH1 0x0 DUP4 ADD DUP10 PUSH2 0x24E JUMP JUMPDEST PUSH2 0x2B0 PUSH1 0x20 DUP4 ADD DUP9 PUSH2 0x1F7 JUMP JUMPDEST PUSH2 0x2BD PUSH1 0x40 DUP4 ADD DUP8 PUSH2 0x206 JUMP JUMPDEST PUSH2 0x2CA PUSH1 0x60 DUP4 ADD DUP7 PUSH2 0x25D JUMP JUMPDEST PUSH2 0x2D7 PUSH1 0x80 DUP4 ADD DUP6 PUSH2 0x25D JUMP JUMPDEST PUSH2 0x2E4 PUSH1 0xA0 DUP4 ADD DUP5 PUSH2 0x25D JUMP JUMPDEST SWAP8 SWAP7 POP POP POP POP POP 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 PUSH2 0x316 DUP3 PUSH2 0x33A JUMP JUMPDEST SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 DUP2 SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 DUP2 SWAP1 POP PUSH2 0x335 DUP3 PUSH2 0x3BA JUMP JUMPDEST SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF DUP3 AND SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 DUP2 SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 PUSH2 0x36F DUP3 PUSH2 0x327 JUMP JUMPDEST SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 JUMPDEST DUP4 DUP2 LT ISZERO PUSH2 0x394 JUMPI DUP1 DUP3 ADD MLOAD DUP2 DUP5 ADD MSTORE PUSH1 0x20 DUP2 ADD SWAP1 POP PUSH2 0x379 JUMP JUMPDEST DUP4 DUP2 GT ISZERO PUSH2 0x3A3 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 0x3C4 JUMPI INVALID JUMPDEST POP JUMP JUMPDEST PUSH2 0x3D0 DUP2 PUSH2 0x31D JUMP JUMPDEST DUP2 EQ PUSH2 0x3DB JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP JUMP INVALID LOG3 PUSH6 0x627A7A723058 KECCAK256 0xbf 0xe4 0xf 0x4f 0xc9 PUSH21 0xF969EFC5357B149C9C90F1A209A2B5312DF71D40ED 0x24 RETURNDATASIZE 0xeb 0xac 0x25 PUSH13 0x6578706572696D656E74616CF5 PUSH5 0x736F6C6343 STOP SDIV EXP STOP BLOCKHASH ",
      "sourceMap": "104:2373:18:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;104:2373:18;;;;;;;;;;;;;;;;;;;;;;;;413:45;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;289:73;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;413:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;289:73::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;5:130:-1:-;;85:6;72:20;63:29;;97:33;124:5;97:33;;;57:78;;;;;142:241;;246:2;234:9;225:7;221:23;217:32;214:2;;;262:1;259;252:12;214:2;297:1;314:53;359:7;350:6;339:9;335:22;314:53;;;304:63;;276:97;208:175;;;;;390:113;473:24;491:5;473:24;;;468:3;461:37;455:48;;;510:113;593:24;611:5;593:24;;;588:3;581:37;575:48;;;630:335;;736:34;764:5;736:34;;;782:70;845:6;840:3;782:70;;;775:77;;857:52;902:6;897:3;890:4;883:5;879:16;857:52;;;930:29;952:6;930:29;;;925:3;921:39;914:46;;716:249;;;;;;972:162;1073:55;1122:5;1073:55;;;1068:3;1061:68;1055:79;;;1141:113;1224:24;1242:5;1224:24;;;1219:3;1212:37;1206:48;;;1261:289;;1393:2;1382:9;1378:18;1370:26;;1443:9;1437:4;1433:20;1429:1;1418:9;1414:17;1407:47;1468:72;1535:4;1526:6;1468:72;;;1460:80;;1364:186;;;;;1557:807;;1833:3;1822:9;1818:19;1810:27;;1848:89;1934:1;1923:9;1919:17;1910:6;1848:89;;;1948:72;2016:2;2005:9;2001:18;1992:6;1948:72;;;2031;2099:2;2088:9;2084:18;2075:6;2031:72;;;2114;2182:2;2171:9;2167:18;2158:6;2114:72;;;2197:73;2265:3;2254:9;2250:19;2241:6;2197:73;;;2281;2349:3;2338:9;2334:19;2325:6;2281:73;;;1804:560;;;;;;;;;;2371:117;;2460:5;2454:12;2444:22;;2425:63;;;;2496:162;;2610:6;2605:3;2598:19;2647:4;2642:3;2638:14;2623:29;;2591:67;;;;;2666:91;;2728:24;2746:5;2728:24;;;2717:35;;2711:46;;;;2764:72;;2826:5;2815:16;;2809:27;;;;2843:146;;2925:5;2914:16;;2931:53;2978:5;2931:53;;;2908:81;;;;2996:121;;3069:42;3062:5;3058:54;3047:65;;3041:76;;;;3124:72;;3186:5;3175:16;;3169:27;;;;3203:146;;3300:44;3338:5;3300:44;;;3287:57;;3281:68;;;;3357:268;3422:1;3429:101;3443:6;3440:1;3437:13;3429:101;;;3519:1;3514:3;3510:11;3504:18;3500:1;3495:3;3491:11;3484:39;3465:2;3462:1;3458:10;3453:15;;3429:101;;;3545:6;3542:1;3539:13;3536:2;;;3610:1;3601:6;3596:3;3592:16;3585:27;3536:2;3406:219;;;;;3633:97;;3721:2;3717:7;3712:2;3705:5;3701:14;3697:28;3687:38;;3681:49;;;;3738:111;3827:1;3820:5;3817:12;3807:2;;3833:9;3807:2;3801:48;;3856:117;3925:24;3943:5;3925:24;;;3918:5;3915:35;3905:2;;3964:1;3961;3954:12;3905:2;3899:74;"
    }
  },
  "interface": [
    {
      "constant": true,
      "inputs": [
        {
          "name": "",
          "type": "bytes32"
        }
      ],
      "name": "appOutcomes",
      "outputs": [
        {
          "name": "",
          "type": "bytes"
        }
      ],
      "payable": false,
      "stateMutability": "view",
      "type": "function"
    },
    {
      "constant": true,
      "inputs": [
        {
          "name": "",
          "type": "bytes32"
        }
      ],
      "name": "appChallenges",
      "outputs": [
        {
          "name": "status",
          "type": "uint8"
        },
        {
          "name": "latestSubmitter",
          "type": "address"
        },
        {
          "name": "appStateHash",
          "type": "bytes32"
        },
        {
          "name": "challengeCounter",
          "type": "uint256"
        },
        {
          "name": "finalizesAt",
          "type": "uint256"
        },
        {
          "name": "versionNumber",
          "type": "uint256"
        }
      ],
      "payable": false,
      "stateMutability": "view",
      "type": "function"
    }
  ],
  "bytecode": "608060405234801561001057600080fd5b50610421806100206000396000f3fe608060405234801561001057600080fd5b50600436106100365760003560e01c80630300c8791461003b5780637be058071461006b575b600080fd5b610055600480360361005091908101906101ce565b6100a0565b604051610062919061026c565b60405180910390f35b610085600480360361008091908101906101ce565b610150565b6040516100979695949392919061028e565b60405180910390f35b60016020528060005260406000206000915090508054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156101485780601f1061011d57610100808354040283529160200191610148565b820191906000526020600020905b81548152906001019060200180831161012b57829003601f168201915b505050505081565b60006020528060005260406000206000915090508060000160009054906101000a900460ff16908060000160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16908060010154908060020154908060030154908060040154905086565b6000813590506101c8816103c7565b92915050565b6000602082840312156101e057600080fd5b60006101ee848285016101b9565b91505092915050565b6102008161030b565b82525050565b61020f8161031d565b82525050565b6000610220826102ef565b61022a81856102fa565b935061023a818560208601610376565b610243816103a9565b840191505092915050565b61025781610364565b82525050565b6102668161035a565b82525050565b600060208201905081810360008301526102868184610215565b905092915050565b600060c0820190506102a3600083018961024e565b6102b060208301886101f7565b6102bd6040830187610206565b6102ca606083018661025d565b6102d7608083018561025d565b6102e460a083018461025d565b979650505050505050565b600081519050919050565b600082825260208201905092915050565b60006103168261033a565b9050919050565b6000819050919050565b6000819050610335826103ba565b919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600061036f82610327565b9050919050565b60005b83811015610394578082015181840152602081019050610379565b838111156103a3576000848401525b50505050565b6000601f19601f8301169050919050565b600381106103c457fe5b50565b6103d08161031d565b81146103db57600080fd5b5056fea365627a7a72305820bfe40f4fc974f969efc5357b149c9c90f1a209a2b5312df71d40ed243debac256c6578706572696d656e74616cf564736f6c634300050a0040"
}