Token

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

interface IBorrower    - function executeOnFlashMint(uint256 a ... library SafeMath    - function add(uint256 a, uint256 b)    - function sub(uint256 a, uint256 b)    - function mul(uint256 a, uint256 b)    - function div(uint256 a, uint256 b)    - function mod(uint256 a, uint256 b) interface IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...  contract ERC20 is IERC20    - function totalSupply()    - function balanceOf(address account)    - function transfer(address recipient, ...    - function allowance(address owner, add ...    - function approve(address spender, uin ...    - function transferFrom(address sender, ...    - function increaseAllowance(address sp ...    - function decreaseAllowance(address sp ...    - function _transfer(address sender, ad ...    - function _mint(address account, uint2 ...    - function _burn(address account, uint2 ...    - function _approve(address owner, addr ...    - function _burnFrom(address account, u ...  contract Doggiswap is ERC20 *    - function()    - function deposit()    - function withdraw(uint256 amount)    - function softFlashFuck(uint256 amount ...    - function hardFlashFuck(

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2021-03-22
*/

/*
/  ░██████╗░██╗░░░░░░░██╗░█████╗░██████╗░
/  ██╔════╝░██║░░██╗░░██║██╔══██╗██╔══██╗
/  ╚█████╗░░╚██╗████╗██╔╝███████║██████╔╝
/  ░╚═══██╗░░████╔═████║░██╔══██║██╔═══╝░
/  ██████╔╝░░╚██╔╝░╚██╔╝░██║░░██║██║░░░░░
/  ╚═════╝░░░░╚═╝░░░╚═╝░░╚═╝░░╚═╝╚═╝░░░░░
/ 
/  Sample website of the DoggiSwap project 
/  We will definitely finish it by March 26, 2021
/  https://doggiswap.org
/  Main website: https://doggiswap.org | info https://doggiswap.info
*/

pragma solidity 0.5.16;

interface IBorrower {
    function executeOnFlashMint(uint256 amount) external;
}



pragma solidity ^0.5.0;


library SafeMath {

    function add(uint256 a, uint256 b) internal pure returns (uint256) {
        uint256 c = a + b;
        require(c >= a, "SafeMath: addition overflow");

        return c;
    }


    function sub(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b <= a, "SafeMath: subtraction overflow");
        uint256 c = a - b;

        return c;
    }


    function mul(uint256 a, uint256 b) internal pure returns (uint256) {


        if (a == 0) {
            return 0;
        }

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

        return c;
    }


    function div(uint256 a, uint256 b) internal pure returns (uint256) {

        require(b > 0, "SafeMath: division by zero");
        uint256 c = a / b;


        return c;
    }


    function mod(uint256 a, uint256 b) internal pure returns (uint256) {
        require(b != 0, "SafeMath: modulo by zero");
        return a % b;
    }
}

// File: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/release-v2.3.0/contracts/token/ERC20/IERC20.sol

pragma solidity ^0.5.0;


interface IERC20 {

    function totalSupply() external view returns (uint256);


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


    function transfer(address recipient, uint256 amount) external returns (bool);


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


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


    function transferFrom(address sender, address recipient, uint256 amount) external returns (bool);


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


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



pragma solidity ^0.5.0;




contract ERC20 is IERC20 {
    using SafeMath for uint256;

    mapping (address => uint256) private _balances;

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

    uint256 private _totalSupply;


    function totalSupply() public view returns (uint256) {
        return _totalSupply;
    }


    function balanceOf(address account) public view returns (uint256) {
        return _balances[account];
    }


    function transfer(address recipient, uint256 amount) public returns (bool) {
        _transfer(msg.sender, recipient, amount);
        return true;
    }


    function allowance(address owner, address spender) public view returns (uint256) {
        return _allowances[owner][spender];
    }


    function approve(address spender, uint256 value) public returns (bool) {
        _approve(msg.sender, spender, value);
        return true;
    }


    function transferFrom(address sender, address recipient, uint256 amount) public returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, msg.sender, _allowances[sender][msg.sender].sub(amount));
        return true;
    }


    function increaseAllowance(address spender, uint256 addedValue) public returns (bool) {
        _approve(msg.sender, spender, _allowances[msg.sender][spender].add(addedValue));
        return true;
    }


    function decreaseAllowance(address spender, uint256 subtractedValue) public returns (bool) {
        _approve(msg.sender, spender, _allowances[msg.sender][spender].sub(subtractedValue));
        return true;
    }



    function _transfer(address sender, address recipient, uint256 amount) internal {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");

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


    function _mint(address account, uint256 amount) internal {
        require(account != address(0), "ERC20: mint to the zero address");

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


    function _burn(address account, uint256 value) internal {
        require(account != address(0), "ERC20: burn from the zero address");

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


    function _approve(address owner, address spender, uint256 value) internal {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");

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


    function _burnFrom(address account, uint256 amount) internal {
        _burn(account, amount);
        _approve(account, msg.sender, _allowances[account][msg.sender].sub(amount));
    }
}

pragma solidity 0.5.16;


contract Doggiswap is ERC20 {
    using SafeMath for uint256;

    string public name = "Doggiswap Token";
    string public symbol = "DOGGI";
    uint8 public decimals = 18;

    function() external payable {
        _mint(msg.sender, msg.value);
    }

    /// @notice Deposit ETH
    function deposit() public payable {
        _mint(msg.sender, msg.value);
    }

    /// @notice Withdraw ETH
    function withdraw(uint256 amount) public {
        _burn(msg.sender, amount); // reverts if `msg.sender` does not have enough fmETH
        msg.sender.transfer(amount);
    }

    //////////////
    // Doggiswap //
    //////////////

    modifier flashMint(uint256 amount) {

        _mint(msg.sender, amount); 


        _;

        // burn tokens
        _burn(msg.sender, amount); 

        // sanity check (not strictly needed)
        require(
            address(this).balance >= totalSupply(),
            "redeemability was broken"
        );
    }


    function softFlashFuck(uint256 amount) public flashMint(amount) {

        IBorrower(msg.sender).executeOnFlashMint(amount);
    }


    function hardFlashFuck(
        address target,
        bytes memory targetCalldata,
        uint256 amount
    ) public flashMint(amount) {
        (bool success, ) = target.call(targetCalldata);
        require(success, "external call failed");
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"owner","type":"address"},{"indexed":true,"internalType":"address","name":"spender","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Approval","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"address","name":"from","type":"address"},{"indexed":true,"internalType":"address","name":"to","type":"address"},{"indexed":false,"internalType":"uint256","name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"payable":true,"stateMutability":"payable","type":"fallback"},{"constant":true,"inputs":[{"internalType":"address","name":"owner","type":"address"},{"internalType":"address","name":"spender","type":"address"}],"name":"allowance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"value","type":"uint256"}],"name":"approve","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"internalType":"address","name":"account","type":"address"}],"name":"balanceOf","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"internalType":"uint8","name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"deposit","outputs":[],"payable":true,"stateMutability":"payable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"target","type":"address"},{"internalType":"bytes","name":"targetCalldata","type":"bytes"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"hardFlashFuck","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"spender","type":"address"},{"internalType":"uint256","name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"softFlashFuck","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"internalType":"string","name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transfer","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"sender","type":"address"},{"internalType":"address","name":"recipient","type":"address"},{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"transferFrom","outputs":[{"internalType":"bool","name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"uint256","name":"amount","type":"uint256"}],"name":"withdraw","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"}]

60806040526040518060400160405280600f81526020017f446f6767697377617020546f6b656e00000000000000000000000000000000008152506003908051906020019062000051929190620000d0565b506040518060400160405280600581526020017f444f474749000000000000000000000000000000000000000000000000000000815250600490805190602001906200009f929190620000d0565b506012600560006101000a81548160ff021916908360ff160217905550348015620000c957600080fd5b506200017f565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200011357805160ff191683800117855562000144565b8280016001018555821562000144579182015b828111156200014357825182559160200191906001019062000126565b5b50905062000153919062000157565b5090565b6200017c91905b80821115620001785760008160009055506001016200015e565b5090565b90565b611882806200018f6000396000f3fe6080604052600436106100e85760003560e01c806370a082311161008a578063d0e30db011610059578063d0e30db01461056f578063d668019b14610579578063dd62ed3e1461066b578063f493e032146106f0576100e8565b806370a082311461039457806395d89b41146103f9578063a457c2d714610489578063a9059cbb146104fc576100e8565b806323b872dd116100c657806323b872dd146102225780632e1a7d4d146102b5578063313ce567146102f05780633950935114610321576100e8565b806306fdde03146100f4578063095ea7b31461018457806318160ddd146101f7575b6100f2333461072b565b005b34801561010057600080fd5b506101096108e6565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561014957808201518184015260208101905061012e565b50505050905090810190601f1680156101765780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561019057600080fd5b506101dd600480360360408110156101a757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610984565b604051808215151515815260200191505060405180910390f35b34801561020357600080fd5b5061020c61099b565b6040518082815260200191505060405180910390f35b34801561022e57600080fd5b5061029b6004803603606081101561024557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506109a5565b604051808215151515815260200191505060405180910390f35b3480156102c157600080fd5b506102ee600480360360208110156102d857600080fd5b8101908080359060200190929190505050610a56565b005b3480156102fc57600080fd5b50610305610aaa565b604051808260ff1660ff16815260200191505060405180910390f35b34801561032d57600080fd5b5061037a6004803603604081101561034457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610abd565b604051808215151515815260200191505060405180910390f35b3480156103a057600080fd5b506103e3600480360360208110156103b757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610b62565b6040518082815260200191505060405180910390f35b34801561040557600080fd5b5061040e610baa565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561044e578082015181840152602081019050610433565b50505050905090810190601f16801561047b5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561049557600080fd5b506104e2600480360360408110156104ac57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610c48565b604051808215151515815260200191505060405180910390f35b34801561050857600080fd5b506105556004803603604081101561051f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610ced565b604051808215151515815260200191505060405180910390f35b610577610d04565b005b34801561058557600080fd5b506106696004803603606081101561059c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001906401000000008111156105d957600080fd5b8201836020820111156105eb57600080fd5b8035906020019184600183028401116401000000008311171561060d57600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f82011690508083019250505050505050919291929080359060200190929190505050610d10565b005b34801561067757600080fd5b506106da6004803603604081101561068e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610ed4565b6040518082815260200191505060405180910390f35b3480156106fc57600080fd5b506107296004803603602081101561071357600080fd5b8101908080359060200190929190505050610f5b565b005b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156107ce576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f45524332303a206d696e7420746f20746865207a65726f20616464726573730081525060200191505060405180910390fd5b6107e38160025461105c90919063ffffffff16565b60028190555061083a816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461105c90919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60038054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561097c5780601f106109515761010080835404028352916020019161097c565b820191906000526020600020905b81548152906001019060200180831161095f57829003601f168201915b505050505081565b60006109913384846110e4565b6001905092915050565b6000600254905090565b60006109b28484846112db565b610a4b8433610a4685600160008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461157790919063ffffffff16565b6110e4565b600190509392505050565b610a603382611600565b3373ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015610aa6573d6000803e3d6000fd5b5050565b600560009054906101000a900460ff1681565b6000610b583384610b5385600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461105c90919063ffffffff16565b6110e4565b6001905092915050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60048054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610c405780601f10610c1557610100808354040283529160200191610c40565b820191906000526020600020905b815481529060010190602001808311610c2357829003601f168201915b505050505081565b6000610ce33384610cde85600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461157790919063ffffffff16565b6110e4565b6001905092915050565b6000610cfa3384846112db565b6001905092915050565b610d0e333461072b565b565b80610d1b338261072b565b60008473ffffffffffffffffffffffffffffffffffffffff16846040518082805190602001908083835b60208310610d685780518252602082019150602081019050602083039250610d45565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d8060008114610dca576040519150601f19603f3d011682016040523d82523d6000602084013e610dcf565b606091505b5050905080610e46576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f65787465726e616c2063616c6c206661696c656400000000000000000000000081525060200191505060405180910390fd5b50610e513382611600565b610e5961099b565b471015610ece576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f72656465656d6162696c697479207761732062726f6b656e000000000000000081525060200191505060405180910390fd5b50505050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b80610f66338261072b565b3373ffffffffffffffffffffffffffffffffffffffff166352e91642836040518263ffffffff1660e01b815260040180828152602001915050600060405180830381600087803b158015610fb957600080fd5b505af1158015610fcd573d6000803e3d6000fd5b50505050610fdb3382611600565b610fe361099b565b471015611058576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f72656465656d6162696c697479207761732062726f6b656e000000000000000081525060200191505060405180910390fd5b5050565b6000808284019050838110156110da576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561116a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602481526020018061182a6024913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156111f0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260228152602001806117c26022913960400191505060405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611361576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260258152602001806118056025913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156113e7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602381526020018061179f6023913960400191505060405180910390fd5b611438816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461157790919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506114cb816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461105c90919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b6000828211156115ef576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525060200191505060405180910390fd5b600082840390508091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611686576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260218152602001806117e46021913960400191505060405180910390fd5b61169b8160025461157790919063ffffffff16565b6002819055506116f2816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461157790919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505056fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f206164647265737345524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f2061646472657373a265627a7a72315820f1732604facf996cbbed99682b885c8f12d71d0655fc7c75d2d268cc908860fd64736f6c63430005100032

0x6080604052600436106100e85760003560e01c806370a082311161008a578063d0e30db011610059578063d0e30db01461056f578063d668019b14610579578063dd62ed3e1461066b578063f493e032146106f0576100e8565b806370a082311461039457806395d89b41146103f9578063a457c2d714610489578063a9059cbb146104fc576100e8565b806323b872dd116100c657806323b872dd146102225780632e1a7d4d146102b5578063313ce567146102f05780633950935114610321576100e8565b806306fdde03146100f4578063095ea7b31461018457806318160ddd146101f7575b6100f2333461072b565b005b34801561010057600080fd5b506101096108e6565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561014957808201518184015260208101905061012e565b50505050905090810190601f1680156101765780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561019057600080fd5b506101dd600480360360408110156101a757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610984565b604051808215151515815260200191505060405180910390f35b34801561020357600080fd5b5061020c61099b565b6040518082815260200191505060405180910390f35b34801561022e57600080fd5b5061029b6004803603606081101561024557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506109a5565b604051808215151515815260200191505060405180910390f35b3480156102c157600080fd5b506102ee600480360360208110156102d857600080fd5b8101908080359060200190929190505050610a56565b005b3480156102fc57600080fd5b50610305610aaa565b604051808260ff1660ff16815260200191505060405180910390f35b34801561032d57600080fd5b5061037a6004803603604081101561034457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610abd565b604051808215151515815260200191505060405180910390f35b3480156103a057600080fd5b506103e3600480360360208110156103b757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610b62565b6040518082815260200191505060405180910390f35b34801561040557600080fd5b5061040e610baa565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561044e578082015181840152602081019050610433565b50505050905090810190601f16801561047b5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561049557600080fd5b506104e2600480360360408110156104ac57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610c48565b604051808215151515815260200191505060405180910390f35b34801561050857600080fd5b506105556004803603604081101561051f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610ced565b604051808215151515815260200191505060405180910390f35b610577610d04565b005b34801561058557600080fd5b506106696004803603606081101561059c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001906401000000008111156105d957600080fd5b8201836020820111156105eb57600080fd5b8035906020019184600183028401116401000000008311171561060d57600080fd5b91908080601f016020809104026020016040519081016040528093929190818152602001838380828437600081840152601f19601f82011690508083019250505050505050919291929080359060200190929190505050610d10565b005b34801561067757600080fd5b506106da6004803603604081101561068e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610ed4565b6040518082815260200191505060405180910390f35b3480156106fc57600080fd5b506107296004803603602081101561071357600080fd5b8101908080359060200190929190505050610f5b565b005b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156107ce576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601f8152602001807f45524332303a206d696e7420746f20746865207a65726f20616464726573730081525060200191505060405180910390fd5b6107e38160025461105c90919063ffffffff16565b60028190555061083a816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461105c90919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60038054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561097c5780601f106109515761010080835404028352916020019161097c565b820191906000526020600020905b81548152906001019060200180831161095f57829003601f168201915b505050505081565b60006109913384846110e4565b6001905092915050565b6000600254905090565b60006109b28484846112db565b610a4b8433610a4685600160008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461157790919063ffffffff16565b6110e4565b600190509392505050565b610a603382611600565b3373ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015610aa6573d6000803e3d6000fd5b5050565b600560009054906101000a900460ff1681565b6000610b583384610b5385600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461105c90919063ffffffff16565b6110e4565b6001905092915050565b60008060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b60048054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610c405780601f10610c1557610100808354040283529160200191610c40565b820191906000526020600020905b815481529060010190602001808311610c2357829003601f168201915b505050505081565b6000610ce33384610cde85600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461157790919063ffffffff16565b6110e4565b6001905092915050565b6000610cfa3384846112db565b6001905092915050565b610d0e333461072b565b565b80610d1b338261072b565b60008473ffffffffffffffffffffffffffffffffffffffff16846040518082805190602001908083835b60208310610d685780518252602082019150602081019050602083039250610d45565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d8060008114610dca576040519150601f19603f3d011682016040523d82523d6000602084013e610dcf565b606091505b5050905080610e46576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260148152602001807f65787465726e616c2063616c6c206661696c656400000000000000000000000081525060200191505060405180910390fd5b50610e513382611600565b610e5961099b565b471015610ece576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f72656465656d6162696c697479207761732062726f6b656e000000000000000081525060200191505060405180910390fd5b50505050565b6000600160008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b80610f66338261072b565b3373ffffffffffffffffffffffffffffffffffffffff166352e91642836040518263ffffffff1660e01b815260040180828152602001915050600060405180830381600087803b158015610fb957600080fd5b505af1158015610fcd573d6000803e3d6000fd5b50505050610fdb3382611600565b610fe361099b565b471015611058576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260188152602001807f72656465656d6162696c697479207761732062726f6b656e000000000000000081525060200191505060405180910390fd5b5050565b6000808284019050838110156110da576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561116a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602481526020018061182a6024913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156111f0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260228152602001806117c26022913960400191505060405180910390fd5b80600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415611361576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260258152602001806118056025913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1614156113e7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602381526020018061179f6023913960400191505060405180910390fd5b611438816000808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461157790919063ffffffff16565b6000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506114cb816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461105c90919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505050565b6000828211156115ef576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f536166654d6174683a207375627472616374696f6e206f766572666c6f77000081525060200191505060405180910390fd5b600082840390508091505092915050565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611686576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260218152602001806117e46021913960400191505060405180910390fd5b61169b8160025461157790919063ffffffff16565b6002819055506116f2816000808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461157790919063ffffffff16565b6000808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505056fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f206164647265737345524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f2061646472657373a265627a7a72315820f1732604facf996cbbed99682b885c8f12d71d0655fc7c75d2d268cc908860fd64736f6c63430005100032

6291:1414:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6517:28;6523:10;6535:9;6517:5;:28::i;:::-;6291:1414;6361:38;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6361:38:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;6361:38:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3781:148;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3781:148:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3781:148:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;3250:91;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3250:91:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;3939:256;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3939:256:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3939:256:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6709:177;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6709:177:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6709:177:0;;;;;;;;;;;;;;;;;:::i;:::-;;6443:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6443:26:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;4205:206;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4205:206:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4205:206:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;3351:110;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3351:110:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3351:110:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;6406:30;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6406:30:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;6406:30:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4421:216;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4421:216:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4421:216:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;3471:156;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3471:156:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3471:156:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6590:81;;;:::i;:::-;;7443:259;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7443:259:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7443:259:0;;;;;;;;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;7443:259:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;7443:259:0;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;7443:259:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;7443:259:0;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;3637:134;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3637:134:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3637:134:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;7300:133;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7300:133:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7300:133:0;;;;;;;;;;;;;;;;;:::i;:::-;;5088:308;5183:1;5164:21;;:7;:21;;;;5156:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5249:24;5266:6;5249:12;;:16;;:24;;;;:::i;:::-;5234:12;:39;;;;5305:30;5328:6;5305:9;:18;5315:7;5305:18;;;;;;;;;;;;;;;;:22;;:30;;;;:::i;:::-;5284:9;:18;5294:7;5284:18;;;;;;;;;;;;;;;:51;;;;5372:7;5351:37;;5368:1;5351:37;;;5381:6;5351:37;;;;;;;;;;;;;;;;;;5088:308;;:::o;6361:38::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3781:148::-;3846:4;3863:36;3872:10;3884:7;3893:5;3863:8;:36::i;:::-;3917:4;3910:11;;3781:148;;;;:::o;3250:91::-;3294:7;3321:12;;3314:19;;3250:91;:::o;3939:256::-;4028:4;4045:36;4055:6;4063:9;4074:6;4045:9;:36::i;:::-;4092:73;4101:6;4109:10;4121:43;4157:6;4121:11;:19;4133:6;4121:19;;;;;;;;;;;;;;;:31;4141:10;4121:31;;;;;;;;;;;;;;;;:35;;:43;;;;:::i;:::-;4092:8;:73::i;:::-;4183:4;4176:11;;3939:256;;;;;:::o;6709:177::-;6761:25;6767:10;6779:6;6761:5;:25::i;:::-;6851:10;:19;;:27;6871:6;6851:27;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;6851:27:0;6709:177;:::o;6443:26::-;;;;;;;;;;;;;:::o;4205:206::-;4285:4;4302:79;4311:10;4323:7;4332:48;4369:10;4332:11;:23;4344:10;4332:23;;;;;;;;;;;;;;;:32;4356:7;4332:32;;;;;;;;;;;;;;;;:36;;:48;;;;:::i;:::-;4302:8;:79::i;:::-;4399:4;4392:11;;4205:206;;;;:::o;3351:110::-;3408:7;3435:9;:18;3445:7;3435:18;;;;;;;;;;;;;;;;3428:25;;3351:110;;;:::o;6406:30::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;4421:216::-;4506:4;4523:84;4532:10;4544:7;4553:53;4590:15;4553:11;:23;4565:10;4553:23;;;;;;;;;;;;;;;:32;4577:7;4553:32;;;;;;;;;;;;;;;;:36;;:53;;;;:::i;:::-;4523:8;:84::i;:::-;4625:4;4618:11;;4421:216;;;;:::o;3471:156::-;3540:4;3557:40;3567:10;3579:9;3590:6;3557:9;:40::i;:::-;3615:4;3608:11;;3471:156;;;;:::o;6590:81::-;6635:28;6641:10;6653:9;6635:5;:28::i;:::-;6590:81::o;7443:259::-;7578:6;7005:25;7011:10;7023:6;7005:5;:25::i;:::-;7598:12;7616:6;:11;;7628:14;7616:27;;;;;;;;;;;;;36:153:-1;66:2;61:3;58:11;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;;;7616:27:0;;;;;;;;;;;;;;;;;;;;;;;;14:1:-1;21;16:31;;;;75:4;69:11;64:16;;144:4;140:9;133:4;115:16;111:27;107:43;104:1;100:51;94:4;87:65;169:16;166:1;159:27;225:16;222:1;215:4;212:1;208:12;193:49;7:242;;16:31;36:4;31:9;;7:242;;7597:46:0;;;7662:7;7654:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7046:1;7084:25;7090:10;7102:6;7084:5;:25::i;:::-;7217:13;:11;:13::i;:::-;7192:21;:38;;7170:112;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7443:259;;;;:::o;3637:134::-;3709:7;3736:11;:18;3748:5;3736:18;;;;;;;;;;;;;;;:27;3755:7;3736:27;;;;;;;;;;;;;;;;3729:34;;3637:134;;;;:::o;7300:133::-;7356:6;7005:25;7011:10;7023:6;7005:5;:25::i;:::-;7387:10;7377:40;;;7418:6;7377:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7377:48:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;7377:48:0;;;;7084:25;7090:10;7102:6;7084:5;:25::i;:::-;7217:13;:11;:13::i;:::-;7192:21;:38;;7170:112;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7300:133;;:::o;1117:181::-;1175:7;1195:9;1211:1;1207;:5;1195:17;;1236:1;1231;:6;;1223:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1289:1;1282:8;;;1117:181;;;;:::o;5722:335::-;5832:1;5815:19;;:5;:19;;;;5807:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5913:1;5894:21;;:7;:21;;;;5886:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5997:5;5967:11;:18;5979:5;5967:18;;;;;;;;;;;;;;;:27;5986:7;5967:27;;;;;;;;;;;;;;;:35;;;;6034:7;6018:31;;6027:5;6018:31;;;6043:5;6018:31;;;;;;;;;;;;;;;;;;5722:335;;;:::o;4649:429::-;4765:1;4747:20;;:6;:20;;;;4739:70;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4849:1;4828:23;;:9;:23;;;;4820:71;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4924:29;4946:6;4924:9;:17;4934:6;4924:17;;;;;;;;;;;;;;;;:21;;:29;;;;:::i;:::-;4904:9;:17;4914:6;4904:17;;;;;;;;;;;;;;;:49;;;;4987:32;5012:6;4987:9;:20;4997:9;4987:20;;;;;;;;;;;;;;;;:24;;:32;;;;:::i;:::-;4964:9;:20;4974:9;4964:20;;;;;;;;;;;;;;;:55;;;;5052:9;5035:35;;5044:6;5035:35;;;5063:6;5035:35;;;;;;;;;;;;;;;;;;4649:429;;;:::o;1308:184::-;1366:7;1399:1;1394;:6;;1386:49;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1446:9;1462:1;1458;:5;1446:17;;1483:1;1476:8;;;1308:184;;;;:::o;5406:306::-;5500:1;5481:21;;:7;:21;;;;5473:67;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5568:23;5585:5;5568:12;;:16;;:23;;;;:::i;:::-;5553:12;:38;;;;5623:29;5646:5;5623:9;:18;5633:7;5623:18;;;;;;;;;;;;;;;;:22;;:29;;;;:::i;:::-;5602:9;:18;5612:7;5602:18;;;;;;;;;;;;;;;:50;;;;5694:1;5668:36;;5677:7;5668:36;;;5698:5;5668:36;;;;;;;;;;;;;;;;;;5406:306;;:::o

bzzr://f1732604facf996cbbed99682b885c8f12d71d0655fc7c75d2d268cc908860fd