Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address account)
•    - function transfer(address recipient, ...
•    - function allowance(address owner, add ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address sender, ...
•  contract Context
•    - function _msgSender()
•    - function _msgData()
•  contract Ownable is Context
•    - function owner()
•    - function isOwner()
•    - function renounceOwnership()
•    - function transferOwnership(address ne ...
•    - function _transferOwnership(address n ...
•  contract ERC20 is Context, 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 ERC20Detailed is IERC20
•    - function name()
•    - function symbol()
•    - function decimals()
• library SafeMath
•    - function add(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b, st ...
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b, st ...
•    - function mod(uint256 a, uint256 b)
•    - function mod(uint256 a, uint256 b, st ...
• library Address
•    - function isContract(address account)
•    - function toPayable(address account)
•    - function sendValue(address payable re ...
• library SafeERC20
•    - function safeTransfer(IERC20 token, a ...
•    - function safeTransferFrom(IERC20 toke ...
•    - function safeApprove(IERC20 token, ad ...
•    - function safeIncreaseAllowance(IERC20 ...
•    - function safeDecreaseAllowance(IERC20 ...
•    - function callOptionalReturn(IERC20 to ...
• interface Controller
•    - function withdraw(address, uint)
•    - function balanceOf(address)
•    - function earn(address, uint)
•  contract afiVault is ERC20, ERC20D ... *
•    - function balance()
•    - function setMin(uint _min)
•    - function setGovernance(address _gover ...
•    - function setController(address _contr ...
•    - function available()
•    - function earn()
•    - function deposit(uint _amount)
•    - function withdraw(uint _shares)
•    - function getPricePerFullShare()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

/**
 *Submitted for verification at Etherscan.io on 2020-07-26
*/

pragma solidity ^0.5.16;

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

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

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

    function _msgData() internal view returns (bytes memory) {
        this; // silence state mutability warning without generating bytecode - see https://github.com/ethereum/solidity/issues/2691
        return msg.data;
    }
}

contract Ownable is Context {
    address private _owner;

    event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);
    constructor () internal {
        _owner = _msgSender();
        emit OwnershipTransferred(address(0), _owner);
    }
    function owner() public view returns (address) {
        return _owner;
    }
    modifier onlyOwner() {
        require(isOwner(), "Ownable: caller is not the owner");
        _;
    }
    function isOwner() public view returns (bool) {
        return _msgSender() == _owner;
    }
    function renounceOwnership() public onlyOwner {
        emit OwnershipTransferred(_owner, address(0));
        _owner = address(0);
    }
    function transferOwnership(address newOwner) public onlyOwner {
        _transferOwnership(newOwner);
    }
    function _transferOwnership(address newOwner) internal {
        require(newOwner != address(0), "Ownable: new owner is the zero address");
        emit OwnershipTransferred(_owner, newOwner);
        _owner = newOwner;
    }
}

contract ERC20 is Context, 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(_msgSender(), recipient, amount);
        return true;
    }
    function allowance(address owner, address spender) public view returns (uint256) {
        return _allowances[owner][spender];
    }
    function approve(address spender, uint256 amount) public returns (bool) {
        _approve(_msgSender(), spender, amount);
        return true;
    }
    function transferFrom(address sender, address recipient, uint256 amount) public returns (bool) {
        _transfer(sender, recipient, amount);
        _approve(sender, _msgSender(), _allowances[sender][_msgSender()].sub(amount, "ERC20: transfer amount exceeds allowance"));
        return true;
    }
    function increaseAllowance(address spender, uint256 addedValue) public returns (bool) {
        _approve(_msgSender(), spender, _allowances[_msgSender()][spender].add(addedValue));
        return true;
    }
    function decreaseAllowance(address spender, uint256 subtractedValue) public returns (bool) {
        _approve(_msgSender(), spender, _allowances[_msgSender()][spender].sub(subtractedValue, "ERC20: decreased allowance below zero"));
        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, "ERC20: transfer amount exceeds balance");
        _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 amount) internal {
        require(account != address(0), "ERC20: burn from the zero address");

        _balances[account] = _balances[account].sub(amount, "ERC20: burn amount exceeds balance");
        _totalSupply = _totalSupply.sub(amount);
        emit Transfer(account, address(0), amount);
    }
    function _approve(address owner, address spender, uint256 amount) internal {
        require(owner != address(0), "ERC20: approve from the zero address");
        require(spender != address(0), "ERC20: approve to the zero address");

        _allowances[owner][spender] = amount;
        emit Approval(owner, spender, amount);
    }
    function _burnFrom(address account, uint256 amount) internal {
        _burn(account, amount);
        _approve(account, _msgSender(), _allowances[account][_msgSender()].sub(amount, "ERC20: burn amount exceeds allowance"));
    }
}

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(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) {
        return sub(a, b, "SafeMath: subtraction overflow");
    }
    function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        require(b <= a, errorMessage);
        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) {
        return div(a, b, "SafeMath: division by zero");
    }
    function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
        // Solidity only automatically asserts when dividing by 0
        require(b > 0, errorMessage);
        uint256 c = a / b;

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

library Address {
    function isContract(address account) internal view returns (bool) {
        bytes32 codehash;
        bytes32 accountHash = 0xc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470;
        // solhint-disable-next-line no-inline-assembly
        assembly { codehash := extcodehash(account) }
        return (codehash != 0x0 && codehash != accountHash);
    }
    function toPayable(address account) internal pure returns (address payable) {
        return address(uint160(account));
    }
    function sendValue(address payable recipient, uint256 amount) internal {
        require(address(this).balance >= amount, "Address: insufficient balance");

        // solhint-disable-next-line avoid-call-value
        (bool success, ) = recipient.call.value(amount)("");
        require(success, "Address: unable to send value, recipient may have reverted");
    }
}

library SafeERC20 {
    using SafeMath for uint256;
    using Address for address;

    function safeTransfer(IERC20 token, address to, uint256 value) internal {
        callOptionalReturn(token, abi.encodeWithSelector(token.transfer.selector, to, value));
    }

    function safeTransferFrom(IERC20 token, address from, address to, uint256 value) internal {
        callOptionalReturn(token, abi.encodeWithSelector(token.transferFrom.selector, from, to, value));
    }

    function safeApprove(IERC20 token, address spender, uint256 value) internal {
        require((value == 0) || (token.allowance(address(this), spender) == 0),
            "SafeERC20: approve from non-zero to non-zero allowance"
        );
        callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, value));
    }

    function safeIncreaseAllowance(IERC20 token, address spender, uint256 value) internal {
        uint256 newAllowance = token.allowance(address(this), spender).add(value);
        callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, newAllowance));
    }

    function safeDecreaseAllowance(IERC20 token, address spender, uint256 value) internal {
        uint256 newAllowance = token.allowance(address(this), spender).sub(value, "SafeERC20: decreased allowance below zero");
        callOptionalReturn(token, abi.encodeWithSelector(token.approve.selector, spender, newAllowance));
    }
    function callOptionalReturn(IERC20 token, bytes memory data) private {
        require(address(token).isContract(), "SafeERC20: call to non-contract");

        // solhint-disable-next-line avoid-low-level-calls
        (bool success, bytes memory returndata) = address(token).call(data);
        require(success, "SafeERC20: low-level call failed");

        if (returndata.length > 0) { // Return data is optional
            // solhint-disable-next-line max-line-length
            require(abi.decode(returndata, (bool)), "SafeERC20: ERC20 operation did not succeed");
        }
    }
}

interface Controller {
    function withdraw(address, uint) external;
    function balanceOf(address) external view returns (uint);
    function earn(address, uint) external;
}

contract afiVault is ERC20, ERC20Detailed {
  using SafeERC20 for IERC20;
  using Address for address;
  using SafeMath for uint256;

  IERC20 public token;
  
  uint public min = 9500;
  uint public constant max = 10000;
  
  address public governance;
  address public controller;

  constructor (address _token, address _controller) public ERC20Detailed(
      string(abi.encodePacked("afi ", ERC20Detailed(_token).name())),
      string(abi.encodePacked("afi", ERC20Detailed(_token).symbol())),
      ERC20Detailed(_token).decimals()
  ) {
      token = IERC20(_token);
      governance = msg.sender;
      controller = _controller;
  }
  
  function balance() public view returns (uint) {
      return token.balanceOf(address(this))
             .add(Controller(controller).balanceOf(address(token)));
  }
  
  function setMin(uint _min) external {
      require(msg.sender == governance, "!governance");
      min = _min;
  }
  
  function setGovernance(address _governance) public {
      require(msg.sender == governance, "!governance");
      governance = _governance;
  }
  
  function setController(address _controller) public {
      require(msg.sender == governance, "!governance");
      controller = _controller;
  }
  
  // Custom logic in here for how much the vault allows to be borrowed
  // Sets minimum required on-hand to keep small withdrawals cheap
  function available() public view returns (uint) {
      return token.balanceOf(address(this)).mul(min).div(max);
  }
  
  function earn() public {
      uint _bal = available();
      token.safeTransfer(controller, _bal);
      Controller(controller).earn(address(token), _bal);
  }

  function deposit(uint _amount) external {
      uint _pool = balance();
      token.safeTransferFrom(msg.sender, address(this), _amount);
      uint shares = 0;
      if (_pool == 0) {
        shares = _amount;
      } else {
        shares = (_amount.mul(totalSupply())).div(_pool);
      }
      _mint(msg.sender, shares);
  }

  // No rebalance implementation for lower fees and faster swaps
  function withdraw(uint _shares) external {
      uint r = (balance().mul(_shares)).div(totalSupply());
      _burn(msg.sender, _shares);

      // Check balance
      uint b = token.balanceOf(address(this));
      if (b < r) {
          uint _withdraw = r.sub(b);
          Controller(controller).withdraw(address(token), _withdraw);
          uint _after = token.balanceOf(address(this));
          uint _diff = _after.sub(b);
          if (_diff < _withdraw) {
              r = b.add(_diff);
          }
      }
      
      token.safeTransfer(msg.sender, r);
  }

  function getPricePerFullShare() public view returns (uint) {
    return balance().mul(1e18).div(totalSupply());
  }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"inputs":[{"internalType":"address","name":"_token","type":"address"},{"internalType":"address","name":"_controller","type":"address"}],"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":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":[],"name":"available","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"balance","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","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":"controller","outputs":[{"internalType":"address","name":"","type":"address"}],"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":[{"internalType":"uint256","name":"_amount","type":"uint256"}],"name":"deposit","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"earn","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"getPricePerFullShare","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","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":"max","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"min","outputs":[{"internalType":"uint256","name":"","type":"uint256"}],"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":"address","name":"_controller","type":"address"}],"name":"setController","outputs":[],"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":"uint256","name":"_min","type":"uint256"}],"name":"setMin","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":"token","outputs":[{"internalType":"contract IERC20","name":"","type":"address"}],"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":"_shares","type":"uint256"}],"name":"withdraw","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"}]

0x608060405234801561001057600080fd5b50600436106101735760003560e01c806377c7b8fc116100de578063b69ef8a811610097578063dd62ed3e11610071578063dd62ed3e14610446578063f77c479114610474578063f88979451461047c578063fc0c546a1461048457610173565b8063b69ef8a814610419578063b6b55f2514610421578063d389800f1461043e57610173565b806377c7b8fc1461036557806392eefe9b1461036d57806395d89b4114610393578063a457c2d71461039b578063a9059cbb146103c7578063ab033ea9146103f357610173565b8063395093511161013057806339509351146102c257806345dc3dd8146102ee57806348a0d7541461030b5780635aa6e675146103135780636ac5db191461033757806370a082311461033f57610173565b806306fdde0314610178578063095ea7b3146101f557806318160ddd1461023557806323b872dd1461024f5780632e1a7d4d14610285578063313ce567146102a4575b600080fd5b61018061048c565b6040805160208082528351818301528351919283929083019185019080838360005b838110156101ba5781810151838201526020016101a2565b50505050905090810190601f1680156101e75780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6102216004803603604081101561020b57600080fd5b506001600160a01b038135169060200135610522565b604080519115158252519081900360200190f35b61023d610540565b60408051918252519081900360200190f35b6102216004803603606081101561026557600080fd5b506001600160a01b03813581169160208101359091169060400135610546565b6102a26004803603602081101561029b57600080fd5b50356105d3565b005b6102ac6107f2565b6040805160ff9092168252519081900360200190f35b610221600480360360408110156102d857600080fd5b506001600160a01b0381351690602001356107fb565b6102a26004803603602081101561030457600080fd5b503561084f565b61023d6108a1565b61031b610957565b604080516001600160a01b039092168252519081900360200190f35b61023d610966565b61023d6004803603602081101561035557600080fd5b50356001600160a01b031661096c565b61023d610987565b6102a26004803603602081101561038357600080fd5b50356001600160a01b03166109a8565b610180610a17565b610221600480360360408110156103b157600080fd5b506001600160a01b038135169060200135610a78565b610221600480360360408110156103dd57600080fd5b506001600160a01b038135169060200135610ae6565b6102a26004803603602081101561040957600080fd5b50356001600160a01b0316610afa565b61023d610b69565b6102a26004803603602081101561043757600080fd5b5035610c75565b6102a2610cd6565b61023d6004803603604081101561045c57600080fd5b506001600160a01b0381358116916020013516610d83565b61031b610dae565b61023d610dbd565b61031b610dc3565b60038054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156105185780601f106104ed57610100808354040283529160200191610518565b820191906000526020600020905b8154815290600101906020018083116104fb57829003601f168201915b5050505050905090565b600061053661052f610dd7565b8484610ddb565b5060015b92915050565b60025490565b6000610553848484610ec7565b6105c98461055f610dd7565b6105c48560405180606001604052806028815260200161179e602891396001600160a01b038a1660009081526001602052604081209061059d610dd7565b6001600160a01b03168152602081019190915260400160002054919063ffffffff61102316565b610ddb565b5060019392505050565b60006106046105e0610540565b6105f8846105ec610b69565b9063ffffffff6110ba16565b9063ffffffff61111a16565b9050610610338361115c565b600554604080516370a0823160e01b8152306004820152905160009261010090046001600160a01b0316916370a08231916024808301926020929190829003018186803b15801561066057600080fd5b505afa158015610674573d6000803e3d6000fd5b505050506040513d602081101561068a57600080fd5b50519050818110156107d15760006106a8838363ffffffff61125816565b6008546005546040805163f3fef3a360e01b81526001600160a01b036101009093048316600482015260248101859052905193945091169163f3fef3a39160448082019260009290919082900301818387803b15801561070757600080fd5b505af115801561071b573d6000803e3d6000fd5b5050600554604080516370a0823160e01b81523060048201529051600094506101009092046001600160a01b031692506370a08231916024808301926020929190829003018186803b15801561077057600080fd5b505afa158015610784573d6000803e3d6000fd5b505050506040513d602081101561079a57600080fd5b5051905060006107b0828563ffffffff61125816565b9050828110156107cd576107ca848263ffffffff61129a16565b94505b5050505b6005546107ed9061010090046001600160a01b031633846112f4565b505050565b60055460ff1690565b6000610536610808610dd7565b846105c48560016000610819610dd7565b6001600160a01b03908116825260208083019390935260409182016000908120918c16815292529020549063ffffffff61129a16565b6007546001600160a01b0316331461089c576040805162461bcd60e51b815260206004820152600b60248201526a21676f7665726e616e636560a81b604482015290519081900360640190fd5b600655565b60006109526127106105f8600654600560019054906101000a90046001600160a01b03166001600160a01b03166370a08231306040518263ffffffff1660e01b815260040180826001600160a01b03166001600160a01b0316815260200191505060206040518083038186803b15801561091a57600080fd5b505afa15801561092e573d6000803e3d6000fd5b505050506040513d602081101561094457600080fd5b50519063ffffffff6110ba16565b905090565b6007546001600160a01b031681565b61271081565b6001600160a01b031660009081526020819052604090205490565b6000610952610994610540565b6105f8670de0b6b3a76400006105ec610b69565b6007546001600160a01b031633146109f5576040805162461bcd60e51b815260206004820152600b60248201526a21676f7665726e616e636560a81b604482015290519081900360640190fd5b600880546001600160a01b0319166001600160a01b0392909216919091179055565b60048054604080516020601f60026000196101006001881615020190951694909404938401819004810282018101909252828152606093909290918301828280156105185780601f106104ed57610100808354040283529160200191610518565b6000610536610a85610dd7565b846105c48560405180606001604052806025815260200161185a6025913960016000610aaf610dd7565b6001600160a01b03908116825260208083019390935260409182016000908120918d1681529252902054919063ffffffff61102316565b6000610536610af3610dd7565b8484610ec7565b6007546001600160a01b03163314610b47576040805162461bcd60e51b815260206004820152600b60248201526a21676f7665726e616e636560a81b604482015290519081900360640190fd5b600780546001600160a01b0319166001600160a01b0392909216919091179055565b600854600554604080516370a0823160e01b81526001600160a01b036101009093048316600482015290516000936109529316916370a08231916024808301926020929190829003018186803b158015610bc257600080fd5b505afa158015610bd6573d6000803e3d6000fd5b505050506040513d6020811015610bec57600080fd5b5051600554604080516370a0823160e01b815230600482015290516101009092046001600160a01b0316916370a0823191602480820192602092909190829003018186803b158015610c3d57600080fd5b505afa158015610c51573d6000803e3d6000fd5b505050506040513d6020811015610c6757600080fd5b50519063ffffffff61129a16565b6000610c7f610b69565b600554909150610c9f9061010090046001600160a01b0316333085611346565b600081610cad575081610ccc565b610cc9826105f8610cbc610540565b869063ffffffff6110ba16565b90505b6107ed33826113a6565b6000610ce06108a1565b600854600554919250610d0b9161010090046001600160a01b0390811691168363ffffffff6112f416565b6008546005546040805163b02bf4b960e01b81526101009092046001600160a01b03908116600484015260248301859052905192169163b02bf4b99160448082019260009290919082900301818387803b158015610d6857600080fd5b505af1158015610d7c573d6000803e3d6000fd5b5050505050565b6001600160a01b03918216600090815260016020908152604080832093909416825291909152205490565b6008546001600160a01b031681565b60065481565b60055461010090046001600160a01b031681565b3390565b6001600160a01b038316610e205760405162461bcd60e51b815260040180806020018281038252602481526020018061180c6024913960400191505060405180910390fd5b6001600160a01b038216610e655760405162461bcd60e51b81526004018080602001828103825260228152602001806117356022913960400191505060405180910390fd5b6001600160a01b03808416600081815260016020908152604080832094871680845294825291829020859055815185815291517f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b9259281900390910190a3505050565b6001600160a01b038316610f0c5760405162461bcd60e51b81526004018080602001828103825260258152602001806117e76025913960400191505060405180910390fd5b6001600160a01b038216610f515760405162461bcd60e51b81526004018080602001828103825260238152602001806116f06023913960400191505060405180910390fd5b610f9481604051806060016040528060268152602001611757602691396001600160a01b038616600090815260208190526040902054919063ffffffff61102316565b6001600160a01b038085166000908152602081905260408082209390935590841681522054610fc9908263ffffffff61129a16565b6001600160a01b038084166000818152602081815260409182902094909455805185815290519193928716927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92918290030190a3505050565b600081848411156110b25760405162461bcd60e51b81526004018080602001828103825283818151815260200191508051906020019080838360005b8381101561107757818101518382015260200161105f565b50505050905090810190601f1680156110a45780820380516001836020036101000a031916815260200191505b509250505060405180910390fd5b505050900390565b6000826110c95750600061053a565b828202828482816110d657fe5b04146111135760405162461bcd60e51b815260040180806020018281038252602181526020018061177d6021913960400191505060405180910390fd5b9392505050565b600061111383836040518060400160405280601a81526020017f536166654d6174683a206469766973696f6e206279207a65726f000000000000815250611496565b6001600160a01b0382166111a15760405162461bcd60e51b81526004018080602001828103825260218152602001806117c66021913960400191505060405180910390fd5b6111e481604051806060016040528060228152602001611713602291396001600160a01b038516600090815260208190526040902054919063ffffffff61102316565b6001600160a01b038316600090815260208190526040902055600254611210908263ffffffff61125816565b6002556040805182815290516000916001600160a01b038516917fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9181900360200190a35050565b600061111383836040518060400160405280601e81526020017f536166654d6174683a207375627472616374696f6e206f766572666c6f770000815250611023565b600082820183811015611113576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b604080516001600160a01b038416602482015260448082018490528251808303909101815260649091019091526020810180516001600160e01b031663a9059cbb60e01b1790526107ed9084906114fb565b604080516001600160a01b0385811660248301528416604482015260648082018490528251808303909101815260849091019091526020810180516001600160e01b03166323b872dd60e01b1790526113a09085906114fb565b50505050565b6001600160a01b038216611401576040805162461bcd60e51b815260206004820152601f60248201527f45524332303a206d696e7420746f20746865207a65726f206164647265737300604482015290519081900360640190fd5b600254611414908263ffffffff61129a16565b6002556001600160a01b038216600090815260208190526040902054611440908263ffffffff61129a16565b6001600160a01b0383166000818152602081815260408083209490945583518581529351929391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef9281900390910190a35050565b600081836114e55760405162461bcd60e51b815260206004820181815283516024840152835190928392604490910191908501908083836000831561107757818101518382015260200161105f565b5060008385816114f157fe5b0495945050505050565b61150d826001600160a01b03166116b3565b61155e576040805162461bcd60e51b815260206004820152601f60248201527f5361666545524332303a2063616c6c20746f206e6f6e2d636f6e747261637400604482015290519081900360640190fd5b60006060836001600160a01b0316836040518082805190602001908083835b6020831061159c5780518252601f19909201916020918201910161157d565b6001836020036101000a0380198251168184511680821785525050505050509050019150506000604051808303816000865af19150503d80600081146115fe576040519150601f19603f3d011682016040523d82523d6000602084013e611603565b606091505b50915091508161165a576040805162461bcd60e51b815260206004820181905260248201527f5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564604482015290519081900360640190fd5b8051156113a05780806020019051602081101561167657600080fd5b50516113a05760405162461bcd60e51b815260040180806020018281038252602a815260200180611830602a913960400191505060405180910390fd5b6000813f7fc5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a47081158015906116e75750808214155b94935050505056fe45524332303a207472616e7366657220746f20746865207a65726f206164647265737345524332303a206275726e20616d6f756e7420657863656564732062616c616e636545524332303a20617070726f766520746f20746865207a65726f206164647265737345524332303a207472616e7366657220616d6f756e7420657863656564732062616c616e6365536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f7745524332303a207472616e7366657220616d6f756e74206578636565647320616c6c6f77616e636545524332303a206275726e2066726f6d20746865207a65726f206164647265737345524332303a207472616e736665722066726f6d20746865207a65726f206164647265737345524332303a20617070726f76652066726f6d20746865207a65726f20616464726573735361666545524332303a204552433230206f7065726174696f6e20646964206e6f74207375636365656445524332303a2064656372656173656420616c6c6f77616e63652062656c6f77207a65726fa265627a7a72315820dcd03d2cb51f44dfdc5d4cfb83536db80ffd38a0fb67294435d2f67432c3fb5a64736f6c63430005100032

11009:2835:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11009:2835:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6044:83;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;6044:83:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3064:152;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3064:152:0;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;2547:91;;;:::i;:::-;;;;;;;;;;;;;;;;3222:304;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3222:304:0;;;;;;;;;;;;;;;;;:::i;13135:583::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;13135:583:0;;:::i;:::-;;6226:83;;;:::i;:::-;;;;;;;;;;;;;;;;;;;3532:210;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3532:210:0;;;;;;;;:::i;11853:118::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;11853:118:0;;:::i;12429:::-;;;:::i;11246:25::-;;;:::i;:::-;;;;-1:-1:-1;;;;;11246:25:0;;;;;;;;;;;;;;11205:32;;;:::i;2644:110::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2644:110:0;-1:-1:-1;;;;;2644:110:0;;:::i;13724:117::-;;;:::i;12134:147::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;12134:147:0;-1:-1:-1;;;;;12134:147:0;;:::i;6133:87::-;;;:::i;3748:261::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3748:261:0;;;;;;;;:::i;2760:158::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2760:158:0;;;;;;;;:::i;11979:147::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;11979:147:0;-1:-1:-1;;;;;11979:147:0;;:::i;11678:167::-;;;:::i;12725:338::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;12725:338:0;;:::i;12555:164::-;;;:::i;2924:134::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;2924:134:0;;;;;;;;;;:::i;11276:25::-;;;:::i;11178:22::-;;;:::i;11150:19::-;;;:::i;6044:83::-;6114:5;6107:12;;;;;;;;-1:-1:-1;;6107:12:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6081:13;;6107:12;;6114:5;;6107:12;;6114:5;6107:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6044:83;:::o;3064:152::-;3130:4;3147:39;3156:12;:10;:12::i;:::-;3170:7;3179:6;3147:8;:39::i;:::-;-1:-1:-1;3204:4:0;3064:152;;;;;:::o;2547:91::-;2618:12;;2547:91;:::o;3222:304::-;3311:4;3328:36;3338:6;3346:9;3357:6;3328:9;:36::i;:::-;3375:121;3384:6;3392:12;:10;:12::i;:::-;3406:89;3444:6;3406:89;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;3406:19:0;;;;;;:11;:19;;;;;;3426:12;:10;:12::i;:::-;-1:-1:-1;;;;;3406:33:0;;;;;;;;;;;;-1:-1:-1;3406:33:0;;;:89;;:37;:89;:::i;:::-;3375:8;:121::i;:::-;-1:-1:-1;3514:4:0;3222:304;;;;;:::o;13135:583::-;13185:6;13194:43;13223:13;:11;:13::i;:::-;13195:22;13209:7;13195:9;:7;:9::i;:::-;:13;:22;:13;:22;:::i;:::-;13194:28;:43;:28;:43;:::i;:::-;13185:52;;13246:26;13252:10;13264:7;13246:5;:26::i;:::-;13316:5;;:30;;;-1:-1:-1;;;13316:30:0;;13340:4;13316:30;;;;;;-1:-1:-1;;13316:5:0;;;-1:-1:-1;;;;;13316:5:0;;:15;;:30;;;;;;;;;;;;;;:5;:30;;;5:2:-1;;;;30:1;27;20:12;5:2;13316:30:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;13316:30:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;13316:30:0;;-1:-1:-1;13359:5:0;;;13355:308;;;13379:14;13396:8;:1;13402;13396:8;:5;:8;:::i;:::-;13428:10;;13457:5;;13417:58;;;-1:-1:-1;;;13417:58:0;;-1:-1:-1;;;;;13428:10:0;13457:5;;;;;13417:58;;;;;;;;;;;;;;-1:-1:-1;13428:10:0;;;13417:31;;:58;;;;;-1:-1:-1;;13417:58:0;;;;;;;;-1:-1:-1;13428:10:0;13417:58;;;5:2:-1;;;;30:1;27;20:12;5:2;13417:58:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;;13502:5:0;;:30;;;-1:-1:-1;;;13502:30:0;;13526:4;13502:30;;;;;;-1:-1:-1;;;13502:5:0;;;;-1:-1:-1;;;;;13502:5:0;;-1:-1:-1;13502:15:0;;:30;;;;;;;;;;;;;;:5;:30;;;5:2:-1;;;;30:1;27;20:12;5:2;13502:30:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;13502:30:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;13502:30:0;;-1:-1:-1;13545:10:0;13558:13;13502:30;13569:1;13558:13;:10;:13;:::i;:::-;13545:26;;13596:9;13588:5;:17;13584:70;;;13628:12;:1;13634:5;13628:12;:5;:12;:::i;:::-;13624:16;;13584:70;13355:308;;;;13679:5;;:33;;:5;;;-1:-1:-1;;;;;13679:5:0;13698:10;13710:1;13679:18;:33::i;:::-;13135:583;;;:::o;6226:83::-;6292:9;;;;6226:83;:::o;3532:210::-;3612:4;3629:83;3638:12;:10;:12::i;:::-;3652:7;3661:50;3700:10;3661:11;:25;3673:12;:10;:12::i;:::-;-1:-1:-1;;;;;3661:25:0;;;;;;;;;;;;;;;;;-1:-1:-1;3661:25:0;;;:34;;;;;;;;;;;:50;:38;:50;:::i;11853:118::-;11920:10;;-1:-1:-1;;;;;11920:10:0;11906;:24;11898:48;;;;;-1:-1:-1;;;11898:48:0;;;;;;;;;;;;-1:-1:-1;;;11898:48:0;;;;;;;;;;;;;;;11955:3;:10;11853:118::o;12429:::-;12471:4;12493:48;11232:5;12493:39;12528:3;;12493:5;;;;;;;;;-1:-1:-1;;;;;12493:5:0;-1:-1:-1;;;;;12493:15:0;;12517:4;12493:30;;;;;;;;;;;;;-1:-1:-1;;;;;12493:30:0;-1:-1:-1;;;;;12493:30:0;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12493:30:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;12493:30:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;12493:30:0;;:39;:34;:39;:::i;:48::-;12486:55;;12429:118;:::o;11246:25::-;;;-1:-1:-1;;;;;11246:25:0;;:::o;11205:32::-;11232:5;11205:32;:::o;2644:110::-;-1:-1:-1;;;;;2728:18:0;2701:7;2728:18;;;;;;;;;;;;2644:110::o;13724:117::-;13777:4;13797:38;13821:13;:11;:13::i;:::-;13797:19;13811:4;13797:9;:7;:9::i;12134:147::-;12216:10;;-1:-1:-1;;;;;12216:10:0;12202;:24;12194:48;;;;;-1:-1:-1;;;12194:48:0;;;;;;;;;;;;-1:-1:-1;;;12194:48:0;;;;;;;;;;;;;;;12251:10;:24;;-1:-1:-1;;;;;;12251:24:0;-1:-1:-1;;;;;12251:24:0;;;;;;;;;;12134:147::o;6133:87::-;6205:7;6198:14;;;;;;;;-1:-1:-1;;6198:14:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6172:13;;6198:14;;6205:7;;6198:14;;6205:7;6198:14;;;;;;;;;;;;;;;;;;;;;;;;3748:261;3833:4;3850:129;3859:12;:10;:12::i;:::-;3873:7;3882:96;3921:15;3882:96;;;;;;;;;;;;;;;;;:11;:25;3894:12;:10;:12::i;:::-;-1:-1:-1;;;;;3882:25:0;;;;;;;;;;;;;;;;;-1:-1:-1;3882:25:0;;;:34;;;;;;;;;;;:96;;:38;:96;:::i;2760:158::-;2829:4;2846:42;2856:12;:10;:12::i;:::-;2870:9;2881:6;2846:9;:42::i;11979:147::-;12061:10;;-1:-1:-1;;;;;12061:10:0;12047;:24;12039:48;;;;;-1:-1:-1;;;12039:48:0;;;;;;;;;;;;-1:-1:-1;;;12039:48:0;;;;;;;;;;;;;;;12096:10;:24;;-1:-1:-1;;;;;;12096:24:0;-1:-1:-1;;;;;12096:24:0;;;;;;;;;;11979:147::o;11678:167::-;11801:10;;11831:5;;11790:48;;;-1:-1:-1;;;11790:48:0;;-1:-1:-1;;;;;11801:10:0;11831:5;;;;;11790:48;;;;;;-1:-1:-1;;11740:99:0;;11801:10;;11790:32;;:48;;;;;;;;;;;;;;11801:10;11790:48;;;5:2:-1;;;;30:1;27;20:12;5:2;11790:48:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;11790:48:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;11790:48:0;11740:5;;:30;;;-1:-1:-1;;;11740:30:0;;11764:4;11740:30;;;;;;:5;;;;-1:-1:-1;;;;;11740:5:0;;:15;;:30;;;;;11790:48;;11740:30;;;;;;;;:5;:30;;;5:2:-1;;;;30:1;27;20:12;5:2;11740:30:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;11740:30:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;11740:30:0;;:99;:49;:99;:::i;12725:338::-;12774:10;12787:9;:7;:9::i;:::-;12805:5;;12774:22;;-1:-1:-1;12805:58:0;;:5;;;-1:-1:-1;;;;;12805:5:0;12828:10;12848:4;12855:7;12805:22;:58::i;:::-;12872:11;12900:10;12896:128;;-1:-1:-1;12932:7:0;12896:128;;;12975:39;13008:5;12976:26;12988:13;:11;:13::i;:::-;12976:7;;:26;:11;:26;:::i;12975:39::-;12966:48;;12896:128;13032:25;13038:10;13050:6;13032:5;:25::i;12555:164::-;12587:9;12599:11;:9;:11::i;:::-;12638:10;;12619:5;;12587:23;;-1:-1:-1;12619:36:0;;12638:10;12619:5;;-1:-1:-1;;;;;12619:5:0;;;;12638:10;12587:23;12619:36;:18;:36;:::i;:::-;12675:10;;12700:5;;12664:49;;;-1:-1:-1;;;12664:49:0;;12675:10;12700:5;;;-1:-1:-1;;;;;12700:5:0;;;12664:49;;;;;;;;;;;;12675:10;;;12664:27;;:49;;;;;12675:10;;12664:49;;;;;;;;12675:10;;12664:49;;;5:2:-1;;;;30:1;27;20:12;5:2;12664:49:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;12664:49:0;;;;12555:164;:::o;2924:134::-;-1:-1:-1;;;;;3023:18:0;;;2996:7;3023:18;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;2924:134::o;11276:25::-;;;-1:-1:-1;;;;;11276:25:0;;:::o;11178:22::-;;;;:::o;11150:19::-;;;;;;-1:-1:-1;;;;;11150:19:0;;:::o;889:98::-;969:10;889:98;:::o;5160:338::-;-1:-1:-1;;;;;5254:19:0;;5246:68;;;;-1:-1:-1;;;5246:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;5333:21:0;;5325:68;;;;-1:-1:-1;;;5325:68:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;5406:18:0;;;;;;;:11;:18;;;;;;;;:27;;;;;;;;;;;;;:36;;;5458:32;;;;;;;;;;;;;;;;;5160:338;;;:::o;4015:471::-;-1:-1:-1;;;;;4113:20:0;;4105:70;;;;-1:-1:-1;;;4105:70:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;4194:23:0;;4186:71;;;;-1:-1:-1;;;4186:71:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4290;4312:6;4290:71;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;4290:17:0;;:9;:17;;;;;;;;;;;;:71;;:21;:71;:::i;:::-;-1:-1:-1;;;;;4270:17:0;;;:9;:17;;;;;;;;;;;:91;;;;4395:20;;;;;;;:32;;4420:6;4395:32;:24;:32;:::i;:::-;-1:-1:-1;;;;;4372:20:0;;;:9;:20;;;;;;;;;;;;:55;;;;4443:35;;;;;;;4372:20;;4443:35;;;;;;;;;;;;;4015:471;;;:::o;6669:192::-;6755:7;6791:12;6783:6;;;;6775:29;;;;-1:-1:-1;;;6775:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;6775:29:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;6827:5:0;;;6669:192::o;6867:250::-;6925:7;6949:6;6945:47;;-1:-1:-1;6979:1:0;6972:8;;6945:47;7016:5;;;7020:1;7016;:5;:1;7040:5;;;;;:10;7032:56;;;;-1:-1:-1;;;7032:56:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7108:1;6867:250;-1:-1:-1;;;6867:250:0:o;7123:132::-;7181:7;7208:39;7212:1;7215;7208:39;;;;;;;;;;;;;;;;;:3;:39::i;4806:348::-;-1:-1:-1;;;;;4882:21:0;;4874:67;;;;-1:-1:-1;;;4874:67:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4975:68;4998:6;4975:68;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;4975:18:0;;:9;:18;;;;;;;;;;;;:68;;:22;:68;:::i;:::-;-1:-1:-1;;;;;4954:18:0;;:9;:18;;;;;;;;;;:89;5069:12;;:24;;5086:6;5069:24;:16;:24;:::i;:::-;5054:12;:39;5109:37;;;;;;;;5135:1;;-1:-1:-1;;;;;5109:37:0;;;;;;;;;;;;4806:348;;:::o;6527:136::-;6585:7;6612:43;6616:1;6619;6612:43;;;;;;;;;;;;;;;;;:3;:43::i;6340:181::-;6398:7;6430:5;;;6454:6;;;;6446:46;;;;;-1:-1:-1;;;6446:46:0;;;;;;;;;;;;;;;;;;;;;;;;;;;8840:176;8949:58;;;-1:-1:-1;;;;;8949:58:0;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;8949:58:0;;;;;;;;25:18:-1;;61:17;;-1:-1;;;;;182:15;-1:-1;;;179:29;160:49;;8923:85:0;;8942:5;;8923:18;:85::i;9024:204::-;9151:68;;;-1:-1:-1;;;;;9151:68:0;;;;;;;;;;;;;;;;;;;;;;26:21:-1;;;22:32;;;6:49;;9151:68:0;;;;;;;;25:18:-1;;61:17;;-1:-1;;;;;182:15;-1:-1;;;179:29;160:49;;9125:95:0;;9144:5;;9125:18;:95::i;:::-;9024:204;;;;:::o;4492:308::-;-1:-1:-1;;;;;4568:21:0;;4560:65;;;;;-1:-1:-1;;;4560:65:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;4653:12;;:24;;4670:6;4653:24;:16;:24;:::i;:::-;4638:12;:39;-1:-1:-1;;;;;4709:18:0;;:9;:18;;;;;;;;;;;:30;;4732:6;4709:30;:22;:30;:::i;:::-;-1:-1:-1;;;;;4688:18:0;;:9;:18;;;;;;;;;;;:51;;;;4755:37;;;;;;;4688:18;;:9;;4755:37;;;;;;;;;;4492:308;;:::o;7261:258::-;7347:7;7449:12;7442:5;7434:28;;;;-1:-1:-1;;;7434:28:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;27:10:-1;;8:100;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;7434:28:0;;7473:9;7489:1;7485;:5;;;;;;;7261:258;-1:-1:-1;;;;;7261:258:0:o;10220:598::-;10308:27;10316:5;-1:-1:-1;;;;;10308:25:0;;:27::i;:::-;10300:71;;;;;-1:-1:-1;;;10300:71:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;10445:12;10459:23;10494:5;-1:-1:-1;;;;;10486:19:0;10506:4;10486:25;;;;;;;;;;;;;36:153:-1;66:2;61:3;58:11;36:153;;176:10;;164:23;;-1:-1;;139:12;;;;98:2;89:12;;;;114;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;;;10486:25: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;;10444:67:0;;;;10530:7;10522:52;;;;;-1:-1:-1;;;10522:52:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10591:17;;:21;10587:224;;10733:10;10722:30;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;10722:30:0;10714:85;;;;-1:-1:-1;;;10714:85:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;7857:374;7917:4;8140:20;;7983:66;8180:15;;;;;:42;;;8211:11;8199:8;:23;;8180:42;8172:51;7857:374;-1:-1:-1;;;;7857:374:0:o

bzzr://dcd03d2cb51f44dfdc5d4cfb83536db80ffd38a0fb67294435d2f67432c3fb5a