Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  contract DSMath
•    - function add(uint x, uint y)
•    - function sub(uint x, uint y)
•    - function mul(uint x, uint y)
•    - function div(uint x, uint y)
•    - function min(uint x, uint y)
•    - function max(uint x, uint y)
•    - function wdiv(uint x, uint y)
•    - function pow(uint256 base, uint256 ex ...
•  contract DSAuthEvents
•  contract DSAuth is DSAuthEvents
•    - function setOwner(address owner_)
•    - function setAuthority(address authori ...
•    - function isOwner(address src)
•    - function isAuthorized(address src)
•  contract DSNote
•  contract DSStop is DSNote, DSAuth, ...
•    - function stop()
•    - function start()
•  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(address src, ad ...
•  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 DSToken is DSTokenBase(0) ... *
•    - function setName(bytes32 name_)
•    - function approvex(address guy)
•    - function approve(address guy, uint wa ...
•    - function transferFrom(address src, ad ...
•    - function mint(address guy, uint wad)
•    - function burn(address guy, uint wad)
•    - function _mint(address guy, uint wad)
•    - function _burn(address guy, uint wad)

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-07-30
*/

pragma solidity ^0.5.2;

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

    function div(uint x, uint y) internal pure returns (uint z) {
        require(y > 0, "ds-math-div-overflow");
        z = x / y;
    }

    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) {
    //     uint x = _x;
    //     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);
    //         }
    //     }
    // }

    /**
     * @dev x to the power of y power(base, exponent)
     */
    function pow(uint256 base, uint256 exponent) public pure returns (uint256) {
        if (exponent == 0) {
            return 1;
        }
        else if (exponent == 1) {
            return base;
        }
        else if (base == 0 && exponent != 0) {
            return 0;
        }
        else {
            uint256 z = base;
            for (uint256 i = 1; i < exponent; i++)
                z = mul(z, base);
            return z;
        }
    }
}

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

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

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

    function setOwner(address owner_)
        public
        onlyOwner
    {
        require(owner_ != address(0), "invalid owner address");
        owner = owner_;
        emit LogSetOwner(owner);
    }

    function setAuthority(address authority_)
        public
        onlyOwner
    {
        authority = authority_;
        emit LogSetAuthority(address(authority));
    }

    modifier auth {
        require(isAuthorized(msg.sender), "ds-auth-unauthorized");
        _;
    }

    modifier onlyOwner {
        require(isOwner(msg.sender), "ds-auth-non-owner");
        _;
    }

    function isOwner(address src) public view returns (bool) {
        return bool(src == owner);
    }

    function isAuthorized(address src) internal view returns (bool) {
        if (src == address(this)) {
            return true;
        } else if (src == owner) {
            return true;
        } else if (authority == address(0)) {
            return false;
        } else if (src == authority) {
            return true;
        } else {
            return false;
        }
    }
}

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

    modifier note {
        bytes32 foo;
        bytes32 bar;
        uint256 wad;

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

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

        _;
    }
}

contract DSStop is DSNote, DSAuth, DSMath {
    bool public stopped;

    modifier stoppable {
        require(!stopped, "ds-stop-is-stopped");
        _;
    }
    function stop() public onlyOwner note {
        stopped = true;
    }
    function start() public onlyOwner note {
        stopped = false;
    }
}

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 DSTokenBase is ERC20, DSMath {
    uint256                                            _supply;
    mapping (address => uint256)                       _balances;
    mapping (address => mapping (address => uint256))  _approvals;

    constructor(uint supply) public {
        _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) {
            require(_approvals[src][msg.sender] >= wad, "ds-token-insufficient-approval");
            _approvals[src][msg.sender] = sub(_approvals[src][msg.sender], wad);
        }

        require(_balances[src] >= wad, "ds-token-insufficient-balance");
        _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 DSToken is DSTokenBase(0), DSStop {

    bytes32  public  name = "";
    bytes32  public  symbol;
    uint256  public  decimals = 18;

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

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

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

    function approve(address guy, uint wad) public stoppable returns (bool) {
        require(_approvals[msg.sender][guy] == 0 || wad == 0); //take care of re-approve.
        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)) {
            require(_approvals[src][msg.sender] >= wad, "ds-token-insufficient-approval");
            _approvals[src][msg.sender] = sub(_approvals[src][msg.sender], wad);
        }

        require(_balances[src] >= wad, "ds-token-insufficient-balance");
        _balances[src] = sub(_balances[src], wad);
        _balances[dst] = add(_balances[dst], wad);

        emit Transfer(src, dst, wad);

        return true;
    }

    function mint(address guy, uint wad) public auth stoppable {
        _mint(guy, wad);
    }

    function burn(address guy, uint wad) public auth stoppable {
        _burn(guy, wad);
    }

    function _mint(address guy, uint wad) internal {
        require(guy != address(0), "ds-token-mint: mint to the zero address");

        _balances[guy] = add(_balances[guy], wad);
        _supply = add(_supply, wad);
        emit Transfer(address(0), guy, wad);
    }

    function _burn(address guy, uint wad) internal {
        require(guy != address(0), "ds-token-burn: burn from the zero address");
        require(_balances[guy] >= wad, "ds-token-insufficient-balance");

        if (guy != msg.sender && _approvals[guy][msg.sender] != uint(-1)) {
            require(_approvals[guy][msg.sender] >= wad, "ds-token-insufficient-approval");
            _approvals[guy][msg.sender] = sub(_approvals[guy][msg.sender], wad);
        }

        _balances[guy] = sub(_balances[guy], wad);
        _supply = sub(_supply, wad);
        emit Transfer(guy, address(0), wad);
    }
}

• 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":"guy","type":"address"},{"name":"wad","type":"uint256"}],"name":"approve","outputs":[{"name":"","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":"src","type":"address"},{"name":"dst","type":"address"},{"name":"wad","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"base","type":"uint256"},{"name":"exponent","type":"uint256"}],"name":"pow","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"pure","type":"function"},{"constant":true,"inputs":[{"name":"src","type":"address"}],"name":"isOwner","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","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":"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":"guy","type":"address"}],"name":"approvex","outputs":[{"name":"","type":"bool"}],"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":"start","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"authority","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","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"},{"inputs":[{"name":"symbol_","type":"bytes32"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"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"}]

60806040526000600655601260085534801561001a57600080fd5b506040516020806114228339810180604052602081101561003a57600080fd5b505160018054600160a060020a03191633908117909155604051600091907fce241d7ca1f669fee44b6fc00b8eba2df3bb514eed0f6f668f8f89096e81ed94908390a2600255600755611390806100926000396000f3fe608060405234801561001057600080fd5b506004361061015f576000357c01000000000000000000000000000000000000000000000000000000009004806370a08231116100d55780639dc29fac116100995780639dc29fac14610346578063a738327214610372578063a9059cbb14610398578063be9a6555146103c4578063bf7e214f146103cc578063dd62ed3e146103d45761015f565b806370a08231146102c657806375f12b21146102ec5780637a9e5e4b146102f45780638da5cb5b1461031a57806395d89b411461033e5761015f565b806323b872dd1161012757806323b872dd146101f65780632e4c697f1461022c5780632f54bf6e1461024f578063313ce5671461027557806340c10f191461027d5780635ac801fe146102a95761015f565b806306fdde031461016457806307da68f51461017e578063095ea7b31461018857806313af4035146101c857806318160ddd146101ee575b600080fd5b61016c610402565b60408051918252519081900360200190f35b610186610408565b005b6101b46004803603604081101561019e57600080fd5b50600160a060020a0381351690602001356104e0565b604080519115158252519081900360200190f35b610186600480360360208110156101de57600080fd5b5035600160a060020a0316610578565b61016c610682565b6101b46004803603606081101561020c57600080fd5b50600160a060020a03813581169160208101359091169060400135610688565b61016c6004803603604081101561024257600080fd5b5080359060200135610908565b6101b46004803603602081101561026557600080fd5b5035600160a060020a031661096b565b61016c610982565b6101866004803603604081101561029357600080fd5b50600160a060020a038135169060200135610988565b610186600480360360208110156102bf57600080fd5b5035610a3e565b61016c600480360360208110156102dc57600080fd5b5035600160a060020a0316610a90565b6101b4610aab565b6101866004803603602081101561030a57600080fd5b5035600160a060020a0316610ab4565b610322610b5a565b60408051600160a060020a039092168252519081900360200190f35b61016c610b69565b6101866004803603604081101561035c57600080fd5b50600160a060020a038135169060200135610b6f565b6101b46004803603602081101561038857600080fd5b5035600160a060020a0316610c21565b6101b4600480360360408110156103ae57600080fd5b50600160a060020a038135169060200135610c79565b610186610c86565b610322610d5b565b61016c600480360360408110156103ea57600080fd5b50600160a060020a0381358116916020013516610d6a565b60065481565b6104113361096b565b1515610455576040805160e560020a62461bcd02815260206004820152601160248201526000805160206112fe833981519152604482015290519081900360640190fd5b604080513480825260208201838152369383018490526004359360243593849286923392600080357bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191693889391929060608201848480828437600083820152604051601f909101601f1916909201829003965090945050505050a450506005805460ff1916600117905550565b60055460009060ff161561052c576040805160e560020a62461bcd0281526020600482015260126024820152600080516020611345833981519152604482015290519081900360640190fd5b336000908152600460209081526040808320600160a060020a0387168452909152902054158061055a575081155b151561056557600080fd5b61056f8383610d95565b90505b92915050565b6105813361096b565b15156105c5576040805160e560020a62461bcd02815260206004820152601160248201526000805160206112fe833981519152604482015290519081900360640190fd5b600160a060020a0381161515610625576040805160e560020a62461bcd02815260206004820152601560248201527f696e76616c6964206f776e657220616464726573730000000000000000000000604482015290519081900360640190fd5b6001805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0383811691909117918290556040519116907fce241d7ca1f669fee44b6fc00b8eba2df3bb514eed0f6f668f8f89096e81ed9490600090a250565b60025490565b60055460009060ff16156106d4576040805160e560020a62461bcd0281526020600482015260126024820152600080516020611345833981519152604482015290519081900360640190fd5b600160a060020a03841633148015906107125750600160a060020a038416600090815260046020908152604080832033845290915290205460001914155b156107e557600160a060020a0384166000908152600460209081526040808320338452909152902054821115610792576040805160e560020a62461bcd02815260206004820152601e60248201527f64732d746f6b656e2d696e73756666696369656e742d617070726f76616c0000604482015290519081900360640190fd5b600160a060020a03841660009081526004602090815260408083203384529091529020546107c09083610dfb565b600160a060020a03851660009081526004602090815260408083203384529091529020555b600160a060020a038416600090815260036020526040902054821115610855576040805160e560020a62461bcd02815260206004820152601d60248201527f64732d746f6b656e2d696e73756666696369656e742d62616c616e6365000000604482015290519081900360640190fd5b600160a060020a0384166000908152600360205260409020546108789083610dfb565b600160a060020a0380861660009081526003602052604080822093909355908516815220546108a79083610e56565b600160a060020a0380851660008181526003602090815260409182902094909455805186815290519193928816927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a35060019392505050565b600081151561091957506001610572565b8160011415610929575081610572565b8215801561093657508115155b1561094357506000610572565b8260015b83811015610963576109598286610eb1565b9150600101610947565b509050610572565b600154600160a060020a038281169116145b919050565b60085481565b61099133610f24565b15156109e7576040805160e560020a62461bcd02815260206004820152601460248201527f64732d617574682d756e617574686f72697a6564000000000000000000000000604482015290519081900360640190fd5b60055460ff1615610a30576040805160e560020a62461bcd0281526020600482015260126024820152600080516020611345833981519152604482015290519081900360640190fd5b610a3a8282610f9d565b5050565b610a473361096b565b1515610a8b576040805160e560020a62461bcd02815260206004820152601160248201526000805160206112fe833981519152604482015290519081900360640190fd5b600655565b600160a060020a031660009081526003602052604090205490565b60055460ff1681565b610abd3361096b565b1515610b01576040805160e560020a62461bcd02815260206004820152601160248201526000805160206112fe833981519152604482015290519081900360640190fd5b6000805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a03838116919091178083556040519116917f1abebea81bfa2637f28358c371278fb15ede7ea8dd28d2e03b112ff6d936ada491a250565b600154600160a060020a031681565b60075481565b610b7833610f24565b1515610bce576040805160e560020a62461bcd02815260206004820152601460248201527f64732d617574682d756e617574686f72697a6564000000000000000000000000604482015290519081900360640190fd5b60055460ff1615610c17576040805160e560020a62461bcd0281526020600482015260126024820152600080516020611345833981519152604482015290519081900360640190fd5b610a3a8282611078565b60055460009060ff1615610c6d576040805160e560020a62461bcd0281526020600482015260126024820152600080516020611345833981519152604482015290519081900360640190fd5b61057282600019610d95565b600061056f338484610688565b610c8f3361096b565b1515610cd3576040805160e560020a62461bcd02815260206004820152601160248201526000805160206112fe833981519152604482015290519081900360640190fd5b604080513480825260208201838152369383018490526004359360243593849286923392600080357bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191693889391929060608201848480828437600083820152604051601f909101601f1916909201829003965090945050505050a450506005805460ff1916905550565b600054600160a060020a031681565b600160a060020a03918216600090815260046020908152604080832093909416825291909152205490565b336000818152600460209081526040808320600160a060020a038716808552908352818420869055815186815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a350600192915050565b80820382811115610572576040805160e560020a62461bcd02815260206004820152601560248201527f64732d6d6174682d7375622d756e646572666c6f770000000000000000000000604482015290519081900360640190fd5b80820182811015610572576040805160e560020a62461bcd02815260206004820152601460248201527f64732d6d6174682d6164642d6f766572666c6f77000000000000000000000000604482015290519081900360640190fd5b6000811580610ece575050808202828282811515610ecb57fe5b04145b1515610572576040805160e560020a62461bcd02815260206004820152601460248201527f64732d6d6174682d6d756c2d6f766572666c6f77000000000000000000000000604482015290519081900360640190fd5b6000600160a060020a038216301415610f3f5750600161097d565b600154600160a060020a0383811691161415610f5d5750600161097d565b600054600160a060020a03161515610f775750600061097d565b600054600160a060020a0383811691161415610f955750600161097d565b50600061097d565b600160a060020a0382161515610fe75760405160e560020a62461bcd02815260040180806020018281038252602781526020018061131e6027913960400191505060405180910390fd5b600160a060020a03821660009081526003602052604090205461100a9082610e56565b600160a060020a0383166000908152600360205260409020556002546110309082610e56565b600255604080518281529051600160a060020a038416916000917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050565b600160a060020a03821615156110c25760405160e560020a62461bcd0281526004018080602001828103825260298152602001806112d56029913960400191505060405180910390fd5b600160a060020a038216600090815260036020526040902054811115611132576040805160e560020a62461bcd02815260206004820152601d60248201527f64732d746f6b656e2d696e73756666696369656e742d62616c616e6365000000604482015290519081900360640190fd5b600160a060020a03821633148015906111705750600160a060020a038216600090815260046020908152604080832033845290915290205460001914155b1561124357600160a060020a03821660009081526004602090815260408083203384529091529020548111156111f0576040805160e560020a62461bcd02815260206004820152601e60248201527f64732d746f6b656e2d696e73756666696369656e742d617070726f76616c0000604482015290519081900360640190fd5b600160a060020a038216600090815260046020908152604080832033845290915290205461121e9082610dfb565b600160a060020a03831660009081526004602090815260408083203384529091529020555b600160a060020a0382166000908152600360205260409020546112669082610dfb565b600160a060020a03831660009081526003602052604090205560025461128c9082610dfb565b600255604080518281529051600091600160a060020a038516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a3505056fe64732d746f6b656e2d6275726e3a206275726e2066726f6d20746865207a65726f206164647265737364732d617574682d6e6f6e2d6f776e657200000000000000000000000000000064732d746f6b656e2d6d696e743a206d696e7420746f20746865207a65726f206164647265737364732d73746f702d69732d73746f707065640000000000000000000000000000a165627a7a7230582008948d72c7df96168cac1c420a65f3718bebf4f831c93166f223cacbe816923300295553447800000000000000000000000000000000000000000000000000000000

0x608060405234801561001057600080fd5b506004361061015f576000357c01000000000000000000000000000000000000000000000000000000009004806370a08231116100d55780639dc29fac116100995780639dc29fac14610346578063a738327214610372578063a9059cbb14610398578063be9a6555146103c4578063bf7e214f146103cc578063dd62ed3e146103d45761015f565b806370a08231146102c657806375f12b21146102ec5780637a9e5e4b146102f45780638da5cb5b1461031a57806395d89b411461033e5761015f565b806323b872dd1161012757806323b872dd146101f65780632e4c697f1461022c5780632f54bf6e1461024f578063313ce5671461027557806340c10f191461027d5780635ac801fe146102a95761015f565b806306fdde031461016457806307da68f51461017e578063095ea7b31461018857806313af4035146101c857806318160ddd146101ee575b600080fd5b61016c610402565b60408051918252519081900360200190f35b610186610408565b005b6101b46004803603604081101561019e57600080fd5b50600160a060020a0381351690602001356104e0565b604080519115158252519081900360200190f35b610186600480360360208110156101de57600080fd5b5035600160a060020a0316610578565b61016c610682565b6101b46004803603606081101561020c57600080fd5b50600160a060020a03813581169160208101359091169060400135610688565b61016c6004803603604081101561024257600080fd5b5080359060200135610908565b6101b46004803603602081101561026557600080fd5b5035600160a060020a031661096b565b61016c610982565b6101866004803603604081101561029357600080fd5b50600160a060020a038135169060200135610988565b610186600480360360208110156102bf57600080fd5b5035610a3e565b61016c600480360360208110156102dc57600080fd5b5035600160a060020a0316610a90565b6101b4610aab565b6101866004803603602081101561030a57600080fd5b5035600160a060020a0316610ab4565b610322610b5a565b60408051600160a060020a039092168252519081900360200190f35b61016c610b69565b6101866004803603604081101561035c57600080fd5b50600160a060020a038135169060200135610b6f565b6101b46004803603602081101561038857600080fd5b5035600160a060020a0316610c21565b6101b4600480360360408110156103ae57600080fd5b50600160a060020a038135169060200135610c79565b610186610c86565b610322610d5b565b61016c600480360360408110156103ea57600080fd5b50600160a060020a0381358116916020013516610d6a565b60065481565b6104113361096b565b1515610455576040805160e560020a62461bcd02815260206004820152601160248201526000805160206112fe833981519152604482015290519081900360640190fd5b604080513480825260208201838152369383018490526004359360243593849286923392600080357bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191693889391929060608201848480828437600083820152604051601f909101601f1916909201829003965090945050505050a450506005805460ff1916600117905550565b60055460009060ff161561052c576040805160e560020a62461bcd0281526020600482015260126024820152600080516020611345833981519152604482015290519081900360640190fd5b336000908152600460209081526040808320600160a060020a0387168452909152902054158061055a575081155b151561056557600080fd5b61056f8383610d95565b90505b92915050565b6105813361096b565b15156105c5576040805160e560020a62461bcd02815260206004820152601160248201526000805160206112fe833981519152604482015290519081900360640190fd5b600160a060020a0381161515610625576040805160e560020a62461bcd02815260206004820152601560248201527f696e76616c6964206f776e657220616464726573730000000000000000000000604482015290519081900360640190fd5b6001805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0383811691909117918290556040519116907fce241d7ca1f669fee44b6fc00b8eba2df3bb514eed0f6f668f8f89096e81ed9490600090a250565b60025490565b60055460009060ff16156106d4576040805160e560020a62461bcd0281526020600482015260126024820152600080516020611345833981519152604482015290519081900360640190fd5b600160a060020a03841633148015906107125750600160a060020a038416600090815260046020908152604080832033845290915290205460001914155b156107e557600160a060020a0384166000908152600460209081526040808320338452909152902054821115610792576040805160e560020a62461bcd02815260206004820152601e60248201527f64732d746f6b656e2d696e73756666696369656e742d617070726f76616c0000604482015290519081900360640190fd5b600160a060020a03841660009081526004602090815260408083203384529091529020546107c09083610dfb565b600160a060020a03851660009081526004602090815260408083203384529091529020555b600160a060020a038416600090815260036020526040902054821115610855576040805160e560020a62461bcd02815260206004820152601d60248201527f64732d746f6b656e2d696e73756666696369656e742d62616c616e6365000000604482015290519081900360640190fd5b600160a060020a0384166000908152600360205260409020546108789083610dfb565b600160a060020a0380861660009081526003602052604080822093909355908516815220546108a79083610e56565b600160a060020a0380851660008181526003602090815260409182902094909455805186815290519193928816927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a35060019392505050565b600081151561091957506001610572565b8160011415610929575081610572565b8215801561093657508115155b1561094357506000610572565b8260015b83811015610963576109598286610eb1565b9150600101610947565b509050610572565b600154600160a060020a038281169116145b919050565b60085481565b61099133610f24565b15156109e7576040805160e560020a62461bcd02815260206004820152601460248201527f64732d617574682d756e617574686f72697a6564000000000000000000000000604482015290519081900360640190fd5b60055460ff1615610a30576040805160e560020a62461bcd0281526020600482015260126024820152600080516020611345833981519152604482015290519081900360640190fd5b610a3a8282610f9d565b5050565b610a473361096b565b1515610a8b576040805160e560020a62461bcd02815260206004820152601160248201526000805160206112fe833981519152604482015290519081900360640190fd5b600655565b600160a060020a031660009081526003602052604090205490565b60055460ff1681565b610abd3361096b565b1515610b01576040805160e560020a62461bcd02815260206004820152601160248201526000805160206112fe833981519152604482015290519081900360640190fd5b6000805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a03838116919091178083556040519116917f1abebea81bfa2637f28358c371278fb15ede7ea8dd28d2e03b112ff6d936ada491a250565b600154600160a060020a031681565b60075481565b610b7833610f24565b1515610bce576040805160e560020a62461bcd02815260206004820152601460248201527f64732d617574682d756e617574686f72697a6564000000000000000000000000604482015290519081900360640190fd5b60055460ff1615610c17576040805160e560020a62461bcd0281526020600482015260126024820152600080516020611345833981519152604482015290519081900360640190fd5b610a3a8282611078565b60055460009060ff1615610c6d576040805160e560020a62461bcd0281526020600482015260126024820152600080516020611345833981519152604482015290519081900360640190fd5b61057282600019610d95565b600061056f338484610688565b610c8f3361096b565b1515610cd3576040805160e560020a62461bcd02815260206004820152601160248201526000805160206112fe833981519152604482015290519081900360640190fd5b604080513480825260208201838152369383018490526004359360243593849286923392600080357bffffffffffffffffffffffffffffffffffffffffffffffffffffffff191693889391929060608201848480828437600083820152604051601f909101601f1916909201829003965090945050505050a450506005805460ff1916905550565b600054600160a060020a031681565b600160a060020a03918216600090815260046020908152604080832093909416825291909152205490565b336000818152600460209081526040808320600160a060020a038716808552908352818420869055815186815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a350600192915050565b80820382811115610572576040805160e560020a62461bcd02815260206004820152601560248201527f64732d6d6174682d7375622d756e646572666c6f770000000000000000000000604482015290519081900360640190fd5b80820182811015610572576040805160e560020a62461bcd02815260206004820152601460248201527f64732d6d6174682d6164642d6f766572666c6f77000000000000000000000000604482015290519081900360640190fd5b6000811580610ece575050808202828282811515610ecb57fe5b04145b1515610572576040805160e560020a62461bcd02815260206004820152601460248201527f64732d6d6174682d6d756c2d6f766572666c6f77000000000000000000000000604482015290519081900360640190fd5b6000600160a060020a038216301415610f3f5750600161097d565b600154600160a060020a0383811691161415610f5d5750600161097d565b600054600160a060020a03161515610f775750600061097d565b600054600160a060020a0383811691161415610f955750600161097d565b50600061097d565b600160a060020a0382161515610fe75760405160e560020a62461bcd02815260040180806020018281038252602781526020018061131e6027913960400191505060405180910390fd5b600160a060020a03821660009081526003602052604090205461100a9082610e56565b600160a060020a0383166000908152600360205260409020556002546110309082610e56565b600255604080518281529051600160a060020a038416916000917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050565b600160a060020a03821615156110c25760405160e560020a62461bcd0281526004018080602001828103825260298152602001806112d56029913960400191505060405180910390fd5b600160a060020a038216600090815260036020526040902054811115611132576040805160e560020a62461bcd02815260206004820152601d60248201527f64732d746f6b656e2d696e73756666696369656e742d62616c616e6365000000604482015290519081900360640190fd5b600160a060020a03821633148015906111705750600160a060020a038216600090815260046020908152604080832033845290915290205460001914155b1561124357600160a060020a03821660009081526004602090815260408083203384529091529020548111156111f0576040805160e560020a62461bcd02815260206004820152601e60248201527f64732d746f6b656e2d696e73756666696369656e742d617070726f76616c0000604482015290519081900360640190fd5b600160a060020a038216600090815260046020908152604080832033845290915290205461121e9082610dfb565b600160a060020a03831660009081526004602090815260408083203384529091529020555b600160a060020a0382166000908152600360205260409020546112669082610dfb565b600160a060020a03831660009081526003602052604090205560025461128c9082610dfb565b600255604080518281529051600091600160a060020a038516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a3505056fe64732d746f6b656e2d6275726e3a206275726e2066726f6d20746865207a65726f206164647265737364732d617574682d6e6f6e2d6f776e657200000000000000000000000000000064732d746f6b656e2d6d696e743a206d696e7420746f20746865207a65726f206164647265737364732d73746f702d69732d73746f707065640000000000000000000000000000a165627a7a7230582008948d72c7df96168cac1c420a65f3718bebf4f831c93166f223cacbe81692330029

5553447800000000000000000000000000000000000000000000000000000000

-----Decoded View---------------
Arg [0] : symbol_ (bytes32): 0x5553447800000000000000000000000000000000000000000000000000000000

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

7640:2410:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7640:2410:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7692:26;;;:::i;:::-;;;;;;;;;;;;;;;;5297:71;;;:::i;:::-;;8086:212;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;8086:212:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;3433:206;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3433:206:0;-1:-1:-1;;;;;3433:206:0;;:::i;6413:83::-;;;:::i;8306:637::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;8306:637:0;;;;;;;;;;;;;;;;;:::i;2603:469::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2603:469:0;;;;;;;:::i;4046:101::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;4046:101:0;-1:-1:-1;;;;;4046:101:0;;:::i;7755:30::-;;;:::i;8951:93::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;8951:93:0;;;;;;;;:::i;7873:80::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7873:80:0;;:::i;6502:99::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;6502:99:0;-1:-1:-1;;;;;6502:99:0;;:::i;5174:19::-;;;:::i;3647:174::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3647:174:0;-1:-1:-1;;;;;3647:174:0;;:::i;3293:26::-;;;:::i;:::-;;;;-1:-1:-1;;;;;3293:26:0;;;;;;;;;;;;;;7725:23;;;:::i;9052:93::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;9052:93:0;;;;;;;;:::i;7961:117::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7961:117:0;-1:-1:-1;;;;;7961:117:0;;:::i;6733:123::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;6733:123:0;;;;;;;;:::i;5374:73::-;;;:::i;3256:30::-;;;:::i;6607:118::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;6607:118:0;;;;;;;;;;:::i;7692:26::-;;;;:::o;5297:71::-;3977:19;3985:10;3977:7;:19::i;:::-;3969:49;;;;;;;-1:-1:-1;;;;;3969:49:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;3969:49:0;;;;;;;;;;;;;;;5043:53;;;5006:9;5043:53;;;;;;;;;5087:8;5043:53;;;;;;4946:1;4933:15;;4982:2;4969:16;;;;4933:15;;5060:10;;-1:-1:-1;5051:7:0;;-1:-1:-1;;5051:7:0;;5006:9;;-1:-1:-1;;5043:53:0;;;;-1:-1:-1;5087:8:0;;-1:-1:-1;5043:53:0;1:33:-1;99:1;81:16;;;74:27;5043:53:0;;137:4:-1;117:14;;;-1:-1;;113:30;157:16;;;5043:53:0;;;;-1:-1:-1;5043:53:0;;-1:-1:-1;;;;;5043:53:0;-1:-1:-1;;5346:7:0;:14;;-1:-1:-1;;5346:14:0;5356:4;5346:14;;;-1:-1:-1;5297:71:0:o;8086:212::-;5241:7;;8152:4;;5241:7;;5240:8;5232:39;;;;;-1:-1:-1;;;;;5232:39:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;5232:39:0;;;;;;;;;;;;;;;8188:10;8177:22;;;;:10;:22;;;;;;;;-1:-1:-1;;;;;8177:27:0;;;;;;;;;;:32;;:44;;-1:-1:-1;8213:8:0;;8177:44;8169:53;;;;;;;;8267:23;8281:3;8286;8267:13;:23::i;:::-;8260:30;;5282:1;8086:212;;;;:::o;3433:206::-;3977:19;3985:10;3977:7;:19::i;:::-;3969:49;;;;;;;-1:-1:-1;;;;;3969:49:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;3969:49:0;;;;;;;;;;;;;;;-1:-1:-1;;;;;3526:20:0;;;;3518:54;;;;;-1:-1:-1;;;;;3518:54:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;3583:5;:14;;-1:-1:-1;;3583:14:0;-1:-1:-1;;;;;3583:14:0;;;;;;;;;;;3613:18;;3625:5;;;3613:18;;-1:-1:-1;;3613:18:0;3433:206;:::o;6413:83::-;6481:7;;6413:83;:::o;8306:637::-;5241:7;;8417:4;;5241:7;;5240:8;5232:39;;;;;-1:-1:-1;;;;;5232:39:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;5232:39:0;;;;;;;;;;;;;;;-1:-1:-1;;;;;8443:17:0;;8450:10;8443:17;;;;:60;;-1:-1:-1;;;;;;8464:15:0;;;;;;:10;:15;;;;;;;;8480:10;8464:27;;;;;;;;-1:-1:-1;;8464:39:0;;8443:60;8439:252;;;-1:-1:-1;;;;;8528:15:0;;;;;;:10;:15;;;;;;;;8544:10;8528:27;;;;;;;;:34;-1:-1:-1;8528:34:0;8520:77;;;;;-1:-1:-1;;;;;8520:77:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;8646:15:0;;;;;;:10;:15;;;;;;;;8662:10;8646:27;;;;;;;;8642:37;;8675:3;8642;:37::i;:::-;-1:-1:-1;;;;;8612:15:0;;;;;;:10;:15;;;;;;;;8628:10;8612:27;;;;;;;:67;8439:252;-1:-1:-1;;;;;8711:14:0;;;;;;:9;:14;;;;;;:21;-1:-1:-1;8711:21:0;8703:63;;;;;-1:-1:-1;;;;;8703:63:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;8798:14:0;;;;;;:9;:14;;;;;;8794:24;;8814:3;8794;:24::i;:::-;-1:-1:-1;;;;;8777:14:0;;;;;;;:9;:14;;;;;;:41;;;;8850:14;;;;;;;8846:24;;8866:3;8846;:24::i;:::-;-1:-1:-1;;;;;8829:14:0;;;;;;;:9;:14;;;;;;;;;:41;;;;8888:23;;;;;;;8829:14;;8888:23;;;;;;;;;;;;;-1:-1:-1;8931:4:0;8306:637;;;;;:::o;2603:469::-;2669:7;2693:13;;2689:376;;;-1:-1:-1;2730:1:0;2723:8;;2689:376;2762:8;2774:1;2762:13;2758:307;;;-1:-1:-1;2799:4:0;2792:11;;2758:307;2834:9;;:26;;;;-1:-1:-1;2847:13:0;;;2834:26;2830:235;;;-1:-1:-1;2884:1:0;2877:8;;2830:235;2939:4;2975:1;2958:72;2982:8;2978:1;:12;2958:72;;;3018:12;3022:1;3025:4;3018:3;:12::i;:::-;3014:16;-1:-1:-1;2992:3:0;;2958:72;;;-1:-1:-1;3052:1:0;-1:-1:-1;3045:8:0;;4046:101;4133:5;;-1:-1:-1;;;;;4126:12:0;;;4133:5;;4126:12;4046:101;;;;:::o;7755:30::-;;;;:::o;8951:93::-;3862:24;3875:10;3862:12;:24::i;:::-;3854:57;;;;;;;-1:-1:-1;;;;;3854:57:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;5241:7;;;;5240:8;5232:39;;;;;-1:-1:-1;;;;;5232:39:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;5232:39:0;;;;;;;;;;;;;;;9021:15;9027:3;9032;9021:5;:15::i;:::-;8951:93;;:::o;7873:80::-;3977:19;3985:10;3977:7;:19::i;:::-;3969:49;;;;;;;-1:-1:-1;;;;;3969:49:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;3969:49:0;;;;;;;;;;;;;;;7933:4;:12;7873:80::o;6502:99::-;-1:-1:-1;;;;;6579:14:0;6555:4;6579:14;;;:9;:14;;;;;;;6502:99::o;5174:19::-;;;;;;:::o;3647:174::-;3977:19;3985:10;3977:7;:19::i;:::-;3969:49;;;;;;;-1:-1:-1;;;;;3969:49:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;3969:49:0;;;;;;;;;;;;;;;3740:9;:22;;-1:-1:-1;;3740:22:0;-1:-1:-1;;;;;3740:22:0;;;;;;;;;;3778:35;;3802:9;;;3778:35;;;3647:174;:::o;3293:26::-;;;-1:-1:-1;;;;;3293:26:0;;:::o;7725:23::-;;;;:::o;9052:93::-;3862:24;3875:10;3862:12;:24::i;:::-;3854:57;;;;;;;-1:-1:-1;;;;;3854:57:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;5241:7;;;;5240:8;5232:39;;;;;-1:-1:-1;;;;;5232:39:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;5232:39:0;;;;;;;;;;;;;;;9122:15;9128:3;9133;9122:5;:15::i;7961:117::-;5241:7;;8018:4;;5241:7;;5240:8;5232:39;;;;;-1:-1:-1;;;;;5232:39:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;5232:39:0;;;;;;;;;;;;;;;8042:28;8056:3;-1:-1:-1;;8042:13:0;:28::i;6733:123::-;6790:4;6814:34;6827:10;6839:3;6844;6814:12;:34::i;5374:73::-;3977:19;3985:10;3977:7;:19::i;:::-;3969:49;;;;;;;-1:-1:-1;;;;;3969:49:0;;;;;;;;;;;;-1:-1:-1;;;;;;;;;;;3969:49:0;;;;;;;;;;;;;;;5043:53;;;5006:9;5043:53;;;;;;;;;5087:8;5043:53;;;;;;4946:1;4933:15;;4982:2;4969:16;;;;4933:15;;5060:10;;-1:-1:-1;5051:7:0;;-1:-1:-1;;5051:7:0;;5006:9;;-1:-1:-1;;5043:53:0;;;;-1:-1:-1;5087:8:0;;-1:-1:-1;5043:53:0;1:33:-1;99:1;81:16;;;74:27;5043:53:0;;137:4:-1;117:14;;;-1:-1;;113:30;157:16;;;5043:53:0;;;;-1:-1:-1;5043:53:0;;-1:-1:-1;;;;;5043:53:0;-1:-1:-1;;5424:7:0;:15;;-1:-1:-1;;5424:15:0;;;-1:-1:-1;5374:73:0:o;3256:30::-;;;-1:-1:-1;;;;;3256:30:0;;:::o;6607:118::-;-1:-1:-1;;;;;6697:15:0;;;6673:4;6697:15;;;:10;:15;;;;;;;;:20;;;;;;;;;;;;;6607:118::o;7447:186::-;7531:10;7503:4;7520:22;;;:10;:22;;;;;;;;-1:-1:-1;;;;;7520:27:0;;;;;;;;;;;:33;;;7571:30;;;;;;;7503:4;;7520:27;;7531:10;;7571:30;;;;;;;;-1:-1:-1;7621:4:0;7447:186;;;;:::o;184:129::-;268:5;;;263:16;;;;255:50;;;;;-1:-1:-1;;;;;255:50:0;;;;;;;;;;;;;;;;;;;;;;;;;;;50:128;134:5;;;129:16;;;;121:49;;;;;-1:-1:-1;;;;;121:49:0;;;;;;;;;;;;;;;;;;;;;;;;;;;319:142;371:6;398;;;:30;;-1:-1:-1;;413:5:0;;;427:1;422;413:5;408:15;;;;;;;;:20;398:30;390:63;;;;;;;-1:-1:-1;;;;;390:63:0;;;;;;;;;;;;;;;;;;;;;;;;;;;4155:393;4213:4;-1:-1:-1;;;;;4234:20:0;;4249:4;4234:20;4230:311;;;-1:-1:-1;4278:4:0;4271:11;;4230:311;4311:5;;-1:-1:-1;;;;;4304:12:0;;;4311:5;;4304:12;4300:241;;;-1:-1:-1;4340:4:0;4333:11;;4300:241;4387:1;4366:9;-1:-1:-1;;;;;4366:9:0;:23;4362:179;;;-1:-1:-1;4413:5:0;4406:12;;4362:179;4447:9;;-1:-1:-1;;;;;4440:16:0;;;4447:9;;4440:16;4436:105;;;-1:-1:-1;4480:4:0;4473:11;;4436:105;-1:-1:-1;4524:5:0;4517:12;;9153:273;-1:-1:-1;;;;;9219:17:0;;;;9211:69;;;;-1:-1:-1;;;;;9211:69:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;9314:14:0;;;;;;:9;:14;;;;;;9310:24;;9330:3;9310;:24::i;:::-;-1:-1:-1;;;;;9293:14:0;;;;;;:9;:14;;;;;:41;9359:7;;9355:17;;9368:3;9355;:17::i;:::-;9345:7;:27;9388:30;;;;;;;;-1:-1:-1;;;;;9388:30:0;;;9405:1;;9388:30;;;;;;;;;9153:273;;:::o;9434:613::-;-1:-1:-1;;;;;9500:17:0;;;;9492:71;;;;-1:-1:-1;;;;;9492:71:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;9582:14:0;;;;;;:9;:14;;;;;;:21;-1:-1:-1;9582:21:0;9574:63;;;;;-1:-1:-1;;;;;9574:63:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;9654:17:0;;9661:10;9654:17;;;;:60;;-1:-1:-1;;;;;;9675:15:0;;;;;;:10;:15;;;;;;;;9691:10;9675:27;;;;;;;;-1:-1:-1;;9675:39:0;;9654:60;9650:252;;;-1:-1:-1;;;;;9739:15:0;;;;;;:10;:15;;;;;;;;9755:10;9739:27;;;;;;;;:34;-1:-1:-1;9739:34:0;9731:77;;;;;-1:-1:-1;;;;;9731:77:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;9857:15:0;;;;;;:10;:15;;;;;;;;9873:10;9857:27;;;;;;;;9853:37;;9886:3;9853;:37::i;:::-;-1:-1:-1;;;;;9823:15:0;;;;;;:10;:15;;;;;;;;9839:10;9823:27;;;;;;;:67;9650:252;-1:-1:-1;;;;;9935:14:0;;;;;;:9;:14;;;;;;9931:24;;9951:3;9931;:24::i;:::-;-1:-1:-1;;;;;9914:14:0;;;;;;:9;:14;;;;;:41;9980:7;;9976:17;;9989:3;9976;:17::i;:::-;9966:7;:27;10009:30;;;;;;;;10031:1;;-1:-1:-1;;;;;10009:30:0;;;;;;;;;;;;9434:613;;:::o

bzzr://08948d72c7df96168cac1c420a65f3718bebf4f831c93166f223cacbe8169233