Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• interface IERC20
•    - function totalSupply()
•    - function balanceOf(address who)
•    - function allowance(address owner, add ...
•    - function transfer(address to, uint256 ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address from, a ...
• library SafeMath
•    - function mul(uint256 a, uint256 b)
•    - function div(uint256 a, uint256 b)
•    - function sub(uint256 a, uint256 b)
•    - function add(uint256 a, uint256 b)
•    - function ceil(uint256 a, uint256 m)
•  contract ERC20Detailed is IERC20
•    - function name()
•    - function symbol()
•    - function decimals()
•  contract Erosion is ERC20Detailed *
•    - function totalSupply()
•    - function balanceOf(address owner)
•    - function allowance(address owner, add ...
•    - function transfer(address to, uint256 ...
•    - function multiTransfer(address[] memo ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address from, a ...
•    - function increaseAllowance(address sp ...
•    - function decreaseAllowance(address sp ...
•    - function _mint(address account, uint2 ...
•    - function burn(uint256 amount)
•    - function _burn(address account, uint2 ...
•    - function burnFrom(address account, ui ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

pragma solidity ^0.5.0;
 
interface IERC20 {
  function totalSupply() external view returns (uint256);
  function balanceOf(address who) external view returns (uint256);
  function allowance(address owner, address spender) external view returns (uint256);
  function transfer(address to, uint256 value) external returns (bool);
  function approve(address spender, uint256 value) external returns (bool);
  function transferFrom(address from, address to, uint256 value) external returns (bool);
 
  event Transfer(address indexed from, address indexed to, uint256 value);
  event Approval(address indexed owner, address indexed spender, uint256 value);
}
 
library SafeMath {
  function mul(uint256 a, uint256 b) internal pure returns (uint256) {
    if (a == 0) {
      return 0;
    }
    uint256 c = a * b;
    assert(c / a == b);
    return c;
  }
 
  function div(uint256 a, uint256 b) internal pure returns (uint256) {
    uint256 c = a / b;
    return c;
  }
 
  function sub(uint256 a, uint256 b) internal pure returns (uint256) {
    assert(b <= a);
    return a - b;
  }
 
  function add(uint256 a, uint256 b) internal pure returns (uint256) {
    uint256 c = a + b;
    assert(c >= a);
    return c;
  }
 
  function ceil(uint256 a, uint256 m) internal pure returns (uint256) {
    uint256 c = add(a,m);
    uint256 d = sub(c,1);
    return mul(div(d,m),m);
  }
}
 
contract ERC20Detailed is IERC20 {
 
  uint8 private _decimals;
  string private _name;
  string private _symbol;
 
  constructor(string memory name, string memory symbol, uint8 decimals) public {
   
   _decimals = decimals;
   _name = name;
   _symbol = symbol;
   
  }
 
  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;
  }
}
 
/**end here**/
 
contract Erosion is ERC20Detailed {
 
  using SafeMath for uint256;
  mapping (address => uint256) private _balances;
  mapping (address => mapping (address => uint256)) private _allowed;
  string constant tokenName = "Erosion";
  string constant tokenSymbol = "EROS";
  uint8  constant tokenDecimals = 18;
  uint256 _totalSupply = 10000000000000000000000000;
  address constant drain = 0x3f17f1962B36e491b30A40b2405849e597Ba5FB5;
 
 
 
 
  constructor() public payable ERC20Detailed(tokenName, tokenSymbol, tokenDecimals) {
    _mint(msg.sender, _totalSupply);
  }
 
  function totalSupply() public view returns (uint256) {
    return _totalSupply;
  }
 
  function balanceOf(address owner) public view returns (uint256) {
    return _balances[owner];
  }
 
  function allowance(address owner, address spender) public view returns (uint256) {
    return _allowed[owner][spender];
  }
 
  function transfer(address to, uint256 value) public returns (bool) {
    require(value <= _balances[msg.sender]);
    require(to != address(0));
 
    uint256 erosion;
 
    if(value <= 10000){
        erosion = 0;
    } else {
        erosion = value.div(10000);
        _balances[drain] = _balances[drain].add(erosion);
    }
 
    uint256 tokensToTransfer = value.sub(erosion);
 
    _balances[msg.sender] = _balances[msg.sender].sub(value);
    _balances[to] = _balances[to].add(tokensToTransfer);
 
    _totalSupply = _totalSupply.sub(erosion);
 
    emit Transfer(msg.sender, to, tokensToTransfer);
    emit Transfer(msg.sender, drain, erosion);
    return true;
  }
 
  function multiTransfer(address[] memory receivers, uint256[] memory amounts) public {
    for (uint256 i = 0; i < receivers.length; i++) {
      transfer(receivers[i], amounts[i]);
    }
  }
 
  function approve(address spender, uint256 value) public returns (bool) {
    require(spender != address(0));
    _allowed[msg.sender][spender] = value;
    emit Approval(msg.sender, spender, value);
    return true;
  }
 
  function transferFrom(address from, address to, uint256 value) public returns (bool) {
    require(value <= _balances[from]);
    require(value <= _allowed[from][msg.sender]);
    require(to != address(0));
 
    _balances[from] = _balances[from].sub(value);
 
    uint256 erosion;
 
    if(value <= 10000){
        erosion = 0;
    } else {
        erosion = value.div(10000);
        _balances[drain] = _balances[drain].add(erosion);
    }
 
    uint256 tokensToTransfer = value.sub(erosion);
 
    _balances[to] = _balances[to].add(tokensToTransfer);
    _totalSupply = _totalSupply.sub(erosion);
 
    _allowed[from][msg.sender] = _allowed[from][msg.sender].sub(value);
 
    emit Transfer(from, to, tokensToTransfer);
    emit Transfer(from, drain, erosion);
 
    return true;
  }
 
  function increaseAllowance(address spender, uint256 addedValue) public returns (bool) {
    require(spender != address(0));
    _allowed[msg.sender][spender] = (_allowed[msg.sender][spender].add(addedValue));
    emit Approval(msg.sender, spender, _allowed[msg.sender][spender]);
    return true;
  }
 
  function decreaseAllowance(address spender, uint256 subtractedValue) public returns (bool) {
    require(spender != address(0));
    _allowed[msg.sender][spender] = (_allowed[msg.sender][spender].sub(subtractedValue));
    emit Approval(msg.sender, spender, _allowed[msg.sender][spender]);
    return true;
  }
 
  function _mint(address account, uint256 amount) internal {
    require(amount != 0);
    _balances[account] = _balances[account].add(amount);
   
    emit Transfer(address(0), account, amount);
  }
 
  function burn(uint256 amount) external {
    _burn(msg.sender, amount);
  }
 
  function _burn(address account, uint256 amount) internal {
    require(amount != 0);
    require(amount <= _balances[account]);
    _totalSupply = _totalSupply.sub(amount);
    _balances[account] = _balances[account].sub(amount);
    emit Transfer(account, address(0), amount);
  }
 
  function burnFrom(address account, uint256 amount) external {
    require(amount <= _allowed[account][msg.sender]);
    _allowed[account][msg.sender] = _allowed[account][msg.sender].sub(amount);
    _burn(account, amount);
  }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"value","type":"uint256"}],"name":"approve","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"receivers","type":"address[]"},{"name":"amounts","type":"uint256[]"}],"name":"multiTransfer","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"from","type":"address"},{"name":"to","type":"address"},{"name":"value","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"addedValue","type":"uint256"}],"name":"increaseAllowance","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"amount","type":"uint256"}],"name":"burn","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"owner","type":"address"}],"name":"balanceOf","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"account","type":"address"},{"name":"amount","type":"uint256"}],"name":"burnFrom","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"subtractedValue","type":"uint256"}],"name":"decreaseAllowance","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"to","type":"address"},{"name":"value","type":"uint256"}],"name":"transfer","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"owner","type":"address"},{"name":"spender","type":"address"}],"name":"allowance","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[],"payable":true,"stateMutability":"payable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"owner","type":"address"},{"indexed":true,"name":"spender","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Approval","type":"event"}]

60806040526a084595161401484a0000006005556040805190810160405280600781526020017f45726f73696f6e000000000000000000000000000000000000000000000000008152506040805190810160405280600481526020017f45524f53000000000000000000000000000000000000000000000000000000008152506012806000806101000a81548160ff021916908360ff1602179055508260019080519060200190620000b392919062000232565b508160029080519060200190620000cc92919062000232565b50505050620000ed33600554620000f3640100000000026401000000009004565b620002e1565b600081141515156200010457600080fd5b6200016681600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054620002136401000000000262001ab0179091906401000000009004565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b60008082840190508381101515156200022857fe5b8091505092915050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200027557805160ff1916838001178555620002a6565b82800160010185558215620002a6579182015b82811115620002a557825182559160200191906001019062000288565b5b509050620002b59190620002b9565b5090565b620002de91905b80821115620002da576000816000905550600101620002c0565b5090565b90565b611c7280620002f16000396000f3fe6080604052600436106100d0576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde03146100d5578063095ea7b31461016557806318160ddd146101d85780631e89d5451461020357806323b872dd1461035c578063313ce567146103ef578063395093511461042057806342966c681461049357806370a08231146104ce57806379cc67901461053357806395d89b411461058e578063a457c2d71461061e578063a9059cbb14610691578063dd62ed3e14610704575b600080fd5b3480156100e157600080fd5b506100ea610789565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561012a57808201518184015260208101905061010f565b50505050905090810190601f1680156101575780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561017157600080fd5b506101be6004803603604081101561018857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061082b565b604051808215151515815260200191505060405180910390f35b3480156101e457600080fd5b506101ed610958565b6040518082815260200191505060405180910390f35b34801561020f57600080fd5b5061035a6004803603604081101561022657600080fd5b810190808035906020019064010000000081111561024357600080fd5b82018360208201111561025557600080fd5b8035906020019184602083028401116401000000008311171561027757600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290803590602001906401000000008111156102d757600080fd5b8201836020820111156102e957600080fd5b8035906020019184602083028401116401000000008311171561030b57600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290505050610962565b005b34801561036857600080fd5b506103d56004803603606081101561037f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506109bc565b604051808215151515815260200191505060405180910390f35b3480156103fb57600080fd5b50610404610f14565b604051808260ff1660ff16815260200191505060405180910390f35b34801561042c57600080fd5b506104796004803603604081101561044357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610f2a565b604051808215151515815260200191505060405180910390f35b34801561049f57600080fd5b506104cc600480360360208110156104b657600080fd5b8101908080359060200190929190505050611161565b005b3480156104da57600080fd5b5061051d600480360360208110156104f157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061116e565b6040518082815260200191505060405180910390f35b34801561053f57600080fd5b5061058c6004803603604081101561055657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506111b7565b005b34801561059a57600080fd5b506105a361135f565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156105e35780820151818401526020810190506105c8565b50505050905090810190601f1680156106105780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561062a57600080fd5b506106776004803603604081101561064157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611401565b604051808215151515815260200191505060405180910390f35b34801561069d57600080fd5b506106ea600480360360408110156106b457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611638565b604051808215151515815260200191505060405180910390f35b34801561071057600080fd5b506107736004803603604081101561072757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506119f5565b6040518082815260200191505060405180910390f35b606060018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156108215780601f106107f657610100808354040283529160200191610821565b820191906000526020600020905b81548152906001019060200180831161080457829003601f168201915b5050505050905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415151561086857600080fd5b81600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000600554905090565b60008090505b82518110156109b7576109a9838281518110151561098257fe5b90602001906020020151838381518110151561099a57fe5b90602001906020020151611638565b508080600101915050610968565b505050565b6000600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211151515610a0c57600080fd5b600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211151515610a9757600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614151515610ad357600080fd5b610b2582600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a7c90919063ffffffff16565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600061271083111515610b7e5760009050610c53565b610b9361271084611a9590919063ffffffff16565b9050610bfb8160036000733f17f1962b36e491b30a40b2405849e597ba5fb573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611ab090919063ffffffff16565b60036000733f17f1962b36e491b30a40b2405849e597ba5fb573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b6000610c688285611a7c90919063ffffffff16565b9050610cbc81600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611ab090919063ffffffff16565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610d1482600554611a7c90919063ffffffff16565b600581905550610da984600460008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a7c90919063ffffffff16565b600460008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508473ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3733f17f1962b36e491b30a40b2405849e597ba5fb573ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001925050509392505050565b60008060009054906101000a900460ff16905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614151515610f6757600080fd5b610ff682600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611ab090919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b61116b3382611ace565b50565b6000600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054811115151561124257600080fd5b6112d181600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a7c90919063ffffffff16565b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061135b8282611ace565b5050565b606060028054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156113f75780601f106113cc576101008083540402835291602001916113f7565b820191906000526020600020905b8154815290600101906020018083116113da57829003601f168201915b5050505050905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415151561143e57600080fd5b6114cd82600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a7c90919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6000600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115151561168857600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141515156116c457600080fd5b6000612710831115156116da57600090506117af565b6116ef61271084611a9590919063ffffffff16565b90506117578160036000733f17f1962b36e491b30a40b2405849e597ba5fb573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611ab090919063ffffffff16565b60036000733f17f1962b36e491b30a40b2405849e597ba5fb573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b60006117c48285611a7c90919063ffffffff16565b905061181884600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a7c90919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506118ad81600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611ab090919063ffffffff16565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061190582600554611a7c90919063ffffffff16565b6005819055508473ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3733f17f1962b36e491b30a40b2405849e597ba5fb573ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a360019250505092915050565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000828211151515611a8a57fe5b818303905092915050565b6000808284811515611aa357fe5b0490508091505092915050565b6000808284019050838110151515611ac457fe5b8091505092915050565b60008114151515611ade57600080fd5b600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548111151515611b2c57600080fd5b611b4181600554611a7c90919063ffffffff16565b600581905550611b9981600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a7c90919063ffffffff16565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505056fea165627a7a723058209e746edd2ce2db296ea03dbeb999533847ecac41584257af75850da5f140f1600029

0x6080604052600436106100d0576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff16806306fdde03146100d5578063095ea7b31461016557806318160ddd146101d85780631e89d5451461020357806323b872dd1461035c578063313ce567146103ef578063395093511461042057806342966c681461049357806370a08231146104ce57806379cc67901461053357806395d89b411461058e578063a457c2d71461061e578063a9059cbb14610691578063dd62ed3e14610704575b600080fd5b3480156100e157600080fd5b506100ea610789565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561012a57808201518184015260208101905061010f565b50505050905090810190601f1680156101575780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561017157600080fd5b506101be6004803603604081101561018857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291908035906020019092919050505061082b565b604051808215151515815260200191505060405180910390f35b3480156101e457600080fd5b506101ed610958565b6040518082815260200191505060405180910390f35b34801561020f57600080fd5b5061035a6004803603604081101561022657600080fd5b810190808035906020019064010000000081111561024357600080fd5b82018360208201111561025557600080fd5b8035906020019184602083028401116401000000008311171561027757600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290803590602001906401000000008111156102d757600080fd5b8201836020820111156102e957600080fd5b8035906020019184602083028401116401000000008311171561030b57600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290505050610962565b005b34801561036857600080fd5b506103d56004803603606081101561037f57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506109bc565b604051808215151515815260200191505060405180910390f35b3480156103fb57600080fd5b50610404610f14565b604051808260ff1660ff16815260200191505060405180910390f35b34801561042c57600080fd5b506104796004803603604081101561044357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610f2a565b604051808215151515815260200191505060405180910390f35b34801561049f57600080fd5b506104cc600480360360208110156104b657600080fd5b8101908080359060200190929190505050611161565b005b3480156104da57600080fd5b5061051d600480360360208110156104f157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061116e565b6040518082815260200191505060405180910390f35b34801561053f57600080fd5b5061058c6004803603604081101561055657600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506111b7565b005b34801561059a57600080fd5b506105a361135f565b6040518080602001828103825283818151815260200191508051906020019080838360005b838110156105e35780820151818401526020810190506105c8565b50505050905090810190601f1680156106105780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561062a57600080fd5b506106776004803603604081101561064157600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611401565b604051808215151515815260200191505060405180910390f35b34801561069d57600080fd5b506106ea600480360360408110156106b457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611638565b604051808215151515815260200191505060405180910390f35b34801561071057600080fd5b506107736004803603604081101561072757600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506119f5565b6040518082815260200191505060405180910390f35b606060018054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156108215780601f106107f657610100808354040283529160200191610821565b820191906000526020600020905b81548152906001019060200180831161080457829003601f168201915b5050505050905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415151561086857600080fd5b81600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000600554905090565b60008090505b82518110156109b7576109a9838281518110151561098257fe5b90602001906020020151838381518110151561099a57fe5b90602001906020020151611638565b508080600101915050610968565b505050565b6000600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211151515610a0c57600080fd5b600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211151515610a9757600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614151515610ad357600080fd5b610b2582600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a7c90919063ffffffff16565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600061271083111515610b7e5760009050610c53565b610b9361271084611a9590919063ffffffff16565b9050610bfb8160036000733f17f1962b36e491b30a40b2405849e597ba5fb573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611ab090919063ffffffff16565b60036000733f17f1962b36e491b30a40b2405849e597ba5fb573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b6000610c688285611a7c90919063ffffffff16565b9050610cbc81600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611ab090919063ffffffff16565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610d1482600554611a7c90919063ffffffff16565b600581905550610da984600460008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a7c90919063ffffffff16565b600460008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508473ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3733f17f1962b36e491b30a40b2405849e597ba5fb573ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001925050509392505050565b60008060009054906101000a900460ff16905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1614151515610f6757600080fd5b610ff682600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611ab090919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b61116b3382611ace565b50565b6000600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054811115151561124257600080fd5b6112d181600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a7c90919063ffffffff16565b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061135b8282611ace565b5050565b606060028054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156113f75780601f106113cc576101008083540402835291602001916113f7565b820191906000526020600020905b8154815290600101906020018083116113da57829003601f168201915b5050505050905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415151561143e57600080fd5b6114cd82600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a7c90919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6000600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115151561168857600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141515156116c457600080fd5b6000612710831115156116da57600090506117af565b6116ef61271084611a9590919063ffffffff16565b90506117578160036000733f17f1962b36e491b30a40b2405849e597ba5fb573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611ab090919063ffffffff16565b60036000733f17f1962b36e491b30a40b2405849e597ba5fb573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055505b60006117c48285611a7c90919063ffffffff16565b905061181884600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a7c90919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506118ad81600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611ab090919063ffffffff16565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061190582600554611a7c90919063ffffffff16565b6005819055508473ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3733f17f1962b36e491b30a40b2405849e597ba5fb573ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a360019250505092915050565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000828211151515611a8a57fe5b818303905092915050565b6000808284811515611aa357fe5b0490508091505092915050565b6000808284019050838110151515611ac457fe5b8091505092915050565b60008114151515611ade57600080fd5b600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548111151515611b2c57600080fd5b611b4181600554611a7c90919063ffffffff16565b600581905550611b9981600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054611a7c90919063ffffffff16565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505056fea165627a7a723058209e746edd2ce2db296ea03dbeb999533847ecac41584257af75850da5f140f1600029

1986:4327:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1713:76;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1713:76:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;1713:76:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3808:224;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3808:224:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3808:224:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2574:85;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2574:85:0;;;;;;;;;;;;;;;;;;;;;;;3607:194;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3607:194:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3607:194:0;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;3607:194:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;3607:194:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;39:11;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;3607:194:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;3607:194:0;;;;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;3607:194:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;3607:194:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;39:11;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;3607:194:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;3607:194:0;;;;;;;;;;;;;;;;;;4039:813;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4039:813:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4039:813:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1883:76;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1883:76:0;;;;;;;;;;;;;;;;;;;;;;;;;;;4859:305;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4859:305:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4859:305:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5702:77;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5702:77:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5702:77:0;;;;;;;;;;;;;;;;;;;;2666:100;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2666:100:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2666:100:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6080:230;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6080:230:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6080:230:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1796:80;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1796:80:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;1796:80:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5171:315;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5171:315:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5171:315:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2905:695;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2905:695:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2905:695:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2773:125;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2773:125:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2773:125:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1713:76;1749:13;1778:5;1771:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1713:76;:::o;3808:224::-;3873:4;3913:1;3894:21;;:7;:21;;;;3886:30;;;;;;;;3955:5;3923:8;:20;3932:10;3923:20;;;;;;;;;;;;;;;:29;3944:7;3923:29;;;;;;;;;;;;;;;:37;;;;3993:7;3972:36;;3981:10;3972:36;;;4002:5;3972:36;;;;;;;;;;;;;;;;;;4022:4;4015:11;;3808:224;;;;:::o;2574:85::-;2618:7;2641:12;;2634:19;;2574:85;:::o;3607:194::-;3703:9;3715:1;3703:13;;3698:98;3722:9;:16;3718:1;:20;3698:98;;;3754:34;3763:9;3773:1;3763:12;;;;;;;;;;;;;;;;;;3777:7;3785:1;3777:10;;;;;;;;;;;;;;;;;;3754:8;:34::i;:::-;;3740:3;;;;;;;3698:98;;;;3607:194;;:::o;4039:813::-;4118:4;4148:9;:15;4158:4;4148:15;;;;;;;;;;;;;;;;4139:5;:24;;4131:33;;;;;;;;4188:8;:14;4197:4;4188:14;;;;;;;;;;;;;;;:26;4203:10;4188:26;;;;;;;;;;;;;;;;4179:5;:35;;4171:44;;;;;;;;4244:1;4230:16;;:2;:16;;;;4222:25;;;;;;;;4275:26;4295:5;4275:9;:15;4285:4;4275:15;;;;;;;;;;;;;;;;:19;;:26;;;;:::i;:::-;4257:9;:15;4267:4;4257:15;;;;;;;;;;;;;;;:44;;;;4311:15;4348:5;4339;:14;;4336:158;;;4375:1;4365:11;;4336:158;;;4411:16;4421:5;4411;:9;;:16;;;;:::i;:::-;4401:26;;4457:29;4478:7;4457:9;:16;2382:42;4457:16;;;;;;;;;;;;;;;;:20;;:29;;;;:::i;:::-;4438:9;:16;2382:42;4438:16;;;;;;;;;;;;;;;:48;;;;4336:158;4503:24;4530:18;4540:7;4530:5;:9;;:18;;;;:::i;:::-;4503:45;;4574:35;4592:16;4574:9;:13;4584:2;4574:13;;;;;;;;;;;;;;;;:17;;:35;;;;:::i;:::-;4558:9;:13;4568:2;4558:13;;;;;;;;;;;;;;;:51;;;;4631:25;4648:7;4631:12;;:16;;:25;;;;:::i;:::-;4616:12;:40;;;;4695:37;4726:5;4695:8;:14;4704:4;4695:14;;;;;;;;;;;;;;;:26;4710:10;4695:26;;;;;;;;;;;;;;;;:30;;:37;;;;:::i;:::-;4666:8;:14;4675:4;4666:14;;;;;;;;;;;;;;;:26;4681:10;4666:26;;;;;;;;;;;;;;;:66;;;;4762:2;4747:36;;4756:4;4747:36;;;4766:16;4747:36;;;;;;;;;;;;;;;;;;2382:42;4795:30;;4804:4;4795:30;;;4817:7;4795:30;;;;;;;;;;;;;;;;;;4842:4;4835:11;;;;4039:813;;;;;:::o;1883:76::-;1923:5;1944:9;;;;;;;;;;;1937:16;;1883:76;:::o;4859:305::-;4939:4;4979:1;4960:21;;:7;:21;;;;4952:30;;;;;;;;5022:45;5056:10;5022:8;:20;5031:10;5022:20;;;;;;;;;;;;;;;:29;5043:7;5022:29;;;;;;;;;;;;;;;;:33;;:45;;;;:::i;:::-;4989:8;:20;4998:10;4989:20;;;;;;;;;;;;;;;:29;5010:7;4989:29;;;;;;;;;;;;;;;:79;;;;5101:7;5080:60;;5089:10;5080:60;;;5110:8;:20;5119:10;5110:20;;;;;;;;;;;;;;;:29;5131:7;5110:29;;;;;;;;;;;;;;;;5080:60;;;;;;;;;;;;;;;;;;5154:4;5147:11;;4859:305;;;;:::o;5702:77::-;5748:25;5754:10;5766:6;5748:5;:25::i;:::-;5702:77;:::o;2666:100::-;2721:7;2744:9;:16;2754:5;2744:16;;;;;;;;;;;;;;;;2737:23;;2666:100;;;:::o;6080:230::-;6165:8;:17;6174:7;6165:17;;;;;;;;;;;;;;;:29;6183:10;6165:29;;;;;;;;;;;;;;;;6155:6;:39;;6147:48;;;;;;;;6234:41;6268:6;6234:8;:17;6243:7;6234:17;;;;;;;;;;;;;;;:29;6252:10;6234:29;;;;;;;;;;;;;;;;:33;;:41;;;;:::i;:::-;6202:8;:17;6211:7;6202:17;;;;;;;;;;;;;;;:29;6220:10;6202:29;;;;;;;;;;;;;;;:73;;;;6282:22;6288:7;6297:6;6282:5;:22::i;:::-;6080:230;;:::o;1796:80::-;1834:13;1863:7;1856:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1796:80;:::o;5171:315::-;5256:4;5296:1;5277:21;;:7;:21;;;;5269:30;;;;;;;;5339:50;5373:15;5339:8;:20;5348:10;5339:20;;;;;;;;;;;;;;;:29;5360:7;5339:29;;;;;;;;;;;;;;;;:33;;:50;;;;:::i;:::-;5306:8;:20;5315:10;5306:20;;;;;;;;;;;;;;;:29;5327:7;5306:29;;;;;;;;;;;;;;;:84;;;;5423:7;5402:60;;5411:10;5402:60;;;5432:8;:20;5441:10;5432:20;;;;;;;;;;;;;;;:29;5453:7;5432:29;;;;;;;;;;;;;;;;5402:60;;;;;;;;;;;;;;;;;;5476:4;5469:11;;5171:315;;;;:::o;2905:695::-;2966:4;2996:9;:21;3006:10;2996:21;;;;;;;;;;;;;;;;2987:5;:30;;2979:39;;;;;;;;3047:1;3033:16;;:2;:16;;;;3025:25;;;;;;;;3060:15;3097:5;3088;:14;;3085:158;;;3124:1;3114:11;;3085:158;;;3160:16;3170:5;3160;:9;;:16;;;;:::i;:::-;3150:26;;3206:29;3227:7;3206:9;:16;2382:42;3206:16;;;;;;;;;;;;;;;;:20;;:29;;;;:::i;:::-;3187:9;:16;2382:42;3187:16;;;;;;;;;;;;;;;:48;;;;3085:158;3252:24;3279:18;3289:7;3279:5;:9;;:18;;;;:::i;:::-;3252:45;;3331:32;3357:5;3331:9;:21;3341:10;3331:21;;;;;;;;;;;;;;;;:25;;:32;;;;:::i;:::-;3307:9;:21;3317:10;3307:21;;;;;;;;;;;;;;;:56;;;;3386:35;3404:16;3386:9;:13;3396:2;3386:13;;;;;;;;;;;;;;;;:17;;:35;;;;:::i;:::-;3370:9;:13;3380:2;3370:13;;;;;;;;;;;;;;;:51;;;;3446:25;3463:7;3446:12;;:16;;:25;;;;:::i;:::-;3431:12;:40;;;;3507:2;3486:42;;3495:10;3486:42;;;3511:16;3486:42;;;;;;;;;;;;;;;;;;2382;3540:36;;3549:10;3540:36;;;3568:7;3540:36;;;;;;;;;;;;;;;;;;3590:4;3583:11;;;;2905:695;;;;:::o;2773:125::-;2845:7;2868:8;:15;2877:5;2868:15;;;;;;;;;;;;;;;:24;2884:7;2868:24;;;;;;;;;;;;;;;;2861:31;;2773:125;;;;:::o;998:113::-;1056:7;1084:1;1079;:6;;1072:14;;;;;;1104:1;1100;:5;1093:12;;998:113;;;;:::o;879:112::-;937:7;953:9;969:1;965;:5;;;;;;;;953:17;;984:1;977:8;;;879:112;;;;:::o;1118:133::-;1176:7;1192:9;1208:1;1204;:5;1192:17;;1228:1;1223;:6;;1216:14;;;;;;1244:1;1237:8;;;1118:133;;;;:::o;5786:287::-;5868:1;5858:6;:11;;5850:20;;;;;;;;5895:9;:18;5905:7;5895:18;;;;;;;;;;;;;;;;5885:6;:28;;5877:37;;;;;;;;5936:24;5953:6;5936:12;;:16;;:24;;;;:::i;:::-;5921:12;:39;;;;5988:30;6011:6;5988:9;:18;5998:7;5988:18;;;;;;;;;;;;;;;;:22;;:30;;;;:::i;:::-;5967:9;:18;5977:7;5967:18;;;;;;;;;;;;;;;:51;;;;6056:1;6030:37;;6039:7;6030:37;;;6060:6;6030:37;;;;;;;;;;;;;;;;;;5786:287;;:::o

bzzr://9e746edd2ce2db296ea03dbeb999533847ecac41584257af75850da5f140f160