Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2022-01-25
*/

// File: contracts/busd/IBUSD.sol

pragma solidity 0.5.17;

interface IBUSD {
    function balanceOf(address _addr) external returns (uint256);
    function transferFrom(address _from, address _to, uint256 _value) external returns (bool);
    function transfer(address _to, uint256 _value) external returns (bool);
    function increaseSupply(uint256 _value) external returns (bool success);
    function decreaseSupply(uint256 _value) external returns (bool success);
}

// File: @openzeppelin/contracts/math/SafeMath.sol

pragma solidity ^0.5.0;

/**
 * @dev Wrappers over Solidity's arithmetic operations with added overflow
 * checks.
 *
 * Arithmetic operations in Solidity wrap on overflow. This can easily result
 * in bugs, because programmers usually assume that an overflow raises an
 * error, which is the standard behavior in high level programming languages.
 * `SafeMath` restores this intuition by reverting the transaction when an
 * operation overflows.
 *
 * Using this library instead of the unchecked operations eliminates an entire
 * class of bugs, so it's recommended to use it always.
 */
library SafeMath {
    /**
     * @dev Returns the addition of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `+` operator.
     *
     * Requirements:
     * - Addition cannot overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");

        return c;
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     * - Subtraction cannot overflow.
     */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }

    /**
     * @dev Returns the subtraction of two unsigned integers, reverting with custom message on
     * overflow (when the result is negative).
     *
     * Counterpart to Solidity's `-` operator.
     *
     * Requirements:
     * - Subtraction cannot overflow.
     *
     * _Available since v2.4.0._
     */
    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        uint256 c = a - b;

        return c;
    }

    /**
     * @dev Returns the multiplication of two unsigned integers, reverting on
     * overflow.
     *
     * Counterpart to Solidity's `*` operator.
     *
     * Requirements:
     * - Multiplication cannot overflow.
     */
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
        // benefit is lost if 'b' is also tested.
        // See: https://github.com/OpenZeppelin/openzeppelin-contracts/pull/522
        if (a == 0) {
            return 0;
        }

        uint256 c = a * b;
        require(c / a == b, "SafeMath: multiplication overflow");

        return c;
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        return div(a, b, "SafeMath: division by zero");
    }

    /**
     * @dev Returns the integer division of two unsigned integers. Reverts with custom message on
     * division by zero. The result is rounded towards zero.
     *
     * Counterpart to Solidity's `/` operator. Note: this function uses a
     * `revert` opcode (which leaves remaining gas untouched) while Solidity
     * uses an invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     *
     * _Available since v2.4.0._
     */
    function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        // Solidity only automatically asserts when dividing by 0
        require(b > 0, errorMessage);
        uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold

        return c;
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * Reverts when dividing by zero.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     */
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        return mod(a, b, "SafeMath: modulo by zero");
    }

    /**
     * @dev Returns the remainder of dividing two unsigned integers. (unsigned integer modulo),
     * Reverts with custom message when dividing by zero.
     *
     * Counterpart to Solidity's `%` operator. This function uses a `revert`
     * opcode (which leaves remaining gas untouched) while Solidity uses an
     * invalid opcode to revert (consuming all remaining gas).
     *
     * Requirements:
     * - The divisor cannot be zero.
     *
     * _Available since v2.4.0._
     */
    function mod(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b != 0, errorMessage);
        return a % b;
    }
}

// File: contracts/busd/BUSDEthManager.sol

pragma solidity 0.5.17;



contract BUSDEthManager {
    using SafeMath for uint256;

    IBUSD public busd_;

    mapping(bytes32 => bool) public usedEvents_;

    event Locked(
        address indexed token,
        address indexed sender,
        uint256 amount,
        address recipient
    );

    event Unlocked(
        address ethToken,
        uint256 amount,
        address recipient,
        bytes32 receiptId
    );

    address public wallet;
    modifier onlyWallet {
        require(msg.sender == wallet, "HmyManager/not-authorized");
        _;
    }

    /**
     * @dev constructor
     * @param busd token contract address, e.g., erc20 contract
     * @param _wallet is the multisig wallet
     */
    constructor(IBUSD busd, address _wallet) public {
        busd_ = busd;
        wallet = _wallet;
    }

    /**
     * @dev lock tokens to be minted on harmony chain
     * @param amount amount of tokens to lock
     * @param recipient recipient address on the harmony chain
     */
    function lockToken(uint256 amount, address recipient) public {
        require(
            recipient != address(0),
            "EthManager/recipient is a zero address"
        );
        require(amount > 0, "EthManager/zero token locked");
        uint256 _balanceBefore = busd_.balanceOf(msg.sender);
        require(
            busd_.transferFrom(msg.sender, address(this), amount),
            "EthManager/lock failed"
        );
        uint256 _balanceAfter = busd_.balanceOf(msg.sender);
        uint256 _actualAmount = _balanceBefore.sub(_balanceAfter);
        emit Locked(address(busd_), msg.sender, _actualAmount, recipient);
    }

    /**
     * @dev lock tokens for an user address to be minted on harmony chain
     * @param amount amount of tokens to lock
     * @param recipient recipient address on the harmony chain
     */
    function lockTokenFor(
        address userAddr,
        uint256 amount,
        address recipient
    ) public onlyWallet {
        require(
            recipient != address(0),
            "EthManager/recipient is a zero address"
        );
        require(amount > 0, "EthManager/zero token locked");
        uint256 _balanceBefore = busd_.balanceOf(userAddr);
        require(
            busd_.transferFrom(userAddr, address(this), amount),
            "EthManager/lock failed"
        );
        uint256 _balanceAfter = busd_.balanceOf(userAddr);
        uint256 _actualAmount = _balanceBefore.sub(_balanceAfter);
        emit Locked(address(busd_), userAddr, _actualAmount, recipient);
    }

    /**
     * @dev unlock tokens after burning them on harmony chain
     * @param amount amount of unlock tokens
     * @param recipient recipient of the unlock tokens
     * @param receiptId transaction hash of the burn event on harmony chain
     */
    function unlockToken(
        uint256 amount,
        address recipient,
        bytes32 receiptId
    ) public onlyWallet {
        require(
            !usedEvents_[receiptId],
            "EthManager/The burn event cannot be reused"
        );
        usedEvents_[receiptId] = true;
        require(busd_.transfer(recipient, amount), "EthManager/unlock failed");
        emit Unlocked(address(busd_), amount, recipient, receiptId);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"contract IBUSD","name":"busd","type":"address"},{"internalType":"address","name":"_wallet","type":"address"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"token","type":"address"},{"indexed":true,"internalType":"address","name":"sender","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"address","name":"recipient","type":"address"}],"name":"Locked","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"internalType":"address","name":"ethToken","type":"address"},{"indexed":false,"internalType":"uint256","name":"amount","type":"uint256"},{"indexed":false,"internalType":"address","name":"recipient","type":"address"},{"indexed":false,"internalType":"bytes32","name":"receiptId","type":"bytes32"}],"name":"Unlocked","type":"event"},{"constant":true,"inputs":[],"name":"busd_","outputs":[{"internalType":"contract IBUSD","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"address","name":"recipient","type":"address"}],"name":"lockToken","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"userAddr","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"address","name":"recipient","type":"address"}],"name":"lockTokenFor","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"bytes32","name":"receiptId","type":"bytes32"}],"name":"unlockToken","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"bytes32","name":"","type":"bytes32"}],"name":"usedEvents_","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"wallet","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"}]

608060405234801561001057600080fd5b50604051610b53380380610b538339818101604052604081101561003357600080fd5b508051602090910151600080546001600160a01b039384166001600160a01b03199182161790915560028054939092169216919091179055610ad98061007a6000396000f3fe608060405234801561001057600080fd5b50600436106100625760003560e01c80634305a3b614610067578063521eb2731461008b5780635ed7411414610093578063713d9aca146100c7578063bccc9fcf146100fd578063cec1460b1461012e575b600080fd5b61006f61015a565b604080516001600160a01b039092168252519081900360200190f35b61006f610169565b6100c5600480360360608110156100a957600080fd5b508035906001600160a01b036020820135169060400135610178565b005b6100c5600480360360608110156100dd57600080fd5b506001600160a01b03813581169160208101359160409091013516610366565b61011a6004803603602081101561011357600080fd5b5035610694565b604080519115158252519081900360200190f35b6100c56004803603604081101561014457600080fd5b50803590602001356001600160a01b03166106a9565b6000546001600160a01b031681565b6002546001600160a01b031681565b6002546001600160a01b031633146101d3576040805162461bcd60e51b8152602060048201526019602482015278121b5e53585b9859d95c8bdb9bdd0b585d5d1a1bdc9a5e9959603a1b604482015290519081900360640190fd5b60008181526001602052604090205460ff16156102215760405162461bcd60e51b815260040180806020018281038252602a815260200180610a55602a913960400191505060405180910390fd5b6000818152600160208181526040808420805460ff19169093179092558254825163a9059cbb60e01b81526001600160a01b038781166004830152602482018990529351939091169363a9059cbb93604480840194939192918390030190829087803b15801561029057600080fd5b505af11580156102a4573d6000803e3d6000fd5b505050506040513d60208110156102ba57600080fd5b505161030d576040805162461bcd60e51b815260206004820152601860248201527f4574684d616e616765722f756e6c6f636b206661696c65640000000000000000604482015290519081900360640190fd5b600054604080516001600160a01b039283168152602081018690529184168282015260608201839052517fb24e65d2501e29a3ce014b0cc2283699c081ad27f10d64f036f96912b6f8943e9181900360800190a1505050565b6002546001600160a01b031633146103c1576040805162461bcd60e51b8152602060048201526019602482015278121b5e53585b9859d95c8bdb9bdd0b585d5d1a1bdc9a5e9959603a1b604482015290519081900360640190fd5b6001600160a01b0381166104065760405162461bcd60e51b8152600401808060200182810382526026815260200180610a7f6026913960400191505060405180910390fd5b6000821161045b576040805162461bcd60e51b815260206004820152601c60248201527f4574684d616e616765722f7a65726f20746f6b656e206c6f636b656400000000604482015290519081900360640190fd5b60008054604080516370a0823160e01b81526001600160a01b038781166004830152915191909216916370a0823191602480830192602092919082900301818787803b1580156104aa57600080fd5b505af11580156104be573d6000803e3d6000fd5b505050506040513d60208110156104d457600080fd5b505160008054604080516323b872dd60e01b81526001600160a01b0389811660048301523060248301526044820189905291519495509116926323b872dd92606480840193602093929083900390910190829087803b15801561053657600080fd5b505af115801561054a573d6000803e3d6000fd5b505050506040513d602081101561056057600080fd5b50516105ac576040805162461bcd60e51b8152602060048201526016602482015275115d1a13585b9859d95c8bdb1bd8dac819985a5b195960521b604482015290519081900360640190fd5b60008054604080516370a0823160e01b81526001600160a01b038881166004830152915191909216916370a0823191602480830192602092919082900301818787803b1580156105fb57600080fd5b505af115801561060f573d6000803e3d6000fd5b505050506040513d602081101561062557600080fd5b50519050600061063b838363ffffffff61097416565b600054604080518381526001600160a01b0388811660208301528251949550808b16949316927f4c6ab40ee4cfa212a441d32ee2897945b4a52461284f9369e23fdf8faa6cdd69929181900390910190a3505050505050565b60016020526000908152604090205460ff1681565b6001600160a01b0381166106ee5760405162461bcd60e51b8152600401808060200182810382526026815260200180610a7f6026913960400191505060405180910390fd5b60008211610743576040805162461bcd60e51b815260206004820152601c60248201527f4574684d616e616765722f7a65726f20746f6b656e206c6f636b656400000000604482015290519081900360640190fd5b60008054604080516370a0823160e01b815233600482015290516001600160a01b03909216916370a082319160248082019260209290919082900301818787803b15801561079057600080fd5b505af11580156107a4573d6000803e3d6000fd5b505050506040513d60208110156107ba57600080fd5b505160008054604080516323b872dd60e01b81523360048201523060248201526044810188905290519394506001600160a01b03909116926323b872dd92606480840193602093929083900390910190829087803b15801561081b57600080fd5b505af115801561082f573d6000803e3d6000fd5b505050506040513d602081101561084557600080fd5b5051610891576040805162461bcd60e51b8152602060048201526016602482015275115d1a13585b9859d95c8bdb1bd8dac819985a5b195960521b604482015290519081900360640190fd5b60008054604080516370a0823160e01b815233600482015290516001600160a01b03909216916370a082319160248082019260209290919082900301818787803b1580156108de57600080fd5b505af11580156108f2573d6000803e3d6000fd5b505050506040513d602081101561090857600080fd5b50519050600061091e838363ffffffff61097416565b600054604080518381526001600160a01b038881166020830152825194955033949316927f4c6ab40ee4cfa212a441d32ee2897945b4a52461284f9369e23fdf8faa6cdd69929181900390910190a35050505050565b60006109b683836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506109bd565b9392505050565b60008184841115610a4c5760405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b83811015610a115781810151838201526020016109f9565b50505050905090810190601f168015610a3e5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b50505090039056fe4574684d616e616765722f546865206275726e206576656e742063616e6e6f74206265207265757365644574684d616e616765722f726563697069656e742069732061207a65726f2061646472657373a265627a7a72315820e430232cf4b59c88d6c457c149ee2b330909c2e7d7ce2a45958d873e6f154dbe64736f6c634300051100320000000000000000000000004fabb145d64652a948d72533023f6e7a623c7c53000000000000000000000000715cdda5e9ad30a0ced14940f9997ee611496de6

0x608060405234801561001057600080fd5b50600436106100625760003560e01c80634305a3b614610067578063521eb2731461008b5780635ed7411414610093578063713d9aca146100c7578063bccc9fcf146100fd578063cec1460b1461012e575b600080fd5b61006f61015a565b604080516001600160a01b039092168252519081900360200190f35b61006f610169565b6100c5600480360360608110156100a957600080fd5b508035906001600160a01b036020820135169060400135610178565b005b6100c5600480360360608110156100dd57600080fd5b506001600160a01b03813581169160208101359160409091013516610366565b61011a6004803603602081101561011357600080fd5b5035610694565b604080519115158252519081900360200190f35b6100c56004803603604081101561014457600080fd5b50803590602001356001600160a01b03166106a9565b6000546001600160a01b031681565b6002546001600160a01b031681565b6002546001600160a01b031633146101d3576040805162461bcd60e51b8152602060048201526019602482015278121b5e53585b9859d95c8bdb9bdd0b585d5d1a1bdc9a5e9959603a1b604482015290519081900360640190fd5b60008181526001602052604090205460ff16156102215760405162461bcd60e51b815260040180806020018281038252602a815260200180610a55602a913960400191505060405180910390fd5b6000818152600160208181526040808420805460ff19169093179092558254825163a9059cbb60e01b81526001600160a01b038781166004830152602482018990529351939091169363a9059cbb93604480840194939192918390030190829087803b15801561029057600080fd5b505af11580156102a4573d6000803e3d6000fd5b505050506040513d60208110156102ba57600080fd5b505161030d576040805162461bcd60e51b815260206004820152601860248201527f4574684d616e616765722f756e6c6f636b206661696c65640000000000000000604482015290519081900360640190fd5b600054604080516001600160a01b039283168152602081018690529184168282015260608201839052517fb24e65d2501e29a3ce014b0cc2283699c081ad27f10d64f036f96912b6f8943e9181900360800190a1505050565b6002546001600160a01b031633146103c1576040805162461bcd60e51b8152602060048201526019602482015278121b5e53585b9859d95c8bdb9bdd0b585d5d1a1bdc9a5e9959603a1b604482015290519081900360640190fd5b6001600160a01b0381166104065760405162461bcd60e51b8152600401808060200182810382526026815260200180610a7f6026913960400191505060405180910390fd5b6000821161045b576040805162461bcd60e51b815260206004820152601c60248201527f4574684d616e616765722f7a65726f20746f6b656e206c6f636b656400000000604482015290519081900360640190fd5b60008054604080516370a0823160e01b81526001600160a01b038781166004830152915191909216916370a0823191602480830192602092919082900301818787803b1580156104aa57600080fd5b505af11580156104be573d6000803e3d6000fd5b505050506040513d60208110156104d457600080fd5b505160008054604080516323b872dd60e01b81526001600160a01b0389811660048301523060248301526044820189905291519495509116926323b872dd92606480840193602093929083900390910190829087803b15801561053657600080fd5b505af115801561054a573d6000803e3d6000fd5b505050506040513d602081101561056057600080fd5b50516105ac576040805162461bcd60e51b8152602060048201526016602482015275115d1a13585b9859d95c8bdb1bd8dac819985a5b195960521b604482015290519081900360640190fd5b60008054604080516370a0823160e01b81526001600160a01b038881166004830152915191909216916370a0823191602480830192602092919082900301818787803b1580156105fb57600080fd5b505af115801561060f573d6000803e3d6000fd5b505050506040513d602081101561062557600080fd5b50519050600061063b838363ffffffff61097416565b600054604080518381526001600160a01b0388811660208301528251949550808b16949316927f4c6ab40ee4cfa212a441d32ee2897945b4a52461284f9369e23fdf8faa6cdd69929181900390910190a3505050505050565b60016020526000908152604090205460ff1681565b6001600160a01b0381166106ee5760405162461bcd60e51b8152600401808060200182810382526026815260200180610a7f6026913960400191505060405180910390fd5b60008211610743576040805162461bcd60e51b815260206004820152601c60248201527f4574684d616e616765722f7a65726f20746f6b656e206c6f636b656400000000604482015290519081900360640190fd5b60008054604080516370a0823160e01b815233600482015290516001600160a01b03909216916370a082319160248082019260209290919082900301818787803b15801561079057600080fd5b505af11580156107a4573d6000803e3d6000fd5b505050506040513d60208110156107ba57600080fd5b505160008054604080516323b872dd60e01b81523360048201523060248201526044810188905290519394506001600160a01b03909116926323b872dd92606480840193602093929083900390910190829087803b15801561081b57600080fd5b505af115801561082f573d6000803e3d6000fd5b505050506040513d602081101561084557600080fd5b5051610891576040805162461bcd60e51b8152602060048201526016602482015275115d1a13585b9859d95c8bdb1bd8dac819985a5b195960521b604482015290519081900360640190fd5b60008054604080516370a0823160e01b815233600482015290516001600160a01b03909216916370a082319160248082019260209290919082900301818787803b1580156108de57600080fd5b505af11580156108f2573d6000803e3d6000fd5b505050506040513d602081101561090857600080fd5b50519050600061091e838363ffffffff61097416565b600054604080518381526001600160a01b038881166020830152825194955033949316927f4c6ab40ee4cfa212a441d32ee2897945b4a52461284f9369e23fdf8faa6cdd69929181900390910190a35050505050565b60006109b683836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f7700008152506109bd565b9392505050565b60008184841115610a4c5760405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b83811015610a115781810151838201526020016109f9565b50505050905090810190601f168015610a3e5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b50505090039056fe4574684d616e616765722f546865206275726e206576656e742063616e6e6f74206265207265757365644574684d616e616765722f726563697069656e742069732061207a65726f2061646472657373a265627a7a72315820e430232cf4b59c88d6c457c149ee2b330909c2e7d7ce2a45958d873e6f154dbe64736f6c63430005110032

0000000000000000000000004fabb145d64652a948d72533023f6e7a623c7c53000000000000000000000000715cdda5e9ad30a0ced14940f9997ee611496de6

-----Decoded View---------------
Arg [0] : busd (address): 0x4Fabb145d64652a948d72533023f6E7A623C7C53
Arg [1] : _wallet (address): 0x715CdDa5e9Ad30A0cEd14940F9997EE611496De6

-----Encoded View---------------
2 Constructor Arguments found :
Arg [0] : 0000000000000000000000004fabb145d64652a948d72533023f6e7a623c7c53
Arg [1] : 000000000000000000000000715cdda5e9ad30a0ced14940f9997ee611496de6

6071:3335:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6071:3335:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6137:18;;;:::i;:::-;;;;-1:-1:-1;;;;;6137:18:0;;;;;;;;;;;;;;6500:21;;;:::i;8951:452::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;8951:452:0;;;-1:-1:-1;;;;;8951:452:0;;;;;;;;;;:::i;:::-;;7967:716;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;7967:716:0;;;;;;;;;;;;;;;;;:::i;6164:43::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;6164:43:0;;:::i;:::-;;;;;;;;;;;;;;;;;;7097:658;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7097:658:0;;;;;;-1:-1:-1;;;;;7097:658:0;;:::i;6137:18::-;;;-1:-1:-1;;;;;6137:18:0;;:::o;6500:21::-;;;-1:-1:-1;;;;;6500:21:0;;:::o;8951:452::-;6581:6;;-1:-1:-1;;;;;6581:6:0;6567:10;:20;6559:58;;;;;-1:-1:-1;;;6559:58:0;;;;;;;;;;;;-1:-1:-1;;;6559:58:0;;;;;;;;;;;;;;;9112:22;;;;:11;:22;;;;;;;;9111:23;9089:115;;;;-1:-1:-1;;;9089:115:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9215:22;;;;9240:4;9215:22;;;;;;;;:29;;-1:-1:-1;;9215:29:0;;;;;;;9263:5;;:33;;-1:-1:-1;;;9263:33:0;;-1:-1:-1;;;;;9263:33:0;;;;;;;;;;;;;;;:5;;;;;:14;;:33;;;;;9215:22;9263:33;;;;;;;;;;:5;:33;;;5:2:-1;;;;30:1;27;20:12;5:2;9263:33:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;9263:33:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;9263:33:0;9255:70;;;;;-1:-1:-1;;;9255:70:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;9358:5;;9341:54;;;-1:-1:-1;;;;;9358:5:0;;;9341:54;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8951:452;;;:::o;7967:716::-;6581:6;;-1:-1:-1;;;;;6581:6:0;6567:10;:20;6559:58;;;;;-1:-1:-1;;;6559:58:0;;;;;;;;;;;;-1:-1:-1;;;6559:58:0;;;;;;;;;;;;;;;-1:-1:-1;;;;;8127:23:0;;8105:111;;;;-1:-1:-1;;;8105:111:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8244:1;8235:6;:10;8227:51;;;;;-1:-1:-1;;;8227:51:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;8289:22;8314:5;;:25;;;-1:-1:-1;;;8314:25:0;;-1:-1:-1;;;;;8314:25:0;;;;;;;;;:5;;;;;:15;;:25;;;;;;;;;;;;;;8289:22;8314:5;:25;;;5:2:-1;;;;30:1;27;20:12;5:2;8314:25:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8314:25:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;8314:25:0;8372:5;;;:51;;;-1:-1:-1;;;8372:51:0;;-1:-1:-1;;;;;8372:51:0;;;;;;;8409:4;8372:51;;;;;;;;;;;;8314:25;;-1:-1:-1;8372:5:0;;;:18;;:51;;;;;8314:25;;8372:51;;;;;;;;;;;:5;:51;;;5:2:-1;;;;30:1;27;20:12;5:2;8372:51:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8372:51:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;8372:51:0;8350:123;;;;;-1:-1:-1;;;8350:123:0;;;;;;;;;;;;-1:-1:-1;;;8350:123:0;;;;;;;;;;;;;;;8484:21;8508:5;;:25;;;-1:-1:-1;;;8508:25:0;;-1:-1:-1;;;;;8508:25:0;;;;;;;;;:5;;;;;:15;;:25;;;;;;;;;;;;;;8484:21;8508:5;:25;;;5:2:-1;;;;30:1;27;20:12;5:2;8508:25:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8508:25:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;8508:25:0;;-1:-1:-1;8544:21:0;8568:33;:14;8508:25;8568:33;:18;:33;:::i;:::-;8632:5;;8617:58;;;;;;-1:-1:-1;;;;;8617:58:0;;;;;;;;;8544:57;;-1:-1:-1;8617:58:0;;;;8632:5;;;8617:58;;;;;;;;;;;6628:1;;;7967:716;;;:::o;6164:43::-;;;;;;;;;;;;;;;:::o;7097:658::-;-1:-1:-1;;;;;7191:23:0;;7169:111;;;;-1:-1:-1;;;7169:111:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7308:1;7299:6;:10;7291:51;;;;;-1:-1:-1;;;7291:51:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;7353:22;7378:5;;:27;;;-1:-1:-1;;;7378:27:0;;7394:10;7378:27;;;;;;-1:-1:-1;;;;;7378:5:0;;;;:15;;:27;;;;;;;;;;;;;;;7353:22;7378:5;:27;;;5:2:-1;;;;30:1;27;20:12;5:2;7378:27:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7378:27:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7378:27:0;7438:5;;;:53;;;-1:-1:-1;;;7438:53:0;;7457:10;7438:53;;;;7477:4;7438:53;;;;;;;;;;;;7378:27;;-1:-1:-1;;;;;;7438:5:0;;;;:18;;:53;;;;;7378:27;;7438:53;;;;;;;;;;;:5;:53;;;5:2:-1;;;;30:1;27;20:12;5:2;7438:53:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7438:53:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7438:53:0;7416:125;;;;;-1:-1:-1;;;7416:125:0;;;;;;;;;;;;-1:-1:-1;;;7416:125:0;;;;;;;;;;;;;;;7552:21;7576:5;;:27;;;-1:-1:-1;;;7576:27:0;;7592:10;7576:27;;;;;;-1:-1:-1;;;;;7576:5:0;;;;:15;;:27;;;;;;;;;;;;;;;7552:21;7576:5;:27;;;5:2:-1;;;;30:1;27;20:12;5:2;7576:27:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7576:27:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7576:27:0;;-1:-1:-1;7614:21:0;7638:33;:14;7576:27;7638:33;:18;:33;:::i;:::-;7702:5;;7687:60;;;;;;-1:-1:-1;;;;;7687:60:0;;;;;;;;;7614:57;;-1:-1:-1;7710:10:0;;7702:5;;;7687:60;;;;;;;;;;;7097:658;;;;;:::o;1853:136::-;1911:7;1938:43;1942:1;1945;1938:43;;;;;;;;;;;;;;;;;:3;:43::i;:::-;1931:50;1853:136;-1:-1:-1;;;1853:136:0:o;2326:192::-;2412:7;2448:12;2440:6;;;;2432:29;;;;-1:-1:-1;;;2432:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;2432:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;2484:5:0;;;2326:192::o

bzzr://e430232cf4b59c88d6c457c149ee2b330909c2e7d7ce2a45958d873e6f154dbe