Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function mod(uint256 a, uint256 b)
•  contract ERC20 is IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
•    - function increaseAllowance(address sp ...
•    - function decreaseAllowance(address sp ...
•    - function _transfer(address sender, ad ...
•    - function _mint(address account, uint2 ...
•    - function _burn(address owner, uint256 ...
•    - function _approve(address owner, addr ...
•    - function _burnFrom(address owner, uin ...
•  contract DIVILAND is ERC20 *
•    - function transferOwnership(address _n ...
•    - function _transferOwnership(address _ ...
•    - function transfer(
•    - function transferFrom(
•    - function burn(uint256 _value)
•    - function balanceOf(address _holder)
•    - function releaseLock(address _holder)
•    - function lockCount(address _holder)
•    - function lockState(address _holder, u ...
•    - function lock(address _holder, uint25 ...
•    - function unlock(address _holder, uint ...
•    - function transferWithLock(address _to ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2022-05-03
*/

// ----------------------------------------------------------------------------
// DIVI LAND Contract
// Name        : DIVI LAND
// Symbol      : DVLD
// Decimals    : 18
// InitialSupply : 2,000,000,000 DVLD
// ----------------------------------------------------------------------------

pragma solidity 0.5.8;

interface IERC20 {

    function totalSupply() external view returns (uint256);

    function balanceOf(address account) external view returns (uint256);

    function transfer(address recipient, uint256 amount) external returns (bool);

    function allowance(address owner, address spender) external view returns (uint256);

    function approve(address spender, uint256 amount) external returns (bool);

    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);

    event Transfer(address indexed from, address indexed to, uint256 value);

    event Approval(address indexed owner, address indexed spender, uint256 value);
}

library SafeMath {

    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");

        return c;
    }

    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b <= a, "SafeMath: subtraction overflow");
        uint256 c = a - b;

        return c;
    }

    function mul(uint256 a, uint256 b) internal pure returns (uint256) {

        if (a == 0) {
            return 0;
        }

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

        return c;
    }

    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b > 0, "SafeMath: division by zero");
        uint256 c = a / b;

        return c;
    }

    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b != 0, "SafeMath: modulo by zero");
        return a % b;
    }
}

contract ERC20 is IERC20 {
    using SafeMath for uint256;

    mapping (address => uint256) internal _balances;

    mapping (address => mapping (address => uint256)) private _allowances;

    uint256 private _totalSupply;

    function totalSupply() public view returns (uint256) {
        return _totalSupply;
    }

    function balanceOf(address account) public view returns (uint256) {
        return _balances[account];
    }

    function transfer(address recipient, uint256 amount) public returns (bool) {
        _transfer(msg.sender, recipient, amount);
        return true;
    }

    function allowance(address owner, address spender) public view returns (uint256) {
        return _allowances[owner][spender];
    }

    function approve(address spender, uint256 value) public returns (bool) {
        _approve(msg.sender, spender, value);
        return true;
    }

    function transferFrom(address sender, address recipient, uint256 amount) public returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, msg.sender, _allowances[sender][msg.sender].sub(amount));
        return true;
    }

    function increaseAllowance(address spender, uint256 addedValue) public returns (bool) {
        _approve(msg.sender, spender, _allowances[msg.sender][spender].add(addedValue));
        return true;
    }

    function decreaseAllowance(address spender, uint256 subtractedValue) public returns (bool) {
        _approve(msg.sender, spender, _allowances[msg.sender][spender].sub(subtractedValue));
        return true;
    }

    function _transfer(address sender, address recipient, uint256 amount) internal {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");

        _balances[sender] = _balances[sender].sub(amount);
        _balances[recipient] = _balances[recipient].add(amount);
        emit Transfer(sender, recipient, amount);
    }

    function _mint(address account, uint256 amount) internal {
        require(account != address(0), "ERC20: mint to the zero address");

        _totalSupply = _totalSupply.add(amount);
        _balances[account] = _balances[account].add(amount);
        emit Transfer(address(0), account, amount);
    }

    function _burn(address owner, uint256 value) internal {
        require(owner != address(0), "ERC20: burn from the zero address");

        _totalSupply = _totalSupply.sub(value);
        _balances[owner] = _balances[owner].sub(value);
        emit Transfer(owner, address(0), value);
    }

    function _approve(address owner, address spender, uint256 value) internal {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");

        _allowances[owner][spender] = value;
        emit Approval(owner, spender, value);
    }

    function _burnFrom(address owner, uint256 amount) internal {
        _burn(owner, amount);
        _approve(owner, msg.sender, _allowances[owner][msg.sender].sub(amount));
    }
}

contract DIVILAND is ERC20 {
    string public constant name = "DIVI LAND";
    string public constant symbol = "DVLD"; 
    uint8 public constant decimals = 18; 
    uint256 public constant initialSupply = 2000000000 * (10 ** uint256(decimals));
    
    constructor() public {
        super._mint(msg.sender, initialSupply);
        owner = msg.sender;
    }

    address public owner;

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

    modifier onlyOwner() {
        require(msg.sender == owner, "Not owner");
        _;
    }

    function transferOwnership(address _newOwner) public onlyOwner {
        _transferOwnership(_newOwner);
    }

    function _transferOwnership(address _newOwner) internal {
        require(_newOwner != address(0), "Already Owner");
        emit OwnershipTransferred(owner, _newOwner);
        owner = _newOwner;
    }

    function transfer(
        address _to,
        uint256 _value
    )
      public

      returns (bool)
    {
        releaseLock(msg.sender);
        return super.transfer(_to, _value);
    }

    function transferFrom(
        address _from,
        address _to,
        uint256 _value
    )
      public

      returns (bool)
    {
        releaseLock(_from);
        return super.transferFrom(_from, _to, _value);
    }

    event Burn(address indexed burner, uint256 value);

    function burn(uint256 _value) public onlyOwner {
        require(_value <= super.balanceOf(owner), "Balance is too small.");

        _burn(owner, _value);
        emit Burn(owner, _value);
    }

    struct LockInfo {
        uint256 releaseTime;
        uint256 balance;
    }
    mapping(address => LockInfo[]) internal lockInfo;

    event Lock(address indexed holder, uint256 value, uint256 releaseTime);
    event Unlock(address indexed holder, uint256 value);

    function balanceOf(address _holder) public view returns (uint256 balance) {
        uint256 lockedBalance = 0;
        for(uint256 i = 0; i < lockInfo[_holder].length ; i++ ) {
            lockedBalance = lockedBalance.add(lockInfo[_holder][i].balance);
        }
        return super.balanceOf(_holder).add(lockedBalance);
    }

    function releaseLock(address _holder) internal {

        for(uint256 i = 0; i < lockInfo[_holder].length ; i++ ) {
            if (lockInfo[_holder][i].releaseTime <= now) {
                _balances[_holder] = _balances[_holder].add(lockInfo[_holder][i].balance);
                emit Unlock(_holder, lockInfo[_holder][i].balance);
                lockInfo[_holder][i].balance = 0;

                if (i != lockInfo[_holder].length - 1) {
                    lockInfo[_holder][i] = lockInfo[_holder][lockInfo[_holder].length - 1];
                    i--;
                }
                lockInfo[_holder].length--;

            }
        }
    }
    function lockCount(address _holder) public view returns (uint256) {
        return lockInfo[_holder].length;
    }
    function lockState(address _holder, uint256 _idx) public view returns (uint256, uint256) {
        return (lockInfo[_holder][_idx].releaseTime, lockInfo[_holder][_idx].balance);
    }

    function lock(address _holder, uint256 _amount, uint256 _releaseTime) public onlyOwner {
        require(super.balanceOf(_holder) >= _amount, "Balance is too small.");
        require(block.timestamp <= _releaseTime, "TokenTimelock: release time is before current time");
        
        _balances[_holder] = _balances[_holder].sub(_amount);
        lockInfo[_holder].push(
            LockInfo(_releaseTime, _amount)
        );
        emit Lock(_holder, _amount, _releaseTime);
    }

    function unlock(address _holder, uint256 i) public onlyOwner {
        require(i < lockInfo[_holder].length, "No lock information.");

        _balances[_holder] = _balances[_holder].add(lockInfo[_holder][i].balance);
        emit Unlock(_holder, lockInfo[_holder][i].balance);
        lockInfo[_holder][i].balance = 0;

        if (i != lockInfo[_holder].length - 1) {
            lockInfo[_holder][i] = lockInfo[_holder][lockInfo[_holder].length - 1];
        }
        lockInfo[_holder].length--;
    }

    function transferWithLock(address _to, uint256 _value, uint256 _releaseTime) public onlyOwner returns (bool) {
        require(_to != address(0), "wrong address");
        require(_value <= super.balanceOf(owner), "Not enough balance");
        require(block.timestamp <= _releaseTime, "TokenTimelock: release time is before current time");

        _balances[owner] = _balances[owner].sub(_value);
        lockInfo[_to].push(
            LockInfo(_releaseTime, _value)
        );
        emit Transfer(owner, _to, _value);
        emit Lock(_to, _value, _releaseTime);

        return true;
    }
    
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"value","type":"uint256"}],"name":"approve","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_from","type":"address"},{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"initialSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_value","type":"uint256"}],"name":"burn","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_holder","type":"address"},{"name":"_idx","type":"uint256"}],"name":"lockState","outputs":[{"name":"","type":"uint256"},{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"_holder","type":"address"}],"name":"balanceOf","outputs":[{"name":"balance","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_holder","type":"address"},{"name":"i","type":"uint256"}],"name":"unlock","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"owner","type":"address"},{"name":"spender","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_value","type":"uint256"},{"name":"_releaseTime","type":"uint256"}],"name":"transferWithLock","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_holder","type":"address"}],"name":"lockCount","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_holder","type":"address"},{"name":"_amount","type":"uint256"},{"name":"_releaseTime","type":"uint256"}],"name":"lock","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"name":"previousOwner","type":"address"}],"name":"OwnershipRenounced","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"previousOwner","type":"address"},{"indexed":true,"name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"burner","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Burn","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"holder","type":"address"},{"indexed":false,"name":"value","type":"uint256"},{"indexed":false,"name":"releaseTime","type":"uint256"}],"name":"Lock","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"holder","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Unlock","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"owner","type":"address"},{"indexed":true,"name":"spender","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Approval","type":"event"}]

60806040523480156200001157600080fd5b5062000036336b06765c793fa10079d00000006200004e602090811b620016be17901c565b600380546001600160a01b03191633179055620001e5565b6001600160a01b038216620000c457604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015290519081900360640190fd5b620000e0816002546200016960201b620012d71790919060201c565b6002556001600160a01b0382166000908152602081815260409091205462000113918390620012d762000169821b17901c565b6001600160a01b0383166000818152602081815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b600082820183811015620001de57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b9392505050565b6118cc80620001f56000396000f3fe608060405234801561001057600080fd5b506004361061012c5760003560e01c80637eee288d116100ad578063dd62ed3e11610071578063dd62ed3e146103ca578063de6baccb146103f8578063df0345861461042a578063e2ab691d14610450578063f2fde38b146104825761012c565b80637eee288d1461031a5780638da5cb5b1461034657806395d89b411461036a578063a457c2d714610372578063a9059cbb1461039e5761012c565b8063378dc3dc116100f4578063378dc3dc1461025c578063395093511461026457806342966c681461029057806346cf1bb5146102af57806370a08231146102f45761012c565b806306fdde0314610131578063095ea7b3146101ae57806318160ddd146101ee57806323b872dd14610208578063313ce5671461023e575b600080fd5b6101396104a8565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561017357818101518382015260200161015b565b50505050905090810190601f1680156101a05780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101da600480360360408110156101c457600080fd5b506001600160a01b0381351690602001356104d0565b604080519115158252519081900360200190f35b6101f66104e6565b60408051918252519081900360200190f35b6101da6004803603606081101561021e57600080fd5b506001600160a01b038135811691602081013590911690604001356104ed565b61024661050b565b6040805160ff9092168252519081900360200190f35b6101f6610510565b6101da6004803603604081101561027a57600080fd5b506001600160a01b038135169060200135610520565b6102ad600480360360208110156102a657600080fd5b5035610561565b005b6102db600480360360408110156102c557600080fd5b506001600160a01b038135169060200135610679565b6040805192835260208301919091528051918290030190f35b6101f66004803603602081101561030a57600080fd5b50356001600160a01b03166106f2565b6102ad6004803603604081101561033057600080fd5b506001600160a01b03813516906020013561078c565b61034e610a3a565b604080516001600160a01b039092168252519081900360200190f35b610139610a49565b6101da6004803603604081101561038857600080fd5b506001600160a01b038135169060200135610a6c565b6101da600480360360408110156103b457600080fd5b506001600160a01b038135169060200135610aa8565b6101f6600480360360408110156103e057600080fd5b506001600160a01b0381358116916020013516610abd565b6101da6004803603606081101561040e57600080fd5b506001600160a01b038135169060208101359060400135610ae8565b6101f66004803603602081101561044057600080fd5b50356001600160a01b0316610d47565b6102ad6004803603606081101561046657600080fd5b506001600160a01b038135169060208101359060400135610d62565b6102ad6004803603602081101561049857600080fd5b50356001600160a01b0316610f13565b604051806040016040528060098152602001600160ba1b681112559248131053910281525081565b60006104dd338484610f70565b50600192915050565b6002545b90565b60006104f884611062565b610503848484611285565b949350505050565b601281565b6b06765c793fa10079d000000081565b3360008181526001602090815260408083206001600160a01b038716845290915281205490916104dd91859061055c908663ffffffff6112d716565b610f70565b6003546001600160a01b031633146105b25760408051600160e51b62461bcd0281526020600482015260096024820152600160b91b682737ba1037bbb732b902604482015290519081900360640190fd5b6003546105c7906001600160a01b0316611334565b81111561061e5760408051600160e51b62461bcd02815260206004820152601560248201527f42616c616e636520697320746f6f20736d616c6c2e0000000000000000000000604482015290519081900360640190fd5b600354610634906001600160a01b03168261134f565b6003546040805183815290516001600160a01b03909216917fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca59181900360200190a250565b6001600160a01b03821660009081526004602052604081208054829190849081106106a057fe5b600091825260208083206002909202909101546001600160a01b0387168352600490915260409091208054859081106106d557fe5b906000526020600020906002020160010154915091509250929050565b600080805b6001600160a01b03841660009081526004602052604090205481101561076b576001600160a01b0384166000908152600460205260409020805461076191908390811061074057fe5b906000526020600020906002020160010154836112d790919063ffffffff16565b91506001016106f7565b506107858161077985611334565b9063ffffffff6112d716565b9392505050565b6003546001600160a01b031633146107dd5760408051600160e51b62461bcd0281526020600482015260096024820152600160b91b682737ba1037bbb732b902604482015290519081900360640190fd5b6001600160a01b038216600090815260046020526040902054811061084c5760408051600160e51b62461bcd02815260206004820152601460248201527f4e6f206c6f636b20696e666f726d6174696f6e2e000000000000000000000000604482015290519081900360640190fd5b6001600160a01b038216600090815260046020526040902080546108ae91908390811061087557fe5b60009182526020808320600160029093020191909101546001600160a01b0386168352908290526040909120549063ffffffff6112d716565b6001600160a01b03831660008181526020818152604080832094909455600490529190912080547f6381d9813cabeb57471b5a7e05078e64845ccdb563146a6911d536f24ce960f191908490811061090257fe5b9060005260206000209060020201600101546040518082815260200191505060405180910390a26001600160a01b038216600090815260046020526040812080548390811061094d57fe5b60009182526020808320600160029093020191909101929092556001600160a01b038416815260049091526040902054600019018114610a0c576001600160a01b0382166000908152600460205260409020805460001981019081106109af57fe5b906000526020600020906002020160046000846001600160a01b03166001600160a01b0316815260200190815260200160002082815481106109ed57fe5b6000918252602090912082546002909202019081556001918201549101555b6001600160a01b0382166000908152600460205260409020805490610a35906000198301611676565b505050565b6003546001600160a01b031681565b604051806040016040528060048152602001600160e21b63111593110281525081565b3360008181526001602090815260408083206001600160a01b038716845290915281205490916104dd91859061055c908663ffffffff61141916565b6000610ab333611062565b6107858383611479565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b6003546000906001600160a01b03163314610b3c5760408051600160e51b62461bcd0281526020600482015260096024820152600160b91b682737ba1037bbb732b902604482015290519081900360640190fd5b6001600160a01b038416610b9a5760408051600160e51b62461bcd02815260206004820152600d60248201527f77726f6e67206164647265737300000000000000000000000000000000000000604482015290519081900360640190fd5b600354610baf906001600160a01b0316611334565b831115610c065760408051600160e51b62461bcd02815260206004820152601260248201527f4e6f7420656e6f7567682062616c616e63650000000000000000000000000000604482015290519081900360640190fd5b81421115610c4857604051600160e51b62461bcd02815260040180806020018281038252603281526020018061186f6032913960400191505060405180910390fd5b6003546001600160a01b0316600090815260208190526040902054610c73908463ffffffff61141916565b600380546001600160a01b039081166000908152602081815260408083209590955588831680835260048252858320865180880188528981528084018b815282546001818101855593875295859020915160029096029091019485555193019290925592548451888152945191949216926000805160206117e5833981519152928290030190a3604080518481526020810184905281516001600160a01b038716927f49eaf4942f1237055eb4cfa5f31c9dfe50d5b4ade01e021f7de8be2fbbde557b928290030190a25060019392505050565b6001600160a01b031660009081526004602052604090205490565b6003546001600160a01b03163314610db35760408051600160e51b62461bcd0281526020600482015260096024820152600160b91b682737ba1037bbb732b902604482015290519081900360640190fd5b81610dbd84611334565b1015610e135760408051600160e51b62461bcd02815260206004820152601560248201527f42616c616e636520697320746f6f20736d616c6c2e0000000000000000000000604482015290519081900360640190fd5b80421115610e5557604051600160e51b62461bcd02815260040180806020018281038252603281526020018061186f6032913960400191505060405180910390fd5b6001600160a01b038316600090815260208190526040902054610e7e908363ffffffff61141916565b6001600160a01b0384166000818152602081815260408083209490945560048152838220845180860186528681528083018881528254600181810185559386529484902091516002909502909101938455519201919091558251858152908101849052825191927f49eaf4942f1237055eb4cfa5f31c9dfe50d5b4ade01e021f7de8be2fbbde557b92918290030190a2505050565b6003546001600160a01b03163314610f645760408051600160e51b62461bcd0281526020600482015260096024820152600160b91b682737ba1037bbb732b902604482015290519081900360640190fd5b610f6d81611486565b50565b6001600160a01b038316610fb857604051600160e51b62461bcd02815260040180806020018281038252602481526020018061184b6024913960400191505060405180910390fd5b6001600160a01b03821661100057604051600160e51b62461bcd0281526004018080602001828103825260228152602001806117c36022913960400191505060405180910390fd5b6001600160a01b03808416600081815260016020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b60005b6001600160a01b038216600090815260046020526040902054811015611281576001600160a01b03821660009081526004602052604090208054429190839081106110ac57fe5b90600052602060002090600202016000015411611279576001600160a01b038216600090815260046020526040902080546110ec91908390811061087557fe5b6001600160a01b03831660008181526020818152604080832094909455600490529190912080547f6381d9813cabeb57471b5a7e05078e64845ccdb563146a6911d536f24ce960f191908490811061114057fe5b9060005260206000209060020201600101546040518082815260200191505060405180910390a26001600160a01b038216600090815260046020526040812080548390811061118b57fe5b60009182526020808320600160029093020191909101929092556001600160a01b03841681526004909152604090205460001901811461124e576001600160a01b0382166000908152600460205260409020805460001981019081106111ed57fe5b906000526020600020906002020160046000846001600160a01b03166001600160a01b03168152602001908152602001600020828154811061122b57fe5b600091825260209091208254600290920201908155600191820154910155600019015b6001600160a01b0382166000908152600460205260409020805490611277906000198301611676565b505b600101611065565b5050565b6000611292848484611540565b6001600160a01b0384166000908152600160209081526040808320338085529252909120546112cd91869161055c908663ffffffff61141916565b5060019392505050565b6000828201838110156107855760408051600160e51b62461bcd02815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b6001600160a01b031660009081526020819052604090205490565b6001600160a01b03821661139757604051600160e51b62461bcd0281526004018080602001828103825260218152602001806118056021913960400191505060405180910390fd5b6002546113aa908263ffffffff61141916565b6002556001600160a01b0382166000908152602081905260409020546113d6908263ffffffff61141916565b6001600160a01b038316600081815260208181526040808320949094558351858152935191936000805160206117e5833981519152929081900390910190a35050565b6000828211156114735760408051600160e51b62461bcd02815260206004820152601e60248201527f536166654d6174683a207375627472616374696f6e206f766572666c6f770000604482015290519081900360640190fd5b50900390565b60006104dd338484611540565b6001600160a01b0381166114e45760408051600160e51b62461bcd02815260206004820152600d60248201527f416c7265616479204f776e657200000000000000000000000000000000000000604482015290519081900360640190fd5b6003546040516001600160a01b038084169216907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a3600380546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b03831661158857604051600160e51b62461bcd0281526004018080602001828103825260258152602001806118266025913960400191505060405180910390fd5b6001600160a01b0382166115d057604051600160e51b62461bcd0281526004018080602001828103825260238152602001806117a06023913960400191505060405180910390fd5b6001600160a01b0383166000908152602081905260409020546115f9908263ffffffff61141916565b6001600160a01b03808516600090815260208190526040808220939093559084168152205461162e908263ffffffff6112d716565b6001600160a01b038084166000818152602081815260409182902094909455805185815290519193928716926000805160206117e583398151915292918290030190a3505050565b815481835581811115610a3557600083815260209020610a35916104ea9160029182028101918502015b808211156116ba57600080825560018201556002016116a0565b5090565b6001600160a01b03821661171c5760408051600160e51b62461bcd02815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015290519081900360640190fd5b60025461172f908263ffffffff6112d716565b6002556001600160a01b03821660009081526020819052604090205461175b908263ffffffff6112d716565b6001600160a01b0383166000818152602081815260408083209490945583518581529351929391926000805160206117e58339815191529281900390910190a3505056fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f2061646472657373ddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef45524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f2061646472657373546f6b656e54696d656c6f636b3a2072656c656173652074696d65206973206265666f72652063757272656e742074696d65a165627a7a7230582074159c0b20a8b32383d24ebd0eb10ceada6ce6a05cba204861fdb0717a07f18e0029

0x608060405234801561001057600080fd5b506004361061012c5760003560e01c80637eee288d116100ad578063dd62ed3e11610071578063dd62ed3e146103ca578063de6baccb146103f8578063df0345861461042a578063e2ab691d14610450578063f2fde38b146104825761012c565b80637eee288d1461031a5780638da5cb5b1461034657806395d89b411461036a578063a457c2d714610372578063a9059cbb1461039e5761012c565b8063378dc3dc116100f4578063378dc3dc1461025c578063395093511461026457806342966c681461029057806346cf1bb5146102af57806370a08231146102f45761012c565b806306fdde0314610131578063095ea7b3146101ae57806318160ddd146101ee57806323b872dd14610208578063313ce5671461023e575b600080fd5b6101396104a8565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561017357818101518382015260200161015b565b50505050905090810190601f1680156101a05780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101da600480360360408110156101c457600080fd5b506001600160a01b0381351690602001356104d0565b604080519115158252519081900360200190f35b6101f66104e6565b60408051918252519081900360200190f35b6101da6004803603606081101561021e57600080fd5b506001600160a01b038135811691602081013590911690604001356104ed565b61024661050b565b6040805160ff9092168252519081900360200190f35b6101f6610510565b6101da6004803603604081101561027a57600080fd5b506001600160a01b038135169060200135610520565b6102ad600480360360208110156102a657600080fd5b5035610561565b005b6102db600480360360408110156102c557600080fd5b506001600160a01b038135169060200135610679565b6040805192835260208301919091528051918290030190f35b6101f66004803603602081101561030a57600080fd5b50356001600160a01b03166106f2565b6102ad6004803603604081101561033057600080fd5b506001600160a01b03813516906020013561078c565b61034e610a3a565b604080516001600160a01b039092168252519081900360200190f35b610139610a49565b6101da6004803603604081101561038857600080fd5b506001600160a01b038135169060200135610a6c565b6101da600480360360408110156103b457600080fd5b506001600160a01b038135169060200135610aa8565b6101f6600480360360408110156103e057600080fd5b506001600160a01b0381358116916020013516610abd565b6101da6004803603606081101561040e57600080fd5b506001600160a01b038135169060208101359060400135610ae8565b6101f66004803603602081101561044057600080fd5b50356001600160a01b0316610d47565b6102ad6004803603606081101561046657600080fd5b506001600160a01b038135169060208101359060400135610d62565b6102ad6004803603602081101561049857600080fd5b50356001600160a01b0316610f13565b604051806040016040528060098152602001600160ba1b681112559248131053910281525081565b60006104dd338484610f70565b50600192915050565b6002545b90565b60006104f884611062565b610503848484611285565b949350505050565b601281565b6b06765c793fa10079d000000081565b3360008181526001602090815260408083206001600160a01b038716845290915281205490916104dd91859061055c908663ffffffff6112d716565b610f70565b6003546001600160a01b031633146105b25760408051600160e51b62461bcd0281526020600482015260096024820152600160b91b682737ba1037bbb732b902604482015290519081900360640190fd5b6003546105c7906001600160a01b0316611334565b81111561061e5760408051600160e51b62461bcd02815260206004820152601560248201527f42616c616e636520697320746f6f20736d616c6c2e0000000000000000000000604482015290519081900360640190fd5b600354610634906001600160a01b03168261134f565b6003546040805183815290516001600160a01b03909216917fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca59181900360200190a250565b6001600160a01b03821660009081526004602052604081208054829190849081106106a057fe5b600091825260208083206002909202909101546001600160a01b0387168352600490915260409091208054859081106106d557fe5b906000526020600020906002020160010154915091509250929050565b600080805b6001600160a01b03841660009081526004602052604090205481101561076b576001600160a01b0384166000908152600460205260409020805461076191908390811061074057fe5b906000526020600020906002020160010154836112d790919063ffffffff16565b91506001016106f7565b506107858161077985611334565b9063ffffffff6112d716565b9392505050565b6003546001600160a01b031633146107dd5760408051600160e51b62461bcd0281526020600482015260096024820152600160b91b682737ba1037bbb732b902604482015290519081900360640190fd5b6001600160a01b038216600090815260046020526040902054811061084c5760408051600160e51b62461bcd02815260206004820152601460248201527f4e6f206c6f636b20696e666f726d6174696f6e2e000000000000000000000000604482015290519081900360640190fd5b6001600160a01b038216600090815260046020526040902080546108ae91908390811061087557fe5b60009182526020808320600160029093020191909101546001600160a01b0386168352908290526040909120549063ffffffff6112d716565b6001600160a01b03831660008181526020818152604080832094909455600490529190912080547f6381d9813cabeb57471b5a7e05078e64845ccdb563146a6911d536f24ce960f191908490811061090257fe5b9060005260206000209060020201600101546040518082815260200191505060405180910390a26001600160a01b038216600090815260046020526040812080548390811061094d57fe5b60009182526020808320600160029093020191909101929092556001600160a01b038416815260049091526040902054600019018114610a0c576001600160a01b0382166000908152600460205260409020805460001981019081106109af57fe5b906000526020600020906002020160046000846001600160a01b03166001600160a01b0316815260200190815260200160002082815481106109ed57fe5b6000918252602090912082546002909202019081556001918201549101555b6001600160a01b0382166000908152600460205260409020805490610a35906000198301611676565b505050565b6003546001600160a01b031681565b604051806040016040528060048152602001600160e21b63111593110281525081565b3360008181526001602090815260408083206001600160a01b038716845290915281205490916104dd91859061055c908663ffffffff61141916565b6000610ab333611062565b6107858383611479565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b6003546000906001600160a01b03163314610b3c5760408051600160e51b62461bcd0281526020600482015260096024820152600160b91b682737ba1037bbb732b902604482015290519081900360640190fd5b6001600160a01b038416610b9a5760408051600160e51b62461bcd02815260206004820152600d60248201527f77726f6e67206164647265737300000000000000000000000000000000000000604482015290519081900360640190fd5b600354610baf906001600160a01b0316611334565b831115610c065760408051600160e51b62461bcd02815260206004820152601260248201527f4e6f7420656e6f7567682062616c616e63650000000000000000000000000000604482015290519081900360640190fd5b81421115610c4857604051600160e51b62461bcd02815260040180806020018281038252603281526020018061186f6032913960400191505060405180910390fd5b6003546001600160a01b0316600090815260208190526040902054610c73908463ffffffff61141916565b600380546001600160a01b039081166000908152602081815260408083209590955588831680835260048252858320865180880188528981528084018b815282546001818101855593875295859020915160029096029091019485555193019290925592548451888152945191949216926000805160206117e5833981519152928290030190a3604080518481526020810184905281516001600160a01b038716927f49eaf4942f1237055eb4cfa5f31c9dfe50d5b4ade01e021f7de8be2fbbde557b928290030190a25060019392505050565b6001600160a01b031660009081526004602052604090205490565b6003546001600160a01b03163314610db35760408051600160e51b62461bcd0281526020600482015260096024820152600160b91b682737ba1037bbb732b902604482015290519081900360640190fd5b81610dbd84611334565b1015610e135760408051600160e51b62461bcd02815260206004820152601560248201527f42616c616e636520697320746f6f20736d616c6c2e0000000000000000000000604482015290519081900360640190fd5b80421115610e5557604051600160e51b62461bcd02815260040180806020018281038252603281526020018061186f6032913960400191505060405180910390fd5b6001600160a01b038316600090815260208190526040902054610e7e908363ffffffff61141916565b6001600160a01b0384166000818152602081815260408083209490945560048152838220845180860186528681528083018881528254600181810185559386529484902091516002909502909101938455519201919091558251858152908101849052825191927f49eaf4942f1237055eb4cfa5f31c9dfe50d5b4ade01e021f7de8be2fbbde557b92918290030190a2505050565b6003546001600160a01b03163314610f645760408051600160e51b62461bcd0281526020600482015260096024820152600160b91b682737ba1037bbb732b902604482015290519081900360640190fd5b610f6d81611486565b50565b6001600160a01b038316610fb857604051600160e51b62461bcd02815260040180806020018281038252602481526020018061184b6024913960400191505060405180910390fd5b6001600160a01b03821661100057604051600160e51b62461bcd0281526004018080602001828103825260228152602001806117c36022913960400191505060405180910390fd5b6001600160a01b03808416600081815260016020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b60005b6001600160a01b038216600090815260046020526040902054811015611281576001600160a01b03821660009081526004602052604090208054429190839081106110ac57fe5b90600052602060002090600202016000015411611279576001600160a01b038216600090815260046020526040902080546110ec91908390811061087557fe5b6001600160a01b03831660008181526020818152604080832094909455600490529190912080547f6381d9813cabeb57471b5a7e05078e64845ccdb563146a6911d536f24ce960f191908490811061114057fe5b9060005260206000209060020201600101546040518082815260200191505060405180910390a26001600160a01b038216600090815260046020526040812080548390811061118b57fe5b60009182526020808320600160029093020191909101929092556001600160a01b03841681526004909152604090205460001901811461124e576001600160a01b0382166000908152600460205260409020805460001981019081106111ed57fe5b906000526020600020906002020160046000846001600160a01b03166001600160a01b03168152602001908152602001600020828154811061122b57fe5b600091825260209091208254600290920201908155600191820154910155600019015b6001600160a01b0382166000908152600460205260409020805490611277906000198301611676565b505b600101611065565b5050565b6000611292848484611540565b6001600160a01b0384166000908152600160209081526040808320338085529252909120546112cd91869161055c908663ffffffff61141916565b5060019392505050565b6000828201838110156107855760408051600160e51b62461bcd02815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b6001600160a01b031660009081526020819052604090205490565b6001600160a01b03821661139757604051600160e51b62461bcd0281526004018080602001828103825260218152602001806118056021913960400191505060405180910390fd5b6002546113aa908263ffffffff61141916565b6002556001600160a01b0382166000908152602081905260409020546113d6908263ffffffff61141916565b6001600160a01b038316600081815260208181526040808320949094558351858152935191936000805160206117e5833981519152929081900390910190a35050565b6000828211156114735760408051600160e51b62461bcd02815260206004820152601e60248201527f536166654d6174683a207375627472616374696f6e206f766572666c6f770000604482015290519081900360640190fd5b50900390565b60006104dd338484611540565b6001600160a01b0381166114e45760408051600160e51b62461bcd02815260206004820152600d60248201527f416c7265616479204f776e657200000000000000000000000000000000000000604482015290519081900360640190fd5b6003546040516001600160a01b038084169216907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a3600380546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b03831661158857604051600160e51b62461bcd0281526004018080602001828103825260258152602001806118266025913960400191505060405180910390fd5b6001600160a01b0382166115d057604051600160e51b62461bcd0281526004018080602001828103825260238152602001806117a06023913960400191505060405180910390fd5b6001600160a01b0383166000908152602081905260409020546115f9908263ffffffff61141916565b6001600160a01b03808516600090815260208190526040808220939093559084168152205461162e908263ffffffff6112d716565b6001600160a01b038084166000818152602081815260409182902094909455805185815290519193928716926000805160206117e583398151915292918290030190a3505050565b815481835581811115610a3557600083815260209020610a35916104ea9160029182028101918502015b808211156116ba57600080825560018201556002016116a0565b5090565b6001600160a01b03821661171c5760408051600160e51b62461bcd02815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015290519081900360640190fd5b60025461172f908263ffffffff6112d716565b6002556001600160a01b03821660009081526020819052604090205461175b908263ffffffff6112d716565b6001600160a01b0383166000818152602081815260408083209490945583518581529351929391926000805160206117e58339815191529281900390910190a3505056fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f2061646472657373ddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef45524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f2061646472657373546f6b656e54696d656c6f636b3a2072656c656173652074696d65206973206265666f72652063757272656e742074696d65a165627a7a7230582074159c0b20a8b32383d24ebd0eb10ceada6ce6a05cba204861fdb0717a07f18e0029

5236:4988:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5236:4988:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5270:41;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;5270:41:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2791:148;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2791:148:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;2268:91;;;:::i;:::-;;;;;;;;;;;;;;;;6457:236;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;6457:236:0;;;;;;;;;;;;;;;;;:::i;5364:35::-;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5407:78;;;:::i;3211:206::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3211:206:0;;;;;;;;:::i;6759:200::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;6759:200:0;;:::i;:::-;;8385:185;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;8385:185:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;7247:335;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7247:335:0;-1:-1:-1;;;;;7247:335:0;;:::i;9081:516::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;9081:516:0;;;;;;;;:::i;5613:20::-;;;:::i;:::-;;;;-1:-1:-1;;;;;5613:20:0;;;;;;;;;;;;;;5318:38;;;:::i;3425:216::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3425:216:0;;;;;;;;:::i;6247:202::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;6247:202:0;;;;;;;;:::i;2649:134::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2649:134:0;;;;;;;;;;:::i;9605:610::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;9605:610:0;;;;;;;;;;;;;:::i;8263:116::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;8263:116:0;-1:-1:-1;;;;;8263:116:0;;:::i;8578:495::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;8578:495:0;;;;;;;;;;;;;:::i;5914:111::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5914:111:0;-1:-1:-1;;;;;5914:111:0;;:::i;5270:41::-;;;;;;;;;;;;;;-1:-1:-1;;;;;5270:41:0;;;;:::o;2791:148::-;2856:4;2873:36;2882:10;2894:7;2903:5;2873:8;:36::i;:::-;-1:-1:-1;2927:4:0;2791:148;;;;:::o;2268:91::-;2339:12;;2268:91;;:::o;6457:236::-;6589:4;6611:18;6623:5;6611:11;:18::i;:::-;6647:38;6666:5;6673:3;6678:6;6647:18;:38::i;:::-;6640:45;6457:236;-1:-1:-1;;;;6457:236:0:o;5364:35::-;5397:2;5364:35;:::o;5407:78::-;5447:38;5407:78;:::o;3211:206::-;3317:10;3291:4;3338:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;3338:32:0;;;;;;;;;;3291:4;;3308:79;;3329:7;;3338:48;;3375:10;3338:48;:36;:48;:::i;:::-;3308:8;:79::i;6759:200::-;5867:5;;-1:-1:-1;;;;;5867:5:0;5853:10;:19;5845:41;;;;;-1:-1:-1;;;;;5845:41:0;;;;;;;;;;;;-1:-1:-1;;;;;5845:41:0;;;;;;;;;;;;;;;6851:5;;6835:22;;-1:-1:-1;;;;;6851:5:0;6835:15;:22::i;:::-;6825:6;:32;;6817:66;;;;;-1:-1:-1;;;;;6817:66:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;6902:5;;6896:20;;-1:-1:-1;;;;;6902:5:0;6909:6;6896:5;:20::i;:::-;6937:5;;6932:19;;;;;;;;-1:-1:-1;;;;;6937:5:0;;;;6932:19;;;;;;;;;6759:200;:::o;8385:185::-;-1:-1:-1;;;;;8493:17:0;;8456:7;8493:17;;;:8;:17;;;;;:23;;8456:7;;8493:17;8511:4;;8493:23;;;;;;;;;;;;;;;;;;;;;:35;-1:-1:-1;;;;;8530:17:0;;;;:8;:17;;;;;;;:23;;8548:4;;8530:23;;;;;;;;;;;;;;;;:31;;;8485:77;;;;8385:185;;;;;:::o;7247:335::-;7304:15;;;7368:146;-1:-1:-1;;;;;7391:17:0;;;;;;:8;:17;;;;;:24;7387:28;;7368:146;;;-1:-1:-1;;;;;7473:17:0;;;;;;:8;:17;;;;;:20;;7455:47;;7473:17;7491:1;;7473:20;;;;;;;;;;;;;;;;:28;;;7455:13;:17;;:47;;;;:::i;:::-;7439:63;-1:-1:-1;7418:3:0;;7368:146;;;;7531:43;7560:13;7531:24;7547:7;7531:15;:24::i;:::-;:28;:43;:28;:43;:::i;:::-;7524:50;7247:335;-1:-1:-1;;;7247:335:0:o;9081:516::-;5867:5;;-1:-1:-1;;;;;5867:5:0;5853:10;:19;5845:41;;;;;-1:-1:-1;;;;;5845:41:0;;;;;;;;;;;;-1:-1:-1;;;;;5845:41:0;;;;;;;;;;;;;;;-1:-1:-1;;;;;9165:17:0;;;;;;:8;:17;;;;;:24;9161:28;;9153:61;;;;;-1:-1:-1;;;;;9153:61:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;9271:17:0;;;;;;:8;:17;;;;;:20;;9248:52;;9271:17;9289:1;;9271:20;;;;;;;;;;;;;;:28;:20;;;;;:28;;;;;-1:-1:-1;;;;;9248:18:0;;;;;;;;;;;;;;:52;:22;:52;:::i;:::-;-1:-1:-1;;;;;9227:18:0;;:9;:18;;;;;;;;;;;:73;;;;9332:8;:17;;;;;;:20;;9316:45;;9332:17;9350:1;;9332:20;;;;;;;;;;;;;;;;:28;;;9316:45;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;9372:17:0;;9403:1;9372:17;;;:8;:17;;;;;:20;;9390:1;;9372:20;;;;;;;;;;;;;;:28;:20;;;;;:28;;;;:32;;;;-1:-1:-1;;;;;9426:17:0;;;;:8;:17;;;;;;:24;-1:-1:-1;;9426:28:0;9421:33;;9417:136;;-1:-1:-1;;;;;9494:17:0;;;;;;:8;:17;;;;;9512:24;;-1:-1:-1;;9512:28:0;;;9494:47;;;;;;;;;;;;;;;;9471:8;:17;9480:7;-1:-1:-1;;;;;9471:17:0;-1:-1:-1;;;;;9471:17:0;;;;;;;;;;;;9489:1;9471:20;;;;;;;;;;;;;;;;:70;;:20;;;;;:70;;;;;;;;;;;9417:136;-1:-1:-1;;;;;9563:17:0;;;;;;:8;:17;;;;;:26;;;;;-1:-1:-1;;9563:26:0;;;:::i;:::-;;9081:516;;:::o;5613:20::-;;;-1:-1:-1;;;;;5613:20:0;;:::o;5318:38::-;;;;;;;;;;;;;;-1:-1:-1;;;;;5318:38:0;;;;:::o;3425:216::-;3536:10;3510:4;3557:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;3557:32:0;;;;;;;;;;3510:4;;3527:84;;3548:7;;3557:53;;3594:15;3557:53;:36;:53;:::i;6247:202::-;6351:4;6373:23;6385:10;6373:11;:23::i;:::-;6414:27;6429:3;6434:6;6414:14;:27::i;2649:134::-;-1:-1:-1;;;;;2748:18:0;;;2721:7;2748:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;2649:134::o;9605:610::-;5867:5;;9708:4;;-1:-1:-1;;;;;5867:5:0;5853:10;:19;5845:41;;;;;-1:-1:-1;;;;;5845:41:0;;;;;;;;;;;;-1:-1:-1;;;;;5845:41:0;;;;;;;;;;;;;;;-1:-1:-1;;;;;9733:17:0;;9725:43;;;;;-1:-1:-1;;;;;9725:43:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;9813:5;;9797:22;;-1:-1:-1;;;;;9813:5:0;9797:15;:22::i;:::-;9787:6;:32;;9779:63;;;;;-1:-1:-1;;;;;9779:63:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;9880:12;9861:15;:31;;9853:94;;;;-1:-1:-1;;;;;9853:94:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9989:5;;-1:-1:-1;;;;;9989:5:0;9979:9;:16;;;;;;;;;;;:28;;10000:6;9979:28;:20;:28;:::i;:::-;9970:5;;;-1:-1:-1;;;;;9970:5:0;;;9960:9;:16;;;;;;;;;;;:47;;;;10018:13;;;;;;:8;:13;;;;;10051:30;;;;;;;;;;;;;;;;27:10:-1;;9970:5:0;23:18:-1;;;45:23;;10018:74:0;;;;;;;;;;;;;;;;;;;;;;;;;;10117:5;;10108:28;;;;;;;10018:13;;10117:5;;;-1:-1:-1;;;;;;;;;;;10108:28:0;;;;;;;10152:31;;;;;;;;;;;;;;-1:-1:-1;;;;;10152:31:0;;;;;;;;;;;-1:-1:-1;10203:4:0;9605:610;;;;;:::o;8263:116::-;-1:-1:-1;;;;;8347:17:0;8320:7;8347:17;;;:8;:17;;;;;:24;;8263:116::o;8578:495::-;5867:5;;-1:-1:-1;;;;;5867:5:0;5853:10;:19;5845:41;;;;;-1:-1:-1;;;;;5845:41:0;;;;;;;;;;;;-1:-1:-1;;;;;5845:41:0;;;;;;;;;;;;;;;8712:7;8684:24;8700:7;8684:15;:24::i;:::-;:35;;8676:69;;;;;-1:-1:-1;;;;;8676:69:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;8783:12;8764:15;:31;;8756:94;;;;-1:-1:-1;;;;;8756:94:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;8892:18:0;;:9;:18;;;;;;;;;;;:31;;8915:7;8892:31;:22;:31;:::i;:::-;-1:-1:-1;;;;;8871:18:0;;:9;:18;;;;;;;;;;;:52;;;;8934:8;:17;;;;;8971:31;;;;;;;;;;;;;;;;27:10:-1;;39:1;23:18;;;45:23;;8934:79:0;;;;;;;;;;;;;;;;;;;;;;;;;;9029:36;;;;;;;;;;;;;8871:18;;9029:36;;;;;;;;;8578:495;;;:::o;5914:111::-;5867:5;;-1:-1:-1;;;;;5867:5:0;5853:10;:19;5845:41;;;;;-1:-1:-1;;;;;5845:41:0;;;;;;;;;;;;-1:-1:-1;;;;;5845:41:0;;;;;;;;;;;;;;;5988:29;6007:9;5988:18;:29::i;:::-;5914:111;:::o;4706:335::-;-1:-1:-1;;;;;4799:19:0;;4791:68;;;;-1:-1:-1;;;;;4791:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;4878:21:0;;4870:68;;;;-1:-1:-1;;;;;4870:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;4951:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:35;;;5002:31;;;;;;;;;;;;;;;;;4706:335;;;:::o;7590:667::-;7654:9;7650:600;-1:-1:-1;;;;;7673:17:0;;;;;;:8;:17;;;;;:24;7669:28;;7650:600;;;-1:-1:-1;;;;;7725:17:0;;;;;;:8;:17;;;;;:20;;7761:3;;7725:17;7743:1;;7725:20;;;;;;;;;;;;;;;;:32;;;:39;7721:518;;-1:-1:-1;;;;;7829:17:0;;;;;;:8;:17;;;;;:20;;7806:52;;7829:17;7847:1;;7829:20;;;;;7806:52;-1:-1:-1;;;;;7785:18:0;;:9;:18;;;;;;;;;;;:73;;;;7898:8;:17;;;;;;:20;;7882:45;;7898:17;7916:1;;7898:20;;;;;;;;;;;;;;;;:28;;;7882:45;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7946:17:0;;7977:1;7946:17;;;:8;:17;;;;;:20;;7964:1;;7946:20;;;;;;;;;;;;;;:28;:20;;;;;:28;;;;:32;;;;-1:-1:-1;;;;;8008:17:0;;;;:8;:17;;;;;;:24;-1:-1:-1;;8008:28:0;8003:33;;7999:178;;-1:-1:-1;;;;;8084:17:0;;;;;;:8;:17;;;;;8102:24;;-1:-1:-1;;8102:28:0;;;8084:47;;;;;;;;;;;;;;;;8061:8;:17;8070:7;-1:-1:-1;;;;;8061:17:0;-1:-1:-1;;;;;8061:17:0;;;;;;;;;;;;8079:1;8061:20;;;;;;;;;;;;;;;;:70;;:20;;;;;:70;;;;;;;;;;;-1:-1:-1;;8154:3:0;7999:178;-1:-1:-1;;;;;8195:17:0;;;;;;:8;:17;;;;;:26;;;;;-1:-1:-1;;8195:26:0;;;:::i;:::-;;7721:518;7700:3;;7650:600;;;;7590:667;:::o;2947:256::-;3036:4;3053:36;3063:6;3071:9;3082:6;3053:9;:36::i;:::-;-1:-1:-1;;;;;3129:19:0;;;;;;:11;:19;;;;;;;;3117:10;3129:31;;;;;;;;;3100:73;;3109:6;;3129:43;;3165:6;3129:43;:35;:43;:::i;3100:73::-;-1:-1:-1;3191:4:0;2947:256;;;;;:::o;1043:181::-;1101:7;1133:5;;;1157:6;;;;1149:46;;;;;-1:-1:-1;;;;;1149:46:0;;;;;;;;;;;;;;;;;;;;;;;;;;;2367:110;-1:-1:-1;;;;;2451:18:0;2424:7;2451:18;;;;;;;;;;;;2367:110::o;4402:296::-;-1:-1:-1;;;;;4475:19:0;;4467:65;;;;-1:-1:-1;;;;;4467:65:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4560:12;;:23;;4577:5;4560:23;:16;:23;:::i;:::-;4545:12;:38;-1:-1:-1;;;;;4613:16:0;;:9;:16;;;;;;;;;;;:27;;4634:5;4613:27;:20;:27;:::i;:::-;-1:-1:-1;;;;;4594:16:0;;:9;:16;;;;;;;;;;;:46;;;;4656:34;;;;;;;4594:9;;-1:-1:-1;;;;;;;;;;;4656:34:0;;;;;;;;;;4402:296;;:::o;1232:184::-;1290:7;1323:1;1318;:6;;1310:49;;;;;-1:-1:-1;;;;;1310:49:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;1382:5:0;;;1232:184::o;2485:156::-;2554:4;2571:40;2581:10;2593:9;2604:6;2571:9;:40::i;6033:206::-;-1:-1:-1;;;;;6108:23:0;;6100:49;;;;;-1:-1:-1;;;;;6100:49:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;6186:5;;6165:38;;-1:-1:-1;;;;;6165:38:0;;;;6186:5;;6165:38;;6186:5;;6165:38;6214:5;:17;;-1:-1:-1;;;;;;6214:17:0;-1:-1:-1;;;;;6214:17:0;;;;;;;;;;6033:206::o;3649:429::-;-1:-1:-1;;;;;3747:20:0;;3739:70;;;;-1:-1:-1;;;;;3739:70:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;3828:23:0;;3820:71;;;;-1:-1:-1;;;;;3820:71:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;3924:17:0;;:9;:17;;;;;;;;;;;:29;;3946:6;3924:29;:21;:29;:::i;:::-;-1:-1:-1;;;;;3904:17:0;;;:9;:17;;;;;;;;;;;:49;;;;3987:20;;;;;;;:32;;4012:6;3987:32;:24;:32;:::i;:::-;-1:-1:-1;;;;;3964:20:0;;;:9;:20;;;;;;;;;;;;:55;;;;4035:35;;;;;;;3964:20;;4035:35;;;;-1:-1:-1;;;;;;;;;;;4035:35:0;;;;;;;;3649:429;;;:::o;5236:4988::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4086:308;-1:-1:-1;;;;;4162:21:0;;4154:65;;;;;-1:-1:-1;;;;;4154:65:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;4247:12;;:24;;4264:6;4247:24;:16;:24;:::i;:::-;4232:12;:39;-1:-1:-1;;;;;4303:18:0;;:9;:18;;;;;;;;;;;:30;;4326:6;4303:30;:22;:30;:::i;:::-;-1:-1:-1;;;;;4282:18:0;;:9;:18;;;;;;;;;;;:51;;;;4349:37;;;;;;;4282:18;;:9;;-1:-1:-1;;;;;;;;;;;4349:37:0;;;;;;;;;4086:308;;:::o

bzzr://74159c0b20a8b32383d24ebd0eb10ceada6ce6a05cba204861fdb0717a07f18e