Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

Outline

•  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 ...
•  contract EIP20 is ERC20
•  contract WETHInterface is EIP20
•    - function deposit()
•    - function withdraw(uint256 wad)
• library SafeMath
•    - function mul(uint256 _a, uint256 _b)
•    - function div(uint256 _a, uint256 _b)
•    - function divCeil(uint256 _a, uint256 ...
•    - function sub(uint256 _a, uint256 _b)
•    - function add(uint256 _a, uint256 _b)
•  contract Ownable
•    - function transferOwnership(address _n ...
•    - function _transferOwnership(address _ ...
•  contract ReentrancyGuard
•  contract LoanTokenizationV2 is Ree ...
•    - function pauseMinting(
•    - function pauseBurning(
•  contract PositionTokenStorageV2 is ...
•  contract SplittableTokenStorageV2 ...
•    - function totalSupply()
•    - function balanceOf(
•    - function allowance(
•    - function normalize(
•    - function denormalize(
•  contract PositionTokenV2 is Splitt ... *
•    - function setTarget(
•    - function _setTarget(
•    - function _isContract(

More Options

• Is this a proxy?
• Similar
• Sol2Uml
• Submit Audit
• Compare

/**
 *Submitted for verification at Etherscan.io on 2019-08-06
*/

/**
 * Copyright 2017-2019, bZeroX, LLC. All Rights Reserved.
 * Licensed under the Apache License, Version 2.0.
 */
 
pragma solidity 0.5.8;


/**
 * @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);
}

/**
 * @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
  );
}

/**
 * @title EIP20/ERC20 interface
 * @dev see https://github.com/ethereum/EIPs/issues/20
 */
contract EIP20 is ERC20 {
    string public name;
    uint8 public decimals;
    string public symbol;
}

contract WETHInterface is EIP20 {
    function deposit() external payable;
    function withdraw(uint256 wad) external;
}

/**
 * @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 Integer division of two numbers, rounding up and truncating the quotient
  */
  function divCeil(uint256 _a, uint256 _b) internal pure returns (uint256) {
    if (_a == 0) {
      return 0;
    }

    return ((_a - 1) / _b) + 1;
  }

  /**
  * @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;
  }
}

/**
 * @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 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 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;
  }
}

/**
 * @title Helps contracts guard against reentrancy attacks.
 * @author Remco Bloemen <remco@2π.com>, Eenae <[email protected]>
 * @dev If you mark a function `nonReentrant`, you should also
 * mark it `external`.
 */
contract ReentrancyGuard {

  /// @dev Constant for unlocked guard state - non-zero to prevent extra gas costs.
  /// See: https://github.com/OpenZeppelin/openzeppelin-solidity/issues/1056
  uint256 internal constant REENTRANCY_GUARD_FREE = 1;

  /// @dev Constant for locked guard state
  uint256 internal constant REENTRANCY_GUARD_LOCKED = 2;

  /**
   * @dev We use a single lock for the whole contract.
   */
  uint256 internal reentrancyLock = REENTRANCY_GUARD_FREE;

  /**
   * @dev Prevents a contract from calling itself, directly or indirectly.
   * If you mark a function `nonReentrant`, you should also
   * mark it `external`. Calling one `nonReentrant` function from
   * another is not supported. Instead, you can implement a
   * `private` function doing the actual work, and an `external`
   * wrapper marked as `nonReentrant`.
   */
  modifier nonReentrant() {
    require(reentrancyLock == REENTRANCY_GUARD_FREE, "nonReentrant");
    reentrancyLock = REENTRANCY_GUARD_LOCKED;
    _;
    reentrancyLock = REENTRANCY_GUARD_FREE;
  }

}

contract LoanTokenizationV2 is ReentrancyGuard, Ownable {

    uint256 internal constant MAX_UINT = 2**256 - 1;

    string public name;
    string public symbol;
    uint8 public decimals;

    address public bZxContract;
    address public bZxVault;
    address public bZxOracle;
    address public wethContract;

    address public loanTokenAddress;

    bool public mintingPaused;
    bool public burningPaused;

    // price of token at last user checkpoint
    mapping (address => uint256) internal checkpointPrices_;


    function pauseMinting(
        bool _isPaused)
        public
        onlyOwner
    {
        mintingPaused = _isPaused;
    }
    function pauseBurning(
        bool _isPaused)
        public
        onlyOwner
    {
        burningPaused = _isPaused;
    }
}

contract PositionTokenStorageV2 is LoanTokenizationV2 {

    bool internal isInitialized_ = false;

    address public loanTokenLender;
    address public tradeTokenAddress;

    uint256 public leverageAmount;
    bytes32 public loanOrderHash;

    uint256 public loanTokenDecimals;
    uint256 public loanTokenAdjustment;

    uint256 public tradeTokenDecimals;
    uint256 public tradeTokenAdjustment;

    uint256 public initialPrice;

    bool public shortPosition;

    mapping (address => uint256) public userSurplus;
    mapping (address => uint256) public userDeficit;

    uint256 public totalSurplus;
    uint256 public totalDeficit;
}

contract SplittableTokenStorageV2 is PositionTokenStorageV2 {
    using SafeMath for uint256;

    event Transfer(
        address indexed from,
        address indexed to,
        uint256 value
    );
    event Approval(
        address indexed owner,
        address indexed spender,
        uint256 value
    );
    event Mint(
        address indexed minter,
        address indexed depositAddress,
        uint256 depositAmount,
        uint256 tokenAmount,
        uint256 price
    );
    event Burn(
        address indexed burner,
        address indexed withdrawalAddress,
        uint256 withdrawalAmount,
        uint256 tokenAmount,
        uint256 price
    );

    mapping(address => uint256) internal balances;
    mapping (address => mapping (address => uint256)) internal allowed;
    uint256 internal totalSupply_;

    uint256 public splitFactor = 10**18;

    function totalSupply()
        public
        view
        returns (uint256)
    {
        return denormalize(totalSupply_);
    }

    function balanceOf(
        address _owner)
        public
        view
        returns (uint256)
    {
        return denormalize(balances[_owner]);
    }

    function allowance(
        address _owner,
        address _spender)
        public
        view
        returns (uint256)
    {
        return denormalize(allowed[_owner][_spender]);
    }

    function normalize(
        uint256 _value)
        internal
        view
        returns (uint256)
    {
        return _value
            .mul(splitFactor)
            .div(10**18);
    }

    function denormalize(
        uint256 _value)
        internal
        view
        returns (uint256)
    {
        return _value
            .mul(10**18)
            .div(splitFactor);
    }
}

contract PositionTokenV2 is SplittableTokenStorageV2 {

    address internal target_;

    constructor(
        address _newTarget)
        public
    {
        _setTarget(_newTarget);
    }

    function()
        external
        payable
    {
        address target = target_;
        bytes memory data = msg.data;
        assembly {
            let result := delegatecall(gas, target, add(data, 0x20), mload(data), 0, 0)
            let size := returndatasize
            let ptr := mload(0x40)
            returndatacopy(ptr, 0, size)
            switch result
            case 0 { revert(ptr, size) }
            default { return(ptr, size) }
        }
    }

    function setTarget(
        address _newTarget)
        public
        onlyOwner
    {
        _setTarget(_newTarget);
    }

    function _setTarget(
        address _newTarget)
        internal
    {
        require(_isContract(_newTarget), "target not a contract");
        target_ = _newTarget;
    }

    function _isContract(
        address addr)
        internal
        view
        returns (bool)
    {
        uint256 size;
        assembly { size := extcodesize(addr) }
        return size > 0;
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"tradeTokenDecimals","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"name","outputs":[{"name":"","type":"string"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"tradeTokenAdjustment","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":true,"inputs":[],"name":"initialPrice","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_isPaused","type":"bool"}],"name":"pauseBurning","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"decimals","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_isPaused","type":"bool"}],"name":"pauseMinting","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"wethContract","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"loanTokenLender","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","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":"_newTarget","type":"address"}],"name":"setTarget","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"loanTokenAddress","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"burningPaused","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"bZxVault","outputs":[{"name":"","type":"address"}],"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":"totalSurplus","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":"bZxOracle","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"totalDeficit","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"bZxContract","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"splitFactor","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"leverageAmount","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"tradeTokenAddress","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"loanTokenAdjustment","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"shortPosition","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"userSurplus","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"userDeficit","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"},{"constant":true,"inputs":[],"name":"mintingPaused","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"loanTokenDecimals","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":"loanOrderHash","outputs":[{"name":"","type":"bytes32"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[{"name":"_newTarget","type":"address"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"payable":true,"stateMutability":"payable","type":"fallback"},{"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"},{"anonymous":false,"inputs":[{"indexed":true,"name":"minter","type":"address"},{"indexed":true,"name":"depositAddress","type":"address"},{"indexed":false,"name":"depositAmount","type":"uint256"},{"indexed":false,"name":"tokenAmount","type":"uint256"},{"indexed":false,"name":"price","type":"uint256"}],"name":"Mint","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"burner","type":"address"},{"indexed":true,"name":"withdrawalAddress","type":"address"},{"indexed":false,"name":"withdrawalAmount","type":"uint256"},{"indexed":false,"name":"tokenAmount","type":"uint256"},{"indexed":false,"name":"price","type":"uint256"}],"name":"Burn","type":"event"},{"anonymous":false,"inputs":[{"indexed":true,"name":"previousOwner","type":"address"},{"indexed":true,"name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"}]

0x6080604052600436106101ee5760003560e01c80638eb955e21161010d578063bc29af14116100a0578063dd62ed3e1161006f578063dd62ed3e1461061b578063e1a283d614610656578063eaa050021461066b578063f2fde38b14610680578063f41e4e6a146106b3576101ee565b8063bc29af141461058b578063c20c49ec146105a0578063d05daa04146105b5578063db72da2c146105e8576101ee565b8063995363d3116100dc578063995363d314610537578063a5507b351461054c578063ab47c2b314610561578063b2aff0fe14610576576101ee565b80638eb955e2146104e357806395d89b41146104f857806396c7871b1461050d5780639788b5bb14610522576101ee565b80634780eac111610185578063797bf38511610154578063797bf3851461047b578063833c1d9514610490578063894ca308146104b95780638da5cb5b146104ce576101ee565b80634780eac1146103cf5780634858064c1461040057806370a0823114610415578063776d1a0114610448576101ee565b80631d0806ae116101c15780631d0806ae14610335578063304c28ee1461034a578063313ce56714610378578063359803cd146103a3576101ee565b806306b1884d1461025a57806306fdde0314610281578063150d97ff1461030b57806318160ddd14610320575b601c5460408051602036601f81018290048202830182019093528282526001600160a01b039093169260609260009181908401838280828437600092018290525084519495509384935091505060208401855af43d604051816000823e828015610256578282f35b8282fd5b34801561026657600080fd5b5061026f6106c8565b60408051918252519081900360200190f35b34801561028d57600080fd5b506102966106ce565b6040805160208082528351818301528351919283929083019185019080838360005b838110156102d05781810151838201526020016102b8565b50505050905090810190601f1680156102fd5780820380516001836020036101000a031916815260200191505b509250505060405180910390f35b34801561031757600080fd5b5061026f610759565b34801561032c57600080fd5b5061026f61075f565b34801561034157600080fd5b5061026f610771565b34801561035657600080fd5b506103766004803603602081101561036d57600080fd5b50351515610777565b005b34801561038457600080fd5b5061038d6107af565b6040805160ff9092168252519081900360200190f35b3480156103af57600080fd5b50610376600480360360208110156103c657600080fd5b503515156107b8565b3480156103db57600080fd5b506103e46107fe565b604080516001600160a01b039092168252519081900360200190f35b34801561040c57600080fd5b506103e461080d565b34801561042157600080fd5b5061026f6004803603602081101561043857600080fd5b50356001600160a01b0316610821565b34801561045457600080fd5b506103766004803603602081101561046b57600080fd5b50356001600160a01b0316610849565b34801561048757600080fd5b506103e461086c565b34801561049c57600080fd5b506104a561087b565b604080519115158252519081900360200190f35b3480156104c557600080fd5b506103e461088b565b3480156104da57600080fd5b506103e461089a565b3480156104ef57600080fd5b5061026f6108a9565b34801561050457600080fd5b506102966108af565b34801561051957600080fd5b506103e461090a565b34801561052e57600080fd5b5061026f610919565b34801561054357600080fd5b506103e461091f565b34801561055857600080fd5b5061026f610933565b34801561056d57600080fd5b5061026f610939565b34801561058257600080fd5b506103e461093f565b34801561059757600080fd5b5061026f61094e565b3480156105ac57600080fd5b506104a5610954565b3480156105c157600080fd5b5061026f600480360360208110156105d857600080fd5b50356001600160a01b031661095d565b3480156105f457600080fd5b5061026f6004803603602081101561060b57600080fd5b50356001600160a01b031661096f565b34801561062757600080fd5b5061026f6004803603604081101561063e57600080fd5b506001600160a01b0381358116916020013516610981565b34801561066257600080fd5b506104a56109b9565b34801561067757600080fd5b5061026f6109c9565b34801561068c57600080fd5b50610376600480360360208110156106a357600080fd5b50356001600160a01b03166109cf565b3480156106bf57600080fd5b5061026f6109ef565b60105481565b6002805460408051602060018416156101000260001901909316849004601f810184900484028201840190925281815292918301828280156107515780601f1061072657610100808354040283529160200191610751565b820191906000526020600020905b81548152906001019060200180831161073457829003601f168201915b505050505081565b60115481565b600061076c601a546109f5565b905090565b60125481565b6001546001600160a01b0316331461078e57600080fd5b60088054911515600160a81b02600160a81b60ff0219909216919091179055565b60045460ff1681565b6001546001600160a01b031633146107cf57600080fd5b60088054911515600160a01b0274ff000000000000000000000000000000000000000019909216919091179055565b6007546001600160a01b031681565b600a5461010090046001600160a01b031681565b6001600160a01b038116600090815260186020526040812054610843906109f5565b92915050565b6001546001600160a01b0316331461086057600080fd5b61086981610a23565b50565b6008546001600160a01b031681565b600854600160a81b900460ff1681565b6005546001600160a01b031681565b6001546001600160a01b031681565b60165481565b6003805460408051602060026001851615610100026000190190941693909304601f810184900484028201840190925281815292918301828280156107515780601f1061072657610100808354040283529160200191610751565b6006546001600160a01b031681565b60175481565b60045461010090046001600160a01b031681565b601b5481565b600c5481565b600b546001600160a01b031681565b600f5481565b60135460ff1681565b60146020526000908152604090205481565b60156020526000908152604090205481565b6001600160a01b0380831660009081526019602090815260408083209385168352929052908120546109b2906109f5565b9392505050565b600854600160a01b900460ff1681565b600e5481565b6001546001600160a01b031633146109e657600080fd5b61086981610aa2565b600d5481565b601b5460009061084390610a1784670de0b6b3a764000063ffffffff610b1116565b9063ffffffff610b3616565b610a2c81610b49565b610a805760408051600160e51b62461bcd02815260206004820152601560248201527f746172676574206e6f74206120636f6e74726163740000000000000000000000604482015290519081900360640190fd5b601c80546001600160a01b0319166001600160a01b0392909216919091179055565b6001600160a01b038116610ab557600080fd5b6001546040516001600160a01b038084169216907f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e090600090a3600180546001600160a01b0319166001600160a01b0392909216919091179055565b600082610b2057506000610843565b5081810281838281610b2e57fe5b041461084357fe5b6000818381610b4157fe5b049392505050565b3b15159056fea165627a7a7230582028592c74169f48aa40fc2c3ff6dfc6c9219ca84537cc7fd1c64ae25e1647d1d90029

9015:1238:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9301:7;;9319:28;;;;9339:8;9319:28;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;9301:7:0;;;;9319:17;;-1:-1:-1;;9339:8:0;;9319:28;;-1:-1:-1;9339:8:0;;-1:-1:-1;9319:28:0;1:33:-1;99:1;81:16;;74:27;;;-1:-1;9439:11:0;;9319:28;;-1:-1:-1;99:1;;;-1:-1;9439:11:0;-1:-1:-1;;9432:4:0;9422:15;;9414:6;9409:3;9396:61;9483:14;9528:4;9522:11;9570:4;9567:1;9562:3;9547:28;9596:6;9616:28;;;;9680:4;9675:3;9668:17;9616:28;9637:4;9632:3;9625:17;6834:33;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6834:33:0;;;:::i;:::-;;;;;;;;;;;;;;;;5785:18;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5785: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;5785:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;6874:35;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6874:35:0;;;:::i;8082:136::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8082:136:0;;;:::i;6918:27::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6918:27:0;;;:::i;6354:132::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6354:132:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;6354:132:0;;;;:::i;:::-;;5837:21;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5837:21:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;6216:132;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6216:132:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;6216:132:0;;;;:::i;5961:27::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5961:27:0;;;:::i;:::-;;;;-1:-1:-1;;;;;5961:27:0;;;;;;;;;;;;;;6601:30;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6601:30:0;;;:::i;8226:162::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8226:162:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;8226:162:0;-1:-1:-1;;;;;8226:162:0;;:::i;9713:130::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9713:130:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;9713:130:0;-1:-1:-1;;;;;9713:130:0;;:::i;5997:31::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5997:31:0;;;:::i;6069:25::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6069:25:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;5900:23;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5900:23:0;;;:::i;3292:20::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3292:20:0;;;:::i;7098:27::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7098:27:0;;;:::i;5810:20::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5810:20:0;;;:::i;5930:24::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5930:24:0;;;:::i;7132:27::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7132:27:0;;;:::i;5867:26::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5867:26:0;;;:::i;8038:35::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8038:35:0;;;:::i;6679:29::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6679:29:0;;;:::i;6638:32::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6638:32:0;;;:::i;6791:34::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6791:34:0;;;:::i;6954:25::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6954:25:0;;;:::i;6988:47::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6988:47:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;6988:47:0;-1:-1:-1;;;;;6988:47:0;;:::i;7042:::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7042:47:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;7042:47:0;-1:-1:-1;;;;;7042:47:0;;:::i;8396:198::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8396:198:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;;;;;;8396:198:0;;;;;;;;;;:::i;6037:25::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6037:25:0;;;:::i;6752:32::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6752:32:0;;;:::i;3923:105::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3923:105:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3923:105:0;-1:-1:-1;;;;;3923:105:0;;:::i;6715:28::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6715:28:0;;;:::i;6834:33::-;;;;:::o;5785:18::-;;;;;;;;;;;;;;-1:-1:-1;;5785:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;6874:35::-;;;;:::o;8082:136::-;8153:7;8185:25;8197:12;;8185:11;:25::i;:::-;8178:32;;8082:136;:::o;6918:27::-;;;;:::o;6354:132::-;3735:5;;-1:-1:-1;;;;;3735:5:0;3721:10;:19;3713:28;;;;;;6453:13;:25;;;;;-1:-1:-1;;;6453:25:0;-1:-1:-1;;;;;;6453:25:0;;;;;;;;;6354:132::o;5837:21::-;;;;;;:::o;6216:132::-;3735:5;;-1:-1:-1;;;;;3735:5:0;3721:10;:19;3713:28;;;;;;6315:13;:25;;;;;-1:-1:-1;;;6315:25:0;-1:-1:-1;;6315:25:0;;;;;;;;;6216:132::o;5961:27::-;;;-1:-1:-1;;;;;5961:27:0;;:::o;6601:30::-;;;;;;-1:-1:-1;;;;;6601:30:0;;:::o;8226:162::-;-1:-1:-1;;;;;8363:16:0;;8319:7;8363:16;;;:8;:16;;;;;;8351:29;;:11;:29::i;:::-;8344:36;8226:162;-1:-1:-1;;8226:162:0:o;9713:130::-;3735:5;;-1:-1:-1;;;;;3735:5:0;3721:10;:19;3713:28;;;;;;9813:22;9824:10;9813;:22::i;:::-;9713:130;:::o;5997:31::-;;;-1:-1:-1;;;;;5997:31:0;;:::o;6069:25::-;;;-1:-1:-1;;;6069:25:0;;;;;:::o;5900:23::-;;;-1:-1:-1;;;;;5900:23:0;;:::o;3292:20::-;;;-1:-1:-1;;;;;3292:20:0;;:::o;7098:27::-;;;;:::o;5810:20::-;;;;;;;;;;;;;;;-1:-1:-1;;5810:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5930:24;;;-1:-1:-1;;;;;5930:24:0;;:::o;7132:27::-;;;;:::o;5867:26::-;;;;;;-1:-1:-1;;;;;5867:26:0;;:::o;8038:35::-;;;;:::o;6679:29::-;;;;:::o;6638:32::-;;;-1:-1:-1;;;;;6638:32:0;;:::o;6791:34::-;;;;:::o;6954:25::-;;;;;;:::o;6988:47::-;;;;;;;;;;;;;:::o;7042:::-;;;;;;;;;;;;;:::o;8396:198::-;-1:-1:-1;;;;;8560:15:0;;;8516:7;8560:15;;;:7;:15;;;;;;;;:25;;;;;;;;;;;;8548:38;;:11;:38::i;:::-;8541:45;8396:198;-1:-1:-1;;;8396:198:0:o;6037:25::-;;;-1:-1:-1;;;6037:25:0;;;;;:::o;6752:32::-;;;;:::o;3923:105::-;3735:5;;-1:-1:-1;;;;;3735:5:0;3721:10;:19;3713:28;;;;;;3993:29;4012:9;3993:18;:29::i;6715:28::-;;;;:::o;8808:200::-;8988:11;;8905:7;;8937:63;;:32;:6;8962;8937:32;:24;:32;:::i;:::-;:50;:63;:50;:63;:::i;9851:180::-;9943:23;9955:10;9943:11;:23::i;:::-;9935:57;;;;;-1:-1:-1;;;;;9935:57:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;10003:7;:20;;-1:-1:-1;;;;;;10003:20:0;-1:-1:-1;;;;;10003:20:0;;;;;;;;;;9851:180::o;4169:175::-;-1:-1:-1;;;;;4240:23:0;;4232:32;;;;;;4297:5;;4276:38;;-1:-1:-1;;;;;4276:38:0;;;;4297:5;;4276:38;;4297:5;;4276:38;4321:5;:17;;-1:-1:-1;;;;;;4321:17:0;-1:-1:-1;;;;;4321:17:0;;;;;;;;;;4169:175::o;1607:391::-;1667:9;1897:7;1893:38;;-1:-1:-1;1922:1:0;1915:8;;1893:38;-1:-1:-1;1943:7:0;;;1948:2;1943;:7;:2;1964:6;;;;;:12;1957:20;;;2085:288;2145:7;2365:2;2360;:7;;;;;;;2085:288;-1:-1:-1;;;2085:288:0:o;10039:211::-;10198:17;10234:8;;;10039:211::o

bzzr://28592c74169f48aa40fc2c3ff6dfc6c9219ca84537cc7fd1c64ae25e1647d1d9