Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

 contract DSAuthority    - function canCall(  contract DSAuthEvents  contract DSAuth is DSAuthEvents    - function setOwner(address owner_)    - function setAuthority(DSAuthority aut ...    - function isAuthorized(address src, by ...  contract TokenController    - function proxyPayment(address _owner)    - function onTransfer(address _from, ad ...    - function onApprove(address _owner, ad ...  contract ApproveAndCallFallBack    - function receiveApproval(address from ...  contract ERC20Events  contract ERC20 is ERC20Events    - function totalSupply()    - function balanceOf(address guy)    - function allowance(address src, addre ...    - function approve(address guy, uint wa ...    - function transfer(address dst, uint w ...    - function transferFrom(  contract DSMath    - function add(uint x, uint y)    - function sub(uint x, uint y)    - function mul(uint x, uint y)    - function min(uint x, uint y)    - function max(uint x, uint y)    - function imin(int x, int y)    - function imax(int x, int y)    - function wmul(uint x, uint y)    - function rmul(uint x, uint y)    - function wdiv(uint x, uint y)    - function rdiv(uint x, uint y)    - function rpow(uint x, uint n)  contract DSNote  contract ERC223ReceivingContract    - function tokenFallback(address _from, ...  contract Controlled    - function changeController(address _ne ...  contract ERC223    - function transfer(address to, uint am ...    - function transferFrom(address from, a ...    - function transfer(address to, uint am ...    - function transferFrom(address from, a ...  contract DSTokenBase is ERC20, DSM ...    - function totalSupply()    - function balanceOf(address src)    - function allowance(address src, addre ...    - function transfer(address dst, uint w ...    - function transferFrom(address src, ad ...    - function approve(address guy, uint wa ...  contract DSStop is DSNote, DSAuth    - function stop()    - function start()  contract DSToken is DSTokenBase(0) ...    - function approve(address guy, uint wa ...    - function transferFrom(address src, ad ...    - function push(address dst, uint wad)    - function pull(address src, uint wad)    - function move(address src, address ds ...    - function mint(uint wad)    - function burn(uint wad)    - function mint(address guy, uint wad)    - function burn(address guy, uint wad)    - function setName(bytes32 name_)  contract AKC is DSToken(" ... *    - function transferFrom(address _from, ...    - function transferFrom(address _from, ...    - function transfer(    - function transferFrom(address _from, ...    - function transfer(    - function approve(address _spender, ui ...    - function mint(address _guy, uint _wad ...    - function burn(address _guy, uint _wad ...    - function approveAndCall(address _spen ...    - function isContract(address _addr)    - function ()    - function claimTokens(address _token)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-05-21
*/

pragma solidity ^0.4.25;
// produced by the Solididy File Flattener (c) David Appleton 2018
// contact : [email protected]
// released under Apache 2.0 licence
// input  /Users/mark/site/www.artwook.com/contracts/contracts/AKC.sol
// flattened :  Tuesday, 21-May-19 07:12:32 UTC
contract DSAuthority {
    function canCall(
        address src, address dst, bytes4 sig
    ) public view returns (bool);
}

contract DSAuthEvents {
    event LogSetAuthority (address indexed authority);
    event LogSetOwner     (address indexed owner);
}

contract DSAuth is DSAuthEvents {
    DSAuthority  public  authority;
    address      public  owner;

    constructor() public {
        owner = msg.sender;
        emit LogSetOwner(msg.sender);
    }

    function setOwner(address owner_)
        public
        auth
    {
        owner = owner_;
        emit LogSetOwner(owner);
    }

    function setAuthority(DSAuthority authority_)
        public
        auth
    {
        authority = authority_;
        emit LogSetAuthority(authority);
    }

    modifier auth {
        require(isAuthorized(msg.sender, msg.sig));
        _;
    }

    function isAuthorized(address src, bytes4 sig) internal view returns (bool) {
        if (src == address(this)) {
            return true;
        } else if (src == owner) {
            return true;
        } else if (authority == DSAuthority(0)) {
            return false;
        } else {
            return authority.canCall(src, this, sig);
        }
    }
}

contract TokenController {
    /// @notice Called when `_owner` sends ether to the MiniMe Token contract
    /// @param _owner The address that sent the ether to create tokens
    /// @return True if the ether is accepted, false if it throws
    function proxyPayment(address _owner) payable public returns (bool);

    /// @notice Notifies the controller about a token transfer allowing the
    ///  controller to react if desired
    /// @param _from The origin of the transfer
    /// @param _to The destination of the transfer
    /// @param _amount The amount of the transfer
    /// @return False if the controller does not authorize the transfer
    function onTransfer(address _from, address _to, uint _amount) public returns (bool);

    /// @notice Notifies the controller about an approval allowing the
    ///  controller to react if desired
    /// @param _owner The address that calls `approve()`
    /// @param _spender The spender in the `approve()` call
    /// @param _amount The amount in the `approve()` call
    /// @return False if the controller does not authorize the approval
    function onApprove(address _owner, address _spender, uint _amount) public returns (bool);
}

contract ApproveAndCallFallBack {
    function receiveApproval(address from, uint256 _amount, address _token, bytes _data);
}
contract ERC20Events {
    event Approval(address indexed src, address indexed guy, uint wad);
    event Transfer(address indexed src, address indexed dst, uint wad);
}

contract ERC20 is ERC20Events {
    function totalSupply() public view returns (uint);
    function balanceOf(address guy) public view returns (uint);
    function allowance(address src, address guy) public view returns (uint);

    function approve(address guy, uint wad) public returns (bool);
    function transfer(address dst, uint wad) public returns (bool);
    function transferFrom(
        address src, address dst, uint wad
    ) public returns (bool);
}

contract DSMath {
    function add(uint x, uint y) internal pure returns (uint z) {
        require((z = x + y) >= x);
    }
    function sub(uint x, uint y) internal pure returns (uint z) {
        require((z = x - y) <= x);
    }
    function mul(uint x, uint y) internal pure returns (uint z) {
        require(y == 0 || (z = x * y) / y == x);
    }

    function min(uint x, uint y) internal pure returns (uint z) {
        return x <= y ? x : y;
    }
    function max(uint x, uint y) internal pure returns (uint z) {
        return x >= y ? x : y;
    }
    function imin(int x, int y) internal pure returns (int z) {
        return x <= y ? x : y;
    }
    function imax(int x, int y) internal pure returns (int z) {
        return x >= y ? x : y;
    }

    uint constant WAD = 10 ** 18;
    uint constant RAY = 10 ** 27;

    function wmul(uint x, uint y) internal pure returns (uint z) {
        z = add(mul(x, y), WAD / 2) / WAD;
    }
    function rmul(uint x, uint y) internal pure returns (uint z) {
        z = add(mul(x, y), RAY / 2) / RAY;
    }
    function wdiv(uint x, uint y) internal pure returns (uint z) {
        z = add(mul(x, WAD), y / 2) / y;
    }
    function rdiv(uint x, uint y) internal pure returns (uint z) {
        z = add(mul(x, RAY), y / 2) / y;
    }

    // This famous algorithm is called "exponentiation by squaring"
    // and calculates x^n with x as fixed-point and n as regular unsigned.
    //
    // It's O(log n), instead of O(n) for naive repeated multiplication.
    //
    // These facts are why it works:
    //
    //  If n is even, then x^n = (x^2)^(n/2).
    //  If n is odd,  then x^n = x * x^(n-1),
    //   and applying the equation for even x gives
    //    x^n = x * (x^2)^((n-1) / 2).
    //
    //  Also, EVM division is flooring and
    //    floor[(n-1) / 2] = floor[n / 2].
    //
    function rpow(uint x, uint n) internal pure returns (uint z) {
        z = n % 2 != 0 ? x : RAY;

        for (n /= 2; n != 0; n /= 2) {
            x = rmul(x, x);

            if (n % 2 != 0) {
                z = rmul(z, x);
            }
        }
    }
}

contract DSNote {
    event LogNote(
        bytes4   indexed  sig,
        address  indexed  guy,
        bytes32  indexed  foo,
        bytes32  indexed  bar,
        uint              wad,
        bytes             fax
    ) anonymous;

    modifier note {
        bytes32 foo;
        bytes32 bar;

        assembly {
            foo := calldataload(4)
            bar := calldataload(36)
        }

        emit LogNote(msg.sig, msg.sender, foo, bar, msg.value, msg.data);

        _;
    }
}

contract ERC223ReceivingContract {

    /// @dev Function that is called when a user or another contract wants to transfer funds.
    /// @param _from Transaction initiator, analogue of msg.sender
    /// @param _value Number of tokens to transfer.
    /// @param _data Data containig a function signature and/or parameters
    function tokenFallback(address _from, uint256 _value, bytes _data) public;


    /// @dev For ERC20 backward compatibility, same with above tokenFallback but without data.
    /// The function execution could fail, but do not influence the token transfer.
    /// @param _from Transaction initiator, analogue of msg.sender
    /// @param _value Number of tokens to transfer.
    //  function tokenFallback(address _from, uint256 _value) public;
}

contract Controlled {
    /// @notice The address of the controller is the only address that can call
    ///  a function with this modifier
    modifier onlyController { if (msg.sender != controller) revert(); _; }

    address public controller;

    constructor() { controller = msg.sender;}

    /// @notice Changes the controller of the contract
    /// @param _newController The new controller of the contract
    function changeController(address _newController) onlyController {
        controller = _newController;
    }
}

contract ERC223 {
    function transfer(address to, uint amount, bytes data) public returns (bool ok);

    function transferFrom(address from, address to, uint256 amount, bytes data) public returns (bool ok);

    function transfer(address to, uint amount, bytes data, string custom_fallback) public returns (bool ok);

    function transferFrom(address from, address to, uint256 amount, bytes data, string custom_fallback) public returns (bool ok);

    event ERC223Transfer(address indexed from, address indexed to, uint amount, bytes data);

    event ReceivingContractTokenFallbackFailed(address indexed from, address indexed to, uint amount);
}

contract DSTokenBase is ERC20, DSMath {
    uint256                                            _supply;
    mapping (address => uint256)                       _balances;
    mapping (address => mapping (address => uint256))  _approvals;

    constructor(uint supply) public {
        _balances[msg.sender] = supply;
        _supply = supply;
    }

    function totalSupply() public view returns (uint) {
        return _supply;
    }
    function balanceOf(address src) public view returns (uint) {
        return _balances[src];
    }
    function allowance(address src, address guy) public view returns (uint) {
        return _approvals[src][guy];
    }

    function transfer(address dst, uint wad) public returns (bool) {
        return transferFrom(msg.sender, dst, wad);
    }

    function transferFrom(address src, address dst, uint wad)
        public
        returns (bool)
    {
        if (src != msg.sender) {
            _approvals[src][msg.sender] = sub(_approvals[src][msg.sender], wad);
        }

        _balances[src] = sub(_balances[src], wad);
        _balances[dst] = add(_balances[dst], wad);

        emit Transfer(src, dst, wad);

        return true;
    }

    function approve(address guy, uint wad) public returns (bool) {
        _approvals[msg.sender][guy] = wad;

        emit Approval(msg.sender, guy, wad);

        return true;
    }
}

contract DSStop is DSNote, DSAuth {

    bool public stopped;

    modifier stoppable {
        require(!stopped);
        _;
    }
    function stop() public auth note {
        stopped = true;
    }
    function start() public auth note {
        stopped = false;
    }

}

contract DSToken is DSTokenBase(0), DSStop {

    bytes32  public  symbol;
    uint256  public  decimals = 18; // standard token precision. override to customize

    constructor(bytes32 symbol_) public {
        symbol = symbol_;
    }

    event Mint(address indexed guy, uint wad);
    event Burn(address indexed guy, uint wad);

    /* 这个方法会将所有余额授权给相应的账号 此处删除比较危险的功能 */
    /* function approve(address guy) public stoppable returns (bool) {
        return super.approve(guy, uint(-1));
    } */

    function approve(address guy, uint wad) public stoppable returns (bool) {
        return super.approve(guy, wad);
    }

    function transferFrom(address src, address dst, uint wad)
        public
        stoppable
        returns (bool)
    {
        if (src != msg.sender && _approvals[src][msg.sender] != uint(-1)) {
            _approvals[src][msg.sender] = sub(_approvals[src][msg.sender], wad);
        }

        _balances[src] = sub(_balances[src], wad);
        _balances[dst] = add(_balances[dst], wad);

        emit Transfer(src, dst, wad);

        return true;
    }

    function push(address dst, uint wad) public {
        transferFrom(msg.sender, dst, wad);
    }
    function pull(address src, uint wad) public {
        transferFrom(src, msg.sender, wad);
    }
    function move(address src, address dst, uint wad) public {
        transferFrom(src, dst, wad);
    }

    function mint(uint wad) public {
        mint(msg.sender, wad);
    }
    function burn(uint wad) public {
        burn(msg.sender, wad);
    }
    function mint(address guy, uint wad) public auth stoppable {
        _balances[guy] = add(_balances[guy], wad);
        _supply = add(_supply, wad);
        emit Mint(guy, wad);
    }
    function burn(address guy, uint wad) public auth stoppable {
        if (guy != msg.sender && _approvals[guy][msg.sender] != uint(-1)) {
            _approvals[guy][msg.sender] = sub(_approvals[guy][msg.sender], wad);
        }

        _balances[guy] = sub(_balances[guy], wad);
        _supply = sub(_supply, wad);
        emit Burn(guy, wad);
    }

    // Optional token name
    bytes32   public  name = "";

    function setName(bytes32 name_) public auth {
        name = name_;
    }
}

contract AKC is DSToken("AKC"), ERC223, Controlled {

    uint256 public cap = 2e26;

    constructor() {
        setName("ARTWOOK Coin");
    }

    /// @notice Send `_amount` tokens to `_to` from `_from` on the condition it
    ///  is approved by `_from`
    /// @param _from The address holding the tokens being transferred
    /// @param _to The address of the recipient
    /// @param _amount The amount of tokens to be transferred
    /// @return True if the transfer was successful
    function transferFrom(address _from, address _to, uint256 _amount
    ) public returns (bool success) {
        // Alerts the token controller of the transfer
        if (isContract(controller)) {
            if (!TokenController(controller).onTransfer(_from, _to, _amount))
               revert();
        }

        success = super.transferFrom(_from, _to, _amount);

        if (success && isContract(_to))
        {
            // ERC20 backward compatiability
            if(!_to.call(bytes4(keccak256("tokenFallback(address,uint256)")), _from, _amount)) {
                // do nothing when error in call in case that the _to contract is not inherited from ERC223ReceivingContract
                // revert();
                // bytes memory empty;

                emit ReceivingContractTokenFallbackFailed(_from, _to, _amount);

                // Even the fallback failed if there is such one, the transfer will not be revert since "revert()" is not called.
            }
        }
    }

    /*
     * ERC 223
     * Added support for the ERC 223 "tokenFallback" method in a "transfer" function with a payload.
     */
    function transferFrom(address _from, address _to, uint256 _amount, bytes _data)
        public
        returns (bool success)
    {
        // Alerts the token controller of the transfer
        if (isContract(controller)) {
            if (!TokenController(controller).onTransfer(_from, _to, _amount))
               revert();
        }

        require(super.transferFrom(_from, _to, _amount));

        if (isContract(_to)) {
            ERC223ReceivingContract receiver = ERC223ReceivingContract(_to);
            receiver.tokenFallback(_from, _amount, _data);
        }

        emit ERC223Transfer(_from, _to, _amount, _data);

        return true;
    }

    /*
     * ERC 223
     * Added support for the ERC 223 "tokenFallback" method in a "transfer" function with a payload.
     * https://github.com/ethereum/EIPs/issues/223
     * function transfer(address _to, uint256 _value, bytes _data) public returns (bool success);
     */
    /// @notice Send `_value` tokens to `_to` from `msg.sender` and trigger
    /// tokenFallback if sender is a contract.
    /// @dev Function that is called when a user or another contract wants to transfer funds.
    /// @param _to Address of token receiver.
    /// @param _amount Number of tokens to transfer.
    /// @param _data Data to be sent to tokenFallback
    /// @return Returns success of function call.
    function transfer(
        address _to,
        uint256 _amount,
        bytes _data)
        public
        returns (bool success)
    {
        return transferFrom(msg.sender, _to, _amount, _data);
    }

    /*
     * ERC 223
     * Added support for the ERC 223 "tokenFallback" method in a "transfer" function with a payload.
     */
    function transferFrom(address _from, address _to, uint256 _amount, bytes _data, string _custom_fallback)
        public
        returns (bool success)
    {
        // Alerts the token controller of the transfer
        if (isContract(controller)) {
            if (!TokenController(controller).onTransfer(_from, _to, _amount))
               revert();
        }

        require(super.transferFrom(_from, _to, _amount));

        if (isContract(_to)) {
            /* 修复ERC233 与 ds-auth 合用时产生的安全漏洞 */
            if(_to == address(this)) revert();
            ERC223ReceivingContract receiver = ERC223ReceivingContract(_to);
            receiver.call.value(0)(bytes4(keccak256(_custom_fallback)), _from, _amount, _data);
        }

        emit ERC223Transfer(_from, _to, _amount, _data);

        return true;
    }

    /*
     * ERC 223
     * Added support for the ERC 223 "tokenFallback" method in a "transfer" function with a payload.
     */
    function transfer(
        address _to,
        uint _amount,
        bytes _data,
        string _custom_fallback)
        public
        returns (bool success)
    {
        return transferFrom(msg.sender, _to, _amount, _data, _custom_fallback);
    }

    /// @notice `msg.sender` approves `_spender` to spend `_amount` tokens on
    ///  its behalf. This is a modified version of the ERC20 approve function
    ///  to be a little bit safer
    /// @param _spender The address of the account able to transfer the tokens
    /// @param _amount The amount of tokens to be approved for transfer
    /// @return True if the approval was successful
    function approve(address _spender, uint256 _amount) returns (bool success) {
        // Alerts the token controller of the approve function call
        if (isContract(controller)) {
            if (!TokenController(controller).onApprove(msg.sender, _spender, _amount))
                revert();
        }

        return super.approve(_spender, _amount);
    }

    function mint(address _guy, uint _wad) auth stoppable {
        require(add(_supply, _wad) <= cap);

        super.mint(_guy, _wad);

        emit Transfer(0, _guy, _wad);
    }
    function burn(address _guy, uint _wad) auth stoppable {
        super.burn(_guy, _wad);

        emit Transfer(_guy, 0, _wad);
    }

    /// @notice `msg.sender` approves `_spender` to send `_amount` tokens on
    ///  its behalf, and then a function is triggered in the contract that is
    ///  being approved, `_spender`. This allows users to use their tokens to
    ///  interact with contracts in one function call instead of two
    /// @param _spender The address of the contract able to transfer the tokens
    /// @param _amount The amount of tokens to be approved for transfer
    /// @return True if the function call was successful
    function approveAndCall(address _spender, uint256 _amount, bytes _extraData
    ) returns (bool success) {
        if (!approve(_spender, _amount)) revert();

        ApproveAndCallFallBack(_spender).receiveApproval(
            msg.sender,
            _amount,
            this,
            _extraData
        );

        return true;
    }

    /// @dev Internal function to determine if an address is a contract
    /// @param _addr The address being queried
    /// @return True if `_addr` is a contract
    function isContract(address _addr) constant internal returns(bool) {
        uint size;
        if (_addr == 0) return false;
        assembly {
            size := extcodesize(_addr)
        }
        return size>0;
    }

    /// @notice The fallback function: If the contract's controller has not been
    ///  set to 0, then the `proxyPayment` method is called which relays the
    ///  ether and creates tokens as described in the token controller contract
    function ()  payable {
        if (isContract(controller)) {
            if (! TokenController(controller).proxyPayment.value(msg.value)(msg.sender))
                revert();
        } else {
            revert();
        }
    }

//////////
// Safety Methods
//////////

    /// @notice This method can be used by the controller to extract mistakenly
    ///  sent tokens to this contract.
    /// @param _token The address of the token contract that you want to recover
    ///  set to 0 in case you want to extract ether.
    function claimTokens(address _token) onlyController {
        if (_token == 0x0) {
            controller.transfer(this.balance);
            return;
        }

        ERC20 token = ERC20(_token);
        uint balance = token.balanceOf(this);
        /* 避免外部调用返回 false 代码仍然继续执行  此处加上require判断 */
        require(token.transfer(controller, balance));
        emit ClaimedTokens(_token, controller, balance);
    }

////////////////
// Events
////////////////

    event ClaimedTokens(address indexed _token, address indexed _controller, uint _amount);
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"stop","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_amount","type":"uint256"}],"name":"approve","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"owner_","type":"address"}],"name":"setOwner","outputs":[],"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":"_amount","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint256"}],"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":"_newController","type":"address"}],"name":"changeController","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_guy","type":"address"},{"name":"_wad","type":"uint256"}],"name":"mint","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"wad","type":"uint256"}],"name":"burn","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_from","type":"address"},{"name":"_to","type":"address"},{"name":"_amount","type":"uint256"},{"name":"_data","type":"bytes"},{"name":"_custom_fallback","type":"string"}],"name":"transferFrom","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"name_","type":"bytes32"}],"name":"setName","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"src","type":"address"}],"name":"balanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"stopped","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"authority_","type":"address"}],"name":"setAuthority","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_guy","type":"address"},{"name":"_wad","type":"uint256"}],"name":"burn","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"wad","type":"uint256"}],"name":"mint","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"dst","type":"address"},{"name":"wad","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_from","type":"address"},{"name":"_to","type":"address"},{"name":"_amount","type":"uint256"},{"name":"_data","type":"bytes"}],"name":"transferFrom","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"dst","type":"address"},{"name":"wad","type":"uint256"}],"name":"push","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"src","type":"address"},{"name":"dst","type":"address"},{"name":"wad","type":"uint256"}],"name":"move","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_amount","type":"uint256"},{"name":"_data","type":"bytes"}],"name":"transfer","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"start","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"authority","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_spender","type":"address"},{"name":"_amount","type":"uint256"},{"name":"_extraData","type":"bytes"}],"name":"approveAndCall","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"src","type":"address"},{"name":"guy","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_token","type":"address"}],"name":"claimTokens","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"src","type":"address"},{"name":"wad","type":"uint256"}],"name":"pull","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_to","type":"address"},{"name":"_amount","type":"uint256"},{"name":"_data","type":"bytes"},{"name":"_custom_fallback","type":"string"}],"name":"transfer","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"controller","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"payable":true,"stateMutability":"payable","type":"fallback"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_token","type":"address"},{"indexed":true,"name":"_controller","type":"address"},{"indexed":false,"name":"_amount","type":"uint256"}],"name":"ClaimedTokens","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"amount","type":"uint256"},{"indexed":false,"name":"data","type":"bytes"}],"name":"ERC223Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"amount","type":"uint256"}],"name":"ReceivingContractTokenFallbackFailed","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"guy","type":"address"},{"indexed":false,"name":"wad","type":"uint256"}],"name":"Mint","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"guy","type":"address"},{"indexed":false,"name":"wad","type":"uint256"}],"name":"Burn","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"authority","type":"address"}],"name":"LogSetAuthority","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"owner","type":"address"}],"name":"LogSetOwner","type":"event"},{"anonymous":true,"inputs":[{"indexed":true,"name":"sig","type":"bytes4"},{"indexed":true,"name":"guy","type":"address"},{"indexed":true,"name":"foo","type":"bytes32"},{"indexed":true,"name":"bar","type":"bytes32"},{"indexed":false,"name":"wad","type":"uint256"},{"indexed":false,"name":"fax","type":"bytes"}],"name":"LogNote","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"src","type":"address"},{"indexed":true,"name":"guy","type":"address"},{"indexed":false,"name":"wad","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"src","type":"address"},{"indexed":true,"name":"dst","type":"address"},{"indexed":false,"name":"wad","type":"uint256"}],"name":"Transfer","type":"event"}]

6080604052601260065560006007906000191690556aa56fa5b99019a5c80000006009553480156200003057600080fd5b507f414b430000000000000000000000000000000000000000000000000000000000600080600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550806000819055505033600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055503373ffffffffffffffffffffffffffffffffffffffff167fce241d7ca1f669fee44b6fc00b8eba2df3bb514eed0f6f668f8f89096e81ed9460405160405180910390a280600581600019169055505033600860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550620001ab7f415254574f4f4b20436f696e0000000000000000000000000000000000000000620001b1640100000000026401000000009004565b6200048c565b620001f0336000357fffffffff00000000000000000000000000000000000000000000000000000000166200020a640100000000026401000000009004565b1515620001fc57600080fd5b806007816000191690555050565b60003073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156200024b576001905062000486565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415620002ac576001905062000486565b600073ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1614156200030e576000905062000486565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663b70096138430856040518463ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191681526020019350505050602060405180830381600087803b1580156200044657600080fd5b505af11580156200045b573d6000803e3d6000fd5b505050506040513d60208110156200047257600080fd5b810190808051906020019092919050505090505b92915050565b613448806200049c6000396000f3006080604052600436106101a1576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde03146102e157806307da68f514610314578063095ea7b31461032b57806313af40351461039057806318160ddd146103d357806323b872dd146103fe578063313ce56714610483578063355274ea146104ae5780633cebb823146104d957806340c10f191461051c57806342966c68146105695780634e2ab933146105965780635ac801fe146106a757806370a08231146106d857806375f12b211461072f5780637a9e5e4b1461075e5780638da5cb5b146107a157806395d89b41146107f85780639dc29fac1461082b578063a0712d6814610878578063a9059cbb146108a5578063ab67aa581461090a578063b753a98c146109d5578063bb35783b14610a22578063be45fd6214610a8f578063be9a655514610b3a578063bf7e214f14610b51578063cae9ca5114610ba8578063dd62ed3e14610c53578063df8de3e714610cca578063f2d5d56b14610d0d578063f6368f8a14610d5a578063f77c479114610e4b575b6101cc600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16610ea2565b156102da57600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663f48c305434336040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019150506020604051808303818588803b15801561028e57600080fd5b505af11580156102a2573d6000803e3d6000fd5b50505050506040513d60208110156102b957600080fd5b810190808051906020019092919050505015156102d557600080fd5b6102df565b600080fd5b005b3480156102ed57600080fd5b506102f6610ede565b60405180826000191660001916815260200191505060405180910390f35b34801561032057600080fd5b50610329610ee4565b005b34801561033757600080fd5b50610376600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610fe7565b604051808215151515815260200191505060405180910390f35b34801561039c57600080fd5b506103d1600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061116b565b005b3480156103df57600080fd5b506103e861124d565b6040518082815260200191505060405180910390f35b34801561040a57600080fd5b50610469600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611256565b604051808215151515815260200191505060405180910390f35b34801561048f57600080fd5b5061049861154c565b6040518082815260200191505060405180910390f35b3480156104ba57600080fd5b506104c3611552565b6040518082815260200191505060405180910390f35b3480156104e557600080fd5b5061051a600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611558565b005b34801561052857600080fd5b50610567600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506115f8565b005b34801561057557600080fd5b50610594600480360381019080803590602001909291905050506116c7565b005b3480156105a257600080fd5b5061068d600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803590602001908201803590602001908080601f0160208091040260200160405190810160405280939291908181526020018383808284378201915050505050509192919290803590602001908201803590602001908080601f01602080910402602001604051908101604052809392919081815260200183838082843782019150505050505091929192905050506116d4565b604051808215151515815260200191505060405180910390f35b3480156106b357600080fd5b506106d66004803603810190808035600019169060200190929190505050611afe565b005b3480156106e457600080fd5b50610719600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611b45565b6040518082815260200191505060405180910390f35b34801561073b57600080fd5b50610744611b8e565b604051808215151515815260200191505060405180910390f35b34801561076a57600080fd5b5061079f600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611ba1565b005b3480156107ad57600080fd5b506107b6611c83565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561080457600080fd5b5061080d611ca9565b60405180826000191660001916815260200191505060405180910390f35b34801561083757600080fd5b50610876600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611caf565b005b34801561088457600080fd5b506108a360048036038101908080359060200190929190505050611d62565b005b3480156108b157600080fd5b506108f0600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611d6f565b604051808215151515815260200191505060405180910390f35b34801561091657600080fd5b506109bb600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803590602001908201803590602001908080601f0160208091040260200160405190810160405280939291908181526020018383808284378201915050505050509192919290505050611d84565b604051808215151515815260200191505060405180910390f35b3480156109e157600080fd5b50610a20600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050612126565b005b348015610a2e57600080fd5b50610a8d600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050612136565b005b348015610a9b57600080fd5b50610b20600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803590602001908201803590602001908080601f0160208091040260200160405190810160405280939291908181526020018383808284378201915050505050509192919290505050612147565b604051808215151515815260200191505060405180910390f35b348015610b4657600080fd5b50610b4f61215e565b005b348015610b5d57600080fd5b50610b66612261565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b348015610bb457600080fd5b50610c39600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803590602001908201803590602001908080601f0160208091040260200160405190810160405280939291908181526020018383808284378201915050505050509192919290505050612287565b604051808215151515815260200191505060405180910390f35b348015610c5f57600080fd5b50610cb4600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612405565b6040518082815260200191505060405180910390f35b348015610cd657600080fd5b50610d0b600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061248c565b005b348015610d1957600080fd5b50610d58600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050612802565b005b348015610d6657600080fd5b50610e31600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803590602001908201803590602001908080601f0160208091040260200160405190810160405280939291908181526020018383808284378201915050505050509192919290803590602001908201803590602001908080601f0160208091040260200160405190810160405280939291908181526020018383808284378201915050505050509192919290505050612812565b604051808215151515815260200191505060405180910390f35b348015610e5757600080fd5b50610e6061282b565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b60008060008373ffffffffffffffffffffffffffffffffffffffff161415610ecd5760009150610ed8565b823b90506000811191505b50919050565b60075481565b610f12336000357fffffffff0000000000000000000000000000000000000000000000000000000016612851565b1515610f1d57600080fd5b60008060043591506024359050806000191682600019163373ffffffffffffffffffffffffffffffffffffffff166000357fffffffff00000000000000000000000000000000000000000000000000000000167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19163460003660405180848152602001806020018281038252848482818152602001925080828437820191505094505050505060405180910390a46001600460146101000a81548160ff0219169083151502179055505050565b6000611014600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16610ea2565b1561115957600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663da682aeb3385856040518463ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050602060405180830381600087803b15801561111257600080fd5b505af1158015611126573d6000803e3d6000fd5b505050506040513d602081101561113c57600080fd5b8101908080519060200190929190505050151561115857600080fd5b5b6111638383612aca565b905092915050565b611199336000357fffffffff0000000000000000000000000000000000000000000000000000000016612851565b15156111a457600080fd5b80600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fce241d7ca1f669fee44b6fc00b8eba2df3bb514eed0f6f668f8f89096e81ed9460405160405180910390a250565b60008054905090565b6000611283600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16610ea2565b156113c857600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16634a3931498585856040518463ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050602060405180830381600087803b15801561138157600080fd5b505af1158015611395573d6000803e3d6000fd5b505050506040513d60208110156113ab57600080fd5b810190808051906020019092919050505015156113c757600080fd5b5b6113d3848484612afa565b90508080156113e757506113e683610ea2565b5b15611545578273ffffffffffffffffffffffffffffffffffffffff1660405180807f746f6b656e46616c6c6261636b28616464726573732c75696e74323536290000815250601e01905060405180910390207c0100000000000000000000000000000000000000000000000000000000900485846040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001828152602001925050506000604051808303816000875af1925050501515611544578273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167ff36a4bd3b5c7bc32d5dd2cd0cb131eebef8437ad12227c07c4018a130f6ca2fb846040518082815260200191505060405180910390a35b5b9392505050565b60065481565b60095481565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156115b457600080fd5b80600860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b611626336000357fffffffff0000000000000000000000000000000000000000000000000000000016612851565b151561163157600080fd5b600460149054906101000a900460ff1615151561164d57600080fd5b60095461165c60005483612e84565b1115151561166957600080fd5b6116738282612ea0565b8173ffffffffffffffffffffffffffffffffffffffff1660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b6116d13382611caf565b50565b600080611702600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16610ea2565b1561184757600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16634a3931498888886040518463ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050602060405180830381600087803b15801561180057600080fd5b505af1158015611814573d6000803e3d6000fd5b505050506040513d602081101561182a57600080fd5b8101908080519060200190929190505050151561184657600080fd5b5b611852878787612afa565b151561185d57600080fd5b61186686610ea2565b15611a1e573073ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff1614156118a457600080fd5b8590508073ffffffffffffffffffffffffffffffffffffffff166000846040518082805190602001908083835b6020831015156118f657805182526020820191506020810190506020830392506118d1565b6001836020036101000a03801982511681845116808217855250505050505090500191505060405180910390207c01000000000000000000000000000000000000000000000000000000009004908988886040518563ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001838152602001828051906020019080838360005b838110156119d75780820151818401526020810190506119bc565b50505050905090810190601f168015611a045780820380516001836020036101000a031916815260200191505b50935050505060006040518083038185885af19350505050505b8573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167f9bfafdc2ae8835972d7b64ef3f8f307165ac22ceffde4a742c52da5487f45fd187876040518083815260200180602001828103825283818151815260200191508051906020019080838360005b83811015611ab5578082015181840152602081019050611a9a565b50505050905090810190601f168015611ae25780820380516001836020036101000a031916815260200191505b50935050505060405180910390a3600191505095945050505050565b611b2c336000357fffffffff0000000000000000000000000000000000000000000000000000000016612851565b1515611b3757600080fd5b806007816000191690555050565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600460149054906101000a900460ff1681565b611bcf336000357fffffffff0000000000000000000000000000000000000000000000000000000016612851565b1515611bda57600080fd5b80600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f1abebea81bfa2637f28358c371278fb15ede7ea8dd28d2e03b112ff6d936ada460405160405180910390a250565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60055481565b611cdd336000357fffffffff0000000000000000000000000000000000000000000000000000000016612851565b1515611ce857600080fd5b600460149054906101000a900460ff16151515611d0457600080fd5b611d0e8282612fe5565b60008273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b611d6c33826115f8565b50565b6000611d7c338484611256565b905092915050565b600080611db2600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16610ea2565b15611ef757600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16634a3931498787876040518463ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050602060405180830381600087803b158015611eb057600080fd5b505af1158015611ec4573d6000803e3d6000fd5b505050506040513d6020811015611eda57600080fd5b81019080805190602001909291905050501515611ef657600080fd5b5b611f02868686612afa565b1515611f0d57600080fd5b611f1685610ea2565b15612047578490508073ffffffffffffffffffffffffffffffffffffffff1663c0ee0b8a8786866040518463ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200183815260200180602001828103825283818151815260200191508051906020019080838360005b83811015611fe0578082015181840152602081019050611fc5565b50505050905090810190601f16801561200d5780820380516001836020036101000a031916815260200191505b50945050505050600060405180830381600087803b15801561202e57600080fd5b505af1158015612042573d6000803e3d6000fd5b505050505b8473ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff167f9bfafdc2ae8835972d7b64ef3f8f307165ac22ceffde4a742c52da5487f45fd186866040518083815260200180602001828103825283818151815260200191508051906020019080838360005b838110156120de5780820151818401526020810190506120c3565b50505050905090810190601f16801561210b5780820380516001836020036101000a031916815260200191505b50935050505060405180910390a36001915050949350505050565b612131338383611256565b505050565b612141838383611256565b50505050565b600061215533858585611d84565b90509392505050565b61218c336000357fffffffff0000000000000000000000000000000000000000000000000000000016612851565b151561219757600080fd5b60008060043591506024359050806000191682600019163373ffffffffffffffffffffffffffffffffffffffff166000357fffffffff00000000000000000000000000000000000000000000000000000000167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19163460003660405180848152602001806020018281038252848482818152602001925080828437820191505094505050505060405180910390a46000600460146101000a81548160ff0219169083151502179055505050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60006122938484610fe7565b151561229e57600080fd5b8373ffffffffffffffffffffffffffffffffffffffff16638f4ffcb1338530866040518563ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200180602001828103825283818151815260200191508051906020019080838360005b83811015612393578082015181840152602081019050612378565b50505050905090810190601f1680156123c05780820380516001836020036101000a031916815260200191505b5095505050505050600060405180830381600087803b1580156123e257600080fd5b505af11580156123f6573d6000803e3d6000fd5b50505050600190509392505050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600080600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156124eb57600080fd5b60008373ffffffffffffffffffffffffffffffffffffffff16141561258f57600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc3073ffffffffffffffffffffffffffffffffffffffff16319081150290604051600060405180830381858888f19350505050158015612589573d6000803e3d6000fd5b506127fd565b8291508173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001915050602060405180830381600087803b15801561262d57600080fd5b505af1158015612641573d6000803e3d6000fd5b505050506040513d602081101561265757600080fd5b810190808051906020019092919050505090508173ffffffffffffffffffffffffffffffffffffffff1663a9059cbb600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16836040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b15801561272f57600080fd5b505af1158015612743573d6000803e3d6000fd5b505050506040513d602081101561275957600080fd5b8101908080519060200190929190505050151561277557600080fd5b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167ff931edb47c50b4b4104c187b5814a9aef5f709e17e2ecf9617e860cacade929c836040518082815260200191505060405180910390a35b505050565b61280d823383611256565b505050565b600061282133868686866116d4565b9050949350505050565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60003073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156128905760019050612ac4565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156128ef5760019050612ac4565b600073ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16141561294f5760009050612ac4565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663b70096138430856040518463ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191681526020019350505050602060405180830381600087803b158015612a8657600080fd5b505af1158015612a9a573d6000803e3d6000fd5b505050506040513d6020811015612ab057600080fd5b810190808051906020019092919050505090505b92915050565b6000600460149054906101000a900460ff16151515612ae857600080fd5b612af2838361330e565b905092915050565b6000600460149054906101000a900460ff16151515612b1857600080fd5b3373ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614158015612bf057507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414155b15612cfc57612c7b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483613400565b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b612d45600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483613400565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612dd1600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483612e84565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b60008282840191508110151515612e9a57600080fd5b92915050565b612ece336000357fffffffff0000000000000000000000000000000000000000000000000000000016612851565b1515612ed957600080fd5b600460149054906101000a900460ff16151515612ef557600080fd5b612f3e600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482612e84565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612f8d60005482612e84565b6000819055508173ffffffffffffffffffffffffffffffffffffffff167f0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d4121396885826040518082815260200191505060405180910390a25050565b613013336000357fffffffff0000000000000000000000000000000000000000000000000000000016612851565b151561301e57600080fd5b600460149054906101000a900460ff1615151561303a57600080fd5b3373ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415801561311257507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414155b1561321e5761319d600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482613400565b600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b613267600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482613400565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506132b660005482613400565b6000819055508173ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5826040518082815260200191505060405180910390a25050565b600081600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000828284039150811115151561341657600080fd5b929150505600a165627a7a7230582071b40ede2896085058cd17dc334079add85fd8b2e28283a942f85cef3e6174260029

0x6080604052600436106101a1576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde03146102e157806307da68f514610314578063095ea7b31461032b57806313af40351461039057806318160ddd146103d357806323b872dd146103fe578063313ce56714610483578063355274ea146104ae5780633cebb823146104d957806340c10f191461051c57806342966c68146105695780634e2ab933146105965780635ac801fe146106a757806370a08231146106d857806375f12b211461072f5780637a9e5e4b1461075e5780638da5cb5b146107a157806395d89b41146107f85780639dc29fac1461082b578063a0712d6814610878578063a9059cbb146108a5578063ab67aa581461090a578063b753a98c146109d5578063bb35783b14610a22578063be45fd6214610a8f578063be9a655514610b3a578063bf7e214f14610b51578063cae9ca5114610ba8578063dd62ed3e14610c53578063df8de3e714610cca578063f2d5d56b14610d0d578063f6368f8a14610d5a578063f77c479114610e4b575b6101cc600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16610ea2565b156102da57600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663f48c305434336040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019150506020604051808303818588803b15801561028e57600080fd5b505af11580156102a2573d6000803e3d6000fd5b50505050506040513d60208110156102b957600080fd5b810190808051906020019092919050505015156102d557600080fd5b6102df565b600080fd5b005b3480156102ed57600080fd5b506102f6610ede565b60405180826000191660001916815260200191505060405180910390f35b34801561032057600080fd5b50610329610ee4565b005b34801561033757600080fd5b50610376600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610fe7565b604051808215151515815260200191505060405180910390f35b34801561039c57600080fd5b506103d1600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061116b565b005b3480156103df57600080fd5b506103e861124d565b6040518082815260200191505060405180910390f35b34801561040a57600080fd5b50610469600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611256565b604051808215151515815260200191505060405180910390f35b34801561048f57600080fd5b5061049861154c565b6040518082815260200191505060405180910390f35b3480156104ba57600080fd5b506104c3611552565b6040518082815260200191505060405180910390f35b3480156104e557600080fd5b5061051a600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611558565b005b34801561052857600080fd5b50610567600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506115f8565b005b34801561057557600080fd5b50610594600480360381019080803590602001909291905050506116c7565b005b3480156105a257600080fd5b5061068d600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803590602001908201803590602001908080601f0160208091040260200160405190810160405280939291908181526020018383808284378201915050505050509192919290803590602001908201803590602001908080601f01602080910402602001604051908101604052809392919081815260200183838082843782019150505050505091929192905050506116d4565b604051808215151515815260200191505060405180910390f35b3480156106b357600080fd5b506106d66004803603810190808035600019169060200190929190505050611afe565b005b3480156106e457600080fd5b50610719600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611b45565b6040518082815260200191505060405180910390f35b34801561073b57600080fd5b50610744611b8e565b604051808215151515815260200191505060405180910390f35b34801561076a57600080fd5b5061079f600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611ba1565b005b3480156107ad57600080fd5b506107b6611c83565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561080457600080fd5b5061080d611ca9565b60405180826000191660001916815260200191505060405180910390f35b34801561083757600080fd5b50610876600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611caf565b005b34801561088457600080fd5b506108a360048036038101908080359060200190929190505050611d62565b005b3480156108b157600080fd5b506108f0600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611d6f565b604051808215151515815260200191505060405180910390f35b34801561091657600080fd5b506109bb600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803590602001908201803590602001908080601f0160208091040260200160405190810160405280939291908181526020018383808284378201915050505050509192919290505050611d84565b604051808215151515815260200191505060405180910390f35b3480156109e157600080fd5b50610a20600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050612126565b005b348015610a2e57600080fd5b50610a8d600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050612136565b005b348015610a9b57600080fd5b50610b20600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803590602001908201803590602001908080601f0160208091040260200160405190810160405280939291908181526020018383808284378201915050505050509192919290505050612147565b604051808215151515815260200191505060405180910390f35b348015610b4657600080fd5b50610b4f61215e565b005b348015610b5d57600080fd5b50610b66612261565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b348015610bb457600080fd5b50610c39600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803590602001908201803590602001908080601f0160208091040260200160405190810160405280939291908181526020018383808284378201915050505050509192919290505050612287565b604051808215151515815260200191505060405180910390f35b348015610c5f57600080fd5b50610cb4600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050612405565b6040518082815260200191505060405180910390f35b348015610cd657600080fd5b50610d0b600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061248c565b005b348015610d1957600080fd5b50610d58600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050612802565b005b348015610d6657600080fd5b50610e31600480360381019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190803590602001908201803590602001908080601f0160208091040260200160405190810160405280939291908181526020018383808284378201915050505050509192919290803590602001908201803590602001908080601f0160208091040260200160405190810160405280939291908181526020018383808284378201915050505050509192919290505050612812565b604051808215151515815260200191505060405180910390f35b348015610e5757600080fd5b50610e6061282b565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b60008060008373ffffffffffffffffffffffffffffffffffffffff161415610ecd5760009150610ed8565b823b90506000811191505b50919050565b60075481565b610f12336000357fffffffff0000000000000000000000000000000000000000000000000000000016612851565b1515610f1d57600080fd5b60008060043591506024359050806000191682600019163373ffffffffffffffffffffffffffffffffffffffff166000357fffffffff00000000000000000000000000000000000000000000000000000000167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19163460003660405180848152602001806020018281038252848482818152602001925080828437820191505094505050505060405180910390a46001600460146101000a81548160ff0219169083151502179055505050565b6000611014600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16610ea2565b1561115957600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663da682aeb3385856040518463ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050602060405180830381600087803b15801561111257600080fd5b505af1158015611126573d6000803e3d6000fd5b505050506040513d602081101561113c57600080fd5b8101908080519060200190929190505050151561115857600080fd5b5b6111638383612aca565b905092915050565b611199336000357fffffffff0000000000000000000000000000000000000000000000000000000016612851565b15156111a457600080fd5b80600460006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167fce241d7ca1f669fee44b6fc00b8eba2df3bb514eed0f6f668f8f89096e81ed9460405160405180910390a250565b60008054905090565b6000611283600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16610ea2565b156113c857600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16634a3931498585856040518463ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050602060405180830381600087803b15801561138157600080fd5b505af1158015611395573d6000803e3d6000fd5b505050506040513d60208110156113ab57600080fd5b810190808051906020019092919050505015156113c757600080fd5b5b6113d3848484612afa565b90508080156113e757506113e683610ea2565b5b15611545578273ffffffffffffffffffffffffffffffffffffffff1660405180807f746f6b656e46616c6c6261636b28616464726573732c75696e74323536290000815250601e01905060405180910390207c0100000000000000000000000000000000000000000000000000000000900485846040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001828152602001925050506000604051808303816000875af1925050501515611544578273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167ff36a4bd3b5c7bc32d5dd2cd0cb131eebef8437ad12227c07c4018a130f6ca2fb846040518082815260200191505060405180910390a35b5b9392505050565b60065481565b60095481565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156115b457600080fd5b80600860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b611626336000357fffffffff0000000000000000000000000000000000000000000000000000000016612851565b151561163157600080fd5b600460149054906101000a900460ff1615151561164d57600080fd5b60095461165c60005483612e84565b1115151561166957600080fd5b6116738282612ea0565b8173ffffffffffffffffffffffffffffffffffffffff1660007fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b6116d13382611caf565b50565b600080611702600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16610ea2565b1561184757600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16634a3931498888886040518463ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050602060405180830381600087803b15801561180057600080fd5b505af1158015611814573d6000803e3d6000fd5b505050506040513d602081101561182a57600080fd5b8101908080519060200190929190505050151561184657600080fd5b5b611852878787612afa565b151561185d57600080fd5b61186686610ea2565b15611a1e573073ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff1614156118a457600080fd5b8590508073ffffffffffffffffffffffffffffffffffffffff166000846040518082805190602001908083835b6020831015156118f657805182526020820191506020810190506020830392506118d1565b6001836020036101000a03801982511681845116808217855250505050505090500191505060405180910390207c01000000000000000000000000000000000000000000000000000000009004908988886040518563ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001838152602001828051906020019080838360005b838110156119d75780820151818401526020810190506119bc565b50505050905090810190601f168015611a045780820380516001836020036101000a031916815260200191505b50935050505060006040518083038185885af19350505050505b8573ffffffffffffffffffffffffffffffffffffffff168773ffffffffffffffffffffffffffffffffffffffff167f9bfafdc2ae8835972d7b64ef3f8f307165ac22ceffde4a742c52da5487f45fd187876040518083815260200180602001828103825283818151815260200191508051906020019080838360005b83811015611ab5578082015181840152602081019050611a9a565b50505050905090810190601f168015611ae25780820380516001836020036101000a031916815260200191505b50935050505060405180910390a3600191505095945050505050565b611b2c336000357fffffffff0000000000000000000000000000000000000000000000000000000016612851565b1515611b3757600080fd5b806007816000191690555050565b6000600160008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600460149054906101000a900460ff1681565b611bcf336000357fffffffff0000000000000000000000000000000000000000000000000000000016612851565b1515611bda57600080fd5b80600360006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f1abebea81bfa2637f28358c371278fb15ede7ea8dd28d2e03b112ff6d936ada460405160405180910390a250565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60055481565b611cdd336000357fffffffff0000000000000000000000000000000000000000000000000000000016612851565b1515611ce857600080fd5b600460149054906101000a900460ff16151515611d0457600080fd5b611d0e8282612fe5565b60008273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b611d6c33826115f8565b50565b6000611d7c338484611256565b905092915050565b600080611db2600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16610ea2565b15611ef757600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16634a3931498787876040518463ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018281526020019350505050602060405180830381600087803b158015611eb057600080fd5b505af1158015611ec4573d6000803e3d6000fd5b505050506040513d6020811015611eda57600080fd5b81019080805190602001909291905050501515611ef657600080fd5b5b611f02868686612afa565b1515611f0d57600080fd5b611f1685610ea2565b15612047578490508073ffffffffffffffffffffffffffffffffffffffff1663c0ee0b8a8786866040518463ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200183815260200180602001828103825283818151815260200191508051906020019080838360005b83811015611fe0578082015181840152602081019050611fc5565b50505050905090810190601f16801561200d5780820380516001836020036101000a031916815260200191505b50945050505050600060405180830381600087803b15801561202e57600080fd5b505af1158015612042573d6000803e3d6000fd5b505050505b8473ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff167f9bfafdc2ae8835972d7b64ef3f8f307165ac22ceffde4a742c52da5487f45fd186866040518083815260200180602001828103825283818151815260200191508051906020019080838360005b838110156120de5780820151818401526020810190506120c3565b50505050905090810190601f16801561210b5780820380516001836020036101000a031916815260200191505b50935050505060405180910390a36001915050949350505050565b612131338383611256565b505050565b612141838383611256565b50505050565b600061215533858585611d84565b90509392505050565b61218c336000357fffffffff0000000000000000000000000000000000000000000000000000000016612851565b151561219757600080fd5b60008060043591506024359050806000191682600019163373ffffffffffffffffffffffffffffffffffffffff166000357fffffffff00000000000000000000000000000000000000000000000000000000167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19163460003660405180848152602001806020018281038252848482818152602001925080828437820191505094505050505060405180910390a46000600460146101000a81548160ff0219169083151502179055505050565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60006122938484610fe7565b151561229e57600080fd5b8373ffffffffffffffffffffffffffffffffffffffff16638f4ffcb1338530866040518563ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018481526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200180602001828103825283818151815260200191508051906020019080838360005b83811015612393578082015181840152602081019050612378565b50505050905090810190601f1680156123c05780820380516001836020036101000a031916815260200191505b5095505050505050600060405180830381600087803b1580156123e257600080fd5b505af11580156123f6573d6000803e3d6000fd5b50505050600190509392505050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600080600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156124eb57600080fd5b60008373ffffffffffffffffffffffffffffffffffffffff16141561258f57600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166108fc3073ffffffffffffffffffffffffffffffffffffffff16319081150290604051600060405180830381858888f19350505050158015612589573d6000803e3d6000fd5b506127fd565b8291508173ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001915050602060405180830381600087803b15801561262d57600080fd5b505af1158015612641573d6000803e3d6000fd5b505050506040513d602081101561265757600080fd5b810190808051906020019092919050505090508173ffffffffffffffffffffffffffffffffffffffff1663a9059cbb600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16836040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b15801561272f57600080fd5b505af1158015612743573d6000803e3d6000fd5b505050506040513d602081101561275957600080fd5b8101908080519060200190929190505050151561277557600080fd5b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167ff931edb47c50b4b4104c187b5814a9aef5f709e17e2ecf9617e860cacade929c836040518082815260200191505060405180910390a35b505050565b61280d823383611256565b505050565b600061282133868686866116d4565b9050949350505050565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60003073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156128905760019050612ac4565b600460009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156128ef5760019050612ac4565b600073ffffffffffffffffffffffffffffffffffffffff16600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16141561294f5760009050612ac4565b600360009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663b70096138430856040518463ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001827bffffffffffffffffffffffffffffffffffffffffffffffffffffffff19167bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191681526020019350505050602060405180830381600087803b158015612a8657600080fd5b505af1158015612a9a573d6000803e3d6000fd5b505050506040513d6020811015612ab057600080fd5b810190808051906020019092919050505090505b92915050565b6000600460149054906101000a900460ff16151515612ae857600080fd5b612af2838361330e565b905092915050565b6000600460149054906101000a900460ff16151515612b1857600080fd5b3373ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1614158015612bf057507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414155b15612cfc57612c7b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483613400565b600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b612d45600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483613400565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612dd1600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205483612e84565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a3600190509392505050565b60008282840191508110151515612e9a57600080fd5b92915050565b612ece336000357fffffffff0000000000000000000000000000000000000000000000000000000016612851565b1515612ed957600080fd5b600460149054906101000a900460ff16151515612ef557600080fd5b612f3e600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482612e84565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550612f8d60005482612e84565b6000819055508173ffffffffffffffffffffffffffffffffffffffff167f0f6798a560793a54c3bcfe86a93cde1e73087d944c0ea20544137d4121396885826040518082815260200191505060405180910390a25050565b613013336000357fffffffff0000000000000000000000000000000000000000000000000000000016612851565b151561301e57600080fd5b600460149054906101000a900460ff1615151561303a57600080fd5b3373ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415801561311257507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414155b1561321e5761319d600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482613400565b600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b613267600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205482613400565b600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506132b660005482613400565b6000819055508173ffffffffffffffffffffffffffffffffffffffff167fcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5826040518082815260200191505060405180910390a25050565b600081600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000828284039150811115151561341657600080fd5b929150505600a165627a7a7230582071b40ede2896085058cd17dc334079add85fd8b2e28283a942f85cef3e6174260029

12357:8503:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;19734:22;19745:10;;;;;;;;;;;19734;:22::i;:::-;19730:198;;;19795:10;;;;;;;;;;;19779:40;;;19826:9;19837:10;19779:69;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;19779:69:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;19779:69:0;;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;19779:69:0;;;;;;;;;;;;;;;;19777:71;19773:102;;;19867:8;;;19773:102;19730:198;;;19908:8;;;19730:198;12357:8503;12239:27;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12239:27:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9844:66;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9844:66:0;;;;;;17463:369;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17463:369:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;770:136;;8:9:-1;5:2;;;30:1;27;20:12;5:2;770:136:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;8639:83;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8639:83:0;;;;;;;;;;;;;;;;;;;;;;;12865:1020;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12865:1020:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10075:30;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10075:30:0;;;;;;;;;;;;;;;;;;;;;;;12417:25;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12417:25:0;;;;;;;;;;;;;;;;;;;;;;;7492:111;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7492:111:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;17840:183;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17840:183:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11574:71;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11574:71:0;;;;;;;;;;;;;;;;;;;;;;;;;;15785:866;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15785:866:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12275:75;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12275:75:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8728:99;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8728:99:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9743:19;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9743:19:0;;;;;;;;;;;;;;;;;;;;;;;;;;;914:164;;8:9:-1;5:2;;;30:1;27;20:12;5:2;914:164:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;630:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;630:26:0;;;;;;;;;;;;;;;;;;;;;;;;;;;10045:23;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10045:23:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;18029:136;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18029:136:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11497:71;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11497:71:0;;;;;;;;;;;;;;;;;;;;;;;;;;8959:123;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8959:123:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14028:680;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14028:680:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11180:97;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11180:97:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11386:103;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11386:103:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;15429:213;;8:9:-1;5:2;;;30:1;27;20:12;5:2;15429:213:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9916:68;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9916:68:0;;;;;;593:30;;8:9:-1;5:2;;;30:1;27;20:12;5:2;593:30:0;;;;;;;;;;;;;;;;;;;;;;;;;;;18691:353;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18691:353:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8833:118;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8833:118:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;20245:468;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20245:468:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;11283:97;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11283:97:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16794:262;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16794:262:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7287:25;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7287:25:0;;;;;;;;;;;;;;;;;;;;;;;;;;;19220:229;19281:4;19298:9;19331:1;19322:5;:10;;;19318:28;;;19341:5;19334:12;;;;19318:28;19401:5;19389:18;19381:26;;19440:1;19435:4;:6;19428:13;;19220:229;;;;;:::o;12239:27::-;;;;:::o;9844:66::-;1119:33;1132:10;1144:7;;;;1119:12;:33::i;:::-;1111:42;;;;;;;;6024:11;6046;6114:1;6101:15;6094:22;;6150:2;6137:16;6130:23;;6215:3;6181:59;;;6210:3;6181:59;;;6198:10;6181:59;;6189:7;;;;6181:59;;;6220:9;6231:8;;6181:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9898:4;9888:7;;:14;;;;;;;;;;;;;;;;;;1164:1;;9844:66::o;17463:369::-;17524:12;17622:22;17633:10;;;;;;;;;;;17622;:22::i;:::-;17618:155;;;17682:10;;;;;;;;;;;17666:37;;;17704:10;17716:8;17726:7;17666:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;17666:68:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;17666:68:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;17666:68:0;;;;;;;;;;;;;;;;17665:69;17661:100;;;17753:8;;;17661:100;17618:155;17792:32;17806:8;17816:7;17792:13;:32::i;:::-;17785:39;;17463:369;;;;:::o;770:136::-;1119:33;1132:10;1144:7;;;;1119:12;:33::i;:::-;1111:42;;;;;;;;858:6;850:5;;:14;;;;;;;;;;;;;;;;;;892:5;;;;;;;;;;;880:18;;;;;;;;;;;;770:136;:::o;8639:83::-;8683:4;8707:7;;8700:14;;8639:83;:::o;12865:1020::-;12954:12;13039:22;13050:10;;;;;;;;;;;13039;:22::i;:::-;13035:145;;;13099:10;;;;;;;;;;;13083:38;;;13122:5;13129:3;13134:7;13083:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;13083:59:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;13083:59:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;13083:59:0;;;;;;;;;;;;;;;;13082:60;13078:90;;;13160:8;;;13078:90;13035:145;13202:39;13221:5;13228:3;13233:7;13202:18;:39::i;:::-;13192:49;;13258:7;:26;;;;;13269:15;13280:3;13269:10;:15::i;:::-;13258:26;13254:624;;;13360:3;:8;;13376:43;;;;;;;;;;;;;;;;;;;13360:77;;;13422:5;13429:7;13360:77;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13359:78;13356:511;;;13705:3;13661:57;;13698:5;13661:57;;;13710:7;13661:57;;;;;;;;;;;;;;;;;;13356:511;13254:624;12865:1020;;;;;:::o;10075:30::-;;;;:::o;12417:25::-;;;;:::o;7492:111::-;7253:10;;;;;;;;;;;7239:24;;:10;:24;;;;7235:38;;;7265:8;;;7235:38;7581:14;7568:10;;:27;;;;;;;;;;;;;;;;;;7492:111;:::o;17840:183::-;1119:33;1132:10;1144:7;;;;1119:12;:33::i;:::-;1111:42;;;;;;;;9810:7;;;;;;;;;;;9809:8;9801:17;;;;;;;;17935:3;;17913:18;17917:7;;17926:4;17913:3;:18::i;:::-;:25;;17905:34;;;;;;;;17952:22;17963:4;17969;17952:10;:22::i;:::-;18004:4;17992:23;;18001:1;17992:23;18010:4;17992:23;;;;;;;;;;;;;;;;;;17840:183;;:::o;11574:71::-;11616:21;11621:10;11633:3;11616:4;:21::i;:::-;11574:71;:::o;15785:866::-;15924:12;16388:32;16014:22;16025:10;;;;;;;;;;;16014;:22::i;:::-;16010:145;;;16074:10;;;;;;;;;;;16058:38;;;16097:5;16104:3;16109:7;16058:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;16058:59:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;16058:59:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;16058:59:0;;;;;;;;;;;;;;;;16057:60;16053:90;;;16135:8;;;16053:90;16010:145;16175:39;16194:5;16201:3;16206:7;16175:18;:39::i;:::-;16167:48;;;;;;;;16232:15;16243:3;16232:10;:15::i;:::-;16228:332;;;16358:4;16343:20;;:3;:20;;;16340:33;;;16365:8;;;16340:33;16447:3;16388:63;;16466:8;:13;;16486:1;16506:16;16496:27;;;;;;;;;;;;;36:153:-1;66:2;61:3;58:11;51:19;36:153;;;182:3;176:10;171:3;164:23;98:2;93:3;89:12;82:19;;123:2;118:3;114:12;107:19;;148:2;143:3;139:12;132:19;;36:153;;;274:1;267:3;263:2;259:12;254:3;250:22;246:30;315:4;311:9;305:3;299:10;295:26;356:4;350:3;344:10;340:21;389:7;380;377:20;372:3;365:33;3:399;;;16496:27:0;;;;;;;;;;;;;;;;16466:82;;;;16526:5;16533:7;16542:5;16466:82;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;16466:82:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16228:332;16599:3;16577:42;;16592:5;16577:42;;;16604:7;16613:5;16577:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;16577:42:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;16639:4;16632:11;;15785:866;;;;;;;;:::o;12275:75::-;1119:33;1132:10;1144:7;;;;1119:12;:33::i;:::-;1111:42;;;;;;;;12337:5;12330:4;:12;;;;;;;12275:75;:::o;8728:99::-;8781:4;8805:9;:14;8815:3;8805:14;;;;;;;;;;;;;;;;8798:21;;8728:99;;;:::o;9743:19::-;;;;;;;;;;;;;:::o;914:164::-;1119:33;1132:10;1144:7;;;;1119:12;:33::i;:::-;1111:42;;;;;;;;1018:10;1006:9;;:22;;;;;;;;;;;;;;;;;;1060:9;;;;;;;;;;;1044:26;;;;;;;;;;;;914:164;:::o;630:26::-;;;;;;;;;;;;;:::o;10045:23::-;;;;:::o;18029:136::-;1119:33;1132:10;1144:7;;;;1119:12;:33::i;:::-;1111:42;;;;;;;;9810:7;;;;;;;;;;;9809:8;9801:17;;;;;;;;18094:22;18105:4;18111;18094:10;:22::i;:::-;18149:1;18143:4;18134:23;;;18152:4;18134:23;;;;;;;;;;;;;;;;;;18029:136;;:::o;11497:71::-;11539:21;11544:10;11556:3;11539:4;:21::i;:::-;11497:71;:::o;8959:123::-;9016:4;9040:34;9053:10;9065:3;9070;9040:12;:34::i;:::-;9033:41;;8959:123;;;;:::o;14028:680::-;14142:12;14482:32;14232:22;14243:10;;;;;;;;;;;14232;:22::i;:::-;14228:145;;;14292:10;;;;;;;;;;;14276:38;;;14315:5;14322:3;14327:7;14276:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14276:59:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;14276:59:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;14276:59:0;;;;;;;;;;;;;;;;14275:60;14271:90;;;14353:8;;;14271:90;14228:145;14393:39;14412:5;14419:3;14424:7;14393:18;:39::i;:::-;14385:48;;;;;;;;14450:15;14461:3;14450:10;:15::i;:::-;14446:171;;;14541:3;14482:63;;14560:8;:22;;;14583:5;14590:7;14599:5;14560:45;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;14560:45:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;14560:45:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;14560:45:0;;;;14446:171;14656:3;14634:42;;14649:5;14634:42;;;14661:7;14670:5;14634:42;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;14634:42:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14696:4;14689:11;;14028:680;;;;;;;:::o;11180:97::-;11235:34;11248:10;11260:3;11265;11235:12;:34::i;:::-;;11180:97;;:::o;11386:103::-;11454:27;11467:3;11472;11477;11454:12;:27::i;:::-;;11386:103;;;:::o;15429:213::-;15552:12;15589:45;15602:10;15614:3;15619:7;15628:5;15589:12;:45::i;:::-;15582:52;;15429:213;;;;;:::o;9916:68::-;1119:33;1132:10;1144:7;;;;1119:12;:33::i;:::-;1111:42;;;;;;;;6024:11;6046;6114:1;6101:15;6094:22;;6150:2;6137:16;6130:23;;6215:3;6181:59;;;6210:3;6181:59;;;6198:10;6181:59;;6189:7;;;;6181:59;;;6220:9;6231:8;;6181:59;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9971:5;9961:7;;:15;;;;;;;;;;;;;;;;;;1164:1;;9916:68::o;593:30::-;;;;;;;;;;;;;:::o;18691:353::-;18783:12;18813:26;18821:8;18831:7;18813;:26::i;:::-;18812:27;18808:41;;;18841:8;;;18808:41;18885:8;18862:48;;;18925:10;18950:7;18972:4;18991:10;18862:150;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;18862:150:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;18862:150:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;18862:150:0;;;;19032:4;19025:11;;18691:353;;;;;:::o;8833:118::-;8899:4;8923:10;:15;8934:3;8923:15;;;;;;;;;;;;;;;:20;8939:3;8923:20;;;;;;;;;;;;;;;;8916:27;;8833:118;;;;:::o;20245:468::-;20420:11;20458:12;7253:10;;;;;;;;;;;7239:24;;:10;:24;;;;7235:38;;;7265:8;;;7235:38;20322:3;20312:6;:13;;;20308:100;;;20342:10;;;;;;;;;;;:19;;:33;20362:4;:12;;;20342:33;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;20342:33:0;20390:7;;20308:100;20440:6;20420:27;;20473:5;:15;;;20489:4;20473:21;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20473:21:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;20473:21:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;20473:21:0;;;;;;;;;;;;;;;;20458:36;;20611:5;:14;;;20626:10;;;;;;;;;;;20638:7;20611:35;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;20611:35:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;20611:35:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;20611:35:0;;;;;;;;;;;;;;;;20603:44;;;;;;;;20685:10;;;;;;;;;;;20663:42;;20677:6;20663:42;;;20697:7;20663:42;;;;;;;;;;;;;;;;;;7275:1;20245:468;;;:::o;11283:97::-;11338:34;11351:3;11356:10;11368:3;11338:12;:34::i;:::-;;11283:97;;:::o;16794:262::-;16948:12;16985:63;16998:10;17010:3;17015:7;17024:5;17031:16;16985:12;:63::i;:::-;16978:70;;16794:262;;;;;;:::o;7287:25::-;;;;;;;;;;;;;:::o;1181:371::-;1251:4;1287;1272:20;;:3;:20;;;1268:277;;;1316:4;1309:11;;;;1268:277;1349:5;;;;;;;;;;;1342:12;;:3;:12;;;1338:207;;;1378:4;1371:11;;;;1338:207;1429:1;1404:27;;:9;;;;;;;;;;;:27;;;1400:145;;;1455:5;1448:12;;;;1400:145;1500:9;;;;;;;;;;;:17;;;1518:3;1523:4;1529:3;1500:33;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1500:33:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;1500:33:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;1500:33:0;;;;;;;;;;;;;;;;1493:40;;1181:371;;;;;:::o;10572:121::-;10638:4;9810:7;;;;;;;;;;;9809:8;9801:17;;;;;;;;10662:23;10676:3;10681;10662:13;:23::i;:::-;10655:30;;10572:121;;;;:::o;10701:471::-;10812:4;9810:7;;;;;;;;;;;9809:8;9801:17;;;;;;;;10845:10;10838:17;;:3;:17;;;;:60;;;;;10895:2;10859:10;:15;10870:3;10859:15;;;;;;;;;;;;;;;:27;10875:10;10859:27;;;;;;;;;;;;;;;;:39;;10838:60;10834:160;;;10945:37;10949:10;:15;10960:3;10949:15;;;;;;;;;;;;;;;:27;10965:10;10949:27;;;;;;;;;;;;;;;;10978:3;10945;:37::i;:::-;10915:10;:15;10926:3;10915:15;;;;;;;;;;;;;;;:27;10931:10;10915:27;;;;;;;;;;;;;;;:67;;;;10834:160;11023:24;11027:9;:14;11037:3;11027:14;;;;;;;;;;;;;;;;11043:3;11023;:24::i;:::-;11006:9;:14;11016:3;11006:14;;;;;;;;;;;;;;;:41;;;;11075:24;11079:9;:14;11089:3;11079:14;;;;;;;;;;;;;;;;11095:3;11075;:24::i;:::-;11058:9;:14;11068:3;11058:14;;;;;;;;;;;;;;;:41;;;;11131:3;11117:23;;11126:3;11117:23;;;11136:3;11117:23;;;;;;;;;;;;;;;;;;11160:4;11153:11;;10701:471;;;;;:::o;3585:104::-;3637:6;3679:1;3673;3669;:5;3665:9;;;3664:16;;3656:25;;;;;;;;3585:104;;;;:::o;11651:187::-;1119:33;1132:10;1144:7;;;;1119:12;:33::i;:::-;1111:42;;;;;;;;9810:7;;;;;;;;;;;9809:8;9801:17;;;;;;;;11738:24;11742:9;:14;11752:3;11742:14;;;;;;;;;;;;;;;;11758:3;11738;:24::i;:::-;11721:9;:14;11731:3;11721:14;;;;;;;;;;;;;;;:41;;;;11783:17;11787:7;;11796:3;11783;:17::i;:::-;11773:7;:27;;;;11821:3;11816:14;;;11826:3;11816:14;;;;;;;;;;;;;;;;;;11651:187;;:::o;11844:359::-;1119:33;1132:10;1144:7;;;;1119:12;:33::i;:::-;1111:42;;;;;;;;9810:7;;;;;;;;;;;9809:8;9801:17;;;;;;;;11925:10;11918:17;;:3;:17;;;;:60;;;;;11975:2;11939:10;:15;11950:3;11939:15;;;;;;;;;;;;;;;:27;11955:10;11939:27;;;;;;;;;;;;;;;;:39;;11918:60;11914:160;;;12025:37;12029:10;:15;12040:3;12029:15;;;;;;;;;;;;;;;:27;12045:10;12029:27;;;;;;;;;;;;;;;;12058:3;12025;:37::i;:::-;11995:10;:15;12006:3;11995:15;;;;;;;;;;;;;;;:27;12011:10;11995:27;;;;;;;;;;;;;;;:67;;;;11914:160;12103:24;12107:9;:14;12117:3;12107:14;;;;;;;;;;;;;;;;12123:3;12103;:24::i;:::-;12086:9;:14;12096:3;12086:14;;;;;;;;;;;;;;;:41;;;;12148:17;12152:7;;12161:3;12148;:17::i;:::-;12138:7;:27;;;;12186:3;12181:14;;;12191:3;12181:14;;;;;;;;;;;;;;;;;;11844:359;;:::o;9507:186::-;9563:4;9610:3;9580:10;:22;9591:10;9580:22;;;;;;;;;;;;;;;:27;9603:3;9580:27;;;;;;;;;;;;;;;:33;;;;9652:3;9631:30;;9640:10;9631:30;;;9657:3;9631:30;;;;;;;;;;;;;;;;;;9681:4;9674:11;;9507:186;;;;:::o;3695:104::-;3747:6;3789:1;3783;3779;:5;3775:9;;;3774:16;;3766:25;;;;;;;;3695:104;;;;:::o

bzzr://71b40ede2896085058cd17dc334079add85fd8b2e28283a942f85cef3e617426