{
  "_format": "hh-sol-artifact-1",
  "contractName": "BondManager",
  "sourceName": "contracts/dispute/BondManager.sol",
  "abi": [
    {
      "inputs": [
        {
          "internalType": "contract IDisputeGameFactory",
          "name": "_disputeGameFactory",
          "type": "address"
        }
      ],
      "stateMutability": "nonpayable",
      "type": "constructor"
    },
    {
      "anonymous": false,
      "inputs": [
        {
          "indexed": false,
          "internalType": "bytes32",
          "name": "bondId",
          "type": "bytes32"
        },
        {
          "indexed": false,
          "internalType": "address",
          "name": "owner",
          "type": "address"
        },
        {
          "indexed": false,
          "internalType": "uint256",
          "name": "expiration",
          "type": "uint256"
        },
        {
          "indexed": false,
          "internalType": "uint256",
          "name": "amount",
          "type": "uint256"
        }
      ],
      "name": "BondPosted",
      "type": "event"
    },
    {
      "anonymous": false,
      "inputs": [
        {
          "indexed": false,
          "internalType": "bytes32",
          "name": "bondId",
          "type": "bytes32"
        },
        {
          "indexed": false,
          "internalType": "address",
          "name": "claiment",
          "type": "address"
        },
        {
          "indexed": false,
          "internalType": "uint256",
          "name": "amount",
          "type": "uint256"
        }
      ],
      "name": "BondReclaimed",
      "type": "event"
    },
    {
      "anonymous": false,
      "inputs": [
        {
          "indexed": false,
          "internalType": "bytes32",
          "name": "bondId",
          "type": "bytes32"
        },
        {
          "indexed": false,
          "internalType": "address",
          "name": "owner",
          "type": "address"
        },
        {
          "indexed": false,
          "internalType": "address",
          "name": "seizer",
          "type": "address"
        },
        {
          "indexed": false,
          "internalType": "uint256",
          "name": "amount",
          "type": "uint256"
        }
      ],
      "name": "BondSeized",
      "type": "event"
    },
    {
      "inputs": [],
      "name": "DISPUTE_GAME_FACTORY",
      "outputs": [
        {
          "internalType": "contract IDisputeGameFactory",
          "name": "",
          "type": "address"
        }
      ],
      "stateMutability": "view",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "bytes32",
          "name": "",
          "type": "bytes32"
        }
      ],
      "name": "bonds",
      "outputs": [
        {
          "internalType": "address",
          "name": "owner",
          "type": "address"
        },
        {
          "internalType": "uint256",
          "name": "expiration",
          "type": "uint256"
        },
        {
          "internalType": "bytes32",
          "name": "id",
          "type": "bytes32"
        },
        {
          "internalType": "uint256",
          "name": "amount",
          "type": "uint256"
        }
      ],
      "stateMutability": "view",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "bytes32",
          "name": "_bondId",
          "type": "bytes32"
        },
        {
          "internalType": "address",
          "name": "_bondOwner",
          "type": "address"
        },
        {
          "internalType": "uint256",
          "name": "_minClaimHold",
          "type": "uint256"
        }
      ],
      "name": "post",
      "outputs": [],
      "stateMutability": "payable",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "bytes32",
          "name": "_bondId",
          "type": "bytes32"
        }
      ],
      "name": "reclaim",
      "outputs": [],
      "stateMutability": "nonpayable",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "bytes32",
          "name": "_bondId",
          "type": "bytes32"
        }
      ],
      "name": "seize",
      "outputs": [],
      "stateMutability": "nonpayable",
      "type": "function"
    },
    {
      "inputs": [
        {
          "internalType": "bytes32",
          "name": "_bondId",
          "type": "bytes32"
        },
        {
          "internalType": "address[]",
          "name": "_claimRecipients",
          "type": "address[]"
        }
      ],
      "name": "seizeAndSplit",
      "outputs": [],
      "stateMutability": "nonpayable",
      "type": "function"
    }
  ],
  "bytecode": "0x60a060405234801561001057600080fd5b5060405161187f38038061187f83398101604081905261002f91610040565b6001600160a01b0316608052610070565b60006020828403121561005257600080fd5b81516001600160a01b038116811461006957600080fd5b9392505050565b6080516117e761009860003960008181609e015281816103290152610efd01526117e76000f3fe6080604052600436106100655760003560e01c8063a95bd9a911610043578063a95bd9a91461010a578063b9ad7ea91461011d578063dff3dbb2146101ad57600080fd5b80637c523a681461006a57806382ff53a11461008c57806396afb365146100ea575b600080fd5b34801561007657600080fd5b5061008a610085366004611392565b6101cd565b005b34801561009857600080fd5b506100c07f000000000000000000000000000000000000000000000000000000000000000081565b60405173ffffffffffffffffffffffffffffffffffffffff90911681526020015b60405180910390f35b3480156100f657600080fd5b5061008a610105366004611411565b61080e565b61008a61011836600461144f565b610ab8565b34801561012957600080fd5b50610176610138366004611411565b600060208190529081526040902080546001820154600283015460039093015473ffffffffffffffffffffffffffffffffffffffff90921692909184565b6040805173ffffffffffffffffffffffffffffffffffffffff909516855260208501939093529183015260608201526080016100e1565b3480156101b957600080fd5b5061008a6101c8366004611411565b610da6565b600083815260208181526040918290208251608081018452815473ffffffffffffffffffffffffffffffffffffffff168082526001830154938201939093526002820154938101939093526003015460608301526102b2576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602560248201527f426f6e644d616e616765723a2054686520626f6e6420646f6573206e6f74206560448201527f786973742e00000000000000000000000000000000000000000000000000000060648201526084015b60405180910390fd5b4281602001511015610320576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601a60248201527f426f6e644d616e616765723a20426f6e6420657870697265642e00000000000060448201526064016102a9565b600033905060007f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1663c49d527160028473ffffffffffffffffffffffffffffffffffffffff1663bcef3b556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156103b0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906103d49190611487565b8573ffffffffffffffffffffffffffffffffffffffff1663609d33346040518163ffffffff1660e01b8152600401600060405180830381865afa15801561041f573d6000803e3d6000fd5b505050506040513d6000823e601f3d9081017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016820160405261046591908101906114ff565b6040518463ffffffff1660e01b8152600401610483939291906115f9565b602060405180830381865afa1580156104a0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906104c4919061168f565b90503373ffffffffffffffffffffffffffffffffffffffff82161461056b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602260248201527f426f6e644d616e616765723a20556e617574686f72697a6564207365697a757260448201527f652e00000000000000000000000000000000000000000000000000000000000060648201526084016102a9565b60018173ffffffffffffffffffffffffffffffffffffffff1663200d2ed26040518163ffffffff1660e01b8152600401602060405180830381865afa1580156105b8573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906105dc91906116b3565b60028111156105ed576105ed6115ca565b14610654576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601d60248201527f426f6e644d616e616765723a2047616d6520696e636f6d706c6574652e00000060448201526064016102a9565b60008681526020818152604080832080547fffffffffffffffffffffffff0000000000000000000000000000000000000000168155600181018490556002810184905560030192909255845160608087015184518b815273ffffffffffffffffffffffffffffffffffffffff90931693830193909352338285015281019190915290517f322ab0b3db5c6bbcf092c78b528fe9456261a542abd1da447140e2f74bde7e399181900360800190a160608301518490600090610716908390611703565b905060005b8281101561080357600061076189898481811061073a5761073a61173e565b905060200201602081019061074f919061176d565b855a61075b9190611703565b8561137c565b9050806107f0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602260248201527f426f6e644d616e616765723a204661696c656420746f2073656e64204574686560448201527f722e00000000000000000000000000000000000000000000000000000000000060648201526084016102a9565b50806107fb8161178a565b91505061071b565b505050505050505050565b600081815260208181526040918290208251608081018452815473ffffffffffffffffffffffffffffffffffffffff1680825260018301549382019390935260028201549381019390935260030154606083015233146108f0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602360248201527f426f6e644d616e616765723a20556e617574686f72697a656420636c61696d6160448201527f6e742e000000000000000000000000000000000000000000000000000000000060648201526084016102a9565b4281602001511115610984576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602660248201527f426f6e644d616e616765723a20426f6e642069736e277420636c61696d61626c60448201527f65207965742e000000000000000000000000000000000000000000000000000060648201526084016102a9565b60008281526020818152604080832080547fffffffffffffffffffffffff000000000000000000000000000000000000000016815560018101849055600281018490556003019290925560608381015183518681523393810193909352928201929092527fa9b8d1cb23fc6bfcae1f7ed8ec77868451af44dde191688baa93bb00b7ee4917910160405180910390a16000610a24335a846060015161137c565b905080610ab3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602260248201527f426f6e644d616e616765723a204661696c656420746f2073656e64204574686560448201527f722e00000000000000000000000000000000000000000000000000000000000060648201526084016102a9565b505050565b60008381526020819052604090205473ffffffffffffffffffffffffffffffffffffffff1615610b6a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602360248201527f426f6e644d616e616765723a20426f6e64496420616c726561647920706f737460448201527f65642e000000000000000000000000000000000000000000000000000000000060648201526084016102a9565b73ffffffffffffffffffffffffffffffffffffffff8216610c0d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602e60248201527f426f6e644d616e616765723a204f776e65722063616e6e6f742062652074686560448201527f207a65726f20616464726573732e00000000000000000000000000000000000060648201526084016102a9565b60003411610c9c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152602060048201526024808201527f426f6e644d616e616765723a2056616c7565206d757374206265206e6f6e2d7a60448201527f65726f2e0000000000000000000000000000000000000000000000000000000060648201526084016102a9565b6000610ca842836117c2565b6040805160808101825273ffffffffffffffffffffffffffffffffffffffff808716825260208083018581528385018a8152346060860181815260008d815294859052938790209551865495167fffffffffffffffffffffffff0000000000000000000000000000000000000000909516949094178555905160018501555160028401555160039092019190915590519192507fb3f7ea9789b653f1f16bea488689a6e60a64300aaf9a66ca828aeff75685fb5991610d989187918791869193845273ffffffffffffffffffffffffffffffffffffffff9290921660208401526040830152606082015260800190565b60405180910390a150505050565b600081815260208181526040918290208251608081018452815473ffffffffffffffffffffffffffffffffffffffff16808252600183015493820193909352600282015493810193909352600301546060830152610e86576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602560248201527f426f6e644d616e616765723a2054686520626f6e6420646f6573206e6f74206560448201527f786973742e00000000000000000000000000000000000000000000000000000060648201526084016102a9565b4281602001511015610ef4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601a60248201527f426f6e644d616e616765723a20426f6e6420657870697265642e00000000000060448201526064016102a9565b600033905060007f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1663c49d527160028473ffffffffffffffffffffffffffffffffffffffff1663bcef3b556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610f84573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610fa89190611487565b8573ffffffffffffffffffffffffffffffffffffffff1663609d33346040518163ffffffff1660e01b8152600401600060405180830381865afa158015610ff3573d6000803e3d6000fd5b505050506040513d6000823e601f3d9081017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016820160405261103991908101906114ff565b6040518463ffffffff1660e01b8152600401611057939291906115f9565b602060405180830381865afa158015611074573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611098919061168f565b90503373ffffffffffffffffffffffffffffffffffffffff82161461113f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602260248201527f426f6e644d616e616765723a20556e617574686f72697a6564207365697a757260448201527f652e00000000000000000000000000000000000000000000000000000000000060648201526084016102a9565b60018173ffffffffffffffffffffffffffffffffffffffff1663200d2ed26040518163ffffffff1660e01b8152600401602060405180830381865afa15801561118c573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906111b091906116b3565b60028111156111c1576111c16115ca565b14611228576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601d60248201527f426f6e644d616e616765723a2047616d6520696e636f6d706c6574652e00000060448201526064016102a9565b60008481526020818152604080832080547fffffffffffffffffffffffff00000000000000000000000000000000000000001681556001810184905560028101849055600301929092558451606080870151845189815273ffffffffffffffffffffffffffffffffffffffff90931693830193909352338285015281019190915290517f322ab0b3db5c6bbcf092c78b528fe9456261a542abd1da447140e2f74bde7e399181900360800190a160006112e6335a866060015161137c565b905080611375576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602260248201527f426f6e644d616e616765723a204661696c656420746f2073656e64204574686560448201527f722e00000000000000000000000000000000000000000000000000000000000060648201526084016102a9565b5050505050565b600080600080600080868989f195945050505050565b6000806000604084860312156113a757600080fd5b83359250602084013567ffffffffffffffff808211156113c657600080fd5b818601915086601f8301126113da57600080fd5b8135818111156113e957600080fd5b8760208260051b85010111156113fe57600080fd5b6020830194508093505050509250925092565b60006020828403121561142357600080fd5b5035919050565b73ffffffffffffffffffffffffffffffffffffffff8116811461144c57600080fd5b50565b60008060006060848603121561146457600080fd5b8335925060208401356114768161142a565b929592945050506040919091013590565b60006020828403121561149957600080fd5b5051919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b60005b838110156114ea5781810151838201526020016114d2565b838111156114f9576000848401525b50505050565b60006020828403121561151157600080fd5b815167ffffffffffffffff8082111561152957600080fd5b818401915084601f83011261153d57600080fd5b81518181111561154f5761154f6114a0565b604051601f82017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0908116603f01168101908382118183101715611595576115956114a0565b816040528281528760208487010111156115ae57600080fd5b6115bf8360208301602088016114cf565b979650505050505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b600060038510611632577f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b84825283602083015260606040830152825180606084015261165b8160808501602087016114cf565b601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe01691909101608001949350505050565b6000602082840312156116a157600080fd5b81516116ac8161142a565b9392505050565b6000602082840312156116c557600080fd5b8151600381106116ac57600080fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600082611739577f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b500490565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60006020828403121561177f57600080fd5b81356116ac8161142a565b60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82036117bb576117bb6116d4565b5060010190565b600082198211156117d5576117d56116d4565b50019056fea164736f6c634300080f000a",
  "deployedBytecode": "0x6080604052600436106100655760003560e01c8063a95bd9a911610043578063a95bd9a91461010a578063b9ad7ea91461011d578063dff3dbb2146101ad57600080fd5b80637c523a681461006a57806382ff53a11461008c57806396afb365146100ea575b600080fd5b34801561007657600080fd5b5061008a610085366004611392565b6101cd565b005b34801561009857600080fd5b506100c07f000000000000000000000000000000000000000000000000000000000000000081565b60405173ffffffffffffffffffffffffffffffffffffffff90911681526020015b60405180910390f35b3480156100f657600080fd5b5061008a610105366004611411565b61080e565b61008a61011836600461144f565b610ab8565b34801561012957600080fd5b50610176610138366004611411565b600060208190529081526040902080546001820154600283015460039093015473ffffffffffffffffffffffffffffffffffffffff90921692909184565b6040805173ffffffffffffffffffffffffffffffffffffffff909516855260208501939093529183015260608201526080016100e1565b3480156101b957600080fd5b5061008a6101c8366004611411565b610da6565b600083815260208181526040918290208251608081018452815473ffffffffffffffffffffffffffffffffffffffff168082526001830154938201939093526002820154938101939093526003015460608301526102b2576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602560248201527f426f6e644d616e616765723a2054686520626f6e6420646f6573206e6f74206560448201527f786973742e00000000000000000000000000000000000000000000000000000060648201526084015b60405180910390fd5b4281602001511015610320576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601a60248201527f426f6e644d616e616765723a20426f6e6420657870697265642e00000000000060448201526064016102a9565b600033905060007f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1663c49d527160028473ffffffffffffffffffffffffffffffffffffffff1663bcef3b556040518163ffffffff1660e01b8152600401602060405180830381865afa1580156103b0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906103d49190611487565b8573ffffffffffffffffffffffffffffffffffffffff1663609d33346040518163ffffffff1660e01b8152600401600060405180830381865afa15801561041f573d6000803e3d6000fd5b505050506040513d6000823e601f3d9081017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016820160405261046591908101906114ff565b6040518463ffffffff1660e01b8152600401610483939291906115f9565b602060405180830381865afa1580156104a0573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906104c4919061168f565b90503373ffffffffffffffffffffffffffffffffffffffff82161461056b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602260248201527f426f6e644d616e616765723a20556e617574686f72697a6564207365697a757260448201527f652e00000000000000000000000000000000000000000000000000000000000060648201526084016102a9565b60018173ffffffffffffffffffffffffffffffffffffffff1663200d2ed26040518163ffffffff1660e01b8152600401602060405180830381865afa1580156105b8573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906105dc91906116b3565b60028111156105ed576105ed6115ca565b14610654576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601d60248201527f426f6e644d616e616765723a2047616d6520696e636f6d706c6574652e00000060448201526064016102a9565b60008681526020818152604080832080547fffffffffffffffffffffffff0000000000000000000000000000000000000000168155600181018490556002810184905560030192909255845160608087015184518b815273ffffffffffffffffffffffffffffffffffffffff90931693830193909352338285015281019190915290517f322ab0b3db5c6bbcf092c78b528fe9456261a542abd1da447140e2f74bde7e399181900360800190a160608301518490600090610716908390611703565b905060005b8281101561080357600061076189898481811061073a5761073a61173e565b905060200201602081019061074f919061176d565b855a61075b9190611703565b8561137c565b9050806107f0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602260248201527f426f6e644d616e616765723a204661696c656420746f2073656e64204574686560448201527f722e00000000000000000000000000000000000000000000000000000000000060648201526084016102a9565b50806107fb8161178a565b91505061071b565b505050505050505050565b600081815260208181526040918290208251608081018452815473ffffffffffffffffffffffffffffffffffffffff1680825260018301549382019390935260028201549381019390935260030154606083015233146108f0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602360248201527f426f6e644d616e616765723a20556e617574686f72697a656420636c61696d6160448201527f6e742e000000000000000000000000000000000000000000000000000000000060648201526084016102a9565b4281602001511115610984576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602660248201527f426f6e644d616e616765723a20426f6e642069736e277420636c61696d61626c60448201527f65207965742e000000000000000000000000000000000000000000000000000060648201526084016102a9565b60008281526020818152604080832080547fffffffffffffffffffffffff000000000000000000000000000000000000000016815560018101849055600281018490556003019290925560608381015183518681523393810193909352928201929092527fa9b8d1cb23fc6bfcae1f7ed8ec77868451af44dde191688baa93bb00b7ee4917910160405180910390a16000610a24335a846060015161137c565b905080610ab3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602260248201527f426f6e644d616e616765723a204661696c656420746f2073656e64204574686560448201527f722e00000000000000000000000000000000000000000000000000000000000060648201526084016102a9565b505050565b60008381526020819052604090205473ffffffffffffffffffffffffffffffffffffffff1615610b6a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602360248201527f426f6e644d616e616765723a20426f6e64496420616c726561647920706f737460448201527f65642e000000000000000000000000000000000000000000000000000000000060648201526084016102a9565b73ffffffffffffffffffffffffffffffffffffffff8216610c0d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602e60248201527f426f6e644d616e616765723a204f776e65722063616e6e6f742062652074686560448201527f207a65726f20616464726573732e00000000000000000000000000000000000060648201526084016102a9565b60003411610c9c576040517f08c379a0000000000000000000000000000000000000000000000000000000008152602060048201526024808201527f426f6e644d616e616765723a2056616c7565206d757374206265206e6f6e2d7a60448201527f65726f2e0000000000000000000000000000000000000000000000000000000060648201526084016102a9565b6000610ca842836117c2565b6040805160808101825273ffffffffffffffffffffffffffffffffffffffff808716825260208083018581528385018a8152346060860181815260008d815294859052938790209551865495167fffffffffffffffffffffffff0000000000000000000000000000000000000000909516949094178555905160018501555160028401555160039092019190915590519192507fb3f7ea9789b653f1f16bea488689a6e60a64300aaf9a66ca828aeff75685fb5991610d989187918791869193845273ffffffffffffffffffffffffffffffffffffffff9290921660208401526040830152606082015260800190565b60405180910390a150505050565b600081815260208181526040918290208251608081018452815473ffffffffffffffffffffffffffffffffffffffff16808252600183015493820193909352600282015493810193909352600301546060830152610e86576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602560248201527f426f6e644d616e616765723a2054686520626f6e6420646f6573206e6f74206560448201527f786973742e00000000000000000000000000000000000000000000000000000060648201526084016102a9565b4281602001511015610ef4576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601a60248201527f426f6e644d616e616765723a20426f6e6420657870697265642e00000000000060448201526064016102a9565b600033905060007f000000000000000000000000000000000000000000000000000000000000000073ffffffffffffffffffffffffffffffffffffffff1663c49d527160028473ffffffffffffffffffffffffffffffffffffffff1663bcef3b556040518163ffffffff1660e01b8152600401602060405180830381865afa158015610f84573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190610fa89190611487565b8573ffffffffffffffffffffffffffffffffffffffff1663609d33346040518163ffffffff1660e01b8152600401600060405180830381865afa158015610ff3573d6000803e3d6000fd5b505050506040513d6000823e601f3d9081017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe016820160405261103991908101906114ff565b6040518463ffffffff1660e01b8152600401611057939291906115f9565b602060405180830381865afa158015611074573d6000803e3d6000fd5b505050506040513d601f19601f82011682018060405250810190611098919061168f565b90503373ffffffffffffffffffffffffffffffffffffffff82161461113f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602260248201527f426f6e644d616e616765723a20556e617574686f72697a6564207365697a757260448201527f652e00000000000000000000000000000000000000000000000000000000000060648201526084016102a9565b60018173ffffffffffffffffffffffffffffffffffffffff1663200d2ed26040518163ffffffff1660e01b8152600401602060405180830381865afa15801561118c573d6000803e3d6000fd5b505050506040513d601f19601f820116820180604052508101906111b091906116b3565b60028111156111c1576111c16115ca565b14611228576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601d60248201527f426f6e644d616e616765723a2047616d6520696e636f6d706c6574652e00000060448201526064016102a9565b60008481526020818152604080832080547fffffffffffffffffffffffff00000000000000000000000000000000000000001681556001810184905560028101849055600301929092558451606080870151845189815273ffffffffffffffffffffffffffffffffffffffff90931693830193909352338285015281019190915290517f322ab0b3db5c6bbcf092c78b528fe9456261a542abd1da447140e2f74bde7e399181900360800190a160006112e6335a866060015161137c565b905080611375576040517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152602260248201527f426f6e644d616e616765723a204661696c656420746f2073656e64204574686560448201527f722e00000000000000000000000000000000000000000000000000000000000060648201526084016102a9565b5050505050565b600080600080600080868989f195945050505050565b6000806000604084860312156113a757600080fd5b83359250602084013567ffffffffffffffff808211156113c657600080fd5b818601915086601f8301126113da57600080fd5b8135818111156113e957600080fd5b8760208260051b85010111156113fe57600080fd5b6020830194508093505050509250925092565b60006020828403121561142357600080fd5b5035919050565b73ffffffffffffffffffffffffffffffffffffffff8116811461144c57600080fd5b50565b60008060006060848603121561146457600080fd5b8335925060208401356114768161142a565b929592945050506040919091013590565b60006020828403121561149957600080fd5b5051919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052604160045260246000fd5b60005b838110156114ea5781810151838201526020016114d2565b838111156114f9576000848401525b50505050565b60006020828403121561151157600080fd5b815167ffffffffffffffff8082111561152957600080fd5b818401915084601f83011261153d57600080fd5b81518181111561154f5761154f6114a0565b604051601f82017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0908116603f01168101908382118183101715611595576115956114a0565b816040528281528760208487010111156115ae57600080fd5b6115bf8360208301602088016114cf565b979650505050505050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b600060038510611632577f4e487b7100000000000000000000000000000000000000000000000000000000600052602160045260246000fd5b84825283602083015260606040830152825180606084015261165b8160808501602087016114cf565b601f017fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe01691909101608001949350505050565b6000602082840312156116a157600080fd5b81516116ac8161142a565b9392505050565b6000602082840312156116c557600080fd5b8151600381106116ac57600080fd5b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b600082611739577f4e487b7100000000000000000000000000000000000000000000000000000000600052601260045260246000fd5b500490565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052603260045260246000fd5b60006020828403121561177f57600080fd5b81356116ac8161142a565b60007fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82036117bb576117bb6116d4565b5060010190565b600082198211156117d5576117d56116d4565b50019056fea164736f6c634300080f000a",
  "linkReferences": {},
  "deployedLinkReferences": {}
}