Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ... library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function mod(uint256 a, uint256 b)  contract ERC20 is IERC20    - function _migrateBalance(address acco ...    - function _forceTransfer(address sende ...    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...    - function _transfer(address sender, ad ...    - function _mint(address account, uint2 ...    - function _burn(address account, uint2 ...    - function _approve(address owner, addr ...    - function _burnFrom(address account, u ... library Roles    - function add(Role storage role, addre ...    - function remove(Role storage role, ad ...    - function has(Role storage role, addre ...  contract PauserRole    - function isPauser(address account)    - function addPauser(address account)    - function renouncePauser()    - function _addPauser(address account)    - function _removePauser(address accoun ...  contract Pausable is PauserRole    - function paused()    - function pause()    - function unpause()  contract ERC20Pausable is ERC20, P ...    - function transfer(address to, uint256 ...    - function transferFrom(address from, a ...    - function approve(address spender, uin ...    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...  contract Ownable    - function owner()    - function isOwner()    - function renounceOwnership()    - function transferOwnership(address ne ...    - function _transferOwnership(address n ...  contract AWX is ERC20Pausable, Own ... *    - function stopMigration()    - function migrateBalances(address[] ca ...    - function _transfer(address sender, ad ...    - function addToWhitelist(address accou ...    - function removeFromWhitelist(address ...    - function forceTransfer(address sender ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-04-28
*/

pragma solidity ^0.5.4;
// File: openzeppelin-solidity/contracts/token/ERC20/IERC20.sol
/**
 * @dev Interface of the ERC20 standard as defined in the EIP. Does not include
 * the optional functions; to access them see `ERC20Detailed`.
 */
interface IERC20 {
    /**
     * @dev Returns the amount of tokens in existence.
     */
    function totalSupply() external view returns (uint256);

    /**
     * @dev Returns the amount of tokens owned by `account`.
     */
    function balanceOf(address account) external view returns (uint256);

    /**
     * @dev Moves `amount` tokens from the caller's account to `recipient`.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a `Transfer` event.
     */
    function transfer(address recipient, uint256 amount) external returns (bool);

    /**
     * @dev Returns the remaining number of tokens that `spender` will be
     * allowed to spend on behalf of `owner` through `transferFrom`. This is
     * zero by default.
     *
     * This value changes when `approve` or `transferFrom` are called.
     */
    function allowance(address owner, address spender) external view returns (uint256);

    /**
     * @dev Sets `amount` as the allowance of `spender` over the caller's tokens.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * > 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
     *
     * Emits an `Approval` event.
     */
    function approve(address spender, uint256 amount) external returns (bool);

    /**
     * @dev Moves `amount` tokens from `sender` to `recipient` using the
     * allowance mechanism. `amount` is then deducted from the caller's
     * allowance.
     *
     * Returns a boolean value indicating whether the operation succeeded.
     *
     * Emits a `Transfer` event.
     */
    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);

    /**
     * @dev Emitted when `value` tokens are moved from one account (`from`) to
     * another (`to`).
     *
     * Note that `value` may be zero.
     */
    event Transfer(address indexed from, address indexed to, uint256 value);

    /**
     * @dev Emitted when the allowance of a `spender` for an `owner` is set by
     * a call to `approve`. `value` is the new allowance.
     */
    event Approval(address indexed owner, address indexed spender, uint256 value);

    /**
     * @dev Emitted when the `owner` initiates a force transfer
     *
     * Note that `value` may be zero.
     * Note that `details` may be zero.
     */
    event ForceTransfer(address indexed from, address indexed to, uint256 value, bytes32 details);
}

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

        return c;
    }

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

        return c;
    }

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

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

        return c;
    }

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

        return c;
    }

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

// File: openzeppelin-solidity/contracts/token/ERC20/ERC20.sol
/**
 * @dev Implementation of the `IERC20` interface.
 *
 * This implementation is agnostic to the way tokens are created. This means
 * that a supply mechanism has to be added in a derived contract using `_mint`.
 * For a generic mechanism see `ERC20Mintable`.
 *
 * *For a detailed writeup see our guide [How to implement supply
 * mechanisms](https://forum.zeppelin.solutions/t/how-to-implement-erc20-supply-mechanisms/226).*
 *
 * We have followed general OpenZeppelin guidelines: functions revert instead
 * of returning `false` on failure. This behavior is nonetheless conventional
 * and does not conflict with the expectations of ERC20 applications.
 *
 * Additionally, an `Approval` event is emitted on calls to `transferFrom`.
 * This allows applications to reconstruct the allowance for all accounts just
 * by listening to said events. Other implementations of the EIP may not emit
 * these events, as it isn't required by the specification.
 *
 * Finally, the non-standard `decreaseAllowance` and `increaseAllowance`
 * functions have been added to mitigate the well-known issues around setting
 * allowances. See `IERC20.approve`.
 */
contract ERC20 is IERC20 {
    using SafeMath for uint256;

    mapping (address => uint256) private _balances;

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

    uint256 private _totalSupply;

    /**
     * @dev Old AWX contract for migration
     */
    address public oldAWXContract = 0xA1c4d403ad39AB741626cE509eb80E3706B15d8d;

    /**
     * @dev Migrate the balances for an account. Issue Transfer event. The balance is taken from old contract.
     */
    function _migrateBalance(address account) internal {
        uint256 amount = ERC20(oldAWXContract).balanceOf(account);
        _mint(account,amount);
    }

    /**
     * @dev Forced transfer from one account to another. Will contain details about AML procedure.
     */
    function _forceTransfer(address sender, address recipient, uint256 amount, bytes32 details) internal {
        _balances[sender] = _balances[sender].sub(amount);
        _balances[recipient] = _balances[recipient].add(amount);
        emit Transfer(sender, recipient, amount);
        emit ForceTransfer(sender, recipient, amount, details);
    }

    /**
     * @dev See `IERC20.totalSupply`.
     */
    function totalSupply() public view returns (uint256) {
        return _totalSupply;
    }

    /**
     * @dev See `IERC20.balanceOf`.
     */
    function balanceOf(address account) public view returns (uint256) {
        return _balances[account];
    }

    /**
     * @dev See `IERC20.transfer`.
     *
     * Requirements:
     *
     * - `recipient` cannot be the zero address.
     * - the caller must have a balance of at least `amount`.
     */
    function transfer(address recipient, uint256 amount) public returns (bool) {
        _transfer(msg.sender, recipient, amount);
        return true;
    }

    /**
     * @dev See `IERC20.allowance`.
     */
    function allowance(address owner, address spender) public view returns (uint256) {
        return _allowances[owner][spender];
    }

    /**
     * @dev See `IERC20.approve`.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function approve(address spender, uint256 value) public returns (bool) {
        _approve(msg.sender, spender, value);
        return true;
    }

    /**
     * @dev See `IERC20.transferFrom`.
     *
     * Emits an `Approval` event indicating the updated allowance. This is not
     * required by the EIP. See the note at the beginning of `ERC20`;
     *
     * Requirements:
     * - `sender` and `recipient` cannot be the zero address.
     * - `sender` must have a balance of at least `value`.
     * - the caller must have allowance for `sender`'s tokens of at least
     * `amount`.
     */
    function transferFrom(address sender, address recipient, uint256 amount) public returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, msg.sender, _allowances[sender][msg.sender].sub(amount));
        return true;
    }

    /**
     * @dev Atomically increases the allowance granted to `spender` by the caller.
     *
     * This is an alternative to `approve` that can be used as a mitigation for
     * problems described in `IERC20.approve`.
     *
     * Emits an `Approval` event indicating the updated allowance.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     */
    function increaseAllowance(address spender, uint256 addedValue) public returns (bool) {
        _approve(msg.sender, spender, _allowances[msg.sender][spender].add(addedValue));
        return true;
    }

    /**
     * @dev Atomically decreases the allowance granted to `spender` by the caller.
     *
     * This is an alternative to `approve` that can be used as a mitigation for
     * problems described in `IERC20.approve`.
     *
     * Emits an `Approval` event indicating the updated allowance.
     *
     * Requirements:
     *
     * - `spender` cannot be the zero address.
     * - `spender` must have allowance for the caller of at least
     * `subtractedValue`.
     */
    function decreaseAllowance(address spender, uint256 subtractedValue) public returns (bool) {
        _approve(msg.sender, spender, _allowances[msg.sender][spender].sub(subtractedValue));
        return true;
    }

    /**
     * @dev Moves tokens `amount` from `sender` to `recipient`.
     *
     * This is internal function is equivalent to `transfer`, and can be used to
     * e.g. implement automatic token fees, slashing mechanisms, etc.
     *
     * Emits a `Transfer` event.
     *
     * Requirements:
     *
     * - `sender` cannot be the zero address.
     * - `recipient` cannot be the zero address.
     * - `sender` must have a balance of at least `amount`.
     */
    function _transfer(address sender, address recipient, uint256 amount) internal {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");


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

    /** @dev Creates `amount` tokens and assigns them to `account`, increasing
     * the total supply.
     *
     * Emits a `Transfer` event with `from` set to the zero address.
     *
     * Requirements
     *
     * - `to` cannot be the zero address.
     */
    function _mint(address account, uint256 amount) internal {
        require(account != address(0), "ERC20: mint to the zero address");

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

     /**
     * @dev Destoys `amount` tokens from `account`, reducing the
     * total supply.
     *
     * Emits a `Transfer` event with `to` set to the zero address.
     *
     * Requirements
     *
     * - `account` cannot be the zero address.
     * - `account` must have at least `amount` tokens.
     */
    function _burn(address account, uint256 value) internal {
        require(account != address(0), "ERC20: burn from the zero address");

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

    /**
     * @dev Sets `amount` as the allowance of `spender` over the `owner`s tokens.
     *
     * This is internal function is equivalent to `approve`, and can be used to
     * e.g. set automatic allowances for certain subsystems, etc.
     *
     * Emits an `Approval` event.
     *
     * Requirements:
     *
     * - `owner` cannot be the zero address.
     * - `spender` cannot be the zero address.
     */
    function _approve(address owner, address spender, uint256 value) internal {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");

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

    /**
     * @dev Destoys `amount` tokens from `account`.`amount` is then deducted
     * from the caller's allowance.
     *
     * See `_burn` and `_approve`.
     */
    function _burnFrom(address account, uint256 amount) internal {
        _burn(account, amount);
        _approve(account, msg.sender, _allowances[account][msg.sender].sub(amount));
    }
}

// File: openzeppelin-solidity/contracts/access/Roles.sol
/**
 * @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(!has(role, account), "Roles: account already has role");
        role.bearer[account] = true;
    }

    /**
     * @dev Remove an account's access to this role.
     */
    function remove(Role storage role, address account) internal {
        require(has(role, account), "Roles: account does not have role");
        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), "Roles: account is the zero address");
        return role.bearer[account];
    }
}

// File: openzeppelin-solidity/contracts/access/roles/PauserRole.sol
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), "PauserRole: caller does not have the Pauser role");
        _;
    }

    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);
    }
}

// File: openzeppelin-solidity/contracts/lifecycle/Pausable.sol
/**
 * @dev Contract module which allows children to implement an emergency stop
 * mechanism that can be triggered by an authorized account.
 *
 * This module is used through inheritance. It will make available the
 * modifiers `whenNotPaused` and `whenPaused`, which can be applied to
 * the functions of your contract. Note that they will not be pausable by
 * simply including this module, only once the modifiers are put in place.
 */
contract Pausable is PauserRole {
    /**
     * @dev Emitted when the pause is triggered by a pauser (`account`).
     */
    event Paused(address account);

    /**
     * @dev Emitted when the pause is lifted by a pauser (`account`).
     */
    event Unpaused(address account);

    bool private _paused;

    /**
     * @dev Initializes the contract in unpaused state. Assigns the Pauser role
     * to the deployer.
     */
    constructor () internal {
        _paused = false;
    }

    /**
     * @dev Returns true if the contract is paused, and 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, "Pausable: paused");
        _;
    }

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

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

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

// File: openzeppelin-solidity/contracts/token/ERC20/ERC20Pausable.sol
/**
 * @title Pausable token
 * @dev ERC20 modified with pausable transfers.
 */
contract ERC20Pausable is ERC20, Pausable {
    function transfer(address to, uint256 value) public whenNotPaused returns (bool) {
        return super.transfer(to, value);
    }

    function transferFrom(address from, address to, uint256 value) public whenNotPaused returns (bool) {
        return super.transferFrom(from, to, value);
    }

    function approve(address spender, uint256 value) public whenNotPaused returns (bool) {
        return super.approve(spender, value);
    }

    function increaseAllowance(address spender, uint addedValue) public whenNotPaused returns (bool) {
        return super.increaseAllowance(spender, addedValue);
    }

    function decreaseAllowance(address spender, uint subtractedValue) public whenNotPaused returns (bool) {
        return super.decreaseAllowance(spender, subtractedValue);
    }
}

// File: openzeppelin-solidity/contracts/ownership/Ownable.sol
/**
 * @dev Contract module which provides a basic access control mechanism, where
 * there is an account (an owner) that can be granted exclusive access to
 * specific functions.
 *
 * This module is used through inheritance. It will make available the modifier
 * `onlyOwner`, which can be aplied to your functions to restrict their use to
 * the owner.
 */
contract Ownable {
    address private _owner;

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

    /**
     * @dev Initializes the contract setting the deployer as the initial owner.
     */
    constructor () internal {
        _owner = msg.sender;
        emit OwnershipTransferred(address(0), _owner);
    }

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

    /**
     * @dev Throws if called by any account other than the owner.
     */
    modifier onlyOwner() {
        require(isOwner(), "Ownable: caller is not the owner");
        _;
    }

    /**
     * @dev Returns true if the caller is the current owner.
     */
    function isOwner() public view returns (bool) {
        return msg.sender == _owner;
    }

    /**
     * @dev Leaves the contract without owner. It will not be possible to call
     * `onlyOwner` functions anymore. Can only be called by the current owner.
     *
     * > Note: Renouncing ownership will leave the contract without an owner,
     * thereby removing any functionality that is only available to the owner.
     */
    function renounceOwnership() public onlyOwner {
        emit OwnershipTransferred(_owner, address(0));
        _owner = address(0);
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     * Can only be called by the current owner.
     */
    function transferOwnership(address newOwner) public onlyOwner {
        _transferOwnership(newOwner);
    }

    /**
     * @dev Transfers ownership of the contract to a new account (`newOwner`).
     */
    function _transferOwnership(address newOwner) internal {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        emit OwnershipTransferred(_owner, newOwner);
        _owner = newOwner;
    }
}

// File: contracts/token/AWX.sol
/**
 * @title AWX
 * @notice ERC20 token implementation.
 * @dev 
 */
contract AWX is ERC20Pausable, Ownable {
    
    /**
     * @dev Fired when an @param account is whitelisted.
     */
    event WhitelistAdded(address indexed account);
    
    /**
     * @dev Fired when an @param account is removed from whitelist.
     */
    event WhitelistRemoved(address indexed account);

    /**
     * @dev The entire cap will be minted at deployment to owner.
     */
    uint256 public constant cap = 30000000 ether;

    /**
     * @dev Whitelisted users that can transfer the token.
     */
    mapping(address => bool) public whitelist;

    /**
     * @notice ERC20 convention.
     */
    uint8 public constant decimals = 18;

    /**
     * @notice ERC20 convention.
     */
    
    string public constant name = "AurusCOIN";
    
    /**
     * @notice ERC20 convention.
     */
    string public constant symbol = "AWX";

    /**
     * @dev Flag to indicate that the migration from old token has stopped.
     */
    bool private _migrationOpen = true;

    /**
     * @dev Mints the entire cap to the owner.
     */
    constructor() public {
        addToWhitelist(owner());
    }

    /**
     * @dev Stop migration by setting flag.
     */
    function stopMigration() public onlyOwner {
        _migrationOpen = false;
    }

    /**
     * @dev Check if migration is open.
     */
    modifier whenMigration() {
        require(_migrationOpen, "Migration: stopped");
        _;
    }

    /**
     * @dev Migrate balance from old token when migration is open, and both the old and the new token are paused.
     */
    function migrateBalances(address[] calldata _accounts) external whenPaused whenMigration onlyOwner {
        require(AWX(oldAWXContract).paused(), "Pausable: not paused");
        for (uint i=0; i<_accounts.length; i++) {
            _migrateBalance(_accounts[i]);
        }
    }

    /**
     * @dev Requires that @param sender must be whitelisted.
     */
    function _transfer(address sender, address recipient, uint256 amount) internal {
        require(whitelist[sender], "Only whitelisted accounts can send tokens");
        super._transfer(sender, recipient, amount);
    }

    /**
     * @dev An @param account that is whitelisted will be able to transfer the coin.
     */
    function addToWhitelist(address account) public onlyOwner {
        whitelist[account] = true;
        emit WhitelistAdded(account);
    }

    /**
     * @dev Removes an @param account from the whitelist.
     */
    function removeFromWhitelist(address account) external onlyOwner {
        whitelist[account] = false;
        emit WhitelistRemoved(account);
    }

    /**
     * @dev Force a transfer between 2 accounts. AML logs on https://aurus.io/aml
     */
    function forceTransfer(address sender, address recipient, uint256 amount, bytes32 details) external onlyOwner {
        _forceTransfer(sender,recipient,amount,details);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"value","type":"uint256"}],"name":"approve","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"from","type":"address"},{"name":"to","type":"address"},{"name":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"oldAWXContract","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"cap","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"unpause","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":"_accounts","type":"address[]"}],"name":"migrateBalances","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"paused","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"renouncePauser","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"account","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":"account","type":"address"}],"name":"addPauser","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"pause","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"account","type":"address"}],"name":"removeFromWhitelist","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":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"whitelist","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"to","type":"address"},{"name":"value","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"owner","type":"address"},{"name":"spender","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"sender","type":"address"},{"name":"recipient","type":"address"},{"name":"amount","type":"uint256"},{"name":"details","type":"bytes32"}],"name":"forceTransfer","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"stopMigration","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"account","type":"address"}],"name":"addToWhitelist","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"name":"account","type":"address"}],"name":"WhitelistAdded","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"account","type":"address"}],"name":"WhitelistRemoved","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":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"},{"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":true,"name":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"value","type":"uint256"},{"indexed":false,"name":"details","type":"bytes32"}],"name":"ForceTransfer","type":"event"}]

608060405260038054600160a060020a03191673a1c4d403ad39ab741626ce509eb80e3706b15d8d1790556007805460ff191660011790553480156200004457600080fd5b506200005933640100000000620000da810204565b60058054600160a860020a0319166101003381029190911791829055604051600160a060020a039190920416906000907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908290a3620000d4620000c56401000000006200012c810204565b64010000000062000140810204565b6200034f565b620000f5600482640100000000620017f46200020d82021704565b604051600160a060020a038216907f6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f890600090a250565b6005546101009004600160a060020a031690565b62000153640100000000620002b4810204565b1515620001c157604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820181905260248201527f4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572604482015290519081900360640190fd5b600160a060020a038116600081815260066020526040808220805460ff19166001179055517f4790a4adb426ca2345bb5108f6e454eae852a7bf687544cd66a7270dff3a41d69190a250565b620002228282640100000000620002ca810204565b156200028f57604080517f08c379a000000000000000000000000000000000000000000000000000000000815260206004820152601f60248201527f526f6c65733a206163636f756e7420616c72656164792068617320726f6c6500604482015290519081900360640190fd5b600160a060020a0316600090815260209190915260409020805460ff19166001179055565b6005546101009004600160a060020a0316331490565b6000600160a060020a03821615156200032f576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602281526020018062001edf6022913960400191505060405180910390fd5b50600160a060020a03166000908152602091909152604090205460ff1690565b611b80806200035f6000396000f3fe608060405234801561001057600080fd5b50600436106101ec576000357c010000000000000000000000000000000000000000000000000000000090048063715018a6116101215780639b19251a116100bf578063de94e0f61161008e578063de94e0f61461056a578063e19a7bc8146105a6578063e43252d7146105ae578063f2fde38b146105d4576101ec565b80639b19251a146104be578063a457c2d7146104e4578063a9059cbb14610510578063dd62ed3e1461053c576101ec565b80638ab1d681116100fb5780638ab1d681146104805780638da5cb5b146104a65780638f32d59b146104ae57806395d89b41146104b6576101ec565b8063715018a61461044a57806382dc1ec4146104525780638456cb5914610478576101ec565b8063395093511161018e5780634b92738e116101685780634b92738e146103a45780635c975abb146104145780636ef8d66d1461041c57806370a0823114610424576101ec565b806339509351146103485780633f4ba83a1461037457806346fbf68e1461037e576101ec565b806323b872dd116101ca57806323b872dd146102c857806324fc74c3146102fe578063313ce56714610322578063355274ea14610340576101ec565b806306fdde03146101f1578063095ea7b31461026e57806318160ddd146102ae575b600080fd5b6101f96105fa565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561023357818101518382015260200161021b565b50505050905090810190601f1680156102605780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61029a6004803603604081101561028457600080fd5b50600160a060020a038135169060200135610631565b604080519115158252519081900360200190f35b6102b661068e565b60408051918252519081900360200190f35b61029a600480360360608110156102de57600080fd5b50600160a060020a03813581169160208101359091169060400135610694565b6103066106f3565b60408051600160a060020a039092168252519081900360200190f35b61032a610702565b6040805160ff9092168252519081900360200190f35b6102b6610707565b61029a6004803603604081101561035e57600080fd5b50600160a060020a038135169060200135610716565b61037c61076c565b005b61029a6004803603602081101561039457600080fd5b5035600160a060020a0316610850565b61037c600480360360208110156103ba57600080fd5b8101906020810181356401000000008111156103d557600080fd5b8201836020820111156103e757600080fd5b8035906020019184602083028401116401000000008311171561040957600080fd5b509092509050610869565b61029a610a95565b61037c610a9e565b6102b66004803603602081101561043a57600080fd5b5035600160a060020a0316610aa9565b61037c610ac4565b61037c6004803603602081101561046857600080fd5b5035600160a060020a0316610b6d565b61037c610bc2565b61037c6004803603602081101561049657600080fd5b5035600160a060020a0316610c96565b610306610d2b565b61029a610d3f565b6101f9610d55565b61029a600480360360208110156104d457600080fd5b5035600160a060020a0316610d8c565b61029a600480360360408110156104fa57600080fd5b50600160a060020a038135169060200135610da1565b61029a6004803603604081101561052657600080fd5b50600160a060020a038135169060200135610df7565b6102b66004803603604081101561055257600080fd5b50600160a060020a0381358116916020013516610e4d565b61037c6004803603608081101561058057600080fd5b50600160a060020a03813581169160208101359091169060408101359060600135610e78565b61037c610ed6565b61037c600480360360208110156105c457600080fd5b5035600160a060020a0316610f2e565b61037c600480360360208110156105ea57600080fd5b5035600160a060020a0316610fc6565b60408051808201909152600981527f4175727573434f494e0000000000000000000000000000000000000000000000602082015281565b60055460009060ff161561067d576040805160e560020a62461bcd0281526020600482015260106024820152600080516020611ae8833981519152604482015290519081900360640190fd5b610687838361101b565b9392505050565b60025490565b60055460009060ff16156106e0576040805160e560020a62461bcd0281526020600482015260106024820152600080516020611ae8833981519152604482015290519081900360640190fd5b6106eb848484611031565b949350505050565b600354600160a060020a031681565b601281565b6a18d0bf423c03d8de00000081565b60055460009060ff1615610762576040805160e560020a62461bcd0281526020600482015260106024820152600080516020611ae8833981519152604482015290519081900360640190fd5b6106878383611088565b61077533610850565b15156107b55760405160e560020a62461bcd0281526004018080602001828103825260308152602001806119e86030913960400191505060405180910390fd5b60055460ff161515610811576040805160e560020a62461bcd02815260206004820152601460248201527f5061757361626c653a206e6f7420706175736564000000000000000000000000604482015290519081900360640190fd5b6005805460ff191690556040805133815290517f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa9181900360200190a1565b600061086360048363ffffffff6110c416565b92915050565b60055460ff1615156108c5576040805160e560020a62461bcd02815260206004820152601460248201527f5061757361626c653a206e6f7420706175736564000000000000000000000000604482015290519081900360640190fd5b60075460ff161515610921576040805160e560020a62461bcd02815260206004820152601260248201527f4d6967726174696f6e3a2073746f707065640000000000000000000000000000604482015290519081900360640190fd5b610929610d3f565b151561096d576040805160e560020a62461bcd0281526020600482018190526024820152600080516020611a81833981519152604482015290519081900360640190fd5b600360009054906101000a9004600160a060020a0316600160a060020a0316635c975abb6040518163ffffffff167c010000000000000000000000000000000000000000000000000000000002815260040160206040518083038186803b1580156109d757600080fd5b505afa1580156109eb573d6000803e3d6000fd5b505050506040513d6020811015610a0157600080fd5b50511515610a59576040805160e560020a62461bcd02815260206004820152601460248201527f5061757361626c653a206e6f7420706175736564000000000000000000000000604482015290519081900360640190fd5b60005b81811015610a9057610a88838383818110610a7357fe5b90506020020135600160a060020a0316611130565b600101610a5c565b505050565b60055460ff1690565b610aa7336111d6565b565b600160a060020a031660009081526020819052604090205490565b610acc610d3f565b1515610b10576040805160e560020a62461bcd0281526020600482018190526024820152600080516020611a81833981519152604482015290519081900360640190fd5b6005546040516000916101009004600160a060020a0316907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a36005805474ffffffffffffffffffffffffffffffffffffffff0019169055565b610b7633610850565b1515610bb65760405160e560020a62461bcd0281526004018080602001828103825260308152602001806119e86030913960400191505060405180910390fd5b610bbf8161121e565b50565b610bcb33610850565b1515610c0b5760405160e560020a62461bcd0281526004018080602001828103825260308152602001806119e86030913960400191505060405180910390fd5b60055460ff1615610c54576040805160e560020a62461bcd0281526020600482015260106024820152600080516020611ae8833981519152604482015290519081900360640190fd5b6005805460ff191660011790556040805133815290517f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a2589181900360200190a1565b610c9e610d3f565b1515610ce2576040805160e560020a62461bcd0281526020600482018190526024820152600080516020611a81833981519152604482015290519081900360640190fd5b600160a060020a038116600081815260066020526040808220805460ff19169055517fde8cf212af7ce38b2840785a2768d97ff2dbf3c21b516961cec0061e134c2a1e9190a250565b6005546101009004600160a060020a031690565b6005546101009004600160a060020a0316331490565b60408051808201909152600381527f4157580000000000000000000000000000000000000000000000000000000000602082015281565b60066020526000908152604090205460ff1681565b60055460009060ff1615610ded576040805160e560020a62461bcd0281526020600482015260106024820152600080516020611ae8833981519152604482015290519081900360640190fd5b6106878383611266565b60055460009060ff1615610e43576040805160e560020a62461bcd0281526020600482015260106024820152600080516020611ae8833981519152604482015290519081900360640190fd5b61068783836112a2565b600160a060020a03918216600090815260016020908152604080832093909416825291909152205490565b610e80610d3f565b1515610ec4576040805160e560020a62461bcd0281526020600482018190526024820152600080516020611a81833981519152604482015290519081900360640190fd5b610ed0848484846112af565b50505050565b610ede610d3f565b1515610f22576040805160e560020a62461bcd0281526020600482018190526024820152600080516020611a81833981519152604482015290519081900360640190fd5b6007805460ff19169055565b610f36610d3f565b1515610f7a576040805160e560020a62461bcd0281526020600482018190526024820152600080516020611a81833981519152604482015290519081900360640190fd5b600160a060020a038116600081815260066020526040808220805460ff19166001179055517f4790a4adb426ca2345bb5108f6e454eae852a7bf687544cd66a7270dff3a41d69190a250565b610fce610d3f565b1515611012576040805160e560020a62461bcd0281526020600482018190526024820152600080516020611a81833981519152604482015290519081900360640190fd5b610bbf816113bb565b6000611028338484611479565b50600192915050565b600061103e84848461156f565b600160a060020a03841660009081526001602090815260408083203380855292529091205461107e918691611079908663ffffffff6115d616565b611479565b5060019392505050565b336000818152600160209081526040808320600160a060020a03871684529091528120549091611028918590611079908663ffffffff61163616565b6000600160a060020a03821615156111105760405160e560020a62461bcd028152600401808060200182810382526022815260200180611aa16022913960400191505060405180910390fd5b50600160a060020a03166000908152602091909152604090205460ff1690565b600354604080517f70a08231000000000000000000000000000000000000000000000000000000008152600160a060020a038481166004830152915160009392909216916370a0823191602480820192602092909190829003018186803b15801561119a57600080fd5b505afa1580156111ae573d6000803e3d6000fd5b505050506040513d60208110156111c457600080fd5b505190506111d28282611693565b5050565b6111e760048263ffffffff61178816565b604051600160a060020a038216907fcd265ebaf09df2871cc7bd4133404a235ba12eff2041bb89d9c714a2621c7c7e90600090a250565b61122f60048263ffffffff6117f416565b604051600160a060020a038216907f6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f890600090a250565b336000818152600160209081526040808320600160a060020a03871684529091528120549091611028918590611079908663ffffffff6115d616565b600061102833848461156f565b600160a060020a0384166000908152602081905260409020546112d8908363ffffffff6115d616565b600160a060020a03808616600090815260208190526040808220939093559085168152205461130d908363ffffffff61163616565b600160a060020a038085166000818152602081815260409182902094909455805186815290519193928816927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a382600160a060020a031684600160a060020a03167f91f8b835be584629107fbfe5be695e33c56ebe55697d7c8a30d309a2b8dce9378484604051808381526020018281526020019250505060405180910390a350505050565b600160a060020a03811615156114055760405160e560020a62461bcd028152600401808060200182810382526026815260200180611a186026913960400191505060405180910390fd5b600554604051600160a060020a0380841692610100900416907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a360058054600160a060020a039092166101000274ffffffffffffffffffffffffffffffffffffffff0019909216919091179055565b600160a060020a03831615156114c35760405160e560020a62461bcd028152600401808060200182810382526024815260200180611b086024913960400191505060405180910390fd5b600160a060020a038216151561150d5760405160e560020a62461bcd028152600401808060200182810382526022815260200180611a3e6022913960400191505060405180910390fd5b600160a060020a03808416600081815260016020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b600160a060020a03831660009081526006602052604090205460ff1615156115cb5760405160e560020a62461bcd028152600401808060200182810382526029815260200180611b2c6029913960400191505060405180910390fd5b610a90838383611878565b600082821115611630576040805160e560020a62461bcd02815260206004820152601e60248201527f536166654d6174683a207375627472616374696f6e206f766572666c6f770000604482015290519081900360640190fd5b50900390565b600082820183811015610687576040805160e560020a62461bcd02815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b600160a060020a03821615156116f3576040805160e560020a62461bcd02815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015290519081900360640190fd5b600254611706908263ffffffff61163616565b600255600160a060020a038216600090815260208190526040902054611732908263ffffffff61163616565b600160a060020a0383166000818152602081815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b61179282826110c4565b15156117d25760405160e560020a62461bcd028152600401808060200182810382526021815260200180611a606021913960400191505060405180910390fd5b600160a060020a0316600090815260209190915260409020805460ff19169055565b6117fe82826110c4565b15611853576040805160e560020a62461bcd02815260206004820152601f60248201527f526f6c65733a206163636f756e7420616c72656164792068617320726f6c6500604482015290519081900360640190fd5b600160a060020a0316600090815260209190915260409020805460ff19166001179055565b600160a060020a03831615156118c25760405160e560020a62461bcd028152600401808060200182810382526025815260200180611ac36025913960400191505060405180910390fd5b600160a060020a038216151561190c5760405160e560020a62461bcd0281526004018080602001828103825260238152602001806119c56023913960400191505060405180910390fd5b600160a060020a038316600090815260208190526040902054611935908263ffffffff6115d616565b600160a060020a03808516600090815260208190526040808220939093559084168152205461196a908263ffffffff61163616565b600160a060020a038084166000818152602081815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a350505056fe45524332303a207472616e7366657220746f20746865207a65726f2061646472657373506175736572526f6c653a2063616c6c657220646f6573206e6f742068617665207468652050617573657220726f6c654f776e61626c653a206e6577206f776e657220697320746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f2061646472657373526f6c65733a206163636f756e7420646f6573206e6f74206861766520726f6c654f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572526f6c65733a206163636f756e7420697320746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f20616464726573735061757361626c653a207061757365640000000000000000000000000000000045524332303a20617070726f76652066726f6d20746865207a65726f20616464726573734f6e6c792077686974656c6973746564206163636f756e74732063616e2073656e6420746f6b656e73a165627a7a7230582081a1e94d6c2db79b8d98aa71de77176302131aba03fc2d2d6722665b0bc82d8f0029526f6c65733a206163636f756e7420697320746865207a65726f2061646472657373

0x608060405234801561001057600080fd5b50600436106101ec576000357c010000000000000000000000000000000000000000000000000000000090048063715018a6116101215780639b19251a116100bf578063de94e0f61161008e578063de94e0f61461056a578063e19a7bc8146105a6578063e43252d7146105ae578063f2fde38b146105d4576101ec565b80639b19251a146104be578063a457c2d7146104e4578063a9059cbb14610510578063dd62ed3e1461053c576101ec565b80638ab1d681116100fb5780638ab1d681146104805780638da5cb5b146104a65780638f32d59b146104ae57806395d89b41146104b6576101ec565b8063715018a61461044a57806382dc1ec4146104525780638456cb5914610478576101ec565b8063395093511161018e5780634b92738e116101685780634b92738e146103a45780635c975abb146104145780636ef8d66d1461041c57806370a0823114610424576101ec565b806339509351146103485780633f4ba83a1461037457806346fbf68e1461037e576101ec565b806323b872dd116101ca57806323b872dd146102c857806324fc74c3146102fe578063313ce56714610322578063355274ea14610340576101ec565b806306fdde03146101f1578063095ea7b31461026e57806318160ddd146102ae575b600080fd5b6101f96105fa565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561023357818101518382015260200161021b565b50505050905090810190601f1680156102605780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61029a6004803603604081101561028457600080fd5b50600160a060020a038135169060200135610631565b604080519115158252519081900360200190f35b6102b661068e565b60408051918252519081900360200190f35b61029a600480360360608110156102de57600080fd5b50600160a060020a03813581169160208101359091169060400135610694565b6103066106f3565b60408051600160a060020a039092168252519081900360200190f35b61032a610702565b6040805160ff9092168252519081900360200190f35b6102b6610707565b61029a6004803603604081101561035e57600080fd5b50600160a060020a038135169060200135610716565b61037c61076c565b005b61029a6004803603602081101561039457600080fd5b5035600160a060020a0316610850565b61037c600480360360208110156103ba57600080fd5b8101906020810181356401000000008111156103d557600080fd5b8201836020820111156103e757600080fd5b8035906020019184602083028401116401000000008311171561040957600080fd5b509092509050610869565b61029a610a95565b61037c610a9e565b6102b66004803603602081101561043a57600080fd5b5035600160a060020a0316610aa9565b61037c610ac4565b61037c6004803603602081101561046857600080fd5b5035600160a060020a0316610b6d565b61037c610bc2565b61037c6004803603602081101561049657600080fd5b5035600160a060020a0316610c96565b610306610d2b565b61029a610d3f565b6101f9610d55565b61029a600480360360208110156104d457600080fd5b5035600160a060020a0316610d8c565b61029a600480360360408110156104fa57600080fd5b50600160a060020a038135169060200135610da1565b61029a6004803603604081101561052657600080fd5b50600160a060020a038135169060200135610df7565b6102b66004803603604081101561055257600080fd5b50600160a060020a0381358116916020013516610e4d565b61037c6004803603608081101561058057600080fd5b50600160a060020a03813581169160208101359091169060408101359060600135610e78565b61037c610ed6565b61037c600480360360208110156105c457600080fd5b5035600160a060020a0316610f2e565b61037c600480360360208110156105ea57600080fd5b5035600160a060020a0316610fc6565b60408051808201909152600981527f4175727573434f494e0000000000000000000000000000000000000000000000602082015281565b60055460009060ff161561067d576040805160e560020a62461bcd0281526020600482015260106024820152600080516020611ae8833981519152604482015290519081900360640190fd5b610687838361101b565b9392505050565b60025490565b60055460009060ff16156106e0576040805160e560020a62461bcd0281526020600482015260106024820152600080516020611ae8833981519152604482015290519081900360640190fd5b6106eb848484611031565b949350505050565b600354600160a060020a031681565b601281565b6a18d0bf423c03d8de00000081565b60055460009060ff1615610762576040805160e560020a62461bcd0281526020600482015260106024820152600080516020611ae8833981519152604482015290519081900360640190fd5b6106878383611088565b61077533610850565b15156107b55760405160e560020a62461bcd0281526004018080602001828103825260308152602001806119e86030913960400191505060405180910390fd5b60055460ff161515610811576040805160e560020a62461bcd02815260206004820152601460248201527f5061757361626c653a206e6f7420706175736564000000000000000000000000604482015290519081900360640190fd5b6005805460ff191690556040805133815290517f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa9181900360200190a1565b600061086360048363ffffffff6110c416565b92915050565b60055460ff1615156108c5576040805160e560020a62461bcd02815260206004820152601460248201527f5061757361626c653a206e6f7420706175736564000000000000000000000000604482015290519081900360640190fd5b60075460ff161515610921576040805160e560020a62461bcd02815260206004820152601260248201527f4d6967726174696f6e3a2073746f707065640000000000000000000000000000604482015290519081900360640190fd5b610929610d3f565b151561096d576040805160e560020a62461bcd0281526020600482018190526024820152600080516020611a81833981519152604482015290519081900360640190fd5b600360009054906101000a9004600160a060020a0316600160a060020a0316635c975abb6040518163ffffffff167c010000000000000000000000000000000000000000000000000000000002815260040160206040518083038186803b1580156109d757600080fd5b505afa1580156109eb573d6000803e3d6000fd5b505050506040513d6020811015610a0157600080fd5b50511515610a59576040805160e560020a62461bcd02815260206004820152601460248201527f5061757361626c653a206e6f7420706175736564000000000000000000000000604482015290519081900360640190fd5b60005b81811015610a9057610a88838383818110610a7357fe5b90506020020135600160a060020a0316611130565b600101610a5c565b505050565b60055460ff1690565b610aa7336111d6565b565b600160a060020a031660009081526020819052604090205490565b610acc610d3f565b1515610b10576040805160e560020a62461bcd0281526020600482018190526024820152600080516020611a81833981519152604482015290519081900360640190fd5b6005546040516000916101009004600160a060020a0316907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0908390a36005805474ffffffffffffffffffffffffffffffffffffffff0019169055565b610b7633610850565b1515610bb65760405160e560020a62461bcd0281526004018080602001828103825260308152602001806119e86030913960400191505060405180910390fd5b610bbf8161121e565b50565b610bcb33610850565b1515610c0b5760405160e560020a62461bcd0281526004018080602001828103825260308152602001806119e86030913960400191505060405180910390fd5b60055460ff1615610c54576040805160e560020a62461bcd0281526020600482015260106024820152600080516020611ae8833981519152604482015290519081900360640190fd5b6005805460ff191660011790556040805133815290517f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a2589181900360200190a1565b610c9e610d3f565b1515610ce2576040805160e560020a62461bcd0281526020600482018190526024820152600080516020611a81833981519152604482015290519081900360640190fd5b600160a060020a038116600081815260066020526040808220805460ff19169055517fde8cf212af7ce38b2840785a2768d97ff2dbf3c21b516961cec0061e134c2a1e9190a250565b6005546101009004600160a060020a031690565b6005546101009004600160a060020a0316331490565b60408051808201909152600381527f4157580000000000000000000000000000000000000000000000000000000000602082015281565b60066020526000908152604090205460ff1681565b60055460009060ff1615610ded576040805160e560020a62461bcd0281526020600482015260106024820152600080516020611ae8833981519152604482015290519081900360640190fd5b6106878383611266565b60055460009060ff1615610e43576040805160e560020a62461bcd0281526020600482015260106024820152600080516020611ae8833981519152604482015290519081900360640190fd5b61068783836112a2565b600160a060020a03918216600090815260016020908152604080832093909416825291909152205490565b610e80610d3f565b1515610ec4576040805160e560020a62461bcd0281526020600482018190526024820152600080516020611a81833981519152604482015290519081900360640190fd5b610ed0848484846112af565b50505050565b610ede610d3f565b1515610f22576040805160e560020a62461bcd0281526020600482018190526024820152600080516020611a81833981519152604482015290519081900360640190fd5b6007805460ff19169055565b610f36610d3f565b1515610f7a576040805160e560020a62461bcd0281526020600482018190526024820152600080516020611a81833981519152604482015290519081900360640190fd5b600160a060020a038116600081815260066020526040808220805460ff19166001179055517f4790a4adb426ca2345bb5108f6e454eae852a7bf687544cd66a7270dff3a41d69190a250565b610fce610d3f565b1515611012576040805160e560020a62461bcd0281526020600482018190526024820152600080516020611a81833981519152604482015290519081900360640190fd5b610bbf816113bb565b6000611028338484611479565b50600192915050565b600061103e84848461156f565b600160a060020a03841660009081526001602090815260408083203380855292529091205461107e918691611079908663ffffffff6115d616565b611479565b5060019392505050565b336000818152600160209081526040808320600160a060020a03871684529091528120549091611028918590611079908663ffffffff61163616565b6000600160a060020a03821615156111105760405160e560020a62461bcd028152600401808060200182810382526022815260200180611aa16022913960400191505060405180910390fd5b50600160a060020a03166000908152602091909152604090205460ff1690565b600354604080517f70a08231000000000000000000000000000000000000000000000000000000008152600160a060020a038481166004830152915160009392909216916370a0823191602480820192602092909190829003018186803b15801561119a57600080fd5b505afa1580156111ae573d6000803e3d6000fd5b505050506040513d60208110156111c457600080fd5b505190506111d28282611693565b5050565b6111e760048263ffffffff61178816565b604051600160a060020a038216907fcd265ebaf09df2871cc7bd4133404a235ba12eff2041bb89d9c714a2621c7c7e90600090a250565b61122f60048263ffffffff6117f416565b604051600160a060020a038216907f6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f890600090a250565b336000818152600160209081526040808320600160a060020a03871684529091528120549091611028918590611079908663ffffffff6115d616565b600061102833848461156f565b600160a060020a0384166000908152602081905260409020546112d8908363ffffffff6115d616565b600160a060020a03808616600090815260208190526040808220939093559085168152205461130d908363ffffffff61163616565b600160a060020a038085166000818152602081815260409182902094909455805186815290519193928816927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a382600160a060020a031684600160a060020a03167f91f8b835be584629107fbfe5be695e33c56ebe55697d7c8a30d309a2b8dce9378484604051808381526020018281526020019250505060405180910390a350505050565b600160a060020a03811615156114055760405160e560020a62461bcd028152600401808060200182810382526026815260200180611a186026913960400191505060405180910390fd5b600554604051600160a060020a0380841692610100900416907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a360058054600160a060020a039092166101000274ffffffffffffffffffffffffffffffffffffffff0019909216919091179055565b600160a060020a03831615156114c35760405160e560020a62461bcd028152600401808060200182810382526024815260200180611b086024913960400191505060405180910390fd5b600160a060020a038216151561150d5760405160e560020a62461bcd028152600401808060200182810382526022815260200180611a3e6022913960400191505060405180910390fd5b600160a060020a03808416600081815260016020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b600160a060020a03831660009081526006602052604090205460ff1615156115cb5760405160e560020a62461bcd028152600401808060200182810382526029815260200180611b2c6029913960400191505060405180910390fd5b610a90838383611878565b600082821115611630576040805160e560020a62461bcd02815260206004820152601e60248201527f536166654d6174683a207375627472616374696f6e206f766572666c6f770000604482015290519081900360640190fd5b50900390565b600082820183811015610687576040805160e560020a62461bcd02815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b600160a060020a03821615156116f3576040805160e560020a62461bcd02815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015290519081900360640190fd5b600254611706908263ffffffff61163616565b600255600160a060020a038216600090815260208190526040902054611732908263ffffffff61163616565b600160a060020a0383166000818152602081815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b61179282826110c4565b15156117d25760405160e560020a62461bcd028152600401808060200182810382526021815260200180611a606021913960400191505060405180910390fd5b600160a060020a0316600090815260209190915260409020805460ff19169055565b6117fe82826110c4565b15611853576040805160e560020a62461bcd02815260206004820152601f60248201527f526f6c65733a206163636f756e7420616c72656164792068617320726f6c6500604482015290519081900360640190fd5b600160a060020a0316600090815260209190915260409020805460ff19166001179055565b600160a060020a03831615156118c25760405160e560020a62461bcd028152600401808060200182810382526025815260200180611ac36025913960400191505060405180910390fd5b600160a060020a038216151561190c5760405160e560020a62461bcd0281526004018080602001828103825260238152602001806119c56023913960400191505060405180910390fd5b600160a060020a038316600090815260208190526040902054611935908263ffffffff6115d616565b600160a060020a03808516600090815260208190526040808220939093559084168152205461196a908263ffffffff61163616565b600160a060020a038084166000818152602081815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a350505056fe45524332303a207472616e7366657220746f20746865207a65726f2061646472657373506175736572526f6c653a2063616c6c657220646f6573206e6f742068617665207468652050617573657220726f6c654f776e61626c653a206e6577206f776e657220697320746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f2061646472657373526f6c65733a206163636f756e7420646f6573206e6f74206861766520726f6c654f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572526f6c65733a206163636f756e7420697320746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f20616464726573735061757361626c653a207061757365640000000000000000000000000000000045524332303a20617070726f76652066726f6d20746865207a65726f20616464726573734f6e6c792077686974656c6973746564206163636f756e74732063616e2073656e6420746f6b656e73a165627a7a7230582081a1e94d6c2db79b8d98aa71de77176302131aba03fc2d2d6722665b0bc82d8f0029

23466:3003:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;23466:3003:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;24215:41;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;24215:41:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20415:140;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;20415:140:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;9267:91;;;:::i;:::-;;;;;;;;;;;;;;;;20247:160;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;20247:160:0;;;;;;;;;;;;;;;;;:::i;8353:74::-;;;:::i;:::-;;;;-1:-1:-1;;;;;8353:74:0;;;;;;;;;;;;;;24113:35;;;:::i;:::-;;;;;;;;;;;;;;;;;;;23880:44;;;:::i;20563:167::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;20563:167:0;;;;;;;;:::i;19776:118::-;;;:::i;:::-;;17293:109;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;17293:109:0;-1:-1:-1;;;;;17293:109:0;;:::i;25097:285::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;25097:285:0;;;;;;;;21:11:-1;5:28;;2:2;;;46:1;43;36:12;2:2;25097:285:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;25097:285:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;39:11;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;-1:-1;25097:285:0;;-1:-1:-1;25097:285:0;-1:-1:-1;25097:285:0;:::i;18985:78::-;;;:::i;17510:77::-;;;:::i;9421:110::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;9421:110:0;-1:-1:-1;;;;;9421:110:0;;:::i;22611:140::-;;;:::i;17410:92::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;17410:92:0;-1:-1:-1;;;;;17410:92:0;;:::i;19565:116::-;;;:::i;26030:151::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;26030:151:0;-1:-1:-1;;;;;26030:151:0;;:::i;21800:79::-;;;:::i;22166:92::-;;;:::i;24321:37::-;;;:::i;24011:41::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;24011:41:0;-1:-1:-1;;;;;24011:41:0;;:::i;20738:177::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;20738:177:0;;;;;;;;:::i;20107:132::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;20107:132:0;;;;;;;;:::i;9963:134::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;9963:134:0;;;;;;;;;;:::i;26290:176::-;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;;;;;;26290:176:0;;;;;;;;;;;;;;;;;;;;;;:::i;24705:83::-;;;:::i;25804:141::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;25804:141:0;-1:-1:-1;;;;;25804:141:0;;:::i;22906:109::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;22906:109:0;-1:-1:-1;;;;;22906:109:0;;:::i;24215:41::-;;;;;;;;;;;;;;;;;;;:::o;20415:140::-;19222:7;;20494:4;;19222:7;;19221:8;19213:37;;;;;-1:-1:-1;;;;;19213:37:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;19213:37:0;;;;;;;;;;;;;;;20518:29;20532:7;20541:5;20518:13;:29::i;:::-;20511:36;20415:140;-1:-1:-1;;;20415:140:0:o;9267:91::-;9338:12;;9267:91;:::o;20247:160::-;19222:7;;20340:4;;19222:7;;19221:8;19213:37;;;;;-1:-1:-1;;;;;19213:37:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;19213:37:0;;;;;;;;;;;;;;;20364:35;20383:4;20389:2;20393:5;20364:18;:35::i;:::-;20357:42;20247:160;-1:-1:-1;;;;20247:160:0:o;8353:74::-;;;-1:-1:-1;;;;;8353:74:0;;:::o;24113:35::-;24146:2;24113:35;:::o;23880:44::-;23910:14;23880:44;:::o;20563:167::-;19222:7;;20654:4;;19222:7;;19221:8;19213:37;;;;;-1:-1:-1;;;;;19213:37:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;19213:37:0;;;;;;;;;;;;;;;20678:44;20702:7;20711:10;20678:23;:44::i;19776:118::-;17192:20;17201:10;17192:8;:20::i;:::-;17184:81;;;;;;-1:-1:-1;;;;;17184:81:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19421:7;;;;19413:40;;;;;;;-1:-1:-1;;;;;19413:40:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;19835:7;:15;;-1:-1:-1;;19835:15:0;;;19866:20;;;19875:10;19866:20;;;;;;;;;;;;;19776:118::o;17293:109::-;17349:4;17373:21;:8;17386:7;17373:21;:12;:21;:::i;:::-;17366:28;17293:109;-1:-1:-1;;17293:109:0:o;25097:285::-;19421:7;;;;19413:40;;;;;;;-1:-1:-1;;;;;19413:40:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;24899:14;;;;24891:45;;;;;;;-1:-1:-1;;;;;24891:45:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;22012:9;:7;:9::i;:::-;22004:54;;;;;;;-1:-1:-1;;;;;22004:54:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;22004:54:0;;;;;;;;;;;;;;;25219:14;;;;;;;;;-1:-1:-1;;;;;25219:14:0;-1:-1:-1;;;;;25215:26:0;;:28;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;25215:28:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;25215:28:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;25215:28:0;25207:61;;;;;;;-1:-1:-1;;;;;25207:61:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;25284:6;25279:96;25294:18;;;25279:96;;;25334:29;25350:9;;25360:1;25350:12;;;;;;;;;;;;;-1:-1:-1;;;;;25350:12:0;25334:15;:29::i;:::-;25314:3;;25279:96;;;;25097:285;;:::o;18985:78::-;19048:7;;;;18985:78;:::o;17510:77::-;17554:25;17568:10;17554:13;:25::i;:::-;17510:77::o;9421:110::-;-1:-1:-1;;;;;9505:18:0;9478:7;9505:18;;;;;;;;;;;;9421:110::o;22611:140::-;22012:9;:7;:9::i;:::-;22004:54;;;;;;;-1:-1:-1;;;;;22004:54:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;22004:54:0;;;;;;;;;;;;;;;22694:6;;22673:40;;22710:1;;22694:6;;;-1:-1:-1;;;;;22694:6:0;;22673:40;;22710:1;;22673:40;22724:6;:19;;-1:-1:-1;;22724:19:0;;;22611:140::o;17410:92::-;17192:20;17201:10;17192:8;:20::i;:::-;17184:81;;;;;;-1:-1:-1;;;;;17184:81:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;17475:19;17486:7;17475:10;:19::i;:::-;17410:92;:::o;19565:116::-;17192:20;17201:10;17192:8;:20::i;:::-;17184:81;;;;;;-1:-1:-1;;;;;17184:81:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19222:7;;;;19221:8;19213:37;;;;;-1:-1:-1;;;;;19213:37:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;19213:37:0;;;;;;;;;;;;;;;19625:7;:14;;-1:-1:-1;;19625:14:0;19635:4;19625:14;;;19655:18;;;19662:10;19655:18;;;;;;;;;;;;;19565:116::o;26030:151::-;22012:9;:7;:9::i;:::-;22004:54;;;;;;;-1:-1:-1;;;;;22004:54:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;22004:54:0;;;;;;;;;;;;;;;-1:-1:-1;;;;;26106:18:0;;26127:5;26106:18;;;:9;:18;;;;;;:26;;-1:-1:-1;;26106:26:0;;;26148:25;;;26127:5;26148:25;26030:151;:::o;21800:79::-;21865:6;;;;;-1:-1:-1;;;;;21865:6:0;;21800:79::o;22166:92::-;22244:6;;;;;-1:-1:-1;;;;;22244:6:0;22230:10;:20;;22166:92::o;24321:37::-;;;;;;;;;;;;;;;;;;;:::o;24011:41::-;;;;;;;;;;;;;;;:::o;20738:177::-;19222:7;;20834:4;;19222:7;;19221:8;19213:37;;;;;-1:-1:-1;;;;;19213:37:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;19213:37:0;;;;;;;;;;;;;;;20858:49;20882:7;20891:15;20858:23;:49::i;20107:132::-;19222:7;;20182:4;;19222:7;;19221:8;19213:37;;;;;-1:-1:-1;;;;;19213:37:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;19213:37:0;;;;;;;;;;;;;;;20206:25;20221:2;20225:5;20206:14;:25::i;9963:134::-;-1:-1:-1;;;;;10062:18:0;;;10035:7;10062:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;9963:134::o;26290:176::-;22012:9;:7;:9::i;:::-;22004:54;;;;;;;-1:-1:-1;;;;;22004:54:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;22004:54:0;;;;;;;;;;;;;;;26411:47;26426:6;26433:9;26443:6;26450:7;26411:14;:47::i;:::-;26290:176;;;;:::o;24705:83::-;22012:9;:7;:9::i;:::-;22004:54;;;;;;;-1:-1:-1;;;;;22004:54:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;22004:54:0;;;;;;;;;;;;;;;24758:14;:22;;-1:-1:-1;;24758:22:0;;;24705:83::o;25804:141::-;22012:9;:7;:9::i;:::-;22004:54;;;;;;;-1:-1:-1;;;;;22004:54:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;22004:54:0;;;;;;;;;;;;;;;-1:-1:-1;;;;;25873:18:0;;;;;;:9;:18;;;;;;:25;;-1:-1:-1;;25873:25:0;25894:4;25873:25;;;25914:23;;;25873:18;25914:23;25804:141;:::o;22906:109::-;22012:9;:7;:9::i;:::-;22004:54;;;;;;;-1:-1:-1;;;;;22004:54:0;;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;22004:54:0;;;;;;;;;;;;;;;22979:28;22998:8;22979:18;:28::i;10244:148::-;10309:4;10326:36;10335:10;10347:7;10356:5;10326:8;:36::i;:::-;-1:-1:-1;10380:4:0;10244:148;;;;:::o;10863:256::-;10952:4;10969:36;10979:6;10987:9;10998:6;10969:9;:36::i;:::-;-1:-1:-1;;;;;11045:19:0;;;;;;:11;:19;;;;;;;;11033:10;11045:31;;;;;;;;;11016:73;;11025:6;;11045:43;;11081:6;11045:43;:35;:43;:::i;:::-;11016:8;:73::i;:::-;-1:-1:-1;11107:4:0;10863:256;;;;;:::o;11528:206::-;11634:10;11608:4;11655:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;11655:32:0;;;;;;;;;;11608:4;;11625:79;;11646:7;;11655:48;;11692:10;11655:48;:36;:48;:::i;16598:203::-;16670:4;-1:-1:-1;;;;;16695:21:0;;;;16687:68;;;;-1:-1:-1;;;;;16687:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;;16773:20:0;:11;:20;;;;;;;;;;;;;;;16598:203::o;8566:159::-;8651:14;;8645:40;;;;;;-1:-1:-1;;;;;8645:40:0;;;;;;;;;8628:14;;8651;;;;;8645:31;;:40;;;;;;;;;;;;;;;8651:14;8645:40;;;5:2:-1;;;;30:1;27;20:12;5:2;8645:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8645:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;8645:40:0;;-1:-1:-1;8696:21:0;8702:7;8645:40;8696:5;:21::i;:::-;8566:159;;:::o;17725:130::-;17785:24;:8;17801:7;17785:24;:15;:24;:::i;:::-;17825:22;;-1:-1:-1;;;;;17825:22:0;;;;;;;;17725:130;:::o;17595:122::-;17652:21;:8;17665:7;17652:21;:12;:21;:::i;:::-;17689:20;;-1:-1:-1;;;;;17689:20:0;;;;;;;;17595:122;:::o;12237:216::-;12348:10;12322:4;12369:23;;;:11;:23;;;;;;;;-1:-1:-1;;;;;12369:32:0;;;;;;;;;;12322:4;;12339:84;;12360:7;;12369:53;;12406:15;12369:53;:36;:53;:::i;9744:156::-;9813:4;9830:40;9840:10;9852:9;9863:6;9830:9;:40::i;8851:351::-;-1:-1:-1;;;;;8983:17:0;;:9;:17;;;;;;;;;;;:29;;9005:6;8983:29;:21;:29;:::i;:::-;-1:-1:-1;;;;;8963:17:0;;;:9;:17;;;;;;;;;;;:49;;;;9046:20;;;;;;;:32;;9071:6;9046:32;:24;:32;:::i;:::-;-1:-1:-1;;;;;9023:20:0;;;:9;:20;;;;;;;;;;;;:55;;;;9094:35;;;;;;;9023:20;;9094:35;;;;;;;;;;;;;9167:9;-1:-1:-1;;;;;9145:49:0;9159:6;-1:-1:-1;;;;;9145:49:0;;9178:6;9186:7;9145:49;;;;;;;;;;;;;;;;;;;;;;;;8851:351;;;;:::o;23121:229::-;-1:-1:-1;;;;;23195:22:0;;;;23187:73;;;;-1:-1:-1;;;;;23187:73:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23297:6;;23276:38;;-1:-1:-1;;;;;23276:38:0;;;;23297:6;;;;;23276:38;;;;;23325:6;:17;;-1:-1:-1;;;;;23325:17:0;;;;;-1:-1:-1;;23325:17:0;;;;;;;;;23121:229::o;15041:335::-;-1:-1:-1;;;;;15134:19:0;;;;15126:68;;;;-1:-1:-1;;;;;15126:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;15213:21:0;;;;15205:68;;;;-1:-1:-1;;;;;15205:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;15286:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:35;;;15337:31;;;;;;;;;;;;;;;;;15041:335;;;:::o;25470:222::-;-1:-1:-1;;;;;25568:17:0;;;;;;:9;:17;;;;;;;;25560:71;;;;;;-1:-1:-1;;;;;25560:71:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;25642:42;25658:6;25666:9;25677:6;25642:15;:42::i;4496:184::-;4554:7;4582:6;;;;4574:49;;;;;-1:-1:-1;;;;;4574:49:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;4646:5:0;;;4496:184::o;4040:181::-;4098:7;4130:5;;;4154:6;;;;4146:46;;;;;-1:-1:-1;;;;;4146:46:0;;;;;;;;;;;;;;;;;;;;;;;;;;;13655:308;-1:-1:-1;;;;;13731:21:0;;;;13723:65;;;;;-1:-1:-1;;;;;13723:65:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;13816:12;;:24;;13833:6;13816:24;:16;:24;:::i;:::-;13801:12;:39;-1:-1:-1;;;;;13872:18:0;;:9;:18;;;;;;;;;;;:30;;13895:6;13872:30;:22;:30;:::i;:::-;-1:-1:-1;;;;;13851:18:0;;:9;:18;;;;;;;;;;;:51;;;;13918:37;;;;;;;13851:18;;:9;;13918:37;;;;;;;;;;13655:308;;:::o;16320:183::-;16400:18;16404:4;16410:7;16400:3;:18::i;:::-;16392:64;;;;;;-1:-1:-1;;;;;16392:64:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;16467:20:0;16490:5;16467:20;;;;;;;;;;;:28;;-1:-1:-1;;16467:28:0;;;16320:183::o;16062:178::-;16140:18;16144:4;16150:7;16140:3;:18::i;:::-;16139:19;16131:63;;;;;-1:-1:-1;;;;;16131:63:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;16205:20:0;:11;:20;;;;;;;;;;;:27;;-1:-1:-1;;16205:27:0;16228:4;16205:27;;;16062:178::o;12943:431::-;-1:-1:-1;;;;;13041:20:0;;;;13033:70;;;;-1:-1:-1;;;;;13033:70:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;13122:23:0;;;;13114:71;;;;-1:-1:-1;;;;;13114:71:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;13220:17:0;;:9;:17;;;;;;;;;;;:29;;13242:6;13220:29;:21;:29;:::i;:::-;-1:-1:-1;;;;;13200:17:0;;;:9;:17;;;;;;;;;;;:49;;;;13283:20;;;;;;;:32;;13308:6;13283:32;:24;:32;:::i;:::-;-1:-1:-1;;;;;13260:20:0;;;:9;:20;;;;;;;;;;;;:55;;;;13331:35;;;;;;;13260:20;;13331:35;;;;;;;;;;;;;12943:431;;;:::o

bzzr://81a1e94d6c2db79b8d98aa71de77176302131aba03fc2d2d6722665b0bc82d8f