/**
 *Submitted for verification at Etherscan.io on 2019-10-20
*/

/**
 *Submitted for verification at Etherscan.io on 2017-10-29
*/

pragma solidity ^0.4.13;

library Math {
  function max64(uint64 a, uint64 b) internal constant returns (uint64) {
    return a >= b ? a : b;
  }

  function min64(uint64 a, uint64 b) internal constant returns (uint64) {
    return a < b ? a : b;
  }

  function max256(uint256 a, uint256 b) internal constant returns (uint256) {
    return a >= b ? a : b;
  }

  function min256(uint256 a, uint256 b) internal constant returns (uint256) {
    return a < b ? a : b;
  }
}

library SafeMath {
  function mul(uint256 a, uint256 b) internal constant returns (uint256) {
    uint256 c = a * b;
    assert(a == 0 || c / a == b);
    return c;
  }

  function div(uint256 a, uint256 b) internal constant 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 c;
  }

  function sub(uint256 a, uint256 b) internal constant returns (uint256) {
    assert(b <= a);
    return a - b;
  }

  function add(uint256 a, uint256 b) internal constant returns (uint256) {
    uint256 c = a + b;
    assert(c >= a);
    return c;
  }
}

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.
   */
  function Ownable() {
    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) onlyOwner public {
    require(newOwner != address(0));
    OwnershipTransferred(owner, newOwner);
    owner = newOwner;
  }

}

contract ERC20Basic {
  uint256 public totalSupply;
  function balanceOf(address who) public constant returns (uint256);
  function transfer(address to, uint256 value) public returns (bool);
  event Transfer(address indexed from, address indexed to, uint256 value);
}

contract ERC20 is ERC20Basic {
  function allowance(address owner, address spender) public constant 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);
}

library SafeERC20 {
  function safeTransfer(ERC20Basic token, address to, uint256 value) internal {
    assert(token.transfer(to, value));
  }

  function safeTransferFrom(ERC20 token, address from, address to, uint256 value) internal {
    assert(token.transferFrom(from, to, value));
  }

  function safeApprove(ERC20 token, address spender, uint256 value) internal {
    assert(token.approve(spender, value));
  }
}

contract ReturnVestingRegistry is Ownable {

  mapping (address => address) public returnAddress;

  function record(address from, address to) onlyOwner public {
    require(from != 0);

    returnAddress[from] = to;
  }
}

contract TerraformReserve is Ownable {

  /* Storing a balance for each user */
  mapping (address => uint256) public lockedBalance;

  /* Store the total sum locked */
  uint public totalLocked;

  /* Reference to the token */
  ERC20 public manaToken;

  /* Contract that will assign the LAND and burn/return tokens */
  address public landClaim;

  /* Prevent the token from accepting deposits */
  bool public acceptingDeposits;

  event LockedBalance(address user, uint mana);
  event LandClaimContractSet(address target);
  event LandClaimExecuted(address user, uint value, bytes data);
  event AcceptingDepositsChanged(bool _acceptingDeposits);

  function TerraformReserve(address _token) {
    require(_token != 0);
    manaToken = ERC20(_token);
    acceptingDeposits = true;
  }

  /**
   * Lock MANA into the contract.
   * This contract does not have another way to take the tokens out other than
   * through the target contract.
   */
  function lockMana(address _from, uint256 mana) public {
    require(acceptingDeposits);
    require(mana >= 1000 * 1e18);
    require(manaToken.transferFrom(_from, this, mana));

    lockedBalance[_from] += mana;
    totalLocked += mana;
    LockedBalance(_from, mana);
  }

  /**
   * Allows the owner of the contract to pause acceptingDeposits
   */
  function changeContractState(bool _acceptingDeposits) public onlyOwner {
    acceptingDeposits = _acceptingDeposits;
    AcceptingDepositsChanged(acceptingDeposits);
  }

  /**
   * Set the contract that can move the staked MANA.
   * Calls the `approve` function of the ERC20 token with the total amount.
   */
  function setTargetContract(address target) public onlyOwner {
    landClaim = target;
    manaToken.approve(landClaim, totalLocked);
    LandClaimContractSet(target);
  }

  /**
   * Prevent payments to the contract
   */
  function () public payable {
    revert();
  }
}

contract TokenVesting is Ownable {
  using SafeMath for uint256;
  using SafeERC20 for ERC20;

  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;
  bool public revoked;

  uint256 public released;

  ERC20 public token;

  /**
   * @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 _duration duration in seconds of the period in which the tokens will vest
   * @param _revocable whether the vesting is revocable or not
   * @param _token address of the ERC20 token contract
   */
  function TokenVesting(
    address _beneficiary,
    uint256 _start,
    uint256 _cliff,
    uint256 _duration,
    bool    _revocable,
    address _token
  ) {
    require(_beneficiary != 0x0);
    require(_cliff <= _duration);

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

  /**
   * @notice Only allow calls from the beneficiary of the vesting contract
   */
  modifier onlyBeneficiary() {
    require(msg.sender == beneficiary);
    _;
  }

  /**
   * @notice Allow the beneficiary to change its address
   * @param target the address to transfer the right to
   */
  function changeBeneficiary(address target) onlyBeneficiary public {
    require(target != 0);
    beneficiary = target;
  }

  /**
   * @notice Transfers vested tokens to beneficiary.
   */
  function release() onlyBeneficiary public {
    require(now >= cliff);
    _releaseTo(beneficiary);
  }

  /**
   * @notice Transfers vested tokens to a target address.
   * @param target the address to send the tokens to
   */
  function releaseTo(address target) onlyBeneficiary public {
    require(now >= cliff);
    _releaseTo(target);
  }

  /**
   * @notice Transfers vested tokens to beneficiary.
   */
  function _releaseTo(address target) internal {
    uint256 unreleased = releasableAmount();

    released = released.add(unreleased);

    token.safeTransfer(target, unreleased);

    Released(released);
  }

  /**
   * @notice Allows the owner to revoke the vesting. Tokens already vested are sent to the beneficiary.
   */
  function revoke() onlyOwner public {
    require(revocable);
    require(!revoked);

    // Release all vested tokens
    _releaseTo(beneficiary);

    // Send the remainder to the owner
    token.safeTransfer(owner, token.balanceOf(this));

    revoked = true;

    Revoked();
  }


  /**
   * @dev Calculates the amount that has already vested but hasn't been released yet.
   */
  function releasableAmount() public constant returns (uint256) {
    return vestedAmount().sub(released);
  }

  /**
   * @dev Calculates the amount that has already vested.
   */
  function vestedAmount() public constant returns (uint256) {
    uint256 currentBalance = token.balanceOf(this);
    uint256 totalBalance = currentBalance.add(released);

    if (now < cliff) {
      return 0;
    } else if (now >= start.add(duration) || revoked) {
      return totalBalance;
    } else {
      return totalBalance.mul(now.sub(start)).div(duration);
    }
  }

  /**
   * @notice Allow withdrawing any token other than the relevant one
   */
  function releaseForeignToken(ERC20 _token, uint256 amount) onlyOwner {
    require(_token != token);
    _token.transfer(owner, amount);
  }
}

contract DecentralandVesting is TokenVesting {
  using SafeERC20 for ERC20;

  event LockedMANA(uint256 amount);

  ReturnVestingRegistry public returnVesting;
  TerraformReserve public terraformReserve;

  function DecentralandVesting(
    address               _beneficiary,
    uint256               _start,
    uint256               _cliff,
    uint256               _duration,
    bool                  _revocable,
    ERC20                 _token,
    ReturnVestingRegistry _returnVesting,
    TerraformReserve      _terraformReserve
  )
    TokenVesting(_beneficiary, _start, _cliff, _duration, _revocable, _token)
  {
    returnVesting    = ReturnVestingRegistry(_returnVesting);
    terraformReserve = TerraformReserve(_terraformReserve);
  }

  function lockMana(uint256 amount) onlyBeneficiary public {
    // Require allowance to be enough
    require(token.allowance(beneficiary, terraformReserve) >= amount);

    // Check the balance of the vesting contract
    require(amount <= token.balanceOf(this));

    // Check the registry of the beneficiary is fixed to return to this contract
    require(returnVesting.returnAddress(beneficiary) == address(this));

    // Transfer and lock
    token.safeTransfer(beneficiary, amount);
    terraformReserve.lockMana(beneficiary, amount);

    LockedMANA(amount);
  }
}

• 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":"beneficiary","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"terraformReserve","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"returnVesting","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"vestedAmount","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"releasableAmount","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"revoked","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"release","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":"released","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_token","type":"address"},{"name":"amount","type":"uint256"}],"name":"releaseForeignToken","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"revoke","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"start","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"amount","type":"uint256"}],"name":"lockMana","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"target","type":"address"}],"name":"releaseTo","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"target","type":"address"}],"name":"changeBeneficiary","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"token","outputs":[{"name":"","type":"address"}],"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"},{"name":"_token","type":"address"},{"name":"_returnVesting","type":"address"},{"name":"_terraformReserve","type":"address"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"anonymous":false,"inputs":[{"indexed":false,"name":"amount","type":"uint256"}],"name":"LockedMANA","type":"event"},{"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"},{"indexed":true,"name":"newOwner","type":"address"}],"name":"OwnershipTransferred","type":"event"}]

0x608060405234801561001057600080fd5b5060405161010080611a678339810180604052810190808051906020019092919080519060200190929190805190602001909291908051906020019092919080519060200190929190805190602001909291908051906020019092919080519060200190929190505050878787878787336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555060008673ffffffffffffffffffffffffffffffffffffffff16141515156100e657600080fd5b8284111515156100f557600080fd5b85600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508460038190555061015d848661025a64010000000002611593179091906401000000009004565b6002819055508260048190555081600560006101000a81548160ff02191690831515021790555080600760006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050505050505081600860006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555080600960006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505050505050505050610278565b600080828401905083811015151561026e57fe5b8091505092915050565b6117e0806102876000396000f300608060405260043610610112576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff1680630fb5a6b41461011757806313d033c01461014257806338af3eed1461016d5780633cc3c3b5146101c4578063414708771461021b57806344b1231f146102725780635b9400811461029d57806363d256ce146102c857806386d1a69f146102f7578063872a78101461030e5780638da5cb5b1461033d5780639613252114610394578063980c2f21146103bf578063b6549f751461040c578063be9a655514610423578063c5e36b7e1461044e578063d1fb56461461047b578063dc070657146104be578063f2fde38b14610501578063fc0c546a14610544575b600080fd5b34801561012357600080fd5b5061012c61059b565b6040518082815260200191505060405180910390f35b34801561014e57600080fd5b506101576105a1565b6040518082815260200191505060405180910390f35b34801561017957600080fd5b506101826105a7565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156101d057600080fd5b506101d96105cd565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561022757600080fd5b506102306105f3565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561027e57600080fd5b50610287610619565b6040518082815260200191505060405180910390f35b3480156102a957600080fd5b506102b26107c3565b6040518082815260200191505060405180910390f35b3480156102d457600080fd5b506102dd6107e6565b604051808215151515815260200191505060405180910390f35b34801561030357600080fd5b5061030c6107f9565b005b34801561031a57600080fd5b50610323610893565b604051808215151515815260200191505060405180910390f35b34801561034957600080fd5b506103526108a6565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156103a057600080fd5b506103a96108cb565b6040518082815260200191505060405180910390f35b3480156103cb57600080fd5b5061040a600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506108d1565b005b34801561041857600080fd5b50610421610a8d565b005b34801561042f57600080fd5b50610438610cf8565b6040518082815260200191505060405180910390f35b34801561045a57600080fd5b5061047960048036038101908080359060200190929190505050610cfe565b005b34801561048757600080fd5b506104bc600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506112d9565b005b3480156104ca57600080fd5b506104ff600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611352565b005b34801561050d57600080fd5b50610542600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611418565b005b34801561055057600080fd5b5061055961156d565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b60045481565b60025481565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000806000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001915050602060405180830381600087803b1580156106db57600080fd5b505af11580156106ef573d6000803e3d6000fd5b505050506040513d602081101561070557600080fd5b8101908080519060200190929190505050915061072d6006548361159390919063ffffffff16565b905060025442101561074257600092506107be565b61075960045460035461159390919063ffffffff16565b421015806107735750600560019054906101000a900460ff165b15610780578092506107be565b6107bb6004546107ad61079e600354426115b190919063ffffffff16565b846115ca90919063ffffffff16565b6115fd90919063ffffffff16565b92505b505090565b60006107e16006546107d3610619565b6115b190919063ffffffff16565b905090565b600560019054906101000a900460ff1681565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561085557600080fd5b600254421015151561086657600080fd5b610891600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16611618565b565b600560009054906101000a900460ff1681565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60065481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561092c57600080fd5b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415151561098957600080fd5b8173ffffffffffffffffffffffffffffffffffffffff1663a9059cbb6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff16836040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b158015610a4d57600080fd5b505af1158015610a61573d6000803e3d6000fd5b505050506040513d6020811015610a7757600080fd5b8101908080519060200190929190505050505050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610ae857600080fd5b600560009054906101000a900460ff161515610b0357600080fd5b600560019054906101000a900460ff16151515610b1f57600080fd5b610b4a600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16611618565b610caf6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001915050602060405180830381600087803b158015610c2c57600080fd5b505af1158015610c40573d6000803e3d6000fd5b505050506040513d6020811015610c5657600080fd5b8101908080519060200190929190505050600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166116c99092919063ffffffff16565b6001600560016101000a81548160ff0219169083151502179055507f44825a4b2df8acb19ce4e1afba9aa850c8b65cdb7942e2078f27d0b0960efee660405160405180910390a1565b60035481565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610d5a57600080fd5b80600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663dd62ed3e600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff166040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200192505050602060405180830381600087803b158015610e9057600080fd5b505af1158015610ea4573d6000803e3d6000fd5b505050506040513d6020811015610eba57600080fd5b810190808051906020019092919050505010151515610ed857600080fd5b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001915050602060405180830381600087803b158015610f9557600080fd5b505af1158015610fa9573d6000803e3d6000fd5b505050506040513d6020811015610fbf57600080fd5b81019080805190602001909291905050508111151515610fde57600080fd5b3073ffffffffffffffffffffffffffffffffffffffff16600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16632421101f600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff166040518263ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001915050602060405180830381600087803b1580156110d457600080fd5b505af11580156110e8573d6000803e3d6000fd5b505050506040513d60208110156110fe57600080fd5b810190808051906020019092919050505073ffffffffffffffffffffffffffffffffffffffff1614151561113157600080fd5b6111a0600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1682600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166116c99092919063ffffffff16565b600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16636b7006d7600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16836040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b15801561128757600080fd5b505af115801561129b573d6000803e3d6000fd5b505050507f6421fc04fd8e81a5c32406a5a5d2fde1ba83625f6383331c425a93c9a0ca4543816040518082815260200191505060405180910390a150565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561133557600080fd5b600254421015151561134657600080fd5b61134f81611618565b50565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156113ae57600080fd5b60008173ffffffffffffffffffffffffffffffffffffffff16141515156113d457600080fd5b80600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561147357600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515156114af57600080fd5b8073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008082840190508381101515156115a757fe5b8091505092915050565b60008282111515156115bf57fe5b818303905092915050565b600080828402905060008414806115eb57508284828115156115e857fe5b04145b15156115f357fe5b8091505092915050565b600080828481151561160b57fe5b0490508091505092915050565b60006116226107c3565b90506116398160065461159390919063ffffffff16565b60068190555061168c8282600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166116c99092919063ffffffff16565b7ffb81f9b30d73d830c3544b34d827c08142579ee75710b490bab0b3995468c5656006546040518082815260200191505060405180910390a15050565b8273ffffffffffffffffffffffffffffffffffffffff1663a9059cbb83836040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b15801561176c57600080fd5b505af1158015611780573d6000803e3d6000fd5b505050506040513d602081101561179657600080fd5b810190808051906020019092919050505015156117af57fe5b5050505600a165627a7a723058202a82b80c831a0bcc865fe12dd033c125f5e8253822f7437df279b916e29c5e31002900000000000000000000000087956abc4078a0cc3b89b419928b857b8af826ed000000000000000000000000000000000000000000000000000000005e5afb0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000005a39a8000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000f5d2fb29fb7d3cfee444a200298f468908cc94200000000000000000000000000000000000000000000000000000000000013370000000000000000000000000000000000000000000000000000000000001337

0x608060405260043610610112576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff1680630fb5a6b41461011757806313d033c01461014257806338af3eed1461016d5780633cc3c3b5146101c4578063414708771461021b57806344b1231f146102725780635b9400811461029d57806363d256ce146102c857806386d1a69f146102f7578063872a78101461030e5780638da5cb5b1461033d5780639613252114610394578063980c2f21146103bf578063b6549f751461040c578063be9a655514610423578063c5e36b7e1461044e578063d1fb56461461047b578063dc070657146104be578063f2fde38b14610501578063fc0c546a14610544575b600080fd5b34801561012357600080fd5b5061012c61059b565b6040518082815260200191505060405180910390f35b34801561014e57600080fd5b506101576105a1565b6040518082815260200191505060405180910390f35b34801561017957600080fd5b506101826105a7565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156101d057600080fd5b506101d96105cd565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561022757600080fd5b506102306105f3565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561027e57600080fd5b50610287610619565b6040518082815260200191505060405180910390f35b3480156102a957600080fd5b506102b26107c3565b6040518082815260200191505060405180910390f35b3480156102d457600080fd5b506102dd6107e6565b604051808215151515815260200191505060405180910390f35b34801561030357600080fd5b5061030c6107f9565b005b34801561031a57600080fd5b50610323610893565b604051808215151515815260200191505060405180910390f35b34801561034957600080fd5b506103526108a6565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156103a057600080fd5b506103a96108cb565b6040518082815260200191505060405180910390f35b3480156103cb57600080fd5b5061040a600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506108d1565b005b34801561041857600080fd5b50610421610a8d565b005b34801561042f57600080fd5b50610438610cf8565b6040518082815260200191505060405180910390f35b34801561045a57600080fd5b5061047960048036038101908080359060200190929190505050610cfe565b005b34801561048757600080fd5b506104bc600480360381019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506112d9565b005b3480156104ca57600080fd5b506104ff600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611352565b005b34801561050d57600080fd5b50610542600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611418565b005b34801561055057600080fd5b5061055961156d565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b60045481565b60025481565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b6000806000600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001915050602060405180830381600087803b1580156106db57600080fd5b505af11580156106ef573d6000803e3d6000fd5b505050506040513d602081101561070557600080fd5b8101908080519060200190929190505050915061072d6006548361159390919063ffffffff16565b905060025442101561074257600092506107be565b61075960045460035461159390919063ffffffff16565b421015806107735750600560019054906101000a900460ff165b15610780578092506107be565b6107bb6004546107ad61079e600354426115b190919063ffffffff16565b846115ca90919063ffffffff16565b6115fd90919063ffffffff16565b92505b505090565b60006107e16006546107d3610619565b6115b190919063ffffffff16565b905090565b600560019054906101000a900460ff1681565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561085557600080fd5b600254421015151561086657600080fd5b610891600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16611618565b565b600560009054906101000a900460ff1681565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60065481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561092c57600080fd5b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff161415151561098957600080fd5b8173ffffffffffffffffffffffffffffffffffffffff1663a9059cbb6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff16836040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b158015610a4d57600080fd5b505af1158015610a61573d6000803e3d6000fd5b505050506040513d6020811015610a7757600080fd5b8101908080519060200190929190505050505050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610ae857600080fd5b600560009054906101000a900460ff161515610b0357600080fd5b600560019054906101000a900460ff16151515610b1f57600080fd5b610b4a600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16611618565b610caf6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001915050602060405180830381600087803b158015610c2c57600080fd5b505af1158015610c40573d6000803e3d6000fd5b505050506040513d6020811015610c5657600080fd5b8101908080519060200190929190505050600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166116c99092919063ffffffff16565b6001600560016101000a81548160ff0219169083151502179055507f44825a4b2df8acb19ce4e1afba9aa850c8b65cdb7942e2078f27d0b0960efee660405160405180910390a1565b60035481565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16141515610d5a57600080fd5b80600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663dd62ed3e600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff166040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020018273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200192505050602060405180830381600087803b158015610e9057600080fd5b505af1158015610ea4573d6000803e3d6000fd5b505050506040513d6020811015610eba57600080fd5b810190808051906020019092919050505010151515610ed857600080fd5b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166370a08231306040518263ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001915050602060405180830381600087803b158015610f9557600080fd5b505af1158015610fa9573d6000803e3d6000fd5b505050506040513d6020811015610fbf57600080fd5b81019080805190602001909291905050508111151515610fde57600080fd5b3073ffffffffffffffffffffffffffffffffffffffff16600860009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16632421101f600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff166040518263ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001915050602060405180830381600087803b1580156110d457600080fd5b505af11580156110e8573d6000803e3d6000fd5b505050506040513d60208110156110fe57600080fd5b810190808051906020019092919050505073ffffffffffffffffffffffffffffffffffffffff1614151561113157600080fd5b6111a0600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1682600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166116c99092919063ffffffff16565b600960009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16636b7006d7600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16836040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050600060405180830381600087803b15801561128757600080fd5b505af115801561129b573d6000803e3d6000fd5b505050507f6421fc04fd8e81a5c32406a5a5d2fde1ba83625f6383331c425a93c9a0ca4543816040518082815260200191505060405180910390a150565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561133557600080fd5b600254421015151561134657600080fd5b61134f81611618565b50565b600160009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff161415156113ae57600080fd5b60008173ffffffffffffffffffffffffffffffffffffffff16141515156113d457600080fd5b80600160006101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614151561147357600080fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16141515156114af57600080fd5b8073ffffffffffffffffffffffffffffffffffffffff166000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a3806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050565b600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60008082840190508381101515156115a757fe5b8091505092915050565b60008282111515156115bf57fe5b818303905092915050565b600080828402905060008414806115eb57508284828115156115e857fe5b04145b15156115f357fe5b8091505092915050565b600080828481151561160b57fe5b0490508091505092915050565b60006116226107c3565b90506116398160065461159390919063ffffffff16565b60068190555061168c8282600760009054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166116c99092919063ffffffff16565b7ffb81f9b30d73d830c3544b34d827c08142579ee75710b490bab0b3995468c5656006546040518082815260200191505060405180910390a15050565b8273ffffffffffffffffffffffffffffffffffffffff1663a9059cbb83836040518363ffffffff167c0100000000000000000000000000000000000000000000000000000000028152600401808373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200182815260200192505050602060405180830381600087803b15801561176c57600080fd5b505af1158015611780573d6000803e3d6000fd5b505050506040513d602081101561179657600080fd5b810190808051906020019092919050505015156117af57fe5b5050505600a165627a7a723058202a82b80c831a0bcc865fe12dd033c125f5e8253822f7437df279b916e29c5e310029

9373:1366:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;5684:23;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5684:23:0;;;;;;;;;;;;;;;;;;;;;;;5634:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5634:20:0;;;;;;;;;;;;;;;;;;;;;;;5601:26;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5601:26:0;;;;;;;;;;;;;;;;;;;;;;;;;;;9541:40;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9541:40:0;;;;;;;;;;;;;;;;;;;;;;;;;;;9494:42;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9494:42:0;;;;;;;;;;;;;;;;;;;;;;;;;;;8747:386;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8747:386:0;;;;;;;;;;;;;;;;;;;;;;;8559:110;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8559:110:0;;;;;;;;;;;;;;;;;;;;;;;5740:19;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5740:19:0;;;;;;;;;;;;;;;;;;;;;;;;;;;7386:106;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7386:106:0;;;;;;5714:21;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5714:21:0;;;;;;;;;;;;;;;;;;;;;;;;;;;1312:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1312:20:0;;;;;;;;;;;;;;;;;;;;;;;;;;;5766:23;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5766:23:0;;;;;;;;;;;;;;;;;;;;;;;9223:143;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9223:143:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8156:294;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8156:294:0;;;;;;5659:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5659:20:0;;;;;;;;;;;;;;;;;;;;;;;10152:584;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10152:584:0;;;;;;;;;;;;;;;;;;;;;;;;;;7625:117;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7625:117:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;7186:126;;8:9:-1;5:2;;;30:1;27;20:12;5:2;7186:126:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;1929:173;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1929:173:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;5796:18;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5796:18:0;;;;;;;;;;;;;;;;;;;;;;;;;;;5684:23;;;;:::o;5634:20::-;;;;:::o;5601:26::-;;;;;;;;;;;;;:::o;9541:40::-;;;;;;;;;;;;;:::o;9494:42::-;;;;;;;;;;;;;:::o;8747:386::-;8796:7;8812:22;8865:20;8837:5;;;;;;;;;;;:15;;;8853:4;8837:21;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8837:21:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8837:21:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8837:21:0;;;;;;;;;;;;;;;;8812:46;;8888:28;8907:8;;8888:14;:18;;:28;;;;:::i;:::-;8865:51;;8935:5;;8929:3;:11;8925:203;;;8958:1;8951:8;;;;8925:203;8984:19;8994:8;;8984:5;;:9;;:19;;;;:::i;:::-;8977:3;:26;;:37;;;;9007:7;;;;;;;;;;;8977:37;8973:155;;;9032:12;9025:19;;;;8973:155;9074:46;9111:8;;9074:32;9091:14;9099:5;;9091:3;:7;;:14;;;;:::i;:::-;9074:12;:16;;:32;;;;:::i;:::-;:36;;:46;;;;:::i;:::-;9067:53;;8747:386;;;;:::o;8559:110::-;8612:7;8635:28;8654:8;;8635:14;:12;:14::i;:::-;:18;;:28;;;;:::i;:::-;8628:35;;8559:110;:::o;5740:19::-;;;;;;;;;;;;;:::o;7386:106::-;7025:11;;;;;;;;;;;7011:25;;:10;:25;;;7003:34;;;;;;;;7450:5;;7443:3;:12;;7435:21;;;;;;;;7463:23;7474:11;;;;;;;;;;;7463:10;:23::i;:::-;7386:106::o;5714:21::-;;;;;;;;;;;;;:::o;1312:20::-;;;;;;;;;;;;;:::o;5766:23::-;;;;:::o;9223:143::-;1740:5;;;;;;;;;;;1726:19;;:10;:19;;;1718:28;;;;;;;;9317:5;;;;;;;;;;;9307:15;;:6;:15;;;;9299:24;;;;;;;;9330:6;:15;;;9346:5;;;;;;;;;;;9353:6;9330:30;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;9330:30:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;9330:30:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;9330:30:0;;;;;;;;;;;;;;;;;9223:143;;:::o;8156:294::-;1740:5;;;;;;;;;;;1726:19;;:10;:19;;;1718:28;;;;;;;;8206:9;;;;;;;;;;;8198:18;;;;;;;;8232:7;;;;;;;;;;;8231:8;8223:17;;;;;;;;8283:23;8294:11;;;;;;;;;;;8283:10;:23::i;:::-;8355:48;8374:5;;;;;;;;;;;8381;;;;;;;;;;;:15;;;8397:4;8381:21;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;8381:21:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;8381:21:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;8381:21:0;;;;;;;;;;;;;;;;8355:5;;;;;;;;;;;:18;;;;:48;;;;;:::i;:::-;8422:4;8412:7;;:14;;;;;;;;;;;;;;;;;;8435:9;;;;;;;;;;8156:294::o;5659:20::-;;;;:::o;10152:584::-;7025:11;;;;;;;;;;;7011:25;;:10;:25;;;7003:34;;;;;;;;10313:6;10263:5;;;;;;;;;;;:15;;;10279:11;;;;;;;;;;;10292:16;;;;;;;;;;;10263:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10263:46:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10263:46:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;10263:46:0;;;;;;;;;;;;;;;;:56;;10255:65;;;;;;;;10397:5;;;;;;;;;;;:15;;;10413:4;10397:21;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10397:21:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10397:21:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;10397:21:0;;;;;;;;;;;;;;;;10387:6;:31;;10379:40;;;;;;;;10570:4;10518:57;;:13;;;;;;;;;;;:27;;;10546:11;;;;;;;;;;;10518:40;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10518:40:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10518:40:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;10518:40:0;;;;;;;;;;;;;;;;:57;;;10510:66;;;;;;;;10611:39;10630:11;;;;;;;;;;;10643:6;10611:5;;;;;;;;;;;:18;;;;:39;;;;;:::i;:::-;10657:16;;;;;;;;;;;:25;;;10683:11;;;;;;;;;;;10696:6;10657:46;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10657:46:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10657:46:0;;;;10712:18;10723:6;10712:18;;;;;;;;;;;;;;;;;;10152:584;:::o;7625:117::-;7025:11;;;;;;;;;;;7011:25;;:10;:25;;;7003:34;;;;;;;;7705:5;;7698:3;:12;;7690:21;;;;;;;;7718:18;7729:6;7718:10;:18::i;:::-;7625:117;:::o;7186:126::-;7025:11;;;;;;;;;;;7011:25;;:10;:25;;;7003:34;;;;;;;;7277:1;7267:6;:11;;;;7259:20;;;;;;;;7300:6;7286:11;;:20;;;;;;;;;;;;;;;;;;7186:126;:::o;1929:173::-;1740:5;;;;;;;;;;;1726:19;;:10;:19;;;1718:28;;;;;;;;2026:1;2006:22;;:8;:22;;;;1998:31;;;;;;;;2064:8;2036:37;;2057:5;;;;;;;;;;;2036:37;;;;;;;;;;;;2088:8;2080:5;;:16;;;;;;;;;;;;;;;;;;1929:173;:::o;5796:18::-;;;;;;;;;;;;;:::o;1146:137::-;1208:7;1224:9;1240:1;1236;:5;1224:17;;1260:1;1255;:6;;1248:14;;;;;;1276:1;1269:8;;1146:137;;;;;:::o;1023:117::-;1085:7;1113:1;1108;:6;;1101:14;;;;;;1133:1;1129;:5;1122:12;;1023:117;;;;:::o;586:151::-;648:7;664:9;680:1;676;:5;664:17;;700:1;695;:6;:20;;;;714:1;709;705;:5;;;;;;;;:10;695:20;688:28;;;;;;730:1;723:8;;586:151;;;;;:::o;743:274::-;805:7;896:9;912:1;908;:5;;;;;;;;896:17;;1010:1;1003:8;;743:274;;;;;:::o;7816:215::-;7868:18;7889;:16;:18::i;:::-;7868:39;;7927:24;7940:10;7927:8;;:12;;:24;;;;:::i;:::-;7916:8;:35;;;;7960:38;7979:6;7987:10;7960:5;;;;;;;;;;;:18;;;;:38;;;;;:::i;:::-;8007:18;8016:8;;8007:18;;;;;;;;;;;;;;;;;;7816:215;;:::o;2782:122::-;2872:5;:14;;;2887:2;2891:5;2872:25;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2872:25:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;2872:25:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;2872:25:0;;;;;;;;;;;;;;;;2865:33;;;;;;2782:122;;;:::o

bzzr://2a82b80c831a0bcc865fe12dd033c125f5e8253822f7437df279b916e29c5e31