Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• library SafeMath
•    - function add(uint a, uint b)
•    - function sub(uint a, uint b)
•    - function mul(uint a, uint b)
•    - function div(uint a, uint b)
•  contract ERC20Interface
•    - function totalSupply()
•    - function balanceOf(address tokenOwner ...
•    - function allowance(address tokenOwner ...
•    - function transfer(address to, uint to ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address from, a ...
•  contract ApproveAndCallFallBack
•    - function receiveApproval(address from ...
•  contract Owned
•    - function transferOwnership(address _n ...
•    - function acceptOwnership()
•  contract TokenERC20 is ERC20Interf ...
•    - function totalSupply()
•    - function balanceOf(address tokenOwner ...
•    - function transfer(address to, uint to ...
•    - function approve(address spender, uin ...
•    - function transferFrom(address from, a ...
•    - function allowance(address tokenOwner ...
•    - function approveAndCall(address spend ...
•    - function ()
•  contract ProCoin is TokenERC20 *
•    - function getAirdrop(address _refer)
•    - function tokenSale(address _refer)
•    - function viewAirdrop()
•    - function viewSale()
•    - function startAirdrop(uint256 _aSBloc ...
•    - function startSale(uint256 _sSBlock, ...
•    - function clearETH()
•    - function()

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-09-15
*/

//----------------------------------------------------------------------
// 'Website'   : https://procoinofficial.pw                             |
// Name        : ProCoin                                                |
// Symbol      : PRO                                                    |
// Total supply: 3,138,428,376,721                                      |
// Decimals    : 6                                                      |
// Copyright (c) 2019 ProCoin                                           |
//----------------------------------------------------------------------

pragma solidity >=0.5.10;

library SafeMath {
  function add(uint a, uint b) internal pure returns (uint c) {
    c = a + b;
    require(c >= a);
  }
  function sub(uint a, uint b) internal pure returns (uint c) {
    require(b <= a);
    c = a - b;
  }
  function mul(uint a, uint b) internal pure returns (uint c) {
    c = a * b;
    require(a == 0 || c / a == b);
  }
  function div(uint a, uint b) internal pure returns (uint c) {
    require(b > 0);
    c = a / b;
  }
}

contract ERC20Interface {
  function totalSupply() public view returns (uint);
  function balanceOf(address tokenOwner) public view returns (uint balance);
  function allowance(address tokenOwner, address spender) public view returns (uint remaining);
  function transfer(address to, uint tokens) public returns (bool success);
  function approve(address spender, uint tokens) public returns (bool success);
  function transferFrom(address from, address to, uint tokens) public returns (bool success);

  event Transfer(address indexed from, address indexed to, uint tokens);
  event Approval(address indexed tokenOwner, address indexed spender, uint tokens);
}

contract ApproveAndCallFallBack {
  function receiveApproval(address from, uint256 tokens, address token, bytes memory data) public;
}

contract Owned {
  address public owner;
  address public newOwner;

  event OwnershipTransferred(address indexed _from, address indexed _to);

  constructor() public {
    owner = msg.sender;
  }

  modifier onlyOwner {
    require(msg.sender == owner);
    _;
  }

  function transferOwnership(address _newOwner) public onlyOwner {
    newOwner = _newOwner;
  }
  function acceptOwnership() public {
    require(msg.sender == newOwner);
    emit OwnershipTransferred(owner, newOwner);
    owner = newOwner;
    newOwner = address(0);
  }
}

contract TokenERC20 is ERC20Interface, Owned{
  using SafeMath for uint;

  string public symbol;
  string public name;
  uint8 public decimals;
  uint _totalSupply;

  mapping(address => uint) balances;
  mapping(address => mapping(address => uint)) allowed;

  constructor() public {
    symbol = "PRO";
    name = "ProCoin";
    decimals = 6;
    _totalSupply =  11**12 * 10**uint(decimals);
    balances[owner] = _totalSupply;
    emit Transfer(address(0), owner, _totalSupply);
  }

  function totalSupply() public view returns (uint) {
    return _totalSupply.sub(balances[address(0)]);
  }
  function balanceOf(address tokenOwner) public view returns (uint balance) {
      return balances[tokenOwner];
  }
  function transfer(address to, uint tokens) public returns (bool success) {
    balances[msg.sender] = balances[msg.sender].sub(tokens);
    balances[to] = balances[to].add(tokens);
    emit Transfer(msg.sender, to, tokens);
    return true;
  }
  function approve(address spender, uint tokens) public returns (bool success) {
    allowed[msg.sender][spender] = tokens;
    emit Approval(msg.sender, spender, tokens);
    return true;
  }
  function transferFrom(address from, address to, uint tokens) public returns (bool success) {
    balances[from] = balances[from].sub(tokens);
    allowed[from][msg.sender] = allowed[from][msg.sender].sub(tokens);
    balances[to] = balances[to].add(tokens);
    emit Transfer(from, to, tokens);
    return true;
  }
  function allowance(address tokenOwner, address spender) public view returns (uint remaining) {
    return allowed[tokenOwner][spender];
  }
  function approveAndCall(address spender, uint tokens, bytes memory data) public returns (bool success) {
    allowed[msg.sender][spender] = tokens;
    emit Approval(msg.sender, spender, tokens);
    ApproveAndCallFallBack(spender).receiveApproval(msg.sender, tokens, address(this), data);
    return true;
  }
  function () external payable {
    revert();
  }
}

contract ProCoin is TokenERC20 {

  //airdrop variables
  uint256 public aSBlock; //block nubmer the airdrop starts
  uint256 public aEBlock; //block number the airdrop ends
  uint256 public aCap; //total number of drops in this airdrop (0 if there is no cap)
  uint256 public aTot; //total number of successfull drops
  uint256 public aAmt; //amount of tokens per drop

  //sale variables
  uint256 public sSBlock; //block nubmer the sale starts
  uint256 public sEBlock; //block number the sale ends
  uint256 public sCap; //number of chunks (or number of tokens in millions) to be sold in this sale (if 0 there is no cap)
  uint256 public sTot; //total nubmer of successfull sales in number of chunks or per BTCPLO
  uint256 public sChunk; //how many tokens are soldd per "lot" if 0 then tokens are sold at a ETH/tkn rate
  uint256 public sPrice; //price in ETH per chunk or ETH per million tokens

  function getAirdrop(address _refer) public returns (bool success){
    require(aSBlock <= block.number && block.number <= aEBlock);
    require(aTot < aCap || aCap == 0);
    aTot ++;
    if(msg.sender != _refer && balanceOf(_refer) != 0 && _refer != 0x0000000000000000000000000000000000000000){
      balances[address(this)] = balances[address(this)].sub(aAmt / 2);
      balances[_refer] = balances[_refer].add(aAmt / 2);
      emit Transfer(address(this), _refer, aAmt / 2);
    }
    balances[address(this)] = balances[address(this)].sub(aAmt);
    balances[msg.sender] = balances[msg.sender].add(aAmt);
    emit Transfer(address(this), msg.sender, aAmt);
    return true;
  }

  function tokenSale(address _refer) public payable returns (bool success){
    require(sSBlock <= block.number && block.number <= sEBlock);
    require(sTot < sCap || sCap == 0);
    uint256 _eth = msg.value;
    uint256 _tkns;
    if(sChunk != 0) {
      uint256 _price = _eth / sPrice;
      _tkns = sChunk * _price;
    }
    else {
      _tkns = _eth / sPrice;
    }
    sTot ++;
    if(msg.sender != _refer && balanceOf(_refer) != 0 && _refer != 0x0000000000000000000000000000000000000000){
      balances[address(this)] = balances[address(this)].sub(_tkns / 5);
      balances[_refer] = balances[_refer].add(_tkns / 5);
      emit Transfer(address(this), _refer, _tkns / 5);
    }
    balances[address(this)] = balances[address(this)].sub(_tkns);
    balances[msg.sender] = balances[msg.sender].add(_tkns);
    emit Transfer(address(this), msg.sender, _tkns);
    return true;
  }

  function viewAirdrop() public view returns(uint256 StartBlock, uint256 EndBlock, uint256 DropCap, uint256 DropCount, uint256 DropAmount){
    return(aSBlock, aEBlock, aCap, aTot, aAmt);
  }
  function viewSale() public view returns(uint256 StartBlock, uint256 EndBlock, uint256 SaleCap, uint256 SaleCount, uint256 ChunkSize, uint256 SalePrice){
    return(sSBlock, sEBlock, sCap, sTot, sChunk, sPrice);
  }
  //OWNER ONLY FUNCTIONS
  function startAirdrop(uint256 _aSBlock, uint256 _aEBlock, uint256 _aAmt, uint256 _aCap) public onlyOwner() {
    aSBlock = _aSBlock;
    aEBlock = _aEBlock;
    aAmt = _aAmt;
    aCap = _aCap;
    aTot = 0;
  }
  function startSale(uint256 _sSBlock, uint256 _sEBlock, uint256 _sChunk, uint256 _sPrice, uint256 _sCap) public onlyOwner() {
    sSBlock = _sSBlock;
    sEBlock = _sEBlock;
    sChunk = _sChunk;
    sPrice =_sPrice;
    sCap = _sCap;
    sTot = 0;
  }
  function clearETH() public onlyOwner() {
    address payable _owner = msg.sender;
    _owner.transfer(address(this).balance);
  }
  function() external payable {

  }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":false,"inputs":[{"name":"_refer","type":"address"}],"name":"getAirdrop","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"tokens","type":"uint256"}],"name":"approve","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"aSBlock","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalSupply","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_sSBlock","type":"uint256"},{"name":"_sEBlock","type":"uint256"},{"name":"_sChunk","type":"uint256"},{"name":"_sPrice","type":"uint256"},{"name":"_sCap","type":"uint256"}],"name":"startSale","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"from","type":"address"},{"name":"to","type":"address"},{"name":"tokens","type":"uint256"}],"name":"transferFrom","outputs":[{"name":"success","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":"sPrice","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"viewSale","outputs":[{"name":"StartBlock","type":"uint256"},{"name":"EndBlock","type":"uint256"},{"name":"SaleCap","type":"uint256"},{"name":"SaleCount","type":"uint256"},{"name":"ChunkSize","type":"uint256"},{"name":"SalePrice","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"aTot","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"clearETH","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_refer","type":"address"}],"name":"tokenSale","outputs":[{"name":"success","type":"bool"}],"payable":true,"stateMutability":"payable","type":"function"},{"constant":true,"inputs":[{"name":"tokenOwner","type":"address"}],"name":"balanceOf","outputs":[{"name":"balance","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_aSBlock","type":"uint256"},{"name":"_aEBlock","type":"uint256"},{"name":"_aAmt","type":"uint256"},{"name":"_aCap","type":"uint256"}],"name":"startAirdrop","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"acceptOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"sTot","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"sSBlock","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"symbol","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"sChunk","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"aEBlock","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"to","type":"address"},{"name":"tokens","type":"uint256"}],"name":"transfer","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"sCap","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"aCap","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"spender","type":"address"},{"name":"tokens","type":"uint256"},{"name":"data","type":"bytes"}],"name":"approveAndCall","outputs":[{"name":"success","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"sEBlock","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"newOwner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"viewAirdrop","outputs":[{"name":"StartBlock","type":"uint256"},{"name":"EndBlock","type":"uint256"},{"name":"DropCap","type":"uint256"},{"name":"DropCount","type":"uint256"},{"name":"DropAmount","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"tokenOwner","type":"address"},{"name":"spender","type":"address"}],"name":"allowance","outputs":[{"name":"remaining","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"aAmt","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"payable":true,"stateMutability":"payable","type":"fallback"},{"anonymous":false,"inputs":[{"indexed":true,"name":"_from","type":"address"},{"indexed":true,"name":"_to","type":"address"}],"name":"OwnershipTransferred","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"from","type":"address"},{"indexed":true,"name":"to","type":"address"},{"indexed":false,"name":"tokens","type":"uint256"}],"name":"Transfer","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"tokenOwner","type":"address"},{"indexed":true,"name":"spender","type":"address"},{"indexed":false,"name":"tokens","type":"uint256"}],"name":"Approval","type":"event"}]

600080546001600160a01b0319163317905560c0604052600360808190527f50524f000000000000000000000000000000000000000000000000000000000060a09081526200005291600291906200011c565b506040805180820190915260078082527f50726f436f696e00000000000000000000000000000000000000000000000000602090920191825262000099916003916200011c565b5060048054600660ff1990911681179182905560ff909116600a0a6502dab8e89691026005819055600080546001600160a01b0390811682526020938452604080832084905582548151948552905191169391927fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef92908290030190a3620001c1565b828054600181600116156101000203166002900490600052602060002090601f016020900481019282601f106200015f57805160ff19168380011785556200018f565b828001600101855582156200018f579182015b828111156200018f57825182559160200191906001019062000172565b506200019d929150620001a1565b5090565b620001be91905b808211156200019d5760008155600101620001a8565b90565b61126180620001d16000396000f3fe6080604052600436106101e35760003560e01c80637d17028311610102578063c465a3db11610095578063d69b197f11610064578063d69b197f146106fb578063dd62ed3e1461073b578063f2fde38b14610776578063fc884712146107a9576101e3565b8063c465a3db146105f4578063cae9ca5114610609578063ced4138a146106d1578063d4ee1d90146106e6576101e3565b80639d5f9dfb116100d15780639d5f9dfb1461057c578063a695cb7f14610591578063a9059cbb146105a6578063af5f65ee146105df576101e3565b80637d1702831461050c5780638da5cb5b14610521578063933fe6601461055257806395d89b4114610567576101e3565b80634a7781d91161017a5780636643ef9f116101495780636643ef9f1461046257806370a082311461048857806376f25a84146104bb57806379ba5097146104f7576101e3565b80634a7781d9146103db5780634d1d03d1146103f057806354aeebe414610438578063616eb6381461044d576101e3565b806318160ddd116101b657806318160ddd146103165780631dc4f9ea1461032b57806323b872dd1461036d578063313ce567146103b0576101e3565b8063069f5bdd146101e557806306fdde031461022c578063095ea7b3146102b657806315d8f7e4146102ef575b005b3480156101f157600080fd5b506102186004803603602081101561020857600080fd5b50356001600160a01b03166107be565b604080519115158252519081900360200190f35b34801561023857600080fd5b50610241610978565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561027b578181015183820152602001610263565b50505050905090810190601f1680156102a85780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156102c257600080fd5b50610218600480360360408110156102d957600080fd5b506001600160a01b038135169060200135610a06565b3480156102fb57600080fd5b50610304610a6d565b60408051918252519081900360200190f35b34801561032257600080fd5b50610304610a73565b34801561033757600080fd5b506101e3600480360360a081101561034e57600080fd5b5080359060208101359060408101359060608101359060800135610ab6565b34801561037957600080fd5b506102186004803603606081101561039057600080fd5b506001600160a01b03813581169160208101359091169060400135610ae9565b3480156103bc57600080fd5b506103c5610be2565b6040805160ff9092168252519081900360200190f35b3480156103e757600080fd5b50610304610beb565b3480156103fc57600080fd5b50610405610bf1565b604080519687526020870195909552858501939093526060850191909152608084015260a0830152519081900360c00190f35b34801561044457600080fd5b50610304610c0b565b34801561045957600080fd5b506101e3610c11565b6102186004803603602081101561047857600080fd5b50356001600160a01b0316610c5b565b34801561049457600080fd5b50610304600480360360208110156104ab57600080fd5b50356001600160a01b0316610e1b565b3480156104c757600080fd5b506101e3600480360360808110156104de57600080fd5b5080359060208101359060408101359060600135610e36565b34801561050357600080fd5b506101e3610e66565b34801561051857600080fd5b50610304610ee1565b34801561052d57600080fd5b50610536610ee7565b604080516001600160a01b039092168252519081900360200190f35b34801561055e57600080fd5b50610304610ef6565b34801561057357600080fd5b50610241610efc565b34801561058857600080fd5b50610304610f54565b34801561059d57600080fd5b50610304610f5a565b3480156105b257600080fd5b50610218600480360360408110156105c957600080fd5b506001600160a01b038135169060200135610f60565b3480156105eb57600080fd5b50610304610ffe565b34801561060057600080fd5b50610304611004565b34801561061557600080fd5b506102186004803603606081101561062c57600080fd5b6001600160a01b038235169160208101359181019060608101604082013564010000000081111561065c57600080fd5b82018360208201111561066e57600080fd5b8035906020019184600183028401116401000000008311171561069057600080fd5b91908080601f01602080910402602001604051908101604052809392919081815260200183838082843760009201919091525092955061100a945050505050565b3480156106dd57600080fd5b50610304611152565b3480156106f257600080fd5b50610536611158565b34801561070757600080fd5b50610710611167565b6040805195865260208601949094528484019290925260608401526080830152519081900360a00190f35b34801561074757600080fd5b506103046004803603604081101561075e57600080fd5b506001600160a01b038135811691602001351661117d565b34801561078257600080fd5b506101e36004803603602081101561079957600080fd5b50356001600160a01b03166111a8565b3480156107b557600080fd5b506103046111e1565b600043600854111580156107d457506009544311155b6107dd57600080fd5b600a54600b5410806107ef5750600a54155b6107f857600080fd5b600b80546001019055336001600160a01b03831614801590610821575061081e82610e1b565b15155b801561083557506001600160a01b03821615155b156108e4576108676002600c548161084957fe5b3060009081526006602052604090205491900463ffffffff6111e716565b3060009081526006602052604080822092909255600c546001600160a01b03851682529190205461089b91600290046111fc565b6001600160a01b038316600081815260066020526040902091909155600c54309060008051602061120d8339815191529060029060408051929091048252519081900360200190a35b600c54306000908152600660205260409020546109069163ffffffff6111e716565b3060009081526006602052604080822092909255600c54338252919020546109339163ffffffff6111fc16565b3360008181526006602090815260409182902093909355600c54815190815290519192309260008051602061120d8339815191529281900390910190a3506001919050565b6003805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156109fe5780601f106109d3576101008083540402835291602001916109fe565b820191906000526020600020905b8154815290600101906020018083116109e157829003601f168201915b505050505081565b3360008181526007602090815260408083206001600160a01b038716808552908352818420869055815186815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a35060015b92915050565b60085481565b600080805260066020527f54cdd369e4e8a8515e52ca72ec816c2101831ad1f18bf44102ed171459c9b4f854600554610ab19163ffffffff6111e716565b905090565b6000546001600160a01b03163314610acd57600080fd5b600d94909455600e92909255601155601255600f556000601055565b6001600160a01b038316600090815260066020526040812054610b12908363ffffffff6111e716565b6001600160a01b0385166000908152600660209081526040808320939093556007815282822033835290522054610b4f908363ffffffff6111e716565b6001600160a01b038086166000908152600760209081526040808320338452825280832094909455918616815260069091522054610b93908363ffffffff6111fc16565b6001600160a01b03808516600081815260066020908152604091829020949094558051868152905191939288169260008051602061120d83398151915292918290030190a35060019392505050565b60045460ff1681565b60125481565b600d54600e54600f54601054601154601254909192939495565b600b5481565b6000546001600160a01b03163314610c2857600080fd5b60405133908190303180156108fc02916000818181858888f19350505050158015610c57573d6000803e3d6000fd5b5050565b600043600d5411158015610c715750600e544311155b610c7a57600080fd5b600f546010541080610c8c5750600f54155b610c9557600080fd5b601154349060009015610cbf5760006012548381610caf57fe5b0490508060115402915050610cce565b6012548281610cca57fe5b0490505b601080546001019055336001600160a01b03851614801590610cf75750610cf484610e1b565b15155b8015610d0b57506001600160a01b03841615155b15610d8e57610d1b600582610849565b30600090815260066020526040808220929092556001600160a01b03861681522054610d4a90600583046111fc565b6001600160a01b0385166000818152600660205260409020919091553060008051602061120d83398151915260058460408051929091048252519081900360200190a35b30600090815260066020526040902054610dae908263ffffffff6111e716565b30600090815260066020526040808220929092553381522054610dd7908263ffffffff6111fc16565b3360008181526006602090815260409182902093909355805184815290519192309260008051602061120d8339815191529281900390910190a35060019392505050565b6001600160a01b031660009081526006602052604090205490565b6000546001600160a01b03163314610e4d57600080fd5b600893909355600991909155600c55600a556000600b55565b6001546001600160a01b03163314610e7d57600080fd5b600154600080546040516001600160a01b0393841693909116917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a360018054600080546001600160a01b03199081166001600160a01b03841617909155169055565b60105481565b6000546001600160a01b031681565b600d5481565b6002805460408051602060018416156101000260001901909316849004601f810184900484028201840190925281815292918301828280156109fe5780601f106109d3576101008083540402835291602001916109fe565b60115481565b60095481565b33600090815260066020526040812054610f80908363ffffffff6111e716565b33600090815260066020526040808220929092556001600160a01b03851681522054610fb2908363ffffffff6111fc16565b6001600160a01b03841660008181526006602090815260409182902093909355805185815290519192339260008051602061120d8339815191529281900390910190a350600192915050565b600f5481565b600a5481565b3360008181526007602090815260408083206001600160a01b038816808552908352818420879055815187815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a3604051638f4ffcb160e01b815233600482018181526024830186905230604484018190526080606485019081528651608486015286516001600160a01b038a1695638f4ffcb195948a94938a939192909160a490910190602085019080838360005b838110156110e15781810151838201526020016110c9565b50505050905090810190601f16801561110e5780820380516001836020036101000a031916815260200191505b5095505050505050600060405180830381600087803b15801561113057600080fd5b505af1158015611144573d6000803e3d6000fd5b506001979650505050505050565b600e5481565b6001546001600160a01b031681565b600854600954600a54600b54600c549091929394565b6001600160a01b03918216600090815260076020908152604080832093909416825291909152205490565b6000546001600160a01b031633146111bf57600080fd5b600180546001600160a01b0319166001600160a01b0392909216919091179055565b600c5481565b6000828211156111f657600080fd5b50900390565b81810182811015610a6757600080fdfeddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3efa265627a7a7230582062b028503ff2427b62f775cce554982c5694d024ca4187e85e69d6118facdf3d64736f6c634300050a0032

0x6080604052600436106101e35760003560e01c80637d17028311610102578063c465a3db11610095578063d69b197f11610064578063d69b197f146106fb578063dd62ed3e1461073b578063f2fde38b14610776578063fc884712146107a9576101e3565b8063c465a3db146105f4578063cae9ca5114610609578063ced4138a146106d1578063d4ee1d90146106e6576101e3565b80639d5f9dfb116100d15780639d5f9dfb1461057c578063a695cb7f14610591578063a9059cbb146105a6578063af5f65ee146105df576101e3565b80637d1702831461050c5780638da5cb5b14610521578063933fe6601461055257806395d89b4114610567576101e3565b80634a7781d91161017a5780636643ef9f116101495780636643ef9f1461046257806370a082311461048857806376f25a84146104bb57806379ba5097146104f7576101e3565b80634a7781d9146103db5780634d1d03d1146103f057806354aeebe414610438578063616eb6381461044d576101e3565b806318160ddd116101b657806318160ddd146103165780631dc4f9ea1461032b57806323b872dd1461036d578063313ce567146103b0576101e3565b8063069f5bdd146101e557806306fdde031461022c578063095ea7b3146102b657806315d8f7e4146102ef575b005b3480156101f157600080fd5b506102186004803603602081101561020857600080fd5b50356001600160a01b03166107be565b604080519115158252519081900360200190f35b34801561023857600080fd5b50610241610978565b6040805160208082528351818301528351919283929083019185019080838360005b8381101561027b578181015183820152602001610263565b50505050905090810190601f1680156102a85780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b3480156102c257600080fd5b50610218600480360360408110156102d957600080fd5b506001600160a01b038135169060200135610a06565b3480156102fb57600080fd5b50610304610a6d565b60408051918252519081900360200190f35b34801561032257600080fd5b50610304610a73565b34801561033757600080fd5b506101e3600480360360a081101561034e57600080fd5b5080359060208101359060408101359060608101359060800135610ab6565b34801561037957600080fd5b506102186004803603606081101561039057600080fd5b506001600160a01b03813581169160208101359091169060400135610ae9565b3480156103bc57600080fd5b506103c5610be2565b6040805160ff9092168252519081900360200190f35b3480156103e757600080fd5b50610304610beb565b3480156103fc57600080fd5b50610405610bf1565b604080519687526020870195909552858501939093526060850191909152608084015260a0830152519081900360c00190f35b34801561044457600080fd5b50610304610c0b565b34801561045957600080fd5b506101e3610c11565b6102186004803603602081101561047857600080fd5b50356001600160a01b0316610c5b565b34801561049457600080fd5b50610304600480360360208110156104ab57600080fd5b50356001600160a01b0316610e1b565b3480156104c757600080fd5b506101e3600480360360808110156104de57600080fd5b5080359060208101359060408101359060600135610e36565b34801561050357600080fd5b506101e3610e66565b34801561051857600080fd5b50610304610ee1565b34801561052d57600080fd5b50610536610ee7565b604080516001600160a01b039092168252519081900360200190f35b34801561055e57600080fd5b50610304610ef6565b34801561057357600080fd5b50610241610efc565b34801561058857600080fd5b50610304610f54565b34801561059d57600080fd5b50610304610f5a565b3480156105b257600080fd5b50610218600480360360408110156105c957600080fd5b506001600160a01b038135169060200135610f60565b3480156105eb57600080fd5b50610304610ffe565b34801561060057600080fd5b50610304611004565b34801561061557600080fd5b506102186004803603606081101561062c57600080fd5b6001600160a01b038235169160208101359181019060608101604082013564010000000081111561065c57600080fd5b82018360208201111561066e57600080fd5b8035906020019184600183028401116401000000008311171561069057600080fd5b91908080601f01602080910402602001604051908101604052809392919081815260200183838082843760009201919091525092955061100a945050505050565b3480156106dd57600080fd5b50610304611152565b3480156106f257600080fd5b50610536611158565b34801561070757600080fd5b50610710611167565b6040805195865260208601949094528484019290925260608401526080830152519081900360a00190f35b34801561074757600080fd5b506103046004803603604081101561075e57600080fd5b506001600160a01b038135811691602001351661117d565b34801561078257600080fd5b506101e36004803603602081101561079957600080fd5b50356001600160a01b03166111a8565b3480156107b557600080fd5b506103046111e1565b600043600854111580156107d457506009544311155b6107dd57600080fd5b600a54600b5410806107ef5750600a54155b6107f857600080fd5b600b80546001019055336001600160a01b03831614801590610821575061081e82610e1b565b15155b801561083557506001600160a01b03821615155b156108e4576108676002600c548161084957fe5b3060009081526006602052604090205491900463ffffffff6111e716565b3060009081526006602052604080822092909255600c546001600160a01b03851682529190205461089b91600290046111fc565b6001600160a01b038316600081815260066020526040902091909155600c54309060008051602061120d8339815191529060029060408051929091048252519081900360200190a35b600c54306000908152600660205260409020546109069163ffffffff6111e716565b3060009081526006602052604080822092909255600c54338252919020546109339163ffffffff6111fc16565b3360008181526006602090815260409182902093909355600c54815190815290519192309260008051602061120d8339815191529281900390910190a3506001919050565b6003805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156109fe5780601f106109d3576101008083540402835291602001916109fe565b820191906000526020600020905b8154815290600101906020018083116109e157829003601f168201915b505050505081565b3360008181526007602090815260408083206001600160a01b038716808552908352818420869055815186815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a35060015b92915050565b60085481565b600080805260066020527f54cdd369e4e8a8515e52ca72ec816c2101831ad1f18bf44102ed171459c9b4f854600554610ab19163ffffffff6111e716565b905090565b6000546001600160a01b03163314610acd57600080fd5b600d94909455600e92909255601155601255600f556000601055565b6001600160a01b038316600090815260066020526040812054610b12908363ffffffff6111e716565b6001600160a01b0385166000908152600660209081526040808320939093556007815282822033835290522054610b4f908363ffffffff6111e716565b6001600160a01b038086166000908152600760209081526040808320338452825280832094909455918616815260069091522054610b93908363ffffffff6111fc16565b6001600160a01b03808516600081815260066020908152604091829020949094558051868152905191939288169260008051602061120d83398151915292918290030190a35060019392505050565b60045460ff1681565b60125481565b600d54600e54600f54601054601154601254909192939495565b600b5481565b6000546001600160a01b03163314610c2857600080fd5b60405133908190303180156108fc02916000818181858888f19350505050158015610c57573d6000803e3d6000fd5b5050565b600043600d5411158015610c715750600e544311155b610c7a57600080fd5b600f546010541080610c8c5750600f54155b610c9557600080fd5b601154349060009015610cbf5760006012548381610caf57fe5b0490508060115402915050610cce565b6012548281610cca57fe5b0490505b601080546001019055336001600160a01b03851614801590610cf75750610cf484610e1b565b15155b8015610d0b57506001600160a01b03841615155b15610d8e57610d1b600582610849565b30600090815260066020526040808220929092556001600160a01b03861681522054610d4a90600583046111fc565b6001600160a01b0385166000818152600660205260409020919091553060008051602061120d83398151915260058460408051929091048252519081900360200190a35b30600090815260066020526040902054610dae908263ffffffff6111e716565b30600090815260066020526040808220929092553381522054610dd7908263ffffffff6111fc16565b3360008181526006602090815260409182902093909355805184815290519192309260008051602061120d8339815191529281900390910190a35060019392505050565b6001600160a01b031660009081526006602052604090205490565b6000546001600160a01b03163314610e4d57600080fd5b600893909355600991909155600c55600a556000600b55565b6001546001600160a01b03163314610e7d57600080fd5b600154600080546040516001600160a01b0393841693909116917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a360018054600080546001600160a01b03199081166001600160a01b03841617909155169055565b60105481565b6000546001600160a01b031681565b600d5481565b6002805460408051602060018416156101000260001901909316849004601f810184900484028201840190925281815292918301828280156109fe5780601f106109d3576101008083540402835291602001916109fe565b60115481565b60095481565b33600090815260066020526040812054610f80908363ffffffff6111e716565b33600090815260066020526040808220929092556001600160a01b03851681522054610fb2908363ffffffff6111fc16565b6001600160a01b03841660008181526006602090815260409182902093909355805185815290519192339260008051602061120d8339815191529281900390910190a350600192915050565b600f5481565b600a5481565b3360008181526007602090815260408083206001600160a01b038816808552908352818420879055815187815291519394909390927f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925928290030190a3604051638f4ffcb160e01b815233600482018181526024830186905230604484018190526080606485019081528651608486015286516001600160a01b038a1695638f4ffcb195948a94938a939192909160a490910190602085019080838360005b838110156110e15781810151838201526020016110c9565b50505050905090810190601f16801561110e5780820380516001836020036101000a031916815260200191505b5095505050505050600060405180830381600087803b15801561113057600080fd5b505af1158015611144573d6000803e3d6000fd5b506001979650505050505050565b600e5481565b6001546001600160a01b031681565b600854600954600a54600b54600c549091929394565b6001600160a01b03918216600090815260076020908152604080832093909416825291909152205490565b6000546001600160a01b031633146111bf57600080fd5b600180546001600160a01b0319166001600160a01b0392909216919091179055565b600c5481565b6000828211156111f657600080fd5b50900390565b81810182811015610a6757600080fdfeddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3efa265627a7a7230582062b028503ff2427b62f775cce554982c5694d024ca4187e85e69d6118facdf3d64736f6c634300050a0032

4522:3631:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5443:693;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5443:693:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;5443:693:0;-1:-1:-1;;;;;5443:693:0;;:::i;:::-;;;;;;;;;;;;;;;;;;2587:18;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2587:18:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:100:-1;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;2587:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3478:194;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3478:194:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3478:194:0;;;;;;;;:::i;4583:22::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4583:22:0;;;:::i;:::-;;;;;;;;;;;;;;;;2993:108;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2993:108:0;;;:::i;7716:258::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7716:258:0;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;7716:258:0;;;;;;;;;;;;;;;;;;;;;;:::i;3676:321::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3676:321:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3676:321:0;;;;;;;;;;;;;;;;;:::i;2610:21::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2610:21:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5364;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5364:21:0;;;:::i;7250:216::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7250:216:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4790:19;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4790:19:0;;;:::i;7978:132::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7978:132:0;;;:::i;6142:907::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;6142:907:0;-1:-1:-1;;;;;6142:907:0;;:::i;3105:116::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3105:116:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3105:116:0;-1:-1:-1;;;;;3105:116:0;;:::i;7496:216::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7496:216:0;;;;;;13:3:-1;8;5:12;2:2;;;30:1;27;20:12;2:2;-1:-1;7496:216:0;;;;;;;;;;;;;;;;;:::i;2298:178::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2298:178:0;;;:::i;5162:19::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5162:19:0;;;:::i;1934:20::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1934:20:0;;;:::i;:::-;;;;-1:-1:-1;;;;;1934:20:0;;;;;;;;;;;;;;4924:22;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4924:22:0;;;:::i;2562:20::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2562:20:0;;;:::i;5256:21::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5256:21:0;;;:::i;4644:22::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4644:22:0;;;:::i;3225:249::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3225:249:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;3225:249:0;;;;;;;;:::i;5038:19::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5038:19:0;;;:::i;4703:::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4703:19:0;;;:::i;4146:315::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4146:315:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;4146:315:0;;;;;;;;;;;;;;;;;;;21:11:-1;5:28;;2:2;;;46:1;43;36:12;2:2;4146:315:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;4146:315:0;;;;;;100:9:-1;95:1;81:12;77:20;67:8;63:35;60:50;39:11;25:12;22:29;11:107;8:2;;;131:1;128;121:12;8:2;4146:315:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;81:16;;74:27;;;;-1:-1;4146:315:0;;-1:-1:-1;4146:315:0;;-1:-1:-1;;;;;4146:315:0:i;4982:22::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4982:22:0;;;:::i;1959:23::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1959:23:0;;;:::i;7055:191::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7055:191:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4001:141;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4001:141:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;4001:141:0;;;;;;;;;;:::i;2198:96::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2198:96:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2198:96:0;-1:-1:-1;;;;;2198:96:0;;:::i;4850:19::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4850:19:0;;;:::i;5443:693::-;5495:12;5534;5523:7;;:23;;:50;;;;;5566:7;;5550:12;:23;;5523:50;5515:59;;;;;;5596:4;;5589;;:11;:24;;;-1:-1:-1;5604:4:0;;:9;5589:24;5581:33;;;;;;5621:4;:7;;;;;;5638:10;-1:-1:-1;;;;;5638:20:0;;;;;;:46;;;5662:17;5672:6;5662:9;:17::i;:::-;:22;;5638:46;:102;;;;-1:-1:-1;;;;;;5688:52:0;;;;5638:102;5635:299;;;5776:37;5811:1;5804:4;;:8;;;;;5793:4;5776:23;;;;:8;:23;;;;;;;5804:8;;5776:37;:27;:37;:::i;:::-;5767:4;5750:23;;;;:8;:23;;;;;;:63;;;;5862:4;;-1:-1:-1;;;;;5841:16:0;;;;;;;;:30;;5869:1;5862:8;;5841:20;:30::i;:::-;-1:-1:-1;;;;;5822:16:0;;;;;;:8;:16;;;;;:49;;;;5917:4;;5902;;-1:-1:-1;;;;;;;;;;;5885:41:0;5924:1;;5885:41;;;5917:8;;;;5885:41;;;;;;;;;;;5635:299;5994:4;;5983;5966:23;;;;:8;:23;;;;;;:33;;;:27;:33;:::i;:::-;5957:4;5940:23;;;;:8;:23;;;;;;:59;;;;6054:4;;6038:10;6029:20;;;;;;:30;;;:24;:30;:::i;:::-;6015:10;6006:20;;;;:8;:20;;;;;;;;;:53;;;;6107:4;;6071:41;;;;;;;6015:10;;6088:4;;-1:-1:-1;;;;;;;;;;;6071:41:0;;;;;;;;;-1:-1:-1;6126:4:0;5443:693;;;:::o;2587:18::-;;;;;;;;;;;;;;;-1:-1:-1;;2587:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;3478:194::-;3570:10;3541:12;3562:19;;;:7;:19;;;;;;;;-1:-1:-1;;;;;3562:28:0;;;;;;;;;;;:37;;;3611;;;;;;;3541:12;;3562:28;;3570:10;;3611:37;;;;;;;;-1:-1:-1;3662:4:0;3478:194;;;;;:::o;4583:22::-;;;;:::o;2993:108::-;3037:4;3074:20;;;:8;:20;;;;3057:12;;:38;;;:16;:38;:::i;:::-;3050:45;;2993:108;:::o;7716:258::-;2172:5;;-1:-1:-1;;;;;2172:5:0;2158:10;:19;2150:28;;;;;;7846:7;:18;;;;7871:7;:18;;;;7896:6;:16;7919:6;:15;7941:4;:12;-1:-1:-1;7960:4:0;:8;7716:258::o;3676:321::-;-1:-1:-1;;;;;3791:14:0;;3753:12;3791:14;;;:8;:14;;;;;;:26;;3810:6;3791:26;:18;:26;:::i;:::-;-1:-1:-1;;;;;3774:14:0;;;;;;:8;:14;;;;;;;;:43;;;;3852:7;:13;;;;;3866:10;3852:25;;;;;;:37;;3882:6;3852:37;:29;:37;:::i;:::-;-1:-1:-1;;;;;3824:13:0;;;;;;;:7;:13;;;;;;;;3838:10;3824:25;;;;;;;:65;;;;3911:12;;;;;:8;:12;;;;;:24;;3928:6;3911:24;:16;:24;:::i;:::-;-1:-1:-1;;;;;3896:12:0;;;;;;;:8;:12;;;;;;;;;:39;;;;3947:26;;;;;;;3896:12;;3947:26;;;;-1:-1:-1;;;;;;;;;;;3947:26:0;;;;;;;;-1:-1:-1;3987:4:0;3676:321;;;;;:::o;2610:21::-;;;;;;:::o;5364:::-;;;;:::o;7250:216::-;7415:7;;7424;;7433:4;;7439;;7445:6;;7453;;7250:216;;;;;;:::o;4790:19::-;;;;:::o;7978:132::-;2172:5;;-1:-1:-1;;;;;2172:5:0;2158:10;:19;2150:28;;;;;;8066:38;;8049:10;;;;8090:4;8082:21;8066:38;;;;;8024:22;8066:38;8024:22;8066:38;8082:21;8049:10;8066:38;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8066:38:0;2185:1;7978:132::o;6142:907::-;6201:12;6240;6229:7;;:23;;:50;;;;;6272:7;;6256:12;:23;;6229:50;6221:59;;;;;;6302:4;;6295;;:11;:24;;;-1:-1:-1;6310:4:0;;:9;6295:24;6287:33;;;;;;6381:6;;6342:9;;6327:12;;6381:11;6378:144;;6403:14;6427:6;;6420:4;:13;;;;;;6403:30;;6459:6;6450;;:15;6442:23;;6378:144;;;;6508:6;;6501:4;:13;;;;;;6493:21;;6378:144;6528:4;:7;;;;;;6545:10;-1:-1:-1;;;;;6545:20:0;;;;;;:46;;;6569:17;6579:6;6569:9;:17::i;:::-;:22;;6545:46;:102;;;;-1:-1:-1;;;;;;6595:52:0;;;;6545:102;6542:302;;;6683:38;6719:1;6711:5;:9;;6683:38;6674:4;6657:23;;;;:8;:23;;;;;;:64;;;;-1:-1:-1;;;;;6749:16:0;;;;;;:31;;6778:1;6770:9;;6749:20;:31::i;:::-;-1:-1:-1;;;;;6730:16:0;;;;;;:8;:16;;;;;:50;;;;6811:4;-1:-1:-1;;;;;;;;;;;6834:1:0;6826:5;6794:42;;;6826:9;;;;6794:42;;;;;;;;;;;6542:302;6893:4;6876:23;;;;:8;:23;;;;;;:34;;6904:5;6876:34;:27;:34;:::i;:::-;6867:4;6850:23;;;;:8;:23;;;;;;:60;;;;6949:10;6940:20;;;;:31;;6965:5;6940:31;:24;:31;:::i;:::-;6926:10;6917:20;;;;:8;:20;;;;;;;;;:54;;;;6983:42;;;;;;;6926:10;;7000:4;;-1:-1:-1;;;;;;;;;;;6983:42:0;;;;;;;;;-1:-1:-1;7039:4:0;;6142:907;-1:-1:-1;;;6142:907:0:o;3105:116::-;-1:-1:-1;;;;;3195:20:0;3165:12;3195:20;;;:8;:20;;;;;;;3105:116::o;7496:216::-;2172:5;;-1:-1:-1;;;;;2172:5:0;2158:10;:19;2150:28;;;;;;7610:7;:18;;;;7635:7;:18;;;;7660:4;:12;7679:4;:12;-1:-1:-1;7698:4:0;:8;7496:216::o;2298:178::-;2361:8;;-1:-1:-1;;;;;2361:8:0;2347:10;:22;2339:31;;;;;;2410:8;;;2403:5;;2382:37;;-1:-1:-1;;;;;2410:8:0;;;;2403:5;;;;2382:37;;;2434:8;;;;2426:16;;-1:-1:-1;;;;;;2426:16:0;;;-1:-1:-1;;;;;2434:8:0;;2426:16;;;;2449:21;;;2298:178::o;5162:19::-;;;;:::o;1934:20::-;;;-1:-1:-1;;;;;1934:20:0;;:::o;4924:22::-;;;;:::o;2562:20::-;;;;;;;;;;;;;;-1:-1:-1;;2562:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5256:21;;;;:::o;4644:22::-;;;;:::o;3225:249::-;3337:10;3284:12;3328:20;;;:8;:20;;;;;;:32;;3353:6;3328:32;:24;:32;:::i;:::-;3314:10;3305:20;;;;:8;:20;;;;;;:55;;;;-1:-1:-1;;;;;3382:12:0;;;;;;:24;;3399:6;3382:24;:16;:24;:::i;:::-;-1:-1:-1;;;;;3367:12:0;;;;;;:8;:12;;;;;;;;;:39;;;;3418:32;;;;;;;3367:12;;3427:10;;-1:-1:-1;;;;;;;;;;;3418:32:0;;;;;;;;;-1:-1:-1;3464:4:0;3225:249;;;;:::o;5038:19::-;;;;:::o;4703:::-;;;;:::o;4146:315::-;4264:10;4235:12;4256:19;;;:7;:19;;;;;;;;-1:-1:-1;;;;;4256:28:0;;;;;;;;;;;:37;;;4305;;;;;;;4235:12;;4256:28;;4264:10;;4305:37;;;;;;;;4349:88;;-1:-1:-1;;;4349:88:0;;4397:10;4349:88;;;;;;;;;;;;4425:4;4349:88;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;4349:47:0;;;;;4397:10;4409:6;;4425:4;4432;;4349:88;;;;;;;;;;;;;;;;-1:-1:-1;8:100;33:3;30:1;27:10;8:100;;;90:11;;;84:18;71:11;;;64:39;52:2;45:10;8:100;;;12:14;4349:88:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4349:88:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;4451:4:0;;4146:315;-1:-1:-1;;;;;;;4146:315:0:o;4982:22::-;;;;:::o;1959:23::-;;;-1:-1:-1;;;;;1959:23:0;;:::o;7055:191::-;7205:7;;7214;;7223:4;;7229;;7235;;7055:191;;;;;:::o;4001:141::-;-1:-1:-1;;;;;4108:19:0;;;4078:14;4108:19;;;:7;:19;;;;;;;;:28;;;;;;;;;;;;;4001:141::o;2198:96::-;2172:5;;-1:-1:-1;;;;;2172:5:0;2158:10;:19;2150:28;;;;;;2268:8;:20;;-1:-1:-1;;;;;;2268:20:0;-1:-1:-1;;;;;2268:20:0;;;;;;;;;;2198:96::o;4850:19::-;;;;:::o;759:104::-;811:6;839:1;834;:6;;826:15;;;;;;-1:-1:-1;852:5:0;;;759:104::o;651:::-;722:5;;;742:6;;;;734:15;;;;

bzzr://62b028503ff2427b62f775cce554982c5694d024ca4187e85e69d6118facdf3d