Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract Ownable
•    - function owner()
•    - function isOwner()
•    - function renounceOwnership()
•    - function transferOwnership(address ne ...
•    - function _transferOwnership(address n ...
• library Roles
•    - function add(Role storage role, addre ...
•    - function remove(Role storage role, ad ...
•    - function has(Role storage role, addre ...
•  contract IssuerRole is Ownable
•    - function isIssuer(address account)
•    - function addIssuer(address account)
•    - function removeIssuer(address account ...
•    - function renounceIssuer()
•    - function _addIssuer(address account)
•    - function _removeIssuer(address accoun ...
•  contract PostCert is Ownable, Issu ... *
•    - function Post(bytes32 hash, uint stat ...
•    - function setState(bytes32 hash, uint ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-12-19
*/

// File: contracts\ownership\Ownable.sol

pragma solidity ^0.5.0;

/**
 * @dev Contract module which provides a basic access control mechanism, where
 * there is an account (an owner) that can be granted exclusive access to
 * specific functions.
 *
 * This module is used through inheritance. It will make available the modifier
 * `onlyOwner`, which can be applied to your functions to restrict their use to
 * the owner.
 */
contract Ownable {
    address private _owner;

    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

    /**
     * @dev Initializes the contract setting the deployer as the initial owner.
     */
    constructor () internal {
        _owner = msg.sender;
        emit OwnershipTransferred(address(0), _owner);
    }

    /**
     * @dev Returns the address of the current owner.
     */
    function owner() public view returns (address) {
        return _owner;
    }

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        require(isOwner(), "Ownable: caller is not the owner");
        _;
    }

    /**
     * @dev Returns true if the caller is the current owner.
     */
    function isOwner() public view returns (bool) {
        return msg.sender == _owner;
    }

    /**
     * @dev Leaves the contract without owner. It will not be possible to call
     * `onlyOwner` functions anymore. Can only be called by the current owner.
     *
     * NOTE: Renouncing ownership will leave the contract without an owner,
     * thereby removing any functionality that is only available to the owner.
     */
    function renounceOwnership() public onlyOwner {
        emit OwnershipTransferred(_owner, address(0));
        _owner = address(0);
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Can only be called by the current owner.
     */
    function transferOwnership(address newOwner) public onlyOwner {
        _transferOwnership(newOwner);
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     */
    function _transferOwnership(address newOwner) internal {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        emit OwnershipTransferred(_owner, newOwner);
        _owner = newOwner;
    }
}

/**
 * @title Roles
 * @dev Library for managing addresses assigned to a Role.
 */
library Roles {
    struct Role {
        mapping (address => bool) bearer;
    }

    /**
     * @dev Give an account access to this role.
     */
    function add(Role storage role, address account) internal {
        require(!has(role, account), "Roles: account already has role");
        role.bearer[account] = true;
    }

    /**
     * @dev Remove an account's access to this role.
     */
    function remove(Role storage role, address account) internal {
        require(has(role, account), "Roles: account does not have role");
        role.bearer[account] = false;
    }

    /**
     * @dev Check if an account has this role.
     * @return bool
     */
    function has(Role storage role, address account) internal view returns (bool) {
        require(account != address(0), "Roles: account is the zero address");
        return role.bearer[account];
    }
}

contract IssuerRole is Ownable {
    using Roles for Roles.Role;

    event IssuerAdded(address indexed account);
    event IssuerRemoved(address indexed account);

    Roles.Role private _issuers;

    constructor () internal {
        _addIssuer(msg.sender);
    }

    modifier onlyIssuer() {
        require(isIssuer(msg.sender), "IssuerRole: caller does not have the issuer role");
        _;
    }

    function isIssuer(address account) public view returns (bool) {
        return _issuers.has(account);
    }

    function addIssuer(address account) public onlyOwner {
        _addIssuer(account);
    }

    function removeIssuer(address account) public onlyOwner {
        _removeIssuer(account);
    }

    function renounceIssuer() public {
        _removeIssuer(msg.sender);
    }

    function _addIssuer(address account) internal {
        _issuers.add(account);
        emit IssuerAdded(account);
    }

    function _removeIssuer(address account) internal {
        _issuers.remove(account);
        emit IssuerRemoved(account);
    }
}

contract PostCert is Ownable, IssuerRole {
    event Posted(bytes32 hash);
    // Need state
    event CertState(bytes32 indexed certHash, uint state);

    function Post(bytes32 hash, uint state) public onlyIssuer {
        // TODO
        emit Posted(hash);
        emit CertState(hash,state);
    }

    function setState(bytes32 hash, uint state) public onlyIssuer {
        emit CertState(hash,state);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"anonymous":false,"inputs":[{"indexed":true,"internalType":"bytes32","name":"certHash","type":"bytes32"},{"indexed":false,"internalType":"uint256","name":"state","type":"uint256"}],"name":"CertState","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"}],"name":"IssuerAdded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"account","type":"address"}],"name":"IssuerRemoved","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"previousOwner","type":"address"},{"indexed":true,"internalType":"address","name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"bytes32","name":"hash","type":"bytes32"}],"name":"Posted","type":"event"},{"constant":false,"inputs":[{"internalType":"bytes32","name":"hash","type":"bytes32"},{"internalType":"uint256","name":"state","type":"uint256"}],"name":"Post","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"addIssuer","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"isIssuer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"isOwner","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"removeIssuer","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"renounceIssuer","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"renounceOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"bytes32","name":"hash","type":"bytes32"},{"internalType":"uint256","name":"state","type":"uint256"}],"name":"setState","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"}]

6080604052336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a36100cf336100d460201b60201c565b6102f1565b6100ec81600161013260201b610a6f1790919060201c565b8073ffffffffffffffffffffffffffffffffffffffff167f05e7c881d716bee8cb7ed92293133ba156704252439e5c502c277448f04e20c260405160405180910390a250565b610142828261021360201b60201c565b156101b5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f526f6c65733a206163636f756e7420616c72656164792068617320726f6c650081525060200191505060405180910390fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561029a576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526022815260200180610fd56022913960400191505060405180910390fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b610cd5806103006000396000f3fe608060405234801561001057600080fd5b506004361061009e5760003560e01c8063877b9a6711610066578063877b9a67146101a55780638da5cb5b146102015780638f32d59b1461024b578063938050e11461026d578063f2fde38b146102775761009e565b806320694db0146100a357806347bc7093146100e75780635b642bee1461012b578063715018a6146101635780637f09e4f71461016d575b600080fd5b6100e5600480360360208110156100b957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506102bb565b005b610129600480360360208110156100fd57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610341565b005b6101616004803603604081101561014157600080fd5b8101908080359060200190929190803590602001909291905050506103c7565b005b61016b610461565b005b6101a36004803603604081101561018357600080fd5b81019080803590602001909291908035906020019092919050505061059a565b005b6101e7600480360360208110156101bb57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061066b565b604051808215151515815260200191505060405180910390f35b610209610688565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6102536106b1565b604051808215151515815260200191505060405180910390f35b610275610708565b005b6102b96004803603602081101561028d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610713565b005b6102c36106b1565b610335576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b61033e81610799565b50565b6103496106b1565b6103bb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b6103c4816107f3565b50565b6103d03361066b565b610425576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526030815260200180610c086030913960400191505060405180910390fd5b817ff02e08cae58fb29787932a6e1e5184f83b198d15c70629488de33513404b285f826040518082815260200191505060405180910390a25050565b6104696106b1565b6104db576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b6105a33361066b565b6105f8576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526030815260200180610c086030913960400191505060405180910390fd5b7f1cf99f1584c1d7a65864d06ea92f251910e96331f0d4b0b4321f3e952df6af14826040518082815260200191505060405180910390a1817ff02e08cae58fb29787932a6e1e5184f83b198d15c70629488de33513404b285f826040518082815260200191505060405180910390a25050565b600061068182600161084d90919063ffffffff16565b9050919050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614905090565b610711336107f3565b565b61071b6106b1565b61078d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b6107968161092b565b50565b6107ad816001610a6f90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167f05e7c881d716bee8cb7ed92293133ba156704252439e5c502c277448f04e20c260405160405180910390a250565b610807816001610b4a90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167faf66545c919a3be306ee446d8f42a9558b5b022620df880517bc9593ec0f2d5260405160405180910390a250565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156108d4576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526022815260200180610c7f6022913960400191505060405180910390fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156109b1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526026815260200180610c386026913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b610a79828261084d565b15610aec576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f526f6c65733a206163636f756e7420616c72656164792068617320726f6c650081525060200191505060405180910390fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b610b54828261084d565b610ba9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180610c5e6021913960400191505060405180910390fd5b60008260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550505056fe497373756572526f6c653a2063616c6c657220646f6573206e6f742068617665207468652069737375657220726f6c654f776e61626c653a206e6577206f776e657220697320746865207a65726f2061646472657373526f6c65733a206163636f756e7420646f6573206e6f74206861766520726f6c65526f6c65733a206163636f756e7420697320746865207a65726f2061646472657373a265627a7a72315820c72001f93b6a430bda81f88132e60a1d9dd570461338b531d239cd1b71c1d94864736f6c634300050c0032526f6c65733a206163636f756e7420697320746865207a65726f2061646472657373

0x608060405234801561001057600080fd5b506004361061009e5760003560e01c8063877b9a6711610066578063877b9a67146101a55780638da5cb5b146102015780638f32d59b1461024b578063938050e11461026d578063f2fde38b146102775761009e565b806320694db0146100a357806347bc7093146100e75780635b642bee1461012b578063715018a6146101635780637f09e4f71461016d575b600080fd5b6100e5600480360360208110156100b957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506102bb565b005b610129600480360360208110156100fd57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610341565b005b6101616004803603604081101561014157600080fd5b8101908080359060200190929190803590602001909291905050506103c7565b005b61016b610461565b005b6101a36004803603604081101561018357600080fd5b81019080803590602001909291908035906020019092919050505061059a565b005b6101e7600480360360208110156101bb57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061066b565b604051808215151515815260200191505060405180910390f35b610209610688565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6102536106b1565b604051808215151515815260200191505060405180910390f35b610275610708565b005b6102b96004803603602081101561028d57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610713565b005b6102c36106b1565b610335576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b61033e81610799565b50565b6103496106b1565b6103bb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b6103c4816107f3565b50565b6103d03361066b565b610425576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526030815260200180610c086030913960400191505060405180910390fd5b817ff02e08cae58fb29787932a6e1e5184f83b198d15c70629488de33513404b285f826040518082815260200191505060405180910390a25050565b6104696106b1565b6104db576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a360008060006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b6105a33361066b565b6105f8576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526030815260200180610c086030913960400191505060405180910390fd5b7f1cf99f1584c1d7a65864d06ea92f251910e96331f0d4b0b4321f3e952df6af14826040518082815260200191505060405180910390a1817ff02e08cae58fb29787932a6e1e5184f83b198d15c70629488de33513404b285f826040518082815260200191505060405180910390a25050565b600061068182600161084d90919063ffffffff16565b9050919050565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614905090565b610711336107f3565b565b61071b6106b1565b61078d576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e657281525060200191505060405180910390fd5b6107968161092b565b50565b6107ad816001610a6f90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167f05e7c881d716bee8cb7ed92293133ba156704252439e5c502c277448f04e20c260405160405180910390a250565b610807816001610b4a90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167faf66545c919a3be306ee446d8f42a9558b5b022620df880517bc9593ec0f2d5260405160405180910390a250565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156108d4576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526022815260200180610c7f6022913960400191505060405180910390fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614156109b1576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526026815260200180610c386026913960400191505060405180910390fd5b8073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b610a79828261084d565b15610aec576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f526f6c65733a206163636f756e7420616c72656164792068617320726f6c650081525060200191505060405180910390fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b610b54828261084d565b610ba9576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526021815260200180610c5e6021913960400191505060405180910390fd5b60008260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550505056fe497373756572526f6c653a2063616c6c657220646f6573206e6f742068617665207468652069737375657220726f6c654f776e61626c653a206e6577206f776e657220697320746865207a65726f2061646472657373526f6c65733a206163636f756e7420646f6573206e6f74206861766520726f6c65526f6c65733a206163636f756e7420697320746865207a65726f2061646472657373a265627a7a72315820c72001f93b6a430bda81f88132e60a1d9dd570461338b531d239cd1b71c1d94864736f6c634300050c0032

4533:428:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4533:428:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3977:91;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3977:91:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;4076:97;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4076:97:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;4851:107;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4851:107:0;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;1695:140;;;:::i;:::-;;4695:148;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4695:148:0;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;3860:109;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3860:109:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;886:79;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1252:92;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;4181:77;;;:::i;:::-;;1990:109;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1990:109:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;3977:91;1098:9;:7;:9::i;:::-;1090:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4041:19;4052:7;4041:10;:19::i;:::-;3977:91;:::o;4076:97::-;1098:9;:7;:9::i;:::-;1090:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4143:22;4157:7;4143:13;:22::i;:::-;4076:97;:::o;4851:107::-;3759:20;3768:10;3759:8;:20::i;:::-;3751:81;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4939:4;4929:21;4944:5;4929:21;;;;;;;;;;;;;;;;;;4851:107;;:::o;1695:140::-;1098:9;:7;:9::i;:::-;1090:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1794:1;1757:40;;1778:6;;;;;;;;;;;1757:40;;;;;;;;;;;;1825:1;1808:6;;:19;;;;;;;;;;;;;;;;;;1695:140::o;4695:148::-;3759:20;3768:10;3759:8;:20::i;:::-;3751:81;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4786:12;4793:4;4786:12;;;;;;;;;;;;;;;;;;4824:4;4814:21;4829:5;4814:21;;;;;;;;;;;;;;;;;;4695:148;;:::o;3860:109::-;3916:4;3940:21;3953:7;3940:8;:12;;:21;;;;:::i;:::-;3933:28;;3860:109;;;:::o;886:79::-;924:7;951:6;;;;;;;;;;;944:13;;886:79;:::o;1252:92::-;1292:4;1330:6;;;;;;;;;;;1316:20;;:10;:20;;;1309:27;;1252:92;:::o;4181:77::-;4225:25;4239:10;4225:13;:25::i;:::-;4181:77::o;1990:109::-;1098:9;:7;:9::i;:::-;1090:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2063:28;2082:8;2063:18;:28::i;:::-;1990:109;:::o;4266:122::-;4323:21;4336:7;4323:8;:12;;:21;;;;:::i;:::-;4372:7;4360:20;;;;;;;;;;;;4266:122;:::o;4396:130::-;4456:24;4472:7;4456:8;:15;;:24;;;;:::i;:::-;4510:7;4496:22;;;;;;;;;;;;4396:130;:::o;3224:203::-;3296:4;3340:1;3321:21;;:7;:21;;;;3313:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3399:4;:11;;:20;3411:7;3399:20;;;;;;;;;;;;;;;;;;;;;;;;;3392:27;;3224:203;;;;:::o;2205:229::-;2299:1;2279:22;;:8;:22;;;;2271:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2389:8;2360:38;;2381:6;;;;;;;;;;;2360:38;;;;;;;;;;;;2418:8;2409:6;;:17;;;;;;;;;;;;;;;;;;2205:229;:::o;2688:178::-;2766:18;2770:4;2776:7;2766:3;:18::i;:::-;2765:19;2757:63;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2854:4;2831;:11;;:20;2843:7;2831:20;;;;;;;;;;;;;;;;:27;;;;;;;;;;;;;;;;;;2688:178;;:::o;2946:183::-;3026:18;3030:4;3036:7;3026:3;:18::i;:::-;3018:64;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3116:5;3093:4;:11;;:20;3105:7;3093:20;;;;;;;;;;;;;;;;:28;;;;;;;;;;;;;;;;;;2946:183;;:::o

bzzr://c72001f93b6a430bda81f88132e60a1d9dd570461338b531d239cd1b71c1d948