Token

/**
 *Submitted for verification at Etherscan.io on 2019-06-04
*/

pragma solidity ^0.5.2;

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

    /**
     * @dev give an account access to this role
     */
    function add(Role storage role, address account) internal {
        require(account != address(0));
        require(!has(role, account));

        role.bearer[account] = true;
    }

    /**
     * @dev remove an account's access to this role
     */
    function remove(Role storage role, address account) internal {
        require(account != address(0));
        require(has(role, account));

        role.bearer[account] = false;
    }

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

contract PauserRole {
    using Roles for Roles.Role;

    event PauserAdded(address indexed account);
    event PauserRemoved(address indexed account);

    Roles.Role private _pausers;

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

    modifier onlyPauser() {
        require(isPauser(msg.sender));
        _;
    }

    function isPauser(address account) public view returns (bool) {
        return _pausers.has(account);
    }

    function addPauser(address account) public onlyPauser {
        _addPauser(account);
    }

    function renouncePauser() public {
        _removePauser(msg.sender);
    }

    function _addPauser(address account) internal {
        _pausers.add(account);
        emit PauserAdded(account);
    }

    function _removePauser(address account) internal {
        _pausers.remove(account);
        emit PauserRemoved(account);
    }
}

/**
 * @title Pausable
 * @dev Base contract which allows children to implement an emergency stop mechanism.
 */
contract Pausable is PauserRole {
    event Paused(address account);
    event Unpaused(address account);

    bool private _paused;

    constructor () internal {
        _paused = false;
    }

    /**
     * @return true if the contract is paused, false otherwise.
     */
    function paused() public view returns (bool) {
        return _paused;
    }

    /**
     * @dev Modifier to make a function callable only when the contract is not paused.
     */
    modifier whenNotPaused() {
        require(!_paused);
        _;
    }

    /**
     * @dev Modifier to make a function callable only when the contract is paused.
     */
    modifier whenPaused() {
        require(_paused);
        _;
    }

    /**
     * @dev called by the owner to pause, triggers stopped state
     */
    function pause() public onlyPauser whenNotPaused {
        _paused = true;
        emit Paused(msg.sender);
    }

    /**
     * @dev called by the owner to unpause, returns to normal state
     */
    function unpause() public onlyPauser whenPaused {
        _paused = false;
        emit Unpaused(msg.sender);
    }
}

/**
 * @title ERC20 interface
 * @dev see https://github.com/ethereum/EIPs/issues/20
 */
interface IERC20 {
    function transfer(address to, uint256 value) external returns (bool);

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

    function transferFrom(address from, address to, uint256 value) external returns (bool);

    function totalSupply() external view returns (uint256);

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

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

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

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

/**
 * @title ERC20Detailed token
 * @dev The decimals are only for visualization purposes.
 * All the operations are done using the smallest and indivisible token unit,
 * just as on Ethereum all the operations are done in wei.
 */
contract ERC20Detailed is IERC20 {
    string private _name;
    string private _symbol;
    uint8 private _decimals;

    constructor (string memory name, string memory symbol, uint8 decimals) public {
        _name = name;
        _symbol = symbol;
        _decimals = decimals;
    }

    /**
     * @return the name of the token.
     */
    function name() public view returns (string memory) {
        return _name;
    }

    /**
     * @return the symbol of the token.
     */
    function symbol() public view returns (string memory) {
        return _symbol;
    }

    /**
     * @return the number of decimals of the token.
     */
    function decimals() public view returns (uint8) {
        return _decimals;
    }
}

/**
 * @title SafeMath
 * @dev Unsigned math operations with safety checks that revert on error
 */
library SafeMath {
    /**
     * @dev Multiplies two unsigned integers, reverts on overflow.
     */
    function mul(uint256 a, uint256 b) internal pure returns (uint256) {
        // Gas optimization: this is cheaper than requiring 'a' not being zero, but the
        // benefit is lost if 'b' is also tested.
        // See: https://github.com/OpenZeppelin/openzeppelin-solidity/pull/522
        if (a == 0) {
            return 0;
        }

        uint256 c = a * b;
        require(c / a == b);

        return c;
    }

    /**
     * @dev Integer division of two unsigned integers truncating the quotient, reverts on division by zero.
     */
    function div(uint256 a, uint256 b) internal pure returns (uint256) {
        // Solidity only automatically asserts when dividing by 0
        require(b > 0);
        uint256 c = a / b;
        // assert(a == b * c + a % b); // There is no case in which this doesn't hold

        return c;
    }

    /**
     * @dev Subtracts two unsigned integers, reverts on overflow (i.e. if subtrahend is greater than minuend).
     */
    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b <= a);
        uint256 c = a - b;

        return c;
    }

    /**
     * @dev Adds two unsigned integers, reverts on overflow.
     */
    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a);

        return c;
    }

    /**
     * @dev Divides two unsigned integers and returns the remainder (unsigned integer modulo),
     * reverts when dividing by zero.
     */
    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b != 0);
        return a % b;
    }
}

/**
 * @title Standard ERC20 token
 *
 * @dev Implementation of the basic standard token.
 * https://github.com/ethereum/EIPs/blob/master/EIPS/eip-20.md
 * Originally based on code by FirstBlood:
 * https://github.com/Firstbloodio/token/blob/master/smart_contract/FirstBloodToken.sol
 *
 * This implementation emits additional Approval events, allowing applications to reconstruct the allowance status for
 * all accounts just by listening to said events. Note that this isn't required by the specification, and other
 * compliant implementations may not do it.
 */
contract ERC20 is IERC20 {
    using SafeMath for uint256;

    mapping (address => uint256) private _balances;

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

    uint256 private _totalSupply;

    /**
     * @dev Total number of tokens in existence
     */
    function totalSupply() public view returns (uint256) {
        return _totalSupply;
    }

    /**
     * @dev Gets the balance of the specified address.
     * @param owner The address to query the balance of.
     * @return An uint256 representing the amount owned by the passed address.
     */
    function balanceOf(address owner) public view returns (uint256) {
        return _balances[owner];
    }

    /**
     * @dev Function to check the amount of tokens that an owner allowed to a spender.
     * @param owner address The address which owns the funds.
     * @param spender address The address which will spend the funds.
     * @return A uint256 specifying the amount of tokens still available for the spender.
     */
    function allowance(address owner, address spender) public view returns (uint256) {
        return _allowed[owner][spender];
    }

    /**
     * @dev Transfer token for a specified address
     * @param to The address to transfer to.
     * @param value The amount to be transferred.
     */
    function transfer(address to, uint256 value) public returns (bool) {
        _transfer(msg.sender, to, value);
        return true;
    }

    /**
     * @dev Approve the passed address to spend the specified amount of tokens on behalf of msg.sender.
     * Beware that changing an allowance with this method brings the risk that someone may use both the old
     * and the new allowance by unfortunate transaction ordering. One possible solution to mitigate this
     * race condition is to first reduce the spender's allowance to 0 and set the desired value afterwards:
     * https://github.com/ethereum/EIPs/issues/20#issuecomment-263524729
     * @param spender The address which will spend the funds.
     * @param value The amount of tokens to be spent.
     */
    function approve(address spender, uint256 value) public returns (bool) {
        _approve(msg.sender, spender, value);
        return true;
    }

    /**
     * @dev Transfer tokens from one address to another.
     * Note that while this function emits an Approval event, this is not required as per the specification,
     * and other compliant implementations may not emit the event.
     * @param from address The address which you want to send tokens from
     * @param to address The address which you want to transfer to
     * @param value uint256 the amount of tokens to be transferred
     */
    function transferFrom(address from, address to, uint256 value) public returns (bool) {
        _transfer(from, to, value);
        _approve(from, msg.sender, _allowed[from][msg.sender].sub(value));
        return true;
    }

    /**
     * @dev Increase the amount of tokens that an owner allowed to a spender.
     * approve should be called when allowed_[_spender] == 0. To increment
     * allowed value is better to use this function to avoid 2 calls (and wait until
     * the first transaction is mined)
     * From MonolithDAO Token.sol
     * Emits an Approval event.
     * @param spender The address which will spend the funds.
     * @param addedValue The amount of tokens to increase the allowance by.
     */
    function increaseAllowance(address spender, uint256 addedValue) public returns (bool) {
        _approve(msg.sender, spender, _allowed[msg.sender][spender].add(addedValue));
        return true;
    }

    /**
     * @dev Decrease the amount of tokens that an owner allowed to a spender.
     * approve should be called when allowed_[_spender] == 0. To decrement
     * allowed value is better to use this function to avoid 2 calls (and wait until
     * the first transaction is mined)
     * From MonolithDAO Token.sol
     * Emits an Approval event.
     * @param spender The address which will spend the funds.
     * @param subtractedValue The amount of tokens to decrease the allowance by.
     */
    function decreaseAllowance(address spender, uint256 subtractedValue) public returns (bool) {
        _approve(msg.sender, spender, _allowed[msg.sender][spender].sub(subtractedValue));
        return true;
    }

    /**
     * @dev Transfer token for a specified addresses
     * @param from The address to transfer from.
     * @param to The address to transfer to.
     * @param value The amount to be transferred.
     */
    function _transfer(address from, address to, uint256 value) internal {
        require(to != address(0));

        _balances[from] = _balances[from].sub(value);
        _balances[to] = _balances[to].add(value);
        emit Transfer(from, to, value);
    }

    /**
     * @dev Internal function that mints an amount of the token and assigns it to
     * an account. This encapsulates the modification of balances such that the
     * proper events are emitted.
     * @param account The account that will receive the created tokens.
     * @param value The amount that will be created.
     */
    function _mint(address account, uint256 value) internal {
        require(account != address(0));

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

    /**
     * @dev Internal function that burns an amount of the token of a given
     * account.
     * @param account The account whose tokens will be burnt.
     * @param value The amount that will be burnt.
     */
    function _burn(address account, uint256 value) internal {
        require(account != address(0));

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

    /**
     * @dev Approve an address to spend another addresses' tokens.
     * @param owner The address that owns the tokens.
     * @param spender The address that will spend the tokens.
     * @param value The number of tokens that can be spent.
     */
    function _approve(address owner, address spender, uint256 value) internal {
        require(spender != address(0));
        require(owner != address(0));

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

    /**
     * @dev Internal function that burns an amount of the token of a given
     * account, deducting from the sender's allowance for said account. Uses the
     * internal burn function.
     * Emits an Approval event (reflecting the reduced allowance).
     * @param account The account whose tokens will be burnt.
     * @param value The amount that will be burnt.
     */
    function _burnFrom(address account, uint256 value) internal {
        _burn(account, value);
        _approve(account, msg.sender, _allowed[account][msg.sender].sub(value));
    }
}

/**
 * @title Burnable Token
 * @dev Token that can be irreversibly burned (destroyed).
 */
contract ERC20Burnable is ERC20 {
    /**
     * @dev Burns a specific amount of tokens.
     * @param value The amount of token to be burned.
     */
    function burn(uint256 value) public {
        _burn(msg.sender, value);
    }

    /**
     * @dev Burns a specific amount of tokens from the target address and decrements allowance
     * @param from address The account whose tokens will be burned.
     * @param value uint256 The amount of token to be burned.
     */
    function burnFrom(address from, uint256 value) public {
        _burnFrom(from, value);
    }
}

/**
 * @title Ownable
 * @dev The Ownable contract has an owner address, and provides basic authorization control
 * functions, this simplifies the implementation of "user permissions".
 */
contract Ownable {
    address private _owner;

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

    /**
     * @dev The Ownable constructor sets the original `owner` of the contract to the sender
     * account.
     */
    constructor () internal {
        _owner = msg.sender;
        emit OwnershipTransferred(address(0), _owner);
    }

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

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        require(isOwner());
        _;
    }

    /**
     * @return true if `msg.sender` is the owner of the contract.
     */
    function isOwner() public view returns (bool) {
        return msg.sender == _owner;
    }

    /**
     * @dev Allows the current owner to relinquish control of the contract.
     * @notice Renouncing to ownership will leave the contract without an owner.
     * It will not be possible to call the functions with the `onlyOwner`
     * modifier anymore.
     */
    function renounceOwnership() public onlyOwner {
        emit OwnershipTransferred(_owner, address(0));
        _owner = address(0);
    }

    /**
     * @dev Allows the current owner to transfer control of the contract to a newOwner.
     * @param newOwner The address to transfer ownership to.
     */
    function transferOwnership(address newOwner) public onlyOwner {
        _transferOwnership(newOwner);
    }

    /**
     * @dev Transfers control of the contract to a newOwner.
     * @param newOwner The address to transfer ownership to.
     */
    function _transferOwnership(address newOwner) internal {
        require(newOwner != address(0));
        emit OwnershipTransferred(_owner, newOwner);
        _owner = newOwner;
    }
}

contract MinterRole {
    using Roles for Roles.Role;

    event MinterAdded(address indexed account);
    event MinterRemoved(address indexed account);

    Roles.Role private _minters;

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

    modifier onlyMinter() {
        require(isMinter(msg.sender));
        _;
    }

    function isMinter(address account) public view returns (bool) {
        return _minters.has(account);
    }

    function addMinter(address account) public onlyMinter {
        _addMinter(account);
    }

    function renounceMinter() public {
        _removeMinter(msg.sender);
    }

    function _addMinter(address account) internal {
        _minters.add(account);
        emit MinterAdded(account);
    }

    function _removeMinter(address account) internal {
        _minters.remove(account);
        emit MinterRemoved(account);
    }
}

/// @title Migration Agent interface
contract MigrationAgent {

    function migrateFrom(address _from, uint256 _value) public;
}

/// @title Locked
/// @dev Smart contract to enable locking and unlocking of token holders. 
contract Locked is Ownable {

    mapping (address => bool) public lockedList;

    event AddedLock(address user);
    event RemovedLock(address user);


    /// @dev terminate transaction if any of the participants is locked
    /// @param _from - user initiating process
    /// @param _to  - user involved in process
    modifier isNotLocked(address _from, address _to) {

        if (_from != owner()) {  // allow contract owner on sending tokens even if recipient is locked
            require(!lockedList[_from], "User is locked");
            require(!lockedList[_to], "User is locked");
        }
        _;
    }

    /// @dev check if user has been locked
    /// @param _user - usr to check
    /// @return true or false
    function isLocked(address _user) public view returns (bool) {
        return lockedList[_user];
    }
    
    /// @dev add user to lock
    /// @param _user to lock
    function addLock (address _user) public onlyOwner {
        _addLock(_user);
    }

    /// @dev unlock user
    /// @param _user - user to unlock
    function removeLock (address _user) public onlyOwner {
        _removeLock(_user);
    }


    /// @dev add user to lock for internal needs
    /// @param _user to lock
    function _addLock(address _user) internal {
        lockedList[_user] = true;
        emit AddedLock(_user);
    }

    /// @dev unlock user for internal needs
    /// @param _user - user to unlock
    function _removeLock (address _user) internal {
        lockedList[_user] = false;
        emit RemovedLock(_user);
    }

}

/**
 * @title Token
 * @dev Burnable, Mintabble, Ownable, Pausable, with Locking ability per user.
 */
contract Token is Pausable, ERC20Detailed, Ownable, ERC20Burnable, MinterRole, Locked {

    uint8 constant DECIMALS = 18;
    uint256 public constant INITIAL_SUPPLY = 250000000 * (10 ** uint256(DECIMALS));
    uint256 public constant ONE_YEAR_SUPPLY = 12500000 * (10 ** uint256(DECIMALS));
    address initialAllocation = 0xd15F967c36870D8dA92208235770167DDbD66b42;
    address public migrationAgent;
    uint256 public totalMigrated;
    address public mintAgent;

    uint16 constant ORIGIN_YEAR = 1970;
    uint constant YEAR_IN_SECONDS = 31557600;  //average of seconds in 4 years including one leap year
                                               //giving approximate length of year without using precise calender

    mapping (uint => bool) public mintedYears;

    event Migrate(address indexed from, address indexed to, uint256 value);
    event MintAgentSet(address indexed mintAgent);
    event MigrationAgentSet(address indexed migrationAgent);

    /// @dev prevent accidental sending of tokens to this token contract
    /// @param _self - address of this contract
    modifier notSelf(address _self) {
        require(_self != address(this), "You are trying to send tokens to token contract");
        _;
    }

    /// @dev Constructor that gives msg.sender all of existing tokens and initiates token.
    constructor () public ERC20Detailed("Auditchain", "AUDT", DECIMALS)  {
        _mint(initialAllocation, INITIAL_SUPPLY + ONE_YEAR_SUPPLY);
        mintedYears[returnYear()] = true;
    }
     
    /// @dev Function to determine year based on the current time
    /// There is no need to deal with leap years as only once per year mining can be run and
    /// one day is meaningless
    function returnYear() internal view returns (uint) {

        uint year = ORIGIN_YEAR + (block.timestamp / YEAR_IN_SECONDS);
        return year;
    }

     /// @dev Function to mint tokens once per year
     /// @return A boolean that indicates if the operation was successful.
    function mint() public onlyMinter returns (bool) {

        require(mintAgent != address(0), "Mint agent address can't be 0");
        require (!mintedYears[returnYear()], "Tokens have been already minted for this year.");

        _mint(mintAgent, ONE_YEAR_SUPPLY);
        mintedYears[returnYear()] = true;

        return true;
    }

    /// @notice Set contract to which yearly tokens will be minted
    /// @param _mintAgent - address of the contract to set
    function setMintContract(address _mintAgent) external onlyOwner() {

        require(_mintAgent != address(0), "Mint agent address can't be 0");
        mintAgent = _mintAgent;
        emit MintAgentSet(_mintAgent);
    }

    /// @notice Migrate tokens to the new token contract.
    function migrate() external whenNotPaused() {

        uint value = balanceOf(msg.sender);
        require(migrationAgent != address(0), "Enter migration agent address");
        require(value > 0, "Amount of tokens is required");

        _addLock(msg.sender);
        burn(balanceOf(msg.sender));
        totalMigrated += value;
        MigrationAgent(migrationAgent).migrateFrom(msg.sender, value);
        _removeLock(msg.sender);
        emit Migrate(msg.sender, migrationAgent, value);
    }

    /// @notice Set address of migration target contract and enable migration process
    /// @param _agent The address of the MigrationAgent contract
    function setMigrationAgent(address _agent) external onlyOwner() {

        require(_agent != address(0), "Migration agent can't be 0");
        migrationAgent = _agent;
        emit MigrationAgentSet(_agent);
    }

    /// @notice Overwrite parent implementation to add locked verification and notSelf modifiers
    function transfer(address to, uint256 value) public
                                                    isNotLocked(msg.sender, to)
                                                    notSelf(to)
                                                    returns (bool) {
        return super.transfer(to, value);
    }

    /// @notice Overwrite parent implementation to add locked verification and notSelf modifiers
    function transferFrom(address from, address to, uint256 value) public
                                                                    isNotLocked(from, to)
                                                                    notSelf(to)
                                                                    returns (bool) {
        return super.transferFrom(from, to, value);
    }

    /// @notice Overwrite parent implementation to add locked verification and notSelf modifiers
    function approve(address spender, uint256 value) public
                                                        isNotLocked(msg.sender, spender)
                                                        notSelf(spender)
                                                        returns (bool) {
        return super.approve(spender, value);
    }

    /// @notice Overwrite parent implementation to add locked verification and notSelf modifiers
    function increaseAllowance(address spender, uint addedValue) public
                                                                isNotLocked(msg.sender, spender)
                                                                notSelf(spender)
                                                                returns (bool success) {
        return super.increaseAllowance(spender, addedValue);
    }

    /// @notice Overwrite parent implementation to add locked verification and notSelf modifiers
    function decreaseAllowance(address spender, uint subtractedValue) public
                                                                        isNotLocked(msg.sender, spender)
                                                                        notSelf(spender)
                                                                        returns (bool success) {
        return super.decreaseAllowance(spender, subtractedValue);
    }

}

• 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":"mintAgent","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"mint","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"lockedList","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"from","type":"address"},{"name":"to","type":"address"},{"name":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"INITIAL_SUPPLY","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"unpause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"value","type":"uint256"}],"name":"burn","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"account","type":"address"}],"name":"isPauser","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_user","type":"address"}],"name":"removeLock","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_user","type":"address"}],"name":"isLocked","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"paused","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_mintAgent","type":"address"}],"name":"setMintContract","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"renouncePauser","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":false,"inputs":[],"name":"renounceOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_agent","type":"address"}],"name":"setMigrationAgent","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"from","type":"address"},{"name":"value","type":"uint256"}],"name":"burnFrom","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"account","type":"address"}],"name":"addPauser","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"migrationAgent","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"pause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_user","type":"address"}],"name":"addLock","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"isOwner","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"migrate","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalMigrated","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"account","type":"address"}],"name":"addMinter","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"renounceMinter","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"to","type":"address"},{"name":"value","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"account","type":"address"}],"name":"isMinter","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"uint256"}],"name":"mintedYears","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"ONE_YEAR_SUPPLY","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":false,"inputs":[{"name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Migrate","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"mintAgent","type":"address"}],"name":"MintAgentSet","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"migrationAgent","type":"address"}],"name":"MigrationAgentSet","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"user","type":"address"}],"name":"AddedLock","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"user","type":"address"}],"name":"RemovedLock","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"account","type":"address"}],"name":"MinterAdded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"account","type":"address"}],"name":"MinterRemoved","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"previousOwner","type":"address"},{"indexed":true,"name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"owner","type":"address"},{"indexed":true,"name":"spender","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"account","type":"address"}],"name":"Paused","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"account","type":"address"}],"name":"Unpaused","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"account","type":"address"}],"name":"PauserAdded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"account","type":"address"}],"name":"PauserRemoved","type":"event"}]

608060405273d15f967c36870d8da92208235770167ddbd66b42600b60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055503480156200006657600080fd5b506040805190810160405280600a81526020017f4175646974636861696e000000000000000000000000000000000000000000008152506040805190810160405280600481526020017f41554454000000000000000000000000000000000000000000000000000000008152506012620000ef33620002d4640100000000026401000000009004565b6000600160006101000a81548160ff021916908315150217905550826002908051906020019062000122929190620006be565b5081600390805190602001906200013b929190620006be565b5080600460006101000a81548160ff021916908360ff16021790555050505033600860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a362000232336200033e640100000000026401000000009004565b6200028a600b60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16601260ff16600a0a62bebc2002601260ff16600a0a630ee6b2800201620003a8640100000000026401000000009004565b6001600f6000620002a96200051f640100000000026401000000009004565b815260200190815260200160002060006101000a81548160ff0219169083151502179055506200076d565b620002f881600062000544640100000000026200350d179091906401000000009004565b8073ffffffffffffffffffffffffffffffffffffffff167f6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f860405160405180910390a250565b6200036281600962000544640100000000026200350d179091906401000000009004565b8073ffffffffffffffffffffffffffffffffffffffff167f6ae172837ea30b801fbfcdd4108aa1d5bf8ff775444fd70256b44e6bf3dfc3f660405160405180910390a250565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614151515620003e557600080fd5b6200040a8160075462000607640100000000026200324b179091906401000000009004565b6007819055506200047281600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205462000607640100000000026200324b179091906401000000009004565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b6000806301e187e0428115156200053257fe5b046107b261ffff160190508091505090565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515156200058157600080fd5b6200059c828262000629640100000000026401000000009004565b151515620005a957600080fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b60008082840190508381101515156200061f57600080fd5b8091505092915050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141515156200066757600080fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200070157805160ff191683800117855562000732565b8280016001018555821562000732579182015b828111156200073157825182559160200191906001019062000714565b5b50905062000741919062000745565b5090565b6200076a91905b80821115620007665760008160009055506001016200074c565b5090565b90565b613646806200077d6000396000f3fe608060405234801561001057600080fd5b5060043610610265576000357c01000000000000000000000000000000000000000000000000000000009004806375e2ff651161015857806395d89b41116100d5578063aa271e1a11610099578063aa271e1a14610b0c578063d0abed2114610b68578063d0dafd8e14610bae578063dd62ed3e14610bcc578063f2fde38b14610c4457610265565b806395d89b411461096f578063983b2d56146109f25780639865027514610a36578063a457c2d714610a40578063a9059cbb14610aa657610265565b8063882f327b1161011c578063882f327b146108975780638da5cb5b146108db5780638f32d59b146109255780638fd3ab801461094757806395a0f5eb1461095157610265565b806375e2ff651461076d57806379cc6790146107b157806382dc1ec4146107ff5780638328dbcd146108435780638456cb591461088d57610265565b80633f4ba83a116101e65780635c975abb116101aa5780635c975abb1461069b5780635fb64a6a146106bd5780636ef8d66d1461070157806370a082311461070b578063715018a61461076357610265565b80633f4ba83a1461056757806342966c681461057157806346fbf68e1461059f5780634a387bef146105fb5780634a4fbeec1461063f57610265565b80631a921b3e1161022d5780631a921b3e146103dd57806323b872dd146104395780632ff2e9dc146104bf578063313ce567146104dd578063395093511461050157610265565b806306fdde031461026a578063095ea7b3146102ed5780630d3737b0146103535780631249c58b1461039d57806318160ddd146103bf575b600080fd5b610272610c88565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156102b2578082015181840152602081019050610297565b50505050905090810190601f1680156102df5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6103396004803603604081101561030357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610d2a565b604051808215151515815260200191505060405180910390f35b61035b610f8c565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6103a5610fb2565b604051808215151515815260200191505060405180910390f35b6103c7611181565b6040518082815260200191505060405180910390f35b61041f600480360360208110156103f357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061118b565b604051808215151515815260200191505060405180910390f35b6104a56004803603606081101561044f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506111ab565b604051808215151515815260200191505060405180910390f35b6104c761140f565b6040518082815260200191505060405180910390f35b6104e5611420565b604051808260ff1660ff16815260200191505060405180910390f35b61054d6004803603604081101561051757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611437565b604051808215151515815260200191505060405180910390f35b61056f611699565b005b61059d6004803603602081101561058757600080fd5b8101908080359060200190929190505050611748565b005b6105e1600480360360208110156105b557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611755565b604051808215151515815260200191505060405180910390f35b61063d6004803603602081101561061157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611772565b005b6106816004803603602081101561065557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611791565b604051808215151515815260200191505060405180910390f35b6106a36117e7565b604051808215151515815260200191505060405180910390f35b6106ff600480360360208110156106d357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506117fe565b005b61070961193d565b005b61074d6004803603602081101561072157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611948565b6040518082815260200191505060405180910390f35b61076b611991565b005b6107af6004803603602081101561078357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611a65565b005b6107fd600480360360408110156107c757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611ba4565b005b6108416004803603602081101561081557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611bb2565b005b61084b611bd2565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610895611bf8565b005b6108d9600480360360208110156108ad57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611ca7565b005b6108e3611cc6565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61092d611cf0565b604051808215151515815260200191505060405180910390f35b61094f611d48565b005b61095961204a565b6040518082815260200191505060405180910390f35b610977612050565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156109b757808201518184015260208101905061099c565b50505050905090810190601f1680156109e45780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610a3460048036036020811015610a0857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506120f2565b005b610a3e612112565b005b610a8c60048036036040811015610a5657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061211d565b604051808215151515815260200191505060405180910390f35b610af260048036036040811015610abc57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061237f565b604051808215151515815260200191505060405180910390f35b610b4e60048036036020811015610b2257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506125e1565b604051808215151515815260200191505060405180910390f35b610b9460048036036020811015610b7e57600080fd5b81019080803590602001909291905050506125fe565b604051808215151515815260200191505060405180910390f35b610bb661261e565b6040518082815260200191505060405180910390f35b610c2e60048036036040811015610be257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061262e565b6040518082815260200191505060405180910390f35b610c8660048036036020811015610c5a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506126b5565b005b606060028054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610d205780601f10610cf557610100808354040283529160200191610d20565b820191906000526020600020905b815481529060010190602001808311610d0357829003601f168201915b5050505050905090565b60003383610d36611cc6565b73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141515610eef57600a60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151515610e2c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f55736572206973206c6f636b656400000000000000000000000000000000000081525060200191505060405180910390fd5b600a60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151515610eee576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f55736572206973206c6f636b656400000000000000000000000000000000000081525060200191505060405180910390fd5b5b843073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614151515610f77576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f8152602001806135be602f913960400191505060405180910390fd5b610f8186866126d4565b935050505092915050565b600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000610fbd336125e1565b1515610fc857600080fd5b600073ffffffffffffffffffffffffffffffffffffffff16600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415151561108f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f4d696e74206167656e7420616464726573732063616e2774206265203000000081525060200191505060405180910390fd5b600f600061109b6126eb565b815260200190815260200160002060009054906101000a900460ff1615151561110f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602e8152602001806135ed602e913960400191505060405180910390fd5b611147600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16601260ff16600a0a62bebc200261270f565b6001600f60006111556126eb565b815260200190815260200160002060006101000a81548160ff0219169083151502179055506001905090565b6000600754905090565b600a6020528060005260406000206000915054906101000a900460ff1681565b600083836111b7611cc6565b73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614151561137057600a60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515156112ad576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f55736572206973206c6f636b656400000000000000000000000000000000000081525060200191505060405180910390fd5b600a60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615151561136f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f55736572206973206c6f636b656400000000000000000000000000000000000081525060200191505060405180910390fd5b5b843073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515156113f8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f8152602001806135be602f913960400191505060405180910390fd5b611403878787612865565b93505050509392505050565b601260ff16600a0a630ee6b2800281565b6000600460009054906101000a900460ff16905090565b60003383611443611cc6565b73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415156115fc57600a60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151515611539576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f55736572206973206c6f636b656400000000000000000000000000000000000081525060200191505060405180910390fd5b600a60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515156115fb576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f55736572206973206c6f636b656400000000000000000000000000000000000081525060200191505060405180910390fd5b5b843073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614151515611684576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f8152602001806135be602f913960400191505060405180910390fd5b61168e8686612916565b935050505092915050565b6116a233611755565b15156116ad57600080fd5b600160009054906101000a900460ff1615156116c857600080fd5b6000600160006101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa33604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b61175233826129bb565b50565b600061176b826000612b1190919063ffffffff16565b9050919050565b61177a611cf0565b151561178557600080fd5b61178e81612ba5565b50565b6000600a60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff169050919050565b6000600160009054906101000a900460ff16905090565b611806611cf0565b151561181157600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515156118b6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f4d696e74206167656e7420616464726573732063616e2774206265203000000081525060200191505060405180910390fd5b80600e60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff167fcea475dd5b51b9b5218c64ef560247c5b741ba24ddb1ad2fca98056f199518cc60405160405180910390a250565b61194633612c63565b565b6000600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b611999611cf0565b15156119a457600080fd5b600073ffffffffffffffffffffffffffffffffffffffff16600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a36000600860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b611a6d611cf0565b1515611a7857600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614151515611b1d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f4d6967726174696f6e206167656e742063616e2774206265203000000000000081525060200191505060405180910390fd5b80600c60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff167f53002f2ca3e2737f3405e7f734101551690f8426e082167285f3caa8e6c6a18260405160405180910390a250565b611bae8282612cbd565b5050565b611bbb33611755565b1515611bc657600080fd5b611bcf81612d64565b50565b600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b611c0133611755565b1515611c0c57600080fd5b600160009054906101000a900460ff16151515611c2857600080fd5b60018060006101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a25833604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b611caf611cf0565b1515611cba57600080fd5b611cc381612dbe565b50565b6000600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6000600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614905090565b600160009054906101000a900460ff16151515611d6457600080fd5b6000611d6f33611948565b9050600073ffffffffffffffffffffffffffffffffffffffff16600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614151515611e38576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f456e746572206d6967726174696f6e206167656e74206164647265737300000081525060200191505060405180910390fd5b600081111515611eb0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f416d6f756e74206f6620746f6b656e732069732072657175697265640000000081525060200191505060405180910390fd5b611eb933612dbe565b611eca611ec533611948565b611748565b80600d60008282540192505081905550600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16637a3130e333836040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b158015611f9f57600080fd5b505af1158015611fb3573d6000803e3d6000fd5b50505050611fc033612ba5565b600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f18df02dcc52b9c494f391df09661519c0069bd8540141946280399408205ca1a836040518082815260200191505060405180910390a350565b600d5481565b606060038054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156120e85780601f106120bd576101008083540402835291602001916120e8565b820191906000526020600020905b8154815290600101906020018083116120cb57829003601f168201915b5050505050905090565b6120fb336125e1565b151561210657600080fd5b61210f81612e7c565b50565b61211b33612ed6565b565b60003383612129611cc6565b73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415156122e257600a60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615151561221f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f55736572206973206c6f636b656400000000000000000000000000000000000081525060200191505060405180910390fd5b600a60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515156122e1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f55736572206973206c6f636b656400000000000000000000000000000000000081525060200191505060405180910390fd5b5b843073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561236a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f8152602001806135be602f913960400191505060405180910390fd5b6123748686612f30565b935050505092915050565b6000338361238b611cc6565b73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614151561254457600a60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151515612481576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f55736572206973206c6f636b656400000000000000000000000000000000000081525060200191505060405180910390fd5b600a60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151515612543576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f55736572206973206c6f636b656400000000000000000000000000000000000081525060200191505060405180910390fd5b5b843073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515156125cc576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f8152602001806135be602f913960400191505060405180910390fd5b6125d68686612fd5565b935050505092915050565b60006125f7826009612b1190919063ffffffff16565b9050919050565b600f6020528060005260406000206000915054906101000a900460ff1681565b601260ff16600a0a62bebc200281565b6000600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6126bd611cf0565b15156126c857600080fd5b6126d181612fec565b50565b60006126e13384846130e8565b6001905092915050565b6000806301e187e0428115156126fd57fe5b046107b261ffff160190508091505090565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415151561274b57600080fd5b6127608160075461324b90919063ffffffff16565b6007819055506127b881600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461324b90919063ffffffff16565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b600061287284848461326c565b61290b843361290685600660008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461343c90919063ffffffff16565b6130e8565b600190509392505050565b60006129b133846129ac85600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461324b90919063ffffffff16565b6130e8565b6001905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141515156129f757600080fd5b612a0c8160075461343c90919063ffffffff16565b600781905550612a6481600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461343c90919063ffffffff16565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614151515612b4e57600080fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b6000600a60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055507f6134e30ca79f58d7566528b3768c7d33c9c30815c63cfeae3b69f52cf31dd61a81604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a150565b612c7781600061345e90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167fcd265ebaf09df2871cc7bd4133404a235ba12eff2041bb89d9c714a2621c7c7e60405160405180910390a250565b612cc782826129bb565b612d608233612d5b84600660008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461343c90919063ffffffff16565b6130e8565b5050565b612d7881600061350d90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167f6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f860405160405180910390a250565b6001600a60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055507f1b6f28dfffb89ba40ba9067329c3c0e8bd926256b970cf7d060cd48b1cd0e44e81604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a150565b612e9081600961350d90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167f6ae172837ea30b801fbfcdd4108aa1d5bf8ff775444fd70256b44e6bf3dfc3f660405160405180910390a250565b612eea81600961345e90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167fe94479a9f7e1952cc78f2d6baab678adc1b772d936c6583def489e524cb6669260405160405180910390a250565b6000612fcb3384612fc685600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461343c90919063ffffffff16565b6130e8565b6001905092915050565b6000612fe233848461326c565b6001905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561302857600080fd5b8073ffffffffffffffffffffffffffffffffffffffff16600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a380600860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415151561312457600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415151561316057600080fd5b80600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b600080828401905083811015151561326257600080fd5b8091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141515156132a857600080fd5b6132fa81600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461343c90919063ffffffff16565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061338f81600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461324b90919063ffffffff16565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b600082821115151561344d57600080fd5b600082840390508091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561349a57600080fd5b6134a48282612b11565b15156134af57600080fd5b60008260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561354957600080fd5b6135538282612b11565b15151561355f57600080fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550505056fe596f752061726520747279696e6720746f2073656e6420746f6b656e7320746f20746f6b656e20636f6e7472616374546f6b656e732068617665206265656e20616c7265616479206d696e74656420666f72207468697320796561722ea165627a7a723058202496dfb399cbd7f556a2eaaed537dbb5b402662e0dc690a5d8bb55e80d5eff150029

0x608060405234801561001057600080fd5b5060043610610265576000357c01000000000000000000000000000000000000000000000000000000009004806375e2ff651161015857806395d89b41116100d5578063aa271e1a11610099578063aa271e1a14610b0c578063d0abed2114610b68578063d0dafd8e14610bae578063dd62ed3e14610bcc578063f2fde38b14610c4457610265565b806395d89b411461096f578063983b2d56146109f25780639865027514610a36578063a457c2d714610a40578063a9059cbb14610aa657610265565b8063882f327b1161011c578063882f327b146108975780638da5cb5b146108db5780638f32d59b146109255780638fd3ab801461094757806395a0f5eb1461095157610265565b806375e2ff651461076d57806379cc6790146107b157806382dc1ec4146107ff5780638328dbcd146108435780638456cb591461088d57610265565b80633f4ba83a116101e65780635c975abb116101aa5780635c975abb1461069b5780635fb64a6a146106bd5780636ef8d66d1461070157806370a082311461070b578063715018a61461076357610265565b80633f4ba83a1461056757806342966c681461057157806346fbf68e1461059f5780634a387bef146105fb5780634a4fbeec1461063f57610265565b80631a921b3e1161022d5780631a921b3e146103dd57806323b872dd146104395780632ff2e9dc146104bf578063313ce567146104dd578063395093511461050157610265565b806306fdde031461026a578063095ea7b3146102ed5780630d3737b0146103535780631249c58b1461039d57806318160ddd146103bf575b600080fd5b610272610c88565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156102b2578082015181840152602081019050610297565b50505050905090810190601f1680156102df5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6103396004803603604081101561030357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610d2a565b604051808215151515815260200191505060405180910390f35b61035b610f8c565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6103a5610fb2565b604051808215151515815260200191505060405180910390f35b6103c7611181565b6040518082815260200191505060405180910390f35b61041f600480360360208110156103f357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061118b565b604051808215151515815260200191505060405180910390f35b6104a56004803603606081101561044f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506111ab565b604051808215151515815260200191505060405180910390f35b6104c761140f565b6040518082815260200191505060405180910390f35b6104e5611420565b604051808260ff1660ff16815260200191505060405180910390f35b61054d6004803603604081101561051757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611437565b604051808215151515815260200191505060405180910390f35b61056f611699565b005b61059d6004803603602081101561058757600080fd5b8101908080359060200190929190505050611748565b005b6105e1600480360360208110156105b557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611755565b604051808215151515815260200191505060405180910390f35b61063d6004803603602081101561061157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611772565b005b6106816004803603602081101561065557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611791565b604051808215151515815260200191505060405180910390f35b6106a36117e7565b604051808215151515815260200191505060405180910390f35b6106ff600480360360208110156106d357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506117fe565b005b61070961193d565b005b61074d6004803603602081101561072157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611948565b6040518082815260200191505060405180910390f35b61076b611991565b005b6107af6004803603602081101561078357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611a65565b005b6107fd600480360360408110156107c757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611ba4565b005b6108416004803603602081101561081557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611bb2565b005b61084b611bd2565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b610895611bf8565b005b6108d9600480360360208110156108ad57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611ca7565b005b6108e3611cc6565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b61092d611cf0565b604051808215151515815260200191505060405180910390f35b61094f611d48565b005b61095961204a565b6040518082815260200191505060405180910390f35b610977612050565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156109b757808201518184015260208101905061099c565b50505050905090810190601f1680156109e45780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b610a3460048036036020811015610a0857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506120f2565b005b610a3e612112565b005b610a8c60048036036040811015610a5657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061211d565b604051808215151515815260200191505060405180910390f35b610af260048036036040811015610abc57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061237f565b604051808215151515815260200191505060405180910390f35b610b4e60048036036020811015610b2257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506125e1565b604051808215151515815260200191505060405180910390f35b610b9460048036036020811015610b7e57600080fd5b81019080803590602001909291905050506125fe565b604051808215151515815260200191505060405180910390f35b610bb661261e565b6040518082815260200191505060405180910390f35b610c2e60048036036040811015610be257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061262e565b6040518082815260200191505060405180910390f35b610c8660048036036020811015610c5a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506126b5565b005b606060028054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610d205780601f10610cf557610100808354040283529160200191610d20565b820191906000526020600020905b815481529060010190602001808311610d0357829003601f168201915b5050505050905090565b60003383610d36611cc6565b73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141515610eef57600a60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151515610e2c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f55736572206973206c6f636b656400000000000000000000000000000000000081525060200191505060405180910390fd5b600a60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151515610eee576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f55736572206973206c6f636b656400000000000000000000000000000000000081525060200191505060405180910390fd5b5b843073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614151515610f77576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f8152602001806135be602f913960400191505060405180910390fd5b610f8186866126d4565b935050505092915050565b600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000610fbd336125e1565b1515610fc857600080fd5b600073ffffffffffffffffffffffffffffffffffffffff16600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff161415151561108f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f4d696e74206167656e7420616464726573732063616e2774206265203000000081525060200191505060405180910390fd5b600f600061109b6126eb565b815260200190815260200160002060009054906101000a900460ff1615151561110f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602e8152602001806135ed602e913960400191505060405180910390fd5b611147600e60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16601260ff16600a0a62bebc200261270f565b6001600f60006111556126eb565b815260200190815260200160002060006101000a81548160ff0219169083151502179055506001905090565b6000600754905090565b600a6020528060005260406000206000915054906101000a900460ff1681565b600083836111b7611cc6565b73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614151561137057600a60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515156112ad576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f55736572206973206c6f636b656400000000000000000000000000000000000081525060200191505060405180910390fd5b600a60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615151561136f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f55736572206973206c6f636b656400000000000000000000000000000000000081525060200191505060405180910390fd5b5b843073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515156113f8576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f8152602001806135be602f913960400191505060405180910390fd5b611403878787612865565b93505050509392505050565b601260ff16600a0a630ee6b2800281565b6000600460009054906101000a900460ff16905090565b60003383611443611cc6565b73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415156115fc57600a60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151515611539576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f55736572206973206c6f636b656400000000000000000000000000000000000081525060200191505060405180910390fd5b600a60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515156115fb576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f55736572206973206c6f636b656400000000000000000000000000000000000081525060200191505060405180910390fd5b5b843073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614151515611684576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f8152602001806135be602f913960400191505060405180910390fd5b61168e8686612916565b935050505092915050565b6116a233611755565b15156116ad57600080fd5b600160009054906101000a900460ff1615156116c857600080fd5b6000600160006101000a81548160ff0219169083151502179055507f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa33604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b61175233826129bb565b50565b600061176b826000612b1190919063ffffffff16565b9050919050565b61177a611cf0565b151561178557600080fd5b61178e81612ba5565b50565b6000600a60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff169050919050565b6000600160009054906101000a900460ff16905090565b611806611cf0565b151561181157600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515156118b6576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f4d696e74206167656e7420616464726573732063616e2774206265203000000081525060200191505060405180910390fd5b80600e60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff167fcea475dd5b51b9b5218c64ef560247c5b741ba24ddb1ad2fca98056f199518cc60405160405180910390a250565b61194633612c63565b565b6000600560008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b611999611cf0565b15156119a457600080fd5b600073ffffffffffffffffffffffffffffffffffffffff16600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a36000600860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550565b611a6d611cf0565b1515611a7857600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff1614151515611b1d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f4d6967726174696f6e206167656e742063616e2774206265203000000000000081525060200191505060405180910390fd5b80600c60006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508073ffffffffffffffffffffffffffffffffffffffff167f53002f2ca3e2737f3405e7f734101551690f8426e082167285f3caa8e6c6a18260405160405180910390a250565b611bae8282612cbd565b5050565b611bbb33611755565b1515611bc657600080fd5b611bcf81612d64565b50565b600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b611c0133611755565b1515611c0c57600080fd5b600160009054906101000a900460ff16151515611c2857600080fd5b60018060006101000a81548160ff0219169083151502179055507f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a25833604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a1565b611caf611cf0565b1515611cba57600080fd5b611cc381612dbe565b50565b6000600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b6000600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614905090565b600160009054906101000a900460ff16151515611d6457600080fd5b6000611d6f33611948565b9050600073ffffffffffffffffffffffffffffffffffffffff16600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614151515611e38576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601d8152602001807f456e746572206d6967726174696f6e206167656e74206164647265737300000081525060200191505060405180910390fd5b600081111515611eb0576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601c8152602001807f416d6f756e74206f6620746f6b656e732069732072657175697265640000000081525060200191505060405180910390fd5b611eb933612dbe565b611eca611ec533611948565b611748565b80600d60008282540192505081905550600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16637a3130e333836040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b158015611f9f57600080fd5b505af1158015611fb3573d6000803e3d6000fd5b50505050611fc033612ba5565b600c60009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f18df02dcc52b9c494f391df09661519c0069bd8540141946280399408205ca1a836040518082815260200191505060405180910390a350565b600d5481565b606060038054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156120e85780601f106120bd576101008083540402835291602001916120e8565b820191906000526020600020905b8154815290600101906020018083116120cb57829003601f168201915b5050505050905090565b6120fb336125e1565b151561210657600080fd5b61210f81612e7c565b50565b61211b33612ed6565b565b60003383612129611cc6565b73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415156122e257600a60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff1615151561221f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f55736572206973206c6f636b656400000000000000000000000000000000000081525060200191505060405180910390fd5b600a60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff161515156122e1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f55736572206973206c6f636b656400000000000000000000000000000000000081525060200191505060405180910390fd5b5b843073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561236a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f8152602001806135be602f913960400191505060405180910390fd5b6123748686612f30565b935050505092915050565b6000338361238b611cc6565b73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614151561254457600a60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151515612481576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f55736572206973206c6f636b656400000000000000000000000000000000000081525060200191505060405180910390fd5b600a60008273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16151515612543576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600e8152602001807f55736572206973206c6f636b656400000000000000000000000000000000000081525060200191505060405180910390fd5b5b843073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515156125cc576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f8152602001806135be602f913960400191505060405180910390fd5b6125d68686612fd5565b935050505092915050565b60006125f7826009612b1190919063ffffffff16565b9050919050565b600f6020528060005260406000206000915054906101000a900460ff1681565b601260ff16600a0a62bebc200281565b6000600660008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6126bd611cf0565b15156126c857600080fd5b6126d181612fec565b50565b60006126e13384846130e8565b6001905092915050565b6000806301e187e0428115156126fd57fe5b046107b261ffff160190508091505090565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415151561274b57600080fd5b6127608160075461324b90919063ffffffff16565b6007819055506127b881600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461324b90919063ffffffff16565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b600061287284848461326c565b61290b843361290685600660008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461343c90919063ffffffff16565b6130e8565b600190509392505050565b60006129b133846129ac85600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461324b90919063ffffffff16565b6130e8565b6001905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141515156129f757600080fd5b612a0c8160075461343c90919063ffffffff16565b600781905550612a6481600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461343c90919063ffffffff16565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60008073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614151515612b4e57600080fd5b8260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16905092915050565b6000600a60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055507f6134e30ca79f58d7566528b3768c7d33c9c30815c63cfeae3b69f52cf31dd61a81604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a150565b612c7781600061345e90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167fcd265ebaf09df2871cc7bd4133404a235ba12eff2041bb89d9c714a2621c7c7e60405160405180910390a250565b612cc782826129bb565b612d608233612d5b84600660008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461343c90919063ffffffff16565b6130e8565b5050565b612d7881600061350d90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167f6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f860405160405180910390a250565b6001600a60008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055507f1b6f28dfffb89ba40ba9067329c3c0e8bd926256b970cf7d060cd48b1cd0e44e81604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a150565b612e9081600961350d90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167f6ae172837ea30b801fbfcdd4108aa1d5bf8ff775444fd70256b44e6bf3dfc3f660405160405180910390a250565b612eea81600961345e90919063ffffffff16565b8073ffffffffffffffffffffffffffffffffffffffff167fe94479a9f7e1952cc78f2d6baab678adc1b772d936c6583def489e524cb6669260405160405180910390a250565b6000612fcb3384612fc685600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461343c90919063ffffffff16565b6130e8565b6001905092915050565b6000612fe233848461326c565b6001905092915050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561302857600080fd5b8073ffffffffffffffffffffffffffffffffffffffff16600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a380600860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415151561312457600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415151561316057600080fd5b80600660008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b600080828401905083811015151561326257600080fd5b8091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141515156132a857600080fd5b6132fa81600560008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461343c90919063ffffffff16565b600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061338f81600560008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461324b90919063ffffffff16565b600560008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b600082821115151561344d57600080fd5b600082840390508091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561349a57600080fd5b6134a48282612b11565b15156134af57600080fd5b60008260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055505050565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415151561354957600080fd5b6135538282612b11565b15151561355f57600080fd5b60018260000160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff021916908315150217905550505056fe596f752061726520747279696e6720746f2073656e6420746f6b656e7320746f20746f6b656e20636f6e7472616374546f6b656e732068617665206265656e20616c7265616479206d696e74656420666f72207468697320796561722ea165627a7a723058202496dfb399cbd7f556a2eaaed537dbb5b402662e0dc690a5d8bb55e80d5eff150029

20347:6136:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20347:6136:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4567:83;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;4567:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;25073:347;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;25073:347:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;20795:24;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;22388:345;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;7755:91;;;:::i;:::-;;;;;;;;;;;;;;;;;;;18662:43;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;18662:43:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;24580:387;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;24580:387:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;20477:78;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4883:83;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;25526:406;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;25526:406:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;3082:118;;;:::i;:::-;;14888:79;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;14888:79:0;;;;;;;;;;;;;;;;;:::i;:::-;;1356:109;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1356:109:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;19718:90;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;19718:90:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;19385:103;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;19385:103:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;2335:78;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;22869:226;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;22869:226:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;1573:77;;;:::i;:::-;;8066:106;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8066:106:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;16692:140;;;:::i;:::-;;23832:219;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;23832:219:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;15221:95;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;15221:95:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;1473:92;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1473:92:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;20724:29;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;2871:116;;;:::i;:::-;;19561:84;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;19561:84:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;15979:79;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;16314:92;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;23162:509;;;:::i;:::-;;20760:28;;;:::i;:::-;;;;;;;;;;;;;;;;;;;4717:87;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;4717:87:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17942:92;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;17942:92:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;18042:77;;;:::i;:::-;;26038:440;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;26038:440:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;24157:317;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;24157:317:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;17825:109;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;17825:109:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;21090:41;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;21090:41:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;20562:78;;;:::i;:::-;;;;;;;;;;;;;;;;;;;8511:131;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8511:131:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;17009:109;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;17009:109:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;4567:83;4604:13;4637:5;4630:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4567:83;:::o;25073:347::-;25359:4;25198:10;25210:7;19036;:5;:7::i;:::-;19027:16;;:5;:16;;;;19023:223;;;19140:10;:17;19151:5;19140:17;;;;;;;;;;;;;;;;;;;;;;;;;19139:18;19131:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19200:10;:15;19211:3;19200:15;;;;;;;;;;;;;;;;;;;;;;;;;19199:16;19191:43;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19023:223;25284:7;21524:4;21507:22;;:5;:22;;;;21499:82;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;25383:29;25397:7;25406:5;25383:13;:29::i;:::-;25376:36;;19256:1;25073:347;;;;;;:::o;20795:24::-;;;;;;;;;;;;;:::o;22388:345::-;22431:4;17776:20;17785:10;17776:8;:20::i;:::-;17768:29;;;;;;;;22479:1;22458:23;;:9;;;;;;;;;;;:23;;;;22450:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;22536:11;:25;22548:12;:10;:12::i;:::-;22536:25;;;;;;;;;;;;;;;;;;;;;22535:26;22526:86;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;22625:33;22631:9;;;;;;;;;;;20468:2;20622:17;;20616:2;:23;20604:8;:36;22625:5;:33::i;:::-;22697:4;22669:11;:25;22681:12;:10;:12::i;:::-;22669:25;;;;;;;;;;;;:32;;;;;;;;;;;;;;;;;;22721:4;22714:11;;22388:345;:::o;7755:91::-;7799:7;7826:12;;7819:19;;7755:91;:::o;18662:43::-;;;;;;;;;;;;;;;;;;;;;;:::o;24580:387::-;24900:4;24731;24737:2;19036:7;:5;:7::i;:::-;19027:16;;:5;:16;;;;19023:223;;;19140:10;:17;19151:5;19140:17;;;;;;;;;;;;;;;;;;;;;;;;;19139:18;19131:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19200:10;:15;19211:3;19200:15;;;;;;;;;;;;;;;;;;;;;;;;;19199:16;19191:43;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19023:223;24818:2;21524:4;21507:22;;:5;:22;;;;21499:82;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;24924:35;24943:4;24949:2;24953:5;24924:18;:35::i;:::-;24917:42;;19256:1;24580:387;;;;;;;:::o;20477:78::-;20468:2;20537:17;;20531:2;:23;20518:9;:37;20477:78;:::o;4883:83::-;4924:5;4949:9;;;;;;;;;;;4942:16;;4883:83;:::o;25526:406::-;25848:12;25671:10;25683:7;19036;:5;:7::i;:::-;19027:16;;:5;:16;;;;19023:223;;;19140:10;:17;19151:5;19140:17;;;;;;;;;;;;;;;;;;;;;;;;;19139:18;19131:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19200:10;:15;19211:3;19200:15;;;;;;;;;;;;;;;;;;;;;;;;;19199:16;19191:43;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19023:223;25765:7;21524:4;21507:22;;:5;:22;;;;21499:82;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;25880:44;25904:7;25913:10;25880:23;:44::i;:::-;25873:51;;19256:1;25526:406;;;;;;:::o;3082:118::-;1307:20;1316:10;1307:8;:20::i;:::-;1299:29;;;;;;;;2751:7;;;;;;;;;;;2743:16;;;;;;;;3151:5;3141:7;;:15;;;;;;;;;;;;;;;;;;3172:20;3181:10;3172:20;;;;;;;;;;;;;;;;;;;;;;3082:118::o;14888:79::-;14935:24;14941:10;14953:5;14935;:24::i;:::-;14888:79;:::o;1356:109::-;1412:4;1436:21;1449:7;1436:8;:12;;:21;;;;:::i;:::-;1429:28;;1356:109;;;:::o;19718:90::-;16191:9;:7;:9::i;:::-;16183:18;;;;;;;;19782;19794:5;19782:11;:18::i;:::-;19718:90;:::o;19385:103::-;19439:4;19463:10;:17;19474:5;19463:17;;;;;;;;;;;;;;;;;;;;;;;;;19456:24;;19385:103;;;:::o;2335:78::-;2374:4;2398:7;;;;;;;;;;;2391:14;;2335:78;:::o;22869:226::-;16191:9;:7;:9::i;:::-;16183:18;;;;;;;;22978:1;22956:24;;:10;:24;;;;22948:66;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23037:10;23025:9;;:22;;;;;;;;;;;;;;;;;;23076:10;23063:24;;;;;;;;;;;;22869:226;:::o;1573:77::-;1617:25;1631:10;1617:13;:25::i;:::-;1573:77::o;8066:106::-;8121:7;8148:9;:16;8158:5;8148:16;;;;;;;;;;;;;;;;8141:23;;8066:106;;;:::o;16692:140::-;16191:9;:7;:9::i;:::-;16183:18;;;;;;;;16791:1;16754:40;;16775:6;;;;;;;;;;;16754:40;;;;;;;;;;;;16822:1;16805:6;;:19;;;;;;;;;;;;;;;;;;16692:140::o;23832:219::-;16191:9;:7;:9::i;:::-;16183:18;;;;;;;;23935:1;23917:20;;:6;:20;;;;23909:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23996:6;23979:14;;:23;;;;;;;;;;;;;;;;;;24036:6;24018:25;;;;;;;;;;;;23832:219;:::o;15221:95::-;15286:22;15296:4;15302:5;15286:9;:22::i;:::-;15221:95;;:::o;1473:92::-;1307:20;1316:10;1307:8;:20::i;:::-;1299:29;;;;;;;;1538:19;1549:7;1538:10;:19::i;:::-;1473:92;:::o;20724:29::-;;;;;;;;;;;;;:::o;2871:116::-;1307:20;1316:10;1307:8;:20::i;:::-;1299:29;;;;;;;;2572:7;;;;;;;;;;;2571:8;2563:17;;;;;;;;2941:4;2931:7;;:14;;;;;;;;;;;;;;;;;;2961:18;2968:10;2961:18;;;;;;;;;;;;;;;;;;;;;;2871:116::o;19561:84::-;16191:9;:7;:9::i;:::-;16183:18;;;;;;;;19622:15;19631:5;19622:8;:15::i;:::-;19561:84;:::o;15979:79::-;16017:7;16044:6;;;;;;;;;;;16037:13;;15979:79;:::o;16314:92::-;16354:4;16392:6;;;;;;;;;;;16378:20;;:10;:20;;;16371:27;;16314:92;:::o;23162:509::-;2572:7;;;;;;;;;;;2571:8;2563:17;;;;;;;;23219:10;23232:21;23242:10;23232:9;:21::i;:::-;23219:34;;23298:1;23272:28;;:14;;;;;;;;;;;:28;;;;23264:70;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23361:1;23353:5;:9;23345:50;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23408:20;23417:10;23408:8;:20::i;:::-;23439:27;23444:21;23454:10;23444:9;:21::i;:::-;23439:4;:27::i;:::-;23494:5;23477:13;;:22;;;;;;;;;;;23525:14;;;;;;;;;;;23510:42;;;23553:10;23565:5;23510:61;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;23510:61:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;23510:61:0;;;;23582:23;23594:10;23582:11;:23::i;:::-;23641:14;;;;;;;;;;;23621:42;;23629:10;23621:42;;;23657:5;23621:42;;;;;;;;;;;;;;;;;;2591:1;23162:509::o;20760:28::-;;;;:::o;4717:87::-;4756:13;4789:7;4782:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4717:87;:::o;17942:92::-;17776:20;17785:10;17776:8;:20::i;:::-;17768:29;;;;;;;;18007:19;18018:7;18007:10;:19::i;:::-;17942:92;:::o;18042:77::-;18086:25;18100:10;18086:13;:25::i;:::-;18042:77::o;26038:440::-;26389:12;26196:10;26208:7;19036;:5;:7::i;:::-;19027:16;;:5;:16;;;;19023:223;;;19140:10;:17;19151:5;19140:17;;;;;;;;;;;;;;;;;;;;;;;;;19139:18;19131:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19200:10;:15;19211:3;19200:15;;;;;;;;;;;;;;;;;;;;;;;;;19199:16;19191:43;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19023:223;26298:7;21524:4;21507:22;;:5;:22;;;;21499:82;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;26421:49;26445:7;26454:15;26421:23;:49::i;:::-;26414:56;;19256:1;26038:440;;;;;;:::o;24157:317::-;24417:4;24274:10;24286:2;19036:7;:5;:7::i;:::-;19027:16;;:5;:16;;;;19023:223;;;19140:10;:17;19151:5;19140:17;;;;;;;;;;;;;;;;;;;;;;;;;19139:18;19131:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19200:10;:15;19211:3;19200:15;;;;;;;;;;;;;;;;;;;;;;;;;19199:16;19191:43;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19023:223;24351:2;21524:4;21507:22;;:5;:22;;;;21499:82;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;24441:25;24456:2;24460:5;24441:14;:25::i;:::-;24434:32;;19256:1;24157:317;;;;;;:::o;17825:109::-;17881:4;17905:21;17918:7;17905:8;:12;;:21;;;;:::i;:::-;17898:28;;17825:109;;;:::o;21090:41::-;;;;;;;;;;;;;;;;;;;;;;:::o;20562:78::-;20468:2;20622:17;;20616:2;:23;20604:8;:36;20562:78;:::o;8511:131::-;8583:7;8610:8;:15;8619:5;8610:15;;;;;;;;;;;;;;;:24;8626:7;8610:24;;;;;;;;;;;;;;;;8603:31;;8511:131;;;;:::o;17009:109::-;16191:9;:7;:9::i;:::-;16183:18;;;;;;;;17082:28;17101:8;17082:18;:28::i;:::-;17009:109;:::o;9604:148::-;9669:4;9686:36;9695:10;9707:7;9716:5;9686:8;:36::i;:::-;9740:4;9733:11;;9604:148;;;;:::o;22096:155::-;22141:4;22160:9;20901:8;22187:15;:33;;;;;;;;20858:4;22172:49;;;22160:61;;22239:4;22232:11;;;22096:155;:::o;12745:269::-;12839:1;12820:21;;:7;:21;;;;12812:30;;;;;;;;12870:23;12887:5;12870:12;;:16;;:23;;;;:::i;:::-;12855:12;:38;;;;12925:29;12948:5;12925:9;:18;12935:7;12925:18;;;;;;;;;;;;;;;;:22;;:29;;;;:::i;:::-;12904:9;:18;12914:7;12904:18;;;;;;;;;;;;;;;:50;;;;12991:7;12970:36;;12987:1;12970:36;;;13000:5;12970:36;;;;;;;;;;;;;;;;;;12745:269;;:::o;10225:228::-;10304:4;10321:26;10331:4;10337:2;10341:5;10321:9;:26::i;:::-;10358:65;10367:4;10373:10;10385:37;10416:5;10385:8;:14;10394:4;10385:14;;;;;;;;;;;;;;;:26;10400:10;10385:26;;;;;;;;;;;;;;;;:30;;:37;;;;:::i;:::-;10358:8;:65::i;:::-;10441:4;10434:11;;10225:228;;;;;:::o;10968:203::-;11048:4;11065:76;11074:10;11086:7;11095:45;11129:10;11095:8;:20;11104:10;11095:20;;;;;;;;;;;;;;;:29;11116:7;11095:29;;;;;;;;;;;;;;;;:33;;:45;;;;:::i;:::-;11065:8;:76::i;:::-;11159:4;11152:11;;10968:203;;;;:::o;13248:269::-;13342:1;13323:21;;:7;:21;;;;13315:30;;;;;;;;13373:23;13390:5;13373:12;;:16;;:23;;;;:::i;:::-;13358:12;:38;;;;13428:29;13451:5;13428:9;:18;13438:7;13428:18;;;;;;;;;;;;;;;;:22;;:29;;;;:::i;:::-;13407:9;:18;13417:7;13407:18;;;;;;;;;;;;;;;:50;;;;13499:1;13473:36;;13482:7;13473:36;;;13503:5;13473:36;;;;;;;;;;;;;;;;;;13248:269;;:::o;821:165::-;893:4;937:1;918:21;;:7;:21;;;;910:30;;;;;;;;958:4;:11;;:20;970:7;958:20;;;;;;;;;;;;;;;;;;;;;;;;;951:27;;821:165;;;;:::o;20107:124::-;20184:5;20164:10;:17;20175:5;20164:17;;;;;;;;;;;;;;;;:25;;;;;;;;;;;;;;;;;;20205:18;20217:5;20205:18;;;;;;;;;;;;;;;;;;;;;;20107:124;:::o;1788:130::-;1848:24;1864:7;1848:8;:15;;:24;;;;:::i;:::-;1902:7;1888:22;;;;;;;;;;;;1788:130;:::o;14443:182::-;14514:21;14520:7;14529:5;14514;:21::i;:::-;14546:71;14555:7;14564:10;14576:40;14610:5;14576:8;:17;14585:7;14576:17;;;;;;;;;;;;;;;:29;14594:10;14576:29;;;;;;;;;;;;;;;;:33;;:40;;;;:::i;:::-;14546:8;:71::i;:::-;14443:182;;:::o;1658:122::-;1715:21;1728:7;1715:8;:12;;:21;;;;:::i;:::-;1764:7;1752:20;;;;;;;;;;;;1658:122;:::o;19898:117::-;19971:4;19951:10;:17;19962:5;19951:17;;;;;;;;;;;;;;;;:24;;;;;;;;;;;;;;;;;;19991:16;20001:5;19991:16;;;;;;;;;;;;;;;;;;;;;;19898:117;:::o;18127:122::-;18184:21;18197:7;18184:8;:12;;:21;;;;:::i;:::-;18233:7;18221:20;;;;;;;;;;;;18127:122;:::o;18257:130::-;18317:24;18333:7;18317:8;:15;;:24;;;;:::i;:::-;18371:7;18357:22;;;;;;;;;;;;18257:130;:::o;11691:213::-;11776:4;11793:81;11802:10;11814:7;11823:50;11857:15;11823:8;:20;11832:10;11823:20;;;;;;;;;;;;;;;:29;11844:7;11823:29;;;;;;;;;;;;;;;;:33;;:50;;;;:::i;:::-;11793:8;:81::i;:::-;11892:4;11885:11;;11691:213;;;;:::o;8817:140::-;8878:4;8895:32;8905:10;8917:2;8921:5;8895:9;:32::i;:::-;8945:4;8938:11;;8817:140;;;;:::o;17268:187::-;17362:1;17342:22;;:8;:22;;;;17334:31;;;;;;;;17410:8;17381:38;;17402:6;;;;;;;;;;;17381:38;;;;;;;;;;;;17439:8;17430:6;;:17;;;;;;;;;;;;;;;;;;17268:187;:::o;13790:254::-;13902:1;13883:21;;:7;:21;;;;13875:30;;;;;;;;13941:1;13924:19;;:5;:19;;;;13916:28;;;;;;;;13984:5;13957:8;:15;13966:5;13957:15;;;;;;;;;;;;;;;:24;13973:7;13957:24;;;;;;;;;;;;;;;:32;;;;14021:7;14005:31;;14014:5;14005:31;;;14030:5;14005:31;;;;;;;;;;;;;;;;;;13790:254;;;:::o;6434:150::-;6492:7;6512:9;6528:1;6524;:5;6512:17;;6553:1;6548;:6;;6540:15;;;;;;;;6575:1;6568:8;;;6434:150;;;;:::o;12131:262::-;12233:1;12219:16;;:2;:16;;;;12211:25;;;;;;;;12267:26;12287:5;12267:9;:15;12277:4;12267:15;;;;;;;;;;;;;;;;:19;;:26;;;;:::i;:::-;12249:9;:15;12259:4;12249:15;;;;;;;;;;;;;;;:44;;;;12320:24;12338:5;12320:9;:13;12330:2;12320:13;;;;;;;;;;;;;;;;:17;;:24;;;;:::i;:::-;12304:9;:13;12314:2;12304:13;;;;;;;;;;;;;;;:40;;;;12375:2;12360:25;;12369:4;12360:25;;;12379:5;12360:25;;;;;;;;;;;;;;;;;;12131:262;;;:::o;6196:150::-;6254:7;6287:1;6282;:6;;6274:15;;;;;;;;6300:9;6316:1;6312;:5;6300:17;;6337:1;6330:8;;;6196:150;;;;:::o;538:189::-;637:1;618:21;;:7;:21;;;;610:30;;;;;;;;659:18;663:4;669:7;659:3;:18::i;:::-;651:27;;;;;;;;714:5;691:4;:11;;:20;703:7;691:20;;;;;;;;;;;;;;;;:28;;;;;;;;;;;;;;;;;;538:189;;:::o;273:186::-;369:1;350:21;;:7;:21;;;;342:30;;;;;;;;392:18;396:4;402:7;392:3;:18::i;:::-;391:19;383:28;;;;;;;;447:4;424;:11;;:20;436:7;424:20;;;;;;;;;;;;;;;;:27;;;;;;;;;;;;;;;;;;273:186;;:::o

bzzr://2496dfb399cbd7f556a2eaaed537dbb5b402662e0dc690a5d8bb55e80d5eff15