Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library SafeMathInt
•    - function mul(int256 a, int256 b)
•    - function div(int256 a, int256 b)
•    - function sub(int256 a, int256 b)
•    - function add(int256 a, int256 b)
•    - function abs(int256 a)
• 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 Context
•    - function _msgSender()
•  contract ERC20_BASED is Context, I ...
•    - 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 _approve(address owner, addr ...
•  contract ERC20Detailed is IERC20
•    - function name()
•    - function symbol()
•    - function decimals()
• library SafeMath
•    - function add(uint a, uint b)
•    - function sub(uint a, uint b)
•    - function sub(uint a, uint b, string m ...
•    - function mul(uint a, uint b)
•    - function div(uint a, uint b)
•    - function div(uint a, uint b, string m ...
•  contract FRT is ERC20_BASED, ERC20 ... *
•    - function setGovernance(address _gover ...
•    - function setMonetaryPolicy(address mo ...
•    - function rebase(uint epoch, int256 su ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2020-11-20
*/

pragma solidity ^0.5.16;

library SafeMathInt {
    int256 private constant MIN_INT256 = int256(1) << 255;
    int256 private constant MAX_INT256 = ~(int256(1) << 255);

    /**
     * @dev Multiplies two int256 variables and fails on overflow.
     */
    function mul(int256 a, int256 b)
        internal
        pure
        returns (int256)
    {
        int256 c = a * b;

        // Detect overflow when multiplying MIN_INT256 with -1
        require(c != MIN_INT256 || (a & MIN_INT256) != (b & MIN_INT256));
        require((b == 0) || (c / b == a));
        return c;
    }

    /**
     * @dev Division of two int256 variables and fails on overflow.
     */
    function div(int256 a, int256 b)
        internal
        pure
        returns (int256)
    {
        // Prevent overflow when dividing MIN_INT256 by -1
        require(b != -1 || a != MIN_INT256);

        // Solidity already throws when dividing by 0.
        return a / b;
    }

    /**
     * @dev Subtracts two int256 variables and fails on overflow.
     */
    function sub(int256 a, int256 b)
        internal
        pure
        returns (int256)
    {
        int256 c = a - b;
        require((b >= 0 && c <= a) || (b < 0 && c > a));
        return c;
    }

    /**
     * @dev Adds two int256 variables and fails on overflow.
     */
    function add(int256 a, int256 b)
        internal
        pure
        returns (int256)
    {
        int256 c = a + b;
        require((b >= 0 && c >= a) || (b < 0 && c < a));
        return c;
    }

    /**
     * @dev Converts to absolute value, and fails on overflow.
     */
    function abs(int256 a)
        internal
        pure
        returns (int256)
    {
        require(a != MIN_INT256);
        return a < 0 ? -a : a;
    }
}

interface IERC20 {
    function totalSupply() external view returns (uint);
    function balanceOf(address account) external view returns (uint);
    function transfer(address recipient, uint amount) external returns (bool);
    function allowance(address owner, address spender) external view returns (uint);
    function approve(address spender, uint amount) external returns (bool);
    function transferFrom(address sender, address recipient, uint amount) external returns (bool);
    event Transfer(address indexed from, address indexed to, uint value);
    event Approval(address indexed owner, address indexed spender, uint value);
}

contract Context {
    constructor () internal { }
    // solhint-disable-previous-line no-empty-blocks

    function _msgSender() internal view returns (address payable) {
        return msg.sender;
    }
}

contract ERC20_BASED is Context, IERC20 {
    using SafeMath for uint;

    uint internal _gonsPerFragment;

    mapping(address => uint) internal _gonBalances;

    mapping (address => mapping (address => uint)) internal _allowedFragments;

    uint internal _totalSupply;
    function totalSupply() public view returns (uint) {
        return _totalSupply;
    }
    function balanceOf(address account) public view returns (uint) {
        return _gonBalances[account].div(_gonsPerFragment);
    }
    function transfer(address recipient, uint amount) public returns (bool) {
        _transfer(_msgSender(), recipient, amount);
        return true;
    }
    function allowance(address owner, address spender) public view returns (uint) {
        return _allowedFragments[owner][spender];
    }
    function approve(address spender, uint amount) public returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }
    function transferFrom(address sender, address recipient, uint amount) public returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, _msgSender(), _allowedFragments[sender][_msgSender()].sub(amount, "ERC20: transfer amount exceeds allowance"));
        return true;
    }
    function increaseAllowance(address spender, uint addedValue) public returns (bool) {
        _approve(_msgSender(), spender, _allowedFragments[_msgSender()][spender].add(addedValue));
        return true;
    }
    function decreaseAllowance(address spender, uint subtractedValue) public returns (bool) {
        _approve(_msgSender(), spender, _allowedFragments[_msgSender()][spender].sub(subtractedValue, "ERC20: decreased allowance below zero"));
        return true;
    }
    function _transfer(address sender, address recipient, uint amount) internal {
        require(sender != address(0), "ERC20: transfer from the zero address");
        require(recipient != address(0), "ERC20: transfer to the zero address");

        uint gonValue = amount.mul(_gonsPerFragment);
        _gonBalances[sender] = _gonBalances[sender].sub(gonValue, "ERC20: transfer amount exceeds balance");
        _gonBalances[recipient] = _gonBalances[recipient].add(gonValue);

        emit Transfer(sender, recipient, amount);
    }
    function _approve(address owner, address spender, uint amount) internal {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");

        _allowedFragments[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }
}

contract ERC20Detailed is IERC20 {
    string private _name;
    string private _symbol;
    uint8 private _decimals;

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

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

        return c;
    }
    function sub(uint a, uint b) internal pure returns (uint) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }
    function sub(uint a, uint b, string memory errorMessage) internal pure returns (uint) {
        require(b <= a, errorMessage);
        uint c = a - b;

        return c;
    }
    function mul(uint a, uint b) internal pure returns (uint) {
        if (a == 0) {
            return 0;
        }

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

        return c;
    }
    function div(uint a, uint b) internal pure returns (uint) {
        return div(a, b, "SafeMath: division by zero");
    }
    function div(uint a, uint b, string memory errorMessage) internal pure returns (uint) {
        // Solidity only automatically asserts when dividing by 0
        require(b > 0, errorMessage);
        uint c = a / b;

        return c;
    }
}

contract FRT is ERC20_BASED, ERC20Detailed {
    using SafeMath for uint;
    using SafeMathInt for int256;

    address public governance;

    constructor () public ERC20Detailed("FRT - TLT.Finance", "FRT", uint8(DECIMALS)) {
        governance = msg.sender;

        _totalSupply = INITIAL_FRAGMENTS_SUPPLY;
        _gonBalances[msg.sender] = TOTAL_GONS;
        _gonsPerFragment = TOTAL_GONS.div(_totalSupply);
        
        emit Transfer(address(0x0), msg.sender, _totalSupply);
    }

    function setGovernance(address _governance) public {
        require(msg.sender == governance, "!governance");
        governance = _governance;
    }

    //=====================================================================

    uint private constant DECIMALS = 18;
    uint private constant MAX_UINT256 = ~uint(0);
    uint private constant INITIAL_FRAGMENTS_SUPPLY = 100000 * uint(10)**DECIMALS;
    uint private constant TOTAL_GONS = MAX_UINT256 - (MAX_UINT256 % INITIAL_FRAGMENTS_SUPPLY);
    uint private constant MAX_SUPPLY = ~uint128(0);  // (2^128) - 1

    event LogRebase(uint indexed epoch, uint totalSupply);
    event LogMonetaryPolicyUpdated(address monetaryPolicy);

    address public monetaryPolicy;
    
    function setMonetaryPolicy(address monetaryPolicy_) external
    {
        require(msg.sender == governance, "!governance");
        monetaryPolicy = monetaryPolicy_;
        emit LogMonetaryPolicyUpdated(monetaryPolicy_);
    }

    function rebase(uint epoch, int256 supplyDelta) external returns (uint)
    {
        require(msg.sender == monetaryPolicy, "!monetaryPolicy");

        if (supplyDelta == 0) {
            emit LogRebase(epoch, _totalSupply);
            return _totalSupply;
        }

        if (supplyDelta < 0) {
            _totalSupply = _totalSupply.sub(uint(supplyDelta.abs()));
        } else {
            _totalSupply = _totalSupply.add(uint(supplyDelta));
        }

        if (_totalSupply > MAX_SUPPLY) {
            _totalSupply = MAX_SUPPLY;
        }

        _gonsPerFragment = TOTAL_GONS.div(_totalSupply);

        // From this point forward, _gonsPerFragment is taken as the source of truth.
        // We recalculate a new _totalSupply to be in agreement with the _gonsPerFragment
        // conversion rate.
        // This means our applied supplyDelta can deviate from the requested supplyDelta,
        // but this deviation is guaranteed to be < (_totalSupply^2)/(TOTAL_GONS - _totalSupply).
        //
        // In the case of _totalSupply <= MAX_UINT128 (our current supply cap), this
        // deviation is guaranteed to be < 1, so we can omit this step. If the supply cap is
        // ever increased, it must be re-included.
        // _totalSupply = TOTAL_GONS.div(_gonsPerFragment)

        emit LogRebase(epoch, _totalSupply);
        return _totalSupply;
    }

    //=====================================================================
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"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":false,"internalType":"address","name":"monetaryPolicy","type":"address"}],"name":"LogMonetaryPolicyUpdated","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"internalType":"uint256","name":"epoch","type":"uint256"},{"indexed":false,"internalType":"uint256","name":"totalSupply","type":"uint256"}],"name":"LogRebase","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"},{"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":"amount","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":true,"inputs":[],"name":"governance","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","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":"monetaryPolicy","outputs":[{"internalType":"address","name":"","type":"address"}],"payable":false,"stateMutability":"view","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":"epoch","type":"uint256"},{"internalType":"int256","name":"supplyDelta","type":"int256"}],"name":"rebase","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"_governance","type":"address"}],"name":"setGovernance","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"internalType":"address","name":"monetaryPolicy_","type":"address"}],"name":"setMonetaryPolicy","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"}]

60806040523480156200001157600080fd5b506040518060400160405280601181526020017f465254202d20544c542e46696e616e63650000000000000000000000000000008152506040518060400160405280600381526020017f4652540000000000000000000000000000000000000000000000000000000000815250601282600490805190602001906200009892919062000344565b508160059080519060200190620000b192919062000344565b5080600660006101000a81548160ff021916908360ff16021790555050505033600660016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506012600a0a620186a0026003819055506012600a0a620186a002600019816200013657fe5b0660001903600160003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550620001b36003546012600a0a620186a002600019816200019a57fe5b06600019036200022760201b6200166b1790919060201c565b6000819055503373ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef6003546040518082815260200191505060405180910390a3620003f3565b60006200027183836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506200027960201b60201c565b905092915050565b6000808311829062000329576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015620002ed578082015181840152602081019050620002d0565b50505050905090810190601f1680156200031b5780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385816200033657fe5b049050809150509392505050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200038757805160ff1916838001178555620003b8565b82800160010185558215620003b8579182015b82811115620003b75782518255916020019190600101906200039a565b5b509050620003c79190620003cb565b5090565b620003f091905b80821115620003ec576000816000905550600101620003d2565b5090565b90565b6119d080620004036000396000f3fe608060405234801561001057600080fd5b50600436106101005760003560e01c80637a43e23f11610097578063a457c2d711610066578063a457c2d71461051b578063a9059cbb14610581578063ab033ea9146105e7578063dd62ed3e1461062b57610100565b80637a43e23f146103be5780638b5a6a081461040a5780638e27d7d71461044e57806395d89b411461049857610100565b8063313ce567116100d3578063313ce5671461029257806339509351146102b65780635aa6e6751461031c57806370a082311461036657610100565b806306fdde0314610105578063095ea7b31461018857806318160ddd146101ee57806323b872dd1461020c575b600080fd5b61010d6106a3565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561014d578082015181840152602081019050610132565b50505050905090810190601f16801561017a5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101d46004803603604081101561019e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610745565b604051808215151515815260200191505060405180910390f35b6101f6610763565b6040518082815260200191505060405180910390f35b6102786004803603606081101561022257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061076d565b604051808215151515815260200191505060405180910390f35b61029a610846565b604051808260ff1660ff16815260200191505060405180910390f35b610302600480360360408110156102cc57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061085d565b604051808215151515815260200191505060405180910390f35b610324610910565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6103a86004803603602081101561037c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610936565b6040518082815260200191505060405180910390f35b6103f4600480360360408110156103d457600080fd5b810190808035906020019092919080359060200190929190505050610993565b6040518082815260200191505060405180910390f35b61044c6004803603602081101561042057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610ba5565b005b610456610d0f565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6104a0610d35565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156104e05780820151818401526020810190506104c5565b50505050905090810190601f16801561050d5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6105676004803603604081101561053157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610dd7565b604051808215151515815260200191505060405180910390f35b6105cd6004803603604081101561059757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610ea4565b604051808215151515815260200191505060405180910390f35b610629600480360360208110156105fd57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610ec2565b005b61068d6004803603604081101561064157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610fc9565b6040518082815260200191505060405180910390f35b606060048054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561073b5780601f106107105761010080835404028352916020019161073b565b820191906000526020600020905b81548152906001019060200180831161071e57829003601f168201915b5050505050905090565b6000610759610752611050565b8484611058565b6001905092915050565b6000600354905090565b600061077a84848461124f565b61083b84610786611050565b6108368560405180606001604052806028815260200161190660289139600260008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006107ec611050565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546115239092919063ffffffff16565b611058565b600190509392505050565b6000600660009054906101000a900460ff16905090565b600061090661086a611050565b84610901856002600061087b611050565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546115e390919063ffffffff16565b611058565b6001905092915050565b600660019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600061098c600054600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461166b90919063ffffffff16565b9050919050565b6000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610a58576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f216d6f6e6574617279506f6c696379000000000000000000000000000000000081525060200191505060405180910390fd5b6000821415610aa557827f72725a3b1e5bd622d6bcd1339bb31279c351abe8f541ac7fd320f24e1b1641f26003546040518082815260200191505060405180910390a26003549050610b9f565b6000821215610ad657610acb610aba836116b5565b6003546116e390919063ffffffff16565b600381905550610af2565b610aeb826003546115e390919063ffffffff16565b6003819055505b6000196fffffffffffffffffffffffffffffffff166003541115610b2c576000196fffffffffffffffffffffffffffffffff166003819055505b610b596003546012600a0a620186a00260001981610b4657fe5b066000190361166b90919063ffffffff16565b600081905550827f72725a3b1e5bd622d6bcd1339bb31279c351abe8f541ac7fd320f24e1b1641f26003546040518082815260200191505060405180910390a260035490505b92915050565b600660019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610c68576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600b8152602001807f21676f7665726e616e636500000000000000000000000000000000000000000081525060200191505060405180910390fd5b80600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507f0e6961f1a1afb87eaf51fd64f22ddc10062e23aa7838eac5d0bdf140bfd3897281604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a150565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b606060058054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610dcd5780601f10610da257610100808354040283529160200191610dcd565b820191906000526020600020905b815481529060010190602001808311610db057829003601f168201915b5050505050905090565b6000610e9a610de4611050565b84610e95856040518060600160405280602581526020016119776025913960026000610e0e611050565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546115239092919063ffffffff16565b611058565b6001905092915050565b6000610eb8610eb1611050565b848461124f565b6001905092915050565b600660019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610f85576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600b8152602001807f21676f7665726e616e636500000000000000000000000000000000000000000081525060200191505060405180910390fd5b80600660016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156110de576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260248152602001806119536024913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611164576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602281526020018061189d6022913960400191505060405180910390fd5b80600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156112d5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602581526020018061192e6025913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561135b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602381526020018061187a6023913960400191505060405180910390fd5b60006113726000548361172d90919063ffffffff16565b90506113e0816040518060600160405280602681526020016118bf60269139600160008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546115239092919063ffffffff16565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061147581600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546115e390919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a350505050565b60008383111582906115d0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b8381101561159557808201518184015260208101905061157a565b50505050905090810190601f1680156115c25780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b600080828401905083811015611661576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b60006116ad83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506117b3565b905092915050565b600060ff6001901b8214156116c957600080fd5b600082126116d757816116dc565b816000035b9050919050565b600061172583836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611523565b905092915050565b60008083141561174057600090506117ad565b600082840290508284828161175157fe5b04146117a8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260218152602001806118e56021913960400191505060405180910390fd5b809150505b92915050565b6000808311829061185f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015611824578082015181840152602081019050611809565b50505050905090810190601f1680156118515780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b50600083858161186b57fe5b04905080915050939250505056fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f206164647265737345524332303a207472616e7366657220616d6f756e7420657863656564732062616c616e6365536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f7745524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e636545524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f206164647265737345524332303a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726fa265627a7a72315820dd6cfc0ff045470b850b70001cac022c7b7937328ee0ac83bbd0c4ac1d54aa4364736f6c63430005100032

0x608060405234801561001057600080fd5b50600436106101005760003560e01c80637a43e23f11610097578063a457c2d711610066578063a457c2d71461051b578063a9059cbb14610581578063ab033ea9146105e7578063dd62ed3e1461062b57610100565b80637a43e23f146103be5780638b5a6a081461040a5780638e27d7d71461044e57806395d89b411461049857610100565b8063313ce567116100d3578063313ce5671461029257806339509351146102b65780635aa6e6751461031c57806370a082311461036657610100565b806306fdde0314610105578063095ea7b31461018857806318160ddd146101ee57806323b872dd1461020c575b600080fd5b61010d6106a3565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561014d578082015181840152602081019050610132565b50505050905090810190601f16801561017a5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101d46004803603604081101561019e57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610745565b604051808215151515815260200191505060405180910390f35b6101f6610763565b6040518082815260200191505060405180910390f35b6102786004803603606081101561022257600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061076d565b604051808215151515815260200191505060405180910390f35b61029a610846565b604051808260ff1660ff16815260200191505060405180910390f35b610302600480360360408110156102cc57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061085d565b604051808215151515815260200191505060405180910390f35b610324610910565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6103a86004803603602081101561037c57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610936565b6040518082815260200191505060405180910390f35b6103f4600480360360408110156103d457600080fd5b810190808035906020019092919080359060200190929190505050610993565b6040518082815260200191505060405180910390f35b61044c6004803603602081101561042057600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610ba5565b005b610456610d0f565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b6104a0610d35565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156104e05780820151818401526020810190506104c5565b50505050905090810190601f16801561050d5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6105676004803603604081101561053157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610dd7565b604051808215151515815260200191505060405180910390f35b6105cd6004803603604081101561059757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610ea4565b604051808215151515815260200191505060405180910390f35b610629600480360360208110156105fd57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610ec2565b005b61068d6004803603604081101561064157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050610fc9565b6040518082815260200191505060405180910390f35b606060048054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561073b5780601f106107105761010080835404028352916020019161073b565b820191906000526020600020905b81548152906001019060200180831161071e57829003601f168201915b5050505050905090565b6000610759610752611050565b8484611058565b6001905092915050565b6000600354905090565b600061077a84848461124f565b61083b84610786611050565b6108368560405180606001604052806028815260200161190660289139600260008b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006107ec611050565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546115239092919063ffffffff16565b611058565b600190509392505050565b6000600660009054906101000a900460ff16905090565b600061090661086a611050565b84610901856002600061087b611050565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546115e390919063ffffffff16565b611058565b6001905092915050565b600660019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600061098c600054600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205461166b90919063ffffffff16565b9050919050565b6000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610a58576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600f8152602001807f216d6f6e6574617279506f6c696379000000000000000000000000000000000081525060200191505060405180910390fd5b6000821415610aa557827f72725a3b1e5bd622d6bcd1339bb31279c351abe8f541ac7fd320f24e1b1641f26003546040518082815260200191505060405180910390a26003549050610b9f565b6000821215610ad657610acb610aba836116b5565b6003546116e390919063ffffffff16565b600381905550610af2565b610aeb826003546115e390919063ffffffff16565b6003819055505b6000196fffffffffffffffffffffffffffffffff166003541115610b2c576000196fffffffffffffffffffffffffffffffff166003819055505b610b596003546012600a0a620186a00260001981610b4657fe5b066000190361166b90919063ffffffff16565b600081905550827f72725a3b1e5bd622d6bcd1339bb31279c351abe8f541ac7fd320f24e1b1641f26003546040518082815260200191505060405180910390a260035490505b92915050565b600660019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610c68576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600b8152602001807f21676f7665726e616e636500000000000000000000000000000000000000000081525060200191505060405180910390fd5b80600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055507f0e6961f1a1afb87eaf51fd64f22ddc10062e23aa7838eac5d0bdf140bfd3897281604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a150565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b606060058054600181600116156101000203166002900480601f016020809104026020016040519081016040528092919081815260200182805460018160011615610100020316600290048015610dcd5780601f10610da257610100808354040283529160200191610dcd565b820191906000526020600020905b815481529060010190602001808311610db057829003601f168201915b5050505050905090565b6000610e9a610de4611050565b84610e95856040518060600160405280602581526020016119776025913960026000610e0e611050565b73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008a73ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546115239092919063ffffffff16565b611058565b6001905092915050565b6000610eb8610eb1611050565b848461124f565b6001905092915050565b600660019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614610f85576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252600b8152602001807f21676f7665726e616e636500000000000000000000000000000000000000000081525060200191505060405180910390fd5b80600660016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000600260008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b600033905090565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156110de576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260248152602001806119536024913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415611164576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602281526020018061189d6022913960400191505060405180910390fd5b80600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040518082815260200191505060405180910390a3505050565b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614156112d5576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602581526020018061192e6025913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16141561135b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602381526020018061187a6023913960400191505060405180910390fd5b60006113726000548361172d90919063ffffffff16565b90506113e0816040518060600160405280602681526020016118bf60269139600160008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546115239092919063ffffffff16565b600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061147581600160008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546115e390919063ffffffff16565b600160008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a350505050565b60008383111582906115d0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b8381101561159557808201518184015260208101905061157a565b50505050905090810190601f1680156115c25780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b5060008385039050809150509392505050565b600080828401905083811015611661576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f536166654d6174683a206164646974696f6e206f766572666c6f77000000000081525060200191505060405180910390fd5b8091505092915050565b60006116ad83836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f0000000000008152506117b3565b905092915050565b600060ff6001901b8214156116c957600080fd5b600082126116d757816116dc565b816000035b9050919050565b600061172583836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611523565b905092915050565b60008083141561174057600090506117ad565b600082840290508284828161175157fe5b04146117a8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260218152602001806118e56021913960400191505060405180910390fd5b809150505b92915050565b6000808311829061185f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825283818151815260200191508051906020019080838360005b83811015611824578082015181840152602081019050611809565b50505050905090810190601f1680156118515780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b50600083858161186b57fe5b04905080915050939250505056fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a20617070726f766520746f20746865207a65726f206164647265737345524332303a207472616e7366657220616d6f756e7420657863656564732062616c616e6365536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f7745524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e636545524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f206164647265737345524332303a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726fa265627a7a72315820dd6cfc0ff045470b850b70001cac022c7b7937328ee0ac83bbd0c4ac1d54aa4364736f6c63430005100032

7106:3002:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7106:3002:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5690:83;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;5690:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3537:149;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3537:149:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;3001:88;;;:::i;:::-;;;;;;;;;;;;;;;;;;;3692:307;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3692:307:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5872:83;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;4005:213;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4005:213:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;7223:25;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;3095:132;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3095:132:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;8609:1417;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8609:1417:0;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;8368:233;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8368:233:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;8326:29;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5779:87;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;5779:87:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4224:264;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4224:264:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;3233:155;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3233:155:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;7620:153;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;7620:153:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;3394:137;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3394:137:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5690:83;5727:13;5760:5;5753:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5690:83;:::o;3537:149::-;3600:4;3617:39;3626:12;:10;:12::i;:::-;3640:7;3649:6;3617:8;:39::i;:::-;3674:4;3667:11;;3537:149;;;;:::o;3001:88::-;3045:4;3069:12;;3062:19;;3001:88;:::o;3692:307::-;3778:4;3795:36;3805:6;3813:9;3824:6;3795:9;:36::i;:::-;3842:127;3851:6;3859:12;:10;:12::i;:::-;3873:95;3917:6;3873:95;;;;;;;;;;;;;;;;;:17;:25;3891:6;3873:25;;;;;;;;;;;;;;;:39;3899:12;:10;:12::i;:::-;3873:39;;;;;;;;;;;;;;;;:43;;:95;;;;;:::i;:::-;3842:8;:127::i;:::-;3987:4;3980:11;;3692:307;;;;;:::o;5872:83::-;5913:5;5938:9;;;;;;;;;;;5931:16;;5872:83;:::o;4005:213::-;4082:4;4099:89;4108:12;:10;:12::i;:::-;4122:7;4131:56;4176:10;4131:17;:31;4149:12;:10;:12::i;:::-;4131:31;;;;;;;;;;;;;;;:40;4163:7;4131:40;;;;;;;;;;;;;;;;:44;;:56;;;;:::i;:::-;4099:8;:89::i;:::-;4206:4;4199:11;;4005:213;;;;:::o;7223:25::-;;;;;;;;;;;;;:::o;3095:132::-;3152:4;3176:43;3202:16;;3176:12;:21;3189:7;3176:21;;;;;;;;;;;;;;;;:25;;:43;;;;:::i;:::-;3169:50;;3095:132;;;:::o;8609:1417::-;8675:4;8719:14;;;;;;;;;;;8705:28;;:10;:28;;;8697:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8785:1;8770:11;:16;8766:118;;;8818:5;8808:30;8825:12;;8808:30;;;;;;;;;;;;;;;;;;8860:12;;8853:19;;;;8766:118;8914:1;8900:11;:15;8896:187;;;8947:41;8969:17;:11;:15;:17::i;:::-;8947:12;;:16;;:41;;;;:::i;:::-;8932:12;:56;;;;8896:187;;;9036:35;9058:11;9036:12;;:16;;:35;;;;:::i;:::-;9021:12;:50;;;;8896:187;8176:1;8167:11;9114:10;;9099:12;;:25;9095:83;;;8176:1;8167:11;9156:10;;9141:12;:25;;;;9095:83;9209:28;9224:12;;7893:2;8016;8011:18;8002:6;:27;7944:1;7938:8;8086:38;;;;;;7944:1;7938:8;8071:54;9209:14;;:28;;;;:::i;:::-;9190:16;:47;;;;9968:5;9958:30;9975:12;;9958:30;;;;;;;;;;;;;;;;;;10006:12;;9999:19;;8609:1417;;;;;:::o;8368:233::-;8467:10;;;;;;;;;;;8453:24;;:10;:24;;;8445:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8521:15;8504:14;;:32;;;;;;;;;;;;;;;;;;8552:41;8577:15;8552:41;;;;;;;;;;;;;;;;;;;;;;8368:233;:::o;8326:29::-;;;;;;;;;;;;;:::o;5779:87::-;5818:13;5851:7;5844:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5779:87;:::o;4224:264::-;4306:4;4323:135;4332:12;:10;:12::i;:::-;4346:7;4355:102;4400:15;4355:102;;;;;;;;;;;;;;;;;:17;:31;4373:12;:10;:12::i;:::-;4355:31;;;;;;;;;;;;;;;:40;4387:7;4355:40;;;;;;;;;;;;;;;;:44;;:102;;;;;:::i;:::-;4323:8;:135::i;:::-;4476:4;4469:11;;4224:264;;;;:::o;3233:155::-;3299:4;3316:42;3326:12;:10;:12::i;:::-;3340:9;3351:6;3316:9;:42::i;:::-;3376:4;3369:11;;3233:155;;;;:::o;7620:153::-;7704:10;;;;;;;;;;;7690:24;;:10;:24;;;7682:48;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7754:11;7741:10;;:24;;;;;;;;;;;;;;;;;;7620:153;:::o;3394:137::-;3466:4;3490:17;:24;3508:5;3490:24;;;;;;;;;;;;;;;:33;3515:7;3490:33;;;;;;;;;;;;;;;;3483:40;;3394:137;;;;:::o;2608:98::-;2653:15;2688:10;2681:17;;2608:98;:::o;5041:341::-;5149:1;5132:19;;:5;:19;;;;5124:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5230:1;5211:21;;:7;:21;;;;5203:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5320:6;5284:17;:24;5302:5;5284:24;;;;;;;;;;;;;;;:33;5309:7;5284:33;;;;;;;;;;;;;;;:42;;;;5358:7;5342:32;;5351:5;5342:32;;;5367:6;5342:32;;;;;;;;;;;;;;;;;;5041:341;;;:::o;4494:541::-;4607:1;4589:20;;:6;:20;;;;4581:70;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4691:1;4670:23;;:9;:23;;;;4662:71;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4746:13;4762:28;4773:16;;4762:6;:10;;:28;;;;:::i;:::-;4746:44;;4824:76;4849:8;4824:76;;;;;;;;;;;;;;;;;:12;:20;4837:6;4824:20;;;;;;;;;;;;;;;;:24;;:76;;;;;:::i;:::-;4801:12;:20;4814:6;4801:20;;;;;;;;;;;;;;;:99;;;;4937:37;4965:8;4937:12;:23;4950:9;4937:23;;;;;;;;;;;;;;;;:27;;:37;;;;:::i;:::-;4911:12;:23;4924:9;4911:23;;;;;;;;;;;;;;;:63;;;;5009:9;4992:35;;5001:6;4992:35;;;5020:6;4992:35;;;;;;;;;;;;;;;;;;4494:541;;;;:::o;6294:180::-;6374:4;6404:1;6399;:6;;6407:12;6391:29;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;6391:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6431:6;6444:1;6440;:5;6431:14;;6465:1;6458:8;;;6294:180;;;;;:::o;5986:169::-;6038:4;6055:6;6068:1;6064;:5;6055:14;;6093:1;6088;:6;;6080:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6146:1;6139:8;;;5986:169;;;;:::o;6724:123::-;6776:4;6800:39;6804:1;6807;6800:39;;;;;;;;;;;;;;;;;:3;:39::i;:::-;6793:46;;6724:123;;;;:::o;1674:161::-;1747:6;105:3;99:1;92:16;;1779:1;:15;;1771:24;;;;;;1817:1;1813;:5;:14;;1826:1;1813:14;;;1822:1;1821:2;;1813:14;1806:21;;1674:161;;;:::o;6161:127::-;6213:4;6237:43;6241:1;6244;6237:43;;;;;;;;;;;;;;;;;:3;:43::i;:::-;6230:50;;6161:127;;;;:::o;6480:238::-;6532:4;6558:1;6553;:6;6549:47;;;6583:1;6576:8;;;;6549:47;6608:6;6621:1;6617;:5;6608:14;;6650:1;6645;6641;:5;;;;;;:10;6633:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6709:1;6702:8;;;6480:238;;;;;:::o;6853:246::-;6933:4;7029:1;7025;:5;7032:12;7017:28;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;7017:28:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7056:6;7069:1;7065;:5;;;;;;7056:14;;7090:1;7083:8;;;6853:246;;;;;:::o

bzzr://dd6cfc0ff045470b850b70001cac022c7b7937328ee0ac83bbd0c4ac1d54aa43