Contract Source Code (Solidity)

IDE

• Blockscan IDE
• 🤖 Code ReaderBeta
• Remix IDE

More Options

• Similar
• Sol2Uml
• Submit Audit
• Compare

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

pragma solidity ^0.5.8;

/*
 * Ownable
 *
 * Base contract with an owner.
 * Provides onlyOwner modifier, which prevents function from running if it is called by anyone other than the owner.
 */

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);
    }
}

contract ValidatorAuction is Ownable {
    // auction constants set on deployment
    uint public auctionDurationInDays;
    uint public startPrice;
    uint public minimalNumberOfParticipants;
    uint public maximalNumberOfParticipants;

    AuctionState public auctionState;
    DepositLocker public depositLocker;
    mapping(address => bool) public whitelist;
    mapping(address => uint) public bids;
    address[] public bidders;
    uint public startTime;
    uint public closeTime;
    uint public lowestSlotPrice;

    event BidSubmitted(
        address bidder,
        uint bidValue,
        uint slotPrice,
        uint timestamp
    );
    event AddressWhitelisted(address whitelistedAddress);
    event AuctionDeployed(
        uint startPrice,
        uint auctionDurationInDays,
        uint minimalNumberOfParticipants,
        uint maximalNumberOfParticipants
    );
    event AuctionStarted(uint startTime);
    event AuctionDepositPending(
        uint closeTime,
        uint lowestSlotPrice,
        uint totalParticipants
    );
    event AuctionEnded(
        uint closeTime,
        uint lowestSlotPrice,
        uint totalParticipants
    );
    event AuctionFailed(uint closeTime, uint numberOfBidders);

    enum AuctionState {
        Deployed,
        Started,
        DepositPending, /* all slots sold, someone needs to call depositBids */
        Ended,
        Failed
    }

    modifier stateIs(AuctionState state) {
        require(
            auctionState == state,
            "Auction is not in the proper state for desired action."
        );
        _;
    }

    constructor(
        uint _startPriceInWei,
        uint _auctionDurationInDays,
        uint _minimalNumberOfParticipants,
        uint _maximalNumberOfParticipants,
        DepositLocker _depositLocker
    ) public {
        require(
            _auctionDurationInDays > 0,
            "Duration of auction must be greater than 0"
        );
        require(
            _auctionDurationInDays < 100 * 365,
            "Duration of auction must be less than 100 years"
        );
        require(
            _minimalNumberOfParticipants > 0,
            "Minimal number of participants must be greater than 0"
        );
        require(
            _maximalNumberOfParticipants > 0,
            "Number of participants must be greater than 0"
        );
        require(
            _minimalNumberOfParticipants <= _maximalNumberOfParticipants,
            "The minimal number of participants must be smaller than the maximal number of participants."
        );
        require(
            // To prevent overflows
            _startPriceInWei < 10 ** 30,
            "The start price is too big."
        );

        startPrice = _startPriceInWei;
        auctionDurationInDays = _auctionDurationInDays;
        maximalNumberOfParticipants = _maximalNumberOfParticipants;
        minimalNumberOfParticipants = _minimalNumberOfParticipants;
        depositLocker = _depositLocker;

        lowestSlotPrice = ~uint(0);

        emit AuctionDeployed(
            startPrice,
            auctionDurationInDays,
            _minimalNumberOfParticipants,
            _maximalNumberOfParticipants
        );
        auctionState = AuctionState.Deployed;
    }

    function() external payable stateIs(AuctionState.Started) {
        bid();
    }

    function bid() public payable stateIs(AuctionState.Started) {
        require(now > startTime, "It is too early to bid.");
        require(
            now <= startTime + auctionDurationInDays * 1 days,
            "Auction has already ended."
        );
        uint slotPrice = currentPrice();
        require(
            msg.value >= slotPrice,
            "Not enough ether was provided for bidding."
        );
        require(whitelist[msg.sender], "The sender is not whitelisted.");
        require(!isSenderContract(), "The sender cannot be a contract.");
        require(
            bidders.length < maximalNumberOfParticipants,
            "The limit of participants has already been reached."
        );
        require(bids[msg.sender] == 0, "The sender has already bid.");

        bids[msg.sender] = msg.value;
        bidders.push(msg.sender);
        if (slotPrice < lowestSlotPrice) {
            lowestSlotPrice = slotPrice;
        }

        depositLocker.registerDepositor(msg.sender);
        emit BidSubmitted(msg.sender, msg.value, slotPrice, now);

        if (bidders.length == maximalNumberOfParticipants) {
            transitionToDepositPending();
        }
    }

    function startAuction() public onlyOwner stateIs(AuctionState.Deployed) {
        require(
            depositLocker.initialized(),
            "The deposit locker contract is not initialized"
        );

        auctionState = AuctionState.Started;
        startTime = now;

        emit AuctionStarted(now);
    }

    function depositBids() public stateIs(AuctionState.DepositPending) {
        auctionState = AuctionState.Ended;
        depositLocker.deposit.value(lowestSlotPrice * bidders.length)(
            lowestSlotPrice
        );
        emit AuctionEnded(closeTime, lowestSlotPrice, bidders.length);
    }

    function closeAuction() public stateIs(AuctionState.Started) {
        require(
            now > startTime + auctionDurationInDays * 1 days,
            "The auction cannot be closed this early."
        );
        assert(bidders.length < maximalNumberOfParticipants);

        if (bidders.length >= minimalNumberOfParticipants) {
            transitionToDepositPending();
        } else {
            transitionToAuctionFailed();
        }
    }

    function addToWhitelist(address[] memory addressesToWhitelist)
        public
        onlyOwner
        stateIs(AuctionState.Deployed)
    {
        for (uint32 i = 0; i < addressesToWhitelist.length; i++) {
            whitelist[addressesToWhitelist[i]] = true;
            emit AddressWhitelisted(addressesToWhitelist[i]);
        }
    }

    function withdraw() public {
        require(
            auctionState == AuctionState.Ended ||
                auctionState == AuctionState.Failed,
            "You cannot withdraw before the auction is ended or it failed."
        );

        if (auctionState == AuctionState.Ended) {
            withdrawAfterAuctionEnded();
        } else if (auctionState == AuctionState.Failed) {
            withdrawAfterAuctionFailed();
        } else {
            assert(false); // Should be unreachable
        }
    }

    function currentPrice()
        public
        view
        stateIs(AuctionState.Started)
        returns (uint)
    {
        assert(now >= startTime);
        uint secondsSinceStart = (now - startTime);
        return priceAtElapsedTime(secondsSinceStart);
    }

    function priceAtElapsedTime(uint secondsSinceStart)
        public
        view
        returns (uint)
    {
        // To prevent overflows
        require(
            secondsSinceStart < 100 * 365 days,
            "Times longer than 100 years are not supported."
        );
        uint msSinceStart = 1000 * secondsSinceStart;
        uint relativeAuctionTime = msSinceStart / auctionDurationInDays;
        uint decayDivisor = 746571428571;
        uint decay = relativeAuctionTime ** 3 / decayDivisor;
        uint price = startPrice *
            (1 + relativeAuctionTime) /
            (1 + relativeAuctionTime + decay);
        return price;
    }

    function withdrawAfterAuctionEnded() internal stateIs(AuctionState.Ended) {
        require(
            bids[msg.sender] > lowestSlotPrice,
            "The sender has nothing to withdraw."
        );

        uint valueToWithdraw = bids[msg.sender] - lowestSlotPrice;
        assert(valueToWithdraw <= bids[msg.sender]);

        bids[msg.sender] = lowestSlotPrice;

        msg.sender.transfer(valueToWithdraw);
    }

    function withdrawAfterAuctionFailed()
        internal
        stateIs(AuctionState.Failed)
    {
        require(bids[msg.sender] > 0, "The sender has nothing to withdraw.");

        uint valueToWithdraw = bids[msg.sender];

        bids[msg.sender] = 0;

        msg.sender.transfer(valueToWithdraw);
    }

    function transitionToDepositPending()
        internal
        stateIs(AuctionState.Started)
    {
        auctionState = AuctionState.DepositPending;
        closeTime = now;
        emit AuctionDepositPending(closeTime, lowestSlotPrice, bidders.length);
    }

    function transitionToAuctionFailed()
        internal
        stateIs(AuctionState.Started)
    {
        auctionState = AuctionState.Failed;
        closeTime = now;
        emit AuctionFailed(closeTime, bidders.length);
    }

    function isSenderContract() internal view returns (bool isContract) {
        uint32 size;
        address sender = msg.sender;
        // solium-disable-next-line security/no-inline-assembly
        assembly {
            size := extcodesize(sender)
        }
        return (size > 0);
    }
}

• No Contract Security Audit Submitted- Submit Audit Here

[{"constant":true,"inputs":[],"name":"lowestSlotPrice","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"bid","outputs":[],"payable":true,"stateMutability":"payable","type":"function"},{"constant":false,"inputs":[],"name":"closeAuction","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"withdraw","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":false,"inputs":[],"name":"depositBids","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"maximalNumberOfParticipants","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"auctionDurationInDays","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"closeTime","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"bids","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[],"name":"startAuction","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[{"name":"secondsSinceStart","type":"uint256"}],"name":"priceAtElapsedTime","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"startTime","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":false,"inputs":[{"name":"addressesToWhitelist","type":"address[]"}],"name":"addToWhitelist","outputs":[],"payable":false,"stateMutability":"nonpayable","type":"function"},{"constant":true,"inputs":[],"name":"auctionState","outputs":[{"name":"","type":"uint8"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"owner","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"address"}],"name":"whitelist","outputs":[{"name":"","type":"bool"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"currentPrice","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"depositLocker","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[{"name":"","type":"uint256"}],"name":"bidders","outputs":[{"name":"","type":"address"}],"payable":false,"stateMutability":"view","type":"function"},{"constant":true,"inputs":[],"name":"startPrice","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":"minimalNumberOfParticipants","outputs":[{"name":"","type":"uint256"}],"payable":false,"stateMutability":"view","type":"function"},{"inputs":[{"name":"_startPriceInWei","type":"uint256"},{"name":"_auctionDurationInDays","type":"uint256"},{"name":"_minimalNumberOfParticipants","type":"uint256"},{"name":"_maximalNumberOfParticipants","type":"uint256"},{"name":"_depositLocker","type":"address"}],"payable":false,"stateMutability":"nonpayable","type":"constructor"},{"payable":true,"stateMutability":"payable","type":"fallback"},{"anonymous":false,"inputs":[{"indexed":false,"name":"bidder","type":"address"},{"indexed":false,"name":"bidValue","type":"uint256"},{"indexed":false,"name":"slotPrice","type":"uint256"},{"indexed":false,"name":"timestamp","type":"uint256"}],"name":"BidSubmitted","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"whitelistedAddress","type":"address"}],"name":"AddressWhitelisted","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"startPrice","type":"uint256"},{"indexed":false,"name":"auctionDurationInDays","type":"uint256"},{"indexed":false,"name":"minimalNumberOfParticipants","type":"uint256"},{"indexed":false,"name":"maximalNumberOfParticipants","type":"uint256"}],"name":"AuctionDeployed","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"startTime","type":"uint256"}],"name":"AuctionStarted","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"closeTime","type":"uint256"},{"indexed":false,"name":"lowestSlotPrice","type":"uint256"},{"indexed":false,"name":"totalParticipants","type":"uint256"}],"name":"AuctionDepositPending","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"closeTime","type":"uint256"},{"indexed":false,"name":"lowestSlotPrice","type":"uint256"},{"indexed":false,"name":"totalParticipants","type":"uint256"}],"name":"AuctionEnded","type":"event"},{"anonymous":false,"inputs":[{"indexed":false,"name":"closeTime","type":"uint256"},{"indexed":false,"name":"numberOfBidders","type":"uint256"}],"name":"AuctionFailed","type":"event"}]

60806040523480156200001157600080fd5b5060405160a08062002650833981018060405260a08110156200003357600080fd5b810190808051906020019092919080519060200190929190805190602001909291908051906020019092919080519060200190929190505050336000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055506000841162000107576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602a8152602001806200253a602a913960400191505060405180910390fd5b618e94841062000163576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602f81526020018062002599602f913960400191505060405180910390fd5b60008311620001be576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401808060200182810382526035815260200180620025646035913960400191505060405180910390fd5b6000821162000219576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602d81526020018062002623602d913960400191505060405180910390fd5b8183111562000274576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252605b815260200180620025c8605b913960600191505060405180910390fd5b6c0c9f2c9cd04674edea400000008510620002f7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f54686520737461727420707269636520697320746f6f206269672e000000000081525060200191505060405180910390fd5b8460028190555083600181905550816004819055508260038190555080600560016101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff160217905550600019600b819055507f533aa483d48a6cc506e2e18498f91e729c89c4256b85a89b0afadd02f69bf5bc60025460015485856040518085815260200184815260200183815260200182815260200194505050505060405180910390a16000600560006101000a81548160ff02191690836004811115620003d057fe5b0217905550505050505061215080620003ea6000396000f3fe6080604052600436106101355760003560e01c806378e97925116100ab5780639d1b464a1161006f5780639d1b464a1461056e5780639e21ef6014610599578063cff29dfd146105f0578063f1a9af891461066b578063f2fde38b14610696578063fcd15908146106e757610135565b806378e97925146103855780637f649783146103b05780637fb45099146104755780638da5cb5b146104ae5780639b19251a1461050557610135565b8063509e66ba116100fd578063509e66ba146102395780635c68121514610264578063627749e61461028f57806362ea82db146102ba5780636b64c7691461031f57806372b21f8f1461033657610135565b80630aa237bb146101bf5780631998aeef146101ea578063378252f2146101f45780633ccfd60b1461020b5780634644d8ba14610222575b600180600481111561014357fe5b600560009054906101000a900460ff16600481111561015e57fe5b146101b4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260368152602001806120436036913960400191505060405180910390fd5b6101bc610712565b50005b3480156101cb57600080fd5b506101d4610d48565b6040518082815260200191505060405180910390f35b6101f2610712565b005b34801561020057600080fd5b50610209610d4e565b005b34801561021757600080fd5b50610220610e67565b005b34801561022e57600080fd5b50610237610f95565b005b34801561024557600080fd5b5061024e611124565b6040518082815260200191505060405180910390f35b34801561027057600080fd5b5061027961112a565b6040518082815260200191505060405180910390f35b34801561029b57600080fd5b506102a4611130565b6040518082815260200191505060405180910390f35b3480156102c657600080fd5b50610309600480360360208110156102dd57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611136565b6040518082815260200191505060405180910390f35b34801561032b57600080fd5b5061033461114e565b005b34801561034257600080fd5b5061036f6004803603602081101561035957600080fd5b81019080803590602001909291905050506113cf565b6040518082815260200191505060405180910390f35b34801561039157600080fd5b5061039a611488565b6040518082815260200191505060405180910390f35b3480156103bc57600080fd5b50610473600480360360208110156103d357600080fd5b81019080803590602001906401000000008111156103f057600080fd5b82018360208201111561040257600080fd5b8035906020019184602083028401116401000000008311171561042457600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f82011690508083019250505050505050919291929050505061148e565b005b34801561048157600080fd5b5061048a6116c6565b6040518082600481111561049a57fe5b60ff16815260200191505060405180910390f35b3480156104ba57600080fd5b506104c36116d9565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561051157600080fd5b506105546004803603602081101561052857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506116fe565b604051808215151515815260200191505060405180910390f35b34801561057a57600080fd5b5061058361171e565b6040518082815260200191505060405180910390f35b3480156105a557600080fd5b506105ae6117c4565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156105fc57600080fd5b506106296004803603602081101561061357600080fd5b81019080803590602001909291905050506117ea565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561067757600080fd5b50610680611826565b6040518082815260200191505060405180910390f35b3480156106a257600080fd5b506106e5600480360360208110156106b957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061182c565b005b3480156106f357600080fd5b506106fc611949565b6040518082815260200191505060405180910390f35b600180600481111561072057fe5b600560009054906101000a900460ff16600481111561073b57fe5b14610791576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260368152602001806120436036913960400191505060405180910390fd5b6009544211610808576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f497420697320746f6f206561726c7920746f206269642e00000000000000000081525060200191505060405180910390fd5b620151806001540260095401421115610889576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f41756374696f6e2068617320616c726561647920656e6465642e00000000000081525060200191505060405180910390fd5b600061089361171e565b9050803410156108ee576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602a815260200180611fbf602a913960400191505060405180910390fd5b600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff166109ad576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f5468652073656e646572206973206e6f742077686974656c69737465642e000081525060200191505060405180910390fd5b6109b561194f565b15610a28576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f5468652073656e6465722063616e6e6f74206265206120636f6e74726163742e81525060200191505060405180910390fd5b60045460088054905010610a87576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260338152602001806120cf6033913960400191505060405180910390fd5b6000600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414610b3c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f5468652073656e6465722068617320616c7265616479206269642e000000000081525060200191505060405180910390fd5b34600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555060083390806001815401808255809150509060018203906000526020600020016000909192909190916101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050600b54811015610bf85780600b819055505b600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166338c56be1336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001915050600060405180830381600087803b158015610c9957600080fd5b505af1158015610cad573d6000803e3d6000fd5b505050507fdd6cd52ba2b8b19d6d10846c2d11027b8838c49378c4ab4450865c31193d8a3733348342604051808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200184815260200183815260200182815260200194505050505060405180910390a16004546008805490501415610d4457610d4361196c565b5b5050565b600b5481565b6001806004811115610d5c57fe5b600560009054906101000a900460ff166004811115610d7757fe5b14610dcd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260368152602001806120436036913960400191505060405180910390fd5b6201518060015402600954014211610e30576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260288152602001806120796028913960400191505060405180910390fd5b60045460088054905010610e4057fe5b60035460088054905010610e5b57610e5661196c565b610e64565b610e63611a69565b5b50565b60036004811115610e7457fe5b600560009054906101000a900460ff166004811115610e8f57fe5b1480610ebf5750600480811115610ea257fe5b600560009054906101000a900460ff166004811115610ebd57fe5b145b610f14576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603d815260200180611f82603d913960400191505060405180910390fd5b60036004811115610f2157fe5b600560009054906101000a900460ff166004811115610f3c57fe5b1415610f4f57610f4a611b5c565b610f93565b600480811115610f5b57fe5b600560009054906101000a900460ff166004811115610f7657fe5b1415610f8957610f84611d96565b610f92565b6000610f9157fe5b5b5b565b6002806004811115610fa357fe5b600560009054906101000a900460ff166004811115610fbe57fe5b14611014576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260368152602001806120436036913960400191505060405180910390fd5b6003600560006101000a81548160ff0219169083600481111561103357fe5b0217905550600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663b6b55f25600880549050600b5402600b546040518363ffffffff1660e01b8152600401808281526020019150506000604051808303818588803b1580156110b857600080fd5b505af11580156110cc573d6000803e3d6000fd5b50505050507f02e3b2fea29cf6e561a51ffc4d68d233b0358b5aade05b3d98b7a7efbe75c8c1600a54600b5460088054905060405180848152602001838152602001828152602001935050505060405180910390a150565b60045481565b60015481565b600a5481565b60076020528060005260406000206000915090505481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146111f3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602c815260200180611fe9602c913960400191505060405180910390fd5b600080600481111561120157fe5b600560009054906101000a900460ff16600481111561121c57fe5b14611272576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260368152602001806120436036913960400191505060405180910390fd5b600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663158ef93e6040518163ffffffff1660e01b815260040160206040518083038186803b1580156112da57600080fd5b505afa1580156112ee573d6000803e3d6000fd5b505050506040513d602081101561130457600080fd5b810190808051906020019092919050505061136a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602e815260200180612015602e913960400191505060405180910390fd5b6001600560006101000a81548160ff0219169083600481111561138957fe5b0217905550426009819055507f1bb96dff6ab5005aff98cdc0cf176bb7d8e0423cb48e02217d35b042cec81e9f426040518082815260200191505060405180910390a150565b600063bbf81e00821061142d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602e8152602001806120a1602e913960400191505060405180910390fd5b6000826103e80290506000600154828161144357fe5b049050600064add31ff2db90506000816003840a8161145e57fe5b049050600081846001010184600101600254028161147857fe5b0490508095505050505050919050565b60095481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611533576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602c815260200180611fe9602c913960400191505060405180910390fd5b600080600481111561154157fe5b600560009054906101000a900460ff16600481111561155c57fe5b146115b2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260368152602001806120436036913960400191505060405180910390fd5b60008090505b82518163ffffffff1610156116c157600160066000858463ffffffff16815181106115df57fe5b602002602001015173ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055507f4f783c179409b4127238bc9c990bc99b9a651666a0d20b51d6c42849eb88466d838263ffffffff168151811061166b57fe5b6020026020010151604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a180806001019150506115b8565b505050565b600560009054906101000a900460ff1681565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60066020528060005260406000206000915054906101000a900460ff1681565b6000600180600481111561172e57fe5b600560009054906101000a900460ff16600481111561174957fe5b1461179f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260368152602001806120436036913960400191505060405180910390fd5b6009544210156117ab57fe5b6000600954420390506117bd816113cf565b9250505090565b600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600881815481106117f757fe5b906000526020600020016000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60025481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146118d1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602c815260200180611fe9602c913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161461194657806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505b50565b60035481565b6000806000339050803b915060008263ffffffff16119250505090565b600180600481111561197a57fe5b600560009054906101000a900460ff16600481111561199557fe5b146119eb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260368152602001806120436036913960400191505060405180910390fd5b6002600560006101000a81548160ff02191690836004811115611a0a57fe5b021790555042600a819055507fca2a8cd07fc62c8133bc74e94a78c502f520bb7a5792243176b20e2c5bda59f6600a54600b5460088054905060405180848152602001838152602001828152602001935050505060405180910390a150565b6001806004811115611a7757fe5b600560009054906101000a900460ff166004811115611a9257fe5b14611ae8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260368152602001806120436036913960400191505060405180910390fd5b6004600560006101000a81548160ff02191690836004811115611b0757fe5b021790555042600a819055507f960b8f6fb0032af274e187030bca69877c3919bb3208d8d0ffdf417aac0bc592600a54600880549050604051808381526020018281526020019250505060405180910390a150565b6003806004811115611b6a57fe5b600560009054906101000a900460ff166004811115611b8557fe5b14611bdb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260368152602001806120436036913960400191505060405180910390fd5b600b54600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205411611c74576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260238152602001806121026023913960400191505060405180910390fd5b6000600b54600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054039050600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054811115611d0557fe5b600b54600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015611d91573d6000803e3d6000fd5b505050565b6004806004811115611da457fe5b600560009054906101000a900460ff166004811115611dbf57fe5b14611e15576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260368152602001806120436036913960400191505060405180910390fd5b6000600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205411611ead576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260238152602001806121026023913960400191505060405180910390fd5b6000600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490506000600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015611f7c573d6000803e3d6000fd5b50505056fe596f752063616e6e6f74207769746864726177206265666f7265207468652061756374696f6e20697320656e646564206f72206974206661696c65642e4e6f7420656e6f756768206574686572207761732070726f766964656420666f722062696464696e672e5468652066756e6374696f6e2063616e206f6e6c792062652063616c6c656420627920746865206f776e6572546865206465706f736974206c6f636b657220636f6e7472616374206973206e6f7420696e697469616c697a656441756374696f6e206973206e6f7420696e207468652070726f70657220737461746520666f72206465736972656420616374696f6e2e5468652061756374696f6e2063616e6e6f7420626520636c6f7365642074686973206561726c792e54696d6573206c6f6e676572207468616e2031303020796561727320617265206e6f7420737570706f727465642e546865206c696d6974206f66207061727469636970616e74732068617320616c7265616479206265656e20726561636865642e5468652073656e64657220686173206e6f7468696e6720746f2077697468647261772ea165627a7a723058208df853cf715539b89f9c3a23b1a3a10da409f15d8a30317cb5000e0c5659dc4500294475726174696f6e206f662061756374696f6e206d7573742062652067726561746572207468616e20304d696e696d616c206e756d626572206f66207061727469636970616e7473206d7573742062652067726561746572207468616e20304475726174696f6e206f662061756374696f6e206d757374206265206c657373207468616e20313030207965617273546865206d696e696d616c206e756d626572206f66207061727469636970616e7473206d75737420626520736d616c6c6572207468616e20746865206d6178696d616c206e756d626572206f66207061727469636970616e74732e4e756d626572206f66207061727469636970616e7473206d7573742062652067726561746572207468616e20300000000000000000000000000000000000000000000000000de0b6b3a764000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000032000000000000000000000000000000000000000000000000000000000000007b000000000000000000000000901132a28d870af790603caf520ca2451def4241

0x6080604052600436106101355760003560e01c806378e97925116100ab5780639d1b464a1161006f5780639d1b464a1461056e5780639e21ef6014610599578063cff29dfd146105f0578063f1a9af891461066b578063f2fde38b14610696578063fcd15908146106e757610135565b806378e97925146103855780637f649783146103b05780637fb45099146104755780638da5cb5b146104ae5780639b19251a1461050557610135565b8063509e66ba116100fd578063509e66ba146102395780635c68121514610264578063627749e61461028f57806362ea82db146102ba5780636b64c7691461031f57806372b21f8f1461033657610135565b80630aa237bb146101bf5780631998aeef146101ea578063378252f2146101f45780633ccfd60b1461020b5780634644d8ba14610222575b600180600481111561014357fe5b600560009054906101000a900460ff16600481111561015e57fe5b146101b4576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260368152602001806120436036913960400191505060405180910390fd5b6101bc610712565b50005b3480156101cb57600080fd5b506101d4610d48565b6040518082815260200191505060405180910390f35b6101f2610712565b005b34801561020057600080fd5b50610209610d4e565b005b34801561021757600080fd5b50610220610e67565b005b34801561022e57600080fd5b50610237610f95565b005b34801561024557600080fd5b5061024e611124565b6040518082815260200191505060405180910390f35b34801561027057600080fd5b5061027961112a565b6040518082815260200191505060405180910390f35b34801561029b57600080fd5b506102a4611130565b6040518082815260200191505060405180910390f35b3480156102c657600080fd5b50610309600480360360208110156102dd57600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190505050611136565b6040518082815260200191505060405180910390f35b34801561032b57600080fd5b5061033461114e565b005b34801561034257600080fd5b5061036f6004803603602081101561035957600080fd5b81019080803590602001909291905050506113cf565b6040518082815260200191505060405180910390f35b34801561039157600080fd5b5061039a611488565b6040518082815260200191505060405180910390f35b3480156103bc57600080fd5b50610473600480360360208110156103d357600080fd5b81019080803590602001906401000000008111156103f057600080fd5b82018360208201111561040257600080fd5b8035906020019184602083028401116401000000008311171561042457600080fd5b919080806020026020016040519081016040528093929190818152602001838360200280828437600081840152601f19601f82011690508083019250505050505050919291929050505061148e565b005b34801561048157600080fd5b5061048a6116c6565b6040518082600481111561049a57fe5b60ff16815260200191505060405180910390f35b3480156104ba57600080fd5b506104c36116d9565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561051157600080fd5b506105546004803603602081101561052857600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff1690602001909291905050506116fe565b604051808215151515815260200191505060405180910390f35b34801561057a57600080fd5b5061058361171e565b6040518082815260200191505060405180910390f35b3480156105a557600080fd5b506105ae6117c4565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b3480156105fc57600080fd5b506106296004803603602081101561061357600080fd5b81019080803590602001909291905050506117ea565b604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390f35b34801561067757600080fd5b50610680611826565b6040518082815260200191505060405180910390f35b3480156106a257600080fd5b506106e5600480360360208110156106b957600080fd5b81019080803573ffffffffffffffffffffffffffffffffffffffff16906020019092919050505061182c565b005b3480156106f357600080fd5b506106fc611949565b6040518082815260200191505060405180910390f35b600180600481111561072057fe5b600560009054906101000a900460ff16600481111561073b57fe5b14610791576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260368152602001806120436036913960400191505060405180910390fd5b6009544211610808576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260178152602001807f497420697320746f6f206561726c7920746f206269642e00000000000000000081525060200191505060405180910390fd5b620151806001540260095401421115610889576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601a8152602001807f41756374696f6e2068617320616c726561647920656e6465642e00000000000081525060200191505060405180910390fd5b600061089361171e565b9050803410156108ee576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602a815260200180611fbf602a913960400191505060405180910390fd5b600660003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff166109ad576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601e8152602001807f5468652073656e646572206973206e6f742077686974656c69737465642e000081525060200191505060405180910390fd5b6109b561194f565b15610a28576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260208152602001807f5468652073656e6465722063616e6e6f74206265206120636f6e74726163742e81525060200191505060405180910390fd5b60045460088054905010610a87576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260338152602001806120cf6033913960400191505060405180910390fd5b6000600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205414610b3c576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252601b8152602001807f5468652073656e6465722068617320616c7265616479206269642e000000000081525060200191505060405180910390fd5b34600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000208190555060083390806001815401808255809150509060018203906000526020600020016000909192909190916101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff16021790555050600b54811015610bf85780600b819055505b600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff166338c56be1336040518263ffffffff1660e01b8152600401808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001915050600060405180830381600087803b158015610c9957600080fd5b505af1158015610cad573d6000803e3d6000fd5b505050507fdd6cd52ba2b8b19d6d10846c2d11027b8838c49378c4ab4450865c31193d8a3733348342604051808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200184815260200183815260200182815260200194505050505060405180910390a16004546008805490501415610d4457610d4361196c565b5b5050565b600b5481565b6001806004811115610d5c57fe5b600560009054906101000a900460ff166004811115610d7757fe5b14610dcd576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260368152602001806120436036913960400191505060405180910390fd5b6201518060015402600954014211610e30576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260288152602001806120796028913960400191505060405180910390fd5b60045460088054905010610e4057fe5b60035460088054905010610e5b57610e5661196c565b610e64565b610e63611a69565b5b50565b60036004811115610e7457fe5b600560009054906101000a900460ff166004811115610e8f57fe5b1480610ebf5750600480811115610ea257fe5b600560009054906101000a900460ff166004811115610ebd57fe5b145b610f14576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252603d815260200180611f82603d913960400191505060405180910390fd5b60036004811115610f2157fe5b600560009054906101000a900460ff166004811115610f3c57fe5b1415610f4f57610f4a611b5c565b610f93565b600480811115610f5b57fe5b600560009054906101000a900460ff166004811115610f7657fe5b1415610f8957610f84611d96565b610f92565b6000610f9157fe5b5b5b565b6002806004811115610fa357fe5b600560009054906101000a900460ff166004811115610fbe57fe5b14611014576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260368152602001806120436036913960400191505060405180910390fd5b6003600560006101000a81548160ff0219169083600481111561103357fe5b0217905550600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663b6b55f25600880549050600b5402600b546040518363ffffffff1660e01b8152600401808281526020019150506000604051808303818588803b1580156110b857600080fd5b505af11580156110cc573d6000803e3d6000fd5b50505050507f02e3b2fea29cf6e561a51ffc4d68d233b0358b5aade05b3d98b7a7efbe75c8c1600a54600b5460088054905060405180848152602001838152602001828152602001935050505060405180910390a150565b60045481565b60015481565b600a5481565b60076020528060005260406000206000915090505481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146111f3576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602c815260200180611fe9602c913960400191505060405180910390fd5b600080600481111561120157fe5b600560009054906101000a900460ff16600481111561121c57fe5b14611272576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260368152602001806120436036913960400191505060405180910390fd5b600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1663158ef93e6040518163ffffffff1660e01b815260040160206040518083038186803b1580156112da57600080fd5b505afa1580156112ee573d6000803e3d6000fd5b505050506040513d602081101561130457600080fd5b810190808051906020019092919050505061136a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602e815260200180612015602e913960400191505060405180910390fd5b6001600560006101000a81548160ff0219169083600481111561138957fe5b0217905550426009819055507f1bb96dff6ab5005aff98cdc0cf176bb7d8e0423cb48e02217d35b042cec81e9f426040518082815260200191505060405180910390a150565b600063bbf81e00821061142d576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602e8152602001806120a1602e913960400191505060405180910390fd5b6000826103e80290506000600154828161144357fe5b049050600064add31ff2db90506000816003840a8161145e57fe5b049050600081846001010184600101600254028161147857fe5b0490508095505050505050919050565b60095481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff1614611533576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602c815260200180611fe9602c913960400191505060405180910390fd5b600080600481111561154157fe5b600560009054906101000a900460ff16600481111561155c57fe5b146115b2576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260368152602001806120436036913960400191505060405180910390fd5b60008090505b82518163ffffffff1610156116c157600160066000858463ffffffff16815181106115df57fe5b602002602001015173ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055507f4f783c179409b4127238bc9c990bc99b9a651666a0d20b51d6c42849eb88466d838263ffffffff168151811061166b57fe5b6020026020010151604051808273ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200191505060405180910390a180806001019150506115b8565b505050565b600560009054906101000a900460ff1681565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60066020528060005260406000206000915054906101000a900460ff1681565b6000600180600481111561172e57fe5b600560009054906101000a900460ff16600481111561174957fe5b1461179f576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260368152602001806120436036913960400191505060405180910390fd5b6009544210156117ab57fe5b6000600954420390506117bd816113cf565b9250505090565b600560019054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b600881815481106117f757fe5b906000526020600020016000915054906101000a900473ffffffffffffffffffffffffffffffffffffffff1681565b60025481565b6000809054906101000a900473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff163373ffffffffffffffffffffffffffffffffffffffff16146118d1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040180806020018281038252602c815260200180611fe9602c913960400191505060405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161461194657806000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055505b50565b60035481565b6000806000339050803b915060008263ffffffff16119250505090565b600180600481111561197a57fe5b600560009054906101000a900460ff16600481111561199557fe5b146119eb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260368152602001806120436036913960400191505060405180910390fd5b6002600560006101000a81548160ff02191690836004811115611a0a57fe5b021790555042600a819055507fca2a8cd07fc62c8133bc74e94a78c502f520bb7a5792243176b20e2c5bda59f6600a54600b5460088054905060405180848152602001838152602001828152602001935050505060405180910390a150565b6001806004811115611a7757fe5b600560009054906101000a900460ff166004811115611a9257fe5b14611ae8576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260368152602001806120436036913960400191505060405180910390fd5b6004600560006101000a81548160ff02191690836004811115611b0757fe5b021790555042600a819055507f960b8f6fb0032af274e187030bca69877c3919bb3208d8d0ffdf417aac0bc592600a54600880549050604051808381526020018281526020019250505060405180910390a150565b6003806004811115611b6a57fe5b600560009054906101000a900460ff166004811115611b8557fe5b14611bdb576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260368152602001806120436036913960400191505060405180910390fd5b600b54600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205411611c74576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260238152602001806121026023913960400191505060405180910390fd5b6000600b54600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054039050600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002054811115611d0557fe5b600b54600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015611d91573d6000803e3d6000fd5b505050565b6004806004811115611da457fe5b600560009054906101000a900460ff166004811115611dbf57fe5b14611e15576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260368152602001806120436036913960400191505060405180910390fd5b6000600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205411611ead576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004018080602001828103825260238152602001806121026023913960400191505060405180910390fd5b6000600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205490506000600760003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020819055503373ffffffffffffffffffffffffffffffffffffffff166108fc829081150290604051600060405180830381858888f19350505050158015611f7c573d6000803e3d6000fd5b50505056fe596f752063616e6e6f74207769746864726177206265666f7265207468652061756374696f6e20697320656e646564206f72206974206661696c65642e4e6f7420656e6f756768206574686572207761732070726f766964656420666f722062696464696e672e5468652066756e6374696f6e2063616e206f6e6c792062652063616c6c656420627920746865206f776e6572546865206465706f736974206c6f636b657220636f6e7472616374206973206e6f7420696e697469616c697a656441756374696f6e206973206e6f7420696e207468652070726f70657220737461746520666f72206465736972656420616374696f6e2e5468652061756374696f6e2063616e6e6f7420626520636c6f7365642074686973206561726c792e54696d6573206c6f6e676572207468616e2031303020796561727320617265206e6f7420737570706f727465642e546865206c696d6974206f66207061727469636970616e74732068617320616c7265616479206265656e20726561636865642e5468652073656e64657220686173206e6f7468696e6720746f2077697468647261772ea165627a7a723058208df853cf715539b89f9c3a23b1a3a10da409f15d8a30317cb5000e0c5659dc450029

0000000000000000000000000000000000000000000000000de0b6b3a764000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000032000000000000000000000000000000000000000000000000000000000000007b000000000000000000000000901132a28d870af790603caf520ca2451def4241

-----Decoded View---------------
Arg [0] : _startPriceInWei (uint256): 1000000000000000000
Arg [1] : _auctionDurationInDays (uint256): 2
Arg [2] : _minimalNumberOfParticipants (uint256): 50
Arg [3] : _maximalNumberOfParticipants (uint256): 123
Arg [4] : _depositLocker (address): 0x901132a28d870aF790603Caf520CA2451dEF4241

-----Encoded View---------------
5 Constructor Arguments found :
Arg [0] : 0000000000000000000000000000000000000000000000000de0b6b3a7640000
Arg [1] : 0000000000000000000000000000000000000000000000000000000000000002
Arg [2] : 0000000000000000000000000000000000000000000000000000000000000032
Arg [3] : 000000000000000000000000000000000000000000000000000000000000007b
Arg [4] : 000000000000000000000000901132a28d870af790603caf520ca2451def4241

5602:9257:0:-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9015:20;7151:5;7135:21;;;;;;;;:12;;;;;;;;;;;:21;;;;;;;;;7113:125;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9048:5;:3;:5::i;:::-;8979:82;5602:9257;6111:27;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6111:27:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;9069:1225;;;:::i;:::-;;10947:459;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10947:459:0;;;:::i;:::-;;11771:526;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11771:526:0;;;:::i;:::-;;10635:304;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10635:304:0;;;:::i;:::-;;5805:39;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5805:39:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5690:33;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5690:33:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;6083:21;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6083:21:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5981:36;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5981:36:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5981:36:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;10302:325;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10302:325:0;;;:::i;:::-;;12586:675;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12586:675:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;12586:675:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;6055:21;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6055:21:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;11414:349;;8:9:-1;5:2;;;30:1;27;20:12;5:2;11414:349:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;11414:349:0;;;;;;;;;;21:11:-1;8;5:28;2:2;;;46:1;43;36:12;2:2;11414:349:0;;35:9:-1;28:4;12:14;8:25;5:40;2:2;;;58:1;55;48:12;2:2;11414:349:0;;;;;;101:9:-1;95:2;81:12;77:21;67:8;63:36;60:51;39:11;25:12;22:29;11:108;8:2;;;132:1;129;122:12;8:2;11414:349:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;30:3:-1;22:6;14;1:33;99:1;93:3;85:6;81:16;74:27;137:4;133:9;126:4;121:3;117:14;113:30;106:37;;169:3;161:6;157:16;147:26;;11414:349:0;;;;;;;;;;;;;;;:::i;:::-;;5853:32;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5853:32:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;229:20;;8:9:-1;5:2;;;30:1;27;20:12;5:2;229:20:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5933:41;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5933:41:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;5933:41:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;12305:273;;8:9:-1;5:2;;;30:1;27;20:12;5:2;12305:273:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;5892:34;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5892:34:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;6024:24;;8:9:-1;5:2;;;30:1;27;20:12;5:2;6024:24:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;6024:24:0;;;;;;;;;;;;;;;;;:::i;:::-;;;;;;;;;;;;;;;;;;;;;;;5730:22;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5730:22:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;497:151;;8:9:-1;5:2;;;30:1;27;20:12;5:2;497:151:0;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;497:151:0;;;;;;;;;;;;;;;;;;;:::i;:::-;;5759:39;;8:9:-1;5:2;;;30:1;27;20:12;5:2;5759:39:0;;;:::i;:::-;;;;;;;;;;;;;;;;;;;9069:1225;9107:20;7151:5;7135:21;;;;;;;;:12;;;;;;;;;;;:21;;;;;;;;;7113:125;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9154:9;;9148:3;:15;9140:51;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9267:6;9243:21;;:30;9231:9;;:42;9224:3;:49;;9202:125;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9338:14;9355;:12;:14::i;:::-;9338:31;;9415:9;9402;:22;;9380:114;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9513:9;:21;9523:10;9513:21;;;;;;;;;;;;;;;;;;;;;;;;;9505:64;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9589:18;:16;:18::i;:::-;9588:19;9580:64;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9694:27;;9677:7;:14;;;;:44;9655:145;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9839:1;9819:4;:16;9824:10;9819:16;;;;;;;;;;;;;;;;:21;9811:61;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9904:9;9885:4;:16;9890:10;9885:16;;;;;;;;;;;;;;;:28;;;;9924:7;9937:10;9924:24;;39:1:-1;33:3;27:10;23:18;57:10;52:3;45:23;79:10;72:17;;0:93;9924:24:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;9975:15;;9963:9;:27;9959:87;;;10025:9;10007:15;:27;;;;9959:87;10058:13;;;;;;;;;;;:31;;;10090:10;10058:43;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10058:43:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10058:43:0;;;;10117:51;10130:10;10142:9;10153;10164:3;10117:51;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10203:27;;10185:7;:14;;;;:45;10181:106;;;10247:28;:26;:28::i;:::-;10181:106;7249:1;9069:1225;:::o;6111:27::-;;;;:::o;10947:459::-;10986:20;7151:5;7135:21;;;;;;;;:12;;;;;;;;;;;:21;;;;;;;;;7113:125;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11083:6;11059:21;;:30;11047:9;;:42;11041:3;:48;11019:138;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11192:27;;11175:7;:14;;;;:44;11168:52;;;;11255:27;;11237:7;:14;;;;:45;11233:166;;11299:28;:26;:28::i;:::-;11233:166;;;11360:27;:25;:27::i;:::-;11233:166;10947:459;:::o;11771:526::-;11847:18;11831:34;;;;;;;;:12;;;;;;;;;;;:34;;;;;;;;;:90;;;;11902:19;11886:35;;;;;;;;:12;;;;;;;;;;;:35;;;;;;;;;11831:90;11809:201;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12043:18;12027:34;;;;;;;;:12;;;;;;;;;;;:34;;;;;;;;;12023:267;;;12078:27;:25;:27::i;:::-;12023:267;;;12143:19;12127:35;;;;;;;;:12;;;;;;;;;;;:35;;;;;;;;;12123:167;;;12179:28;:26;:28::i;:::-;12123:167;;;12247:5;12240:13;;;;12123:167;12023:267;11771:526::o;10635:304::-;10673:27;7151:5;7135:21;;;;;;;;:12;;;;;;;;;;;:21;;;;;;;;;7113:125;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10728:18;10713:12;;:33;;;;;;;;;;;;;;;;;;;;;;;;10757:13;;;;;;;;;;;:21;;;10803:7;:14;;;;10785:15;;:32;10833:15;;10757:102;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10757:102:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10757:102:0;;;;;10875:56;10888:9;;10899:15;;10916:7;:14;;;;10875:56;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10635:304;:::o;5805:39::-;;;;:::o;5690:33::-;;;;:::o;6083:21::-;;;;:::o;5981:36::-;;;;;;;;;;;;;;;;;:::o;10302:325::-;392:5;;;;;;;;;;;378:19;;:10;:19;;;356:113;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10351:21;7151:5;7135:21;;;;;;;;:12;;;;;;;;;;;:21;;;;;;;;;7113:125;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10407:13;;;;;;;;;;;:25;;;:27;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;30:1;27;20:12;5:2;10407:27:0;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;10407:27:0;;;;;;;13:2:-1;8:3;5:11;2:2;;;29:1;26;19:12;2:2;10407:27:0;;;;;;;;;;;;;;;;10385:123;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;10536:20;10521:12;;:35;;;;;;;;;;;;;;;;;;;;;;;;10579:3;10567:9;:15;;;;10600:19;10615:3;10600:19;;;;;;;;;;;;;;;;;;480:1;10302:325::o;12586:675::-;12686:4;12783:14;12763:17;:34;12741:130;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12882:17;12909;12902:4;:24;12882:44;;12937:24;12979:21;;12964:12;:36;;;;;;12937:63;;13011:17;13031:12;13011:32;;13054:10;13094:12;13090:1;13067:19;:24;:39;;;;;;13054:52;;13117:10;13224:5;13202:19;13198:1;:23;:31;13161:19;13157:1;:23;13130:10;;:51;:100;;;;;;13117:113;;13248:5;13241:12;;;;;;;12586:675;;;:::o;6055:21::-;;;;:::o;11414:349::-;392:5;;;;;;;;;;;378:19;;:10;:19;;;356:113;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11529:21;7151:5;7135:21;;;;;;;;:12;;;;;;;;;;;:21;;;;;;;;;7113:125;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;11573:8;11584:1;11573:12;;11568:188;11591:20;:27;11587:1;:31;;;11568:188;;;11677:4;11640:9;:34;11650:20;11671:1;11650:23;;;;;;;;;;;;;;;;11640:34;;;;;;;;;;;;;;;;:41;;;;;;;;;;;;;;;;;;11701:43;11720:20;11741:1;11720:23;;;;;;;;;;;;;;;;11701:43;;;;;;;;;;;;;;;;;;;;;;11620:3;;;;;;;11568:188;;;;480:1;11414:349;:::o;5853:32::-;;;;;;;;;;;;;:::o;229:20::-;;;;;;;;;;;;;:::o;5933:41::-;;;;;;;;;;;;;;;;;;;;;;:::o;12305:273::-;12416:4;12376:20;7151:5;7135:21;;;;;;;;:12;;;;;;;;;;;:21;;;;;;;;;7113:125;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;12452:9;;12445:3;:16;;12438:24;;;;12473:22;12505:9;;12499:3;:15;12473:42;;12533:37;12552:17;12533:18;:37::i;:::-;12526:44;;;12305:273;;:::o;5892:34::-;;;;;;;;;;;;;:::o;6024:24::-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;:::o;5730:22::-;;;;:::o;497:151::-;392:5;;;;;;;;;;;378:19;;:10;:19;;;356:113;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;594:1;574:22;;:8;:22;;;570:71;;621:8;613:5;;:16;;;;;;;;;;;;;;;;;;570:71;497:151;:::o;5759:39::-;;;;:::o;14555:301::-;14606:15;14634:11;14656:14;14673:10;14656:27;;14803:6;14791:19;14783:27;;14846:1;14839:4;:8;;;14831:17;;;;14555:301;:::o;14037:268::-;14110:20;7151:5;7135:21;;;;;;;;:12;;;;;;;;;;;:21;;;;;;;;;7113:125;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14163:27;14148:12;;:42;;;;;;;;;;;;;;;;;;;;;;;;14213:3;14201:9;:15;;;;14232:65;14254:9;;14265:15;;14282:7;:14;;;;14232:65;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14037:268;:::o;14313:234::-;14385:20;7151:5;7135:21;;;;;;;;:12;;;;;;;;;;;:21;;;;;;;;;7113:125;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;14438:19;14423:12;;:34;;;;;;;;;;;;;;;;;;;;;;;;14480:3;14468:9;:15;;;;14499:40;14513:9;;14524:7;:14;;;;14499:40;;;;;;;;;;;;;;;;;;;;;;;;14313:234;:::o;13269:432::-;13323:18;7151:5;7135:21;;;;;;;;:12;;;;;;;;;;;:21;;;;;;;;;7113:125;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13395:15;;13376:4;:16;13381:10;13376:16;;;;;;;;;;;;;;;;:34;13354:119;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13486:20;13528:15;;13509:4;:16;13514:10;13509:16;;;;;;;;;;;;;;;;:34;13486:57;;13580:4;:16;13585:10;13580:16;;;;;;;;;;;;;;;;13561:15;:35;;13554:43;;;;13629:15;;13610:4;:16;13615:10;13610:16;;;;;;;;;;;;;;;:34;;;;13657:10;:19;;:36;13677:15;13657:36;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;13657:36:0;7249:1;13269:432;:::o;13709:320::-;13782:19;7151:5;7135:21;;;;;;;;:12;;;;;;;;;;;:21;;;;;;;;;7113:125;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13846:1;13827:4;:16;13832:10;13827:16;;;;;;;;;;;;;;;;:20;13819:68;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;13900:20;13923:4;:16;13928:10;13923:16;;;;;;;;;;;;;;;;13900:39;;13971:1;13952:4;:16;13957:10;13952:16;;;;;;;;;;;;;;;:20;;;;13985:10;:19;;:36;14005:15;13985:36;;;;;;;;;;;;;;;;;;;;;;;;8:9:-1;5:2;;;45:16;42:1;39;24:38;77:16;74:1;67:27;5:2;13985:36:0;7249:1;13709:320;:::o

bzzr://8df853cf715539b89f9c3a23b1a3a10da409f15d8a30317cb5000e0c5659dc45