Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract Ownable
•    - function Ownable()
•    - function transferOwnership(address ne ...
•  contract Token
•    - function totalSupply()
•    - function balanceOf(address _owner)
•    - function transfer(address _to, uint _ ...
•    - function transferFrom(address _from, ...
•    - function approve(address _spender, ui ...
•    - function allowance(address _owner, ad ...
•  contract SafeMath
•    - function safeMul(uint a, uint b)
•    - function safeDiv(uint a, uint b)
•    - function safeSub(uint a, uint b)
•    - function safeAdd(uint a, uint b)
•    - function max64(uint64 a, uint64 b)
•    - function min64(uint64 a, uint64 b)
•    - function max256(uint256 a, uint256 b)
•    - function min256(uint256 a, uint256 b)
•  contract VestingWallet is Ownable, ... *
•    - function VestingWallet(address _vesti ...
•    - function registerVestingSchedule(
•    - function confirmVestingSchedule(
•    - function withdraw()
•    - function endVesting(address _addressT ...
•    - function requestAddressChange(address ...
•    - function confirmAddressChange(address ...
•    - function getTotalAmountVested(Vesting ...
•    - function balanceOf(address _registere ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2021-08-09
*/

/**
 *Submitted for verification at Etherscan.io on 2021-04-16
*/

/**
 *Submitted for verification at Etherscan.io on 2017-08-11
*/

pragma solidity 0.4.11;

/*
 * Ownable
 *
 * Base contract with an owner.
 * Provides onlyOwner modifier, which prevents function from running if it is called by anyone other than the owner.
 */

contract Ownable {
    address public owner;

    function Ownable() {
        owner = msg.sender;
    }

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

    function transferOwnership(address newOwner) onlyOwner {
        if (newOwner != address(0)) {
            owner = newOwner;
        }
    }
}

contract Token {

    /// @return total amount of tokens
    function totalSupply() constant returns (uint supply) {}

    /// @param _owner The address from which the balance will be retrieved
    /// @return The balance
    function balanceOf(address _owner) constant returns (uint balance) {}

    /// @notice send `_value` token to `_to` from `msg.sender`
    /// @param _to The address of the recipient
    /// @param _value The amount of token to be transferred
    /// @return Whether the transfer was successful or not
    function transfer(address _to, uint _value) returns (bool success) {}

    /// @notice send `_value` token to `_to` from `_from` on the condition it is approved by `_from`
    /// @param _from The address of the sender
    /// @param _to The address of the recipient
    /// @param _value The amount of token to be transferred
    /// @return Whether the transfer was successful or not
    function transferFrom(address _from, address _to, uint _value) returns (bool success) {}

    /// @notice `msg.sender` approves `_addr` to spend `_value` tokens
    /// @param _spender The address of the account able to transfer the tokens
    /// @param _value The amount of wei to be approved for transfer
    /// @return Whether the approval was successful or not
    function approve(address _spender, uint _value) returns (bool success) {}

    /// @param _owner The address of the account owning tokens
    /// @param _spender The address of the account able to transfer the tokens
    /// @return Amount of remaining tokens allowed to spent
    function allowance(address _owner, address _spender) constant returns (uint remaining) {}

    event Transfer(address indexed _from, address indexed _to, uint _value);
    event Approval(address indexed _owner, address indexed _spender, uint _value);
}

contract SafeMath {
    function safeMul(uint a, uint b) internal constant returns (uint) {
        uint c = a * b;
        assert(a == 0 || c / a == b);
        return c;
    }

    function safeDiv(uint a, uint b) internal constant returns (uint) {
        uint c = a / b;
        return c;
    }

    function safeSub(uint a, uint b) internal constant returns (uint) {
        assert(b <= a);
        return a - b;
    }

    function safeAdd(uint a, uint b) internal constant returns (uint) {
        uint c = a + b;
        assert(c >= a);
        return c;
    }

    function max64(uint64 a, uint64 b) internal constant returns (uint64) {
        return a >= b ? a : b;
    }

    function min64(uint64 a, uint64 b) internal constant returns (uint64) {
        return a < b ? a : b;
    }

    function max256(uint256 a, uint256 b) internal constant returns (uint256) {
        return a >= b ? a : b;
    }

    function min256(uint256 a, uint256 b) internal constant returns (uint256) {
        return a < b ? a : b;
    }
}

contract VestingWallet is Ownable, SafeMath {

    mapping(address => VestingSchedule) public schedules;        // vesting schedules for given addresses
    mapping(address => address) public addressChangeRequests;    // requested address changes

    Token vestingToken;

    event VestingScheduleRegistered(
        address indexed registeredAddress,
        address depositor,
        uint startTimeInSec,
        uint cliffTimeInSec,
        uint endTimeInSec,
        uint totalAmount
    );
    event VestingScheduleConfirmed(
        address indexed registeredAddress,
        address depositor,
        uint startTimeInSec,
        uint cliffTimeInSec,
        uint endTimeInSec,
        uint totalAmount
    );
    event Withdrawal(address indexed registeredAddress, uint amountWithdrawn);
    event VestingEndedByOwner(address indexed registeredAddress, uint amountWithdrawn, uint amountRefunded);
    event AddressChangeRequested(address indexed oldRegisteredAddress, address indexed newRegisteredAddress);
    event AddressChangeConfirmed(address indexed oldRegisteredAddress, address indexed newRegisteredAddress);

    struct VestingSchedule {
        uint startTimeInSec;
        uint cliffTimeInSec;
        uint endTimeInSec;
        uint totalAmount;
        uint totalAmountWithdrawn;
        address depositor;
        bool isConfirmed;
    }

    modifier addressRegistered(address target) {
        VestingSchedule storage vestingSchedule = schedules[target];
        require(vestingSchedule.depositor != address(0));
        _;
    }

    modifier addressNotRegistered(address target) {
        VestingSchedule storage vestingSchedule = schedules[target];
        require(vestingSchedule.depositor == address(0));
        _;
    }

    modifier vestingScheduleConfirmed(address target) {
        VestingSchedule storage vestingSchedule = schedules[target];
        require(vestingSchedule.isConfirmed);
        _;
    }

    modifier vestingScheduleNotConfirmed(address target) {
        VestingSchedule storage vestingSchedule = schedules[target];
        require(!vestingSchedule.isConfirmed);
        _;
    }

    modifier pendingAddressChangeRequest(address target) {
        require(addressChangeRequests[target] != address(0));
        _;
    }

    modifier pastCliffTime(address target) {
        VestingSchedule storage vestingSchedule = schedules[target];
        require(block.timestamp > vestingSchedule.cliffTimeInSec);
        _;
    }

    modifier validVestingScheduleTimes(uint startTimeInSec, uint cliffTimeInSec, uint endTimeInSec) {
        require(cliffTimeInSec >= startTimeInSec);
        require(endTimeInSec >= cliffTimeInSec);
        _;
    }

    modifier addressNotNull(address target) {
        require(target != address(0));
        _;
    }

    /// @dev Assigns a vesting token to the wallet.
    /// @param _vestingToken Token that will be vested.
    function VestingWallet(address _vestingToken) {
        vestingToken = Token(_vestingToken);
    }

    /// @dev Registers a vesting schedule to an address.
    /// @param _addressToRegister The address that is allowed to withdraw vested tokens for this schedule.
    /// @param _depositor Address that will be depositing vesting token.
    /// @param _startTimeInSec The time in seconds that vesting began.
    /// @param _cliffTimeInSec The time in seconds that tokens become withdrawable.
    /// @param _endTimeInSec The time in seconds that vesting ends.
    /// @param _totalAmount The total amount of tokens that the registered address can withdraw by the end of the vesting period.
    function registerVestingSchedule(
        address _addressToRegister,
        address _depositor,
        uint _startTimeInSec,
        uint _cliffTimeInSec,
        uint _endTimeInSec,
        uint _totalAmount
    )
        public
        onlyOwner
        addressNotNull(_depositor)
        vestingScheduleNotConfirmed(_addressToRegister)
        validVestingScheduleTimes(_startTimeInSec, _cliffTimeInSec, _endTimeInSec)
    {
        schedules[_addressToRegister] = VestingSchedule({
            startTimeInSec: _startTimeInSec,
            cliffTimeInSec: _cliffTimeInSec,
            endTimeInSec: _endTimeInSec,
            totalAmount: _totalAmount,
            totalAmountWithdrawn: 0,
            depositor: _depositor,
            isConfirmed: false
        });

        VestingScheduleRegistered(
            _addressToRegister,
            _depositor,
            _startTimeInSec,
            _cliffTimeInSec,
            _endTimeInSec,
            _totalAmount
        );
    }

    /// @dev Confirms a vesting schedule and deposits necessary tokens. Throws if deposit fails or schedules do not match.
    /// @param _startTimeInSec The time in seconds that vesting began.
    /// @param _cliffTimeInSec The time in seconds that tokens become withdrawable.
    /// @param _endTimeInSec The time in seconds that vesting ends.
    /// @param _totalAmount The total amount of tokens that the registered address can withdraw by the end of the vesting period.
    function confirmVestingSchedule(
        uint _startTimeInSec,
        uint _cliffTimeInSec,
        uint _endTimeInSec,
        uint _totalAmount
    )
        public
        addressRegistered(msg.sender)
        vestingScheduleNotConfirmed(msg.sender)
    {
        VestingSchedule storage vestingSchedule = schedules[msg.sender];

        require(vestingSchedule.startTimeInSec == _startTimeInSec);
        require(vestingSchedule.cliffTimeInSec == _cliffTimeInSec);
        require(vestingSchedule.endTimeInSec == _endTimeInSec);
        require(vestingSchedule.totalAmount == _totalAmount);

        vestingSchedule.isConfirmed = true;
        require(vestingToken.transferFrom(vestingSchedule.depositor, address(this), _totalAmount));

        VestingScheduleConfirmed(
            msg.sender,
            vestingSchedule.depositor,
            _startTimeInSec,
            _cliffTimeInSec,
            _endTimeInSec,
            _totalAmount
        );
    }

    /// @dev Allows a registered address to withdraw tokens that have already been vested.
    function withdraw()
        public
        vestingScheduleConfirmed(msg.sender)
        pastCliffTime(msg.sender)
    {
        VestingSchedule storage vestingSchedule = schedules[msg.sender];

        uint totalAmountVested = getTotalAmountVested(vestingSchedule);
        uint amountWithdrawable = safeSub(totalAmountVested, vestingSchedule.totalAmountWithdrawn);
        vestingSchedule.totalAmountWithdrawn = totalAmountVested;

        if (amountWithdrawable > 0) {
            require(vestingToken.transfer(msg.sender, amountWithdrawable));
            Withdrawal(msg.sender, amountWithdrawable);
        }
    }

    /// @dev Allows contract owner to terminate a vesting schedule, transfering remaining vested tokens to the registered address and refunding owner with remaining tokens.
    /// @param _addressToEnd Address that is currently registered to the vesting schedule that will be closed.
    /// @param _addressToRefund Address that will receive unvested tokens.
    function endVesting(address _addressToEnd, address _addressToRefund)
        public
        onlyOwner
        vestingScheduleConfirmed(_addressToEnd)
        addressNotNull(_addressToRefund)
    {
        VestingSchedule storage vestingSchedule = schedules[_addressToEnd];

        uint amountWithdrawable = 0;
        uint amountRefundable = 0;

        if (block.timestamp < vestingSchedule.cliffTimeInSec) {
            amountRefundable = vestingSchedule.totalAmount;
        } else {
            uint totalAmountVested = getTotalAmountVested(vestingSchedule);
            amountWithdrawable = safeSub(totalAmountVested, vestingSchedule.totalAmountWithdrawn);
            amountRefundable = safeSub(vestingSchedule.totalAmount, totalAmountVested);
        }

        delete schedules[_addressToEnd];
        require(amountWithdrawable == 0 || vestingToken.transfer(_addressToEnd, amountWithdrawable));
        require(amountRefundable == 0 || vestingToken.transfer(_addressToRefund, amountRefundable));

        VestingEndedByOwner(_addressToEnd, amountWithdrawable, amountRefundable);
    }

    /// @dev Allows a registered address to request an address change.
    /// @param _newRegisteredAddress Desired address to update to.
    function requestAddressChange(address _newRegisteredAddress)
        public
        vestingScheduleConfirmed(msg.sender)
        addressNotRegistered(_newRegisteredAddress)
        addressNotNull(_newRegisteredAddress)
    {
        addressChangeRequests[msg.sender] = _newRegisteredAddress;
        AddressChangeRequested(msg.sender, _newRegisteredAddress);
    }

    /// @dev Confirm an address change and migrate vesting schedule to new address.
    /// @param _oldRegisteredAddress Current registered address.
    /// @param _newRegisteredAddress Address to migrate vesting schedule to.
    function confirmAddressChange(address _oldRegisteredAddress, address _newRegisteredAddress)
        public
        onlyOwner
        pendingAddressChangeRequest(_oldRegisteredAddress)
        addressNotRegistered(_newRegisteredAddress)
    {
        address newRegisteredAddress = addressChangeRequests[_oldRegisteredAddress];
        require(newRegisteredAddress == _newRegisteredAddress);    // prevents race condition

        VestingSchedule memory vestingSchedule = schedules[_oldRegisteredAddress];
        schedules[newRegisteredAddress] = vestingSchedule;

        delete schedules[_oldRegisteredAddress];
        delete addressChangeRequests[_oldRegisteredAddress];

        AddressChangeConfirmed(_oldRegisteredAddress, _newRegisteredAddress);
    }

    /// @dev Calculates the total tokens that have been vested for a vesting schedule, assuming the schedule is past the cliff.
    /// @param vestingSchedule Vesting schedule used to calculate vested tokens.
    /// @return Total tokens vested for a vesting schedule.
    function getTotalAmountVested(VestingSchedule vestingSchedule)
        internal
        returns (uint)
    {
        if (block.timestamp >= vestingSchedule.endTimeInSec) return vestingSchedule.totalAmount;

        uint timeSinceStartInSec = safeSub(block.timestamp, vestingSchedule.startTimeInSec);
        uint totalVestingTimeInSec = safeSub(vestingSchedule.endTimeInSec, vestingSchedule.startTimeInSec);
        uint totalAmountVested = safeDiv(
            safeMul(timeSinceStartInSec, vestingSchedule.totalAmount),
            totalVestingTimeInSec
        );

        return totalAmountVested;
    }

    function balanceOf(address _registeredAddress) public constant returns (uint) {
        VestingSchedule memory vestingSchedule = schedules[_registeredAddress];
        return safeSub(vestingSchedule.totalAmount, vestingSchedule.totalAmountWithdrawn);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":false,"inputs":[{"name":"_addressToRegister","type":"address"},{"name":"_depositor","type":"address"},{"name":"_startTimeInSec","type":"uint256"},{"name":"_cliffTimeInSec","type":"uint256"},{"name":"_endTimeInSec","type":"uint256"},{"name":"_totalAmount","type":"uint256"}],"name":"registerVestingSchedule","outputs":[],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"_newRegisteredAddress","type":"address"}],"name":"requestAddressChange","outputs":[],"payable":false,"type":"function"},{"constant":false,"inputs":[],"name":"withdraw","outputs":[],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"_startTimeInSec","type":"uint256"},{"name":"_cliffTimeInSec","type":"uint256"},{"name":"_endTimeInSec","type":"uint256"},{"name":"_totalAmount","type":"uint256"}],"name":"confirmVestingSchedule","outputs":[],"payable":false,"type":"function"},{"constant":true,"inputs":[{"name":"_registeredAddress","type":"address"}],"name":"balanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"schedules","outputs":[{"name":"startTimeInSec","type":"uint256"},{"name":"cliffTimeInSec","type":"uint256"},{"name":"endTimeInSec","type":"uint256"},{"name":"totalAmount","type":"uint256"},{"name":"totalAmountWithdrawn","type":"uint256"},{"name":"depositor","type":"address"},{"name":"isConfirmed","type":"bool"}],"payable":false,"type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"_addressToEnd","type":"address"},{"name":"_addressToRefund","type":"address"}],"name":"endVesting","outputs":[],"payable":false,"type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"addressChangeRequests","outputs":[{"name":"","type":"address"}],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"_oldRegisteredAddress","type":"address"},{"name":"_newRegisteredAddress","type":"address"}],"name":"confirmAddressChange","outputs":[],"payable":false,"type":"function"},{"constant":false,"inputs":[{"name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"type":"function"},{"inputs":[{"name":"_vestingToken","type":"address"}],"payable":false,"type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"name":"registeredAddress","type":"address"},{"indexed":false,"name":"depositor","type":"address"},{"indexed":false,"name":"startTimeInSec","type":"uint256"},{"indexed":false,"name":"cliffTimeInSec","type":"uint256"},{"indexed":false,"name":"endTimeInSec","type":"uint256"},{"indexed":false,"name":"totalAmount","type":"uint256"}],"name":"VestingScheduleRegistered","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"registeredAddress","type":"address"},{"indexed":false,"name":"depositor","type":"address"},{"indexed":false,"name":"startTimeInSec","type":"uint256"},{"indexed":false,"name":"cliffTimeInSec","type":"uint256"},{"indexed":false,"name":"endTimeInSec","type":"uint256"},{"indexed":false,"name":"totalAmount","type":"uint256"}],"name":"VestingScheduleConfirmed","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"registeredAddress","type":"address"},{"indexed":false,"name":"amountWithdrawn","type":"uint256"}],"name":"Withdrawal","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"registeredAddress","type":"address"},{"indexed":false,"name":"amountWithdrawn","type":"uint256"},{"indexed":false,"name":"amountRefunded","type":"uint256"}],"name":"VestingEndedByOwner","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"oldRegisteredAddress","type":"address"},{"indexed":true,"name":"newRegisteredAddress","type":"address"}],"name":"AddressChangeRequested","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"oldRegisteredAddress","type":"address"},{"indexed":true,"name":"newRegisteredAddress","type":"address"}],"name":"AddressChangeConfirmed","type":"event"}]

6060604052341561000c57fe5b60405160208061126e83398101604052515b5b60008054600160a060020a03191633600160a060020a03161790555b60038054600160a060020a031916600160a060020a0383161790555b505b611206806100686000396000f300606060405236156100ac5763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166301d490fd81146100ae5780630633cd32146100de5780633ccfd60b146100fc5780634ed600d11461010e57806370a082311461012c57806380c3780f1461015a5780638da5cb5b146101b9578063a5b19937146101e5578063b1e9ee6414610209578063bff44f0d14610241578063f2fde38b14610265575bfe5b34156100b657fe5b6100dc600160a060020a036004358116906024351660443560643560843560a435610283565b005b34156100e657fe5b6100dc600160a060020a0360043516610478565b005b341561010457fe5b6100dc61055c565b005b341561011657fe5b6100dc600435602435604435606435610747565b005b341561013457fe5b610148600160a060020a036004351661093b565b60408051918252519081900360200190f35b341561016257fe5b610176600160a060020a03600435166109d1565b6040805197885260208801969096528686019490945260608601929092526080850152600160a060020a031660a0840152151560c0830152519081900360e00190f35b34156101c157fe5b6101c9610a1c565b60408051600160a060020a039092168252519081900360200190f35b34156101ed57fe5b6100dc600160a060020a0360043581169060243516610a2b565b005b341561021157fe5b6101c9600160a060020a0360043516610d48565b60408051600160a060020a039092168252519081900360200190f35b341561024957fe5b6100dc600160a060020a0360043581169060243516610d63565b005b341561026d57fe5b6100dc600160a060020a036004351661106b565b005b60005433600160a060020a0390811691161461029f5760006000fd5b84600160a060020a03811615156102b65760006000fd5b600160a060020a0387166000908152600160205260409020600581015488919060a060020a900460ff16156102eb5760006000fd5b868686828210156102fc5760006000fd5b8181101561030a5760006000fd5b60e0604051908101604052808b81526020018a8152602001898152602001888152602001600081526020018c600160a060020a0316815260200160001515815250600160008e600160a060020a0316600160a060020a03168152602001908152602001600020600082015181600001556020820151816001015560408201518160020155606082015181600301556080820151816004015560a08201518160050160006101000a815481600160a060020a030219169083600160a060020a0316021790555060c08201518160050160146101000a81548160ff0219169083151502179055509050508b600160a060020a03167feabffab667737db1059b7735b91f5924be3f07f24e6374dbb1b9d11668ed89a58c8c8c8c8c6040518086600160a060020a0316600160a060020a031681526020018581526020018481526020018381526020018281526020019550505050505060405180910390a25b5b5050505b50505b505b505050505050565b33600160a060020a0381166000908152600160205260409020600581015460a060020a900460ff1615156104ac5760006000fd5b600160a060020a0380841660009081526001602052604090206005810154859216156104d85760006000fd5b84600160a060020a03811615156104ef5760006000fd5b600160a060020a033381166000818152600260205260408082208054948b1673ffffffffffffffffffffffffffffffffffffffff1990951685179055517f4fd8411c817c0b524aeeef15446e8327901fcf5b6a31246930dfbe5f8c1223519190a35b5b505b50505b505050565b33600160a060020a038116600090815260016020526040812060058101549192839283929060a060020a900460ff1615156105975760006000fd5b33600160a060020a03811660009081526001602081905260409091209081015442116105c35760006000fd5b33600160a060020a03908116600090815260016020818152604092839020835160e0810185528154815292810154918301919091526002810154928201929092526003820154606082015260048201546080820152600582015492831660a082015260a060020a90920460ff16151560c08301529750610642906110c4565b955061065286886004015461112e565b600488018790559450600085111561046e57600354604080516000602091820181905282517fa9059cbb000000000000000000000000000000000000000000000000000000008152600160a060020a033381166004830152602482018b90529351939094169363a9059cbb936044808301949391928390030190829087803b15156106d957fe5b6102c65a03f115156106e757fe5b505060405151151590506106fb5760006000fd5b604080518681529051600160a060020a033316917f7fcf532c15f0a6db0bd6d0e038bea71d30d808c7d98cb3bf7268a95bf5081b65919081900360200190a25b5b5b50505b5050505050565b600160a060020a033381811660009081526001602052604081206005810154919390911615156107775760006000fd5b33600160a060020a0381166000908152600160205260409020600581015460a060020a900460ff16156107aa5760006000fd5b600160a060020a0333166000908152600160205260409020805490955089146107d35760006000fd5b600185015488146107e45760006000fd5b600285015487146107f55760006000fd5b600385015486146108065760006000fd5b60058501805474ff0000000000000000000000000000000000000000191660a060020a1790819055600354604080516000602091820181905282517f23b872dd000000000000000000000000000000000000000000000000000000008152600160a060020a0395861660048201523086166024820152604481018c9052925194909316936323b872dd936064808501948390030190829087803b15156108a857fe5b6102c65a03f115156108b657fe5b505060405151151590506108ca5760006000fd5b600585015460408051600160a060020a039283168152602081018c90528082018b9052606081018a90526080810189905290513392909216917fea82fa2a35ca7f8325d2d09b332a681a74ef8ee132b47febf11e0d6cfbd07b7d9181900360a00190a25b5b50505b50505050505050565b6000610945611191565b50600160a060020a03828116600090815260016020818152604092839020835160e08101855281548152928101549183019190915260028101549282019290925260038201546060820181905260048301546080830181905260059093015493841660a083015260a060020a90930460ff16151560c0820152916109c89161112e565b91505b50919050565b600160208190526000918252604090912080549181015460028201546003830154600484015460059094015492939192909190600160a060020a0381169060a060020a900460ff1687565b600054600160a060020a031681565b6000805481908190819033600160a060020a03908116911614610a4e5760006000fd5b600160a060020a0386166000908152600160205260409020600581015487919060a060020a900460ff161515610a845760006000fd5b86600160a060020a0381161515610a9b5760006000fd5b600160a060020a0389166000908152600160208190526040822090810154909850909650869550421015610ad55786600301549450610b5e565b6040805160e081018252885481526001890154602082015260028901549181019190915260038801546060820152600488015460808201526005880154600160a060020a03811660a083015260a060020a900460ff16151560c0820152610b3b906110c4565b9350610b4b84886004015461112e565b9550610b5b87600301548561112e565b94505b600160a060020a0389166000908152600160208190526040822082815590810182905560028101829055600381018290556004810191909155600501805474ffffffffffffffffffffffffffffffffffffffffff19169055851580610c4a5750600354604080516000602091820181905282517fa9059cbb000000000000000000000000000000000000000000000000000000008152600160a060020a038e81166004830152602482018c90529351939094169363a9059cbb936044808301949391928390030190829087803b1515610c3357fe5b6102c65a03f11515610c4157fe5b50506040515190505b1515610c565760006000fd5b841580610cea5750600354604080516000602091820181905282517fa9059cbb000000000000000000000000000000000000000000000000000000008152600160a060020a038d81166004830152602482018b90529351939094169363a9059cbb936044808301949391928390030190829087803b1515610cd357fe5b6102c65a03f11515610ce157fe5b50506040515190505b1515610cf65760006000fd5b60408051878152602081018790528151600160a060020a038c16927f5312918bb945e949b32d01afc69cad19c589287f4711f3c39aa84ae39a478f2e928290030190a25b5b505b50505b505050505050565b600260205260009081526040902054600160a060020a031681565b6000610d6d611191565b60005433600160a060020a03908116911614610d895760006000fd5b600160a060020a038085166000908152600260205260409020548591161515610db25760006000fd5b600160a060020a038085166000908152600160205260409020600581015486921615610dde5760006000fd5b600160a060020a038088166000908152600260205260409020548116955086168514610e0a5760006000fd5b6001600088600160a060020a0316600160a060020a0316815260200190815260200160002060e0604051908101604052908160008201548152602001600182015481526020016002820154815260200160038201548152602001600482015481526020016005820160009054906101000a9004600160a060020a0316600160a060020a0316600160a060020a031681526020016005820160149054906101000a900460ff1615151515815250509350836001600087600160a060020a0316600160a060020a03168152602001908152602001600020600082015181600001556020820151816001015560408201518160020155606082015181600301556080820151816004015560a08201518160050160006101000a815481600160a060020a030219169083600160a060020a0316021790555060c08201518160050160146101000a81548160ff0219169083151502179055509050506001600088600160a060020a0316600160a060020a031681526020019081526020016000206000600082016000905560018201600090556002820160009055600382016000905560048201600090556005820160006101000a815490600160a060020a0302191690556005820160146101000a81549060ff021916905550506002600088600160a060020a0316600160a060020a0316815260200190815260200160002060006101000a815490600160a060020a03021916905585600160a060020a031687600160a060020a03167f3e4882fc047fc5cb92f283c6f3b683c6befb9b02aed687b56407df15640b388560405180905060405180910390a35b5b50505b505b50505050565b60005433600160a060020a039081169116146110875760006000fd5b600160a060020a038116156110bf576000805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0383161790555b5b5b50565b60006000600060008460400151421015156110e55784606001519350611126565b6110f342866000015161112e565b92506111078560400151866000015161112e565b915061112061111a848760600151611145565b83611174565b90508093505b505050919050565b60008282111561113a57fe5b508082035b92915050565b6000828202831580611161575082848281151561115e57fe5b04145b151561116957fe5b8091505b5092915050565b60006000828481151561118357fe5b0490508091505b5092915050565b60e06040519081016040528060008152602001600081526020016000815260200160008152602001600081526020016000600160a060020a0316815260200160001515815250905600a165627a7a72305820fc71e24516666568c66ebfaca0192309cdc4a951f563407f3f99a0b999ba4a620029000000000000000000000000d23ac27148af6a2f339bd82d0e3cff380b5093de

0x606060405236156100ac5763ffffffff7c010000000000000000000000000000000000000000000000000000000060003504166301d490fd81146100ae5780630633cd32146100de5780633ccfd60b146100fc5780634ed600d11461010e57806370a082311461012c57806380c3780f1461015a5780638da5cb5b146101b9578063a5b19937146101e5578063b1e9ee6414610209578063bff44f0d14610241578063f2fde38b14610265575bfe5b34156100b657fe5b6100dc600160a060020a036004358116906024351660443560643560843560a435610283565b005b34156100e657fe5b6100dc600160a060020a0360043516610478565b005b341561010457fe5b6100dc61055c565b005b341561011657fe5b6100dc600435602435604435606435610747565b005b341561013457fe5b610148600160a060020a036004351661093b565b60408051918252519081900360200190f35b341561016257fe5b610176600160a060020a03600435166109d1565b6040805197885260208801969096528686019490945260608601929092526080850152600160a060020a031660a0840152151560c0830152519081900360e00190f35b34156101c157fe5b6101c9610a1c565b60408051600160a060020a039092168252519081900360200190f35b34156101ed57fe5b6100dc600160a060020a0360043581169060243516610a2b565b005b341561021157fe5b6101c9600160a060020a0360043516610d48565b60408051600160a060020a039092168252519081900360200190f35b341561024957fe5b6100dc600160a060020a0360043581169060243516610d63565b005b341561026d57fe5b6100dc600160a060020a036004351661106b565b005b60005433600160a060020a0390811691161461029f5760006000fd5b84600160a060020a03811615156102b65760006000fd5b600160a060020a0387166000908152600160205260409020600581015488919060a060020a900460ff16156102eb5760006000fd5b868686828210156102fc5760006000fd5b8181101561030a5760006000fd5b60e0604051908101604052808b81526020018a8152602001898152602001888152602001600081526020018c600160a060020a0316815260200160001515815250600160008e600160a060020a0316600160a060020a03168152602001908152602001600020600082015181600001556020820151816001015560408201518160020155606082015181600301556080820151816004015560a08201518160050160006101000a815481600160a060020a030219169083600160a060020a0316021790555060c08201518160050160146101000a81548160ff0219169083151502179055509050508b600160a060020a03167feabffab667737db1059b7735b91f5924be3f07f24e6374dbb1b9d11668ed89a58c8c8c8c8c6040518086600160a060020a0316600160a060020a031681526020018581526020018481526020018381526020018281526020019550505050505060405180910390a25b5b5050505b50505b505b505050505050565b33600160a060020a0381166000908152600160205260409020600581015460a060020a900460ff1615156104ac5760006000fd5b600160a060020a0380841660009081526001602052604090206005810154859216156104d85760006000fd5b84600160a060020a03811615156104ef5760006000fd5b600160a060020a033381166000818152600260205260408082208054948b1673ffffffffffffffffffffffffffffffffffffffff1990951685179055517f4fd8411c817c0b524aeeef15446e8327901fcf5b6a31246930dfbe5f8c1223519190a35b5b505b50505b505050565b33600160a060020a038116600090815260016020526040812060058101549192839283929060a060020a900460ff1615156105975760006000fd5b33600160a060020a03811660009081526001602081905260409091209081015442116105c35760006000fd5b33600160a060020a03908116600090815260016020818152604092839020835160e0810185528154815292810154918301919091526002810154928201929092526003820154606082015260048201546080820152600582015492831660a082015260a060020a90920460ff16151560c08301529750610642906110c4565b955061065286886004015461112e565b600488018790559450600085111561046e57600354604080516000602091820181905282517fa9059cbb000000000000000000000000000000000000000000000000000000008152600160a060020a033381166004830152602482018b90529351939094169363a9059cbb936044808301949391928390030190829087803b15156106d957fe5b6102c65a03f115156106e757fe5b505060405151151590506106fb5760006000fd5b604080518681529051600160a060020a033316917f7fcf532c15f0a6db0bd6d0e038bea71d30d808c7d98cb3bf7268a95bf5081b65919081900360200190a25b5b5b50505b5050505050565b600160a060020a033381811660009081526001602052604081206005810154919390911615156107775760006000fd5b33600160a060020a0381166000908152600160205260409020600581015460a060020a900460ff16156107aa5760006000fd5b600160a060020a0333166000908152600160205260409020805490955089146107d35760006000fd5b600185015488146107e45760006000fd5b600285015487146107f55760006000fd5b600385015486146108065760006000fd5b60058501805474ff0000000000000000000000000000000000000000191660a060020a1790819055600354604080516000602091820181905282517f23b872dd000000000000000000000000000000000000000000000000000000008152600160a060020a0395861660048201523086166024820152604481018c9052925194909316936323b872dd936064808501948390030190829087803b15156108a857fe5b6102c65a03f115156108b657fe5b505060405151151590506108ca5760006000fd5b600585015460408051600160a060020a039283168152602081018c90528082018b9052606081018a90526080810189905290513392909216917fea82fa2a35ca7f8325d2d09b332a681a74ef8ee132b47febf11e0d6cfbd07b7d9181900360a00190a25b5b50505b50505050505050565b6000610945611191565b50600160a060020a03828116600090815260016020818152604092839020835160e08101855281548152928101549183019190915260028101549282019290925260038201546060820181905260048301546080830181905260059093015493841660a083015260a060020a90930460ff16151560c0820152916109c89161112e565b91505b50919050565b600160208190526000918252604090912080549181015460028201546003830154600484015460059094015492939192909190600160a060020a0381169060a060020a900460ff1687565b600054600160a060020a031681565b6000805481908190819033600160a060020a03908116911614610a4e5760006000fd5b600160a060020a0386166000908152600160205260409020600581015487919060a060020a900460ff161515610a845760006000fd5b86600160a060020a0381161515610a9b5760006000fd5b600160a060020a0389166000908152600160208190526040822090810154909850909650869550421015610ad55786600301549450610b5e565b6040805160e081018252885481526001890154602082015260028901549181019190915260038801546060820152600488015460808201526005880154600160a060020a03811660a083015260a060020a900460ff16151560c0820152610b3b906110c4565b9350610b4b84886004015461112e565b9550610b5b87600301548561112e565b94505b600160a060020a0389166000908152600160208190526040822082815590810182905560028101829055600381018290556004810191909155600501805474ffffffffffffffffffffffffffffffffffffffffff19169055851580610c4a5750600354604080516000602091820181905282517fa9059cbb000000000000000000000000000000000000000000000000000000008152600160a060020a038e81166004830152602482018c90529351939094169363a9059cbb936044808301949391928390030190829087803b1515610c3357fe5b6102c65a03f11515610c4157fe5b50506040515190505b1515610c565760006000fd5b841580610cea5750600354604080516000602091820181905282517fa9059cbb000000000000000000000000000000000000000000000000000000008152600160a060020a038d81166004830152602482018b90529351939094169363a9059cbb936044808301949391928390030190829087803b1515610cd357fe5b6102c65a03f11515610ce157fe5b50506040515190505b1515610cf65760006000fd5b60408051878152602081018790528151600160a060020a038c16927f5312918bb945e949b32d01afc69cad19c589287f4711f3c39aa84ae39a478f2e928290030190a25b5b505b50505b505050505050565b600260205260009081526040902054600160a060020a031681565b6000610d6d611191565b60005433600160a060020a03908116911614610d895760006000fd5b600160a060020a038085166000908152600260205260409020548591161515610db25760006000fd5b600160a060020a038085166000908152600160205260409020600581015486921615610dde5760006000fd5b600160a060020a038088166000908152600260205260409020548116955086168514610e0a5760006000fd5b6001600088600160a060020a0316600160a060020a0316815260200190815260200160002060e0604051908101604052908160008201548152602001600182015481526020016002820154815260200160038201548152602001600482015481526020016005820160009054906101000a9004600160a060020a0316600160a060020a0316600160a060020a031681526020016005820160149054906101000a900460ff1615151515815250509350836001600087600160a060020a0316600160a060020a03168152602001908152602001600020600082015181600001556020820151816001015560408201518160020155606082015181600301556080820151816004015560a08201518160050160006101000a815481600160a060020a030219169083600160a060020a0316021790555060c08201518160050160146101000a81548160ff0219169083151502179055509050506001600088600160a060020a0316600160a060020a031681526020019081526020016000206000600082016000905560018201600090556002820160009055600382016000905560048201600090556005820160006101000a815490600160a060020a0302191690556005820160146101000a81549060ff021916905550506002600088600160a060020a0316600160a060020a0316815260200190815260200160002060006101000a815490600160a060020a03021916905585600160a060020a031687600160a060020a03167f3e4882fc047fc5cb92f283c6f3b683c6befb9b02aed687b56407df15640b388560405180905060405180910390a35b5b50505b505b50505050565b60005433600160a060020a039081169116146110875760006000fd5b600160a060020a038116156110bf576000805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0383161790555b5b5b50565b60006000600060008460400151421015156110e55784606001519350611126565b6110f342866000015161112e565b92506111078560400151866000015161112e565b915061112061111a848760600151611145565b83611174565b90508093505b505050919050565b60008282111561113a57fe5b508082035b92915050565b6000828202831580611161575082848281151561115e57fe5b04145b151561116957fe5b8091505b5092915050565b60006000828481151561118357fe5b0490508091505b5092915050565b60e06040519081016040528060008152602001600081526020016000815260200160008152602001600081526020016000600160a060020a0316815260200160001515815250905600a165627a7a72305820fc71e24516666568c66ebfaca0192309cdc4a951f563407f3f99a0b999ba4a620029

000000000000000000000000d23ac27148af6a2f339bd82d0e3cff380b5093de

-----Decoded View---------------
Arg [0] : _vestingToken (address): 0xD23Ac27148aF6A2f339BD82D0e3CFF380b5093de

-----Encoded View---------------
1 Constructor Arguments found :
Arg [0] : 000000000000000000000000d23ac27148af6a2f339bd82d0e3cff380b5093de

3641:11130:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7342:1024;;;;;;;;-1:-1:-1;;;;;7342:1024:0;;;;;;;;;;;;;;;;;;;;12217:372;;;;;;;;-1:-1:-1;;;;;12217:372:0;;;;;;;9948:633;;;;;;;;;;;;8855:993;;;;;;;;;;;;;;;;;;;;14509:259;;;;;;;;-1:-1:-1;;;;;14509:259:0;;;;;;;;;;;;;;;;;;;;;3694:52;;;;;;;;-1:-1:-1;;;;;3694:52:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;3694:52:0;;;;;;;;;;;;;;;;;;;;371:20;;;;;;;;;;;;;;-1:-1:-1;;;;;371:20:0;;;;;;;;;;;;;;10951:1118;;;;;;;;-1:-1:-1;;;;;10951:1118:0;;;;;;;;;;;;3801:56;;;;;;;;-1:-1:-1;;;;;3801:56:0;;;;;;;;;-1:-1:-1;;;;;3801:56:0;;;;;;;;;;;;;;12826:775;;;;;;;;-1:-1:-1;;;;;12826:775:0;;;;;;;;;;;;552:144;;;;;;;;-1:-1:-1;;;;;552:144:0;;;;;;;7342:1024;518:5;;504:10;-1:-1:-1;;;;;504:19:0;;;518:5;;504:19;496:28;;;;;;7626:10;-1:-1:-1;;;;;6478:20:0;;;;6470:29;;;;;;-1:-1:-1;;;;;5751:17:0;;5709:39;5751:17;;;:9;:17;;;;;5788:27;;;;5751:17;;;-1:-1:-1;;;5788:27:0;;;;5787:28;5779:37;;;;;;7730:15;7747;7764:13;6308:32;;;;6300:41;;;;;;6360:30;;;;6352:39;;;;;;7827:309;;;;;;;;;7874:15;7827:309;;;;7920:15;7827:309;;;;7964:13;7827:309;;;;8005:12;7827:309;;;;8054:1;7827:309;;;;8081:10;-1:-1:-1;;;;;7827:309:0;;;;;8119:5;7827:309;;;;;7795:9;:29;7805:18;-1:-1:-1;;;;;7795:29:0;-1:-1:-1;;;;;7795:29:0;;;;;;;;;;;;:341;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;7795:341:0;;;;;-1:-1:-1;;;;;7795:341:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8189:18;-1:-1:-1;;;;;8149:209:0;;8222:10;8247:15;8277;8307:13;8335:12;8149:209;;;;-1:-1:-1;;;;;8149:209:0;-1:-1:-1;;;;;8149:209:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6402:1;5827;;;;6510;;;535;;7342:1024;;;;;;;:::o;12217:372::-;12328:10;-1:-1:-1;;;;;5553:17:0;;5511:39;5553:17;;;:9;:17;;;;;5589:27;;;;-1:-1:-1;;;5589:27:0;;;;5581:36;;;;;;;;-1:-1:-1;;;;;5346:17:0;;;5304:39;5346:17;;;:9;:17;;;;;5382:25;;;;12370:21;;5382:25;:39;5374:48;;;;;;12417:21;-1:-1:-1;;;;;6478:20:0;;;;6470:29;;;;;;-1:-1:-1;;;;;12478:10:0;12456:33;;;;;;:21;:33;;;;;;:57;;;;;-1:-1:-1;;12456:57:0;;;;;;;12524;;;12456:33;12524:57;6510:1;5433;;5628;;;12217:372;;;;:::o;9948:633::-;10018:10;-1:-1:-1;;;;;5553:17:0;;10081:39;5553:17;;;:9;:17;;;;;5589:27;;;;10081:39;;;;;;5553:17;-1:-1:-1;;;5589:27:0;;;;5581:36;;;;;;;;10053:10;-1:-1:-1;;;;;6080:17:0;;6038:39;6080:17;;;:9;:17;;;;;;;;6134:30;;;;6116:15;:48;6108:57;;;;;;10133:10;-1:-1:-1;;;;;10123:21:0;;;;;;;:9;:21;;;;;;;;;10182:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;10182:37:0;;;;;;;;;;;10123:21;-1:-1:-1;10182:37:0;;:20;:37::i;:::-;10157:62;;10256:64;10264:17;10283:15;:36;;;10256:7;:64::i;:::-;10331:36;;;:56;;;10230:90;-1:-1:-1;10425:1:0;10404:22;;10400:174;;;10451:12;;:53;;;:12;:53;;;;;;;;;;;;-1:-1:-1;;;;;10473:10:0;10451:53;;;;;;;;;;;;;;:12;;;;;:21;;:53;;;;;;;;;;;;;;;:12;:53;;;;;;;;;;;;;;;;;;-1:-1:-1;;10451:53:0;;;10443:62;;;-1:-1:-1;10443:62:0;;;;;;10520:42;;;;;;;;-1:-1:-1;;;;;10531:10:0;10520:42;;;;;;;;;;;;10400:174;6176:1;5628;;;9948:633;;;;;;:::o;8855:993::-;-1:-1:-1;;;;;9056:10:0;5143:17;;;9133:39;5143:17;;;:9;:17;;;;;5179:25;;;;9133:39;;5143:17;;5179:25;:39;;5171:48;;;;;;9105:10;-1:-1:-1;;;;;5751:17:0;;5709:39;5751:17;;;:9;:17;;;;;5788:27;;;;-1:-1:-1;;;5788:27:0;;;;5787:28;5779:37;;;;;;-1:-1:-1;;;;;9185:10:0;9175:21;;;;;:9;:21;;;;;9217:30;;9175:21;;-1:-1:-1;9217:49:0;;9209:58;;;;;;9286:30;;;;:49;;9278:58;;;;;;9355:28;;;;:45;;9347:54;;;;;;9420:27;;;;:43;;9412:52;;;;;;9477:27;;;:34;;-1:-1:-1;;9477:34:0;-1:-1:-1;;;9477:34:0;;;;;9530:12;;:81;;;9477:34;9530:81;;;;;;;;;;;;-1:-1:-1;;;;;9556:25:0;;;9530:81;;;;9591:4;9530:81;;;;;;;;;;;;;;:12;;;;;:25;;:81;;;;;;;;;;;;:12;:81;;;;;;;;;;;;;;;;;;-1:-1:-1;;9530:81:0;;;9522:90;;;-1:-1:-1;9522:90:0;;;;;;9689:25;;;;9625:215;;;-1:-1:-1;;;;;9689:25:0;;;9625:215;;;;;;;;;;;;;;;;;;;;;;;;;;;;9664:10;9625:215;;;;;;;;;;;;;;5827:1;5230;;;8855:993;;;;;;;;:::o;14509:259::-;14581:4;14598:38;;:::i;:::-;-1:-1:-1;;;;;;14639:29:0;;;;;;;:9;:29;;;;;;;;;14598:70;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;14598:70:0;;;;;;;;;;;;14686:74;;:7;:74::i;:::-;14679:81;;14509:259;;;;;:::o;3694:52::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;3694:52:0;;;-1:-1:-1;;;3694:52:0;;;;;:::o;371:20::-;;;-1:-1:-1;;;;;371:20:0;;:::o;10951:1118::-;11162:39;518:5;;11162:39;;;;;;504:10;-1:-1:-1;;;;;504:19:0;;;518:5;;504:19;496:28;;;;;;-1:-1:-1;;;;;5553:17:0;;5511:39;5553:17;;;:9;:17;;;;;5589:27;;;;5553:17;;;-1:-1:-1;;;5589:27:0;;;;5581:36;;;;;;;;11128:16;-1:-1:-1;;;;;6478:20:0;;;;6470:29;;;;;;-1:-1:-1;;;;;11204:24:0;;;;;;:9;:24;;;;;;;11339:30;;;;11204:24;;-1:-1:-1;11204:24:0;;-1:-1:-1;11204:24:0;;-1:-1:-1;11321:15:0;:48;11317:411;;;11405:15;:27;;;11386:46;;11317:411;;;11490:37;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;11490:37:0;;;;;;-1:-1:-1;;;11490:37:0;;;;;;;;;;;;:20;:37::i;:::-;11465:62;;11563:64;11571:17;11590:15;:36;;;11563:7;:64::i;:::-;11542:85;;11661:55;11669:15;:27;;;11698:17;11661:7;:55::i;:::-;11642:74;;11317:411;-1:-1:-1;;;;;11747:24:0;;;;;;:9;:24;;;;;;;11740:31;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;11740:31:0;;;11790:23;;;:83;;-1:-1:-1;11817:12:0;;:56;;;:12;:56;;;;;;;;;;;;-1:-1:-1;;;;;11817:56:0;;;;;;;;;;;;;;;:12;;;;;:21;;:56;;;;;;;;;;;;;;;:12;:56;;;;;;;;;;;;;;;;;;-1:-1:-1;;11817:56:0;;;;-1:-1:-1;11790:83:0;11782:92;;;;;;;;11893:21;;;:82;;-1:-1:-1;11918:12:0;;:57;;;:12;:57;;;;;;;;;;;;-1:-1:-1;;;;;11918:57:0;;;;;;;;;;;;;;;:12;;;;;:21;;:57;;;;;;;;;;;;;;;:12;:57;;;;;;;;;;;;;;;;;;-1:-1:-1;;11918:57:0;;;;-1:-1:-1;11893:82:0;11885:91;;;;;;;;11989:72;;;;;;;;;;;;;;-1:-1:-1;;;;;11989:72:0;;;;;;;;;;;6510:1;5628;;535;;;10951:1118;;;;;;;:::o;3801:56::-;;;;;;;;;;;;-1:-1:-1;;;;;3801:56:0;;:::o;12826:775::-;13082:28;13265:38;;:::i;:::-;518:5;;504:10;-1:-1:-1;;;;;504:19:0;;;518:5;;504:19;496:28;;;;;;-1:-1:-1;;;;;5916:29:0;;;5957:1;5916:29;;;:21;:29;;;;;;12990:21;;5916:29;:43;;5908:52;;;;;;-1:-1:-1;;;;;5346:17:0;;;5304:39;5346:17;;;:9;:17;;;;;5382:25;;;;13043:21;;5382:25;:39;5374:48;;;;;;-1:-1:-1;;;;;13113:44:0;;;;;;;:21;:44;;;;;;;;;-1:-1:-1;13176:45:0;;;;13168:54;;;;;;13306:9;:32;13316:21;-1:-1:-1;;;;;13306:32:0;-1:-1:-1;;;;;13306:32:0;;;;;;;;;;;;13265:73;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;13265:73:0;-1:-1:-1;;;;;13265:73:0;-1:-1:-1;;;;;13265:73:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;13383:15;13349:9;:31;13359:20;-1:-1:-1;;;;;13349:31:0;-1:-1:-1;;;;;13349:31:0;;;;;;;;;;;;:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;13349:49:0;;;;;-1:-1:-1;;;;;13349:49:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13418:9;:32;13428:21;-1:-1:-1;;;;;13418:32:0;-1:-1:-1;;;;;13418:32:0;;;;;;;;;;;;;13411:39;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;13411:39:0;;;;;;;;;;;;;;;;;;;;;;13468:21;:44;13490:21;-1:-1:-1;;;;;13468:44:0;-1:-1:-1;;;;;13468:44:0;;;;;;;;;;;;;13461:51;;;;;-1:-1:-1;;;;;13461:51:0;;;;;13571:21;-1:-1:-1;;;;;13525:68:0;13548:21;-1:-1:-1;;;;;13525:68:0;;;;;;;;;;;;;;5433:1;5971;;;535;;12826:775;;;;;:::o;552:144::-;518:5;;504:10;-1:-1:-1;;;;;504:19:0;;;518:5;;504:19;496:28;;;;;;-1:-1:-1;;;;;622:22:0;;;618:71;;661:5;:16;;-1:-1:-1;;661:16:0;-1:-1:-1;;;;;661:16:0;;;;;618:71;535:1;552:144;;:::o;13881:620::-;13980:4;14102:24;14196:26;14305:22;14025:15;:28;;;14006:15;:47;;14002:87;;;14062:15;:27;;;14055:34;;;;14002:87;14129:56;14137:15;14154;:30;;;14129:7;:56::i;:::-;14102:83;;14225:69;14233:15;:28;;;14263:15;:30;;;14225:7;:69::i;:::-;14196:98;;14330:126;14352:57;14360:19;14381:15;:27;;;14352:7;:57::i;:::-;14424:21;14330:7;:126::i;:::-;14305:151;;14476:17;14469:24;;13881:620;;;;;;;:::o;2883:122::-;2943:4;2967:6;;;;2960:14;;;;-1:-1:-1;2992:5:0;;;2883:122;;;;;:::o;2592:157::-;2652:4;2678:5;;;2701:6;;;:20;;;2720:1;2715;2711;:5;;;;;;;;:10;2701:20;2694:28;;;;;;2740:1;2733:8;;2592:157;;;;;;:::o;2757:118::-;2817:4;2834:6;2847:1;2843;:5;;;;;;;;2834:14;;2866:1;2859:8;;2757:118;;;;;;:::o;3641:11130::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;3641:11130:0;;;;;;;;;;;;:::o

bzzr://fc71e24516666568c66ebfaca0192309cdc4a951f563407f3f99a0b999ba4a62