{
  "abi": [
    {
      "constant": true,
      "inputs": [
        {
          "name": "",
          "type": "bytes32"
        }
      ],
      "name": "appOutcomes",
      "outputs": [
        {
          "name": "",
          "type": "bytes"
        }
      ],
      "payable": false,
      "stateMutability": "view",
      "type": "function"
    },
    {
      "constant": true,
      "inputs": [
        {
          "name": "identityHash",
          "type": "bytes32"
        }
      ],
      "name": "isStateFinalized",
      "outputs": [
        {
          "name": "",
          "type": "bool"
        }
      ],
      "payable": false,
      "stateMutability": "view",
      "type": "function"
    },
    {
      "constant": true,
      "inputs": [
        {
          "name": "identityHash",
          "type": "bytes32"
        }
      ],
      "name": "getOutcome",
      "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"
    },
    {
      "constant": true,
      "inputs": [
        {
          "name": "identityHash",
          "type": "bytes32"
        }
      ],
      "name": "getAppChallenge",
      "outputs": [
        {
          "components": [
            {
              "name": "status",
              "type": "uint8"
            },
            {
              "name": "latestSubmitter",
              "type": "address"
            },
            {
              "name": "appStateHash",
              "type": "bytes32"
            },
            {
              "name": "challengeCounter",
              "type": "uint256"
            },
            {
              "name": "finalizesAt",
              "type": "uint256"
            },
            {
              "name": "versionNumber",
              "type": "uint256"
            }
          ],
          "name": "",
          "type": "tuple"
        }
      ],
      "payable": false,
      "stateMutability": "view",
      "type": "function"
    }
  ],
  "evm": {
    "bytecode": {
      "linkReferences": {},
      "object": "608060405234801561001057600080fd5b506108ce806100206000396000f3fe608060405234801561001057600080fd5b50600436106100575760003560e01c80630300c8791461005c578063069b90ff1461008c5780635d1a3b82146100bc5780637be05807146100ec578063ad2a7fca14610121575b600080fd5b6100766004803603610071919081019061050d565b610151565b60405161008391906106c5565b60405180910390f35b6100a660048036036100a1919081019061050d565b610201565b6040516100b391906106aa565b60405180910390f35b6100d660048036036100d1919081019061050d565b6102a9565b6040516100e391906106e7565b60405180910390f35b6101066004803603610101919081019061050d565b61035e565b60405161011896959493929190610709565b60405180910390f35b61013b6004803603610136919081019061050d565b6103c7565b604051610148919061076a565b60405180910390f35b60016020528060005260406000206000915090508054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156101f95780601f106101ce576101008083540402835291602001916101f9565b820191906000526020600020905b8154815290600101906020018083116101dc57829003601f168201915b505050505081565b600060028081111561020f57fe5b60008084815260200190815260200160002060000160009054906101000a900460ff16600281111561023d57fe5b14806102a257506001600281111561025157fe5b60008084815260200190815260200160002060000160009054906101000a900460ff16600281111561027f57fe5b1480156102a15750436000808481526020019081526020016000206003015411155b5b9050919050565b6060600160008381526020019081526020016000208054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156103525780601f1061032757610100808354040283529160200191610352565b820191906000526020600020905b81548152906001019060200180831161033557829003601f168201915b50505050509050919050565b60006020528060005260406000206000915090508060000160009054906101000a900460ff16908060000160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16908060010154908060020154908060030154908060040154905086565b6103cf61049e565b6000808381526020019081526020016000206040518060c00160405290816000820160009054906101000a900460ff16600281111561040a57fe5b600281111561041557fe5b81526020016000820160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020016001820154815260200160028201548152602001600382015481526020016004820154815250509050919050565b6040518060c00160405280600060028111156104b657fe5b8152602001600073ffffffffffffffffffffffffffffffffffffffff168152602001600080191681526020016000815260200160008152602001600081525090565b60008135905061050781610874565b92915050565b60006020828403121561051f57600080fd5b600061052d848285016104f8565b91505092915050565b61053f816107ac565b82525050565b61054e816107ac565b82525050565b61055d816107be565b82525050565b61056c816107ca565b82525050565b61057b816107ca565b82525050565b600061058c82610790565b610596818561079b565b93506105a6818560208601610823565b6105af81610856565b840191505092915050565b60006105c582610785565b6105cf818561079b565b93506105df818560208601610823565b6105e881610856565b840191505092915050565b6105fc81610811565b82525050565b61060b81610811565b82525050565b60c08201600082015161062760008501826105f3565b50602082015161063a6020850182610536565b50604082015161064d6040850182610563565b506060820151610660606085018261068c565b506080820151610673608085018261068c565b5060a082015161068660a085018261068c565b50505050565b61069581610807565b82525050565b6106a481610807565b82525050565b60006020820190506106bf6000830184610554565b92915050565b600060208201905081810360008301526106df81846105ba565b905092915050565b600060208201905081810360008301526107018184610581565b905092915050565b600060c08201905061071e6000830189610602565b61072b6020830188610545565b6107386040830187610572565b610745606083018661069b565b610752608083018561069b565b61075f60a083018461069b565b979650505050505050565b600060c08201905061077f6000830184610611565b92915050565b600081519050919050565b600081519050919050565b600082825260208201905092915050565b60006107b7826107e7565b9050919050565b60008115159050919050565b6000819050919050565b60008190506107e282610867565b919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600061081c826107d4565b9050919050565b60005b83811015610841578082015181840152602081019050610826565b83811115610850576000848401525b50505050565b6000601f19601f8301169050919050565b6003811061087157fe5b50565b61087d816107ca565b811461088857600080fd5b5056fea365627a7a723058208566af7aae007369b8fa397ab4fa1093d7056804e26ed0e2180c6e01c0f984c46c6578706572696d656e74616cf564736f6c634300050a0040",
      "opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH2 0x8CE 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 0x57 JUMPI PUSH1 0x0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0x300C879 EQ PUSH2 0x5C JUMPI DUP1 PUSH4 0x69B90FF EQ PUSH2 0x8C JUMPI DUP1 PUSH4 0x5D1A3B82 EQ PUSH2 0xBC JUMPI DUP1 PUSH4 0x7BE05807 EQ PUSH2 0xEC JUMPI DUP1 PUSH4 0xAD2A7FCA EQ PUSH2 0x121 JUMPI JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0x76 PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH2 0x71 SWAP2 SWAP1 DUP2 ADD SWAP1 PUSH2 0x50D JUMP JUMPDEST PUSH2 0x151 JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0x83 SWAP2 SWAP1 PUSH2 0x6C5 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH2 0xA6 PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH2 0xA1 SWAP2 SWAP1 DUP2 ADD SWAP1 PUSH2 0x50D JUMP JUMPDEST PUSH2 0x201 JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0xB3 SWAP2 SWAP1 PUSH2 0x6AA JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH2 0xD6 PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH2 0xD1 SWAP2 SWAP1 DUP2 ADD SWAP1 PUSH2 0x50D JUMP JUMPDEST PUSH2 0x2A9 JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0xE3 SWAP2 SWAP1 PUSH2 0x6E7 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH2 0x106 PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH2 0x101 SWAP2 SWAP1 DUP2 ADD SWAP1 PUSH2 0x50D JUMP JUMPDEST PUSH2 0x35E JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0x118 SWAP7 SWAP6 SWAP5 SWAP4 SWAP3 SWAP2 SWAP1 PUSH2 0x709 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH2 0x13B PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH2 0x136 SWAP2 SWAP1 DUP2 ADD SWAP1 PUSH2 0x50D JUMP JUMPDEST PUSH2 0x3C7 JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0x148 SWAP2 SWAP1 PUSH2 0x76A 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 0x1F9 JUMPI DUP1 PUSH1 0x1F LT PUSH2 0x1CE JUMPI PUSH2 0x100 DUP1 DUP4 SLOAD DIV MUL DUP4 MSTORE SWAP2 PUSH1 0x20 ADD SWAP2 PUSH2 0x1F9 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 0x1DC JUMPI DUP3 SWAP1 SUB PUSH1 0x1F AND DUP3 ADD SWAP2 JUMPDEST POP POP POP POP POP DUP2 JUMP JUMPDEST PUSH1 0x0 PUSH1 0x2 DUP1 DUP2 GT ISZERO PUSH2 0x20F JUMPI INVALID JUMPDEST PUSH1 0x0 DUP1 DUP5 DUP2 MSTORE PUSH1 0x20 ADD SWAP1 DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 KECCAK256 PUSH1 0x0 ADD PUSH1 0x0 SWAP1 SLOAD SWAP1 PUSH2 0x100 EXP SWAP1 DIV PUSH1 0xFF AND PUSH1 0x2 DUP2 GT ISZERO PUSH2 0x23D JUMPI INVALID JUMPDEST EQ DUP1 PUSH2 0x2A2 JUMPI POP PUSH1 0x1 PUSH1 0x2 DUP2 GT ISZERO PUSH2 0x251 JUMPI INVALID JUMPDEST PUSH1 0x0 DUP1 DUP5 DUP2 MSTORE PUSH1 0x20 ADD SWAP1 DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 KECCAK256 PUSH1 0x0 ADD PUSH1 0x0 SWAP1 SLOAD SWAP1 PUSH2 0x100 EXP SWAP1 DIV PUSH1 0xFF AND PUSH1 0x2 DUP2 GT ISZERO PUSH2 0x27F JUMPI INVALID JUMPDEST EQ DUP1 ISZERO PUSH2 0x2A1 JUMPI POP NUMBER PUSH1 0x0 DUP1 DUP5 DUP2 MSTORE PUSH1 0x20 ADD SWAP1 DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 KECCAK256 PUSH1 0x3 ADD SLOAD GT ISZERO JUMPDEST JUMPDEST SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x60 PUSH1 0x1 PUSH1 0x0 DUP4 DUP2 MSTORE PUSH1 0x20 ADD SWAP1 DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 KECCAK256 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 0x352 JUMPI DUP1 PUSH1 0x1F LT PUSH2 0x327 JUMPI PUSH2 0x100 DUP1 DUP4 SLOAD DIV MUL DUP4 MSTORE SWAP2 PUSH1 0x20 ADD SWAP2 PUSH2 0x352 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 0x335 JUMPI DUP3 SWAP1 SUB PUSH1 0x1F AND DUP3 ADD SWAP2 JUMPDEST POP POP POP POP POP SWAP1 POP SWAP2 SWAP1 POP 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 PUSH2 0x3CF PUSH2 0x49E JUMP JUMPDEST PUSH1 0x0 DUP1 DUP4 DUP2 MSTORE PUSH1 0x20 ADD SWAP1 DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 KECCAK256 PUSH1 0x40 MLOAD DUP1 PUSH1 0xC0 ADD PUSH1 0x40 MSTORE SWAP1 DUP2 PUSH1 0x0 DUP3 ADD PUSH1 0x0 SWAP1 SLOAD SWAP1 PUSH2 0x100 EXP SWAP1 DIV PUSH1 0xFF AND PUSH1 0x2 DUP2 GT ISZERO PUSH2 0x40A JUMPI INVALID JUMPDEST PUSH1 0x2 DUP2 GT ISZERO PUSH2 0x415 JUMPI INVALID JUMPDEST DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 DUP3 ADD PUSH1 0x1 SWAP1 SLOAD SWAP1 PUSH2 0x100 EXP SWAP1 DIV PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x1 DUP3 ADD SLOAD DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x2 DUP3 ADD SLOAD DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x3 DUP3 ADD SLOAD DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x4 DUP3 ADD SLOAD DUP2 MSTORE POP POP SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 PUSH1 0xC0 ADD PUSH1 0x40 MSTORE DUP1 PUSH1 0x0 PUSH1 0x2 DUP2 GT ISZERO PUSH2 0x4B6 JUMPI INVALID JUMPDEST DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 DUP1 NOT AND DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 DUP2 MSTORE POP SWAP1 JUMP JUMPDEST PUSH1 0x0 DUP2 CALLDATALOAD SWAP1 POP PUSH2 0x507 DUP2 PUSH2 0x874 JUMP JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 DUP5 SUB SLT ISZERO PUSH2 0x51F JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH1 0x0 PUSH2 0x52D DUP5 DUP3 DUP6 ADD PUSH2 0x4F8 JUMP JUMPDEST SWAP2 POP POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH2 0x53F DUP2 PUSH2 0x7AC JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH2 0x54E DUP2 PUSH2 0x7AC JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH2 0x55D DUP2 PUSH2 0x7BE JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH2 0x56C DUP2 PUSH2 0x7CA JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH2 0x57B DUP2 PUSH2 0x7CA JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH1 0x0 PUSH2 0x58C DUP3 PUSH2 0x790 JUMP JUMPDEST PUSH2 0x596 DUP2 DUP6 PUSH2 0x79B JUMP JUMPDEST SWAP4 POP PUSH2 0x5A6 DUP2 DUP6 PUSH1 0x20 DUP7 ADD PUSH2 0x823 JUMP JUMPDEST PUSH2 0x5AF DUP2 PUSH2 0x856 JUMP JUMPDEST DUP5 ADD SWAP2 POP POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH2 0x5C5 DUP3 PUSH2 0x785 JUMP JUMPDEST PUSH2 0x5CF DUP2 DUP6 PUSH2 0x79B JUMP JUMPDEST SWAP4 POP PUSH2 0x5DF DUP2 DUP6 PUSH1 0x20 DUP7 ADD PUSH2 0x823 JUMP JUMPDEST PUSH2 0x5E8 DUP2 PUSH2 0x856 JUMP JUMPDEST DUP5 ADD SWAP2 POP POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH2 0x5FC DUP2 PUSH2 0x811 JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH2 0x60B DUP2 PUSH2 0x811 JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH1 0xC0 DUP3 ADD PUSH1 0x0 DUP3 ADD MLOAD PUSH2 0x627 PUSH1 0x0 DUP6 ADD DUP3 PUSH2 0x5F3 JUMP JUMPDEST POP PUSH1 0x20 DUP3 ADD MLOAD PUSH2 0x63A PUSH1 0x20 DUP6 ADD DUP3 PUSH2 0x536 JUMP JUMPDEST POP PUSH1 0x40 DUP3 ADD MLOAD PUSH2 0x64D PUSH1 0x40 DUP6 ADD DUP3 PUSH2 0x563 JUMP JUMPDEST POP PUSH1 0x60 DUP3 ADD MLOAD PUSH2 0x660 PUSH1 0x60 DUP6 ADD DUP3 PUSH2 0x68C JUMP JUMPDEST POP PUSH1 0x80 DUP3 ADD MLOAD PUSH2 0x673 PUSH1 0x80 DUP6 ADD DUP3 PUSH2 0x68C JUMP JUMPDEST POP PUSH1 0xA0 DUP3 ADD MLOAD PUSH2 0x686 PUSH1 0xA0 DUP6 ADD DUP3 PUSH2 0x68C JUMP JUMPDEST POP POP POP POP JUMP JUMPDEST PUSH2 0x695 DUP2 PUSH2 0x807 JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH2 0x6A4 DUP2 PUSH2 0x807 JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 ADD SWAP1 POP PUSH2 0x6BF PUSH1 0x0 DUP4 ADD DUP5 PUSH2 0x554 JUMP JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 ADD SWAP1 POP DUP2 DUP2 SUB PUSH1 0x0 DUP4 ADD MSTORE PUSH2 0x6DF DUP2 DUP5 PUSH2 0x5BA JUMP JUMPDEST SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 ADD SWAP1 POP DUP2 DUP2 SUB PUSH1 0x0 DUP4 ADD MSTORE PUSH2 0x701 DUP2 DUP5 PUSH2 0x581 JUMP JUMPDEST SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0xC0 DUP3 ADD SWAP1 POP PUSH2 0x71E PUSH1 0x0 DUP4 ADD DUP10 PUSH2 0x602 JUMP JUMPDEST PUSH2 0x72B PUSH1 0x20 DUP4 ADD DUP9 PUSH2 0x545 JUMP JUMPDEST PUSH2 0x738 PUSH1 0x40 DUP4 ADD DUP8 PUSH2 0x572 JUMP JUMPDEST PUSH2 0x745 PUSH1 0x60 DUP4 ADD DUP7 PUSH2 0x69B JUMP JUMPDEST PUSH2 0x752 PUSH1 0x80 DUP4 ADD DUP6 PUSH2 0x69B JUMP JUMPDEST PUSH2 0x75F PUSH1 0xA0 DUP4 ADD DUP5 PUSH2 0x69B JUMP JUMPDEST SWAP8 SWAP7 POP POP POP POP POP POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0xC0 DUP3 ADD SWAP1 POP PUSH2 0x77F PUSH1 0x0 DUP4 ADD DUP5 PUSH2 0x611 JUMP JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 DUP2 MLOAD SWAP1 POP SWAP2 SWAP1 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 0x7B7 DUP3 PUSH2 0x7E7 JUMP JUMPDEST SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 DUP2 ISZERO ISZERO SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 DUP2 SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 DUP2 SWAP1 POP PUSH2 0x7E2 DUP3 PUSH2 0x867 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 0x81C DUP3 PUSH2 0x7D4 JUMP JUMPDEST SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 JUMPDEST DUP4 DUP2 LT ISZERO PUSH2 0x841 JUMPI DUP1 DUP3 ADD MLOAD DUP2 DUP5 ADD MSTORE PUSH1 0x20 DUP2 ADD SWAP1 POP PUSH2 0x826 JUMP JUMPDEST DUP4 DUP2 GT ISZERO PUSH2 0x850 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 0x871 JUMPI INVALID JUMPDEST POP JUMP JUMPDEST PUSH2 0x87D DUP2 PUSH2 0x7CA JUMP JUMPDEST DUP2 EQ PUSH2 0x888 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP JUMP INVALID LOG3 PUSH6 0x627A7A723058 KECCAK256 DUP6 PUSH7 0xAF7AAE007369B8 STATICCALL CODECOPY PUSH27 0xB4FA1093D7056804E26ED0E2180C6E01C0F984C46C657870657269 PUSH14 0x656E74616CF564736F6C63430005 EXP STOP BLOCKHASH ",
      "sourceMap": "292:1450:20:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;292:1450:20;;;;;;;"
    },
    "deployedBytecode": {
      "linkReferences": {},
      "object": "608060405234801561001057600080fd5b50600436106100575760003560e01c80630300c8791461005c578063069b90ff1461008c5780635d1a3b82146100bc5780637be05807146100ec578063ad2a7fca14610121575b600080fd5b6100766004803603610071919081019061050d565b610151565b60405161008391906106c5565b60405180910390f35b6100a660048036036100a1919081019061050d565b610201565b6040516100b391906106aa565b60405180910390f35b6100d660048036036100d1919081019061050d565b6102a9565b6040516100e391906106e7565b60405180910390f35b6101066004803603610101919081019061050d565b61035e565b60405161011896959493929190610709565b60405180910390f35b61013b6004803603610136919081019061050d565b6103c7565b604051610148919061076a565b60405180910390f35b60016020528060005260406000206000915090508054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156101f95780601f106101ce576101008083540402835291602001916101f9565b820191906000526020600020905b8154815290600101906020018083116101dc57829003601f168201915b505050505081565b600060028081111561020f57fe5b60008084815260200190815260200160002060000160009054906101000a900460ff16600281111561023d57fe5b14806102a257506001600281111561025157fe5b60008084815260200190815260200160002060000160009054906101000a900460ff16600281111561027f57fe5b1480156102a15750436000808481526020019081526020016000206003015411155b5b9050919050565b6060600160008381526020019081526020016000208054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156103525780601f1061032757610100808354040283529160200191610352565b820191906000526020600020905b81548152906001019060200180831161033557829003601f168201915b50505050509050919050565b60006020528060005260406000206000915090508060000160009054906101000a900460ff16908060000160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16908060010154908060020154908060030154908060040154905086565b6103cf61049e565b6000808381526020019081526020016000206040518060c00160405290816000820160009054906101000a900460ff16600281111561040a57fe5b600281111561041557fe5b81526020016000820160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020016001820154815260200160028201548152602001600382015481526020016004820154815250509050919050565b6040518060c00160405280600060028111156104b657fe5b8152602001600073ffffffffffffffffffffffffffffffffffffffff168152602001600080191681526020016000815260200160008152602001600081525090565b60008135905061050781610874565b92915050565b60006020828403121561051f57600080fd5b600061052d848285016104f8565b91505092915050565b61053f816107ac565b82525050565b61054e816107ac565b82525050565b61055d816107be565b82525050565b61056c816107ca565b82525050565b61057b816107ca565b82525050565b600061058c82610790565b610596818561079b565b93506105a6818560208601610823565b6105af81610856565b840191505092915050565b60006105c582610785565b6105cf818561079b565b93506105df818560208601610823565b6105e881610856565b840191505092915050565b6105fc81610811565b82525050565b61060b81610811565b82525050565b60c08201600082015161062760008501826105f3565b50602082015161063a6020850182610536565b50604082015161064d6040850182610563565b506060820151610660606085018261068c565b506080820151610673608085018261068c565b5060a082015161068660a085018261068c565b50505050565b61069581610807565b82525050565b6106a481610807565b82525050565b60006020820190506106bf6000830184610554565b92915050565b600060208201905081810360008301526106df81846105ba565b905092915050565b600060208201905081810360008301526107018184610581565b905092915050565b600060c08201905061071e6000830189610602565b61072b6020830188610545565b6107386040830187610572565b610745606083018661069b565b610752608083018561069b565b61075f60a083018461069b565b979650505050505050565b600060c08201905061077f6000830184610611565b92915050565b600081519050919050565b600081519050919050565b600082825260208201905092915050565b60006107b7826107e7565b9050919050565b60008115159050919050565b6000819050919050565b60008190506107e282610867565b919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600061081c826107d4565b9050919050565b60005b83811015610841578082015181840152602081019050610826565b83811115610850576000848401525b50505050565b6000601f19601f8301169050919050565b6003811061087157fe5b50565b61087d816107ca565b811461088857600080fd5b5056fea365627a7a723058208566af7aae007369b8fa397ab4fa1093d7056804e26ed0e2180c6e01c0f984c46c6578706572696d656e74616cf564736f6c634300050a0040",
      "opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x4 CALLDATASIZE LT PUSH2 0x57 JUMPI PUSH1 0x0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0x300C879 EQ PUSH2 0x5C JUMPI DUP1 PUSH4 0x69B90FF EQ PUSH2 0x8C JUMPI DUP1 PUSH4 0x5D1A3B82 EQ PUSH2 0xBC JUMPI DUP1 PUSH4 0x7BE05807 EQ PUSH2 0xEC JUMPI DUP1 PUSH4 0xAD2A7FCA EQ PUSH2 0x121 JUMPI JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0x76 PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH2 0x71 SWAP2 SWAP1 DUP2 ADD SWAP1 PUSH2 0x50D JUMP JUMPDEST PUSH2 0x151 JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0x83 SWAP2 SWAP1 PUSH2 0x6C5 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH2 0xA6 PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH2 0xA1 SWAP2 SWAP1 DUP2 ADD SWAP1 PUSH2 0x50D JUMP JUMPDEST PUSH2 0x201 JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0xB3 SWAP2 SWAP1 PUSH2 0x6AA JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH2 0xD6 PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH2 0xD1 SWAP2 SWAP1 DUP2 ADD SWAP1 PUSH2 0x50D JUMP JUMPDEST PUSH2 0x2A9 JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0xE3 SWAP2 SWAP1 PUSH2 0x6E7 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH2 0x106 PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH2 0x101 SWAP2 SWAP1 DUP2 ADD SWAP1 PUSH2 0x50D JUMP JUMPDEST PUSH2 0x35E JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0x118 SWAP7 SWAP6 SWAP5 SWAP4 SWAP3 SWAP2 SWAP1 PUSH2 0x709 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH2 0x13B PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH2 0x136 SWAP2 SWAP1 DUP2 ADD SWAP1 PUSH2 0x50D JUMP JUMPDEST PUSH2 0x3C7 JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0x148 SWAP2 SWAP1 PUSH2 0x76A 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 0x1F9 JUMPI DUP1 PUSH1 0x1F LT PUSH2 0x1CE JUMPI PUSH2 0x100 DUP1 DUP4 SLOAD DIV MUL DUP4 MSTORE SWAP2 PUSH1 0x20 ADD SWAP2 PUSH2 0x1F9 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 0x1DC JUMPI DUP3 SWAP1 SUB PUSH1 0x1F AND DUP3 ADD SWAP2 JUMPDEST POP POP POP POP POP DUP2 JUMP JUMPDEST PUSH1 0x0 PUSH1 0x2 DUP1 DUP2 GT ISZERO PUSH2 0x20F JUMPI INVALID JUMPDEST PUSH1 0x0 DUP1 DUP5 DUP2 MSTORE PUSH1 0x20 ADD SWAP1 DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 KECCAK256 PUSH1 0x0 ADD PUSH1 0x0 SWAP1 SLOAD SWAP1 PUSH2 0x100 EXP SWAP1 DIV PUSH1 0xFF AND PUSH1 0x2 DUP2 GT ISZERO PUSH2 0x23D JUMPI INVALID JUMPDEST EQ DUP1 PUSH2 0x2A2 JUMPI POP PUSH1 0x1 PUSH1 0x2 DUP2 GT ISZERO PUSH2 0x251 JUMPI INVALID JUMPDEST PUSH1 0x0 DUP1 DUP5 DUP2 MSTORE PUSH1 0x20 ADD SWAP1 DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 KECCAK256 PUSH1 0x0 ADD PUSH1 0x0 SWAP1 SLOAD SWAP1 PUSH2 0x100 EXP SWAP1 DIV PUSH1 0xFF AND PUSH1 0x2 DUP2 GT ISZERO PUSH2 0x27F JUMPI INVALID JUMPDEST EQ DUP1 ISZERO PUSH2 0x2A1 JUMPI POP NUMBER PUSH1 0x0 DUP1 DUP5 DUP2 MSTORE PUSH1 0x20 ADD SWAP1 DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 KECCAK256 PUSH1 0x3 ADD SLOAD GT ISZERO JUMPDEST JUMPDEST SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x60 PUSH1 0x1 PUSH1 0x0 DUP4 DUP2 MSTORE PUSH1 0x20 ADD SWAP1 DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 KECCAK256 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 0x352 JUMPI DUP1 PUSH1 0x1F LT PUSH2 0x327 JUMPI PUSH2 0x100 DUP1 DUP4 SLOAD DIV MUL DUP4 MSTORE SWAP2 PUSH1 0x20 ADD SWAP2 PUSH2 0x352 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 0x335 JUMPI DUP3 SWAP1 SUB PUSH1 0x1F AND DUP3 ADD SWAP2 JUMPDEST POP POP POP POP POP SWAP1 POP SWAP2 SWAP1 POP 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 PUSH2 0x3CF PUSH2 0x49E JUMP JUMPDEST PUSH1 0x0 DUP1 DUP4 DUP2 MSTORE PUSH1 0x20 ADD SWAP1 DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 KECCAK256 PUSH1 0x40 MLOAD DUP1 PUSH1 0xC0 ADD PUSH1 0x40 MSTORE SWAP1 DUP2 PUSH1 0x0 DUP3 ADD PUSH1 0x0 SWAP1 SLOAD SWAP1 PUSH2 0x100 EXP SWAP1 DIV PUSH1 0xFF AND PUSH1 0x2 DUP2 GT ISZERO PUSH2 0x40A JUMPI INVALID JUMPDEST PUSH1 0x2 DUP2 GT ISZERO PUSH2 0x415 JUMPI INVALID JUMPDEST DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 DUP3 ADD PUSH1 0x1 SWAP1 SLOAD SWAP1 PUSH2 0x100 EXP SWAP1 DIV PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x1 DUP3 ADD SLOAD DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x2 DUP3 ADD SLOAD DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x3 DUP3 ADD SLOAD DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x4 DUP3 ADD SLOAD DUP2 MSTORE POP POP SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 PUSH1 0xC0 ADD PUSH1 0x40 MSTORE DUP1 PUSH1 0x0 PUSH1 0x2 DUP2 GT ISZERO PUSH2 0x4B6 JUMPI INVALID JUMPDEST DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 PUSH20 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF AND DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 DUP1 NOT AND DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 DUP2 MSTORE PUSH1 0x20 ADD PUSH1 0x0 DUP2 MSTORE POP SWAP1 JUMP JUMPDEST PUSH1 0x0 DUP2 CALLDATALOAD SWAP1 POP PUSH2 0x507 DUP2 PUSH2 0x874 JUMP JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 DUP5 SUB SLT ISZERO PUSH2 0x51F JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH1 0x0 PUSH2 0x52D DUP5 DUP3 DUP6 ADD PUSH2 0x4F8 JUMP JUMPDEST SWAP2 POP POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH2 0x53F DUP2 PUSH2 0x7AC JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH2 0x54E DUP2 PUSH2 0x7AC JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH2 0x55D DUP2 PUSH2 0x7BE JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH2 0x56C DUP2 PUSH2 0x7CA JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH2 0x57B DUP2 PUSH2 0x7CA JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH1 0x0 PUSH2 0x58C DUP3 PUSH2 0x790 JUMP JUMPDEST PUSH2 0x596 DUP2 DUP6 PUSH2 0x79B JUMP JUMPDEST SWAP4 POP PUSH2 0x5A6 DUP2 DUP6 PUSH1 0x20 DUP7 ADD PUSH2 0x823 JUMP JUMPDEST PUSH2 0x5AF DUP2 PUSH2 0x856 JUMP JUMPDEST DUP5 ADD SWAP2 POP POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH2 0x5C5 DUP3 PUSH2 0x785 JUMP JUMPDEST PUSH2 0x5CF DUP2 DUP6 PUSH2 0x79B JUMP JUMPDEST SWAP4 POP PUSH2 0x5DF DUP2 DUP6 PUSH1 0x20 DUP7 ADD PUSH2 0x823 JUMP JUMPDEST PUSH2 0x5E8 DUP2 PUSH2 0x856 JUMP JUMPDEST DUP5 ADD SWAP2 POP POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH2 0x5FC DUP2 PUSH2 0x811 JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH2 0x60B DUP2 PUSH2 0x811 JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH1 0xC0 DUP3 ADD PUSH1 0x0 DUP3 ADD MLOAD PUSH2 0x627 PUSH1 0x0 DUP6 ADD DUP3 PUSH2 0x5F3 JUMP JUMPDEST POP PUSH1 0x20 DUP3 ADD MLOAD PUSH2 0x63A PUSH1 0x20 DUP6 ADD DUP3 PUSH2 0x536 JUMP JUMPDEST POP PUSH1 0x40 DUP3 ADD MLOAD PUSH2 0x64D PUSH1 0x40 DUP6 ADD DUP3 PUSH2 0x563 JUMP JUMPDEST POP PUSH1 0x60 DUP3 ADD MLOAD PUSH2 0x660 PUSH1 0x60 DUP6 ADD DUP3 PUSH2 0x68C JUMP JUMPDEST POP PUSH1 0x80 DUP3 ADD MLOAD PUSH2 0x673 PUSH1 0x80 DUP6 ADD DUP3 PUSH2 0x68C JUMP JUMPDEST POP PUSH1 0xA0 DUP3 ADD MLOAD PUSH2 0x686 PUSH1 0xA0 DUP6 ADD DUP3 PUSH2 0x68C JUMP JUMPDEST POP POP POP POP JUMP JUMPDEST PUSH2 0x695 DUP2 PUSH2 0x807 JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH2 0x6A4 DUP2 PUSH2 0x807 JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 ADD SWAP1 POP PUSH2 0x6BF PUSH1 0x0 DUP4 ADD DUP5 PUSH2 0x554 JUMP JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 ADD SWAP1 POP DUP2 DUP2 SUB PUSH1 0x0 DUP4 ADD MSTORE PUSH2 0x6DF DUP2 DUP5 PUSH2 0x5BA JUMP JUMPDEST SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 ADD SWAP1 POP DUP2 DUP2 SUB PUSH1 0x0 DUP4 ADD MSTORE PUSH2 0x701 DUP2 DUP5 PUSH2 0x581 JUMP JUMPDEST SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0xC0 DUP3 ADD SWAP1 POP PUSH2 0x71E PUSH1 0x0 DUP4 ADD DUP10 PUSH2 0x602 JUMP JUMPDEST PUSH2 0x72B PUSH1 0x20 DUP4 ADD DUP9 PUSH2 0x545 JUMP JUMPDEST PUSH2 0x738 PUSH1 0x40 DUP4 ADD DUP8 PUSH2 0x572 JUMP JUMPDEST PUSH2 0x745 PUSH1 0x60 DUP4 ADD DUP7 PUSH2 0x69B JUMP JUMPDEST PUSH2 0x752 PUSH1 0x80 DUP4 ADD DUP6 PUSH2 0x69B JUMP JUMPDEST PUSH2 0x75F PUSH1 0xA0 DUP4 ADD DUP5 PUSH2 0x69B JUMP JUMPDEST SWAP8 SWAP7 POP POP POP POP POP POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0xC0 DUP3 ADD SWAP1 POP PUSH2 0x77F PUSH1 0x0 DUP4 ADD DUP5 PUSH2 0x611 JUMP JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 DUP2 MLOAD SWAP1 POP SWAP2 SWAP1 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 0x7B7 DUP3 PUSH2 0x7E7 JUMP JUMPDEST SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 DUP2 ISZERO ISZERO SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 DUP2 SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 DUP2 SWAP1 POP PUSH2 0x7E2 DUP3 PUSH2 0x867 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 0x81C DUP3 PUSH2 0x7D4 JUMP JUMPDEST SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH1 0x0 JUMPDEST DUP4 DUP2 LT ISZERO PUSH2 0x841 JUMPI DUP1 DUP3 ADD MLOAD DUP2 DUP5 ADD MSTORE PUSH1 0x20 DUP2 ADD SWAP1 POP PUSH2 0x826 JUMP JUMPDEST DUP4 DUP2 GT ISZERO PUSH2 0x850 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 0x871 JUMPI INVALID JUMPDEST POP JUMP JUMPDEST PUSH2 0x87D DUP2 PUSH2 0x7CA JUMP JUMPDEST DUP2 EQ PUSH2 0x888 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP JUMP INVALID LOG3 PUSH6 0x627A7A723058 KECCAK256 DUP6 PUSH7 0xAF7AAE007369B8 STATICCALL CODECOPY PUSH27 0xB4FA1093D7056804E26ED0E2180C6E01C0F984C46C657870657269 PUSH14 0x656E74616CF564736F6C63430005 EXP STOP BLOCKHASH ",
      "sourceMap": "292:1450:20:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;292:1450:20;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;413:45:18;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;923:466:20;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;1603:136;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;289:73:18;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;575:169:20;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;413:45:18;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;923:466:20:-;1006:4;1091:55;1045:101;;;;;;;;:13;:27;1059:12;1045:27;;;;;;;;;;;:34;;;;;;;;;;;;:101;;;;;;;;;1035:343;;;;1234:59;1186:107;;;;;;;;:13;:27;1200:12;1186:27;;;;;;;;;;;:34;;;;;;;;;;;;:107;;;;;;;;;1174:196;;;;;1358:12;1315:13;:27;1329:12;1315:27;;;;;;;;;;;:39;;;:55;;1174:196;1035:343;1020:364;;923:466;;;:::o;1603:136::-;1680:12;1709:11;:25;1721:12;1709:25;;;;;;;;;;;1702:32;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1603:136;;;:::o;289:73:18:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;575:169:20:-;657:38;;:::i;:::-;712:13;:27;726:12;712:27;;;;;;;;;;;705:34;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;575:169;;;:::o;292:1450::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::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:103;463:24;481:5;463:24;;;458:3;451:37;445:48;;;500:113;583:24;601:5;583:24;;;578:3;571:37;565:48;;;620:104;697:21;712:5;697:21;;;692:3;685:34;679:45;;;731:103;804:24;822:5;804:24;;;799:3;792:37;786:48;;;841:113;924:24;942:5;924:24;;;919:3;912:37;906:48;;;961:343;;1071:38;1103:5;1071:38;;;1121:70;1184:6;1179:3;1121:70;;;1114:77;;1196:52;1241:6;1236:3;1229:4;1222:5;1218:16;1196:52;;;1269:29;1291:6;1269:29;;;1264:3;1260:39;1253:46;;1051:253;;;;;;1311:335;;1417:34;1445:5;1417:34;;;1463:70;1526:6;1521:3;1463:70;;;1456:77;;1538:52;1583:6;1578:3;1571:4;1564:5;1560:16;1538:52;;;1611:29;1633:6;1611:29;;;1606:3;1602:39;1595:46;;1397:249;;;;;;1653:152;1744:55;1793:5;1744:55;;;1739:3;1732:68;1726:79;;;1812:162;1913:55;1962:5;1913:55;;;1908:3;1901:68;1895:79;;;2068:1167;2221:4;2216:3;2212:14;2306:3;2299:5;2295:15;2289:22;2317:80;2392:3;2387;2383:13;2369:12;2317:80;;;2241:162;2487:4;2480:5;2476:16;2470:23;2499:63;2556:4;2551:3;2547:14;2533:12;2499:63;;;2413:155;2649:4;2642:5;2638:16;2632:23;2661:63;2718:4;2713:3;2709:14;2695:12;2661:63;;;2578:152;2815:4;2808:5;2804:16;2798:23;2827:63;2884:4;2879:3;2875:14;2861:12;2827:63;;;2740:156;2976:4;2969:5;2965:16;2959:23;2988:63;3045:4;3040:3;3036:14;3022:12;2988:63;;;2906:151;3139:4;3132:5;3128:16;3122:23;3151:63;3208:4;3203:3;3199:14;3185:12;3151:63;;;3067:153;2194:1041;;;;3242:103;3315:24;3333:5;3315:24;;;3310:3;3303:37;3297:48;;;3352:113;3435:24;3453:5;3435:24;;;3430:3;3423:37;3417:48;;;3472:201;;3584:2;3573:9;3569:18;3561:26;;3598:65;3660:1;3649:9;3645:17;3636:6;3598:65;;;3555:118;;;;;3680:289;;3812:2;3801:9;3797:18;3789:26;;3862:9;3856:4;3852:20;3848:1;3837:9;3833:17;3826:47;3887:72;3954:4;3945:6;3887:72;;;3879:80;;3783:186;;;;;3976:297;;4112:2;4101:9;4097:18;4089:26;;4162:9;4156:4;4152:20;4148:1;4137:9;4133:17;4126:47;4187:76;4258:4;4249:6;4187:76;;;4179:84;;4083:190;;;;;4280:807;;4556:3;4545:9;4541:19;4533:27;;4571:89;4657:1;4646:9;4642:17;4633:6;4571:89;;;4671:72;4739:2;4728:9;4724:18;4715:6;4671:72;;;4754;4822:2;4811:9;4807:18;4798:6;4754:72;;;4837;4905:2;4894:9;4890:18;4881:6;4837:72;;;4920:73;4988:3;4977:9;4973:19;4964:6;4920:73;;;5004;5072:3;5061:9;5057:19;5048:6;5004:73;;;4527:560;;;;;;;;;;5094:334;;5272:3;5261:9;5257:19;5249:27;;5287:131;5415:1;5404:9;5400:17;5391:6;5287:131;;;5243:185;;;;;5435:117;;5524:5;5518:12;5508:22;;5489:63;;;;5559:121;;5652:5;5646:12;5636:22;;5617:63;;;;5688:162;;5802:6;5797:3;5790:19;5839:4;5834:3;5830:14;5815:29;;5783:67;;;;;5858:91;;5920:24;5938:5;5920:24;;;5909:35;;5903:46;;;;5956:85;;6029:5;6022:13;6015:21;6004:32;;5998:43;;;;6048:72;;6110:5;6099:16;;6093:27;;;;6127:146;;6209:5;6198:16;;6215:53;6262:5;6215:53;;;6192:81;;;;6280:121;;6353:42;6346:5;6342:54;6331:65;;6325:76;;;;6408:72;;6470:5;6459:16;;6453:27;;;;6487:146;;6584:44;6622:5;6584:44;;;6571:57;;6565:68;;;;6641:268;6706:1;6713:101;6727:6;6724:1;6721:13;6713:101;;;6803:1;6798:3;6794:11;6788:18;6784:1;6779:3;6775:11;6768:39;6749:2;6746:1;6742:10;6737:15;;6713:101;;;6829:6;6826:1;6823:13;6820:2;;;6894:1;6885:6;6880:3;6876:16;6869:27;6820:2;6690:219;;;;;6917:97;;7005:2;7001:7;6996:2;6989:5;6985:14;6981:28;6971:38;;6965:49;;;;7022:111;7111:1;7104:5;7101:12;7091:2;;7117:9;7091:2;7085:48;;7140:117;7209:24;7227:5;7209:24;;;7202:5;7199:35;7189:2;;7248:1;7245;7238:12;7189:2;7183:74;"
    }
  },
  "interface": [
    {
      "constant": true,
      "inputs": [
        {
          "name": "",
          "type": "bytes32"
        }
      ],
      "name": "appOutcomes",
      "outputs": [
        {
          "name": "",
          "type": "bytes"
        }
      ],
      "payable": false,
      "stateMutability": "view",
      "type": "function"
    },
    {
      "constant": true,
      "inputs": [
        {
          "name": "identityHash",
          "type": "bytes32"
        }
      ],
      "name": "isStateFinalized",
      "outputs": [
        {
          "name": "",
          "type": "bool"
        }
      ],
      "payable": false,
      "stateMutability": "view",
      "type": "function"
    },
    {
      "constant": true,
      "inputs": [
        {
          "name": "identityHash",
          "type": "bytes32"
        }
      ],
      "name": "getOutcome",
      "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"
    },
    {
      "constant": true,
      "inputs": [
        {
          "name": "identityHash",
          "type": "bytes32"
        }
      ],
      "name": "getAppChallenge",
      "outputs": [
        {
          "components": [
            {
              "name": "status",
              "type": "uint8"
            },
            {
              "name": "latestSubmitter",
              "type": "address"
            },
            {
              "name": "appStateHash",
              "type": "bytes32"
            },
            {
              "name": "challengeCounter",
              "type": "uint256"
            },
            {
              "name": "finalizesAt",
              "type": "uint256"
            },
            {
              "name": "versionNumber",
              "type": "uint256"
            }
          ],
          "name": "",
          "type": "tuple"
        }
      ],
      "payable": false,
      "stateMutability": "view",
      "type": "function"
    }
  ],
  "bytecode": "608060405234801561001057600080fd5b506108ce806100206000396000f3fe608060405234801561001057600080fd5b50600436106100575760003560e01c80630300c8791461005c578063069b90ff1461008c5780635d1a3b82146100bc5780637be05807146100ec578063ad2a7fca14610121575b600080fd5b6100766004803603610071919081019061050d565b610151565b60405161008391906106c5565b60405180910390f35b6100a660048036036100a1919081019061050d565b610201565b6040516100b391906106aa565b60405180910390f35b6100d660048036036100d1919081019061050d565b6102a9565b6040516100e391906106e7565b60405180910390f35b6101066004803603610101919081019061050d565b61035e565b60405161011896959493929190610709565b60405180910390f35b61013b6004803603610136919081019061050d565b6103c7565b604051610148919061076a565b60405180910390f35b60016020528060005260406000206000915090508054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156101f95780601f106101ce576101008083540402835291602001916101f9565b820191906000526020600020905b8154815290600101906020018083116101dc57829003601f168201915b505050505081565b600060028081111561020f57fe5b60008084815260200190815260200160002060000160009054906101000a900460ff16600281111561023d57fe5b14806102a257506001600281111561025157fe5b60008084815260200190815260200160002060000160009054906101000a900460ff16600281111561027f57fe5b1480156102a15750436000808481526020019081526020016000206003015411155b5b9050919050565b6060600160008381526020019081526020016000208054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156103525780601f1061032757610100808354040283529160200191610352565b820191906000526020600020905b81548152906001019060200180831161033557829003601f168201915b50505050509050919050565b60006020528060005260406000206000915090508060000160009054906101000a900460ff16908060000160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff16908060010154908060020154908060030154908060040154905086565b6103cf61049e565b6000808381526020019081526020016000206040518060c00160405290816000820160009054906101000a900460ff16600281111561040a57fe5b600281111561041557fe5b81526020016000820160019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020016001820154815260200160028201548152602001600382015481526020016004820154815250509050919050565b6040518060c00160405280600060028111156104b657fe5b8152602001600073ffffffffffffffffffffffffffffffffffffffff168152602001600080191681526020016000815260200160008152602001600081525090565b60008135905061050781610874565b92915050565b60006020828403121561051f57600080fd5b600061052d848285016104f8565b91505092915050565b61053f816107ac565b82525050565b61054e816107ac565b82525050565b61055d816107be565b82525050565b61056c816107ca565b82525050565b61057b816107ca565b82525050565b600061058c82610790565b610596818561079b565b93506105a6818560208601610823565b6105af81610856565b840191505092915050565b60006105c582610785565b6105cf818561079b565b93506105df818560208601610823565b6105e881610856565b840191505092915050565b6105fc81610811565b82525050565b61060b81610811565b82525050565b60c08201600082015161062760008501826105f3565b50602082015161063a6020850182610536565b50604082015161064d6040850182610563565b506060820151610660606085018261068c565b506080820151610673608085018261068c565b5060a082015161068660a085018261068c565b50505050565b61069581610807565b82525050565b6106a481610807565b82525050565b60006020820190506106bf6000830184610554565b92915050565b600060208201905081810360008301526106df81846105ba565b905092915050565b600060208201905081810360008301526107018184610581565b905092915050565b600060c08201905061071e6000830189610602565b61072b6020830188610545565b6107386040830187610572565b610745606083018661069b565b610752608083018561069b565b61075f60a083018461069b565b979650505050505050565b600060c08201905061077f6000830184610611565b92915050565b600081519050919050565b600081519050919050565b600082825260208201905092915050565b60006107b7826107e7565b9050919050565b60008115159050919050565b6000819050919050565b60008190506107e282610867565b919050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b6000819050919050565b600061081c826107d4565b9050919050565b60005b83811015610841578082015181840152602081019050610826565b83811115610850576000848401525b50505050565b6000601f19601f8301169050919050565b6003811061087157fe5b50565b61087d816107ca565b811461088857600080fd5b5056fea365627a7a723058208566af7aae007369b8fa397ab4fa1093d7056804e26ed0e2180c6e01c0f984c46c6578706572696d656e74616cf564736f6c634300050a0040"
}