Contract

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 BANG is ERC20Detailed *
•    - function totalSupply()
•    - function balanceOf(address owner)
•    - function allowance(address owner, add ...
•    - function findTwentyFivePercent(uint25 ...
•    - function transfer(address to, uint256 ...
•    - function multiTransfer(address[] memo ...
•    - function multiTransferSingleAmount(ad ...
•    - 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-08-08
*/

/**
The Big BANG
*/

pragma solidity ^0.5.9;

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 {

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

contract BANG is ERC20Detailed {

  using SafeMath for uint256;
  mapping (address => uint256) private _balances;
  mapping (address => mapping (address => uint256)) private _allowed;

  string constant tokenName = "The Big Bang";
  string constant tokenSymbol = "BANG";
  uint8  constant tokenDecimals = 18;
  uint256 _totalSupply = 1000000000000000000000000;
  uint256 public basePercent = 100;

  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 findTwentyFivePercent(uint256 value) public view returns (uint256)  {
    uint256 roundValue = value.ceil(basePercent);
    uint256 TwentyFivePercent = roundValue.mul(basePercent).div(400);
    return TwentyFivePercent;
  }

  function transfer(address to, uint256 value) public returns (bool) {
    require(value <= _balances[msg.sender]);
    require(to != address(0));

    uint256 tokensToBurn = findTwentyFivePercent(value);
    uint256 tokensToTransfer = value.sub(tokensToBurn);

    _balances[msg.sender] = _balances[msg.sender].sub(value);
    _balances[to] = _balances[to].add(tokensToTransfer);

    _totalSupply = _totalSupply.sub(tokensToBurn);

    emit Transfer(msg.sender, to, tokensToTransfer);
    emit Transfer(msg.sender, address(0), tokensToBurn);
    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 multiTransferSingleAmount(address[] memory receivers, uint256 amount) public {
    uint256 toSend = amount * 10**18;

    for (uint256 i = 0; i < receivers.length; i++) {
      transfer(receivers[i], toSend);
    }
  }

  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 tokensToBurn = findTwentyFivePercent(value);
    uint256 tokensToTransfer = value.sub(tokensToBurn);

    _balances[to] = _balances[to].add(tokensToTransfer);
    _totalSupply = _totalSupply.sub(tokensToBurn);

    _allowed[from][msg.sender] = _allowed[from][msg.sender].sub(value);

    emit Transfer(from, to, tokensToTransfer);
    emit Transfer(from, address(0), tokensToBurn);

    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":true,"inputs":[{"name":"value","type":"uint256"}],"name":"findTwentyFivePercent","outputs":[{"name":"","type":"uint256"}],"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":false,"inputs":[{"name":"receivers","type":"address[]"},{"name":"amount","type":"uint256"}],"name":"multiTransferSingleAmount","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":"basePercent","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","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"}]

608060405269d3c21bcecceda100000060055560646006556040518060400160405280600c81526020017f546865204269672042616e6700000000000000000000000000000000000000008152506040518060400160405280600481526020017f42414e4700000000000000000000000000000000000000000000000000000000815250601282600090805190602001906200009d92919062000221565b508160019080519060200190620000b692919062000221565b5080600260006101000a81548160ff021916908360ff160217905550505050620000e933600554620000ef60201b60201c565b620002d0565b6000811415620000fe57600080fd5b6200015781600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546200020460201b620019e51790919060201c565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508173ffffffffffffffffffffffffffffffffffffffff16600073ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a35050565b6000808284019050838110156200021757fe5b8091505092915050565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200026457805160ff191683800117855562000295565b8280016001018555821562000295579182015b828111156200029457825182559160200191906001019062000277565b5b509050620002a49190620002a8565b5090565b620002cd91905b80821115620002c9576000816000905550600101620002af565b5090565b90565b611c3580620002e06000396000f3fe608060405234801561001057600080fd5b506004361061010b5760003560e01c806342966c68116100a257806395d89b411161007157806395d89b411461064b578063a457c2d7146106ce578063a9059cbb14610734578063c5ac0ded1461079a578063dd62ed3e146107b85761010b565b806342966c68146104b557806361c847ae146104e357806370a08231146105a557806379cc6790146105fd5761010b565b806323b872dd116100de57806323b872dd14610363578063313ce567146103e9578063394463601461040d578063395093511461044f5761010b565b806306fdde0314610110578063095ea7b31461019357806318160ddd146101f95780631e89d54514610217575b600080fd5b610118610830565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561015857808201518184015260208101905061013d565b50505050905090810190601f1680156101855780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101df600480360360408110156101a957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506108d2565b604051808215151515815260200191505060405180910390f35b6102016109fd565b6040518082815260200191505060405180910390f35b6103616004803603604081101561022d57600080fd5b810190808035906020019064010000000081111561024a57600080fd5b82018360208201111561025c57600080fd5b8035906020019184602083028401116401000000008311171561027e57600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290803590602001906401000000008111156102de57600080fd5b8201836020820111156102f057600080fd5b8035906020019184602083028401116401000000008311171561031257600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290505050610a07565b005b6103cf6004803603606081101561037957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610a59565b604051808215151515815260200191505060405180910390f35b6103f1610eba565b604051808260ff1660ff16815260200191505060405180910390f35b6104396004803603602081101561042357600080fd5b8101908080359060200190929190505050610ed1565b6040518082815260200191505060405180910390f35b61049b6004803603604081101561046557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610f22565b604051808215151515815260200191505060405180910390f35b6104e1600480360360208110156104cb57600080fd5b8101908080359060200190929190505050611157565b005b6105a3600480360360408110156104f957600080fd5b810190808035906020019064010000000081111561051657600080fd5b82018360208201111561052857600080fd5b8035906020019184602083028401116401000000008311171561054a57600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f82011690508083019250505050505050919291929080359060200190929190505050611164565b005b6105e7600480360360208110156105bb57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506111b3565b6040518082815260200191505060405180910390f35b6106496004803603604081101561061357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506111fc565b005b6106536113a2565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610693578082015181840152602081019050610678565b50505050905090810190601f1680156106c05780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61071a600480360360408110156106e457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611444565b604051808215151515815260200191505060405180910390f35b6107806004803603604081101561074a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611679565b604051808215151515815260200191505060405180910390f35b6107a2611941565b6040518082815260200191505060405180910390f35b61081a600480360360408110156107ce57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611947565b6040518082815260200191505060405180910390f35b606060008054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156108c85780601f1061089d576101008083540402835291602001916108c8565b820191906000526020600020905b8154815290600101906020018083116108ab57829003601f168201915b5050505050905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561090d57600080fd5b81600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000600554905090565b60008090505b8251811015610a5457610a46838281518110610a2557fe5b6020026020010151838381518110610a3957fe5b6020026020010151611679565b508080600101915050610a0d565b505050565b6000600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115610aa757600080fd5b600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115610b3057600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610b6a57600080fd5b610bbc82600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546119ce90919063ffffffff16565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000610c0a83610ed1565b90506000610c2182856119ce90919063ffffffff16565b9050610c7581600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546119e590919063ffffffff16565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610ccd826005546119ce90919063ffffffff16565b600581905550610d6284600460008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546119ce90919063ffffffff16565b600460008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508473ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3600073ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001925050509392505050565b6000600260009054906101000a900460ff16905090565b600080610ee960065484611a0190919063ffffffff16565b90506000610f16610190610f0860065485611a3c90919063ffffffff16565b611a7390919063ffffffff16565b90508092505050919050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610f5d57600080fd5b610fec82600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546119e590919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6111613382611a8c565b50565b6000670de0b6b3a76400008202905060008090505b83518110156111ad5761119f84828151811061119157fe5b602002602001015183611679565b508080600101915050611179565b50505050565b6000600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205481111561128557600080fd5b61131481600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546119ce90919063ffffffff16565b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061139e8282611a8c565b5050565b606060018054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561143a5780601f1061140f5761010080835404028352916020019161143a565b820191906000526020600020905b81548152906001019060200180831161141d57829003601f168201915b5050505050905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561147f57600080fd5b61150e82600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546119ce90919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6000600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156116c757600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561170157600080fd5b600061170c83610ed1565b9050600061172382856119ce90919063ffffffff16565b905061177784600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546119ce90919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061180c81600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546119e590919063ffffffff16565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611864826005546119ce90919063ffffffff16565b6005819055508473ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a360019250505092915050565b60065481565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000828211156119da57fe5b818303905092915050565b6000808284019050838110156119f757fe5b8091505092915050565b600080611a0e84846119e5565b90506000611a1d8260016119ce565b9050611a32611a2c8286611a73565b85611a3c565b9250505092915050565b600080831415611a4f5760009050611a6d565b6000828402905082848281611a6057fe5b0414611a6857fe5b809150505b92915050565b600080828481611a7f57fe5b0490508091505092915050565b6000811415611a9a57600080fd5b600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054811115611ae657600080fd5b611afb816005546119ce90919063ffffffff16565b600581905550611b5381600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546119ce90919063ffffffff16565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505056fea265627a7a7230582090c75056f34d48ae6b9661e8761fe2f478e15b3643b36910cf91b97d2125091e64736f6c63430005090032

0x608060405234801561001057600080fd5b506004361061010b5760003560e01c806342966c68116100a257806395d89b411161007157806395d89b411461064b578063a457c2d7146106ce578063a9059cbb14610734578063c5ac0ded1461079a578063dd62ed3e146107b85761010b565b806342966c68146104b557806361c847ae146104e357806370a08231146105a557806379cc6790146105fd5761010b565b806323b872dd116100de57806323b872dd14610363578063313ce567146103e9578063394463601461040d578063395093511461044f5761010b565b806306fdde0314610110578063095ea7b31461019357806318160ddd146101f95780631e89d54514610217575b600080fd5b610118610830565b6040518080602001828103825283818151815260200191508051906020019080838360005b8381101561015857808201518184015260208101905061013d565b50505050905090810190601f1680156101855780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b6101df600480360360408110156101a957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506108d2565b604051808215151515815260200191505060405180910390f35b6102016109fd565b6040518082815260200191505060405180910390f35b6103616004803603604081101561022d57600080fd5b810190808035906020019064010000000081111561024a57600080fd5b82018360208201111561025c57600080fd5b8035906020019184602083028401116401000000008311171561027e57600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290803590602001906401000000008111156102de57600080fd5b8201836020820111156102f057600080fd5b8035906020019184602083028401116401000000008311171561031257600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f820116905080830192505050505050509192919290505050610a07565b005b6103cf6004803603606081101561037957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610a59565b604051808215151515815260200191505060405180910390f35b6103f1610eba565b604051808260ff1660ff16815260200191505060405180910390f35b6104396004803603602081101561042357600080fd5b8101908080359060200190929190505050610ed1565b6040518082815260200191505060405180910390f35b61049b6004803603604081101561046557600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050610f22565b604051808215151515815260200191505060405180910390f35b6104e1600480360360208110156104cb57600080fd5b8101908080359060200190929190505050611157565b005b6105a3600480360360408110156104f957600080fd5b810190808035906020019064010000000081111561051657600080fd5b82018360208201111561052857600080fd5b8035906020019184602083028401116401000000008311171561054a57600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f82011690508083019250505050505050919291929080359060200190929190505050611164565b005b6105e7600480360360208110156105bb57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506111b3565b6040518082815260200191505060405180910390f35b6106496004803603604081101561061357600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506111fc565b005b6106536113a2565b6040518080602001828103825283818151815260200191508051906020019080838360005b83811015610693578082015181840152602081019050610678565b50505050905090810190601f1680156106c05780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b61071a600480360360408110156106e457600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611444565b604051808215151515815260200191505060405180910390f35b6107806004803603604081101561074a57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919080359060200190929190505050611679565b604051808215151515815260200191505060405180910390f35b6107a2611941565b6040518082815260200191505060405180910390f35b61081a600480360360408110156107ce57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611947565b6040518082815260200191505060405180910390f35b606060008054600181600116156101000203166002900480601f0160208091040260200160405190810160405280929190818152602001828054600181600116156101000203166002900480156108c85780601f1061089d576101008083540402835291602001916108c8565b820191906000526020600020905b8154815290600101906020018083116108ab57829003601f168201915b5050505050905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561090d57600080fd5b81600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925846040518082815260200191505060405180910390a36001905092915050565b6000600554905090565b60008090505b8251811015610a5457610a46838281518110610a2557fe5b6020026020010151838381518110610a3957fe5b6020026020010151611679565b508080600101915050610a0d565b505050565b6000600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115610aa757600080fd5b600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054821115610b3057600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610b6a57600080fd5b610bbc82600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546119ce90919063ffffffff16565b600360008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055506000610c0a83610ed1565b90506000610c2182856119ce90919063ffffffff16565b9050610c7581600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546119e590919063ffffffff16565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550610ccd826005546119ce90919063ffffffff16565b600581905550610d6284600460008973ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546119ce90919063ffffffff16565b600460008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508473ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3600073ffffffffffffffffffffffffffffffffffffffff168673ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a36001925050509392505050565b6000600260009054906101000a900460ff16905090565b600080610ee960065484611a0190919063ffffffff16565b90506000610f16610190610f0860065485611a3c90919063ffffffff16565b611a7390919063ffffffff16565b90508092505050919050565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff161415610f5d57600080fd5b610fec82600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546119e590919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6111613382611a8c565b50565b6000670de0b6b3a76400008202905060008090505b83518110156111ad5761119f84828151811061119157fe5b602002602001015183611679565b508080600101915050611179565b50505050565b6000600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020549050919050565b600460008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205481111561128557600080fd5b61131481600460008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546119ce90919063ffffffff16565b600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061139e8282611a8c565b5050565b606060018054600181600116156101000203166002900480601f01602080910402602001604051908101604052809291908181526020018280546001816001161561010002031660029004801561143a5780601f1061140f5761010080835404028352916020019161143a565b820191906000526020600020905b81548152906001019060200180831161141d57829003601f168201915b5050505050905090565b60008073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561147f57600080fd5b61150e82600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546119ce90919063ffffffff16565b600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055508273ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925600460003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546040518082815260200191505060405180910390a36001905092915050565b6000600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020548211156116c757600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff16141561170157600080fd5b600061170c83610ed1565b9050600061172382856119ce90919063ffffffff16565b905061177784600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546119ce90919063ffffffff16565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555061180c81600360008873ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546119e590919063ffffffff16565b600360008773ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550611864826005546119ce90919063ffffffff16565b6005819055508473ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3600073ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef846040518082815260200191505060405180910390a360019250505092915050565b60065481565b6000600460008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054905092915050565b6000828211156119da57fe5b818303905092915050565b6000808284019050838110156119f757fe5b8091505092915050565b600080611a0e84846119e5565b90506000611a1d8260016119ce565b9050611a32611a2c8286611a73565b85611a3c565b9250505092915050565b600080831415611a4f5760009050611a6d565b6000828402905082848281611a6057fe5b0414611a6857fe5b809150505b92915050565b600080828481611a7f57fe5b0490508091505092915050565b6000811415611a9a57600080fd5b600360008373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054811115611ae657600080fd5b611afb816005546119ce90919063ffffffff16565b600581905550611b5381600360008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020546119ce90919063ffffffff16565b600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002081905550600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040518082815260200191505060405180910390a3505056fea265627a7a7230582090c75056f34d48ae6b9661e8761fe2f478e15b3643b36910cf91b97d2125091e64736f6c63430005090032

1971:4509:0:-;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1971:4509:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1720:76;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;1720:76:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4107:224;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4107:224:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;2515:85;;;:::i;:::-;;;;;;;;;;;;;;;;;;;3668:194;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3668:194:0;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;3668:194:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;3668: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;3668: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;;3668:194:0;;;;;;;;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;3668:194:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;3668: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;3668: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;;3668:194:0;;;;;;;;;;;;;;;:::i;:::-;;4337:693;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;4337:693:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;1888:76;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;2843:236;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2843:236:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5036:305;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5036:305:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5871:77;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5871:77:0;;;;;;;;;;;;;;;;;:::i;:::-;;3868:233;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3868:233:0;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;3868:233:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;3868:233: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;3868:233: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;;3868:233:0;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;2606:100;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2606:100:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;6247:230;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6247:230:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;1802:80;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;23:1:-1;8:100;33:3;30:1;27:10;8:100;;;99:1;94:3;90:11;84:18;80:1;75:3;71:11;64:39;52:2;49:1;45:10;40:15;;8:100;;;12:14;1802:80:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5347:315;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5347:315:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;3085:577;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;3085:577:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;2344:32;;;:::i;:::-;;;;;;;;;;;;;;;;;;;2712:125;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2712:125:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;1720:76;1756:13;1785:5;1778:12;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1720:76;:::o;4107:224::-;4172:4;4212:1;4193:21;;:7;:21;;;;4185:30;;;;;;4254:5;4222:8;:20;4231:10;4222:20;;;;;;;;;;;;;;;:29;4243:7;4222:29;;;;;;;;;;;;;;;:37;;;;4292:7;4271:36;;4280:10;4271:36;;;4301:5;4271:36;;;;;;;;;;;;;;;;;;4321:4;4314:11;;4107:224;;;;:::o;2515:85::-;2559:7;2582:12;;2575:19;;2515:85;:::o;3668:194::-;3764:9;3776:1;3764:13;;3759:98;3783:9;:16;3779:1;:20;3759:98;;;3815:34;3824:9;3834:1;3824:12;;;;;;;;;;;;;;3838:7;3846:1;3838:10;;;;;;;;;;;;;;3815:8;:34::i;:::-;;3801:3;;;;;;;3759:98;;;;3668:194;;:::o;4337:693::-;4416:4;4446:9;:15;4456:4;4446:15;;;;;;;;;;;;;;;;4437:5;:24;;4429:33;;;;;;4486:8;:14;4495:4;4486:14;;;;;;;;;;;;;;;:26;4501:10;4486:26;;;;;;;;;;;;;;;;4477:5;:35;;4469:44;;;;;;4542:1;4528:16;;:2;:16;;;;4520:25;;;;;;4572:26;4592:5;4572:9;:15;4582:4;4572:15;;;;;;;;;;;;;;;;:19;;:26;;;;:::i;:::-;4554:9;:15;4564:4;4554:15;;;;;;;;;;;;;;;:44;;;;4607:20;4630:28;4652:5;4630:21;:28::i;:::-;4607:51;;4665:24;4692:23;4702:12;4692:5;:9;;:23;;;;:::i;:::-;4665:50;;4740:35;4758:16;4740:9;:13;4750:2;4740:13;;;;;;;;;;;;;;;;:17;;:35;;;;:::i;:::-;4724:9;:13;4734:2;4724:13;;;;;;;;;;;;;;;:51;;;;4797:30;4814:12;4797;;:16;;:30;;;;:::i;:::-;4782:12;:45;;;;4865:37;4896:5;4865:8;:14;4874:4;4865:14;;;;;;;;;;;;;;;:26;4880:10;4865:26;;;;;;;;;;;;;;;;:30;;:37;;;;:::i;:::-;4836:8;:14;4845:4;4836:14;;;;;;;;;;;;;;;:26;4851:10;4836:26;;;;;;;;;;;;;;;:66;;;;4931:2;4916:36;;4925:4;4916:36;;;4935:16;4916:36;;;;;;;;;;;;;;;;;;4987:1;4964:40;;4973:4;4964:40;;;4991:12;4964:40;;;;;;;;;;;;;;;;;;5020:4;5013:11;;;;4337:693;;;;;:::o;1888:76::-;1928:5;1949:9;;;;;;;;;;;1942:16;;1888:76;:::o;2843:236::-;2910:7;2927:18;2948:23;2959:11;;2948:5;:10;;:23;;;;:::i;:::-;2927:44;;2978:25;3006:36;3038:3;3006:27;3021:11;;3006:10;:14;;:27;;;;:::i;:::-;:31;;:36;;;;:::i;:::-;2978:64;;3056:17;3049:24;;;;2843:236;;;:::o;5036:305::-;5116:4;5156:1;5137:21;;:7;:21;;;;5129:30;;;;;;5199:45;5233:10;5199:8;:20;5208:10;5199:20;;;;;;;;;;;;;;;:29;5220:7;5199:29;;;;;;;;;;;;;;;;:33;;:45;;;;:::i;:::-;5166:8;:20;5175:10;5166:20;;;;;;;;;;;;;;;:29;5187:7;5166:29;;;;;;;;;;;;;;;:79;;;;5278:7;5257:60;;5266:10;5257:60;;;5287:8;:20;5296:10;5287:20;;;;;;;;;;;;;;;:29;5308:7;5287:29;;;;;;;;;;;;;;;;5257:60;;;;;;;;;;;;;;;;;;5331:4;5324:11;;5036:305;;;;:::o;5871:77::-;5917:25;5923:10;5935:6;5917:5;:25::i;:::-;5871:77;:::o;3868:233::-;3961:14;3987:6;3978;:15;3961:32;;4007:9;4019:1;4007:13;;4002:94;4026:9;:16;4022:1;:20;4002:94;;;4058:30;4067:9;4077:1;4067:12;;;;;;;;;;;;;;4081:6;4058:8;:30::i;:::-;;4044:3;;;;;;;4002:94;;;;3868:233;;;:::o;2606:100::-;2661:7;2684:9;:16;2694:5;2684:16;;;;;;;;;;;;;;;;2677:23;;2606:100;;;:::o;6247:230::-;6332:8;:17;6341:7;6332:17;;;;;;;;;;;;;;;:29;6350:10;6332:29;;;;;;;;;;;;;;;;6322:6;:39;;6314:48;;;;;;6401:41;6435:6;6401:8;:17;6410:7;6401:17;;;;;;;;;;;;;;;:29;6419:10;6401:29;;;;;;;;;;;;;;;;:33;;:41;;;;:::i;:::-;6369:8;:17;6378:7;6369:17;;;;;;;;;;;;;;;:29;6387:10;6369:29;;;;;;;;;;;;;;;:73;;;;6449:22;6455:7;6464:6;6449:5;:22::i;:::-;6247:230;;:::o;1802:80::-;1840:13;1869:7;1862:14;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;1802:80;:::o;5347:315::-;5432:4;5472:1;5453:21;;:7;:21;;;;5445:30;;;;;;5515:50;5549:15;5515:8;:20;5524:10;5515:20;;;;;;;;;;;;;;;:29;5536:7;5515:29;;;;;;;;;;;;;;;;:33;;:50;;;;:::i;:::-;5482:8;:20;5491:10;5482:20;;;;;;;;;;;;;;;:29;5503:7;5482:29;;;;;;;;;;;;;;;:84;;;;5599:7;5578:60;;5587:10;5578:60;;;5608:8;:20;5617:10;5608:20;;;;;;;;;;;;;;;:29;5629:7;5608:29;;;;;;;;;;;;;;;;5578:60;;;;;;;;;;;;;;;;;;5652:4;5645:11;;5347:315;;;;:::o;3085:577::-;3146:4;3176:9;:21;3186:10;3176:21;;;;;;;;;;;;;;;;3167:5;:30;;3159:39;;;;;;3227:1;3213:16;;:2;:16;;;;3205:25;;;;;;3239:20;3262:28;3284:5;3262:21;:28::i;:::-;3239:51;;3297:24;3324:23;3334:12;3324:5;:9;;:23;;;;:::i;:::-;3297:50;;3380:32;3406:5;3380:9;:21;3390:10;3380:21;;;;;;;;;;;;;;;;:25;;:32;;;;:::i;:::-;3356:9;:21;3366:10;3356:21;;;;;;;;;;;;;;;:56;;;;3435:35;3453:16;3435:9;:13;3445:2;3435:13;;;;;;;;;;;;;;;;:17;;:35;;;;:::i;:::-;3419:9;:13;3429:2;3419:13;;;;;;;;;;;;;;;:51;;;;3494:30;3511:12;3494;;:16;;:30;;;;:::i;:::-;3479:12;:45;;;;3559:2;3538:42;;3547:10;3538:42;;;3563:16;3538:42;;;;;;;;;;;;;;;;;;3621:1;3592:46;;3601:10;3592:46;;;3625:12;3592:46;;;;;;;;;;;;;;;;;;3652:4;3645:11;;;;3085:577;;;;:::o;2344:32::-;;;;:::o;2712:125::-;2784:7;2807:8;:15;2816:5;2807:15;;;;;;;;;;;;;;;:24;2823:7;2807:24;;;;;;;;;;;;;;;;2800:31;;2712:125;;;;:::o;1018:113::-;1076:7;1104:1;1099;:6;;1092:14;;;;1124:1;1120;:5;1113:12;;1018:113;;;;:::o;1137:133::-;1195:7;1211:9;1227:1;1223;:5;1211:17;;1247:1;1242;:6;;1235:14;;;;1263:1;1256:8;;;1137:133;;;;:::o;1276:157::-;1335:7;1351:9;1363:8;1367:1;1369;1363:3;:8::i;:::-;1351:20;;1378:9;1390:8;1394:1;1396;1390:3;:8::i;:::-;1378:20;;1412:15;1416:8;1420:1;1422;1416:3;:8::i;:::-;1425:1;1412:3;:15::i;:::-;1405:22;;;;1276:157;;;;:::o;714:180::-;772:7;797:1;792;:6;788:37;;;816:1;809:8;;;;788:37;831:9;847:1;843;:5;831:17;;871:1;866;862;:5;;;;;;:10;855:18;;;;887:1;880:8;;;714:180;;;;;:::o;900:112::-;958:7;974:9;990:1;986;:5;;;;;;974:17;;1005:1;998:8;;;900:112;;;;:::o;5954:287::-;6036:1;6026:6;:11;;6018:20;;;;;;6063:9;:18;6073:7;6063:18;;;;;;;;;;;;;;;;6053:6;:28;;6045:37;;;;;;6104:24;6121:6;6104:12;;:16;;:24;;;;:::i;:::-;6089:12;:39;;;;6156:30;6179:6;6156:9;:18;6166:7;6156:18;;;;;;;;;;;;;;;;:22;;:30;;;;:::i;:::-;6135:9;:18;6145:7;6135:18;;;;;;;;;;;;;;;:51;;;;6224:1;6198:37;;6207:7;6198:37;;;6228:6;6198:37;;;;;;;;;;;;;;;;;;5954:287;;:::o

bzzr://90c75056f34d48ae6b9661e8761fe2f478e15b3643b36910cf91b97d2125091e