Contract

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

pragma solidity ^0.5.8;


contract Ownable {
    address public owner;

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

    modifier onlyOwner() {
        require(
            msg.sender == owner,
            "The function can only be called by the owner"
        );
        _;
    }

    function transferOwnership(address newOwner) public onlyOwner {
        if (newOwner != address(0)) {
            owner = newOwner;
        }
    }
}

contract DepositLockerInterface {
    function slash(address _depositorToBeSlashed) public;

}

/*
  The DepositLocker contract locks the deposits for all of the winning
  participants of the auction.

  When the auction is running, the auction contract registers participants that
  have successfully bid with the registerDepositor function. The DepositLocker
  contracts keeps track of the number of participants and also keeps track if a
  participant address can withdraw the deposit.

  All of the participants have to pay the same eth amount when the auction ends.
  The auction contract will deposit the sum of all amounts with a call to
  deposit.

*/

contract DepositLocker is DepositLockerInterface, Ownable {
    bool public initialized = false;
    bool public deposited = false;

    /* We maintain two special addresses:
       - the slasher, that is allowed to call the slash function
       - the depositorsProxy that registers depositors and deposits a value for
         all of the registered depositors with the deposit function. In our case
         this will be the auction contract.
    */

    address public slasher;
    address public depositorsProxy;
    uint public releaseTimestamp;

    mapping(address => bool) public canWithdraw;
    uint numberOfDepositors = 0;
    uint valuePerDepositor;

    event DepositorRegistered(
        address depositorAddress,
        uint numberOfDepositors
    );
    event Deposit(
        uint totalValue,
        uint valuePerDepositor,
        uint numberOfDepositors
    );
    event Withdraw(address withdrawer, uint value);
    event Slash(address slashedDepositor, uint slashedValue);

    modifier isInitialised() {
        require(initialized, "The contract was not initialized.");
        _;
    }

    modifier isDeposited() {
        require(deposited, "no deposits yet");
        _;
    }

    modifier isNotDeposited() {
        require(!deposited, "already deposited");
        _;
    }

    modifier onlyDepositorsProxy() {
        require(
            msg.sender == depositorsProxy,
            "Only the depositorsProxy can call this function."
        );
        _;
    }

    function() external {}

    function init(
        uint _releaseTimestamp,
        address _slasher,
        address _depositorsProxy
    ) external onlyOwner {
        require(!initialized, "The contract is already initialised.");
        require(
            _releaseTimestamp > now,
            "The release timestamp must be in the future"
        );

        releaseTimestamp = _releaseTimestamp;
        slasher = _slasher;
        depositorsProxy = _depositorsProxy;
        initialized = true;
        owner = address(0);
    }

    function registerDepositor(address _depositor)
        public
        isInitialised
        isNotDeposited
        onlyDepositorsProxy
    {
        require(
            canWithdraw[_depositor] == false,
            "can only register Depositor once"
        );
        canWithdraw[_depositor] = true;
        numberOfDepositors += 1;
        emit DepositorRegistered(_depositor, numberOfDepositors);
    }

    function deposit(uint _valuePerDepositor)
        public
        payable
        isInitialised
        isNotDeposited
        onlyDepositorsProxy
    {
        require(numberOfDepositors > 0, "no depositors");
        require(_valuePerDepositor > 0, "_valuePerDepositor must be positive");

        uint depositAmount = numberOfDepositors * _valuePerDepositor;
        require(
            _valuePerDepositor == depositAmount / numberOfDepositors,
            "Overflow in depositAmount calculation"
        );
        require(
            msg.value == depositAmount,
            "the deposit does not match the required value"
        );

        valuePerDepositor = _valuePerDepositor;
        deposited = true;
        emit Deposit(msg.value, valuePerDepositor, numberOfDepositors);
    }

    function withdraw() public isInitialised isDeposited {
        require(
            now >= releaseTimestamp,
            "The deposit cannot be withdrawn yet."
        );
        require(canWithdraw[msg.sender], "cannot withdraw from sender");

        canWithdraw[msg.sender] = false;
        msg.sender.transfer(valuePerDepositor);
        emit Withdraw(msg.sender, valuePerDepositor);
    }

    function slash(address _depositorToBeSlashed)
        public
        isInitialised
        isDeposited
    {
        require(
            msg.sender == slasher,
            "Only the slasher can call this function."
        );
        require(canWithdraw[_depositorToBeSlashed], "cannot slash address");
        canWithdraw[_depositorToBeSlashed] = false;
        address(0).transfer(valuePerDepositor);
        emit Slash(_depositorToBeSlashed, valuePerDepositor);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"releaseTimestamp","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"initialized","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"canWithdraw","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_depositor","type":"address"}],"name":"registerDepositor","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"withdraw","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[{"name":"_releaseTimestamp","type":"uint256"},{"name":"_slasher","type":"address"},{"name":"_depositorsProxy","type":"address"}],"name":"init","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"slasher","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"_valuePerDepositor","type":"uint256"}],"name":"deposit","outputs":[],"payable":true,"stateMutability":"payable","type":"function"},{"constant":false,"inputs":[{"name":"_depositorToBeSlashed","type":"address"}],"name":"slash","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"depositorsProxy","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"deposited","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"newOwner","type":"address"}],"name":"transferOwnership","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"payable":false,"stateMutability":"nonpayable","type":"fallback"},{"anonymous":false,"inputs":[{"indexed":false,"name":"depositorAddress","type":"address"},{"indexed":false,"name":"numberOfDepositors","type":"uint256"}],"name":"DepositorRegistered","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"totalValue","type":"uint256"},{"indexed":false,"name":"valuePerDepositor","type":"uint256"},{"indexed":false,"name":"numberOfDepositors","type":"uint256"}],"name":"Deposit","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"withdrawer","type":"address"},{"indexed":false,"name":"value","type":"uint256"}],"name":"Withdraw","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"slashedDepositor","type":"address"},{"indexed":false,"name":"slashedValue","type":"uint256"}],"name":"Slash","type":"event"}]

60806040526000805460058290556001600160b01b03191633179055610e898061002a6000396000f3fe6080604052600436106100b25760003560e01c80638da5cb5b1161006f5780638da5cb5b146101cf578063b134427114610200578063b6b55f2514610215578063c96be4cb14610232578063e8823af114610265578063eef49ee31461027a578063f2fde38b1461028f576100b2565b80630a3f013f146100c1578063158ef93e146100e857806319262d301461011157806338c56be1146101445780633ccfd60b146101795780634557b4bb1461018e575b3480156100be57600080fd5b50005b3480156100cd57600080fd5b506100d66102c2565b60408051918252519081900360200190f35b3480156100f457600080fd5b506100fd6102c8565b604080519115158252519081900360200190f35b34801561011d57600080fd5b506100fd6004803603602081101561013457600080fd5b50356001600160a01b03166102d8565b34801561015057600080fd5b506101776004803603602081101561016757600080fd5b50356001600160a01b03166102ed565b005b34801561018557600080fd5b506101776104bb565b34801561019a57600080fd5b50610177600480360360608110156101b157600080fd5b508035906001600160a01b0360208201358116916040013516610689565b3480156101db57600080fd5b506101e46107b3565b604080516001600160a01b039092168252519081900360200190f35b34801561020c57600080fd5b506101e46107c2565b6101776004803603602081101561022b57600080fd5b50356107d1565b34801561023e57600080fd5b506101776004803603602081101561025557600080fd5b50356001600160a01b0316610a43565b34801561027157600080fd5b506101e4610c37565b34801561028657600080fd5b506100fd610c46565b34801561029b57600080fd5b50610177600480360360208110156102b257600080fd5b50356001600160a01b0316610c56565b60035481565b600054600160a01b900460ff1681565b60046020526000908152604090205460ff1681565b600054600160a01b900460ff1661033857604051600160e51b62461bcd028152600401808060200182810382526021815260200180610cd16021913960400191505060405180910390fd5b600054600160a81b900460ff16156103915760408051600160e51b62461bcd02815260206004820152601160248201526001607a1b70185b1c9958591e4819195c1bdcda5d195902604482015290519081900360640190fd5b6002546001600160a01b031633146103dd57604051600160e51b62461bcd028152600401808060200182810382526030815260200180610d986030913960400191505060405180910390fd5b6001600160a01b03811660009081526004602052604090205460ff161561044e5760408051600160e51b62461bcd02815260206004820181905260248201527f63616e206f6e6c79207265676973746572204465706f7369746f72206f6e6365604482015290519081900360640190fd5b6001600160a01b038116600081815260046020908152604091829020805460ff19166001908117909155600580549091019081905582519384529083015280517f2f2ecba9464c960a79dc691961ff2965ab0b5d7a25b776931686d50094c4d1b89281900390910190a150565b600054600160a01b900460ff1661050657604051600160e51b62461bcd028152600401808060200182810382526021815260200180610cd16021913960400191505060405180910390fd5b600054600160a81b900460ff1661055c5760408051600160e51b62461bcd02815260206004820152600f60248201526001608a1b6e1b9bc819195c1bdcda5d1cc81e595d02604482015290519081900360640190fd5b6003544210156105a057604051600160e51b62461bcd028152600401808060200182810382526024815260200180610dec6024913960400191505060405180910390fd5b3360009081526004602052604090205460ff166106075760408051600160e51b62461bcd02815260206004820152601b60248201527f63616e6e6f742077697468647261772066726f6d2073656e6465720000000000604482015290519081900360640190fd5b33600081815260046020526040808220805460ff19169055600654905181156108fc0292818181858888f19350505050158015610648573d6000803e3d6000fd5b5060065460408051338152602081019290925280517f884edad9ce6fa2440d8a54cc123490eb96d2768479d49ff9c7366125a94243649281900390910190a1565b6000546001600160a01b031633146106d557604051600160e51b62461bcd02815260040180806020018281038252602c815260200180610d1a602c913960400191505060405180910390fd5b600054600160a01b900460ff161561072157604051600160e51b62461bcd028152600401808060200182810382526024815260200180610dc86024913960400191505060405180910390fd5b42831161076257604051600160e51b62461bcd02815260040180806020018281038252602b815260200180610e33602b913960400191505060405180910390fd5b600392909255600180546001600160a01b039283166001600160a01b031991821617909155600280549390921692811692909217905560008054600160a01b60ff021916600160a01b179091169055565b6000546001600160a01b031681565b6001546001600160a01b031681565b600054600160a01b900460ff1661081c57604051600160e51b62461bcd028152600401808060200182810382526021815260200180610cd16021913960400191505060405180910390fd5b600054600160a81b900460ff16156108755760408051600160e51b62461bcd02815260206004820152601160248201526001607a1b70185b1c9958591e4819195c1bdcda5d195902604482015290519081900360640190fd5b6002546001600160a01b031633146108c157604051600160e51b62461bcd028152600401808060200182810382526030815260200180610d986030913960400191505060405180910390fd5b60006005541161090e5760408051600160e51b62461bcd02815260206004820152600d6024820152600160981b6c6e6f206465706f7369746f727302604482015290519081900360640190fd5b6000811161095057604051600160e51b62461bcd028152600401808060200182810382526023815260200180610e106023913960400191505060405180910390fd5b60055480820290818161095f57fe5b0482146109a057604051600160e51b62461bcd028152600401808060200182810382526025815260200180610d736025913960400191505060405180910390fd5b8034146109e157604051600160e51b62461bcd02815260040180806020018281038252602d815260200180610d46602d913960400191505060405180910390fd5b600682905560008054600160a81b60ff021916600160a81b179055600554604080513481526020810185905280820192909252517f33da4f9b82b3e18a281ca2cabbe2f076925692abb593b7ea3f850009e8ec97709181900360600190a15050565b600054600160a01b900460ff16610a8e57604051600160e51b62461bcd028152600401808060200182810382526021815260200180610cd16021913960400191505060405180910390fd5b600054600160a81b900460ff16610ae45760408051600160e51b62461bcd02815260206004820152600f60248201526001608a1b6e1b9bc819195c1bdcda5d1cc81e595d02604482015290519081900360640190fd5b6001546001600160a01b03163314610b3057604051600160e51b62461bcd028152600401808060200182810382526028815260200180610cf26028913960400191505060405180910390fd5b6001600160a01b03811660009081526004602052604090205460ff16610ba05760408051600160e51b62461bcd02815260206004820152601460248201527f63616e6e6f7420736c6173682061646472657373000000000000000000000000604482015290519081900360640190fd5b6001600160a01b038116600090815260046020526040808220805460ff19169055600654905181156108fc02919083818181858288f19350505050158015610bec573d6000803e3d6000fd5b50600654604080516001600160a01b0384168152602081019290925280517fa69f22d963cb7981f842db8c1aafcc93d915ba2a95dcf26dcc333a9c2a09be269281900390910190a150565b6002546001600160a01b031681565b600054600160a81b900460ff1681565b6000546001600160a01b03163314610ca257604051600160e51b62461bcd02815260040180806020018281038252602c815260200180610d1a602c913960400191505060405180910390fd5b6001600160a01b03811615610ccd57600080546001600160a01b0319166001600160a01b0383161790555b5056fe54686520636f6e747261637420776173206e6f7420696e697469616c697a65642e4f6e6c792074686520736c61736865722063616e2063616c6c20746869732066756e6374696f6e2e5468652066756e6374696f6e2063616e206f6e6c792062652063616c6c656420627920746865206f776e6572746865206465706f73697420646f6573206e6f74206d61746368207468652072657175697265642076616c75654f766572666c6f7720696e206465706f736974416d6f756e742063616c63756c6174696f6e4f6e6c7920746865206465706f7369746f727350726f78792063616e2063616c6c20746869732066756e6374696f6e2e54686520636f6e747261637420697320616c726561647920696e697469616c697365642e546865206465706f7369742063616e6e6f742062652077697468647261776e207965742e5f76616c75655065724465706f7369746f72206d75737420626520706f7369746976655468652072656c656173652074696d657374616d70206d75737420626520696e2074686520667574757265a165627a7a72305820f49febad5a8273d02e44001e7b67ed74990bdb09ad2f6a648040dbb24a21bf9a0029

0x6080604052600436106100b25760003560e01c80638da5cb5b1161006f5780638da5cb5b146101cf578063b134427114610200578063b6b55f2514610215578063c96be4cb14610232578063e8823af114610265578063eef49ee31461027a578063f2fde38b1461028f576100b2565b80630a3f013f146100c1578063158ef93e146100e857806319262d301461011157806338c56be1146101445780633ccfd60b146101795780634557b4bb1461018e575b3480156100be57600080fd5b50005b3480156100cd57600080fd5b506100d66102c2565b60408051918252519081900360200190f35b3480156100f457600080fd5b506100fd6102c8565b604080519115158252519081900360200190f35b34801561011d57600080fd5b506100fd6004803603602081101561013457600080fd5b50356001600160a01b03166102d8565b34801561015057600080fd5b506101776004803603602081101561016757600080fd5b50356001600160a01b03166102ed565b005b34801561018557600080fd5b506101776104bb565b34801561019a57600080fd5b50610177600480360360608110156101b157600080fd5b508035906001600160a01b0360208201358116916040013516610689565b3480156101db57600080fd5b506101e46107b3565b604080516001600160a01b039092168252519081900360200190f35b34801561020c57600080fd5b506101e46107c2565b6101776004803603602081101561022b57600080fd5b50356107d1565b34801561023e57600080fd5b506101776004803603602081101561025557600080fd5b50356001600160a01b0316610a43565b34801561027157600080fd5b506101e4610c37565b34801561028657600080fd5b506100fd610c46565b34801561029b57600080fd5b50610177600480360360208110156102b257600080fd5b50356001600160a01b0316610c56565b60035481565b600054600160a01b900460ff1681565b60046020526000908152604090205460ff1681565b600054600160a01b900460ff1661033857604051600160e51b62461bcd028152600401808060200182810382526021815260200180610cd16021913960400191505060405180910390fd5b600054600160a81b900460ff16156103915760408051600160e51b62461bcd02815260206004820152601160248201526001607a1b70185b1c9958591e4819195c1bdcda5d195902604482015290519081900360640190fd5b6002546001600160a01b031633146103dd57604051600160e51b62461bcd028152600401808060200182810382526030815260200180610d986030913960400191505060405180910390fd5b6001600160a01b03811660009081526004602052604090205460ff161561044e5760408051600160e51b62461bcd02815260206004820181905260248201527f63616e206f6e6c79207265676973746572204465706f7369746f72206f6e6365604482015290519081900360640190fd5b6001600160a01b038116600081815260046020908152604091829020805460ff19166001908117909155600580549091019081905582519384529083015280517f2f2ecba9464c960a79dc691961ff2965ab0b5d7a25b776931686d50094c4d1b89281900390910190a150565b600054600160a01b900460ff1661050657604051600160e51b62461bcd028152600401808060200182810382526021815260200180610cd16021913960400191505060405180910390fd5b600054600160a81b900460ff1661055c5760408051600160e51b62461bcd02815260206004820152600f60248201526001608a1b6e1b9bc819195c1bdcda5d1cc81e595d02604482015290519081900360640190fd5b6003544210156105a057604051600160e51b62461bcd028152600401808060200182810382526024815260200180610dec6024913960400191505060405180910390fd5b3360009081526004602052604090205460ff166106075760408051600160e51b62461bcd02815260206004820152601b60248201527f63616e6e6f742077697468647261772066726f6d2073656e6465720000000000604482015290519081900360640190fd5b33600081815260046020526040808220805460ff19169055600654905181156108fc0292818181858888f19350505050158015610648573d6000803e3d6000fd5b5060065460408051338152602081019290925280517f884edad9ce6fa2440d8a54cc123490eb96d2768479d49ff9c7366125a94243649281900390910190a1565b6000546001600160a01b031633146106d557604051600160e51b62461bcd02815260040180806020018281038252602c815260200180610d1a602c913960400191505060405180910390fd5b600054600160a01b900460ff161561072157604051600160e51b62461bcd028152600401808060200182810382526024815260200180610dc86024913960400191505060405180910390fd5b42831161076257604051600160e51b62461bcd02815260040180806020018281038252602b815260200180610e33602b913960400191505060405180910390fd5b600392909255600180546001600160a01b039283166001600160a01b031991821617909155600280549390921692811692909217905560008054600160a01b60ff021916600160a01b179091169055565b6000546001600160a01b031681565b6001546001600160a01b031681565b600054600160a01b900460ff1661081c57604051600160e51b62461bcd028152600401808060200182810382526021815260200180610cd16021913960400191505060405180910390fd5b600054600160a81b900460ff16156108755760408051600160e51b62461bcd02815260206004820152601160248201526001607a1b70185b1c9958591e4819195c1bdcda5d195902604482015290519081900360640190fd5b6002546001600160a01b031633146108c157604051600160e51b62461bcd028152600401808060200182810382526030815260200180610d986030913960400191505060405180910390fd5b60006005541161090e5760408051600160e51b62461bcd02815260206004820152600d6024820152600160981b6c6e6f206465706f7369746f727302604482015290519081900360640190fd5b6000811161095057604051600160e51b62461bcd028152600401808060200182810382526023815260200180610e106023913960400191505060405180910390fd5b60055480820290818161095f57fe5b0482146109a057604051600160e51b62461bcd028152600401808060200182810382526025815260200180610d736025913960400191505060405180910390fd5b8034146109e157604051600160e51b62461bcd02815260040180806020018281038252602d815260200180610d46602d913960400191505060405180910390fd5b600682905560008054600160a81b60ff021916600160a81b179055600554604080513481526020810185905280820192909252517f33da4f9b82b3e18a281ca2cabbe2f076925692abb593b7ea3f850009e8ec97709181900360600190a15050565b600054600160a01b900460ff16610a8e57604051600160e51b62461bcd028152600401808060200182810382526021815260200180610cd16021913960400191505060405180910390fd5b600054600160a81b900460ff16610ae45760408051600160e51b62461bcd02815260206004820152600f60248201526001608a1b6e1b9bc819195c1bdcda5d1cc81e595d02604482015290519081900360640190fd5b6001546001600160a01b03163314610b3057604051600160e51b62461bcd028152600401808060200182810382526028815260200180610cf26028913960400191505060405180910390fd5b6001600160a01b03811660009081526004602052604090205460ff16610ba05760408051600160e51b62461bcd02815260206004820152601460248201527f63616e6e6f7420736c6173682061646472657373000000000000000000000000604482015290519081900360640190fd5b6001600160a01b038116600090815260046020526040808220805460ff19169055600654905181156108fc02919083818181858288f19350505050158015610bec573d6000803e3d6000fd5b50600654604080516001600160a01b0384168152602081019290925280517fa69f22d963cb7981f842db8c1aafcc93d915ba2a95dcf26dcc333a9c2a09be269281900390910190a150565b6002546001600160a01b031681565b600054600160a81b900460ff1681565b6000546001600160a01b03163314610ca257604051600160e51b62461bcd02815260040180806020018281038252602c815260200180610d1a602c913960400191505060405180910390fd5b6001600160a01b03811615610ccd57600080546001600160a01b0319166001600160a01b0383161790555b5056fe54686520636f6e747261637420776173206e6f7420696e697469616c697a65642e4f6e6c792074686520736c61736865722063616e2063616c6c20746869732066756e6374696f6e2e5468652066756e6374696f6e2063616e206f6e6c792062652063616c6c656420627920746865206f776e6572746865206465706f73697420646f6573206e6f74206d61746368207468652072657175697265642076616c75654f766572666c6f7720696e206465706f736974416d6f756e742063616c63756c6174696f6e4f6e6c7920746865206465706f7369746f727350726f78792063616e2063616c6c20746869732066756e6374696f6e2e54686520636f6e747261637420697320616c726561647920696e697469616c697365642e546865206465706f7369742063616e6e6f742062652077697468647261776e207965742e5f76616c75655065724465706f7369746f72206d75737420626520706f7369746976655468652072656c656173652074696d657374616d70206d75737420626520696e2074686520667574757265a165627a7a72305820f49febad5a8273d02e44001e7b67ed74990bdb09ad2f6a648040dbb24a21bf9a0029

1160:4262:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1160:4262:0;;1694:28;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1694:28:0;;;:::i;:::-;;;;;;;;;;;;;;;;1225:31;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1225:31:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;1731:43;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1731:43:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;1731:43:0;-1:-1:-1;;;;;1731:43:0;;:::i;3275:419::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;3275:419:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3275:419:0;-1:-1:-1;;;;;3275:419:0;;:::i;:::-;;4524:403;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4524:403:0;;;:::i;2744:523::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;2744:523:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;2744:523:0;;;-1:-1:-1;;;;;2744:523:0;;;;;;;;;;;;:::i;53:20::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;53:20:0;;;:::i;:::-;;;;-1:-1:-1;;;;;53:20:0;;;;;;;;;;;;;;1628:22;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1628:22:0;;;:::i;3702:814::-;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;3702:814:0;;:::i;4935:484::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;4935:484:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;4935:484:0;-1:-1:-1;;;;;4935:484:0;;:::i;1657:30::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1657:30:0;;;:::i;1263:29::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;1263:29:0;;;:::i;321:151::-;;8:9:-1;5:2;;;30:1;27;20:12;5:2;321:151:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;-1:-1;321:151:0;-1:-1:-1;;;;;321:151:0;;:::i;1694:28::-;;;;:::o;1225:31::-;;;-1:-1:-1;;;1225:31:0;;;;;:::o;1731:43::-;;;;;;;;;;;;;;;:::o;3275:419::-;2236:11;;-1:-1:-1;;;2236:11:0;;;;2228:57;;;;-1:-1:-1;;;;;2228:57:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2458:9;;-1:-1:-1;;;2458:9:0;;;;2457:10;2449:40;;;;;-1:-1:-1;;;;;2449:40:0;;;;;;;;;;;;-1:-1:-1;;;;;2449:40:0;;;;;;;;;;;;;;;2595:15;;-1:-1:-1;;;;;2595:15:0;2581:10;:29;2559:127;;;;-1:-1:-1;;;;;2559:127:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;3452:23:0;;;;;;:11;:23;;;;;;;;:32;3430:114;;;;;-1:-1:-1;;;;;3430:114:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;3555:23:0;;;;;;:11;:23;;;;;;;;;:30;;-1:-1:-1;;3555:30:0;3581:4;3555:30;;;;;;3596:18;:23;;;;;;;;;3635:51;;;;;;;;;;;;;;;;;;;;;3275:419;:::o;4524:403::-;2236:11;;-1:-1:-1;;;2236:11:0;;;;2228:57;;;;-1:-1:-1;;;;;2228:57:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2355:9;;-1:-1:-1;;;2355:9:0;;;;2347:37;;;;;-1:-1:-1;;;;;2347:37:0;;;;;;;;;;;;-1:-1:-1;;;;;2347:37:0;;;;;;;;;;;;;;;4617:16;;4610:3;:23;;4588:109;;;;-1:-1:-1;;;;;4588:109:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4728:10;4716:23;;;;:11;:23;;;;;;;;4708:63;;;;;-1:-1:-1;;;;;4708:63:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;4796:10;4810:5;4784:23;;;:11;:23;;;;;;:31;;-1:-1:-1;;4784:31:0;;;4846:17;;4826:38;;;;;;;;4810:5;4826:38;4846:17;4796:10;4826:38;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;4901:17:0;;4880:39;;;4889:10;4880:39;;;;;;;;;;;;;;;;;;;;;4524:403::o;2744:523::-;216:5;;-1:-1:-1;;;;;216:5:0;202:10;:19;180:113;;;;-1:-1:-1;;;;;180:113:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2899:11;;-1:-1:-1;;;2899:11:0;;;;2898:12;2890:61;;;;-1:-1:-1;;;;;2890:61:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3004:3;2984:17;:23;2962:116;;;;-1:-1:-1;;;;;2962:116:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3091:16;:36;;;;3138:7;:18;;-1:-1:-1;;;;;3138:18:0;;;-1:-1:-1;;;;;;3138:18:0;;;;;;;-1:-1:-1;3167:34:0;;;;;;;;;;;;;;;3138:7;3212:18;;-1:-1:-1;;;;;;3212:18:0;-1:-1:-1;;;3212:18:0;3241;;;;;2744:523::o;53:20::-;;;-1:-1:-1;;;;;53:20:0;;:::o;1628:22::-;;;-1:-1:-1;;;;;1628:22:0;;:::o;3702:814::-;2236:11;;-1:-1:-1;;;2236:11:0;;;;2228:57;;;;-1:-1:-1;;;;;2228:57:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2458:9;;-1:-1:-1;;;2458:9:0;;;;2457:10;2449:40;;;;;-1:-1:-1;;;;;2449:40:0;;;;;;;;;;;;-1:-1:-1;;;;;2449:40:0;;;;;;;;;;;;;;;2595:15;;-1:-1:-1;;;;;2595:15:0;2581:10;:29;2559:127;;;;-1:-1:-1;;;;;2559:127:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;3898:1;3877:18;;:22;3869:48;;;;;-1:-1:-1;;;;;3869:48:0;;;;;;;;;;;;-1:-1:-1;;;;;3869:48:0;;;;;;;;;;;;;;;3957:1;3936:18;:22;3928:70;;;;-1:-1:-1;;;;;3928:70:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4032:18;;:39;;;;;:18;4126:34;;;;;4104:18;:56;4082:143;;;;-1:-1:-1;;;;;4082:143:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4271:13;4258:9;:26;4236:121;;;;-1:-1:-1;;;;;4236:121:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4370:17;:38;;;4419:9;:16;;-1:-1:-1;;;;;;4419:16:0;-1:-1:-1;;;4419:16:0;;;4489:18;;4451:57;;;4459:9;4451:57;;;;;;;;;;;;;;;;;;;;;;;;;2697:1;3702:814;:::o;4935:484::-;2236:11;;-1:-1:-1;;;2236:11:0;;;;2228:57;;;;-1:-1:-1;;;;;2228:57:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2355:9;;-1:-1:-1;;;2355:9:0;;;;2347:37;;;;;-1:-1:-1;;;;;2347:37:0;;;;;;;;;;;;-1:-1:-1;;;;;2347:37:0;;;;;;;;;;;;;;;5093:7;;-1:-1:-1;;;;;5093:7:0;5079:10;:21;5057:111;;;;-1:-1:-1;;;;;5057:111:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;5187:34:0;;;;;;:11;:34;;;;;;;;5179:67;;;;;-1:-1:-1;;;;;5179:67:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;5257:34:0;;5294:5;5257:34;;;:11;:34;;;;;;:42;;-1:-1:-1;;5257:42:0;;;5330:17;;5310:38;;;;;;;5330:17;5294:5;5310:38;5294:5;5310:38;5330:17;5294:5;5310:38;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;-1:-1;5393:17:0;;5364:47;;;-1:-1:-1;;;;;5364:47:0;;;;;;;;;;;;;;;;;;;;;;;4935:484;:::o;1657:30::-;;;-1:-1:-1;;;;;1657:30:0;;:::o;1263:29::-;;;-1:-1:-1;;;1263:29:0;;;;;:::o;321:151::-;216:5;;-1:-1:-1;;;;;216:5:0;202:10;:19;180:113;;;;-1:-1:-1;;;;;180:113:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;-1:-1:-1;;;;;398:22:0;;;394:71;;437:5;:16;;-1:-1:-1;;;;;;437:16:0;-1:-1:-1;;;;;437:16:0;;;;;394:71;321:151;:::o

bzzr://f49febad5a8273d02e44001e7b67ed74990bdb09ad2f6a648040dbb24a21bf9a