Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

library SafeMath    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function add(uint256 a, uint256 b)    - function mod(uint256 a, uint256 b)  contract Validity *    - function toggleStake()    - function setIdentity(bytes32 _identit ...    - function name()    - function symbol()    - function decimals()    - function maxSupply()    - function totalSupply()    - function isVoted(bytes32 _id)    - function isActive(address _account)    - function isStaking(address _account)    - function balanceOf(address _owner)    - function validityId(address _account)    - function getIdentity(bytes32 _id)    - function getAddress(bytes32 _id)    - function viability(bytes32 _id)    - function totalEvents(bytes32 _id)    - function totalVotes(bytes32 _id)    - function positiveVotes(bytes32 _id)    - function negativeVotes(bytes32 _id)    - function neutralVotes(bytes32 _id)    - function allowance(address _owner, ad ...    - function transfer(address _to, uint _ ...    - function approve(address _spender, ui ...    - function transferFrom(address _from, ...    - function increaseAllowance(address _s ...    - function decreaseAllowance(address _s ...    - function _transfer(address _from, add ...    - function _approve(address _owner, add ...    - function _mint(address _account, uint ...    - function validationReward(bytes32 _id ...    - function validationEvent(bytes32 _id, ...    - function validationGeneration(address ...    - function increaseViability(bytes32 _i ...    - function decreaseViability(bytes32 _i ...    - function conformIdentity()    - function adminControl(address _entity ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-08-14
*/

pragma solidity ^0.5.8;

library SafeMath {

    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        if (a == 0) { return 0; }
        uint256 c = a * b;
        require(c / a == b);
        return c;
    }

    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b > 0);
        uint256 c = a / b;
        return c;
    }

    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b <= a);
        uint256 c = a - b;
        return c;
    }

    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a);
        return c;
    }

    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b != 0);
        return a % b;
    }

}

contract Validity {

    // Author ::: Samuel JJ Gosling
    // Usage ::: Governance
    // Entity ::: Validity

    using SafeMath for uint;

    bytes32 constant POS = 0x506f736974697665000000000000000000000000000000000000000000000000;
    bytes32 constant NEU = 0x4e65757472616c00000000000000000000000000000000000000000000000000;
    bytes32 constant NEG = 0x4e65676174697665000000000000000000000000000000000000000000000000;

    struct userObject {
        bytes32 _validationIdentifier;
        bool _validationStatus;
        bool _stakingStatus;
    }

    struct delegateObject {
        address _delegateAddress;
        bytes32 _delegateIdentity;
        bytes32 _viabilityLimit;
        bytes32 _viabilityRank;
        bytes32 _positiveVotes;
        bytes32 _negativeVotes;
        bytes32 _neutralVotes;
        bytes32 _totalEvents;
        bytes32 _totalVotes;
        bool _votingStatus;
    }

    mapping (address => mapping (address => uint)) private _allowed;
    mapping (address => uint) private _balances;

    mapping (bytes32 => delegateObject) private validationData;
    mapping (address => userObject) private validationUser;

    address private _founder = msg.sender;
    address private _admin = address(0x0);

    uint private _totalSupply;
    uint private _maxSupply;
    uint private _decimals;

    string private _name;
    string private _symbol;

    modifier _viabilityLimit(bytes32 _id) {
        require(uint(validationData[_id]._viabilityLimit) <= block.number);
        _;
    }

    modifier _stakeCheck(address _from, address _to) {
        require(!isStaking(_from) && !isStaking(_to));
        _;
    }

    modifier _onlyAdmin() {
        require(msg.sender == _admin);
        _;
    }

    modifier _onlyFounder() {
        require(msg.sender == _founder);
        _;
    }

    constructor() public {
        //  Max supply (100%) ::: 50,600,000,000 VLDY
        //  Genesis supply (92.5%) ::: 46,805,000,000 VLDY
        //  Validation supply (7.5%) ::: 3,795,000,000 VLDY
        uint genesis = uint(46805000000).mul(10**uint(18));
        _maxSupply = uint(50600000000).mul(10**uint(18));
        _mint(_founder, genesis);
        _name = "Validity";
        _symbol = "VLDY";
        _decimals = 18;
    }

    function toggleStake() public {
        require(!isVoted(validityId(msg.sender)));
        require(isActive(msg.sender));

        bool currentState = validationUser[msg.sender]._stakingStatus;
        validationUser[msg.sender]._stakingStatus = !currentState;
        emit Stake(msg.sender);
    }

    function setIdentity(bytes32 _identity) public {
        require(isActive(msg.sender));

        validationData[validityId(msg.sender)]._delegateIdentity = _identity;
    }

    function name() public view returns (string memory) {
        return _name;
    }

    function symbol() public view returns (string memory) {
        return _symbol;
    }

    function decimals() public view returns (uint) {
        return _decimals;
    }

    function maxSupply() public view returns (uint) {
        return _maxSupply;
    }

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

    function isVoted(bytes32 _id) public view returns (bool) {
        return validationData[_id]._votingStatus;
    }

    function isActive(address _account) public view returns (bool) {
        return validationUser[_account]._validationStatus;
    }

    function isStaking(address _account) public view returns (bool) {
        return validationUser[_account]._stakingStatus;
    }

    function balanceOf(address _owner) public view returns (uint) {
        return _balances[_owner];
    }

    function validityId(address _account) public view returns (bytes32) {
        return validationUser[_account]._validationIdentifier;
    }

    function getIdentity(bytes32 _id) public view returns (bytes32) {
        return validationData[_id]._delegateIdentity;
    }

    function getAddress(bytes32 _id) public view returns (address) {
        return validationData[_id]._delegateAddress;
    }

    function viability(bytes32 _id) public view returns (uint) {
        return uint(validationData[_id]._viabilityRank);
    }

    function totalEvents(bytes32 _id) public view returns (uint) {
        return uint(validationData[_id]._totalEvents);
    }

    function totalVotes(bytes32 _id) public view returns (uint) {
        return uint(validationData[_id]._totalVotes);
    }

    function positiveVotes(bytes32 _id) public view returns (uint) {
        return uint(validationData[_id]._positiveVotes);
    }

    function negativeVotes(bytes32 _id) public view returns (uint) {
        return uint(validationData[_id]._negativeVotes);
    }

    function neutralVotes(bytes32 _id) public view returns (uint) {
        return uint(validationData[_id]._neutralVotes);
    }

    function allowance(address _owner, address _spender) public view returns (uint) {
        return _allowed[_owner][_spender];
    }

    function transfer(address _to, uint _value) public returns (bool) {
        _transfer(msg.sender, _to, _value);
        return true;
    }

    function approve(address _spender, uint _value) public returns (bool) {
        _approve(msg.sender, _spender, _value);
        return true;
    }

    function transferFrom(address _from, address _to, uint _value) public returns (bool) {
        _approve(_from, msg.sender, _allowed[_from][msg.sender].sub(_value));
        _transfer(_from, _to, _value);
        return true;
    }

    function increaseAllowance(address _spender, uint _addedValue) public returns (bool) {
        _approve(msg.sender, _spender, _allowed[msg.sender][_spender].add(_addedValue));
        return true;
    }

    function decreaseAllowance(address _spender, uint _subtractedValue) public returns (bool) {
        _approve(msg.sender, _spender, _allowed[msg.sender][_spender].sub(_subtractedValue));
        return true;
    }

    function _transfer(address _from, address _to, uint _value) internal _stakeCheck(_from, _to) {
        require(_from != address(0x0));
        require(_to != address(0x0));

        _balances[_from] = _balances[_from].sub(_value);
        _balances[_to] = _balances[_to].add(_value);
        emit Transfer(_from, _to, _value);
    }

    function _approve(address _owner, address _spender, uint _value) internal {
        require(_spender != address(0x0));
        require(_owner != address(0x0));

        _allowed[_owner][_spender] = _value;
        emit Approval(_owner, _spender, _value);
    }

    function _mint(address _account, uint _value) private {
        require(_totalSupply.add(_value) <= _maxSupply);
        require(_account != address(0x0));

        _totalSupply = _totalSupply.add(_value);
        _balances[_account] = _balances[_account].add(_value);
        emit Transfer(address(0x0), _account, _value);
    }

    function validationReward(bytes32 _id, address _account, uint _reward) public _onlyAdmin {
        require(isStaking(_account));
        require(isVoted(_id));

        validationUser[_account]._stakingStatus = false;
        validationData[_id]._votingStatus = false;
        _mint(_account, _reward);
        emit Reward(_id, _reward);
    }

    function validationEvent(bytes32 _id, bytes32 _subject, bytes32 _choice, uint _weight) public _onlyAdmin {
        require(_choice == POS || _choice == NEU || _choice == NEG);
        require(isStaking(getAddress(_id)));
        require(!isVoted(_id));

        validationData[_id]._votingStatus = true;
        delegateObject storage x = validationData[_id];
        if(_choice == POS) {
            x._positiveVotes = bytes32(positiveVotes(_id).add(_weight));
        } else if(_choice == NEU) {
            x._neutralVotes = bytes32(neutralVotes(_id).add(_weight));
        } else if(_choice == NEG) {
            x._negativeVotes = bytes32(negativeVotes(_id).add(_weight));
        }
        x._totalVotes = bytes32(totalVotes(_id).add(_weight));
        x._totalEvents = bytes32(totalEvents(_id).add(1));
        emit Vote(_id, _subject, _choice, _weight);
    }

    function validationGeneration(address _account) internal view returns (bytes32) {
        bytes32 id = 0xffcc000000000000000000000000000000000000000000000000000000000000;
        assembly {
            let product := mul(or(_account, shl(0xa0, and(number, 0xffffffff))), 0x7dee20b84b88)
            id := or(id, xor(product, shl(0x78, and(product, 0xffffffffffffffffffffffffffffff))))
        }
        return id;
    }

    function increaseViability(bytes32 _id) public _onlyAdmin  _viabilityLimit(_id) {
        validationData[_id]._viabilityLimit = bytes32(block.number.add(1000));
        validationData[_id]._viabilityRank = bytes32(viability(_id).add(1));
        emit Trust(_id, POS);
    }

    function decreaseViability(bytes32 _id) public _onlyAdmin _viabilityLimit(_id) {
        validationData[_id]._viabilityLimit = bytes32(block.number.add(1000));
        validationData[_id]._viabilityRank = bytes32(viability(_id).sub(1));
        emit Trust(_id, NEG);
    }

    function conformIdentity() public {
        require(!isActive(msg.sender));

        bytes32 neophyteDelegate = validationGeneration(msg.sender);
        validationUser[msg.sender]._validationIdentifier = neophyteDelegate;
        validationData[neophyteDelegate]._delegateAddress = msg.sender;
        validationUser[msg.sender]._validationStatus = true;
        emit Neo(msg.sender, neophyteDelegate, block.number);
    }

    function adminControl(address _entity) public _onlyFounder {
        _admin = _entity;
    }

    event Approval(address indexed owner, address indexed spender, uint value);
    event Transfer(address indexed from, address indexed to, uint value);
    event Vote(bytes32 id, bytes32 subject, bytes32 choice, uint weight);
    event Neo(address indexed delegate, bytes32 id, uint block);
    event Trust(bytes32 id, bytes32 change);
    event Reward(bytes32 id, uint reward);
    event Stake(address indexed delegate);

}

• 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":"_id","type":"bytes32"}],"name":"isVoted","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_identity","type":"bytes32"}],"name":"setIdentity","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_id","type":"bytes32"}],"name":"getAddress","outputs":[{"name":"","type":"address"}],"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":false,"inputs":[],"name":"conformIdentity","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_entity","type":"address"}],"name":"adminControl","outputs":[],"payable":false,"stateMutability":"nonpayable","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":true,"inputs":[{"name":"_id","type":"bytes32"}],"name":"viability","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"_account","type":"address"}],"name":"validityId","outputs":[{"name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_id","type":"bytes32"},{"name":"_subject","type":"bytes32"},{"name":"_choice","type":"bytes32"},{"name":"_weight","type":"uint256"}],"name":"validationEvent","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_id","type":"bytes32"}],"name":"increaseViability","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_account","type":"address"}],"name":"isStaking","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"toggleStake","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"_id","type":"bytes32"}],"name":"positiveVotes","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"_id","type":"bytes32"}],"name":"totalEvents","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_id","type":"bytes32"}],"name":"decreaseViability","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"_account","type":"address"}],"name":"isActive","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_id","type":"bytes32"},{"name":"_account","type":"address"},{"name":"_reward","type":"uint256"}],"name":"validationReward","outputs":[],"payable":false,"stateMutability":"nonpayable","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":true,"inputs":[{"name":"_id","type":"bytes32"}],"name":"getIdentity","outputs":[{"name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","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":"_id","type":"bytes32"}],"name":"neutralVotes","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"_id","type":"bytes32"}],"name":"totalVotes","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"maxSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","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":true,"inputs":[{"name":"_id","type":"bytes32"}],"name":"negativeVotes","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"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"},{"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":false,"name":"id","type":"bytes32"},{"indexed":false,"name":"subject","type":"bytes32"},{"indexed":false,"name":"choice","type":"bytes32"},{"indexed":false,"name":"weight","type":"uint256"}],"name":"Vote","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"delegate","type":"address"},{"indexed":false,"name":"id","type":"bytes32"},{"indexed":false,"name":"block","type":"uint256"}],"name":"Neo","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"id","type":"bytes32"},{"indexed":false,"name":"change","type":"bytes32"}],"name":"Trust","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"id","type":"bytes32"},{"indexed":false,"name":"reward","type":"uint256"}],"name":"Reward","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"delegate","type":"address"}],"name":"Stake","type":"event"}]

6080604052600480546001600160a01b031990811633179091556005805490911690553480156200002f57600080fd5b506000620000556012600a0a640ae5cb9f406200013660201b620012611790919060201c565b90506200007a6012600a0a640bc7feba006200013660201b620012611790919060201c565b6007556004546200009c906001600160a01b0316826200016a602090811b901c565b6040805180820190915260088082527f56616c69646974790000000000000000000000000000000000000000000000006020909201918252620000e29160099162000265565b506040805180820190915260048082527f564c44590000000000000000000000000000000000000000000000000000000060209092019182526200012991600a9162000265565b505060126008556200030a565b600082620001475750600062000164565b828202828482816200015557fe5b04146200016157600080fd5b90505b92915050565b60075462000189826006546200025260201b6200117d1790919060201c565b11156200019557600080fd5b6001600160a01b038216620001a957600080fd5b620001c5816006546200025260201b6200117d1790919060201c565b6006556001600160a01b038216600090815260016020908152604090912054620001fa9183906200117d62000252821b17901c565b6001600160a01b03831660008181526001602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b6000828201838110156200016157600080fd5b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f10620002a857805160ff1916838001178555620002d8565b82800160010185558215620002d8579182015b82811115620002d8578251825591602001919060010190620002bb565b50620002e6929150620002ea565b5090565b6200030791905b80821115620002e65760008155600101620002f1565b90565b6112b4806200031a6000396000f3fe608060405234801561001057600080fd5b50600436106101f05760003560e01c80636fef43301161010f578063a457c2d7116100a2578063cc7d4d5311610071578063cc7d4d5314610605578063d5abeb0114610622578063dd62ed3e1461062a578063f71b6a2514610658576101f0565b8063a457c2d714610573578063a78672121461059f578063a9059cbb146105bc578063b51b9127146105e8576101f0565b8063927103ac116100de578063927103ac146104f657806395d89b41146105135780639f8a13d71461051b578063a16f189e14610541576101f0565b80636fef43301461048e57806370a0823114610496578063778e96c0146104bc5780637d7e938a146104d9576101f0565b8063313ce56711610187578063562c281111610156578063562c2811146103f65780636292f05f1461041c57806367cdd1fb1461044b5780636f49712b14610468576101f0565b8063313ce5671461037f57806333bf35771461038757806339509351146103ad57806340e01b55146103d9576101f0565b8063198bfb55116101c3578063198bfb55146102e957806321f8a7211461030857806323b872dd146103415780632f43fbe314610377576101f0565b806306fdde03146101f5578063095ea7b3146102725780631163fd2d146102b257806318160ddd146102cf575b600080fd5b6101fd610675565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561023757818101518382015260200161021f565b50505050905090810190601f1680156102645780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61029e6004803603604081101561028857600080fd5b506001600160a01b03813516906020013561070b565b604080519115158252519081900360200190f35b61029e600480360360208110156102c857600080fd5b5035610722565b6102d761073a565b60408051918252519081900360200190f35b610306600480360360208110156102ff57600080fd5b5035610740565b005b6103256004803603602081101561031e57600080fd5b5035610777565b604080516001600160a01b039092168252519081900360200190f35b61029e6004803603606081101561035757600080fd5b506001600160a01b03813581169160208101359091169060400135610792565b6103066107e4565b6102d761088b565b6103066004803603602081101561039d57600080fd5b50356001600160a01b0316610891565b61029e600480360360408110156103c357600080fd5b506001600160a01b0381351690602001356108ca565b6102d7600480360360208110156103ef57600080fd5b5035610904565b6102d76004803603602081101561040c57600080fd5b50356001600160a01b0316610919565b6103066004803603608081101561043257600080fd5b5080359060208101359060408101359060600135610934565b6103066004803603602081101561046157600080fd5b5035610adf565b61029e6004803603602081101561047e57600080fd5b50356001600160a01b0316610bae565b610306610bd4565b6102d7600480360360208110156104ac57600080fd5b50356001600160a01b0316610c5a565b6102d7600480360360208110156104d257600080fd5b5035610c75565b6102d7600480360360208110156104ef57600080fd5b5035610c8a565b6103066004803603602081101561050c57600080fd5b5035610c9f565b6101fd610d7a565b61029e6004803603602081101561053157600080fd5b50356001600160a01b0316610ddb565b6103066004803603606081101561055757600080fd5b508035906001600160a01b036020820135169060400135610dfc565b61029e6004803603604081101561058957600080fd5b506001600160a01b038135169060200135610ebd565b6102d7600480360360208110156105b557600080fd5b5035610ef7565b61029e600480360360408110156105d257600080fd5b506001600160a01b038135169060200135610f0c565b6102d7600480360360208110156105fe57600080fd5b5035610f19565b6102d76004803603602081101561061b57600080fd5b5035610f2e565b6102d7610f43565b6102d76004803603604081101561064057600080fd5b506001600160a01b0381358116916020013516610f49565b6102d76004803603602081101561066e57600080fd5b5035610f72565b60098054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156107015780601f106106d657610100808354040283529160200191610701565b820191906000526020600020905b8154815290600101906020018083116106e457829003601f168201915b5050505050905090565b6000610718338484610f87565b5060015b92915050565b60009081526002602052604090206009015460ff1690565b60065490565b61074933610ddb565b61075257600080fd5b806002600061076033610919565b815260208101919091526040016000206001015550565b6000908152600260205260409020546001600160a01b031690565b6001600160a01b0383166000908152602081815260408083203380855292528220546107cf9186916107ca908663ffffffff61100d16565b610f87565b6107da848484611022565b5060019392505050565b6107ed33610ddb565b156107f757600080fd5b60006108023361112b565b3360008181526003602081815260408084208681558685526002835281852080546001600160a01b03191687179055938590529181526001928301805460ff191690931790925580518481524392810192909252805193945091927f51cd4b8c0225e44e87a9ab75b09c0c28e9383414d405e32028c7d578c332f649929181900390910190a250565b60085490565b6004546001600160a01b031633146108a857600080fd5b600580546001600160a01b0319166001600160a01b0392909216919091179055565b336000818152602081815260408083206001600160a01b038716845290915281205490916107189185906107ca908663ffffffff61117d16565b60009081526002602052604090206003015490565b6001600160a01b031660009081526003602052604090205490565b6005546001600160a01b0316331461094b57600080fd5b600160c01b67506f736974697665028214806109735750600160ca1b6613995d5d1c985b0282145b8061098b5750600160c01b674e656761746976650282145b61099457600080fd5b6109a56109a085610777565b610bae565b6109ae57600080fd5b6109b784610722565b156109c157600080fd5b600084815260026020526040902060098101805460ff19166001179055600160c01b67506f73697469766502831415610a1757610a0d82610a0187610c75565b9063ffffffff61117d16565b6004820155610a6c565b600160ca1b6613995d5d1c985b02831415610a4357610a3982610a0187610f19565b6006820155610a6c565b600160c01b674e6567617469766502831415610a6c57610a6682610a0187610f72565b60058201555b610a7982610a0187610f2e565b6008820155610a8c6001610a0187610c8a565b600782015560408051868152602081018690528082018590526060810184905290517ff9a0f45f5b0ee4b0e0d35afcbb2331423679429ed104c6f80a230e870867439a9181900360800190a15050505050565b6005546001600160a01b03163314610af657600080fd5b600081815260026020819052604090912001548190431015610b1757600080fd5b610b29436103e863ffffffff61117d16565b60008381526002602081905260409091200155610b4a6001610a0184610904565b600083815260026020908152604091829020600301929092558051848152600160c01b67506f736974697665029281019290925280517fb2e24cfbc75d5fb0929555ddbfbfa6cdcb0012c0efe56ceba8062989cf7835ef9281900390910190a15050565b6001600160a01b0316600090815260036020526040902060010154610100900460ff1690565b610be5610be033610919565b610722565b15610bef57600080fd5b610bf833610ddb565b610c0157600080fd5b33600081815260036020526040808220600101805461ff001981166101009182900460ff1680159092021790915590519092917f8c000936ed6cc8b0c4218956860faac1c834b4ec96b46fa995aa58fc097fea1691a250565b6001600160a01b031660009081526001602052604090205490565b60009081526002602052604090206004015490565b60009081526002602052604090206007015490565b6005546001600160a01b03163314610cb657600080fd5b600081815260026020819052604090912001548190431015610cd757600080fd5b610ce9436103e863ffffffff61117d16565b60008381526002602081905260409091200155610d166001610d0a84610904565b9063ffffffff61100d16565b600083815260026020908152604091829020600301929092558051848152600160c01b674e65676174697665029281019290925280517fb2e24cfbc75d5fb0929555ddbfbfa6cdcb0012c0efe56ceba8062989cf7835ef9281900390910190a15050565b600a8054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156107015780601f106106d657610100808354040283529160200191610701565b6001600160a01b031660009081526003602052604090206001015460ff1690565b6005546001600160a01b03163314610e1357600080fd5b610e1c82610bae565b610e2557600080fd5b610e2e83610722565b610e3757600080fd5b6001600160a01b0382166000908152600360209081526040808320600101805461ff001916905585835260029091529020600901805460ff19169055610e7d8282611196565b604080518481526020810183905281517f7d7096f40a1fe42c26368b620dcd0eee1ac687fd1de7459e6838086d37572bda929181900390910190a1505050565b336000818152602081815260408083206001600160a01b038716845290915281205490916107189185906107ca908663ffffffff61100d16565b60009081526002602052604090206001015490565b6000610718338484611022565b60009081526002602052604090206006015490565b60009081526002602052604090206008015490565b60075490565b6001600160a01b0391821660009081526020818152604080832093909416825291909152205490565b60009081526002602052604090206005015490565b6001600160a01b038216610f9a57600080fd5b6001600160a01b038316610fad57600080fd5b6001600160a01b0380841660008181526020818152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b60008282111561101c57600080fd5b50900390565b828261102d82610bae565b158015611040575061103e81610bae565b155b61104957600080fd5b6001600160a01b03851661105c57600080fd5b6001600160a01b03841661106f57600080fd5b6001600160a01b038516600090815260016020526040902054611098908463ffffffff61100d16565b6001600160a01b0380871660009081526001602052604080822093909355908616815220546110cd908463ffffffff61117d16565b6001600160a01b0380861660008181526001602090815260409182902094909455805187815290519193928916927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a35050505050565b6effffffffffffffffffffffffffffff4363ffffffff1660a01b8217657dee20b84b880290811660781b187fffcc00000000000000000000000000000000000000000000000000000000000017919050565b60008282018381101561118f57600080fd5b9392505050565b6007546006546111ac908363ffffffff61117d16565b11156111b757600080fd5b6001600160a01b0382166111ca57600080fd5b6006546111dd908263ffffffff61117d16565b6006556001600160a01b038216600090815260016020526040902054611209908263ffffffff61117d16565b6001600160a01b03831660008181526001602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b6000826112705750600061071c565b8282028284828161127d57fe5b041461118f57600080fdfea165627a7a7230582001cd989354fc8b56a16c27df0401cebff681b07214fd9ace4b4db76f8d52ca670029

0x608060405234801561001057600080fd5b50600436106101f05760003560e01c80636fef43301161010f578063a457c2d7116100a2578063cc7d4d5311610071578063cc7d4d5314610605578063d5abeb0114610622578063dd62ed3e1461062a578063f71b6a2514610658576101f0565b8063a457c2d714610573578063a78672121461059f578063a9059cbb146105bc578063b51b9127146105e8576101f0565b8063927103ac116100de578063927103ac146104f657806395d89b41146105135780639f8a13d71461051b578063a16f189e14610541576101f0565b80636fef43301461048e57806370a0823114610496578063778e96c0146104bc5780637d7e938a146104d9576101f0565b8063313ce56711610187578063562c281111610156578063562c2811146103f65780636292f05f1461041c57806367cdd1fb1461044b5780636f49712b14610468576101f0565b8063313ce5671461037f57806333bf35771461038757806339509351146103ad57806340e01b55146103d9576101f0565b8063198bfb55116101c3578063198bfb55146102e957806321f8a7211461030857806323b872dd146103415780632f43fbe314610377576101f0565b806306fdde03146101f5578063095ea7b3146102725780631163fd2d146102b257806318160ddd146102cf575b600080fd5b6101fd610675565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561023757818101518382015260200161021f565b50505050905090810190601f1680156102645780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61029e6004803603604081101561028857600080fd5b506001600160a01b03813516906020013561070b565b604080519115158252519081900360200190f35b61029e600480360360208110156102c857600080fd5b5035610722565b6102d761073a565b60408051918252519081900360200190f35b610306600480360360208110156102ff57600080fd5b5035610740565b005b6103256004803603602081101561031e57600080fd5b5035610777565b604080516001600160a01b039092168252519081900360200190f35b61029e6004803603606081101561035757600080fd5b506001600160a01b03813581169160208101359091169060400135610792565b6103066107e4565b6102d761088b565b6103066004803603602081101561039d57600080fd5b50356001600160a01b0316610891565b61029e600480360360408110156103c357600080fd5b506001600160a01b0381351690602001356108ca565b6102d7600480360360208110156103ef57600080fd5b5035610904565b6102d76004803603602081101561040c57600080fd5b50356001600160a01b0316610919565b6103066004803603608081101561043257600080fd5b5080359060208101359060408101359060600135610934565b6103066004803603602081101561046157600080fd5b5035610adf565b61029e6004803603602081101561047e57600080fd5b50356001600160a01b0316610bae565b610306610bd4565b6102d7600480360360208110156104ac57600080fd5b50356001600160a01b0316610c5a565b6102d7600480360360208110156104d257600080fd5b5035610c75565b6102d7600480360360208110156104ef57600080fd5b5035610c8a565b6103066004803603602081101561050c57600080fd5b5035610c9f565b6101fd610d7a565b61029e6004803603602081101561053157600080fd5b50356001600160a01b0316610ddb565b6103066004803603606081101561055757600080fd5b508035906001600160a01b036020820135169060400135610dfc565b61029e6004803603604081101561058957600080fd5b506001600160a01b038135169060200135610ebd565b6102d7600480360360208110156105b557600080fd5b5035610ef7565b61029e600480360360408110156105d257600080fd5b506001600160a01b038135169060200135610f0c565b6102d7600480360360208110156105fe57600080fd5b5035610f19565b6102d76004803603602081101561061b57600080fd5b5035610f2e565b6102d7610f43565b6102d76004803603604081101561064057600080fd5b506001600160a01b0381358116916020013516610f49565b6102d76004803603602081101561066e57600080fd5b5035610f72565b60098054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156107015780601f106106d657610100808354040283529160200191610701565b820191906000526020600020905b8154815290600101906020018083116106e457829003601f168201915b5050505050905090565b6000610718338484610f87565b5060015b92915050565b60009081526002602052604090206009015460ff1690565b60065490565b61074933610ddb565b61075257600080fd5b806002600061076033610919565b815260208101919091526040016000206001015550565b6000908152600260205260409020546001600160a01b031690565b6001600160a01b0383166000908152602081815260408083203380855292528220546107cf9186916107ca908663ffffffff61100d16565b610f87565b6107da848484611022565b5060019392505050565b6107ed33610ddb565b156107f757600080fd5b60006108023361112b565b3360008181526003602081815260408084208681558685526002835281852080546001600160a01b03191687179055938590529181526001928301805460ff191690931790925580518481524392810192909252805193945091927f51cd4b8c0225e44e87a9ab75b09c0c28e9383414d405e32028c7d578c332f649929181900390910190a250565b60085490565b6004546001600160a01b031633146108a857600080fd5b600580546001600160a01b0319166001600160a01b0392909216919091179055565b336000818152602081815260408083206001600160a01b038716845290915281205490916107189185906107ca908663ffffffff61117d16565b60009081526002602052604090206003015490565b6001600160a01b031660009081526003602052604090205490565b6005546001600160a01b0316331461094b57600080fd5b600160c01b67506f736974697665028214806109735750600160ca1b6613995d5d1c985b0282145b8061098b5750600160c01b674e656761746976650282145b61099457600080fd5b6109a56109a085610777565b610bae565b6109ae57600080fd5b6109b784610722565b156109c157600080fd5b600084815260026020526040902060098101805460ff19166001179055600160c01b67506f73697469766502831415610a1757610a0d82610a0187610c75565b9063ffffffff61117d16565b6004820155610a6c565b600160ca1b6613995d5d1c985b02831415610a4357610a3982610a0187610f19565b6006820155610a6c565b600160c01b674e6567617469766502831415610a6c57610a6682610a0187610f72565b60058201555b610a7982610a0187610f2e565b6008820155610a8c6001610a0187610c8a565b600782015560408051868152602081018690528082018590526060810184905290517ff9a0f45f5b0ee4b0e0d35afcbb2331423679429ed104c6f80a230e870867439a9181900360800190a15050505050565b6005546001600160a01b03163314610af657600080fd5b600081815260026020819052604090912001548190431015610b1757600080fd5b610b29436103e863ffffffff61117d16565b60008381526002602081905260409091200155610b4a6001610a0184610904565b600083815260026020908152604091829020600301929092558051848152600160c01b67506f736974697665029281019290925280517fb2e24cfbc75d5fb0929555ddbfbfa6cdcb0012c0efe56ceba8062989cf7835ef9281900390910190a15050565b6001600160a01b0316600090815260036020526040902060010154610100900460ff1690565b610be5610be033610919565b610722565b15610bef57600080fd5b610bf833610ddb565b610c0157600080fd5b33600081815260036020526040808220600101805461ff001981166101009182900460ff1680159092021790915590519092917f8c000936ed6cc8b0c4218956860faac1c834b4ec96b46fa995aa58fc097fea1691a250565b6001600160a01b031660009081526001602052604090205490565b60009081526002602052604090206004015490565b60009081526002602052604090206007015490565b6005546001600160a01b03163314610cb657600080fd5b600081815260026020819052604090912001548190431015610cd757600080fd5b610ce9436103e863ffffffff61117d16565b60008381526002602081905260409091200155610d166001610d0a84610904565b9063ffffffff61100d16565b600083815260026020908152604091829020600301929092558051848152600160c01b674e65676174697665029281019290925280517fb2e24cfbc75d5fb0929555ddbfbfa6cdcb0012c0efe56ceba8062989cf7835ef9281900390910190a15050565b600a8054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156107015780601f106106d657610100808354040283529160200191610701565b6001600160a01b031660009081526003602052604090206001015460ff1690565b6005546001600160a01b03163314610e1357600080fd5b610e1c82610bae565b610e2557600080fd5b610e2e83610722565b610e3757600080fd5b6001600160a01b0382166000908152600360209081526040808320600101805461ff001916905585835260029091529020600901805460ff19169055610e7d8282611196565b604080518481526020810183905281517f7d7096f40a1fe42c26368b620dcd0eee1ac687fd1de7459e6838086d37572bda929181900390910190a1505050565b336000818152602081815260408083206001600160a01b038716845290915281205490916107189185906107ca908663ffffffff61100d16565b60009081526002602052604090206001015490565b6000610718338484611022565b60009081526002602052604090206006015490565b60009081526002602052604090206008015490565b60075490565b6001600160a01b0391821660009081526020818152604080832093909416825291909152205490565b60009081526002602052604090206005015490565b6001600160a01b038216610f9a57600080fd5b6001600160a01b038316610fad57600080fd5b6001600160a01b0380841660008181526020818152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b60008282111561101c57600080fd5b50900390565b828261102d82610bae565b158015611040575061103e81610bae565b155b61104957600080fd5b6001600160a01b03851661105c57600080fd5b6001600160a01b03841661106f57600080fd5b6001600160a01b038516600090815260016020526040902054611098908463ffffffff61100d16565b6001600160a01b0380871660009081526001602052604080822093909355908616815220546110cd908463ffffffff61117d16565b6001600160a01b0380861660008181526001602090815260409182902094909455805187815290519193928916927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a35050505050565b6effffffffffffffffffffffffffffff4363ffffffff1660a01b8217657dee20b84b880290811660781b187fffcc00000000000000000000000000000000000000000000000000000000000017919050565b60008282018381101561118f57600080fd5b9392505050565b6007546006546111ac908363ffffffff61117d16565b11156111b757600080fd5b6001600160a01b0382166111ca57600080fd5b6006546111dd908263ffffffff61117d16565b6006556001600160a01b038216600090815260016020526040902054611209908263ffffffff61117d16565b6001600160a01b03831660008181526001602090815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b6000826112705750600061071c565b8282028284828161127d57fe5b041461118f57600080fdfea165627a7a7230582001cd989354fc8b56a16c27df0401cebff681b07214fd9ace4b4db76f8d52ca670029

848:10356:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;848:10356:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3691:83;;;:::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;3691:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6179:149;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;6179:149:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;4155:116;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;4155:116:0;;:::i;4059:88::-;;;:::i;:::-;;;;;;;;;;;;;;;;3507:176;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3507:176:0;;:::i;:::-;;4951:125;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;4951:125:0;;:::i;:::-;;;;-1:-1:-1;;;;;4951:125:0;;;;;;;;;;;;;;6336:234;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;6336:234:0;;;;;;;;;;;;;;;;;:::i;10233:431::-;;;:::i;3877:82::-;;;:::i;10672:94::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;10672:94:0;-1:-1:-1;;;;;10672:94:0;;:::i;6578:205::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;6578:205:0;;;;;;;;:::i;5084:125::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5084:125:0;;:::i;4668:140::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;4668:140:0;-1:-1:-1;;;;;4668:140:0;;:::i;8338:884::-;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;8338:884:0;;;;;;;;;;;;;;;;;:::i;9664:277::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;9664:277:0;;:::i;4418:129::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;4418:129:0;-1:-1:-1;;;;;4418:129:0;;:::i;3194:305::-;;;:::i;4555:105::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;4555:105:0;-1:-1:-1;;;;;4555:105:0;;:::i;5481:129::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5481:129:0;;:::i;5217:125::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5217:125:0;;:::i;9949:276::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;9949:276:0;;:::i;3782:87::-;;;:::i;4279:131::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;4279:131:0;-1:-1:-1;;;;;4279:131:0;;:::i;7979:351::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7979:351:0;;;-1:-1:-1;;;;;7979:351:0;;;;;;;;;;:::i;6791:215::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;6791:215:0;;;;;;;;:::i;4816:127::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;4816:127:0;;:::i;6030:141::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;6030:141:0;;;;;;;;:::i;5755:127::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5755:127:0;;:::i;5350:123::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5350:123:0;;:::i;3967:84::-;;;:::i;5890:132::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;5890:132:0;;;;;;;;;;:::i;5618:129::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5618:129:0;;:::i;3691:83::-;3761:5;3754:12;;;;;;;;-1:-1:-1;;3754:12:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3728:13;;3754:12;;3761:5;;3754:12;;3761:5;3754:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3691:83;:::o;6179:149::-;6243:4;6260:38;6269:10;6281:8;6291:6;6260:8;:38::i;:::-;-1:-1:-1;6316:4:0;6179:149;;;;;:::o;4155:116::-;4206:4;4230:19;;;:14;:19;;;;;:33;;;;;;4155:116::o;4059:88::-;4127:12;;4059:88;:::o;3507:176::-;3573:20;3582:10;3573:8;:20::i;:::-;3565:29;;;;;;3666:9;3607:14;:38;3622:22;3633:10;3622;:22::i;:::-;3607:38;;;;;;;;;;;-1:-1:-1;3607:38:0;:56;;:68;-1:-1:-1;3507:176:0:o;4951:125::-;5005:7;5032:19;;;:14;:19;;;;;:36;-1:-1:-1;;;;;5032:36:0;;4951:125::o;6336:234::-;-1:-1:-1;;;;;6460:15:0;;6415:4;6460:15;;;;;;;;;;;6448:10;6460:27;;;;;;;;6432:68;;6441:5;;6460:39;;6492:6;6460:39;:31;:39;:::i;:::-;6432:8;:68::i;:::-;6511:29;6521:5;6528:3;6533:6;6511:9;:29::i;:::-;-1:-1:-1;6558:4:0;6336:234;;;;;:::o;10233:431::-;10287:20;10296:10;10287:8;:20::i;:::-;10286:21;10278:30;;;;;;10321:24;10348:32;10369:10;10348:20;:32::i;:::-;10406:10;10391:26;;;;:14;:26;;;;;;;;:67;;;10469:32;;;:14;:32;;;;;:62;;-1:-1:-1;;;;;;10469:62:0;;;;;10542:26;;;;;;;10469:62;10542:44;;;:51;;-1:-1:-1;;10542:51:0;;;;;;;10609:47;;;;;10643:12;10609:47;;;;;;;;;10321:59;;-1:-1:-1;10406:10:0;;10609:47;;;;;;;;;;;10233:431;:::o;3877:82::-;3942:9;;3877:82;:::o;10672:94::-;2708:8;;-1:-1:-1;;;;;2708:8:0;2694:10;:22;2686:31;;;;;;10742:6;:16;;-1:-1:-1;;;;;;10742:16:0;-1:-1:-1;;;;;10742:16:0;;;;;;;;;;10672:94::o;6578:205::-;6683:10;6657:4;6705:20;;;;;;;;;;;-1:-1:-1;;;;;6705:30:0;;;;;;;;;;6657:4;;6674:79;;6695:8;;6705:47;;6740:11;6705:47;:34;:47;:::i;5084:125::-;5137:4;5166:19;;;:14;:19;;;;;:34;;;;5084:125::o;4668:140::-;-1:-1:-1;;;;;4754:24:0;4727:7;4754:24;;;:14;:24;;;;;:46;;4668:140::o;8338:884::-;2616:6;;-1:-1:-1;;;;;2616:6:0;2602:10;:20;2594:29;;;;;;-1:-1:-1;;;;;8462:14:0;;;:32;;-1:-1:-1;;;;;;8480:14:0;;8462:32;:50;;;-1:-1:-1;;;;;;8498:14:0;;8462:50;8454:59;;;;;;8532:26;8542:15;8553:3;8542:10;:15::i;:::-;8532:9;:26::i;:::-;8524:35;;;;;;8579:12;8587:3;8579:7;:12::i;:::-;8578:13;8570:22;;;;;;8605:19;;;;:14;:19;;;;;:33;;;:40;;-1:-1:-1;;8605:40:0;8641:4;8605:40;;;-1:-1:-1;;;;;8716:14:0;;8713:325;;;8774:31;8797:7;8774:18;8788:3;8774:13;:18::i;:::-;:22;:31;:22;:31;:::i;:::-;8747:16;;;:59;8713:325;;;-1:-1:-1;;;;;8827:14:0;;8824:214;;;8884:30;8906:7;8884:17;8897:3;8884:12;:17::i;:30::-;8858:15;;;:57;8824:214;;;-1:-1:-1;;;;;8936:14:0;;8933:105;;;8994:31;9017:7;8994:18;9008:3;8994:13;:18::i;:31::-;8967:16;;;:59;8933:105;9072:28;9092:7;9072:15;9083:3;9072:10;:15::i;:28::-;9048:13;;;:53;9137:23;9158:1;9137:16;9149:3;9137:11;:16::i;:23::-;9112:14;;;:49;9177:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2634:1;8338:884;;;;:::o;9664:277::-;2616:6;;-1:-1:-1;;;;;2616:6:0;2602:10;:20;2594:29;;;;;;2347:19;;;;:14;:19;;;;;;;;:35;;9739:3;;2387:12;-1:-1:-1;2342:57:0;2334:66;;;;;;9801:22;:12;9818:4;9801:22;:16;:22;:::i;:::-;9793:31;9755:19;;;:14;:19;;;;;;;;:35;:69;9880:21;9899:1;9880:14;9770:3;9880:9;:14::i;:21::-;9872:30;9835:19;;;:14;:19;;;;;;;;;:34;;:67;;;;9918:15;;;;;-1:-1:-1;;;;;9918:15:0;;;;;;;;;;;;;;;;;;;2634:1;9664:277;:::o;4418:129::-;-1:-1:-1;;;;;4500:24:0;4476:4;4500:24;;;:14;:24;;;;;:39;;;;;;;;;4418:129::o;3194:305::-;3244:31;3252:22;3263:10;3252;:22::i;:::-;3244:7;:31::i;:::-;3243:32;3235:41;;;;;;3295:20;3304:10;3295:8;:20::i;:::-;3287:29;;;;;;3364:10;3329:17;3349:26;;;:14;:26;;;;;;:41;;;;-1:-1:-1;;3401:57:0;;3349:41;;;;;;;3445:13;;3401:57;;;;;;;3474:17;;3349:41;;3364:10;3474:17;;;3194:305;:::o;4555:105::-;-1:-1:-1;;;;;4635:17:0;4611:4;4635:17;;;:9;:17;;;;;;;4555:105::o;5481:129::-;5538:4;5567:19;;;:14;:19;;;;;:34;;;;5481:129::o;5217:125::-;5272:4;5301:19;;;:14;:19;;;;;:32;;;;5217:125::o;9949:276::-;2616:6;;-1:-1:-1;;;;;2616:6:0;2602:10;:20;2594:29;;;;;;2347:19;;;;:14;:19;;;;;;;;:35;;10023:3;;2387:12;-1:-1:-1;2342:57:0;2334:66;;;;;;10085:22;:12;10102:4;10085:22;:16;:22;:::i;:::-;10077:31;10039:19;;;:14;:19;;;;;;;;:35;:69;10164:21;10183:1;10164:14;10054:3;10164:9;:14::i;:::-;:18;:21;:18;:21;:::i;:::-;10156:30;10119:19;;;:14;:19;;;;;;;;;:34;;:67;;;;10202:15;;;;;-1:-1:-1;;;;;10202:15:0;;;;;;;;;;;;;;;;;;;2634:1;9949:276;:::o;3782:87::-;3854:7;3847:14;;;;;;;;-1:-1:-1;;3847:14:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3821:13;;3847:14;;3854:7;;3847:14;;3854:7;3847:14;;;;;;;;;;;;;;;;;;;;;;;;4279:131;-1:-1:-1;;;;;4360:24:0;4336:4;4360:24;;;:14;:24;;;;;:42;;;;;;4279:131::o;7979:351::-;2616:6;;-1:-1:-1;;;;;2616:6:0;2602:10;:20;2594:29;;;;;;8087:19;8097:8;8087:9;:19::i;:::-;8079:28;;;;;;8126:12;8134:3;8126:7;:12::i;:::-;8118:21;;;;;;-1:-1:-1;;;;;8152:24:0;;8194:5;8152:24;;;:14;:24;;;;;;;;:39;;:47;;-1:-1:-1;;8152:47:0;;;8210:19;;;:14;:19;;;;;:33;;:41;;-1:-1:-1;;8210:41:0;;;8262:24;8167:8;8278:7;8262:5;:24::i;:::-;8302:20;;;;;;;;;;;;;;;;;;;;;;;;;7979:351;;;:::o;6791:215::-;6901:10;6875:4;6923:20;;;;;;;;;;;-1:-1:-1;;;;;6923:30:0;;;;;;;;;;6875:4;;6892:84;;6913:8;;6923:52;;6958:16;6923:52;:34;:52;:::i;4816:127::-;4871:7;4898:19;;;:14;:19;;;;;:37;;;;4816:127::o;6030:141::-;6090:4;6107:34;6117:10;6129:3;6134:6;6107:9;:34::i;5755:127::-;5811:4;5840:19;;;:14;:19;;;;;:33;;;;5755:127::o;5350:123::-;5404:4;5433:19;;;:14;:19;;;;;:31;;;;5350:123::o;3967:84::-;4033:10;;3967:84;:::o;5890:132::-;-1:-1:-1;;;;;5988:16:0;;;5964:4;5988:16;;;;;;;;;;;:26;;;;;;;;;;;;;5890:132::o;5618:129::-;5675:4;5704:19;;;:14;:19;;;;;:34;;;;5618:129::o;7361:266::-;-1:-1:-1;;;;;7454:24:0;;7446:33;;;;;;-1:-1:-1;;;;;7498:22:0;;7490:31;;;;;;-1:-1:-1;;;;;7534:16:0;;;:8;:16;;;;;;;;;;;:26;;;;;;;;;;;;;:35;;;7585:34;;;;;;;;;;;;;;;;;7361:266;;;:::o;403:148::-;461:7;494:1;489;:6;;481:15;;;;;;-1:-1:-1;519:5:0;;;403:148::o;7014:339::-;7095:5;7102:3;2497:16;2507:5;2497:9;:16::i;:::-;2496:17;:36;;;;;2518:14;2528:3;2518:9;:14::i;:::-;2517:15;2496:36;2488:45;;;;;;-1:-1:-1;;;;;7126:21:0;;7118:30;;;;;;-1:-1:-1;;;;;7167:19:0;;7159:28;;;;;;-1:-1:-1;;;;;7219:16:0;;;;;;:9;:16;;;;;;:28;;7240:6;7219:28;:20;:28;:::i;:::-;-1:-1:-1;;;;;7200:16:0;;;;;;;:9;:16;;;;;;:47;;;;7275:14;;;;;;;:26;;7294:6;7275:26;:18;:26;:::i;:::-;-1:-1:-1;;;;;7258:14:0;;;;;;;:9;:14;;;;;;;;;:43;;;;7317:28;;;;;;;7258:14;;7317:28;;;;;;;;;;;;;7014:339;;;;;:::o;9230:426::-;9582:32;9481:6;9489:10;9477:23;9471:4;9467:34;9454:48;;9504:14;9450:69;9569:46;;;9563:4;9559:57;9546:71;9334:66;9539:79;9230:426;;;:::o;559:148::-;617:7;649:5;;;673:6;;;;665:15;;;;;;698:1;559:148;-1:-1:-1;;;559:148:0:o;7635:336::-;7736:10;;7708:12;;:24;;7725:6;7708:24;:16;:24;:::i;:::-;:38;;7700:47;;;;;;-1:-1:-1;;;;;7766:24:0;;7758:33;;;;;;7819:12;;:24;;7836:6;7819:24;:16;:24;:::i;:::-;7804:12;:39;-1:-1:-1;;;;;7876:19:0;;;;;;:9;:19;;;;;;:31;;7900:6;7876:31;:23;:31;:::i;:::-;-1:-1:-1;;;;;7854:19:0;;;;;;:9;:19;;;;;;;;:53;;;;7923:40;;;;;;;7854:19;;;;7923:40;;;;;;;;;;7635:336;;:::o;53:187::-;111:7;135:6;131:25;;-1:-1:-1;152:1:0;145:8;;131:25;178:5;;;182:1;178;:5;:1;202:5;;;;;:10;194:19;;;;

bzzr://01cd989354fc8b56a16c27df0401cebff681b07214fd9ace4b4db76f8d52ca67