Contract

Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

• 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)
•  contract ERC20Basic
•    - function totalSupply()
•    - function balanceOf(address _who)
•    - function transfer(address _to, uint25 ...
•  contract ERC20 is ERC20Basic
•    - function allowance(address _owner, ad ...
•    - function transferFrom(address _from, ...
•    - function approve(address _spender, ui ...
• library SafeERC20
•    - function safeTransfer(
•    - function safeTransferFrom(
•    - function safeApprove(
•  contract Ownable
•    - function renounceOwnership()
•    - function transferOwnership(address _n ...
•    - function _transferOwnership(address _ ...
•  contract TokenVesting is Ownable *
•    - function release(ERC20Basic _token)
•    - function revoke(ERC20Basic _token)
•    - function releasableAmount(ERC20Basic ...
•    - function vestedAmount(ERC20Basic _tok ...

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2021-12-30
*/

pragma solidity ^0.4.24;


/**
 * @title SafeMath
 * @dev Math operations with safety checks that throw on error
 */
library SafeMath {

  /**
  * @dev Multiplies two numbers, throws on overflow.
  */
  function mul(uint256 _a, uint256 _b) internal pure returns (uint256 c) {
    // Gas optimization: this is cheaper than asserting 'a' not being zero, but the
    // benefit is lost if 'b' is also tested.
    // See: https://github.com/OpenZeppelin/openzeppelin-solidity/pull/522
    if (_a == 0) {
      return 0;
    }

    c = _a * _b;
    assert(c / _a == _b);
    return c;
  }

  /**
  * @dev Integer division of two numbers, truncating the quotient.
  */
  function div(uint256 _a, uint256 _b) internal pure returns (uint256) {
    // assert(_b > 0); // Solidity automatically throws when dividing by 0
    // uint256 c = _a / _b;
    // assert(_a == _b * c + _a % _b); // There is no case in which this doesn't hold
    return _a / _b;
  }

  /**
  * @dev Subtracts two numbers, throws on overflow (i.e. if subtrahend is greater than minuend).
  */
  function sub(uint256 _a, uint256 _b) internal pure returns (uint256) {
    assert(_b <= _a);
    return _a - _b;
  }

  /**
  * @dev Adds two numbers, throws on overflow.
  */
  function add(uint256 _a, uint256 _b) internal pure returns (uint256 c) {
    c = _a + _b;
    assert(c >= _a);
    return c;
  }
}

// File: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v1.12.0/contracts/token/ERC20/ERC20Basic.sol

pragma solidity ^0.4.24;


/**
 * @title ERC20Basic
 * @dev Simpler version of ERC20 interface
 * See https://github.com/ethereum/EIPs/issues/179
 */
contract ERC20Basic {
  function totalSupply() public view returns (uint256);
  function balanceOf(address _who) public view returns (uint256);
  function transfer(address _to, uint256 _value) public returns (bool);
  event Transfer(address indexed from, address indexed to, uint256 value);
}


// File: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v1.12.0/contracts/token/ERC20/ERC20.sol

pragma solidity ^0.4.24;



/**
 * @title ERC20 interface
 * @dev see https://github.com/ethereum/EIPs/issues/20
 */
contract ERC20 is ERC20Basic {
  function allowance(address _owner, address _spender)
    public view returns (uint256);

  function transferFrom(address _from, address _to, uint256 _value)
    public returns (bool);

  function approve(address _spender, uint256 _value) public returns (bool);
  event Approval(
    address indexed owner,
    address indexed spender,
    uint256 value
  );
}

// File: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v1.12.0/contracts/token/ERC20/SafeERC20.sol

pragma solidity ^0.4.24;




/**
 * @title SafeERC20
 * @dev Wrappers around ERC20 operations that throw on failure.
 * To use this library you can add a `using SafeERC20 for ERC20;` statement to your contract,
 * which allows you to call the safe operations as `token.safeTransfer(...)`, etc.
 */
library SafeERC20 {
  function safeTransfer(
    ERC20Basic _token,
    address _to,
    uint256 _value
  )
    internal
  {
    require(_token.transfer(_to, _value));
  }

  function safeTransferFrom(
    ERC20 _token,
    address _from,
    address _to,
    uint256 _value
  )
    internal
  {
    require(_token.transferFrom(_from, _to, _value));
  }

  function safeApprove(
    ERC20 _token,
    address _spender,
    uint256 _value
  )
    internal
  {
    require(_token.approve(_spender, _value));
  }
}


// File: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v1.12.0/contracts/ownership/Ownable.sol

pragma solidity ^0.4.24;


/**
 * @title Ownable
 * @dev The Ownable contract has an owner address, and provides basic authorization control
 * functions, this simplifies the implementation of "user permissions".
 */
contract Ownable {
  address public owner;


  event OwnershipRenounced(address indexed previousOwner);
  event OwnershipTransferred(
    address indexed previousOwner,
    address indexed newOwner
  );


  /**
   * @dev The Ownable constructor sets the original `owner` of the contract to the sender
   * account.
   */
  constructor() public {
    owner = msg.sender;
  }

  /**
   * @dev Throws if called by any account other than the owner.
   */
  modifier onlyOwner() {
    require(msg.sender == owner);
    _;
  }

  /**
   * @dev Allows the current owner to relinquish control of the contract.
   * @notice Renouncing to ownership will leave the contract without an owner.
   * It will not be possible to call the functions with the `onlyOwner`
   * modifier anymore.
   */
  function renounceOwnership() public onlyOwner {
    emit OwnershipRenounced(owner);
    owner = address(0);
  }

  /**
   * @dev Allows the current owner to transfer control of the contract to a newOwner.
   * @param _newOwner The address to transfer ownership to.
   */
  function transferOwnership(address _newOwner) public onlyOwner {
    _transferOwnership(_newOwner);
  }

  /**
   * @dev Transfers control of the contract to a newOwner.
   * @param _newOwner The address to transfer ownership to.
   */
  function _transferOwnership(address _newOwner) internal {
    require(_newOwner != address(0));
    emit OwnershipTransferred(owner, _newOwner);
    owner = _newOwner;
  }
}


// File: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v1.12.0/contracts/token/ERC20/TokenVesting.sol

/* solium-disable security/no-block-members */

pragma solidity ^0.4.24;






/**
 * @title TokenVesting
 * @dev A token holder contract that can release its token balance gradually like a
 * typical vesting scheme, with a cliff and vesting period. Optionally revocable by the
 * owner.
 */
contract TokenVesting is Ownable {
  using SafeMath for uint256;
  using SafeERC20 for ERC20Basic;

  event Released(uint256 amount);
  event Revoked();

  // beneficiary of tokens after they are released
  address public beneficiary;

  uint256 public cliff;
  uint256 public start;
  uint256 public duration;

  bool public revocable;

  mapping (address => uint256) public released;
  mapping (address => bool) public revoked;

  /**
   * @dev Creates a vesting contract that vests its balance of any ERC20 token to the
   * _beneficiary, gradually in a linear fashion until _start + _duration. By then all
   * of the balance will have vested.
   * @param _beneficiary address of the beneficiary to whom vested tokens are transferred
   * @param _cliff duration in seconds of the cliff in which tokens will begin to vest
   * @param _start the time (as Unix time) at which point vesting starts
   * @param _duration duration in seconds of the period in which the tokens will vest
   * @param _revocable whether the vesting is revocable or not
   */
  constructor(
    address _beneficiary,
    uint256 _start,
    uint256 _cliff,
    uint256 _duration,
    bool _revocable
  )
    public
  {
    require(_beneficiary != address(0));
    require(_cliff <= _duration);

    beneficiary = _beneficiary;
    revocable = _revocable;
    duration = _duration;
    cliff = _start.add(_cliff);
    start = _start;
  }

  /**
   * @notice Transfers vested tokens to beneficiary.
   * @param _token ERC20 token which is being vested
   */
  function release(ERC20Basic _token) public {
    uint256 unreleased = releasableAmount(_token);

    require(unreleased > 0);

    released[_token] = released[_token].add(unreleased);

    _token.safeTransfer(beneficiary, unreleased);

    emit Released(unreleased);
  }

  /**
   * @notice Allows the owner to revoke the vesting. Tokens already vested
   * remain in the contract, the rest are returned to the owner.
   * @param _token ERC20 token which is being vested
   */
  function revoke(ERC20Basic _token) public onlyOwner {
    require(revocable);
    require(!revoked[_token]);

    uint256 balance = _token.balanceOf(address(this));

    uint256 unreleased = releasableAmount(_token);
    uint256 refund = balance.sub(unreleased);

    revoked[_token] = true;

    _token.safeTransfer(owner, refund);

    emit Revoked();
  }

  /**
   * @dev Calculates the amount that has already vested but hasn't been released yet.
   * @param _token ERC20 token which is being vested
   */
  function releasableAmount(ERC20Basic _token) public view returns (uint256) {
    return vestedAmount(_token).sub(released[_token]);
  }

  /**
   * @dev Calculates the amount that has already vested.
   * @param _token ERC20 token which is being vested
   */
  function vestedAmount(ERC20Basic _token) public view returns (uint256) {
    uint256 currentBalance = _token.balanceOf(address(this));
    uint256 totalBalance = currentBalance.add(released[_token]);

    if (block.timestamp < cliff) {
      return 0;
    } else if (block.timestamp >= start.add(duration) || revoked[_token]) {
      return totalBalance;
    } else {
      return totalBalance.mul(block.timestamp.sub(start)).div(duration);
    }
  }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"duration","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"cliff","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"_token","type":"address"}],"name":"releasableAmount","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_token","type":"address"}],"name":"release","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"_token","type":"address"}],"name":"vestedAmount","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"beneficiary","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"renounceOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_token","type":"address"}],"name":"revoke","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"revocable","outputs":[{"name":"","type":"bool"}],"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":"","type":"address"}],"name":"released","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"start","outputs":[{"name":"","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":"","type":"address"}],"name":"revoked","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[{"name":"_beneficiary","type":"address"},{"name":"_start","type":"uint256"},{"name":"_cliff","type":"uint256"},{"name":"_duration","type":"uint256"},{"name":"_revocable","type":"bool"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"name":"amount","type":"uint256"}],"name":"Released","type":"event"},{"anonymous":false,"inputs":[],"name":"Revoked","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"previousOwner","type":"address"}],"name":"OwnershipRenounced","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"previousOwner","type":"address"},{"indexed":true,"name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"}]

0x6080604052600436106100b65763ffffffff60e060020a6000350416630fb5a6b481146100bb57806313d033c0146100e25780631726cbc8146100f75780631916558714610118578063384711cc1461013b57806338af3eed1461015c578063715018a61461018d57806374a8f103146101a2578063872a7810146101c35780638da5cb5b146101ec5780639852595c14610201578063be9a655514610222578063f2fde38b14610237578063fa01dc0614610258575b600080fd5b3480156100c757600080fd5b506100d0610279565b60408051918252519081900360200190f35b3480156100ee57600080fd5b506100d061027f565b34801561010357600080fd5b506100d0600160a060020a0360043516610285565b34801561012457600080fd5b50610139600160a060020a03600435166102bd565b005b34801561014757600080fd5b506100d0600160a060020a0360043516610369565b34801561016857600080fd5b506101716104c0565b60408051600160a060020a039092168252519081900360200190f35b34801561019957600080fd5b506101396104cf565b3480156101ae57600080fd5b50610139600160a060020a036004351661053b565b3480156101cf57600080fd5b506101d86106a2565b604080519115158252519081900360200190f35b3480156101f857600080fd5b506101716106ab565b34801561020d57600080fd5b506100d0600160a060020a03600435166106ba565b34801561022e57600080fd5b506100d06106cc565b34801561024357600080fd5b50610139600160a060020a03600435166106d2565b34801561026457600080fd5b506101d8600160a060020a03600435166106f5565b60045481565b60025481565b600160a060020a0381166000908152600660205260408120546102b7906102ab84610369565b9063ffffffff61070a16565b92915050565b60006102c882610285565b9050600081116102d757600080fd5b600160a060020a038216600090815260066020526040902054610300908263ffffffff61071c16565b600160a060020a038084166000818152600660205260409020929092556001546103329291168363ffffffff61072916565b6040805182815290517ffb81f9b30d73d830c3544b34d827c08142579ee75710b490bab0b3995468c5659181900360200190a15050565b600080600083600160a060020a03166370a08231306040518263ffffffff1660e060020a0281526004018082600160a060020a0316600160a060020a03168152602001915050602060405180830381600087803b1580156103c957600080fd5b505af11580156103dd573d6000803e3d6000fd5b505050506040513d60208110156103f357600080fd5b5051600160a060020a03851660009081526006602052604090205490925061042290839063ffffffff61071c16565b905060025442101561043757600092506104b9565b60045460035461044c9163ffffffff61071c16565b421015806104725750600160a060020a03841660009081526007602052604090205460ff165b1561047f578092506104b9565b6104b66004546104aa61049d6003544261070a90919063ffffffff16565b849063ffffffff6107c816565b9063ffffffff6107f116565b92505b5050919050565b600154600160a060020a031681565b600054600160a060020a031633146104e657600080fd5b60008054604051600160a060020a03909116917ff8df31144d9c2f0f6b59d69b8b98abd5459d07f2742c4df920b25aae33c6482091a26000805473ffffffffffffffffffffffffffffffffffffffff19169055565b6000805481908190600160a060020a0316331461055757600080fd5b60055460ff16151561056857600080fd5b600160a060020a03841660009081526007602052604090205460ff161561058e57600080fd5b604080517f70a082310000000000000000000000000000000000000000000000000000000081523060048201529051600160a060020a038616916370a082319160248083019260209291908290030181600087803b1580156105ef57600080fd5b505af1158015610603573d6000803e3d6000fd5b505050506040513d602081101561061957600080fd5b5051925061062684610285565b9150610638838363ffffffff61070a16565b600160a060020a038086166000818152600760205260408120805460ff1916600117905554929350610673929091168363ffffffff61072916565b6040517f44825a4b2df8acb19ce4e1afba9aa850c8b65cdb7942e2078f27d0b0960efee690600090a150505050565b60055460ff1681565b600054600160a060020a031681565b60066020526000908152604090205481565b60035481565b600054600160a060020a031633146106e957600080fd5b6106f281610806565b50565b60076020526000908152604090205460ff1681565b60008282111561071657fe5b50900390565b818101828110156102b757fe5b82600160a060020a031663a9059cbb83836040518363ffffffff1660e060020a0281526004018083600160a060020a0316600160a060020a0316815260200182815260200192505050602060405180830381600087803b15801561078c57600080fd5b505af11580156107a0573d6000803e3d6000fd5b505050506040513d60208110156107b657600080fd5b505115156107c357600080fd5b505050565b60008215156107d9575060006102b7565b508181028183828115156107e957fe5b04146102b757fe5b600081838115156107fe57fe5b049392505050565b600160a060020a038116151561081b57600080fd5b60008054604051600160a060020a03808516939216917f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e091a36000805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a03929092169190911790555600a165627a7a723058205a69471b6a32bf08ffefe40ddd1668d394a0c08e6063bf7c43d93ab6e249ec3a0029

5912:3348:0:-;;;;;;;;;-1:-1:-1;;;5912:3348:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6210:23;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6210:23:0;;;;;;;;;;;;;;;;;;;;6160:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6160:20:0;;;;8527:137;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;8527:137:0;-1:-1:-1;;;;;8527:137:0;;;;;7499:280;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;7499:280:0;-1:-1:-1;;;;;7499:280:0;;;;;;;8796:461;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;8796:461:0;-1:-1:-1;;;;;8796:461:0;;;;;6127:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6127:26:0;;;;;;;;-1:-1:-1;;;;;6127:26:0;;;;;;;;;;;;;;4774:114;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4774:114:0;;;;7995:371;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;7995:371:0;-1:-1:-1;;;;;7995:371:0;;;;;6240:21;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6240:21:0;;;;;;;;;;;;;;;;;;;;;;3979:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3979:20:0;;;;6268:44;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;6268:44:0;-1:-1:-1;;;;;6268:44:0;;;;;6185:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6185:20:0;;;;5056:105;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;5056:105:0;-1:-1:-1;;;;;5056:105:0;;;;;6317:40;;8:9:-1;5:2;;;30:1;27;20:12;5:2;-1:-1;6317:40:0;-1:-1:-1;;;;;6317:40:0;;;;;6210:23;;;;:::o;6160:20::-;;;;:::o;8527:137::-;-1:-1:-1;;;;;8641:16:0;;8593:7;8641:16;;;:8;:16;;;;;;8616:42;;:20;8650:6;8616:12;:20::i;:::-;:24;:42;:24;:42;:::i;:::-;8609:49;8527:137;-1:-1:-1;;8527:137:0:o;7499:280::-;7549:18;7570:24;7587:6;7570:16;:24::i;:::-;7549:45;-1:-1:-1;7624:1:0;7611:14;;7603:23;;;;;;-1:-1:-1;;;;;7654:16:0;;;;;;:8;:16;;;;;;:32;;7675:10;7654:32;:20;:32;:::i;:::-;-1:-1:-1;;;;;7635:16:0;;;;;;;:8;:16;;;;;:51;;;;7715:11;;7695:44;;7635:16;7715:11;7728:10;7695:44;:19;:44;:::i;:::-;7753:20;;;;;;;;;;;;;;;;;7499:280;;:::o;8796:461::-;8858:7;8874:22;8937:20;8899:6;-1:-1:-1;;;;;8899:16:0;;8924:4;8899:31;;;;;-1:-1:-1;;;8899:31:0;;;;;;;-1:-1:-1;;;;;8899:31:0;-1:-1:-1;;;;;8899:31:0;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8899:31:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8899:31:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;8899:31:0;-1:-1:-1;;;;;8979:16:0;;;;;;:8;8899:31;8979:16;;;;;8899:31;;-1:-1:-1;8960:36:0;;8899:31;;8960:36;:18;:36;:::i;:::-;8937:59;;9027:5;;9009:15;:23;9005:247;;;9050:1;9043:8;;;;9005:247;9098:8;;9088:5;;:19;;;:9;:19;:::i;:::-;9069:15;:38;;:57;;;-1:-1:-1;;;;;;9111:15:0;;;;;;:7;:15;;;;;;;;9069:57;9065:187;;;9144:12;9137:19;;;;9065:187;9186:58;9235:8;;9186:44;9203:26;9223:5;;9203:15;:19;;:26;;;;:::i;:::-;9186:12;;:44;:16;:44;:::i;:::-;:48;:58;:48;:58;:::i;:::-;9179:65;;9065:187;8796:461;;;;;:::o;6127:26::-;;;-1:-1:-1;;;;;6127:26:0;;:::o;4774:114::-;4482:5;;-1:-1:-1;;;;;4482:5:0;4468:10;:19;4460:28;;;;;;4851:5;;;4832:25;;-1:-1:-1;;;;;4851:5:0;;;;4832:25;;;4880:1;4864:18;;-1:-1:-1;;4864:18:0;;;4774:114::o;7995:371::-;8113:15;4482:5;;8113:15;;;;-1:-1:-1;;;;;4482:5:0;4468:10;:19;4460:28;;;;;;8062:9;;;;8054:18;;;;;;;;-1:-1:-1;;;;;8088:15:0;;;;;;:7;:15;;;;;;;;8087:16;8079:25;;;;;;8131:31;;;;;;8156:4;8131:31;;;;;;-1:-1:-1;;;;;8131:16:0;;;;;:31;;;;;;;;;;;;;;-1:-1:-1;8131:16:0;:31;;;5:2:-1;;;;30:1;27;20:12;5:2;8131:31:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8131:31:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;8131:31:0;;-1:-1:-1;8192:24:0;8209:6;8192:16;:24::i;:::-;8171:45;-1:-1:-1;8240:23:0;:7;8171:45;8240:23;:11;:23;:::i;:::-;-1:-1:-1;;;;;8272:15:0;;;;;;;:7;:15;;;;;:22;;-1:-1:-1;;8272:22:0;8290:4;8272:22;;;8323:5;8223:40;;-1:-1:-1;8303:34:0;;8272:15;;8323:5;8223:40;8303:34;:19;:34;:::i;:::-;8351:9;;;;;;;7995:371;;;;:::o;6240:21::-;;;;;;:::o;3979:20::-;;;-1:-1:-1;;;;;3979:20:0;;:::o;6268:44::-;;;;;;;;;;;;;:::o;6185:20::-;;;;:::o;5056:105::-;4482:5;;-1:-1:-1;;;;;4482:5:0;4468:10;:19;4460:28;;;;;;5126:29;5145:9;5126:18;:29::i;:::-;5056:105;:::o;6317:40::-;;;;;;;;;;;;;;;:::o;1098:119::-;1158:7;1181:8;;;;1174:16;;;;-1:-1:-1;1204:7:0;;;1098:119::o;1284:132::-;1366:7;;;1387;;;;1380:15;;;3095:157;3217:6;-1:-1:-1;;;;;3217:15:0;;3233:3;3238:6;3217:28;;;;;-1:-1:-1;;;3217:28:0;;;;;;;-1:-1:-1;;;;;3217:28:0;-1:-1:-1;;;;;3217:28:0;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3217:28:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;3217:28:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3217:28:0;3209:37;;;;;;;;3095:157;;;:::o;215:391::-;275:9;505:7;;501:38;;;-1:-1:-1;530:1:0;523:8;;501:38;-1:-1:-1;551:7:0;;;556:2;551;:7;572:6;;;;;;;;:12;565:20;;;693:288;753:7;973:2;968;:7;;;;;;;;;693:288;-1:-1:-1;;;693:288:0:o;5302:175::-;-1:-1:-1;;;;;5373:23:0;;;;5365:32;;;;;;5430:5;;;5409:38;;-1:-1:-1;;;;;5409:38:0;;;;5430:5;;;5409:38;;;5454:5;:17;;-1:-1:-1;;5454:17:0;-1:-1:-1;;;;;5454:17:0;;;;;;;;;;5302:175::o

bzzr://5a69471b6a32bf08ffefe40ddd1668d394a0c08e6063bf7c43d93ab6e249ec3a